复变函数和积分变换(Complex Function & Integral Transform III)


复变函数和积分变换(Complex Function & Integral Transform I)
复变函数和积分变换(Complex Function & Integral Transform II)
复变函数和积分变换(Complex Function & Integral Transform III)


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

Fourier 变换

所谓积分变换,就是把某函数类 A 中的函数 f ( t ) f(t) 乘上一个确定的二元函数 k ( t , p ) k(t, p) ,然后计算积分 F ( p ) = k ( t , p ) f ( t ) d t \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 ω t k(ω,t)=e^{-iωt} ,就是著名的Fourier 变换。

Fourier 变换(Fourier Transform)

  • 周期函数的Fourier 级数:设 f T ( t ) f_T(t) 是以T为周期的实值函数,在区间 [ T 2 , T 2 ] [-\frac{T}{2},\frac{T}{2}] 上满足狄利克雷(Dirichlet)条件:
    (1)连续或只有有限个第一类间断点;
    (2)只有有限个极值点
    f T ( t ) f_T(t) 在连续点处可以展开成Fourier 级数: f T ( t ) = a 0 2 + n = 1 ( a n cos n ω 0 t + b n sin n ω 0 t ) (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} 在间断点处,上式左端为 1 2 [ f T ( t ) + f T ( t + ) ] \frac{1}{2}[f_T(t^-)+f_T(t^+)]
    其中 ω 0 = 2 π / T a n = 2 T T / 2 T / 2 f T ( t ) cos n ω 0 t d t ( n = 0 , 1 , 2 , ) b n = 2 T T / 2 T / 2 f T ( t ) sin n ω 0 t d t ( 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 级数的三角形式。

  • Fourier 级数的指数形式:利用欧拉公式 cos θ = e i θ + e i θ 2 , sin θ = e i θ e i θ 2 i \cosθ=\dfrac{e^{iθ}+e^{-iθ}}{2},\sinθ=\dfrac{e^{iθ}-e^{-iθ}}{2i} 将Fourier 级数转化为复指数形式, f T ( t ) = c 0 + n = 1 ( c n e i n ω 0 t + c n e i n ω 0 t ) = n = c n e i n ω 0 t (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} 其中 c n = 1 T T / 2 T / 2 f T ( t ) e i n ω 0 t d t ( 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} c n c_n a n , b n a_n,b_n 的关系可知
    { c n = c n = 1 2 a n 2 + b n 2 = 1 2 A n arg c n = arg c n = θ n c 0 = A 0 \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) ,取 A 0 = a 0 / 2 A_0=a_0/2 ,令 A n = a n 2 + b n 2 , cos θ n = a n / A n , sin θ n = b n / A n A_n=\sqrt{a_n^2+b_n^2},\cosθ_n=a_n/A_n,\sinθ_n=-b_n/A_n ,则(F0)化为
    f T ( t ) = A 0 + n = 1 A n ( cos θ n cos n ω 0 t + sin θ n sin n ω 0 t ) = A 0 + n = 1 A n cos ( n ω 0 t + θ 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) A n A_n 反映了在信号 f T ( t ) f_T(t) 中频率为 n ω 0 nω_0 的简谐波所占有的份额;
    相位(phase) n ω 0 t + θ n nω_0 t+θ_n 反映了在信号 f T ( t ) f_T(t) 中频率为 n ω 0 nω_0 的简谐波沿时间轴移动的大小,初相位(Initial Phase) θ n θ_n
    A 0 A_0 表示周期信号在一个周期内的平均值,也叫 直流分量(DC component) A 0 |A_0| 称为直流分量的振幅。
    (2) 对于Fourier 级数的复指数形式,我们不难看出 c n c_n 作为复数,其模和辐角恰好反应了第 n次谐波的振幅和初相位, c n c_n 是离散频率 n ω 0 nω_0 的函数,描述了各次谐波的振幅和初相位随离散频率变化的分布情况。称 c n c_n f T ( t ) f_T(t) 的离散频谱(spectrum) c n |c_n| 为离散振幅谱(amplitude spectrum) arg c n \arg c_n 为离散相位谱(phase spectrum)

  • 非周期函数的Fourier 变换
    上面研究的是周期函数,事实上对于一个非周期函数 f ( t ) f(t) 可以看成是一个周期为 T的函数 f T ( t ) f_T(t) T + T\to +∞ 时转化而来。
    由Fourier 级数式(F1)和式(F2)有 f ( t ) = lim T + n = [ 1 T T / 2 T / 2 f T ( τ ) e i n ω 0 τ d τ ] e i n ω 0 t \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 ) = 1 2 π lim Δ ω 0 n = [ π / Δ ω π / Δ ω f T ( τ ) e i ω n τ d τ ] e i ω n t Δ ω \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 ) = 1 2 π + [ + f ( τ ) e i ω τ d τ ] e i ω t d ω (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 ) d t \int_{-∞}^{+∞}|f (t)| dt 收敛)
    则有(F3)式成立
    在间断点处,(F3)式左端为 1 2 [ 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 ) = 1 2 π + F ( ω ) e i ω t d ω (F5) \displaystyle f(t)=\dfrac{1}{2\pi}\int_{-∞}^{+∞}F(ω)e^{iω t}\text{d}ω \tag{F5} 从上面两式可以看出, f ( t ) f(t) F ( ω ) F(ω) 通过确定的积分运算可以互相转换。
    (1) (F4)式称为 f ( t ) f(t) Fourier 变换(Fourier transform),记为 F ( ω ) = F [ f ( t ) ] F(ω)=\mathcal{F}[f(t)]
    (2) (F5)式称为 F ( ω ) F(ω) Fourier 逆变换(inverse Fourier transform),记为 f ( t ) = F 1 [ F ( ω ) ] f(t)=\mathcal{F}^{-1}[F(ω)]
    (3) F ( ω ) F(ω) 称为 f ( t ) f(t) 象函数(image function) f ( t ) f(t) 称为 F ( ω ) F(ω) 象原函数(original image function)。通常称 f ( t ) f(t) F ( ω ) F(ω) 构成一个Fourier 变换对(transform pair),记作 f ( t ) F ( ω ) f(t)\lrarr F(ω)

  • Fourier 变换的物理意义
    Fourier 积分公式表明非周期函数的频谱是连续取值的。
    像函数 F ( ω ) F(ω) 反映的是函数 f ( t ) f(t) 中各频率分量的分布密度,它为复值函数,故可表示为 F ( ω ) = F ( ω ) e i arg 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 [ α f 1 ( t ) + β f 2 ( t ) ] = α F [ f 1 ( t ) ] + β F [ f 2 ( 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 t 0 ) ] = e i ω t 0 F ( ω ) \mathcal{F}[f(t-t_0)]=e^{-iω t_0}F(ω)
    F 1 [ F ( ω ω 0 ) ] = e i ω 0 t f ( t ) \mathcal{F}^{-1}[F(ω-ω_0)]=e^{iω_0 t}f(t)

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

  4. 微分性质:若 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 ω ) n F [ f ( t ) ] \mathcal{F}[f^{(n)}(t)]=(iω)^n\mathcal{F}[f(t)]

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

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

  7. 卷积定理1:设 F 1 ( ω ) = F [ f 1 ( t ) ] , F 2 ( ω ) = F [ f 2 ( t ) ] F_1(ω)=\mathcal{F}[f_1(t)],F_2(ω)=\mathcal{F}[f_2(t)] ,则有
    F [ f 1 f 2 ] = F 1 ( ω ) F 2 ( ω ) F 1 [ F 1 ( ω ) F 2 ( ω ) ] = f 1 f 2 \mathcal F[f_1*f_2]=F_1(ω)\cdot F_2(ω) \\ \mathcal F^{-1}[F_1(ω)\cdot F_2(ω)]=f_1*f_2
    我们还可以得到 F [ f 1 f 2 ] = F 1 ( ω ) F 2 ( ω ) \mathcal F[f_1\cdot f_2]=F_1(ω)*F_2(ω)

