复变函数总结二：积分变换（傅里叶变换为主）

这个总结文章本来是学完复变函数之后的复习总结，打印应付考试用的，后来假期里面又添加了一些公式、注意点什么的，稍稍完善了一些。

本文主要整理自我的复变函数老师的课件和作业、相关教材和上课笔记，不做商用，侵删。

手打公式难免有些小问题，如果有什么错误欢迎大家指正哈，评论或者私信都可以。

这一篇包含积分变换的主要内容，包括：

• 傅里叶变换的定义和性质
• δ函数
• 拉普拉斯变换

注意：这里主要是从数学的角度来理解傅里叶变换，工程上可能会有所不同。

前文：复变函数一：复变函数

二、积分变换

傅里叶变换

1. 傅里叶变换定义：

若$f\in L(-\infty ,+\infty )$，即：${\int }_{-\infty }^{\infty }f(x)dx$收敛，记：
$$\hat{f}(\omega )=\mathcal{F}[f(x)]=\frac{1}{\sqrt{2\pi }}{\int }_{-\infty }^{\infty }f(x)e^{-i\omega x}dx$$
称为$\hat{f}(\omega )$为$f(x)$的傅里叶变换。

2. 傅里叶逆变换

若$f\in L(-\infty ,+\infty )\cap C^1(-\infty ,\infty )$，则有：
$$f(x)=\frac{1}{\sqrt{2\pi }}{\int }_{-\infty }^{\infty }\hat{f}(\omega )e^{i\omega x}d\omega ={\mathcal{F}}^{-1}[\hat{f}(\omega )]$$

3. 傅里叶变换的性质

• 对称性质
  $$\hat{f}(-\omega )=(\hat{f}(\omega ){)}^{\ast }={\mathcal{F}}^{-1}[f(x)]$$

• 线性性质

  $$\mathcal{F}[a_1{f}_1+a_2{f}_2]=a_1\mathcal{F}[f_1]+a_2\mathcal{F}[f_2]$$
  傅里叶变换是线性变换。

• 平移性质
  $$\begin{array}{rl}& \mathcal{F}[f(x\pm x_0)]=e^{\pm i\omega x_0}\mathcal{F}[f(x)]\\ & \mathcal{F}[f(x)e^{\pm i{\omega }_{0}x}]=\hat{f}(\omega \mp {\omega }_0)\end{array}$$

• 相似性质
  $$\mathcal{F}[f(kx)]=\frac{1}{|k|}\hat{f}(\frac{\omega }{k}),k\ne 0$$

• 微分性质
  $$\begin{array}{rl}& \mathcal{F}[\frac{d}{dx}f(x)]=i\omega \mathcal{F}[f(x)]\\ & \mathcal{F}[xf(x)]=i\frac{d}{d\omega }\hat{f}(\omega )\end{array}$$

• 积分性质
  $$\mathcal{F}[{\int }^{x}f(\xi )d\xi ]=\frac{1}{i\omega }\mathcal{F}[f(x)]$$

• 卷积性质
  $$\mathcal{F}[f_1(x)\star f_2(x)]=\sqrt{2\pi }\mathcal{F}[f_1(x)]\mathcal{F}[f_2(x)]$$
  卷积的定义：
  $$f_1(x)\star f_2(x)={\int }_{-\infty }^{\infty }{f}_1(\xi )f_2(x-\xi )d\xi$$

• 守恒性质（perseval恒等式）

  设$f\in L^1(-\infty ,+\infty )\cap L^2(-\infty ,+\infty )$，则有：
  $${\int }_{-\infty }^{\infty }|f(x){|}^{2}dx={\int }_{-\infty }^{\infty }|\hat{f}(\omega ){|}^{2}d\omega$$

注：常用的一些傅里叶变换：

(1)
$$\begin{array}{rl}& f(x)=e^{-|x|}\\ & \hat{f}(\omega )=\frac{\sqrt{2}}{\sqrt{\pi }(1+{\omega }^2)}\end{array}$$
(2)
$${\int }_{-\infty }^{\infty }{e}^{-x^2}dx=\sqrt{\pi }$$
(3)
$$\begin{array}{rl}& \mathcal{F}[e^{-x^2}]=\frac{1}{\sqrt{2}}{e}^{-\frac{{\omega }^2}{4}}\\ & \mathcal{F}[e^{-A{x}^2}]=\frac{1}{\sqrt{2A}}{e}^{-\frac{{\omega }^2}{4A}}\end{array}$$

