【高数+复变函数】Laplace变换的卷积与逆变换

文章目录

  • 【高数+复变函数】Laplace变换的卷积与逆变换
    • 一、Laplace变换的卷积定理
    • 二、逆变换

【高数+复变函数】Laplace变换的卷积与逆变换

回顾在Fourier变换中的卷积定理:【高数+复变函数】傅里叶变换的性质

定义:设函数 f 1 ( t ) f_1(t) f1(t) f 2 ( t ) f_2(t) f2(t) 都是 ( − ∞ , + ∞ ) (-\infty,+\infty) (,+) 上的 绝对可积函数, 积分
∫ − ∞ + ∞ f 1 ( τ ) f 2 ( t − τ ) d τ \int_{-\infty}^{+\infty} f_1(\tau) f_2(t-\tau) \mathrm{d} \tau +f1(τ)f2(tτ)dτ
称为函数 f 1 ( t ) f_1(t) f1(t) f 2 ( t ) f_2(t) f2(t) 在区间 ( − ∞ , + ∞ ) (-\infty,+\infty) (,+) 上的卷积. 记 为 ( f 1 ∗ f 2 ) ( t ) \left(f_1 * f_2\right)(t) (f1f2)(t) f 1 ( t ) ∗ f 2 ( t ) f_1(t) * f_2(t) f1(t)f2(t)

一、Laplace变换的卷积定理

与傅里叶的卷积定理相同,只是前置条件是要满足Laplace变换存在定理

定理:设 f 1 ( t ) f_1(t) f1(t) f 2 ( t ) f_2(t) f2(t) 满足Laplace变换 存在的条件, 即存在 M > 0 M>0 M>0 s 0 > 0 s_0>0 s0>0, 使得
∣ f 1 ( t ) ∣ ≤ M e s 0 t , ∣ f 2 ( t ) ∣ ≤ M e s 0 t . \left|f_1(t)\right| \leq M e^{s_0 t},\left|f_2(t)\right| \leq M e^{s_0 t} . f1(t)Mes0t,f2(t)Mes0t.
如果 F 1 ( s ) = L [ f 1 ( t ) ] , F 2 ( s ) = L [ f 2 ( t ) ] F_1(s)=\mathfrak{L}\left[f_1(t)\right], F_2(s)=\mathfrak{L}\left[f_2(t)\right] F1(s)=L[f1(t)],F2(s)=L[f2(t)],则 L [ ( f 1 ∗ f 2 ) ( t ) ] = F 1 ( s ) F 2 ( s ) \mathfrak{L}\left[\left(f_1 * f_2\right)(t)\right]=F_1(s) F_2(s) L[(f1f2)(t)]=F1(s)F2(s),

应用:常用于求某些函数的逆变换

例 求 f ( t ) = L − 1 [ s 2 ( s 2 + 1 ) 2 ] f(t)=\mathfrak{L}^{-1}\left[\frac{s^2}{\left(s^2+1\right)^2}\right] f(t)=L1[(s2+1)2s2]

解: F ( s ) = s s 2 + 1 × s s 2 + 1 , L − 1 [ s s 2 + 1 ] = cos ⁡ t F(s)=\frac{s}{s^2+1} \times \frac{s}{s^2+1}, \quad \mathfrak{L}^{-1}\left[\frac{s}{s^2+1}\right]=\cos t F(s)=s2+1s×s2+1s,L1[s2+1s]=cost

∴ f ( t ) = cos ⁡ t ∗ cos ⁡ t = ∫ 0 t cos ⁡ τ cos ⁡ ( t − τ ) d τ = 1 2 ∫ 0 t [ cos ⁡ t + cos ⁡ ( 2 τ − t ) ] d τ = 1 2 ( t cos ⁡ t + sin ⁡ t ) . \begin{aligned} \therefore f(t) & =\cos t * \cos t=\int_0^t \cos \tau \cos (t-\tau) \mathrm{d} \tau \\ & =\frac{1}{2} \int_0^t[\cos t+\cos (2 \tau-t)] \mathrm{d} \tau \\ & =\frac{1}{2}(t \cos t+\sin t) . \end{aligned} f(t)=costcost=0tcosτcos(tτ)dτ=210t[cost+cos(2τt)]dτ=21(tcost+sint).