δ 函数(δ Function)

在数学、物理学以及实际工程技术中,一些常用的函数,如常数函数、线性函数、符号函数以及单位阶跃函数等等,都不能进行Fourier 变换。
在物理学中,常有集中于一点或一瞬时的量,如脉冲力、脉冲电压、点电荷、质点的质量。
只有引入一个特殊函数来表示它们的分布密度,才有可能把这种集中的量与连续分布的量来统一处理。

  • 单位脉冲函数(Unit Impulse Function)
    <引例>:假设在原来电流为零的电路中,在 t=0 时瞬时进入一电量为 q 0 q_0 的脉冲。现在确定电流强度分布 i ( t ) i(t) ,分析可知 i ( t ) = { 0 ( t 0 ) ( t = 0 ) i(t)=\begin{cases} 0&(t\neq 0) \\ ∞​&(t=0) \end{cases}
    同时需要引入积分值表示电量大小 + i ( t ) d t = q 0 \displaystyle\int_{-∞}^{+∞}i(t)dt=q_0
    为此我们引入单位脉冲函数,又称为Dirac函数或者δ函数
    定义:单位脉冲函数 δ ( t ) δ(t) 满足
    (1) 当 t 0 t\neq 0 时, δ ( t ) = 0 δ(t)=0
    (2) + δ ( t ) d t = 1 \displaystyle\int_{-∞}^{+∞}δ(t)dt=1
    由此,引例可表示为 i ( t ) = q 0 δ ( 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}
    对于任何一个在 R = ( , + ) \R=(-∞,+∞) 上无穷次可微的函数 f ( t ) f(t) 如果满足 lim ε 0 + δ ε ( t ) f ( t ) d t = + δ ( t ) f ( t ) d t \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 = 0 t = 0 处连续,则有
    + δ ( t ) f ( t ) d t = lim ε 0 f ( θ ε ) = f ( 0 ) \displaystyle\int_{-∞}^{+∞}δ(t)f(t)dt=\lim\limits_{ε\to 0}f(θε)=f(0)
    更一般的 + δ ( t t 0 ) f ( t ) d t = f ( t 0 ) \displaystyle\int_{-∞}^{+∞}δ(t-t_0)f(t)dt=f(t_0)
    证明:取 f ( t ) 1 f(t)\equiv1 ,则有 + δ ( t ) d t = lim ε 0 0 ε 1 ε d t = 1 \displaystyle\int_{-∞}^{+∞}δ(t)dt=\lim\limits_{ε\to 0}\int_{0}^{ε}\frac{1}{ε}dt=1
    事实上 + δ ( t ) f ( t ) d t = lim ε 0 + δ ε ( t ) f ( t ) d t = lim ε 0 1 ε 0 ε f ( t ) d t \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 ) d t = f ( θ ε ) ( 0 < θ < 1 ) \displaystyle\frac{1}{ε}\int_{0}^{ε}f(t)dt=f(θε)\quad(0<θ<1)
    从而 + δ ( t ) f ( t ) d t = lim ε 0 f ( θ ε ) = f ( 0 ) \displaystyle\int_{-∞}^{+∞}δ(t)f(t)dt=\lim\limits_{ε\to 0}f(θε)=f(0)

  • δ函数的另外几条基本性质:(这些性质的严格证明可参阅广义函数)
    (1) δ ( t ) = δ ( t ) δ(t)=δ(-t)
    (2) t δ ( t ) 0 tδ(t)\equiv 0
    (3) f ( t ) δ ( t t 0 ) = f ( t 0 ) δ ( t t 0 ) , f ( t ) f(t)δ(t-t_0)=f(t_0)δ(t-t_0),f(t) 为任意无穷可微函数
    (4) δ ( a t ) = 1 a δ ( t ) ( a 0 ) δ(at)=\frac{1}{|a|}δ(t)\quad(a\neq 0)
    (5) 设 u ( t ) u(t) 为单位阶跃函数(unit step function),即
    u ( t ) = t δ ( ξ ) d ξ = { 1 , t > 0 0 , t < 0 \displaystyle u(t)=\int_{-∞}^{t}δ(ξ)dξ= \begin{cases} 1,&t> 0 \\ 0,&t<0 \end{cases} d u ( t ) d t = δ ( t ) \dfrac{du(t)}{dt}=δ(t)
    (6) f ( t ) δ ( t ) = f ( t ) f(t)*δ(t)=f(t)
    一般的 f ( t ) δ ( t t 0 ) = f ( t t 0 ) f(t)*δ(t-t_0)=f(t-t_0)

  • δ函数的Fourier 变换
    (1) 根据δ函数筛选性质可得
    F ( ω ) = F [ δ ( t ) ] = + δ ( t ) e i ω t d t = 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 ] = 1 2 π + e i ω t d ω \displaystyleδ(t)=\mathcal{F}^{-1}[1]=\dfrac{1}{2\pi}\int_{-∞}^{+∞}e^{iω t}\text{d}ω
    由此可见,单位冲激函数包含所有频率成份,且它们具有相等的幅度,称此为均匀频谱或白色频谱。
    可以得到 :
    δ ( t ) ) 1 δ ( t t 0 ) e i ω t 0 1 2 π δ ( ω ) e i ω 0 t 2 π δ ( ω ω 0 ) δ(t) )\lrarr 1 \\ δ(t-t_0)\lrarr e^{-iω t_0} \\ 1 \lrarr 2\pi δ(ω) \\ e^{-iω_0 t} \lrarr 2\pi δ (ω − ω_0 )
    (2) 有许多重要的函数不满足Fourier 积分定理条件(绝对可积),例如常数、符号函数、单位阶跃函数、正弦函数和余弦函数等,但它们的广义Fourier 变换也是存在的,利用单位脉冲函数及其Fourier 变换可以求出它们的Fourier 变换。

