\[\newcommand{\half}[1]{\dfrac{#1}{2}} \newcommand{\PD}[2]{\dfrac{\partial #1}{\partial #2}} \newcommand{\pd}[2]{\frac{\partial #1}{\partial #2}} \newcommand{\eps}{\varepsilon} \newcommand{\norm}[1]{\left\Vert#1\right\Vert} \newcommand{\set}[1]{\left\{#1\right\}} \newcommand{\BX}{\mathbf{B}(X)} \newcommand{\Real}{\mathbb R} \newcommand{\A}{\mathcal{A}} \newcommand{\To}{\longrightarrow} \newcommand{\vecn}{\vec{\mathbf{n}}} \newcommand{\Vector}[1]{\left[\begin{array}{c} #1 \end{array}\right]} \newcommand{\Reci}[1]{\dfrac{1}{#1}} \newcommand{\reci}[1]{\frac{1}{#1}} \newcommand{\dx}{\Delta x} \newcommand{\dy}{\Delta y} \newcommand{\DS}{\displaystyle} \newcommand{\limz}[1]{\lim_{#1\to0}} \newcommand{\dlimz}[1]{\displaystyle\lim_{#1\to0}} \newcommand{\dint}{\displaystyle\int} \newcommand{\dlim}{\displaystyle\lim} \newcommand{\casefunc}[1]{\left\{\begin{aligned} #1 \end{aligned}\right.} \newcommand{\det}[1]{\left|\begin{aligned} #1 \end{aligned}\right|} \]

基本解和解的积分表达式

1. $\delta$函数

张瑞
中国科学技术大学数学科学学院

$\delta$函数

$\delta$函数用来描述点源(如:点电荷、质点、集中力等)

例 1. (点电荷的线密度) 设数轴上分布有电荷,其密度函数为 \[\rho_\eps(x)=\casefunc{ & \frac1{2\eps} , |x|<\eps \\ & 0 , |x|>0 } \] 则数轴上的总电量为 \[Q=\int_{-\eps}^{\eps}\rho_\eps(x)=1 \]$\eps$减小,但总电荷$Q$仍为$1$,则密度$\rho_\eps$就会变大。当$\eps\to0$是,上述分布状态的极限就是在$x=0$处放置了单位点电荷了。

数学上用来描述放置在原点处的点电荷的函数$\delta$,需要满足两个条件:

  1. $\delta(x)=\casefunc{& 0, x\neq 0 \\& +\infty , x=0}$
  2. $\DS\int_{-\infty}^{+\infty}\delta(x)dx=1$

通常称这样的函数为$\delta$函数

例 2. 设有一条静止、紧张、无限长的弦,其线密度为$1$。若在点$x=0$处,在很短的时间内,以力$F$敲一下,使它获得冲量 \[F\Delta t=1 \] 这时,弦上的点将获得初始速度$v$,则 \[v(x)=\delta(x) \]

例 3. 一根温度为$0$的导热杆,线密度为$\rho$,比热$c$。用火焰在$x=0$处烧一下,传给杆的热量为$Q$,则杆的初始温度分布为 \[T(x)=\frac{Q}{c\rho}\delta(x) \]

$\delta$函数的基础特性

对任何连续函数$\phi(x)$,有

(1) \[\int_{-\infty}^{+\infty}\delta(x)\phi(x)dx=\phi(0) \]

(2) \[\int_{-\infty}^{+\infty}\delta(x-\xi)\phi(x)dx=\phi(\xi) \]

物理意义明显,但数学理论(广义函数论)的建立较晚(20世纪30年代)。

vertical slide 2

特性

  1. 对称性。 $\delta(-x)=\delta(x)$,为偶函数。这样 \[\delta(x)*\phi(x)=\phi(x) \]
  2. $\delta$函数的导数。由 \[\int_{-\infty}^{+\infty}\delta'(x)f(x)dx=-f'(0) \] 定义的算符$\delta'(x)$称为$\delta$函数的导数。由 \[\int_{-\infty}^{+\infty}\delta^{(n)}(x)f(x)dx=(-1)^nf^{(n)}(0) \] 定义的算符$\delta^{(n)}(x)$称为$\delta$函数的$n$阶导数。
  1. $\delta$函数的Fourier变换。 \[F[\delta(x)]=\int_{-\infty}^{+\infty}\delta(x)e^{i\lambda x}dx=e^0=1 \] 逆变换有 \[\delta(x)=F^{-1}[1]=\frac{1}{2\pi}\int_{-\infty}^{+\infty}e^{-i\lambda x}d\lambda \\ =\frac{1}{2\pi}\int_{-\infty}^{+\infty}e^{i\lambda x}d\lambda \\ =\frac{1}{2\pi}\int_{-\infty}^{+\infty}\cos({\lambda x})d\lambda \]

如上的积分在通常意义下是不存在的,但有运算意义。

三维$\delta$函数

三维$\delta$函数满足

(1) \[\delta(M)=\delta(x,y,z)=\casefunc{ & 0 , x^2+y^2+z^2\neq 0 \\ &+\infty, x^2+y^2+z^2 = 0 } \]

(2) \[\iiint_{\Real^3}\delta(x,y,z)dxdydz=1 \]

  1. 运算$f(M)$是连续函数,则 \[\iiint_{\Real^3}\delta(x-\xi,y-\eta,z-\zeta)f(x,y,z)dxdydz=f(\xi,\eta,\zeta) \] 或者记为 \[\iiint_{\Real^3}\delta(M-M_0)f(M)dM=f(M_0) \] 更一般地,对任意区域$V$,有 \[\iiint_V\delta(M-M_0)f(M)dM=\casefunc{ & f(M_0) , M_0\in V \\ & 0, M_0\notin V } \]
  1. 对称性$\delta(M)=\delta(-M)$。进而,可以得到 \[\delta(M)*f(M)=f(M) \]
  2. Fourier变换$F[\delta(M)]=1$

例 4. 解定解问题 \[\casefunc{ & u_t=a^2u_{xx} , x\in(0,2l), t>0 \\ & u(0,x)=\delta(x-l) \\ & u_x(t,0)=u_x(t,2l)=0 } \]

例 5. $f(t)$是已知函数,求 \[I=\frac{2a}\pi\int_0^{+\infty}f(\tau)\sin(\lambda x)\sin(a\lambda(t-\tau))d\tau \] 其中$a>0$$0<x<at$,并且累次积分可以交换次序。

4.

目录

本节读完

例 6.

6.