Fourier 变换

所谓积分变换,就是把某函数类 A 中的函数 f(t)f(t) 乘上一个确定的二元函数k(t,p)k(t, p),然后计算积分 F(p)=k(t,p)f(t)dt\displaystyle F(p)=\int k(t, p)f(t)dt,这样变成另一个函数类 B 中的函数 F(p)F(p) 。这里二元函数k(t,p)k(t, p)是一个确定的二元函数,通常称为该积分变换的核函数(kernel function)f(t)f(t) 称为象原函数(original image function),F(p)F(p) 称为 f(t)f(t)的象函数(image function)。如果取积分核 k(ω,t)=eiωtk(ω,t)=e^{-iωt},就是著名的Fourier 变换。

Fourier 变换

  • 周期函数的Fourier 级数:设 fT(t)f_T(t) 是以T为周期的实值函数,在区间 [T2,T2][-\frac{T}{2},\frac{T}{2}]上满足狄利克雷(Dirichlet)条件:
    (1)连续或只有有限个第一类间断点;
    (2)只有有限个极值点
    fT(t)f_T(t)在连续点处可以展开成Fourier 级数:

fT(t)=a02+n=1(ancosnω0t+bnsinnω0t)(F0)\displaystyle f_T(t)=\dfrac{a_0}{2}+\sum_{n=1}^{∞}(a_n\cos nω_0 t+b_n\sin nω_0 t) \tag{F0}

在间断点处,上式左端为 12[fT(t)+fT(t+)]\frac{1}{2}[f_T(t^-)+f_T(t^+)]
其中 ω0=2π/Tan=2TT/2T/2fT(t)cosnω0tdt(n=0,1,2,)bn=2TT/2T/2fT(t)sinnω0tdt(n=1,2,3,)\displaystyle ω_0=2\pi/T \\ a_n=\frac 2T \int_{-T/2}^{T/2}f_T(t)\cos nω_0 t\text{d}t \quad(n=0,1,2,\cdots) \\ b_n=\frac 2T \int_{-T/2}^{T/2}f_T(t)\sin nω_0 t\text{d}t \quad(n=1,2,3,\cdots)
式 (F0) 称为Fourier 级数的三角形式。

  • 奇函数和偶函数的傅里叶展开
    若周期函数 fT(t)f_T(t) 是奇函数,由展开式知 a0a_0ana_n 均为零,展开式称为

fT(t)=n=1bnsinnω0t\displaystyle f_T(t)=\sum_{n=1}^{∞}b_n\sin nω_0 t

称为傅里叶正弦级数
若周期函数 fT(t)f_T(t) 是偶函数,由展开式知 bnb_n 均为零,展开式称为

fT(t)=a02+n=1ancosnω0t\displaystyle f_T(t)=\dfrac{a_0}{2}+\sum_{n=1}^{∞}a_n\cos nω_0 t

称为傅里叶余弦级数

  • Fourier 级数的指数形式:利用欧拉公式 cosθ=eiθ+eiθ2,sinθ=eiθeiθ2i\cosθ=\dfrac{e^{iθ}+e^{-iθ}}{2},\sinθ=\dfrac{e^{iθ}-e^{-iθ}}{2i} 将Fourier 级数转化为复指数形式,

fT(t)=c0+n=1(cneinω0t+cneinω0t)=n=cneinω0t(F1)\displaystyle f_T(t)=c_0+\sum_{n=1}^{∞}(c_ne^{inω_0 t}+c_{-n}e^{-inω_0 t})=\sum_{n=-∞}^{∞}c_ne^{inω_0 t} \tag{F1}

其中

cn=1TT/2T/2fT(t)einω0tdt(n=0,±1,±2,)(F2) \displaystyle c_n=\dfrac1T\int^{T/2}_{-T/2}f_T(t)e^{-inω_0 t}\text{d}t\quad(n=0,\pm1,\pm2,\cdots)\tag{F2}