在δ函数的Fourier变换中,其广义积分是根据δ函数的性质直接给出的,而不是按通常的积分方式得到的,称这种方式的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) 的离散频谱。

Fourier 变换的应用(Application of Fourier Transform)

  1. 矩形脉冲函数(rectangular pulse function) f ( t ) = { 1 t < a 0 t > a f(t)=\begin{cases}1&|t|<a \\ 0 &|t|>a \end{cases} 的Fourier 变换及其Fourier 积分表达式。
    矩形脉冲
    (1) Fourier 变换为
    F ( ω ) = + f ( t ) e i ω t d t = a a e i ω t d t = a a cos ( ω t ) d t i a a sin ( ω t ) d t = 2 0 a cos ( ω t ) d t = 2 sin ( a ω ) ω = 2 a sin ( 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 ( ω ) = 2 a sin ( a ω ) a ω \displaystyle |F(ω)| =2a\left|\frac{\sin(aω)}{aω}\right|
    相位谱 arg F ( ω ) = { 0 2 n π a ω 2 n π 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 ( ω ) ] = 1 2 π + F ( ω ) e i ω t d ω = 1 2 π + 2 sin ( a ω ) ω e i ω t d ω = 1 π + sin ( a ω ) ω cos ω t d ω = { 1 t < a 1 2 t = a 0 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 = 0 t = 0 ,可得重要公式:
    + sin ( a x ) x d x = { π a < 0 0 a = 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 x x d x = π 2 \displaystyle\int_{0}^{+∞}\frac{\sin x}{x}\text{d}x=\frac{\pi}{2}

  2. 指数衰减函数(exponential decay function) f ( t ) = { 0 t < 0 e a t t 0 ( a > 0 ) f(t)=\begin{cases} 0 & t<0 \\ e^{-a t} &t⩾​0 \end{cases}(a>0) 的Fourier 变换及Fourier 积分表达式。
    (1) Fourier 变换为
    F ( ω ) = + f ( t ) e i ω t d t = 0 + e a t e i ω t d t = 1 ( a + i ω ) e ( a + i ω ) t t = 0 t + = 1 a + i ω = a i ω a 2 + ω 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 ( ω ) = 1 a 2 + ω 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 ( ω ) ] = 1 2 π + F ( ω ) e i ω t d ω = 1 2 π + β i ω β 2 + ω 2 e i ω t d ω = 1 2 π + 1 β 2 + ω 2 ( β i ω ) ( cos ω t + i sin ω 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 + ω 2 d ω \displaystyle f(t)=\dfrac{1}{\pi}\int_{0}^{+∞}\frac{β\cosωt+ω\sinωt}{β^2+ω^2}\text{d}ω
由此顺便得到一个含参变量广义积分的结果
0 + β cos ω t + ω sin ω t β 2 + ω 2 d ω = { 0 t < 0 π 2 t = 0 π e β t t > 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}}

  1. 单位阶跃函数(unit step function) 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 ; β ) = { 0 t < 0 e β t t > 0 f(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 ) = π δ ( ω ) + 1 i ω \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 + ω 2 d ω = 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 ) ] = π δ ( ω ) + 1 i ω \mathcal{F}[u(t)]=\pi δ(ω)+\dfrac{1}{iω}
    (2) Fourier 积分表达式
    u ( t ) = F 1 [ F ( ω ) ] = 1 2 π + F ( ω ) e i ω t d ω = 1 2 π + [ π δ ( ω ) + 1 i ω ] e i ω t d ω = 1 2 + δ ( ω ) e i ω t d ω + 1 2 π + 1 i ω e i ω t d ω = 1 2 + 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 t t d t = π 2 \displaystyle\int_{0}^{+∞}\dfrac{\sin t}{t}\text{d}t=\dfrac{\pi}{2}

  2. 求余弦函数 f ( t ) = cos ω 0 t f (t) = \cosω_0t 的Fourier 积分
    由欧拉公式 cos ω 0 t = 1 2 ( e i ω 0 t + e i ω 0 t ) \cosω_0t=\frac{1}{2}(e^{iω_0t}+e^{-iω_0t})
    F [ cos ω 0 t ] = + cos ω 0 t e i ω t d t = 0 + 1 2 ( e i ω 0 t + e i ω 0 t ) e i ω t d t = 1 2 [ 0 + e i ( ω ω 0 ) t d t + 0 + e i ( ω + ω 0 ) t d t ] = π [ δ ( ω ω 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 ω 0 t ] = i π [ δ ( ω + ω 0 ) δ ( ω ω 0 ) ] \mathcal{F}[\sinω_0t]=i\pi [δ(ω+ω_0)-δ(ω-ω_0)]

Laplace 变换

Laplace 变换(Laplace Transform)

  • Fourier 变换的局限性
    当函数满足Dirichlet条件,且在 ( , + ) (-∞,+∞) 上绝对可积时,则可以进行古典Fourier 变换。
    引入广义函数和广义Fourier 变换是扩大Fourier 变换使用范围的一种方法,却要求有一系列更深刻的数学理论支持。对于以指数级增长的函数,如 e a t ( 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 β t f(t)u(t)e^{-βt} 满足绝对可积的条件。
    通过上述处理,就有希望使得函数 f ( t ) u ( t ) e β t f(t)u(t)e^{-βt} 满足Fourier 变换的条件,从而可以进行Fourier 变换。
    F [ f ( t ) u ( t ) e β t ] = + f ( t ) u ( t ) e β t e i ω t d t = 0 + f ( t ) e ( β + i ω ) t d t \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 s t d t \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) t 0 t\geqslant 0 时有定义,且积分 0 + f ( t ) e s t d t \displaystyle\int_{0}^{+∞}f(t)e^{-st}dt 在复数 s 的某一个区域内收敛,则此积分所确定的函数 F ( s ) = 0 + f ( t ) e s t d t \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 ) 0 f(t)≡0
    Laplace变换存在定理:设函数 f ( t ) f(t) 满足
    (1) 在 t 0 t⩾0 的任何有限区间分段连续;
    (2) 当 t + t\to +∞ 时, f ( t ) f(t) 的增长速度不超过某指数函数,即 M > 0 , C 0 \exists M>0,C⩾0 ,使得 f ( t ) M e C t ( 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 ) ] = 1 1 e s T 0 T f ( t ) e s t d t \displaystyle\mathcal L[f(t)]=\frac{1}{1-e^{-sT}}\int^{T}_{0}f(t)e^{-st}\text{d}t

Laplace变换的性质

  1. 线性性质:设 F 1 ( s ) = L [ f 1 ( t ) ] , F 2 ( s ) = L [ f 2 ( t ) ] F_1(s)=\mathcal L[f_1(t)],F_2(s)=\mathcal L[f_2(t)]
    L [ α f 1 ( t ) + β f 2 ( t ) ] = α F 1 ( s ) + β F 2 ( s ) \mathcal L[\alpha f_1(t)+\beta f_2(t)]=\alpha F_1(s)+\beta F_2(s)
    L 1 [ α F 1 ( s ) + β F 2 ( s ) ] = α f 1 ( t ) + β f 2 ( t ) \mathcal L^{-1}[\alpha F_1(s)+\beta F_2(s)]=\alpha f_1(t)+\beta f_2(t)

  2. 位移性质 L [ e s 0 t f ( t ) ] = F ( s s 0 ) \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 ) ] = s F ( s ) f ( 0 ) \mathcal L[f'(t)]=sF(s)-f(0)
    L [ f ( n ) ( t ) ] = s n F ( s ) k = 1 n s n k f ( 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 [ t f ( t ) ] F'(s)=-\mathcal L[tf(t)]
    F ( n ) ( s ) = ( 1 ) n L [ t n f ( t ) ] F^{(n)}(s)=(-1)^n\mathcal L[t^nf(t)]

  4. 积分性质:设 F ( s ) = L [ f ( t ) ] F(s)=\mathcal L[f(t)]
    L [ 0 t f ( t ) d t ] = 1 s F ( s ) \displaystyle\mathcal L[\int^t_0f(t)dt]=\frac 1sF(s)
    L [ 0 t d t 0 t d t 0 t n times f ( t ) d t ] = 1 s n F ( 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 ) d s \displaystyle\mathcal L[\frac{f(t)}{t}]=\int^{\infty}_sF(s)ds
    L [ f ( t ) t n ] = L [ s d t s d t s n times F ( s ) d s ] \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  t 0 > 0 \text{if } t>0,f(t)=0, \text{then }\forall t_0>0
    L [ f ( t t 0 ) ] = e s t 0 F ( s ) \mathcal L[f(t-t_0)]=e^{-st_0}F(s)
    L 1 [ e s t 0 F ( s ) ] = f ( t t 0 ) u ( t t 0 ) \mathcal L^{-1}[e^{-st_0}F(s)]=f(t-t_0)u(t-t_0)

  6. 卷积定理1:设 F 1 ( s ) = L [ f 1 ( t ) ] , F 2 ( s ) = L [ f 2 ( t ) ] F_1(s)=\mathcal{L}[f_1(t)],F_2(s)=\mathcal{L}[f_2(t)] ,则有
    L [ f 1 f 2 ] = F 1 ( s ) F 2 ( s ) L 1 [ F 1 ( s ) F 2 ( s ) ] = f 1 f 2 \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 Laplace Transform)

  • 反演积分公式(inverse integral formula):由于 f ( t ) f(t) 的Laplace 变换 F ( s ) = F ( β + i ω ) F(s)=F(β+iω) 就是 f ( t ) u ( t ) e β t f(t)u(t)e^{-βt} 的Fourier 变换,即
    L [ f ( t ) ] = F [ f ( t ) u ( t ) e β t ] = + f ( t ) u ( t ) e β t e i ω t d t \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 = 1 2 π + F ( β + i ω ) e i ω t d ω \displaystyle f(t)u(t)e^{-βt}=\dfrac{1}{2\pi}\int_{-∞}^{+∞}F(β+iω)e^{iω t}\text{d}ω
    等式两边同乘 e β t e^{βt} ,并令 s = β + i ω s=β+iω 则有
    f ( t ) u ( t ) = 1 2 π i β i ω β + i ω F ( s ) e s t d s \displaystyle f(t)u(t)=\dfrac{1}{2\pi i}\int_{β-iω}^{β+iω}F(s)e^{st}\text{d}s
    因此 f ( t ) = 1 2 π i β i ω β + i ω F ( s ) e s t d s ( 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) 在复平面内只有有限个孤立奇点 s 1 , s 2 , , s n s_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 = 1 n Res [ F ( s ) e s t , s k ] ( t > 0 ) \displaystyle f(t)=\sum_{k=1}^n\text{Res}[F(s)e^{st},s_k]\quad(t>0) Laplace 逆变换
    证明:作半圆将所有奇点包围,设 C = C R + L C=C_R+L ,由于 e s t e^{st} 在全平面解析,所以 F ( s ) e s t F(s)e^{st} 的奇点就是 F ( s ) F(s) 的奇点,由留数定理可得
    2 π i k = 1 n Res [ F ( s ) e s t , s k ] = C F ( s ) e s t d s = β i R β + i R F ( s ) e s t d s + C R F ( s ) e s t d s \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 + C R F ( s ) e s t d s = 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 ) = e a t ( a 0 ) f(t) = e^{at} ( a⩾0) 的Laplace 变换
    L [ e a t ] = 0 + e a t e s t d t = 0 + e ( s a ) t d t \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 ) t e 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 [ e a t ] = 1 s a ( Re  s > a ) \displaystyle \mathcal L[e^{at}]=\frac{1}{s-a}\quad(\text{Re }s>a)

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

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

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

  5. 幂函数 f ( t ) = t m ( m Z + ) f(t)=t^m(m\in\Z^+) 的Laplace 变换
    L [ t m ] = 0 + t m e s t d t = 1 s 0 + t m d e s t = 1 s t m e s t 0 + + m s 0 + t m 1 e s t d t = m s L [ t m 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 [ t m ] = m ! s m + 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 < τ 0 others δ_τ(t)=\begin{cases} \frac{1}{τ} &0⩽ t<τ \\ 0 &\text{others} \end{cases} 的Laplace 变换为
    L [ δ τ ( t ) ] = 0 τ 1 τ e s t d t = 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 τ 0 L [ δ τ ( t ) ] = lim τ 0 1 τ s ( 1 e τ s ) \displaystyle \mathcal L[δ(t)]=\lim\limits_{τ\to0}\mathcal L[δ_τ(t)]=\lim\limits_{τ\to0}\frac{1}{τs}(1-e^{-τs})
    用洛必达法则计算此极限 lim τ 0 1 τ s ( 1 e τ s ) = lim τ 0 s e τ s s = 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 ) ] = s n F ( s ) k = 1 n s n k f ( 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 + ω 2 y = 0 y''+ω^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 变换
    s 2 Y ( s ) s y ( 0 ) y ( 0 ) + ω 2 Y ( s ) = 0 s^2Y(s)-sy(0)-y'(0)+ω^2Y(s)=0 ,带入初始条件可得
    s 2 Y ( s ) ω + ω 2 Y ( s ) = 0 s^2Y(s)-ω+ω^2Y(s)=0
    (2) 求解此方程,得 Y ( s ) = ω s 2 + ω 2 Y(s)=\dfrac{ω}{s^2+ω^2}
    (3) 求Laplace 逆变换,得 y = L 1 [ Y ( s ) ] = sin ω t y=\mathcal L^{-1}[Y(s)]=\sin ωt

  2. 求解微分方程初值问题 { a x ( t ) + b x ( t ) = f ( t ) , t > 0 x ( 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 ( s X ( s ) c ) + b X ( s ) = F ( s ) a(sX(s)-c)+bX(s)=F(s)
    解得 X ( s ) = F ( s ) + a c a s + b = c 1 s + b / a + 1 a 1 s + b / a F ( 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 [ 1 s + b / a ] = e b a t \mathcal L^{-1}[\cfrac{1}{s+b/a}]=e^{-\frac{b}{a}t} ,故上式Laplace 逆变换为
    x ( t ) = c e b a t + 1 a 0 t f ( τ ) e b a ( 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 = 1 x + y + z = 0 y + 4 z = 0 \begin{cases} x'+y+z'=1\\ x+y'+z=0\\ y+4z'=0 \end{cases} 满足初始条件 x ( 0 ) = 0 , y ( 0 ) = 0 , z ( 0 ) = 0 x(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 变换,并带入初始条件可得
    { s X ( s ) + Y ( s ) + s Z ( s ) = 1 s X ( s ) + s Y ( s ) + Z ( s ) = 0 Y ( s ) + 4 s Z ( 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 ) = 4 s 2 1 4 s 2 ( s 2 1 ) Y ( s ) = 1 s ( s 2 1 ) Z ( s ) = 1 4 s 2 ( s 2 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 ) ] = 1 4 L 1 [ 3 s 2 1 + 1 s 2 ] = 1 4 ( 3 sinh t + t ) y ( t ) = L 1 [ Y ( s ) ] = L 1 [ 1 s s s 2 1 ] = 1 cosh t z ( t ) = L 1 [ Z ( s ) ] = 1 4 L 1 [ 1 s 2 1 1 s 2 ] = 1 4 ( 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 ) = a t 0 t sin ( x t ) f ( x ) d t ( a 0 ) \displaystyle f(t)=at-\int_{0}^{t}\sin(x-t)f(x)dt\quad(a\neq0)
    原方程化为 f ( t ) = a t + 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 ) = a s 2 + 1 s 2 + 1 F ( s ) F(s)=\dfrac{a}{s^2}+\dfrac{1}{s^2+1}F(s)
    解得 F ( s ) = a ( a s 2 + a s 4 ) F(s)=a(\dfrac{a}{s^2}+\dfrac{a}{s^4})
    求Laplace 逆变换 f ( t ) = a ( t + t 3 6 ) f(t)=a(t+\dfrac{t^3}{6})

物理学问题

  1. 设质量为m 的物体静止在原点,在 t = 0 时受到 x 方向的冲击力 F 0 δ ( t ) F_0δ(t) 的作用,求物体的运动方程。
    设物体的运动方程为 x = x ( t ) x = x(t) ,根据Newton 定律
    m x ( t ) = F 0 δ ( t ) , x ( 0 ) = x ( 0 ) = 0 mx''(t)=F_0δ(t),x(0)=x'(0)=0
    X ( s ) = L [ x ( t ) ] X(s)=\mathcal L[x(t)] ,对方程两边取Laplace 变换,并带入初始条件得
    m s 2 X ( s ) = F 0       X ( s ) = F 0 m s 2 ms^2X(s)=F_0\implies X(s)=\frac{F_0}{ms^2}
    求Laplace 逆变换即得物体的运动方程为: x ( t ) = F 0 m t x(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) 满足如下的微分方程:
    m x ( t ) + k x ( 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 变换,带入初始条件可得
    m s 2 X ( s ) + k X ( s ) = F ( s ) ms^2X(s)+kX(s)=F(s)
    ω 0 2 = k / m ω_0^2=k/m ,有 X ( s ) = 1 m ω 0 ω 0 s 2 + ω 0 2 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 ) ] = 1 m ω 0 [ sin ω 0 t 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 ) = 1 m ω 0 [ sin ω 0 t f ( t ) ] = A m ω 0 sin ω 0 t x(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 ) d t \displaystyle\int_{-∞}^{+∞}\mid f(t)\mid \text{d}t 收敛
Dirichlet 条件:
(1)连续或只有有限个第一类间断点;
(2)只有有限个极值点
f ( t ) f(t) 满足
(1) 在 t 0 t⩾0 的任何有限区间分段连续;
(2) 当 t + t\to +∞ 时, f ( t ) f(t) 的增长速度不超过某指数函数,即
M > 0 , C 0 \exists M>0,C⩾0 ,使得 f ( t ) M e C t ( 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 ω t e^{-\text{i}ωt} e s t e^{-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 ω t d t \displaystyle F(ω)=\int^{+∞}_{-∞}f(τ)e^{-\text{i}ωt}\text{d}t F ( s ) = 0 + f ( t ) e s t d t \displaystyle F(s)=\int^{+\infty}_{0}f(t)e^{-st}\text{d}t
Inverse Transform
(original image)
f ( t ) = 1 2 π + F ( ω ) e i ω t d ω \displaystyle f(t)=\dfrac{1}{2\pi}\int_{-∞}^{+∞}F(ω)e^{\text{i}ω t}\text{d}ω f ( t ) = 1 2 π i β i ω β + i ω F ( s ) e s t d s ( 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 = 1 n Res [ F ( s ) e s t , s k ] ( 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 t 0 ) δ(t−t_0) e i ω t 0 e^{-\text{i}ω t_0}
1 2 π δ ( ω ) 2\pi δ(ω) 1 s ( Re  s > 0 ) \dfrac{1}{s}\quad(\text{Re }s>0)
e i ω 0 t e^{-\text{i}ω_0 t} 2 π δ ( ω ω 0 ) 2\pi δ(ω−ω_0)
t t 1 s 2 ( Re  s > 0 ) \dfrac{1}{s^2}\quad(\text{Re }s>0)
e a t ( a 0 ) e^{-at}\quad(a⩾0) 1 a + i ω \dfrac{1}{a+\text{i}ω} 1 s + a ( Re  s + a > 0 ) \dfrac{1}{s+a}\quad(\text{Re }s+a>0)
t e a t ( 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 ) = { 0 t < 0 1 t > 0 u(t)=\begin{cases} 0 & t<0 \\ 1 &t>​0 \end{cases} π δ ( ω ) + 1 i ω \pi δ(ω)+\dfrac{1}{\text{i}ω} 1 s ( Re  s > 0 ) \dfrac{1}{s}\quad(\text{Re }s>0)
sgn ( t ) = { 1 t < 0 1 t > 0 \text{sgn}(t)=\begin{cases}-1&t<0 \\ 1 &t >0 \end{cases} 2 i ω \dfrac{2}{\text{i}ω}
rect ( t ) = { 1 t < a 0 t > a \text{rect}(t)=\begin{cases}1&\mid t\mid <a \\ 0 &\mid t\mid >a \end{cases} 2 sin ( a ω ) ω \dfrac{2\sin(aω)}{ω}
cos ω 0 t \cosω_0t π [ δ ( ω ω 0 ) + δ ( ω + ω 0 ) ] \pi [δ(ω-ω_0)+δ(ω+ω_0)] s s 2 + ω 0 2 ( Re  s > 0 ) \dfrac{s}{s^2+ω_0^2}\quad(\text{Re }s>0)
sin ω 0 t \sinω_0t i π [ δ ( ω + ω 0 ) δ ( ω ω 0 ) ] \text{i}\pi [δ(ω+ω_0)-δ(ω-ω_0)] ω 0 s 2 + ω 0 2 ( Re  s > 0 ) \dfrac{ω_0}{s^2+ω_0^2}\quad(\text{Re }s>0)
t m ( m Z + ) t^m\quad(m\in\Z^+) m ! s m + 1 ( Re  s > 0 ) \dfrac{m!}{s^{m+1}}\quad(\text{Re }s>0)

  1. 卷积(Convolution):设函数 f 1 ( t ) , f 2 ( t ) f_1(t),f_2(t) ( , ) (-\infty,\infty) 上绝对可积,则积分 + f 1 ( τ ) f 2 ( t τ ) d τ \displaystyle\int^{+\infty}_{-\infty}f_1(τ)f_2(t-τ)dτ 称为 f 1 ( t ) , f 2 ( t ) f_1(t),f_2(t) 的卷积。记为 f 1 ( t ) f 2 ( t ) = + f 1 ( τ ) f 2 ( t τ ) d τ \displaystyle f_1(t)*f_2(t)=\int^{+\infty}_{-\infty}f_1(τ)f_2(t-τ)dτ
    如何通俗易懂地解释卷积?——知乎
    根据定义,卷积满足如下性质:
    (1) 交换律: f 1 ( t ) f 2 ( t ) = f 2 ( t ) f 1 ( t ) f_1(t)*f_2(t)=f_2(t)*f_1(t)
    (2) 结合律: f 1 [ f 2 f 3 ] = [ f 1 f 2 ] f 3 f_1*[f_2*f_3]=[f_1*f_2]*f_3
    (3) 分配律: f 1 [ f 2 + f 3 ] = f 1 f 2 + f 1 f 3 f_1*[f_2+f_3]=f_1*f_2+f_1*f_3 ↩︎ ↩︎

发布了101 篇原创文章 · 获赞 154 · 访问量 7万+

猜你喜欢

转载自blog.csdn.net/qq_41518277/article/details/97121991