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)=e−iω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∞(ancos⁡nω0t+bnsin⁡nω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=2T∫−T/2T/2fT(t)cos⁡nω0tdt(n=0,1,2,⋯ )bn=2T∫−T/2T/2fT(t)sin⁡nω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_0 及 ana_n 均为零,展开式称为

    fT(t)=∑n=1∞bnsin⁡nω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=1∞ancos⁡nω0t\displaystyle f_T(t)=\dfrac{a_0}{2}+\sum_{n=1}^{∞}a_n\cos nω_0 t

    称为傅里叶余弦级数。

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

    fT(t)=c0+∑n=1∞(cneinω0t+c−ne−inω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=1T∫−T/2T/2fT(t)e−inω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_n与an,bna_n,b_n的关系可知
    {cn=c−n=12an2+bn2=12Anarg⁡cn=−arg⁡c−n=θn∣c0∣=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=1∞An(cos⁡θncos⁡nω0t+sin⁡θnsin⁡nω0t)=A0+∑n=1∞Ancos⁡(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_n为 fT(t)f_T(t)的离散频谱(spectrum),∣cn∣|c_n|为离散振幅谱(amplitude spectrum),arg⁡cn\arg c_n为离散相位谱(phase spectrum)。

  • 非周期函数的Fourier 变换
    上面研究的是周期函数,事实上对于一个非周期函数f(t)f(t) 可以看成是一个周期为 T的函数fT(t)f_T(t) 当T→+∞T\to +∞时转化而来。
    由Fourier 级数式(F1)和式(F2)有 f(t)=lim⁡T→+∞∑n=−∞∞[1T∫−T/2T/2fT(τ)e−inω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⁡Δω→0∑n=−∞∞[∫−π/Δωπ/ΔωfT(τ)e−iω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(τ)e−iωτ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(τ)e−iωτ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)=F−1[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(ω)∣eiarg⁡F(ω)F(ω)=|F(ω)|e^{i\arg F(ω)}
    称 F(ω)F(ω)为 f(t)f(t)的频谱(spectrum),∣F(ω)∣|F(ω)|为振幅谱(amplitude spectrum),arg⁡F(ω)\arg F(ω)为相位谱(phase spectrum)。
    不难证明当f(t)f(t)为实函数时,∣F(ω)∣|F(ω)|为偶函数,arg⁡F(ω)\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(t−t0)]=e−iωt0F(ω)\mathcal{F}[f(t-t_0)]=e^{-iω t_0}F(ω)

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

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

  5. 微分性质:若 lim⁡∣t∣→+∞f(k)(t)=0(k=0,1,2,⋯ ,n−1)\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,若 lim⁡t→+∞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[f1∗f2]=F1(ω)⋅F2(ω)\mathcal F[f_1*f_2]=F_1(ω)\cdot F_2(ω)
    F−1[F1(ω)⋅F2(ω)]=f1∗f2\mathcal F^{-1}[F_1(ω)\cdot F_2(ω)]=f_1*f_2
    F[f1⋅f2]=12π[F1(ω)∗F2(ω)]\mathcal F[f_1\cdot f_2]=\frac{1}{2\pi}[F_1(ω)*F_2(ω)]
    F−1[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)e−i(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)e−ik⋅xdxF(\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)eik⋅xdkf(\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)=F−1[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(t≠0)∞(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) 当 t≠0t\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/ε(0⩽t⩽ε)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⁡ε→0∫0ε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) ,或是具有

lim⁡n→∞∫−∞+∞δ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) 平移变换, t→t−t0t\to t-t_0

    ∫−∞+∞δ(t−t0)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) 放大(或缩小)变换, t→at(a≠0)t\to at \quad(a\neq 0)

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

    由此可以得到

    δ(at)=1∣a∣δ(t)(a≠0)δ(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)∗δ(t−t0)=f(t−t0)f(t)*δ(t-t_0)=f(t-t_0)

  • δ函数的Fourier 变换:
    (1) 根据 δδ 函数筛选性质可得
    F(ω)=F[δ(t)]=∫−∞+∞δ(t)e−iωtdt=e−iωt∣t=0=1\displaystyle F(ω)=\mathcal{F}[δ(t)]=\int^{+∞}_{-∞}δ(t)e^{-iω t}\text{d}t=e^{-iω t}|_{t=0}=1
    δ(t)=F−1[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δ(t−t0)↔e−iωt01↔2πδ(ω)e−iω0t↔2πδ(ω−ω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(r≠0)∞(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) 处密度分布函数就是

    δ(r−r0)=δ(x−x0)δ(y−y0)δ(z−z0)δ(\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)

    δ(r−r0)=1r0δ(r−r0)δ(θ−θ0)δ(z−z0)δ(\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)

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

    多维 δδ 函数主要性质:

    ∭−∞+∞f(r)δ(r−r0)dr=f(r0)∭−∞+∞f(r)[∇δ(r−r0)]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)={1∣t∣<a0∣t∣>af(t)=\begin{cases}1&|t|<a \\ 0 &|t|>a \end{cases} 的Fourier 变换及其Fourier 积分表达式。
    矩形脉冲
    (1) Fourier 变换为
    F(ω)=∫−∞+∞f(t)e−iωtdt=∫−aae−iωtdt=∫−aacos⁡(ωt)dt−i∫−aasin⁡(ωt)dt=2∫0acos⁡(ω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(ω)∣=2a∣sin⁡(aω)aω∣\displaystyle |F(ω)| =2a\left|\frac{\sin(aω)}{aω}\right|
    相位谱 arg⁡F(ω)={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)=F−1[F(ω)]=12π∫−∞+∞F(ω)eiωtdω=12π∫−∞+∞2sin⁡(aω)ωeiωtdω=1π∫−∞+∞sin⁡(aω)ωcos⁡ωtdω={1∣t∣<a12∣t∣=a0∣t∣>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+∞sin⁡xxdx=π2\displaystyle\int_{0}^{+∞}\frac{\sin x}{x}\text{d}x=\frac{\pi}{2}

  2. 求指数衰减函数(exponential decay function) f(t)={0t<0e−att⩾0(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)e−iωtdt=∫0+∞e−ate−iωtdt=1−(a+iω)e−(a+iω)t∣t=0t→+∞=1a+iω=a−iω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}}
    相位谱 arg⁡F(ω)=−arctan⁡ωa\arg F(ω)=-\arctan\dfrac{ω}{a}
    频谱图
    (3) Fourier 积分表达式为
    f(t)=F−1[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+ω2−iωβ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)=F−1[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+∞sin⁡ttdt=π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+e−iω0t)\cosω_0t=\frac{1}{2}(e^{iω_0t}+e^{-iω_0t}) 有
    F[cos⁡ω0t]=∫−∞+∞cos⁡ω0te−iωtdt=∫0+∞12(eiω0t+e−iω0t)e−iωtdt=12[∫0+∞e−i(ω−ω0)tdt+∫0+∞e−i(ω+ω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−βte−iω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)e−stdt\displaystyle\mathcal{F}[f(t)u(t)e^{-βt}]=\int^{+∞}_{0}f(t)e^{-s t}\text{d}t

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

  • Laplace变换

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

    F(s)=∫0+∞f(t)e−stdt\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)=L−1[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) 在t⩾0t⩾0的任何有限区间分段连续;
    (2) 当 t→+∞t\to +∞时,f(t)f(t)的增长速度不超过某指数函数,即 ∃M>0,C⩾0\exists M>0,C⩾0,使得 ∣f(t)∣⩽MeCt(t⩾0)|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)]=11−e−sT∫0Tf(t)e−stdt\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)
    L−1[α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(s−s0)\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=1nsn−kf(k−1)(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[∫0tdt∫0tdt⋯∫0t⏟n 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]=∫s∞F(s)ds\displaystyle\mathcal L[\frac{f(t)}{t}]=\int^{\infty}_sF(s)ds
    L[f(t)tn]=L[∫s∞dt∫s∞dt⋯∫s∞⏟n 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(t−t0)]=e−st0F(s)\mathcal L[f(t-t_0)]=e^{-st_0}F(s)
    L−1[e−st0F(s)]=f(t−t0)u(t−t0)\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[f1∗f2]=F1(s)⋅F2(s)L−1[F1(s)⋅F2(s)]=f1∗f2\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−βte−iω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)<β 内,且 lim⁡s→∞F(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πi∑k=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 时,有 lim⁡R→+∞∫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(a⩾0)f(t) = e^{at} ( a⩾0)的Laplace 变换
    L[eat]=∫0+∞eate−stdt=∫0+∞e−(s−a)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ω ,此时
    lim⁡t→+∞e−(s−a)t=lim⁡t→+∞e−(β−a)te−iω=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]=1s−a(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+∞e−stdt=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(m∈Z+)f(t)=t^m(m\in\Z^+) 的Laplace 变换
    L[tm]=∫0+∞tme−stdt=−1s∫0+∞tmde−st=−1stme−st∣0+∞+ms∫0+∞tm−1e−stdt=msL[tm−1](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τ0⩽t<τ0othersδ_τ(t)=\begin{cases} \frac{1}{τ} &0⩽ t<τ \\ 0 &\text{others} \end{cases} 的Laplace 变换为
    L[δτ(t)]=∫0τ1τe−stdt=1τs(1−e−τ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(1−e−τs)\displaystyle \mathcal L[δ(t)]=\lim\limits_{τ\to0}\mathcal L[δ_τ(t)]=\lim\limits_{τ\to0}\frac{1}{τs}(1-e^{-τs})
    用洛必达法则计算此极限 lim⁡τ→01τs(1−e−τ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=1nsn−kf(k−1)(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=L−1[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)
    由于 L−1[1s+b/a]=e−bat\mathcal L^{-1}[\cfrac{1}{s+b/a}]=e^{-\frac{b}{a}t},故上式Laplace 逆变换为
    x(t)=ce−bat+1a∫0tf(τ)e−ba(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)=4s2−14s2(s2−1)Y(s)=−1s(s2−1)Z(s)=14s2(s2−1)\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)=L−1[X(s)]=14L−1[3s2−1+1s2]=14(3sinh⁡t+t)y(t)=L−1[Y(s)]=L−1[1s−ss2−1]=1−cosh⁡tz(t)=L−1[Z(s)]=14L−1[1s2−1−1s2]=14(sinh⁡t−t)\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)=at−∫0tsin⁡(x−t)f(x)dt(a≠0)\displaystyle f(t)=at-\int_{0}^{t}\sin(x-t)f(x)dt\quad(a\neq0)
    原方程化为f(t)=at+f(t)∗sin⁡t\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+ω02⋅F(s)X(s)=\dfrac{1}{mω_0}\cdot\dfrac{ω_0}{s^2+ω_0^2}\cdot F(s)
    (3) 利用卷积定理,求Laplace 逆变换得:
    x(t)=L−1[X(s)]=1mω0[sin⁡ω0t∗f(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⁡ω0t∗f(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) 在t⩾0t⩾0的任何有限区间分段连续;
(2) 当 t→+∞t\to +∞时,f(t)f(t)的增长速度不超过某指数函数,即
∃M>0,C⩾0\exists M>0,C⩾0,使得 ∣f(t)∣⩽MeCt(t⩾0)\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 e−iωte^{-\text{i}ωt} e−ste^{-st}
Interval (−∞,+∞)(-∞,+∞) (0,+∞)(0,+∞)
Symbols F(ω)=F[f(t)]F(ω)=\mathcal{F}[f(t)]
f(t)=F−1[F(ω)]f(t)=\mathcal{F}^{-1}[F(ω)]
F(s)=L[f(t)]F(s)=\mathcal{L}[f(t)]
f(t)=L−1[F(s)]f(t)=\mathcal{L}^{-1}[F(s)]
Transform
(image)
F(ω)=∫−∞+∞f(τ)e−iωtdt\displaystyle F(ω)=\int^{+∞}_{-∞}f(τ)e^{-\text{i}ωt}\text{d}t F(s)=∫0+∞f(t)e−stdt\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
δ(t−t0)δ(t−t_0) e−iωt0e^{-\text{i}ω t_0} e−st0(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)
e−iω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(m∈Z)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)
e−at(a⩾0)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)
te−at(a⩾0)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)={1∣t∣<a0∣t∣>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)
e−a2t2e^{-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=δ(t−t0)t>0,t0>0s∣t=0=0,dsdt∣t=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(t−t0)+c1\cfrac{ds}{dt}=u(t-t_0)+c_1

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

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

带入初始条件可得

c1=c2=0c_1=c_2=0

于是

s=(t−t0)u(t−t0)s=(t-t_0)u(t-t_0)

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

{d2sdt2=δ(t−t0)0<a<t0<bs∣t=a=0,s∣t=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=(t−t0)u(t−t0)+v1t+v2s=(t-t_0)u(t-t_0)+v_1t+v_2

带入初始条件可解得

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

于是

s=(t−t0)u(t−t0)−b−t0b−a(t−a)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∗[f2∗f3]=[f1∗f2]∗f3f_1*[f_2*f_3]=[f_1*f_2]*f_3
    (3) 分配律:f1∗[f2+f3]=f1∗f2+f1∗f3f_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 变换。 ↩︎