cnc_nan,bna_n,b_n的关系可知
{cn=cn=12an2+bn2=12Anargcn=argcn=θnc0=A0\begin{cases} c_n=c_{-n}=\frac{1}{2}\sqrt{a_n^2+b_n^2}=\frac{1}{2}A_n \\ \arg c_n=-\arg c_{-n}=θ_n \\ |c_0|=A_0 \end{cases}

  • Fourier 级数的物理含义
    针对Fourier 级数的三角形式 (F0) ,取A0=a0/2A_0=a_0/2,令An=an2+bn2,cosθn=an/An,sinθn=bn/AnA_n=\sqrt{a_n^2+b_n^2},\cosθ_n=a_n/A_n,\sinθ_n=-b_n/A_n,则(F0)化为
    fT(t)=A0+n=1An(cosθncosnω0t+sinθnsinnω0t)=A0+n=1Ancos(nω0t+θn)\begin{aligned} \displaystyle f_T(t)&=A_0+\sum_{n=1}^{∞}A_n(\cosθ_n\cos nω_0 t+\sinθ_n\sin nω_0 t) \\ &=A_0+\sum_{n=1}^{∞}A_n\cos(nω_0 t+θ_n) \end{aligned}
    关系图
    (1) 上式表明,周期信号可以分解为一系列固定频率的简谐波之和,这些简谐波的(角) 频率(frequency) 为一个基频(fundamental frequency) ω0ω_0的倍数。
    振幅(amplitude) AnA_n 反映了在信号 fT(t)f_T(t) 中频率为 nω0nω_0的简谐波所占有的份额;
    相位(phase) nω0t+θnnω_0 t+θ_n反映了在信号 fT(t)f_T(t) 中频率为 nω0nω_0的简谐波沿时间轴移动的大小,初相位(Initial Phase)θnθ_n
    A0A_0表示周期信号在一个周期内的平均值,也叫 直流分量(DC component)A0|A_0|称为直流分量的振幅。
    (2) 对于Fourier 级数的复指数形式,我们不难看出 cnc_n作为复数,其模和辐角恰好反应了第 n次谐波的振幅和初相位,cnc_n是离散频率 nω0nω_0的函数,描述了各次谐波的振幅和初相位随离散频率变化的分布情况。称 cnc_nfT(t)f_T(t)的离散频谱(spectrum)cn|c_n|为离散振幅谱(amplitude spectrum)argcn\arg c_n为离散相位谱(phase spectrum)

  • 非周期函数的Fourier 变换
    上面研究的是周期函数,事实上对于一个非周期函数f(t)f(t) 可以看成是一个周期为 T的函数fT(t)f_T(t)T+T\to +∞时转化而来。
    由Fourier 级数式(F1)和式(F2)有 f(t)=limT+n=[1TT/2T/2fT(τ)einω0τdτ]einω0t\displaystyle f(t)=\lim\limits_{T\to +∞}\sum_{n=-∞}^{∞}[\dfrac1T\int^{T/2}_{-T/2}f_T(τ)e^{-inω_0 τ}\text{d}τ]e^{inω_0 t}
    ωn=nω0ω_n=nω_0,间隔 ω0=Δωω_0=Δω,当n 取一切整数时, ωnω_n 所对应的点便均匀地分布在整个数轴上,并由 T=2πω0=2πΔωT=\dfrac{2\pi}{ω_0}=\dfrac{2\pi}{Δω}
    f(t)=12πlimΔω0n=[π/Δωπ/ΔωfT(τ)eiωnτdτ]eiωntΔω\displaystyle f(t)=\dfrac{1}{2\pi}\lim\limits_{Δω\to0}\sum_{n=-∞}^{∞}[\int^{π​/Δω}_{-π​/Δω}f_T(τ)e^{-iω_n τ}\text{d}τ]e^{iω_n t}Δω
    这是一个和式得极限,按照积分的定义,在一定条件下,上式可写成

f(t)=12π+[+f(τ)eiωτdτ]eiωtdω(F3)\displaystyle f(t)=\dfrac{1}{2\pi}\int_{-∞}^{+∞}[\int^{+∞}_{-∞}f(τ)e^{-iω τ}\text{d}τ]e^{iω t}\text{d}ω \tag{F3}

这个公式称为函数 f(t)f(t)Fourier 积分公式。应该指出,上式只是由式(F1)的右端从形式上推出来的,是不严格的.。至于一个非周期函数 f(t)f(t)在什么条件下,可以用Fourier 积分公式表示,有下面的定理。
Fourier 积分定理:若 f(t)f(t)R\R上满足:
(1) 在任一有限区间上满足狄利克雷(Dirichlet)条件;
(2) 在无限区间(,+)(-∞,+∞)上绝对可积 ( 即 +f(t)dt\int_{-∞}^{+∞}|f (t)| dt 收敛)
则有(F3)式成立
在间断点处,(F3)式左端为 12[f(t)+f(t+)]\frac{1}{2}[f(t^-)+f(t^+)]
Fourier 变换:如果函数 f(t)f(t)满足Fourier 积分定理,由式(F3),令

F(ω)=+f(τ)eiωτdτ(F4)\displaystyle F(ω)=\int^{+∞}_{-∞}f(τ)e^{-iω τ}\text{d}τ \tag{F4}

则有

f(t)=12π+F(ω)eiωtdω(F5) \displaystyle f(t)=\dfrac{1}{2\pi}\int_{-∞}^{+∞}F(ω)e^{iω t}\text{d}ω \tag{F5}

从上面两式可以看出,f(t)f(t)F(ω)F(ω)通过确定的积分运算可以互相转换。 F(ω)F(ω)称为 f(t)f(t) Fourier 变换(Fourier transform),或象函数(image function),记为F(ω)=F[f(t)]F(ω)=\mathcal{F}[f(t)]f(t)f(t)称为 F(ω)F(ω) Fourier 逆变换(inverse Fourier transform),或象原函数(original image function),记为f(t)=F1[F(ω)]f(t)=\mathcal{F}^{-1}[F(ω)] ;通常称f(t)f(t)F(ω)F(ω)构成一个Fourier 变换对(transform pair),记作 f(t)F(ω)f(t)\lrarr F(ω)

  • 傅里叶正弦变换和余弦变换:和傅里叶级数的情形类似,奇函数 f(x)f(x) 的傅里叶变换是傅里叶正弦变换

B(ω)=0+f(t)sinωtdtf(t)=12π0+F(ω)sinωtdωB(ω)=\int^{+∞}_{0}f(t)\sin ωt\text{d}t \\ f(t)=\dfrac{1}{2\pi}\int_{0}^{+∞}F(ω)\sin ωt\text{d}ω

偶函数 f(t)f(t) 的傅里叶变换是傅里叶余弦变换

A(ω)=0+f(t)cosωtdtf(t)=12π0+F(ω)cosωtdωA(ω)=\int^{+∞}_{0}f(t)\cos ωt\text{d}t \\ f(t)=\dfrac{1}{2\pi}\int_{0}^{+∞}F(ω)\cos ωt\text{d}ω

  • Fourier 变换的物理意义
    Fourier 积分公式表明非周期函数的频谱是连续取值的。
    像函数F(ω)F(ω)反映的是函数 f(t)f(t)中各频率分量的分布密度,它为复值函数,故可表示为 F(ω)=F(ω)eiargF(ω)F(ω)=|F(ω)|e^{i\arg F(ω)}
    F(ω)F(ω)f(t)f(t)频谱(spectrum)F(ω)|F(ω)|振幅谱(amplitude spectrum)argF(ω)\arg F(ω)相位谱(phase spectrum)
    不难证明当f(t)f(t)为实函数时,F(ω)|F(ω)|为偶函数,argF(ω)\arg F(ω)为奇函数。

Fourier 变换的性质

  1. 线性性质F[αf1(t)+βf2(t)]=αF[f1(t)]+βF[f2(t)]\mathcal{F}[αf_1(t)+βf_2(t)]=α\mathcal{F}[f_1(t)]+β\mathcal{F}[f_2(t)]

  2. 延迟性质:设 F(ω)=F[f(t)]F(ω)=\mathcal{F}[f(t)],则
    F[f(tt0)]=eiωt0F(ω)\mathcal{F}[f(t-t_0)]=e^{-iω t_0}F(ω)

  3. 位移性质:设 F(ω)=F[f(t)]F(ω)=\mathcal{F}[f(t)],则
    F[eiωt0f(t)]=F(ωω0)\mathcal{F}[e^{-iω t_0}f(t)]=F(ω-ω_0)

  4. 伸缩性质(相似性质):设 F(ω)=F[f(t)],a0F(ω)=\mathcal{F}[f(t)],a\neq 0,则
    F[f(at)]=1aF(ωa)\mathcal{F}[f(at)]=\dfrac{1}{|a|}F(\dfrac{ω}{a})

  5. 微分性质:若 limt+f(k)(t)=0(k=0,1,2,,n1)\lim\limits_{|t|\to +\infty}f^{(k)}(t)=0(k=0,1,2,\cdots,n-1),则
    F[f(n)(t)]=(iω)nF[f(t)]\mathcal{F}[f^{(n)}(t)]=(iω)^n\mathcal{F}[f(t)]

  6. 积分性质:设 g(t)=tf(t)dt\displaystyle g(t)=\int_{-∞}^{t}f(t)dt,若 limt+g(t)=0\lim\limits_{t\to +\infty}g(t)=0
    F[g(t)]=1iωF[f(t)]\mathcal{F}[g(t)]=\dfrac{1}{iω}\mathcal{F}[f(t)]

  7. 帕赛瓦尔(Parseval)等式:设 f1(t),f2(t)f_1(t),f_2(t)均为平方可积函数,即+fk(t)2dt<+(k=1,2)\displaystyle \int_{-∞}^{+∞}|f_k(t)|^2dt<+\infty(k=1,2)
    F1(ω)=F[f1(t)],F2(ω)=F[f2(t)]F_1(ω)=\mathcal{F}[f_1(t)],F_2(ω)=\mathcal{F}[f_2(t)],则
    +f1(t)f2(t)dt=12π+F1(ω)F2(ω)dω\displaystyle \int_{-∞}^{+∞}f_1(t)\overline{f_2(t)}dt=\dfrac{1}{2\pi}\int_{-∞}^{+∞}F_1(ω)\overline{F_2(ω)}dω
    特别的当 f1(t)=f2(t)=f(t),F(ω)=F[f(t)]f_1(t)=f_2(t)=f(t),F(ω)=\mathcal{F}[f(t)]
    +f(t)2dt=12π+F(ω)2dω\displaystyle \int_{-∞}^{+∞}|f(t)|^2dt=\dfrac{1}{2\pi}\int_{-∞}^{+∞}|F(ω)|^2dω
    平方可积函数在物理上就是能量有限的信号,上式也叫能量积分(energy integral)F(ω)2|F(ω)|^2 也叫能量谱密度(energy spectrum density)

  8. 卷积定理[1]:设 F1(ω)=F[f1(t)],F2(ω)=F[f2(t)]F_1(ω)=\mathcal{F}[f_1(t)],F_2(ω)=\mathcal{F}[f_2(t)],则有
    F[f1f2]=F1(ω)F2(ω)\mathcal F[f_1*f_2]=F_1(ω)\cdot F_2(ω)
    F1[F1(ω)F2(ω)]=f1f2\mathcal F^{-1}[F_1(ω)\cdot F_2(ω)]=f_1*f_2
    F[f1f2]=12π[F1(ω)F2(ω)]\mathcal F[f_1\cdot f_2]=\frac{1}{2\pi}[F_1(ω)*F_2(ω)]
    F1[F1(ω)F2(ω)]=2πf1f2\mathcal F^{-1}[F_1(ω)*F_2(ω)]=2\pi f_1f_2

多重傅里叶积分

以三重傅里叶积分说明,首先将三维空间的非周期函数 f(x,y,z)f(x,y,z) 按自变量 xx 展开为傅里叶积分,其傅里叶变换为 F1(k1;y,z)F_1(k_1;y,z) ,其中 y,zy,z 作为参数出现。再将 F1(k1;y,z)F_1(k_1;y,z)yy 展开为傅里叶积分,得到 F2(k1,k2;z)F_2(k_1,k_2;z) ,最后将F2(k1,k2;z)F_2(k_1,k_2;z)zz 展开为傅里叶积分。综合三次展开,得到 f(x,y,z)f(x,y,z) 的三重傅里叶积分。

f(x)=1(2π)3+F(k1,k2,k3)ei(k1x+k2y+k3z)dk1dk2dk3f(\mathbf x)=\frac{1}{(2\pi)^3}\iiint\limits_{-\infty}^{+\infty}F(k_1,k_2,k_3)e^{\mathrm i(k_1x+k_2y+k_3z)}dk_1dk_2dk_3

F(k1,k2,k3)=+f(x,y,z)ei(k1x+k2y+k3z)dxdydzF(k_1,k_2,k_3)=\iiint\limits_{-\infty}^{+\infty}f(x,y,z)e^{-\mathrm i(k_1x+k_2y+k_3z)}dxdydz

引入矢量 r=(x,y,z)Rn,k=(k1,k2,k3)\mathbf r=(x,y,z)\in\R^n,\mathbf k=(k_1,k_2,k_3),可写为较简介的形式

F(k)=+f(r)eikxdxF(\mathbf k)=\iiint\limits_{-\infty}^{+\infty}f(\mathbf r)e^{-\mathrm i\mathbf{k\cdot x}}d\mathbf x

则有

f(r)=1(2π)3+F(k)eikxdkf(\mathbf r)=\frac{1}{(2\pi)^3}\iiint\limits_{-\infty}^{+\infty}F(\mathbf k)e^{\mathrm i\mathbf{k\cdot x}}d\mathbf k

其中 F(k)F(\mathbf k) 称为 f(r)f(\mathbf r)多重傅里叶变换,记为 F(k)=F[f(r)]F(\mathbf k)=\mathcal{F}[f(\mathbf r)]f(r)f(\mathbf r) 称为 F(k)F(\mathbf k)多重傅里叶逆变换,记为 f(r)=F1[F(k)]f(\mathbf r)=\mathcal{F}^{-1}[F(\mathbf k)]

δ 函数

在物理学中,常有集中于一点或一瞬时的量,如脉冲力、脉冲电压、点电荷、质点的质量。只有引入一个特殊函数来表示它们的分布密度,才有可能把这种集中的量与连续分布的量来统一处理。

  • 单位脉冲函数(Unit Impulse Function)
    <引例>:假设在原来电流为零的电路中,在 t=0t=0 时瞬时进入一电量为 q0q_0的脉冲。现在确定电流强度分布 i(t)=dqdti(t)=\cfrac{\mathrm dq}{\mathrm dt},分析可知 i(t)={0(t0)(t=0)i(t)=\begin{cases} 0&(t\neq 0) \\ ∞​&(t=0) \end{cases}
    同时需要引入积分值表示电量大小 +i(t)dt=q0\displaystyle\int_{-∞}^{+∞}i(t)dt=q_0
    为此我们引入单位脉冲函数,又称为Dirac函数或者δ函数

    定义:单位脉冲函数 δ(t)δ(t) 满足
    (1) 当 t0t\neq 0 时,δ(t)=0δ(t)=0
    (2) +δ(t)dt=1\displaystyle\int_{-∞}^{+∞}δ(t)dt=1
    由此,引例可表示为 i(t)=q0δ(t)i(t)=q_0δ(t)
    delta函数
    注意
    (1) 单位脉冲函数 δ(t)δ(t) 并不是经典意义下的函数,因此通常称其为广义函数(或者奇异函数)。
    (2) 它不能用常规意义下的值的对应关系来理解和使用,而总是通过它的定义和性质来使用它。
    (3) 单位脉冲函数 δ(t)δ(t) 有多种定义方式,前面所给出的定义方式是由Dirac(狄拉克)给出的。

  • 单位脉冲函数其他定义方式
    构造一个在 εε 时间内激发的矩形脉冲 δε(t)δ_ε(t),定义为
    δε(t)={0(t<0)1/ε(0tε)0(t>ε)δ_ε(t)=\begin{cases} 0&(t< 0) \\ 1/ε​&(0⩽t⩽ε) \\ 0&(t>ε) \end{cases}
    对于任何一个在 (,+)(-∞,+∞) 上无穷次可微的函数 f(t)f(t) 如果满足

limε0+δε(t)f(t)dt=+δ(t)f(t)dt\displaystyle\lim\limits_{ε\to 0}\int_{-∞}^{+∞}δ_ε(t)f(t)dt=\int_{-∞}^{+∞}δ(t)f(t)dt

则称δε(t)δ_ε(t)的极限为δ(t)δ(t),记为

limε0δε(t)=δ(t)\lim\limits_{ε\to 0}δ_ε(t)=δ(t)

delat函数
筛选性质(sifting property): 设函数 f(t)f(t) 是定义在 R\R上的有界函数,且在 t=0t = 0 处连续,则有

+δ(t)f(t)dt=f(0)\displaystyle\int_{-∞}^{+∞}δ(t)f(t)dt=f(0)

证明:取 f(t)1f(t)\equiv1,则有 +δ(t)dt=limε00ε1εdt=1\displaystyle\int_{-∞}^{+∞}δ(t)dt=\lim\limits_{ε\to 0}\int_{0}^{ε}\frac{1}{ε}dt=1
事实上 +δ(t)f(t)dt=limε0+δε(t)f(t)dt=limε01ε0εf(t)dt\displaystyle\int_{-∞}^{+∞}δ(t)f(t)dt=\lim\limits_{ε\to 0}\int_{-∞}^{+∞}δ_ε(t)f(t)dt=\lim\limits_{ε\to 0}\frac{1}{ε}\int_{0}^{ε}f(t)dt
由微分中值定理有 1ε0εf(t)dt=f(θε)(0<θ<1)\displaystyle\frac{1}{ε}\int_{0}^{ε}f(t)dt=f(θε)\quad(0<θ<1)
从而 +δ(t)f(t)dt=limε0f(θε)=f(0)\displaystyle\int_{-∞}^{+∞}δ(t)f(t)dt=\lim\limits_{ε\to 0}f(θε)=f(0)

正是因为 δδ 函数并不是给出普通数值间的对应关系,因此,δδ 函数也不像普通函数那样具有唯一确定的表达式,事实上凡是具有

limε0+δε(t)f(t)dt=f(0) \lim\limits_{ε\to 0}\int_{-∞}^{+∞}δ_ε(t)f(t)dt=f(0)

性质的函数序列 δε(t)δ_ε(t) ,或是具有

limn+δn(t)f(t)dt=f(0) \lim\limits_{n\to \infty}\int_{-∞}^{+∞}δ_n(t)f(t)dt=f(0)

性质的函数序列 δn(t)δ_n(t),他们的极限都是 δδ 函数,例如

  • δ函数的基本性质:(这些性质的严格证明可参阅广义函数)
    (1) δ(t)δ(t) 和常数 cc 的乘积 cδ(t)cδ(t)

+[cδ(t)]f(t)dt=+δ(t)[cf(t)]dt=cf(0)\int_{-∞}^{+∞}[cδ(t)]f(t)dt=\int_{-∞}^{+∞}δ(t)[cf(t)]dt=cf(0)

(2) 平移变换, ttt0t\to t-t_0

+δ(tt0)f(t)dt=+δ(x)f(x+t0)dx=f(t0)\int_{-∞}^{+∞}δ(t-t_0)f(t)dt=\int_{-∞}^{+∞}δ(x)f(x+t_0)dx=f(t_0)

(3) 放大(或缩小)变换, tat(a0)t\to at \quad(a\neq 0)

+δ(at)f(t)dt=δ(x)f(xa)dxa=1af(0)\int_{-∞}^{+∞}δ(at)f(t)dt=δ(x)f(\frac{x}{a})\frac{dx}{|a|}=\frac{1}{|a|}f(0)

由此可以得到

δ(at)=1aδ(t)(a0)δ(at)=\cfrac{1}{|a|}δ(t)\quad(a\neq 0)

特别的,当 a=1a=-1 时,δ(t)=δ(t)δ(t)=δ(-t) ,说明 δ(t)δ(t)偶函数

(4) δδ 函数的导数 δ(t)δ'(t) ,对于在 t=0t=0 点连续并有连续导数的任意函数 f(t)f(t) ,应用分部积分

+δ(t)f(t)dt=δ(t)f(t)++δ(t)f(t)dt=f(0)\int_{-∞}^{+∞}δ'(t)f(t)dt=δ(t)f(t)\Big|_{-∞}^{+∞}-\int_{-∞}^{+∞}δ(t)f'(t)dt=-f'(0)

(5) δδ 函数的高阶导数 δ(n)(t)δ^{(n)}(t) ,对于在 t=0t=0 点连续并有连续导数的任意函数 f(t)f(t) ,有

+δ(n)(t)f(t)dt=(1)nf(n)(0)\int_{-∞}^{+∞}δ^{(n)}(t)f(t)dt=(-1)^{n}f^{(n)}(0)

(6) δδ 函数与普通函数的乘积 g(t)δ(t)g(t)δ(t)

+[g(t)δ(t)]f(t)dt=+[f(t)g(t)]δ(t)dt=f(0)g(0)\int_{-∞}^{+∞}[g(t)δ(t)]f(t)dt=\int_{-∞}^{+∞}[f(t)g(t)]δ(t)dt=f(0)g(0)

f(t)δ(t)=f(0)δ(t)f(t)δ(t)=f(0)δ(t)

例如: tδ(t)=0tδ(t)=0

(7) 单位阶跃函数[2]等于 δδ 函数的积分

u(t)=tδ(s)ds\displaystyle u(t)=\int_{-∞}^{t}δ(s)ds

由高数知识知,δδ 函数是单位阶跃函数的导数,即

du(t)dt=δ(t)\dfrac{\mathrm du(t)}{\mathrm dt}=δ(t)

(8) δδ 函数的卷积

f(t)δ(t)=f(t) f(t)*δ(t)=f(t)

一般的有 f(t)δ(tt0)=f(tt0)f(t)*δ(t-t_0)=f(t-t_0)

  • δ函数的Fourier 变换
    (1) 根据 δδ 函数筛选性质可得
    F(ω)=F[δ(t)]=+δ(t)eiωtdt=eiωtt=0=1\displaystyle F(ω)=\mathcal{F}[δ(t)]=\int^{+∞}_{-∞}δ(t)e^{-iω t}\text{d}t=e^{-iω t}|_{t=0}=1
    δ(t)=F1[1]=12π+eiωtdω\displaystyleδ(t)=\mathcal{F}^{-1}[1]=\dfrac{1}{2\pi}\int_{-∞}^{+∞}e^{iω t}\text{d}ω
    或写为
    δ(t)=12π+cosωtdω=1π0+cosωtdω\displaystyleδ(t)=\dfrac{1}{2\pi}\int_{-∞}^{+∞}\cosω t\text{d}ω =\dfrac{1}{\pi}\int_{0}^{+∞}\cosω t\text{d}ω
    由此可见,单位冲激函数包含所有频率成份,且它们具有相等的幅度,称此为均匀频谱或白色频谱。
    我们可以得到 :

δ(t)1δ(tt0)eiωt012πδ(ω)eiω0t2πδ(ωω0)\begin{aligned} δ(t) & \lrarr 1 \\ δ(t-t_0) & \lrarr e^{-iω t_0} \\ 1 & \lrarr 2\pi δ(ω) \\ e^{-iω_0 t} & \lrarr 2\pi δ (ω − ω_0 ) \end{aligned}

(2) 有许多重要的函数不满足Fourier 积分定理条件(绝对可积),例如常数、符号函数、单位阶跃函数、正弦函数和余弦函数等,但它们的广义Fourier 变换[3]也是存在的,利用单位脉冲函数及其Fourier 变换可以求出它们的Fourier 变换。

  • 周期函数的Fourier 变换
    定理:设 f(t)f(t) 以T 为周期,在 [0,T][0,T] 上满足 Dirichlet 条件,则 f(t)f(t)的Fourier 变换为:

F(ω)=2πn=+F(nω0)δ(ωnω0)\displaystyle F(ω)=2\pi\sum_{n=-∞}^{+∞}F(nω_0)δ (ω − nω_0)

其中 ω0=2π/T,F(nω0)ω_0=2\pi/T,F(nω_0)f(t)f(t) 的离散频谱。

  • 多维 δδ 函数:例如位于三维空间的坐标原点质量为 mm 的质点,其密度函数可表示为 mδ(r)mδ(\mathbf r)。 在三维空间中的 δδ 函数定义如下:

δ(r)={0(r0)(r=0)+δ(r)dr=1δ(\mathbf r)= \begin{cases} 0 &(\mathbf r\neq0) \\ \infty &(\mathbf r=0) \end{cases} \\ \iiint\limits_{-\infty}^{+\infty} δ(\mathbf r)\mathrm d\mathbf r=1

三维 δδ 函数可表示为三个一维 δδ 函数乘积表示,在直角坐标系中

δ(r)=δ(x)δ(y)δ(z)δ(\mathbf r)=δ(x)δ(y)δ(z)

三维空间点 r0=(x0,y0,z0)\mathbf r_0=(x_0,y_0,z_0) 处密度分布函数就是

δ(rr0)=δ(xx0)δ(yy0)δ(zz0)δ(\mathbf{r-r_0})=δ(x-x_0)δ(y-y_0)δ(z-z_0)

换算到柱坐标系 r0=(r0,θ0,z0)\mathbf r_0=(r_0,θ_0,z_0)

δ(rr0)=1r0δ(rr0)δ(θθ0)δ(zz0)δ(\mathbf{r-r_0})=\frac{1}{r_0}δ(r-r_0)δ(θ-θ_0)δ(z-z_0)

换算到球坐标系 r0=(r0,θ0,ϕ0)\mathbf r_0=(r_0,θ_0,ϕ_0)

δ(rr0)=1r02sinθ0δ(rr0)δ(θθ0)δ(ϕϕ0)δ(\mathbf{r-r_0})=\frac{1}{r_0^2\sinθ_0}δ(r-r_0)δ(θ-θ_0)δ(ϕ-ϕ_0)

多维 δδ 函数主要性质:

+f(r)δ(rr0)dr=f(r0)+f(r)[δ(rr0)]dr=f(r)r=r0\iiint\limits_{-\infty}^{+\infty} f(\mathbf r)δ(\mathbf{r-r_0})\mathrm d\mathbf r=f(\mathbf r_0) \\ \iiint\limits_{-\infty}^{+\infty} f(\mathbf r)[\nablaδ(\mathbf{r-r_0})]\mathrm d\mathbf r=-\nabla f(\mathbf r)|_{\mathbf{r=r_0}}

位矢的微分:

Δ1r=4πδ(r)\Delta \frac{1}{r}=-4\piδ(\mathbf r)

其中 r=x2+y2+z2r=\sqrt{x^2+y^2+z^2}

Fourier 变换的应用

  1. 矩形脉冲函数(rectangular pulse function) f(t)={1t<a0t>af(t)=\begin{cases}1&|t|<a \\ 0 &|t|>a \end{cases} 的Fourier 变换及其Fourier 积分表达式。
    矩形脉冲
    (1) Fourier 变换为
    F(ω)=+f(t)eiωtdt=aaeiωtdt=aacos(ωt)dtiaasin(ωt)dt=20acos(ωt)dt=2sin(aω)ω=2asin(aω)aω\begin{aligned} \displaystyle F(ω) &=\int^{+∞}_{-∞}f(t)e^{-iω t}\text{d}t=\int^{a}_{-a}e^{-iω t}\text{d}t \\ &=\int^{a}_{-a}\cos(ωt)\text{d}t-\text{i}\int^{a}_{-a}\sin(ωt)\text{d}t \\ &=2\int^{a}_{0}\cos(ωt)\text{d}t \\ &=\frac{2\sin(aω)}{ω} =2a\frac{\sin(aω)}{aω} \end{aligned}
    (2) 振幅谱 F(ω)=2asin(aω)aω\displaystyle |F(ω)| =2a\left|\frac{\sin(aω)}{aω}\right|
    相位谱 argF(ω)={02nπaω2nπaπothers\arg F(ω)=\begin{cases} 0 & \frac{2n\pi}{a}⩽|ω|⩽ \frac{2n\pi}{a} \\ \pi &\text{others} \end{cases}
    频谱
    (3) Fourier 积分表达式为
    f(t)=F1[F(ω)]=12π+F(ω)eiωtdω=12π+2sin(aω)ωeiωtdω=1π+sin(aω)ωcosωtdω={1t<a12t=a0t>a\begin{aligned} \displaystyle f(t) &=\mathcal{F}^{-1}[F(ω)] \\ &=\dfrac{1}{2\pi}\int_{-∞}^{+∞}F(ω)e^{iω t}\text{d}ω=\dfrac{1}{2\pi}\int_{-∞}^{+∞}\frac{2\sin(aω)}{ω}e^{iω t}\text{d}ω \\ &=\dfrac{1}{\pi}\int_{-∞}^{+∞}\frac{\sin(aω)}{ω}\cosωt\text{d}ω \\ &=\begin{cases} 1 & |t|<a \\ \frac{1}{2} & |t|=a \\ 0 & |t|>a \\ \end{cases} \end{aligned}
    在上式中令 t=0t = 0,可得重要公式:
    +sin(ax)xdx={πa<00a=0πa>0\displaystyle\boxed{\int_{-∞}^{+∞}\frac{\sin(ax)}{x}\text{d}x= \begin{cases} -\pi &a<0 \\ 0 &a=0 \\ \pi &a>0 \end{cases}}
    特别的 0+sinxxdx=π2\displaystyle\int_{0}^{+∞}\frac{\sin x}{x}\text{d}x=\frac{\pi}{2}

  2. 指数衰减函数(exponential decay function) f(t)={0t<0eatt0(a>0)f(t)=\begin{cases} 0 & t<0 \\ e^{-a t} &t⩾0 \end{cases}\quad(a>0) 的Fourier 变换及Fourier 积分表达式。
    (1) Fourier 变换为
    F(ω)=+f(t)eiωtdt=0+eateiωtdt=1(a+iω)e(a+iω)tt=0t+=1a+iω=aiωa2+ω2\begin{aligned} \displaystyle F(ω) &=\int^{+∞}_{-∞}f(t)e^{-iω t}\text{d}t=\int^{+∞}_{0}e^{-a t}e^{-iω t}\text{d}t \\ &=\frac{1}{-(a+iω)}e^{-(a+iω)t}\Big|^{t\to+∞}_{t=0} \\ &=\frac{1}{a+iω}=\frac{a-iω}{a^2+ω^2} \end{aligned}
    (2) 振幅谱 F(ω)=1a2+ω2\displaystyle |F(ω)| =\frac{1}{\sqrt{a^2+ω^2}}
    相位谱 argF(ω)=arctanωa\arg F(ω)=-\arctan\dfrac{ω}{a}
    频谱图
    (3) Fourier 积分表达式为
    f(t)=F1[F(ω)]=12π+F(ω)eiωtdω=12π+βiωβ2+ω2eiωtdω=12π+1β2+ω2(βiω)(cosωt+isinωt)dω\begin{aligned} \displaystyle f(t) &=\mathcal{F}^{-1}[F(ω)] \\ &=\dfrac{1}{2\pi}\int_{-∞}^{+∞}F(ω)e^{iω t}\text{d}ω=\dfrac{1}{2\pi}\int_{-∞}^{+∞}\frac{β-iω}{β^2+ω^2}e^{iω t}\text{d}ω \\ &=\dfrac{1}{2\pi}\int_{-∞}^{+∞}\frac{1}{β^2+ω^2}(β-iω)(\cosωt+i\sinωt)\text{d}ω \end{aligned}
    利用奇偶函数的积分性质,可得
    f(t)=1π0+βcosωt+ωsinωtβ2+ω2dω\displaystyle f(t)=\dfrac{1}{\pi}\int_{0}^{+∞}\frac{β\cosωt+ω\sinωt}{β^2+ω^2}\text{d}ω
    由此顺便得到一个含参变量广义积分的结果
    0+βcosωt+ωsinωtβ2+ω2dω={0t<0π2t=0πeβtt>0\displaystyle \boxed{\int_{0}^{+∞}\frac{β\cosωt+ω\sinωt}{β^2+ω^2}\text{d}ω= \begin{cases} 0 &t<0\\ \dfrac{\pi}{2} &t=0 \\ \pi e^{-βt} &t>0 \end{cases}}

  3. 求单位阶跃函数[2:1] u(t)={0(t<0)1(t>0)u(t)=\begin{cases} 0 & (t<0) \\ 1 & (t>​0) \end{cases} 的Fourier 变换及其积分表达式。
    (1) 现将 u(t)u(t)看作是指数衰减函数f(t;β)={0t<0eβtt>0f(t;β)=\begin{cases} 0 & t<0 \\ e^{-β t} &t>0 \end{cases}β0+β\to0^+时的极限,即 u(t)=limβ0+f(t;β)u(t)=\lim\limits_{β\to0^+}f(t;β)
    F(ω)=limβ0+F[f(t;β)]=limβ0+1β+iω=limβ0+(ββ2+ω2iωβ2+ω2)=πδ(ω)+1iω\begin{aligned} \displaystyle F(ω) & =\lim\limits_{β\to0^+}\mathcal{F}[f(t;β)]\\ &=\lim\limits_{β\to0^+}\frac{1}{β+iω} =\lim\limits_{β\to0^+}(\frac{β}{β^2+ω^2}-i\frac{ω}{β^2+ω^2})\\ &=\pi δ(ω)+\frac{1}{iω} \end{aligned}
    又因 limβ0++ββ2+ω2dω=limβ0+[arctanωβ]+=π\displaystyle\lim\limits_{β\to0^+}\int_{-∞}^{+∞}\frac{β}{β^2+ω^2}dω=\lim\limits_{β\to0^+}[\arctan \frac{ω}{β}]\Big|^{-∞}_{+∞}=\pi
    所以limβ0+ββ2+ω2=πδ(ω)\lim\limits_{β\to0^+}\dfrac{β}{β^2+ω^2}=πδ(ω)
    F[u(t)]=πδ(ω)+1iω\mathcal{F}[u(t)]=\pi δ(ω)+\dfrac{1}{iω}

    (2) Fourier 积分表达式
    u(t)=F1[F(ω)]=12π+F(ω)eiωtdω=12π+[πδ(ω)+1iω]eiωtdω=12+δ(ω)eiωtdω+12π+1iωeiωtdω=12+1π0+sinωtωdω\begin{aligned} \displaystyle u(t) &=\mathcal{F}^{-1}[F(ω)] \\ &=\dfrac{1}{2\pi}\int_{-∞}^{+∞}F(ω)e^{iω t}\text{d}ω=\dfrac{1}{2\pi}\int_{-∞}^{+∞}[\pi δ(ω)+\dfrac{1}{iω}]e^{iω t}\text{d}ω \\ &=\dfrac{1}{2}\int_{-∞}^{+∞}δ(ω)e^{iω t}\text{d}ω+\dfrac{1}{2\pi}\int_{-∞}^{+∞}\dfrac{1}{iω}e^{iω t}\text{d}ω \\ &=\dfrac{1}{2}+\dfrac{1}{\pi}\int_{0}^{+∞}\dfrac{\sinω t}{ω}\text{d}ω \end{aligned}
    在上式中令 t=1,可得狄利克雷积分 0+sinttdt=π2\displaystyle\int_{0}^{+∞}\dfrac{\sin t}{t}\text{d}t=\dfrac{\pi}{2}

  4. 求余弦函数 f(t)=cosω0tf (t) = \cosω_0t 的Fourier 积分
    由欧拉公式 cosω0t=12(eiω0t+eiω0t)\cosω_0t=\frac{1}{2}(e^{iω_0t}+e^{-iω_0t})
    F[cosω0t]=+cosω0teiωtdt=0+12(eiω0t+eiω0t)eiωtdt=12[0+ei(ωω0)tdt+0+ei(ω+ω0)tdt]=π[δ(ωω0)+δ(ω+ω0)]\begin{aligned} \displaystyle \mathcal{F}[\cosω_0t] &=\int^{+∞}_{-∞}\cosω_0te^{-iω t}\text{d}t\\ &=\int^{+∞}_{0}\frac{1}{2}(e^{iω_0t}+e^{-iω_0t})e^{-iω t}\text{d}t \\ &=\frac{1}{2}[\int^{+∞}_{0}e^{-i(ω-ω_0)t}\text{d}t+\int^{+∞}_{0}e^{-i(ω+ω_0)t}\text{d}t] \\ &=\pi [δ(ω-ω_0)+δ(ω+ω_0)] \end{aligned}
    同理可证 F[sinω0t]=iπ[δ(ω+ω0)δ(ωω0)]\mathcal{F}[\sinω_0t]=i\pi [δ(ω+ω_0)-δ(ω-ω_0)]

Laplace 变换

Laplace 变换

  • Fourier 变换的局限性
    当函数满足Dirichlet条件,且在 (,+)(-∞,+∞) 上绝对可积时,则可以进行古典Fourier 变换。
    引入广义函数和广义Fourier 变换是扩大Fourier 变换使用范围的一种方法,却要求有一系列更深刻的数学理论支持。对于以指数级增长的函数,如 eat(a>0)e^{at} (a > 0) 等,广义Fourier 变换仍无能为力。
    如何对Fourier 变换进行改造?
    (1) 由于单位阶跃函数 u(t)0(t<0)u(t)\equiv 0(t<0),因此 f(t)u(t)f(t)u(t) 可使积分区间从 (,+)(−∞,+∞) 变成 [0,+)[0,+∞)
    (2) 另外,函数 eβt(β>0)e^{-βt} (β > 0) 具有衰减性质,对于许多非绝对可积的函数 f(t)f(t),总可选择适当大的 β,使 f(t)u(t)eβtf(t)u(t)e^{-βt} 满足绝对可积的条件。
    通过上述处理,就有希望使得函数 f(t)u(t)eβtf(t)u(t)e^{-βt} 满足Fourier 变换的条件,从而可以进行Fourier 变换。
    F[f(t)u(t)eβt]=+f(t)u(t)eβteiωtdt=0+f(t)e(β+iω)tdt\displaystyle \mathcal{F}[f(t)u(t)e^{-βt}] =\int^{+∞}_{-∞}f(t)u(t)e^{-βt}e^{-iω t}\text{d}t=\int^{+∞}_{0}f(t)e^{-(β+iω) t}\text{d}t
    s=β+iωs=β+iω 可得 F[f(t)u(t)eβt]=0+f(t)estdt\displaystyle\mathcal{F}[f(t)u(t)e^{-βt}]=\int^{+∞}_{0}f(t)e^{-s t}\text{d}t

    用幂级数推导出 “Laplace 变换”

  • Laplace变换

    Laplace变换:设函数f(t)f(t)t0t\geqslant 0时有定义,且积分0+f(t)estdt\displaystyle\int_{0}^{+∞}f(t)e^{-st}dt在复数 s 的某一个区域内收敛,则此积分所确定的函数

F(s)=0+f(t)estdt\displaystyle F(s)=\int^{+\infty}_{0}f(t)e^{-st}\text{d}t

称为函数f(t)f(t)的Laplace 变换,记为F(s)=L[f(t)]F(s)=\mathcal L[f(t)],函数 F(s)F(s) 也可称为 f(t)f(t)的象函数。f(t)=L1[F(s)]f(t)=\mathcal L^{-1}[F(s)]称为Laplace 逆变换。
在Laplace 变换中,只要求f(t)f(t)[0,+)[0,+∞) 内有定义即可。为了研究方便,以后总假定在(,0)(−∞,0) 内,f(t)0f(t)≡0

Laplace变换存在定理:设函数 f(t)f(t)满足
(1) 在t0t⩾0的任何有限区间分段连续;
(2) 当 t+t\to +∞时,f(t)f(t)的增长速度不超过某指数函数,即 M>0,C0\exists M>0,C⩾0,使得 f(t)MeCt(t0)|f(t)|⩽Me^{Ct}(t⩾0) 成立。
f(t)f(t)的Laplace 变换F(s)F(s)在半平面 Re (s)>C\text{Re }(s)>C上一定存在,且是解析的。

周期函数的Laplace变换:设 f(t)f(t)[0,+)[0, +\infty) 内以T 为周期的函数,且逐段光滑,则

L[f(t)]=11esT0Tf(t)estdt\displaystyle\mathcal L[f(t)]=\frac{1}{1-e^{-sT}}\int^{T}_{0}f(t)e^{-st}\text{d}t

Laplace变换的性质

  1. 线性性质:设F1(s)=L[f1(t)],F2(s)=L[f2(t)]F_1(s)=\mathcal L[f_1(t)],F_2(s)=\mathcal L[f_2(t)]
    L[αf1(t)+βf2(t)]=αF1(s)+βF2(s)\mathcal L[\alpha f_1(t)+\beta f_2(t)]=\alpha F_1(s)+\beta F_2(s)
    L1[αF1(s)+βF2(s)]=αf1(t)+βf2(t)\mathcal L^{-1}[\alpha F_1(s)+\beta F_2(s)]=\alpha f_1(t)+\beta f_2(t)

  2. 位移性质L[es0tf(t)]=F(ss0)\mathcal L [e^{s_0t}f(t)]=F(s-s_0)

  3. 微分性质:设F(s)=L[f(t)]F(s)=\mathcal L[f(t)]
    L[f(t)]=sF(s)f(0)\mathcal L[f'(t)]=sF(s)-f(0)
    L[f(n)(t)]=snF(s)k=1nsnkf(k1)(0)\displaystyle \mathcal L[f^{(n)}(t)]=s^nF(s)-\sum_{k=1}^{n} s^{n-k}f^{(k-1)}(0)
    F(s)=L[tf(t)]F'(s)=-\mathcal L[tf(t)]
    F(n)(s)=(1)nL[tnf(t)]F^{(n)}(s)=(-1)^n\mathcal L[t^nf(t)]

  4. 积分性质:设F(s)=L[f(t)]F(s)=\mathcal L[f(t)]
    L[0tf(t)dt]=1sF(s)\displaystyle\mathcal L[\int^t_0f(t)dt]=\frac 1sF(s)
    L[0tdt0tdt0tn timesf(t)dt]=1snF(s)\displaystyle\mathcal L[\underbrace{\int^t_0dt\int^t_0dt\cdots\int^t_0}_{\text{n times}}f(t)dt]=\frac{1}{s^n}F(s)
    L[f(t)t]=sF(s)ds\displaystyle\mathcal L[\frac{f(t)}{t}]=\int^{\infty}_sF(s)ds
    L[f(t)tn]=L[sdtsdtsn timesF(s)ds]\displaystyle\mathcal L[\frac{f(t)}{t^n}]= \mathcal L[\underbrace{\int^∞_sdt\int^∞_sdt\cdots\int^∞_s}_{\text{n times}}F(s)ds]

  5. 延迟性质if t>0,f(t)=0,then t0>0\text{if } t>0,f(t)=0, \text{then }\forall t_0>0
    L[f(tt0)]=est0F(s)\mathcal L[f(t-t_0)]=e^{-st_0}F(s)
    L1[est0F(s)]=f(tt0)u(tt0)\mathcal L^{-1}[e^{-st_0}F(s)]=f(t-t_0)u(t-t_0)

  6. 卷积定理[1:1]:设 F1(s)=L[f1(t)],F2(s)=L[f2(t)]F_1(s)=\mathcal{L}[f_1(t)],F_2(s)=\mathcal{L}[f_2(t)],则有
    L[f1f2]=F1(s)F2(s)L1[F1(s)F2(s)]=f1f2\mathcal L[f_1*f_2]=F_1(s)\cdot F_2(s) \\ \mathcal L^{-1}[F_1(s)\cdot F_2(s)]=f_1*f_2

Laplace 逆变换

  • 反演积分公式(inverse integral formula):由于 f(t)f(t) 的Laplace 变换 F(s)=F(β+iω)F(s)=F(β+iω)就是 f(t)u(t)eβtf(t)u(t)e^{-βt} 的Fourier 变换,即
    L[f(t)]=F[f(t)u(t)eβt]=+f(t)u(t)eβteiωtdt\displaystyle\mathcal L[f(t)]=\mathcal F[f(t)u(t)e^{-βt}]=\int_{−∞}^{+∞} f(t)u(t)e^{-βt}e^{-iωt}dt
    因此,在 f(t)(t>0)f(t)(t>0)的连续点处有
    f(t)u(t)eβt=12π+F(β+iω)eiωtdω\displaystyle f(t)u(t)e^{-βt}=\dfrac{1}{2\pi}\int_{-∞}^{+∞}F(β+iω)e^{iω t}\text{d}ω
    等式两边同乘 eβte^{βt},并令 s=β+iωs=β+iω 则有
    f(t)u(t)=12πiβiωβ+iωF(s)estds\displaystyle f(t)u(t)=\dfrac{1}{2\pi i}\int_{β-iω}^{β+iω}F(s)e^{st}\text{d}s
    因此

f(t)=12πiβiωβ+iωF(s)estds(t>0)\displaystyle f(t)=\dfrac{1}{2\pi i}\int_{β-iω}^{β+iω}F(s)e^{st}\text{d}s \quad(t>0)

  • 利用留数计算反演积分
    定理F(s)F(s) 在复平面内只有有限个孤立奇点 s1,s2,,sns_1,s_2,\cdots,s_n ,实数 β使这些奇点全在半平面 Re(s)<β\text{Re}(s)<β 内,且 limsF(s)=0\lim\limits_{s\to∞}F(s)=0 ,则有

f(t)=k=1nRes[F(s)est,sk](t>0)\displaystyle f(t)=\sum_{k=1}^n\text{Res}[F(s)e^{st},s_k]\quad(t>0)

Laplace 逆变换
证明:作半圆将所有奇点包围,设 C=CR+LC=C_R+L,由于 este^{st}在全平面解析,所以F(s)estF(s)e^{st}的奇点就是 F(s)F(s)的奇点,由留数定理可得
2πik=1nRes[F(s)est,sk]=CF(s)estds=βiRβ+iRF(s)estds+CRF(s)estds\displaystyle 2\pi i\sum_{k=1}^n\text{Res}[F(s)e^{st},s_k]=\oint_{C}F(s)e^{st}ds=\int_{β-iR}^{β+iR}F(s)e^{st}ds+\int_{C_R}F(s)e^{st}ds
由若尔当引理,当 t>0 时,有 limR+CRF(s)estds=0\displaystyle\lim\limits_{R\to+\infty}\int_{C_R}F(s)e^{st}ds=0
再根据反演积分公式可得定理公式。
实际中经常遇到有理函数类 F(s)=A(s)B(s)F(s)=\dfrac{A(s)}{B(s)},其中 A(s),B(s)A(s),B(s)是不可约的多项式,当分子A(s)A(s) 的次数小于分母B(s)B(s)的次数时,满足定理对 F(s)F(s) 的要求,可用留数计算Laplace 逆变换。

Laplace 变换的应用

常用函数的Laplace变换

  1. 求指数函数 f(t)=eat(a0)f(t) = e^{at} ( a⩾0)的Laplace 变换
    L[eat]=0+eatestdt=0+e(sa)tdt\displaystyle \mathcal L[e^{at}]=\int^{+\infty}_{0}e^{at}e^{-st}\text{d}t=\int^{+\infty}_{0}e^{-(s-a)t}\text{d}t
    Re s>a\text{Re }s>a 时,设 s=β+iωs=β+iω ,此时
    limt+e(sa)t=limt+e(βa)teiω=0(β>0)\lim\limits_{t\to+\infty}e^{-(s-a)t}=\lim\limits_{t\to+\infty}e^{-(β-a)t}e^{-iω}=0 (β>0)
    所以有 L[eat]=1sa(Re s>a)\displaystyle \mathcal L[e^{at}]=\frac{1}{s-a}\quad(\text{Re }s>a)

  2. 求函数 f(t)=1f(t) = 1 的Laplace 变换
    L[1]=0+estdt=1s(Re s>0)\displaystyle \mathcal L[1]=\int^{+\infty}_{0}e^{-st}\text{d}t=\frac{1}{s}\quad(\text{Re }s>0)

  3. 单位阶跃函数[2:2] u(t)={0t<01t>0u(t)=\begin{cases} 0 & t<0 \\ 1 &t>​0 \end{cases} 的Laplace 变换
    L[u(t)]=1s(Re s>0)\displaystyle \mathcal L[u(t)]=\frac{1}{s}\quad(\text{Re }s>0)

  4. 正弦函数 L[sinωt]=ωs2+ω2(Re s>0)\displaystyle \mathcal L[ \sinωt]=\frac{ω}{s^2+ω^2}\quad(\text{Re }s>0)
    余弦函数 L[cosωt]=ss2+ω2(Re s>0)\displaystyle \mathcal L[ \cosωt]=\frac{s}{s^2+ω^2}\quad(\text{Re }s>0)

  5. 幂函数 f(t)=tm(mZ+)f(t)=t^m(m\in\Z^+) 的Laplace 变换
    L[tm]=0+tmestdt=1s0+tmdest=1stmest0++ms0+tm1estdt=msL[tm1](Re s>0)\displaystyle\begin{aligned} \mathcal L[t^m] &=\int^{+\infty}_{0}t^me^{-st}\text{d}t=-\frac{1}{s}\int^{+\infty}_{0}t^m\text{d}e^{-st} \\ & =-\frac{1}{s}t^me^{-st}\Big|_{0}^{+\infty}+\frac{m}{s}\int^{+\infty}_{0}t^{m-1}e^{-st}\text{d}t \\ &=\frac{m}{s}\mathcal L[t^{m-1}]\quad(\text{Re }s>0) \end{aligned}
    又由 L[1]=1/s\displaystyle\mathcal L[1]=1/s,故递推可得
    L[tm]=m!sm+1(Re s>0)\displaystyle\mathcal L[t^m]=\frac{m!}{s^{m+1}}\quad(\text{Re }s>0)

  6. 求 δ 函数的Laplace 变换。
    狄利克雷函数 δτ(t)={1τ0t<τ0othersδ_τ(t)=\begin{cases} \frac{1}{τ} &0⩽ t<τ \\ 0 &\text{others} \end{cases} 的Laplace 变换为
    L[δτ(t)]=0τ1τestdt=1τs(1eτs)\displaystyle \mathcal L[δ_τ(t)]=\int^{τ}_{0}\frac{1}{τ}e^{-st}\text{d}t=\frac{1}{τs}(1-e^{-τs})
    L[δ(t)]=limτ0L[δτ(t)]=limτ01τs(1eτs)\displaystyle \mathcal L[δ(t)]=\lim\limits_{τ\to0}\mathcal L[δ_τ(t)]=\lim\limits_{τ\to0}\frac{1}{τs}(1-e^{-τs})
    用洛必达法则计算此极限 limτ01τs(1eτs)=limτ0seτss=1\displaystyle\lim\limits_{τ\to0}\frac{1}{τs}(1-e^{-τs})=\lim\limits_{τ\to0}\frac{se^{-τs}}{s}=1
    所以 L[δ(t)]=1\mathcal L[δ(t)]=1

微分方程的Laplace变换解法:主要借助于Laplace变换的微分性质
L[f(n)(t)]=snF(s)k=1nsnkf(k1)(0)\displaystyle \mathcal L[f^{(n)}(t)]=s^nF(s)-\sum_{k=1}^{n} s^{n-k}f^{(k-1)}(0)
(1) 将微分方程(组)化为象函数的代数方程(组);
(2) 求解代数方程得到象函数;
(3) 求Laplace 逆变换得到微分方程(组)的解。

  1. 求解微分方程 y+ω2y=0y''+ω^2y=0 满足初始条件 y(0)=0,y(0)=ωy(0)=0,y'(0)=ω
    (1) 令Y(s)=L[y(t)]Y(s)=\mathcal L[y(t)] ,对方程两边取Laplace 变换
    s2Y(s)sy(0)y(0)+ω2Y(s)=0s^2Y(s)-sy(0)-y'(0)+ω^2Y(s)=0,带入初始条件可得
    s2Y(s)ω+ω2Y(s)=0s^2Y(s)-ω+ω^2Y(s)=0
    (2) 求解此方程,得 Y(s)=ωs2+ω2Y(s)=\dfrac{ω}{s^2+ω^2}
    (3) 求Laplace 逆变换,得 y=L1[Y(s)]=sinωty=\mathcal L^{-1}[Y(s)]=\sin ωt

  2. 求解微分方程初值问题 {ax(t)+bx(t)=f(t),t>0x(0)=c\begin{cases} ax'(t)+bx(t)=f(t),&t>0 \\ x(0)=c \\ \end{cases}
    X(s)=L[x(t)],F(s)=L[f(t)]X(s)=\mathcal L[x(t)],F(s)=\mathcal L[f(t)] ,对方程两边取Laplace 变换,带入初始条件可得
    a(sX(s)c)+bX(s)=F(s)a(sX(s)-c)+bX(s)=F(s)
    解得 X(s)=F(s)+acas+b=c1s+b/a+1a1s+b/aF(s)X(s)=\cfrac{F(s)+ac}{as+b}=c\cfrac{1}{s+b/a}+\cfrac{1}{a}\cfrac{1}{s+b/a}F(s)
    由于 L1[1s+b/a]=ebat\mathcal L^{-1}[\cfrac{1}{s+b/a}]=e^{-\frac{b}{a}t},故上式Laplace 逆变换为
    x(t)=cebat+1a0tf(τ)eba(tτ)dτ\displaystyle x(t)=ce^{-\frac{b}{a}t}+\frac{1}{a}\int_{0}^{t}f(τ)e^{-\frac{b}{a}(t-τ)}\text{d}τ

  3. 求微分方程组:{x+y+z=1x+y+z=0y+4z=0\begin{cases} x'+y+z'=1\\ x+y'+z=0\\ y+4z'=0 \end{cases} 满足初始条件 x(0)=0,y(0)=0,z(0)=0x(0)=0,y(0)=0,z(0)=0
    L[x(t)]=X(s),L[y(t)]=Y(s),L[z(t)]=Z(s)\mathcal L[x(t)]=X(s),\mathcal L[y(t)]=Y(s),\mathcal L[z(t)]=Z(s)
    对方程组两边取Laplace 变换,并带入初始条件可得
    {sX(s)+Y(s)+sZ(s)=1sX(s)+sY(s)+Z(s)=0Y(s)+4sZ(s)=0\begin{cases} sX(s)+Y(s)+sZ(s)=\dfrac 1s\\ X(s)+sY(s)+Z(s)=0\\ Y(s)+4sZ(s)=0 \end{cases}
    解代数方程组得:
    {X(s)=4s214s2(s21)Y(s)=1s(s21)Z(s)=14s2(s21)\begin{cases} X(s)=\dfrac{4s^2-1}{4s^2(s^2-1)} \\ Y(s)=\dfrac {-1}{s(s^2-1)} \\ Z(s)=\dfrac {1}{4s^2(s^2-1)} \\ \end{cases}
    对每一像函数取Laplace 逆变换可得:
    {x(t)=L1[X(s)]=14L1[3s21+1s2]=14(3sinht+t)y(t)=L1[Y(s)]=L1[1sss21]=1coshtz(t)=L1[Z(s)]=14L1[1s211s2]=14(sinhtt)\begin{cases} x(t)=\mathcal L^{-1}[X(s)]=\dfrac 14\mathcal L^{-1}[\dfrac {3}{s^2-1}+\dfrac{1}{s^2}]=\dfrac 14(3\sinh t+t) \\ y(t)=\mathcal L^{-1}[Y(s)]=\mathcal L^{-1}[\dfrac 1s-\dfrac {s}{s^2-1}]=1-\cosh t \\ z(t)=\mathcal L^{-1}[Z(s)]=\dfrac 14\mathcal L^{-1}[\dfrac {1}{s^2-1}-\dfrac {1}{s^2}]=\dfrac 14(\sinh t-t) \end{cases}

  4. 求解积分方程:f(t)=at0tsin(xt)f(x)dt(a0)\displaystyle f(t)=at-\int_{0}^{t}\sin(x-t)f(x)dt\quad(a\neq0)
    原方程化为f(t)=at+f(t)sint\displaystyle f(t)=at+f(t)*\sin t
    F(s)=L[f(t)]F(s)=\mathcal L[f(t)] ,对方程两边取Laplace 变换
    F(s)=as2+1s2+1F(s)F(s)=\dfrac{a}{s^2}+\dfrac{1}{s^2+1}F(s)
    解得 F(s)=a(as2+as4)F(s)=a(\dfrac{a}{s^2}+\dfrac{a}{s^4})
    求Laplace 逆变换 f(t)=a(t+t36)f(t)=a(t+\dfrac{t^3}{6})

物理学问题

  1. 设质量为m 的物体静止在原点,在 t = 0 时受到 x 方向的冲击力 F0δ(t)F_0δ(t)的作用,求物体的运动方程。
    设物体的运动方程为 x=x(t)x = x(t) ,根据Newton 定律
    mx(t)=F0δ(t),x(0)=x(0)=0mx''(t)=F_0δ(t),x(0)=x'(0)=0
    X(s)=L[x(t)]X(s)=\mathcal L[x(t)] ,对方程两边取Laplace 变换,并带入初始条件得
    ms2X(s)=F0    X(s)=F0ms2ms^2X(s)=F_0\implies X(s)=\frac{F_0}{ms^2}
    求Laplace 逆变换即得物体的运动方程为:x(t)=F0mtx(t)=\frac{F_0}{m}t

  2. 质量为m的物体挂在弹簧系数为k 的弹簧一端(如图),作用在物体上的外力为 f(t)f(t)。若物体自静止平衡位置 x = 0 处开始运动,求该物体的运动规律 x(t)x(t)

    (1) 根据 Newton 定律及 Hooke 定律,物体的运动规律 x(t)x(t) 满足如下的微分方程:
    mx(t)+kx(t)=f(t);x(0)=x(0)mx''(t)+kx(t)=f(t);\quad x(0)=x'(0)
    (2) 令X(s)=L[x(t)],F(s)=L[f(t)]X(s)=\mathcal L[x(t)],F(s)=\mathcal L[f(t)] ,对方程两边取Laplace 变换,带入初始条件可得
    ms2X(s)+kX(s)=F(s)ms^2X(s)+kX(s)=F(s)
    ω02=k/mω_0^2=k/m,有 X(s)=1mω0ω0s2+ω02F(s)X(s)=\dfrac{1}{mω_0}\cdot\dfrac{ω_0}{s^2+ω_0^2}\cdot F(s)
    (3) 利用卷积定理,求Laplace 逆变换得:
    x(t)=L1[X(s)]=1mω0[sinω0tf(t)]x(t)=\mathcal L^{-1}[X(s)]=\dfrac{1}{mω_0}[\sinω_0t*f(t)]
    f(t)f(t)具体给出时,即可以求得运动规律 x(t)x(t)
    设物体在 t = 0时受到的外力为 f(t)=Aδ(t)f(t ) = Aδ(t)
    此时,物体的运动规律为:
    x(t)=1mω0[sinω0tf(t)]=Amω0sinω0tx(t)=\dfrac{1}{mω_0}[\sinω_0t*f(t)]=\dfrac{A}{mω_0}\sinω_0t

附录

积分变换表

f(t)f(t) Fourier Transform Laplace Transform
Conditions f(t)f(t)R\R上满足:
(1) 在任一有限区间上满足Dirichlet条件;
(2) 在无限区间 (,+)(-∞,+∞)上绝对可积 ,即 +f(t)dt\displaystyle\int_{-∞}^{+∞}\mid f(t)\mid \text{d}t 收敛
Dirichlet 条件:
(1)连续或只有有限个第一类间断点;
(2)只有有限个极值点
f(t)f(t)满足
(1) 在t0t⩾0的任何有限区间分段连续;
(2) 当 t+t\to +∞时,f(t)f(t)的增长速度不超过某指数函数,即
M>0,C0\exists M>0,C⩾0,使得 f(t)MeCt(t0)\mid f(t)\mid ⩽Me^{Ct}(t⩾0) 成立。
f(t)f(t)的Laplace 变换F(s)F(s)在半平面 Re (s)>C\text{Re }(s)>C上一定存在,且是解析的。
Kernel Function eiωte^{-\text{i}ωt} este^{-st}
Interval (,+)(-∞,+∞) (0,+)(0,+∞)
Symbols F(ω)=F[f(t)]F(ω)=\mathcal{F}[f(t)]
f(t)=F1[F(ω)]f(t)=\mathcal{F}^{-1}[F(ω)]
F(s)=L[f(t)]F(s)=\mathcal{L}[f(t)]
f(t)=L1[F(s)]f(t)=\mathcal{L}^{-1}[F(s)]
Transform
(image)
F(ω)=+f(τ)eiωtdt\displaystyle F(ω)=\int^{+∞}_{-∞}f(τ)e^{-\text{i}ωt}\text{d}t F(s)=0+f(t)estdt\displaystyle F(s)=\int^{+\infty}_{0}f(t)e^{-st}\text{d}t
Inverse Transform
(original image)
f(t)=12π+F(ω)eiωtdω\displaystyle f(t)=\dfrac{1}{2\pi}\int_{-∞}^{+∞}F(ω)e^{\text{i}ω t}\text{d}ω f(t)=12πiβiωβ+iωF(s)estds(t>0)\displaystyle f(t)=\dfrac{1}{2\pi i}\int_{β-iω}^{β+iω}F(s)e^{st}\text{d}s \quad(t>0)
f(t)=k=1nRes[F(s)est,sk](t>0)\displaystyle f(t)=\sum_{k=1}^n\text{Res}[F(s)e^{st},s_k]\quad(t>0)
Functions
(original image)
Fourier Transform
(image)
Laplace Transform
δ(t)δ(t) 1 1
δ(tt0)δ(t−t_0) eiωt0e^{-\text{i}ω t_0} est0(t0>0)e^{-st_0}\quad(t_0>0)
1 2πδ(ω)2\pi δ(ω) 1s(Re s>0)\dfrac{1}{s}\quad(\text{Re }s>0)
eiω0te^{-\text{i}ω_0 t} 2πδ(ωω0)2\pi δ(ω−ω_0)
tt 1s2(Re s>0)\dfrac{1}{s^2}\quad(\text{Re }s>0)
tm(mZ)t^m\quad(m\in\Z) m!sm+1(Re s>0)\dfrac{m!}{s^{m+1}}\quad(\text{Re }s>0)
ta(a>1)t^a\quad(a>-1) Γ(a+1)sa+1(Re s>0)\dfrac{\Gamma(a+1)}{s^{a+1}}\quad(\text{Re }s>0)
eat(a0)e^{-at}\quad(a⩾0) 1a+iω\dfrac{1}{a+\text{i}ω} 1s+a(Re s+a>0)\dfrac{1}{s+a}\quad(\text{Re }s+a>0)
teat(a0)te^{-at}\quad(a⩾0) 1(s+a)2(Re s+a>0)\dfrac{1}{(s+a)^2}\quad(\text{Re }s+a>0)
u(t)={0t<01t>0u(t)=\begin{cases} 0 & t<0 \\ 1 &t>​0 \end{cases} πδ(ω)+1iω\pi δ(ω)+\dfrac{1}{\text{i}ω} 1s(Re s>0)\dfrac{1}{s}\quad(\text{Re }s>0)
sgn(t)={1t<01t>0\text{sgn}(t)=\begin{cases}-1&t<0 \\ 1 &t >0 \end{cases} 2iω\dfrac{2}{\text{i}ω}
rect(t)={1t<a0t>a\text{rect}(t)=\begin{cases}1&\mid t\mid <a \\ 0 &\mid t\mid >a \end{cases} 2sin(aω)ω\dfrac{2\sin(aω)}{ω}
cosω0t\cosω_0t π[δ(ωω0)+δ(ω+ω0)]\pi [δ(ω-ω_0)+δ(ω+ω_0)] ss2+ω02(Re s>0)\dfrac{s}{s^2+ω_0^2}\quad(\text{Re }s>0)
sinω0t\sinω_0t iπ[δ(ω+ω0)δ(ωω0)]\text{i}\pi [δ(ω+ω_0)-δ(ω-ω_0)] ω0s2+ω02(Re s>0)\dfrac{ω_0}{s^2+ω_0^2}\quad(\text{Re }s>0)
ea2t2e^{-a^2t^2} πaexp(ω24a2)\cfrac{\sqrt{\pi}}{a}\exp(-\cfrac{ω^2}{4a^2})
sinω0tt\cfrac{\sinω_0t}{t} {πω<ω00ω>ω0\begin{cases} \pi & \vert ω \vert<ω_0 \\ 0 & \vert ω \vert>ω_0 \end{cases}

非齐次项为 δ 函数的常微分方程

在传统意义下,非齐次项为 δδ 函数的常微分方程没有意义。

  • 正当 δδ 函数应当理解为连续函数序列 {δn(x)}\{δ_n(x)\} 的极限一样,这类常微分方程也应当理解为非齐次项为 δn(x)δ_n(x) 的常微分方程的极限。
  • 这类常微分方程的解也应当理解为非齐次项为 δn(x)δ_n(x) 的常微分方程的解的极限(先解微分方程再取极限)。
  • 引进 δδ 函数的好处就在于可以直接处理这类极限情形的微分方程求解问题,而不必考虑具体的函数序列以及它的极限过程。
  • 正因为 δ\delta 函数不是传统意义下的函数,使得这类常微分方程的解具有独特的连续性质。就二阶常微分方程而言,我们将要看到,它的解是连续的,但是解的一阶导数不连续。正是由于一阶导数的不连续,才使得它正好是非齐次项为 δδ 函数的常微分方程。

非齐次项为 δδ 函数的常微分方程,这是一种特殊的非齐次方程,除了使用 δ\delta 函数的个别点外,方程是齐次的,使得这种非齐次常微分方程又很容易求解,特殊情形下甚至可以直接积分求解。

示例 1:求解初值问题(初位移和初速度为 0 的物体,在 t0t_0 时刻受到瞬时冲量)

{d2sdt2=δ(tt0)t>0,t0>0st=0=0,dsdtt=0=0\begin{cases} \cfrac{d^2s}{dt^2}=\delta(t-t_0) & t>0,t_0>0 \\ s|_{t=0}=0,\quad \cfrac{ds}{dt}|_{t=0}=0 \end{cases}

解:直接积分

dsdt=u(tt0)+c1\cfrac{ds}{dt}=u(t-t_0)+c_1

其中函数 u(t)u(t) 为单位阶跃函数[2:3],再次积分

s=(tt0)u(tt0)+c1t+c2s=(t-t_0)u(t-t_0)+c_1t+c_2

带入初始条件可得

c1=c2=0c_1=c_2=0

于是

s=(tt0)u(tt0)s=(t-t_0)u(t-t_0)

示例 2:求解边值问题(物体在 t=a,bt=a,b 时刻的位移为 0,在 t0t_0 时刻受到瞬时冲量)

{d2sdt2=δ(tt0)0<a<t0<bst=a=0,st=b=0\begin{cases} \cfrac{d^2s}{dt^2}=\delta(t-t_0) & 0<a<t_0<b \\ s|_{t=a}=0,\quad s|_{t=b}=0 \end{cases}

解:直接积分可求得

s=(tt0)u(tt0)+v1t+v2s=(t-t_0)u(t-t_0)+v_1t+v_2

带入初始条件可解得

{v1=bt0bav2=v1a\begin{cases} v_1=-\cfrac{b-t_0}{b-a} \\ v_2=-v_1a \end{cases}

于是

s=(tt0)u(tt0)bt0ba(ta)s=(t-t_0)u(t-t_0)-\frac{b-t_0}{b-a}(t-a)


参考文献:
《复变函数》.国防科技大学(mooc)
王忠仁 张静.《工程数学:复变函数和积分变换》
焦红伟 尹景本.《复变函数与积分变换》
梁昆淼.《数学物理方法》


  1. 卷积(Convolution):设函数f1(t),f2(t)f_1(t),f_2(t)(,)(-\infty,\infty)上绝对可积,则积分+f1(τ)f2(tτ)dτ\displaystyle\int^{+\infty}_{-\infty}f_1(τ)f_2(t-τ)dτ 称为f1(t),f2(t)f_1(t),f_2(t)的卷积。记为

    f1(t)f2(t)=+f1(τ)f2(tτ)dτ\displaystyle f_1(t)*f_2(t)=\int^{+\infty}_{-\infty}f_1(τ)f_2(t-τ)dτ

    如何通俗易懂地解释卷积?——知乎
    根据定义,卷积满足如下性质:
    (1) 交换律:f1(t)f2(t)=f2(t)f1(t)f_1(t)*f_2(t)=f_2(t)*f_1(t)
    (2) 结合律:f1[f2f3]=[f1f2]f3f_1*[f_2*f_3]=[f_1*f_2]*f_3
    (3) 分配律:f1[f2+f3]=f1f2+f1f3f_1*[f_2+f_3]=f_1*f_2+f_1*f_3 ↩︎ ↩︎

  2. 单位阶跃函数(unit step function),也称Heaviside单位函数

    u(t)={0t<01t>0u(t)=\begin{cases} 0 & t<0 \\ 1 &t>​0 \end{cases}

    单位阶跃函数
    按广义函数理论,定义为

    +u(t)f(t)dt=0+f(t)dt\displaystyle\int_{-∞}^{+∞}u(t)f(t)dt=\int_{0}^{+∞}f(t)dt

    单位阶跃函数的积分为:

    tu(τ)dτ=tu(t)\int_{-\infty}^{t}u(\tau)\mathrm d\tau=tu(t)

    ↩︎ ↩︎ ↩︎ ↩︎
  3. 在δ函数的Fourier变换中,其广义积分是根据δ函数的性质直接给出的,而不是按通常的积分方式得到的,称这种方式的Fourier 变换为广义Fourier 变换↩︎