二、逆变换

  1. 逆变换定理

    利用Laplace变换的完全形式来推导逆变换 f ( t ) f(t) f(t)
    f ( t ) u ( t ) e − β t = 1 2 π ∫ − ∞ + ∞ [ ∫ − ∞ + ∞ f ( τ ) u ( τ ) e − β τ e − i ω τ d τ ] e i ω t   d ω = 1 2 π ∫ − ∞ + ∞ F ( β + i ω ) e i ω t   d ω ( t > 0 ) , f(t) u(t) e^{-\beta t}=\frac{1}{2 \pi} \int_{-\infty}^{+\infty}\left[\int_{-\infty}^{+\infty} f(\tau) u(\tau) e^{-\beta \tau} e^{-i \omega \tau} \mathrm{d} \tau\right] e^{i \omega t} \mathrm{~d} \omega \\ =\frac{1}{2 \pi} \int_{-\infty}^{+\infty} F(\beta+i \omega) e^{i \omega t} \mathrm{~d} \omega(t>0), \\ f(t)u(t)eβt=2π1+[+f(τ)u(τ)eβτeτdτ]et dω=2π1+F(β+)et dω(t>0), 之后两边同乘 e − β t e^{-\beta t} eβt,再做变量代换可得

f ( t ) = 1 2 π ∫ − ∞ + ∞ F ( β + i ω ) e ( β + i ω ) t   d ω = 1 2 π i ∫ β − i ∞ β + i ∞ F ( s ) e s t   d s ( t > 0 ) , f(t) =\frac{1}{2 \pi} \int_{-\infty}^{+\infty} F(\beta+i \omega) e^{(\beta+i \omega) t} \mathrm{~d} \omega =\frac{1}{2 \pi i} \int_{\beta-i \infty}^{\beta+i \infty} F(s) e^{s t} \mathrm{~d} s(t>0), f(t)=2π1+F(β+)e(β+)t dω=2πi1βiβ+iF(s)est ds(t>0),

  1. 计算方法

    定理 设 s 1 , s 2 , ⋯   , s n s_1, s_2, \cdots, s_n s1,s2,,sn F ( s ) F(s) F(s) 的所有孤立奇点(有限个), 除这些点外, F ( s ) F(s) F(s) 处处解析, 且存 在 R 0 > 0 R_0>0 R0>0, 当 ∣ s ∣ ≥ R 0 |s| \geq R_0 sR0 时, ∣ F ( s ) ∣ ≤ M ( r ) |F(s)| \leq M(r) F(s)M(r), 其中 M ( r ) M(r) M(r) r r r 的实函数, 且 lim ⁡ r → + ∞ M ( r ) = 0 \lim _{r \rightarrow+\infty} M(r)=0 limr+M(r)=0. 选取 β \beta β, 使所有 孤立奇点都在 Re ⁡ s < β \operatorname{Re} s<\beta Res<β 内, 则当 t > 0 t>0 t>0 时,
    f ( t ) = 1 2 π i ∫ β − i ∞ β + i ∞ F ( s ) e s t   d s = ∑ k = 1 n Res ⁡ [ F ( s ) e s t , s k ] f(t)=\frac{1}{2 \pi i} \int_{\beta-i \infty}^{\beta+i \infty} F(s) e^{s t} \mathrm{~d} s=\sum_{k=1}^n \operatorname{Res}\left[F(s) e^{s t}, s_k\right] f(t)=2πi1βiβ+iF(s)est ds=k=1nRes[F(s)est,sk]

    由留数定理证明,之后的使用方法和留数相同

    例:求 F ( s ) = 1 s ( s − 1 ) 2 F(s)=\frac{1}{s(s-1)^2} F(s)=s(s1)21 的Laplace逆变换.

    s 1 = 0 s_1=0 s1=0 s 2 = 1 s_2=1 s2=1 分别是 1 s ( s − 1 ) 2 e s t \frac{1}{s(s-1)^2} e^{s t} s(s1)21est 的 1 级 和 2 级极点. 故由计算留数的法则:
    Res ⁡ [ 1 s ( s − 1 ) 2 e s t , 0 ] = lim ⁡ s → 0 e s t ( s − 1 ) 2 = 1 , Res ⁡ [ 1 s ( s − 1 ) 2 e s t , 1 ] = lim ⁡ s → 1 [ e s t s ] ′ = e t ( t − 1 ) , L − 1 [ 1 s ( s − 1 ) 2 ] = 1 + e t ( t − 1 ) ( t > 0 ) . \begin{aligned} & \operatorname{Res}\left[\frac{1}{s(s-1)^2} e^{s t}, 0\right]=\lim _{s \rightarrow 0} \frac{e^{s t}}{(s-1)^2}=1, \\ & \operatorname{Res}\left[\frac{1}{s(s-1)^2} e^{s t}, 1\right]=\lim _{s \rightarrow 1}\left[\frac{e^{s t}}{s}\right]^{\prime}=e^t(t-1), \\ & \mathfrak{L}^{-1}\left[\frac{1}{s(s-1)^2}\right]=1+e^t(t-1)(t>0) . \end{aligned} Res[s(s1)21est,0]=s0lim(s1)2est=1,Res[s(s1)21est,1]=s1lim[sest]=et(t1),L1[s(s1)21]=1+et(t1)(t>0).

你可能感兴趣的:(复变函数,复变函数)