MIT_18.03_微分方程_Laplace_Transform_拉普拉斯变换_Notes

Laplace Transform

引

对于幂级数 power series
$$\sum _0^{\infty }{a}_n{x}^n=A(x)$$
左边看成关于n的函数 n从0，1，2…取到$\infty$

那么当n的取值从离散变为连续 时，会发生什么？

…t从0连续取到$\infty$，再求和…
$${\int }_0^{\infty }a(t)x^{t}dt=A(x)$$
为了方便 将$x^t$写成$(e^{lnx}{)}^t,0<x<1$以使积分收敛

再将$lnx$替换为$-s,s>0$，即得到了$a(t)$的拉普拉斯变换 Laplace Transform

以更正式的形式写出
$${\int }_0^{\infty }f(t)e^{-st}dt=F(s)$$

Notion：

$$\mathcal{L}(f(t))=F(s)orf(t)⇝F(s)$$

另一种理解：

$e^{-st}$是一个衰减因子，使得一些对于不满足迪利克雷条件的函数$f(t)$乘上其之和变得可积，进而可以“傅立叶变换”，即拉普拉斯变换为加强版的傅立叶变换

变换 & 算子

变换变量改变
$$f(t)⟶\boxed{transform}⟶F(s)$$
算子变量不变
$$f(t)⟶\boxed{operator}⟶g(t)$$

---

性质

线性 Linearity

$$\begin{gathered} \mathcal{L}(f+g)=\mathcal{L}(f)+\mathcal{L}(g) \\ \mathcal{L}(cf)=c\mathcal{L}(f) \end{gathered}$$

指数位移法则 exponential-shifting law

$$e^{at}f(t)⇝F(s-a)$$

PROOF
$${\int }_0^{\infty }{e}^{at}f(t)e^{-st}dt={\int }_0^{\infty }f(t)e^{-(s-a)t}dt=F(s-a)$$

存在性 Existence

指数阶

$f(t)$是指数形式 exponential type/ of exponential order

对于$\forall t>0,\exists C>0,k>0$ 这是视频上的定义
$$s.t.\left|f(t)\right|⩽C{e}^{kt}$$
事实上应该是

$\exists M,C,\alpha ,\forall t>M,$
$$s.t.|f(t)|⩽C{e}^{\alpha t}$$
$f(t)$ of exponential order $\alpha$ $f(t)$是$\alpha$指数阶函数

其实就是$f(t)\in O(e^{\alpha t})$

代表$f(t)$最后能被$e^{-st}$“拉”回来

分段连续

存在有限个跳跃间断点 其余地方连续

存在条件

如果$f(t)$是分段连续的$\alpha$指数阶函数 则$\mathcal{L}(f)(s)$对于所有$Re(s)>\alpha$收敛

PROOF

suppose $Re(s)>a$ and $|f(t)|<M{e}^{at}$， we write $s=(a+\alpha )+ib$, where $\alpha >0$

then, since $|e^{-bit}|=1$
$$|f(t)e^{-st}|=|f(t)e^{-(a+\alpha )t}{e}^{-bit}|=|f(t)e^{-(a+\alpha )t}|<M{e}^{-\alpha t}$$
since ${\int }_0^{\infty }M{e}^{-\alpha t}dt$ converges for $\alpha >0$ 所以拉普拉斯变换收敛

其实就是绝对值审敛法

导数的拉普拉斯变换 t-derivative rule

$$\begin{gathered} \mathcal{L}(f^{\prime }(t))=sF(s)-f(0) \\ \mathcal{L}(f^{\prime \prime }(t))= \end{gathered}$$