δ函数

1. 定义：

$$\delta (x)=\{\begin{array}{rc}& 0,x\ne 0\\ & +\infty ,x=0\end{array}and{\int }_{\infty }^{\infty }\delta (x)\phi (x)dx=\phi (0),\forall \phi \in C_0^{\infty }(\mathbb{R})$$

2. δ函数的一些性质

$$\begin{array}{rl}& {\int }_{-\infty }^{\infty }\delta (x-x_0)\phi (x)dx=\phi (x_0)\\ & x\delta (x)=0\\ & \delta (ax)=\frac{1}{|a|}\delta (x)\\ & f(x)\delta (x-x_0)=f(x_0)\delta (x-x_0)\\ & \delta (x-x_0)\star f(x)=f(x-x_0)\end{array}$$

3. δ函数的积分和微分

• δ函数的微分：

  $\delta (x-x_0)$的导函数$\zeta (x-x_0)$
  $${\delta }^{\prime }(x-x_0)={\int }_{-\infty }^{\infty }\zeta (x-x_0)\phi (x)dx=-{\phi }^{\prime }(x_0),\forall \phi (x_0)\in C_0^{\infty }(\mathbb{R})$$

• δ函数的积分 (Heaviside函数) ：
  $$\begin{array}{r}H(x)={\int }_{-\infty }^x\delta (\xi )d\xi =\{\begin{array}{r}0,x<0\\ 1,x>0\end{array}=\frac{1}{2}+\frac{1}{\pi }{\int }_0^{\infty }\frac{\sin x\xi }{\xi }d\xi \end{array}$$

4. 傅里叶变换

$$\begin{array}{rl}\hat{\delta }(\omega )& =\mathcal{F}[\delta (x)]=\frac{1}{\sqrt{2\pi }}{\int }_{-\infty }^{\infty }\delta (x)e^{-i\omega x}dx=\frac{1}{\sqrt{2\pi }}\\ \mathcal{F}[H(x)]& =\frac{1}{i\omega \sqrt{2\pi }}+\sqrt{\frac{\pi }{2}}\delta (\omega )\end{array}$$

这注意阶跃函数的傅里叶变换不只是δ函数傅里叶变换除以iω，还要加上一个δ函数。

拉普拉斯变换

1. 定义

定义函数$f(t)$的拉普拉斯变换：
$$\mathcal{L}[f(t)]=\overline{f}(p)={\int }_0^{\infty }f(t)e^{-pt}dt$$

2. 性质

• 线性性质
  $$\mathcal{F}[a_1{f}_1+a_2{f}_2]=a_1\mathcal{L}[f_1]+a_2\mathcal{L}[f_2]$$

• 平移性质
  $$\begin{array}{r}\mathcal{L}[e^{st}f(t)]=\overline{f}(p-s)\\ \mathcal{L}[f(t-\tau )]=e^{-p\tau }\overline{f}(p)\\ 其中,s\in \mathbb{C},\tau \in \mathbb{R}均为常数\end{array}$$

• 相似性质
  $$\mathcal{L}[f(kt)]=\frac{1}{|k|}\overline{f}(\frac{p}{k}),k>0$$

• 微分性质
  $$\begin{array}{rl}& \mathcal{L}[f^{(n)}(t)]=p^n\overline{f}(p)-(p^{n-1}f(0)+p^{n-2}{f}^{(1)}(0)+\cdots +f^{(n-1)(0)})\\ & {\overline{f}}^{(n)}(p)=\mathcal{L}[(-t{)}^{n}f(t)]\end{array}$$

• 积分性质
  $$\begin{array}{rl}& \mathcal{L}[{\int }_0^{t}f(\tau )d\tau =\frac{1}{p}\overline{f}(p)\\ & {\int }_p^{\infty }\overline{f}(s)ds=\mathcal{L}[\frac{f(t)}{t}]\end{array}$$

• 卷积性质
  $$\mathcal{L}[f_1(t)\star f_2(t)]=\overline{f_1}(p)\overline{f_2}(p)$$