3809 字
19 分钟
傅里叶变换

一、傅里叶级数#

1、周期函数的傅里叶展开#

(1) 三角函数族#

x,f(x+T)=f(x)\forall x,f(x+T)=f(x)

那么称函数f(x)f(x)是以TT为周期的周期函数,与该周期对应的原频率(称之为基频)为:

ω=2πT=πl\omega =\frac{2\pi}{T}=\frac{\pi}{l}

对应的三角频率的三角函数族为(或者三角函数序列为):

1(cos0x),cosωx,cos2ωx,coskωx,1(\cos0x),\cos\omega x,\cos2\omega x,\cdots\cos k\omega x,\cdotssinωx,sinωx,sinkωx,\sin\omega x,\sin\omega x,\cdots\sin k\omega x,\cdots

对于该三角函数族,首先可以证明它是正交的(任意两个不相同元素的乘积在一个周期内的积分为零,相同两个元素乘积在一个周期内的积分大于零)

(2) 三角函数族的正交性#

规定(l,l)(-l,l)为三角函数的一个周期,那么可以推导如下公式,证明任意两个不相同元素的乘积在一个周期内的积分为零,相同两个元素乘积在一个周期内的积分大于零。

llcoskωxcosnωxdx=12llcos[(kn)ωx]dx+12llcos[(k+n)ωx]dx=12sin[(kn)ωx](kn)ωll+12sin[(k+n)ωx](k+n)ωll=0,kn\begin{aligned}\int_{-l}^l\cos k\omega x\cos n\omega x\mathrm{d}x&=\frac{1}{2}\int_{-l}^{l}\cos\left[\left(k-n\right)\omega x\right]\mathrm{d}x+\frac{1}{2}\int_{-l}^{l}\cos\left[\left(k+n\right)\omega x\right]\mathrm{d}x\\&=\frac{1}{2}\frac{\sin\left[\left(k-n\right)\omega x\right]}{\left(k-n\right)\omega}\big|_{-l}^l+\frac{1}{2}\frac{\sin\left[\left(k+n\right)\omega x\right]}{\left(k+n\right)\omega}\big|_{-l}^l=0,k\neq n\end{aligned}llsinkωxsinnωxdx=12llcos[(kn)ωx]dx12llcos[(k+n)ωx]dx=12sin[(kn)ωx](kn)ωll12sin[(k+n)ωx](k+n)ωll=0,kn\begin{aligned}\int_{-l}^l\sin k\omega x\sin n\omega x\mathrm{d}x&=\frac{1}{2}\int_{-l}^{l}\cos\left[\left(k-n\right)\omega x\right]\mathrm{d}x-\frac{1}{2}\int_{-l}^{l}\cos\left[\left(k+n\right)\omega x\right]\mathrm{d}x\\&=\frac{1}{2}\frac{\sin\left[\left(k-n\right)\omega x\right]}{\left(k-n\right)\omega}\big|_{-l}^l-\frac{1}{2}\frac{\sin\left[\left(k+n\right)\omega x\right]}{\left(k+n\right)\omega}\big|_{-l}^l=0,k\neq n\end{aligned}llcoskωxcoskωdx=12ll[1+cos2kωx]dx=l+14kωsin2kωxll=l,k0\int_{-l}^l\cos k\omega x\cos k\omega\mathrm{d}x=\frac{1}{2}\int_{-l}^l\left[1+\cos2k\omega x\right]\mathrm{d}x=l+\frac{1}{4k\omega}\sin2k\omega x|_{-l}^l=l,k\neq0llsinkωxsinkωdx=12ll[1cos2kωx]dx=l14kωsin2kωxll=l,k0\int_{-l}^l\sin k\omega x\sin k\omega\mathrm{d}x=\frac{1}{2}\int_{-l}^l\left[1-\cos2k\omega x\right]\mathrm{d}x=l-\frac{1}{4k\omega}\sin2k\omega x|_{-l}^l=l,k\neq0

(3) 傅里叶级数展开计算#

三角函数族是线性无关的基本函数族,可以将f(x)f(x)进行傅里叶级数展开:

f(x)=a0+k=1(akcoskπxl+bksinkπxl)=k=0(akcoskπxl+bksinkπxl)f(x)=a_0+\sum_{k=1}^\infty\left(a_k\cos\frac{k\pi x}{l}+b_k\sin\frac{k\pi x}{l}\right)=\sum_{k=0}^\infty\left(a_k\cos\frac{k\pi x}{l}+b_k\sin\frac{k\pi x}{l}\right)

方法一:傅里叶级数展开分表达式中的系数可以使用三角函数正交性求解,具体来讲,把傅里叶级数展开表达式的两边同时乘上三角函数族中对应的项,然后在一个周期内进行积分,即可求得相应的系数。运算方法可以见文章泰勒级数和傅里叶级数

  • 零次项(平均值):
a0=1lllf(x)dxa_0=\frac1l\int_{-l}^lf(x)\mathrm{d}x
  • 余弦系数:
an=1lllf(x)cos(nπxl)dx,n0a_n=\frac1l\int_{-l}^lf(x)\cos\left(\frac{n\pi x}l\right)\mathrm{d}x,n\neq0
  • 正弦系数:
bn=1lllf(x)sin(nπxl)dx,n0b_n=\frac1l\int_{-l}^lf(x)\sin\left(\frac{n\pi x}l\right)\mathrm{d}x,n\neq0

方法二:使用最小二乘法来求傅里叶级数的系数。设f(x)f(x)在区间[l,l][-l, l]上有定义,我们希望用如下傅里叶级数来逼近我们希望找到一组系数{ak,bk}\{a_k, b_k\},使得级数与f(x)f(x)的均方误差最小,即

E=llf(x)SN(x)2dxE = \int_{-l}^{l} \left| f(x) - S_N(x) \right|^2 \mathrm{d}x

其中,SN(x)S_N(x)是前NN项的部分和:

SN(x)=a0+k=1N(akcoskπxl+bksinkπxl)S_N(x) = a_0 + \sum_{k=1}^{N} \left( a_k \cos \frac{k\pi x}{l} + b_k \sin \frac{k\pi x}{l} \right)

目标是使EE最小。令:

E=ll[f(x)a0k=1N(akcoskπxl+bksinkπxl)]2dxE = \int_{-l}^{l} \left[ f(x) - a_0 - \sum_{k=1}^{N} \left( a_k \cos \frac{k\pi x}{l} + b_k \sin \frac{k\pi x}{l} \right) \right]^2 \mathrm{d}x

EE关于每个aka_kbkb_k取极值,即对每个aka_kbkb_k分别求偏导并令其为零:

  • aja_j求导:
Eaj=2ll[f(x)SN(x)]cosjπxldx=0\frac{\partial E}{\partial a_j} = -2 \int_{-l}^{l} \left[ f(x) - S_N(x) \right] \cos \frac{j\pi x}{l} \mathrm{d}x = 0
  • bjb_j求导:
Ebj=2ll[f(x)SN(x)]sinjπxldx=0\frac{\partial E}{\partial b_j} = -2 \int_{-l}^{l} \left[ f(x) - S_N(x) \right] \sin \frac{j\pi x}{l} \mathrm{d}x = 0

SN(x)S_N(x)展开代入上述方程,以aka_k为例:

ll[f(x)a0k=1N(akcoskπxl+bksinkπxl)]cosjπxldx=0\int_{-l}^{l} \left[ f(x) - a_0 - \sum_{k=1}^{N} \left( a_k \cos \frac{k\pi x}{l} + b_k \sin \frac{k\pi x}{l} \right) \right] \cos \frac{j\pi x}{l} \mathrm{d}x = 0

展开:

llf(x)cosjπxldxa0llcosjπxldxk=1Nakllcoskπxlcosjπxldxk=1Nbkllsinkπxlcosjπxldx=0\int_{-l}^{l} f(x) \cos \frac{j\pi x}{l} \mathrm{d}x - a_0 \int_{-l}^{l} \cos \frac{j\pi x}{l} \mathrm{d}x - \sum_{k=1}^{N} a_k \int_{-l}^{l} \cos \frac{k\pi x}{l} \cos \frac{j\pi x}{l} \mathrm{d}x - \sum_{k=1}^{N} b_k \int_{-l}^{l} \sin \frac{k\pi x}{l} \cos \frac{j\pi x}{l} \mathrm{d}x = 0

由于三角函数的正交性:

llcosmπxlcosnπxldx={2l,m=n=0l,m=n00,mn\displaystyle \int_{-l}^{l} \cos \frac{m\pi x}{l} \cos \frac{n\pi x}{l} \mathrm{d}x = \begin{cases} 2l, & m=n=0 \\ l, & m=n\neq 0 \\ 0, & m \neq n \end{cases}llsinmπxlcosnπxldx=0\displaystyle \int_{-l}^{l} \sin \frac{m\pi x}{l} \cos \frac{n\pi x}{l} \mathrm{d}x = 0llcosjπxldx=0(j0)\displaystyle \int_{-l}^{l} \cos \frac{j\pi x}{l} \mathrm{d}x = 0 \quad (j \neq 0)

于是,针对aja_j

  • j=0j=0

    llf(x)dxa0lldx=0\int_{-l}^{l} f(x) \mathrm{d}x - a_0 \int_{-l}^{l} \mathrm{d}x = 0 llf(x)dxa02l=0\int_{-l}^{l} f(x) \mathrm{d}x - a_0 \cdot 2l = 0 a0=12lllf(x)dxa_0 = \frac{1}{2l} \int_{-l}^{l} f(x) \mathrm{d}x
  • j1j \ge 1

    llf(x)cosjπxldxajllcos2jπxldx=0\int_{-l}^{l} f(x) \cos \frac{j\pi x}{l} \mathrm{d}x - a_j \int_{-l}^{l} \cos^2 \frac{j\pi x}{l} \mathrm{d}x = 0 llf(x)cosjπxldxajl=0\int_{-l}^{l} f(x) \cos \frac{j\pi x}{l} \mathrm{d}x - a_j l = 0 aj=1lllf(x)cosjπxldxa_j = \frac{1}{l} \int_{-l}^{l} f(x) \cos \frac{j\pi x}{l} \mathrm{d}x

对于bjb_j同理:

llf(x)sinjπxldxbjllsin2jπxldx=0\int_{-l}^{l} f(x) \sin \frac{j\pi x}{l} \mathrm{d}x - b_j \int_{-l}^{l} \sin^2 \frac{j\pi x}{l} \mathrm{d}x = 0llf(x)sinjπxldxbjl=0\int_{-l}^{l} f(x) \sin \frac{j\pi x}{l} \mathrm{d}x - b_j l = 0bj=1lllf(x)sinjπxldxb_j = \frac{1}{l} \int_{-l}^{l} f(x) \sin \frac{j\pi x}{l} \mathrm{d}x

最后得出最小二乘法下的傅里叶系数为:

a0=12lllf(x)dxa_0 = \frac{1}{2l} \int_{-l}^{l} f(x) \mathrm{d}xak=1lllf(x)coskπxldx,k1a_k = \frac{1}{l} \int_{-l}^{l} f(x) \cos \frac{k\pi x}{l} \mathrm{d}x,\quad k \ge 1bk=1lllf(x)sinkπxldx,k1b_k = \frac{1}{l} \int_{-l}^{l} f(x) \sin \frac{k\pi x}{l} \mathrm{d}x,\quad k \ge 1

这就是通过最小二乘法(即均方误差最小)推导出的傅里叶级数展开的系数公式,与方法一的结果相同。

(4) 傅里叶级数的收敛性#

傅里叶级数的收敛性遵循狄利克雷收敛定理:如果函数f(x)f(x)及其导数在一个积分周期内是连续或者是分段连续(只有有限个第一类间断点:间断点左,右极限都存在,且有限)那么傅里叶级数在每一点是收敛的,而且:

  • 如果xx是连续点,那么傅里叶级数就收敛到f(x)f(x)
  • 如果xx是间断点,那么傅里叶级数就收敛到该点左右极限的平均值。

2、奇函数以及偶函数的傅里叶展开#

如果周期函数f(x)f(x)是偶函数,由傅里叶系数的计算公式可见,正弦级数(反对称)项系数均为零,展开式称为傅里叶余弦级数

f(x)=a0+k=1akcoskπxlf(x)=a_0+\sum_{k=1}^\infty a_k\cos\frac{k\pi x}l

如果周期函数f(x)f(x)是奇函数,由傅里叶系数的计算公式可见,余弦级数(包括常数项,对称)项系数均为零,展开式成为傅里叶正弦级数

f(x)=k=1bksinkπxlf(x)=\sum_{k=1}^\infty b_k\sin\frac{k\pi x}l

3、定义在有限区间上的函数的傅里叶展开#

如果函数的定义域是一个有限的区间,可以采取延拓的方法,使其成为某个周期函数的一部分。然后再对延拓后的周期函数进行傅里叶级数展开。常见的延拓方式:

  1. [0,T][0,T]作为函数的周期进行延拓。
  2. 进行奇延拓。
  3. 进行偶延拓。

4、复数形式的傅里叶级数#

将傅里叶级数表示成复数形式:

coskωx=12(eikωx+eikωx)sinkωx=12i(eikωxeikωx)\cos k\omega x=\frac{1}{2}\left(e^{\mathrm{i}k\omega x}+e^{-\mathrm{i}k\omega x}\right)\quad\sin k\omega x=\frac{1}{2\mathrm{i}}\left(e^{\mathrm{i}k\omega x}-e^{-\mathrm{i}k\omega x}\right)an=1lllf(x)12(eikωx+eikωx)dxbn=1lllf(x)12i(eikωxeikωx)dxa_n=\frac{1}{l}\int_{-l}^lf(x)\frac{1}{2}\left(e^{\mathrm{i}k\omega x}+e^{-\mathrm{i}k\omega x}\right)\mathrm{d}x\quad b_n=\frac{1}{l}\int_{-l}^lf(x)\frac{1}{2\mathrm{i}}\left(e^{\mathrm{i}k\omega x}-e^{-\mathrm{i}k\omega x}\right)\mathrm{d}x

我们可以得到:

akcoskωx+bksinkωx=14lllf(ξ)(eikωξ+eikωξ)dξ(eikωx+eikωx)14lllf(ξ)(eikωξeikωξ)dξ(eikωxeikωx)=12lllf(ξ)eikωξdξeikωx+12lllf(ξ)eikωξdξeikωx\begin{aligned}a_k\cos k\omega x+b_k\sin k\omega x=&\frac{1}{4l}\int_{-l}^lf(\xi)\left(e^{\mathrm{i}k\omega\xi}+e^{-\mathrm{i}k\omega\xi}\right)\mathrm{d}\xi\cdot\left(e^{\mathrm{i}k\omega x}+e^{-\mathrm{i}k\omega x}\right)\\&-\frac{1}{4l}\int_{-l}^lf(\xi)\left(e^{\mathrm{i}k\omega\xi}-e^{-\mathrm{i}k\omega\xi}\right)\mathrm{d}\xi\cdot\left(e^{\mathrm{i}k\omega x}-e^{-\mathrm{i}k\omega x}\right)\\=&\frac{1}{2l}\int_{-l}^lf(\xi)e^{-\mathrm{i}k\omega\xi}\mathrm{d}\xi\cdot e^{\mathrm{i}k\omega x}+\frac{1}{2l}\int_{-l}^lf(\xi)e^{\mathrm{i}k\omega\xi}\mathrm{d}\xi\cdot e^{-\mathrm{i}k\omega x}\end{aligned}

将上式代入傅里叶级数中,得到:

f(x)=12lllf(ξ)dξ+k=1(12lllf(ξ)eikωξdξeikωx+12lllf(ξ)eikωξdξeikωx)f(x)=\frac{1}{2l}\int_{-l}^lf(\xi)\mathrm{d}\xi+\sum_{k=1}^\infty\left(\frac{1}{2l}\int_{-l}^lf(\xi)e^{-\mathrm{i}k\omega\xi}\mathrm{d}\xi\cdot e^{\mathrm{i}k\omega x}+\frac{1}{2l}\int_{-l}^lf(\xi)e^{\mathrm{i}k\omega\xi}\mathrm{d}\xi\cdot e^{-\mathrm{i}k\omega x}\right)

展开得:

f(x)=12lllf(ξ)dξ+k=112lllf(ξ)eikωξdξeikωx+k=112lllf(ξ)eikωξdξeikωxf(x)=\frac{1}{2l}\int_{-l}^lf(\xi)\mathrm{d}\xi+\sum_{k=1}^\infty\frac{1}{2l}\int_{-l}^lf(\xi)e^{-\mathrm{i}k\omega\xi}\mathrm{d}\xi\cdot e^{\mathrm{i}k\omega x}+\sum_{k=-\infty}^1\frac{1}{2l}\int_{-l}^lf(\xi)e^{-\mathrm{i}k\omega\xi}\mathrm{d}\xi\cdot e^{\mathrm{i}k\omega x}

如果记:

ck=12lllf(ξ)eikωξdξc_k=\frac{1}{2l}\int_{-l}^lf(\xi)e^{-\mathrm{i}k\omega\xi}\mathrm{d}\xi

最终得到复数形式的傅里叶级数的展开表达式:

f(x)=k=ckeikωxf(x)=\sum^{\infty}_{k=-\infty}c_ke^{\mathrm{i}k\omega x}

在复数形式的傅里叶函数序列为:

eikωx,k=0,±1,±2,...,±n,...e^{\mathrm{i}k\omega x},k=0,\pm1,\pm2,...,\pm n,...

复数形式的傅里叶级数项也是正交的,但是是这里的正交与实变函数的正交性有一定的区别,此处是两共轭函数乘积的积分是00

lleikωx(einωx)dx=lleikωxeinωxdx=llei(kn)ωxdx=1i(kn)ωei(kn)ωxll=0,kn\int_{-l}^{l}e^{\mathrm{i}k\omega x}\left(e^{\mathrm{i}n\omega x}\right)^{*}\mathrm{d}x=\int_{-l}^{l}e^{\mathrm{i}k\omega x}e^{-\mathrm{i}n\omega x}\mathrm{d}x=\int_{-l}^{l}e^{\mathrm{i}(k-n)\omega x}dx=\frac{1}{\mathrm{i}(k-n)\omega}e^{\mathrm{i}(k-n)\omega x}\big|_{-l}^{l}=0,k\neq n12llleinωx(einωx)dx=1\frac{1}{2l}\int_{-l}^le^{\mathrm{i}n\omega x}(e^{\mathrm{i}n\omega x})^*\mathrm{d}x=1

那么应用与实变函数相同的方法,可以计算每一项的系数。假设复数形式的傅里叶级数展开式为:

f(x)=k=ckeikωxf(x)=\sum_{k=-\infty}^\infty c_ke^{\mathrm{i}k\omega x}

那么其系数为:

cn=12lllf(x)einωxdxc_n=\frac{1}{2l}\int_{-l}^lf(x)e^{-\mathrm{in}\omega x}\mathrm{d}x

5、广义傅里叶级数#

除了用三角函数展开外,我们还可以用其他形式的级数进行展开。对于分段连续的周期函数,总可以用一组完备、正交的函数序列来逼近,而且这种表示方式是唯一的。

f(x)=k=ckXk(x)f(x)=\sum_{k=-\infty}^\infty c_kX_k(x)ck=llf(x)Xk(x)dxc_k=\int_{-l}^lf(x)X_k(x)\mathrm{d}x

二、傅里叶积分与变换#

傅里叶变换的意义之一在于将振幅关于时间的图像,转化为振幅关于频率的图像。。

1、实数形式的傅里叶变换#

根据上一部分内容可知,对于T=2lT=2l的周期函数,如果满足狄利克雷条件,可以展开为傅里叶级数:

f(x)=a0+k=1(akcosωkx+bksinωkx)a0=12lllf(x)dxak=1lllf(x)cosωkxdxbk=1lllf(x)sinωkxdx\begin{aligned}f(x)&=a_{0}+\sum_{k=1}^{\infty}\left(a_{k}\cos\omega_{k}x+b_{k}\sin\omega_{k}x\right)\\a_{0}&=\frac{1}{2l}\int_{-l}^{l}f(x)dx\quad\\a_{k}&=\frac{1}{l}\int_{-l}^{l}f(x)\cos\omega_{k}xdx\\b_{k}&=\frac{1}{l}\int_{-l}^{l}f(x)\sin\omega_{k}xdx\end{aligned}

对于非周期函数,可以将它看成是周期2l2l\to\infty函数的极限,此时:

limla0=liml12lllf(x)dx=0\lim_{l\to\infty}a_0=\lim_{l\to\infty}\frac{1}{2l}\int_{-l}^{l}f(x)\mathrm{d}x=0

傅里叶级数中余弦部分的每一项为:

akcosωkx=1lllf(ξ)cosωkξdξcosωkx=1πllf(ξ)cosωkξdξcosωkxΔωk\begin{aligned}a_{k}\cos\omega_{k}x&=\frac{1}{l}\int_{-l}^{l}f(\xi)\cos\omega_{k}\xi \mathrm{d}\xi\cdot\cos\omega_{k}x\\&=\frac{1}{\pi}\int_{-l}^{l}f(\xi)\cos\omega_{k}\xi \mathrm{d}\xi\cdot\cos\omega_{k}x\cdot\Delta\omega_{k}\end{aligned}

其中Δωk=πl\Delta \omega_k=\frac{\pi}{l},下面定义新函数:

Ml(ω)=1πllf(ξ)cosωξdξcosωxM_l(\omega)=\frac{1}{\pi}\int_{-l}^lf(\xi)\cos\omega\xi \mathrm{d}\xi\cdot\cos\omega x

于是得到:

k=1akcosωkx=k=1Ml(ωk)Δωk\sum_{k=1}^\infty a_k\cos\omega_kx=\sum_{k=1}^\infty M_l(\omega_k)\Delta\omega_k

ll\to\infty时,Δωk0\Delta\omega_k\to0,根据函数积分的定义,上式应该是Ml(ω)M_{_l}(\omega)ω\omega从0到\circ的积分:

limllakcosωkx=liml0Ml(ω)dω=1π0[f(ξ)cosωξdξ]cosωxdω\lim_{l\to\infty}\sum_{l\to\infty}^{\infty}a_{k}\cos\omega_{k}x=\lim_{l\to\infty}\int_{0}^{\infty}M_{l}(\omega)\mathrm{d}\omega=\frac{1}{\pi}\int_{0}^{\infty}\biggl[\int_{-\infty}^{\infty}f(\xi)\cos\omega\xi \mathrm{d}\xi\biggr]\cos\omega x\mathrm{d}\omega

同理,傅里叶级数中正弦部分和的极限为:

limlk=1bksinωkx=1π0[f(ξ)sinωξdξ]sinωxdω\lim_{l\to\infty}\sum_{k=1}^{\infty}b_{k}\sin\omega_{k}x=\frac{1}{\pi}\int_{0}^{\infty}\left[\int_{-\infty}^{\infty}f(\xi)\sin\omega\xi \mathrm{d}\xi\right]\sin\omega x\mathrm{d}\omega

因此,对于满足一些特定条件(见下方傅里叶积分定理)的非周期函数,如果我们引进:

A(ω)=1πf(ξ)cosωξdξA(\omega)=\frac{1}{\pi}\int_{-\infty}^{\infty}f(\xi)\cos\omega\xi \mathrm{d}\xi B(ω)=1πf(ξ)sinωξdξB(\omega)=\frac{1}{\pi}\int_{-\infty}^{\infty}f(\xi)\sin\omega\xi \mathrm{d}\xi

上面两式称为傅里叶变换,那么:

f(x)=liml(k=1akcosωkx+bksinωkx)f(x)=0A(ω)cosωxdω+0B(ω)sinωxdω\begin{aligned}&f(x)=\operatorname*{lim}_{l\to\infty}\left(\sum_{k=1}^{\infty}a_{k}\cos\omega_{k}x+b_{k}\sin\omega_{k}x\right)\\&f(x)=\int_{0}^{\infty}A(\omega)\cos\omega x\mathrm{d}\omega+\int_{0}^{\infty}B(\omega)\sin\omega x\mathrm{d}\omega\end{aligned}

上面的第一个等式称为傅里叶展开,第二个积分称为傅里叶积分。再做出如下定义:

C(ω)=A2(ω)+B2(ω),tanφ(ω)=B(ω)A(ω)C(\omega)=\sqrt{A^{2}(\omega)+B^{2}(\omega)},\tan\varphi(\omega)=\frac{B(\omega)}{A(\omega)}

C(ω)C(\omega)称为f(x)f(x)振幅(幅值)谱φ(ω)\varphi(\omega)称为f(x)f(x)相位谱。那么傅里叶积分可以表示为:

f(x)=0C(ω)cos[ωxφ(ω)]dωf(x)=\int_0^\infty C(\omega)\cos[\omega x-\varphi(\omega)]\mathrm{d}\omega

特别地,如果f(x)f(x)为偶函数,那么可以作出傅里叶余弦变换:

B(ω)=1πf(ξ)sinωξdξ=0B(\omega)=\frac{1}{\pi}\int_{-\infty}^{\infty}f(\xi)\sin\omega\xi \mathrm{d}\xi=0A(ω)=2π0f(ξ)cosωξdξA(\omega)=\frac{2}{\pi}\int_{0}^{\infty}f(\xi)\cos\omega\xi \mathrm{d}\xi

从而得出傅里叶余弦积分:

f(x)=0A(ω)cosωxdωf(x)=\int_0^\infty A(\omega)\cos\omega x\mathrm{d}\omega

同理也存在傅里叶正弦变换和傅里叶正弦积分:

A(ω)=1πf(ξ)cosωξdξ=0A(\omega)=\frac{1}{\pi}\int_{-\infty}^{\infty}f(\xi)\cos\omega\xi \mathrm{d}\xi=0B(ω)=2π0f(ξ)sinωξdξB(\omega)=\frac{2}{\pi}\int_{0}^{\infty}f(\xi)\sin\omega\xi \mathrm{d}\xif(x)=0B(ω)sinωxdωf(x)=\int_{0}^{\infty}B(\omega)\sin\omega x \mathrm{d}\omega

傅里叶积分定理

如果函数f(x)f(x)在区间(,)(-\infty,\infty)上满足条件:

  1. f(x)f(x)在任一有限区间上满足狄利克雷条件(只有有限个第一类间断点)

  2. f(x)f(x)(,)(-\infty,\infty)上绝对可积(即f(x)dx\int_{-\infty}^{\infty}|f(x)|dx收敛)

那么f(x)f(x) 可以表示成傅里叶积分的形式,在间断点傅里叶积分的值等于函数左右极限的平均。

2、复数形式的傅里叶变换#

复数形式傅里叶级数的展开式为:

f(x)=k=ckeikωxf(x)=\sum^{\infty}_{k=-\infty}c_ke^{\mathrm{i}k\omega x}ck=12lllf(x)eikωxdxc_k=\frac{1}{2l}\int^l_{-l}f(x)e^{-\mathrm{i}k\omega x}\mathrm{d}x

同实函数形式的傅里叶变换一样,定义一系列点:

ωk=kπl,k=0,±1,±2,ω=πl\omega_k=\frac{k\pi}l,k=0,\pm1,\pm2,\cdots\quad\omega=\frac{\pi}l

引入一个新函数Ft(ω)F_t(\omega)

Fl(ω)=12πllf(x)eiωxdxFl(ωk)=12πllf(x)eiωkxdx=lπck\begin{aligned}&F_{l}(\omega){=}\frac{1}{2\pi}\int_{-l}^{l}f(x)e^{-\mathrm{i}\omega x}\mathrm{d}x\\&F_{l}(\omega_{k}){=}\frac{1}{2\pi}\int_{-l}^{l}f(x)e^{-\mathrm{i}\omega_{k}x}\mathrm{d}x=\frac{l}{\pi}c_{k}\end{aligned}

如果周期2l2l有限,那么 ωk\omega_k有沿正反向和负方向的一对值。对于非周期函数,可以看成2l2l\to\infty的情形 ωk\omega_k之间的间距Δω=πl\Delta\omega=\frac\pi l 将趋向于00。然后代回复数形式的傅里叶级数:

ck=πl12πllf(x)eiωkxdx=Fl(ωk)Δωkc_k=\frac{\pi}{l}\frac{1}{2\pi}\int_{-l}^lf(x)e^{-\mathrm{i}\omega_kx}dx=F_l(\omega_k)\Delta\omega_k

其中Δωk=πl\Delta\omega_k=\frac{\pi}{l},当ll\to\infty时,使用定积分的定义,得到:

F(ω)=limlFl(ω)=12πf(x)eiωxdxF(\omega)=\lim_{l\to\infty}F_l(\omega)=\frac{1}{2\pi}\int_{-\infty}^\infty f(x)e^{-\mathrm{i}\omega x}\mathrm{d}x

这个函数便是复数形式的傅里叶变换F(ω)F(\omega)的模长为傅里叶变换的幅值谱,F(ω)F(\omega)的幅角为傅里叶变换的相位谱。

带回到原函数:

f(x)=k=ckeiωkx=k=Fl(ωk)eiωkxΔωkf(x)=\sum_{k=-\infty}^\infty c_ke^{\mathrm{i}\omega_kx}=\sum_{k=-\infty}^\infty F_l(\omega_k)e^{\mathrm{i}\omega_kx}\Delta\omega_k

2l2l\to\infty

f(x)=limlk=Fl(ωk)eiωkxΔωk=F(ω)eiωxddωf(x)=\lim_{l\to\infty}\sum_{k=-\infty}^\infty F_l(\omega_k)e^{\mathrm{i}\omega_kx}\Delta\omega_k=\int_{-\infty}^\infty F(\omega)e^{\mathrm{i}\omega x}d\mathrm{d}\omega

这就是复数形式的傅里叶积分。

有时候为了系数均值,也有以下形式的正和逆傅里叶变换:

{F(ω)=12πf(x)eiωxdxf(x)=12πF(ω)eiωxdω\begin{cases}F(\omega)=\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}f(x)e^{-\mathrm{i}\omega x}\mathrm{d}x\\f(x)=\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}F(\omega)e^{\mathrm{i}\omega x}\mathrm{d}\omega&\end{cases}

3、傅里叶变换的基本性质#

(1) 线性性质#

f(x)F(ω)g(x)G(ω)f(x)+g(x)F(ω)+G(ω)f(x)\to F(\omega),g(x)\to G(\omega)\Rightarrow f(x)+g(x)\to F(\omega)+G(\omega)

(2) 导数性质#

f(x)F(ω)f(ω)(iω)F(ω)f(x)\to F(\omega)\Rightarrow f’(\omega)\to(\mathrm{i}\omega)F(\omega)

证明

f(x)F(ω)F(ω)=12πf(x)eiωxdxf(x)\to F(\omega)\Rightarrow F(\omega)=\frac1{2\pi}\int_{-\infty}^\infty f(x)e^{-\mathrm{i}\omega x}\mathrm{d}x 12πf(x)eiωxdx=12πeiωxdf=12πeiωxf(iω)feiωxdx\frac1{2\pi}\int_{-\infty}^\infty f^{\prime}(x)e^{-\mathrm{i}\omega x}\mathrm{d}x=\frac1{2\pi}\int_{-\infty}^\infty e^{-\mathrm{i}\omega x}\mathrm{d}f=\frac1{2\pi}e^{-\mathrm{i}\omega x}f\bigg|_{-\infty}^\infty-(-\mathrm{i}\omega)\int_{-\infty}^\infty fe^{-\mathrm{i}\omega x}\mathrm{d}x

根据傅里叶积分定理,有limx±f(x)=0\lim_{x\to\pm\infty} f(x)=0,所以:

12πf(x)eiωxdx=(iω)feiωxdx=(iω)F(ω)\frac1{2\pi}\int_{-\infty}^\infty f^{\prime}(x)e^{-\mathrm{i}\omega x}dx=(\mathrm{i}\omega)\int_{-\infty}^\infty fe^{-\mathrm{i}\omega x}dx=(\mathrm{i}\omega)F(\omega)

(3) 积分性质#

f(x)F(ω)axf(ξ)dξ1iωF(ω)f(x)\to F(\omega)\Rightarrow\int^x_af(\xi)d\xi\to\frac{1}{\mathrm{i}\omega}F(\omega)
NOTE

这里的积分符号x\int^x表示的是变上限积分。

证明

f(x)F(ω)F(ω)=12πf(x)eiωxdxf(x)\to F(\omega)\Rightarrow F(\omega)=\frac{1}{2\pi}\int_{-\infty}^{\infty}f(x)e^{-\mathrm{i}\omega x}\mathrm{d}x g(x)=xf(ξ)dξg(x)=f(x)iωG(ω)=F(ω)G(ω)=1iωF(ω)\begin{aligned}g(x)&=\int^xf(\xi)\mathrm{d}\xi\Rightarrow g^{\prime}(x)=f(x)\\&\Rightarrow\operatorname{i}\omega G(\omega)=F(\omega)\\&\Rightarrow G(\omega)=\frac{1}{\mathrm{i}\omega}F(\omega)\end{aligned}

(4) 相似性性质#

相似性性质可以理解为将信号压缩或拉伸处理:

f(x)F(ω)f(ax)1aF(ωa)f(x)\to F(\omega)\Rightarrow f(ax)\to\frac{1}{a}F\left(\frac{\omega}{a}\right)

证明

f(x)F(ω)F(ω)=12πf(x)eiωxdxf(x)\to F(\omega)\Rightarrow F(\omega)=\frac{1}{2\pi}\int_{-\infty}^\infty f(x)e^{-\mathrm{i}\omega x}\mathrm{d}x 12πf(ax)eiωxdx=12πaf(ax)eiωaaxd(ax)=12πaf(y)eiωaydy=1a12πf(y)eiωaydy\begin{aligned}\frac{1}{2\pi}\int_{-\infty}^{\infty}f(ax)e^{-\mathrm{i}\omega x}\mathrm{d}x&=\frac{1}{2\pi a}\int_{-\infty}^{\infty}f(ax)e^{-\mathrm{i}\frac{\omega}{a}ax}\mathrm{d}(ax)\\&=\frac{1}{2\pi a}\int_{-\infty}^\infty f(y)e^{-\mathrm{i}\frac{\omega}{a}y}\mathrm{d}y=\frac{1}{a}\frac{1}{2\pi}\int_{-\infty}^\infty f(y)e^{-\mathrm{i}\frac{\omega}{a}y}\mathrm{d}y\end{aligned}

代回即可得到结论。

(5) 延迟性质#

延迟性质表示的是频域幅值不变,但是相位产生变化:

f(x)F(ω)f(xx0)eiωx0F(ω)f(x)\to F(\omega)\Rightarrow f(x-x_0)\to e^{-\mathrm{i}\omega x_0}F(\omega)

证明

f(x)F(ω)F(ω)=12πf(x)eiωxdx12πf(xx0)eiωxdx=12πf(y)eiω(y+x0)dy=eiωx0F(ω)\begin{aligned}&f(x)\to F(\omega)\Rightarrow F(\omega)=\frac{1}{2\pi}\int_{-\infty}^{\infty}f(x)e^{-\mathrm{i}\omega x}\mathrm{d}x\\&\frac{1}{2\pi}\int_{-\infty}^{\infty}f(x-x_0)e^{-\mathrm{i}\omega x}\mathrm{d}x=\frac{1}{2\pi}\int_{-\infty}^{\infty}f(y)e^{-\mathrm{i}\omega(y+x_0)}\mathrm{d}y=e^{-\mathrm{i}\omega x_0}F(\omega)\end{aligned}

(6) 位移性质#

位移性质与延迟性质不同,位移是指频率的整体位移:

f(x)F(ω)eiω0xf(x)F(ωω0)f(x)\to F(\omega)\Rightarrow e^{\mathrm{i}\omega_0x}f(x)\to F(\omega-\omega_0)

证明

f(x)F(ω)F(ω)=12πf(x)eiωxdx12πeiω0xf(x)eiωxdx=12πf(x)ei(ωω0)xdx=F(ωω0)\begin{aligned}&f(x)\to F(\omega)\Rightarrow F(\omega)=\frac{1}{2\pi}\int_{-\infty}^\infty f(x)e^{-\mathrm{i}\omega x}\mathrm{d}x\\&\frac{1}{2\pi}\int_{-\infty}^\infty e^{i\omega_0x}f(x)e^{-\mathrm{i}\omega x}\mathrm{d}x=\frac{1}{2\pi}\int_{-\infty}^\infty f(x)e^{-\mathrm{i}(\omega-\omega_0)x}\mathrm{d}x=F(\omega-\omega_0)\end{aligned}

(7) 卷积性质#

卷积,也称为旋积或褶积,指通过两个函数ffgg生成第三个函数的一种数学运算,其本质是一种特殊的积分变换,表征函数ffgg经过翻转和平移的重叠部分函数值乘积对重叠长度的积分。一部分的内容在概率论中的卷积公式提到过。

卷积大概就是两种操作:

  1. 翻转:系统对“当前时刻”的响应,依赖于“过去时刻的输入”(而非未来),体现了时间因果性。
  2. 平移:平移tt个单位,相当于计算“输入函数与翻转后的系统响应在第tt个重叠时刻的加权积分”, 覆盖所有时间tt即可得到完整的系统输出。
fg=0tf(τ)g(tτ)dτf*g=\int_0^tf(\tau)g(t-\tau)\mathrm{d}\tau fg=f(τ)g(xτ)dτf*g=\int_{-\infty}^\infty f(\tau)g(x-\tau)d\tau

上面两式为卷积计算的形式,使用*表示卷积运算。下面是卷积运算的几个性质:

  1. 交换律
  2. 结合律
  3. 分配律

下面证明傅里叶变换的卷积性质:

fF(ω),gG(ω)fg2πF(ω)G(ω)f\to F(\omega),g\to G(\omega)\Rightarrow f*g\to2\pi F(\omega)G(\omega)

证明

F(ω)=12πf(x)eiωxdxG(ω)=12πg(x)eiωxdxF(\omega)=\frac{1}{2\pi}\int_{-\infty}^\infty f(x)e^{-\mathrm{i}\omega x}\mathrm{d}x\quad G(\omega)=\frac{1}{2\pi}\int_{-\infty}^\infty g(x)e^{-\mathrm{i}\omega x}\mathrm{d}x f(x)g(x)eiωxdx=eiωxdxf(τ)g(xτ)dτ=f(τ)dτg(xτ)eiωxdx=y=xτf(τ)dτg(y)eiω(y+τ)dy=f(τ)dτg(y)eiωyeiωτdy=f(τ)eiωτdτg(y)eiωydy\begin{aligned}&\int_{-\infty}^{\infty}f(x)*g(x)e^{-\mathrm{i}\omega x}\mathrm{d}x=\int_{-\infty}^{\infty}e^{-\mathrm{i}\omega x}\mathrm{d}x\int_{-\infty}^{\infty}f(\tau)g(x-\tau)\mathrm{d}\tau\\&=\int_{-\infty}^{\infty}f(\tau)d\tau\int_{-\infty}^{\infty}g(x-\tau)e^{-\mathrm{i}\omega x}\mathrm{d}x\xlongequal{y=x-\tau}\int_{-\infty}^{\infty}f(\tau)\mathrm{d}\tau\int_{-\infty}^{\infty}g(y)e^{-\mathrm{i}\omega(y+\tau)}\mathrm{d}y\\&=\int_{-\infty}^{\infty}f(\tau)\mathrm{d}\tau\int_{-\infty}^{\infty}g(y)e^{-\mathrm{i}\omega y}e^{-\mathrm{i}\omega\tau}\mathrm{d}y=\int_{-\infty}^{\infty}f(\tau)e^{-\mathrm{i}\omega\tau}\mathrm{d}\tau\int_{-\infty}^{\infty}g(y)e^{-\mathrm{i}\omega y}\mathrm{d}y\end{aligned} 12πf(x)g(x)eiωxdx=2π12πf(τ)eiωτdτ12πg(y)eiωydy\frac{1}{2\pi}{\int_{-\infty}^{\infty}f(x)^*g(x)e^{-\mathrm{i}\omega x}\mathrm{d}x}=2\pi\frac{1}{2\pi}{\int_{-\infty}^{\infty}f(\tau)e^{-\mathrm{i}\omega\tau}\mathrm{d}\tau}\cdot\frac{1}{2\pi}{\int_{-\infty}^{\infty}g(y)e^{-\mathrm{i}\omega y}\mathrm{d}y}

4、使用傅里叶变换求微分方程#

研究下面的偏微分方程:

utt(x,t)a2uxx(x,t)=0,x(,),t>0u(x,0)=φ(x),ut(x,0)=ψ(x)\begin{aligned}&u_{tt}(x,t)-a^2u_{xx}(x,t)=0,x\in(-\infty,\infty),t>0\\&u(x,0)=\varphi(x),u_t(x,0)=\psi(x)\end{aligned}

对于u(x,t)u(x,t)关于xx进行傅里叶变换:

u(x,t)U(ω,t),uxx(x,t)(iω)2U(ω,t)u(x,t)\to U(\omega,t),u_{xx}(x,t)\to(\mathrm{i}\omega)^2U(\omega,t)u(x,0)U(ω,0),ut(x,0)Ut(ω,0)u(x,0)\to U(\omega,0),u_t(x,0)\to U_t(\omega,0)φ(x)Φ(ω),ψ(x)Ψ(ω)\varphi(x)\to\Phi(\omega),\psi(x)\to\Psi(\omega)

变换后代回到原方程

Utt(ω,t)+a2ω2U(ω,t)=0,t>0U_{tt}(\omega,t)+a^2\omega^2U(\omega,t)=0,t>0U(ω,0)=Φ(ω),Ut(ω,0)=Ψ(ω)U(\omega,0)=\Phi(\omega),U_t(\omega,0)=\Psi(\omega)

于是,原偏微分方程变成了一个二阶常系数常微分方程,使用待定系数法求解得到通解为:

U(ω,t)=C1eiaωt+C2eiaωtU(\omega,t)=C_1e^{\mathrm{i}a\omega t}+C_2e^{-\mathrm{i}a\omega t}

然后利用关系解出一个特解,并代回:

C1+C2=Φ(ω)C1iaωC2iaω=Ψ(ω)\begin{aligned}&C_1+C_2=\Phi(\omega)\\&C_1\mathrm{i}a\omega-C_2\mathrm{i}a\omega=\Psi(\omega)\end{aligned}U(ω,t)=12(Φ(ω)+Ψ(ω)iaω)eiaωt+12(Φ(ω)Ψ(ω)iaω)eiaωtU(\omega,t)=\frac{1}{2}\left(\Phi(\omega)+\frac{\Psi(\omega)}{\mathrm{i}a\omega}\right)e^{\mathrm{i}a\omega t}+\frac{1}{2}\left(\Phi(\omega)-\frac{\Psi(\omega)}{\mathrm{i}a\omega}\right)e^{-\mathrm{i}a\omega t}

然后根据傅里叶变换的性质,求傅里叶逆变换:

f(x)F(ω)f(xx0)eiωx0F(ω)f(x)\to F(\omega)\Rightarrow f(x-x_0)\to e^{-\mathrm{i}\omega x_0}F(\omega)f(x)F(ω)xf(ξ)dξ1iωF(ω)f(x)\to F(\omega)\Rightarrow\int^xf(\xi)\mathrm{d}\xi\to\frac{1}{\mathrm{i}\omega}F(\omega)

带回得到:

φ(x+at)Φ(ω)eiaωt,φ(xat)Φ(ω)eiaωt\varphi(x+at)\to\Phi(\omega)e^{\mathrm{i}a\omega t},\varphi(x-at)\to\Phi(\omega)e^{-\mathrm{i}a\omega t}12ax+atψ(ξ)dξ12Ψ(ω)iaωeiaωt,12axatψ(ξ)dξdx12Ψ(ω)iaωeiaωt\frac1{2a}\int_{-\infty}^{x+at}\psi(\xi)\mathrm{d}\xi\to\frac12\frac{\Psi(\omega)}{\mathrm{i}a\omega}e^{\mathrm{i}a\omega t},\frac1{2a}\int_{-\infty}^{x-at}\psi(\xi)d\xi \mathrm{d}x\to\frac12\frac{\Psi(\omega)}{\mathrm{i}a\omega}e^{-\mathrm{i}a\omega t}

带回到方程的解中,得:

u(x,t)=12[φ(x+at)+φ(xat)]+12axatx+atψ(ξ)dξu(x,t)=\frac{1}{2}[\varphi(x+at)+\varphi(x-at)]+\frac{1}{2a}\int_{x-at}^{x+at}\psi(\xi)\mathrm{d}\xi

5、多重傅里叶积分#

对于多维无界空间上的非周期函数,可以依次对每一维坐标进行相应的傅里叶变换和傅里叶积分,最终得到多维空间中的傅里叶变换对。对于三维空间,取坐标为(x,y,z)(x,y,z),非周期函数为f(x,y,z)f(x,y,z) 。先对f(x)=12y,z)f(x)=-\frac{1}{2}y,z) 关于xx进行傅里叶变换,得到F1(k1,y,z)F_1(k_1,y,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进行傅里叶变换,得到F3(k1,k2,k3)F_3( k_1, k_2, k_3)

F1(k1,y,z)=12πf(x,y,z)e(kx)dxF2(k1,k2,z)=12πF1(k1,y,z)e(kx)dy=(12π)2f(x,y,z)e(kx)e(kx)dxdyF3(k1,k2,k3)=12πF2(k1,k2,z)e(kx)dz=(12π)3f(x,y,z)e(kx)e(kx)e(kx)dxdydz\begin{aligned}F_{1}\left(k_{1},y,z\right)&=\frac{1}{2\pi}\int_{-\infty}^{\infty}f(x,y,z)\mathrm{e}^{-(kx)}\mathrm{d}x\\F_{2}\left(k_{1},k_{2},z\right)&=\frac{1}{2\pi}\int_{-\infty}^{\infty}F_{1}\left(k_{1},y,z\right)\mathrm{e}^{-(kx)}\mathrm{d}y\\&=\left(\frac{1}{2\pi}\right)^{2}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}f(x,y,z)\mathrm{e}^{-(kx)}\mathrm{e}^{-(kx)}\mathrm{d}x\mathrm{d}y\\F_{3}\left(k_{1},k_{2},k_{3}\right)&=\frac{1}{2\pi}\int_{-\infty}^{\infty}F_{2}\left(k_{1},k_{2},z\right)\mathrm{e}^{-(kx)}\mathrm{d}z\\&=\left(\frac{1}{2\pi}\right)^{3}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}f(x,y,z)\mathrm{e}^{-(kx)}\mathrm{e}^{-(kx)}\mathrm{e}^{-(kx)}\mathrm{d}x\mathrm{d}y\mathrm{d}z\end{aligned}

所以,三维空间的傅里叶变换为:

F(k1,k2,k3)=(12π)3f(x,y,z)ei(k1x+k2y+k3z)dxdydzF\left(k_1,k_2,k_3\right)=\left(\frac{1}{2\pi}\right)^3\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}f(x,y,z)\mathrm{e}^{-\mathrm{i}(k_1x+k_2y+k_3z)}\mathrm{d}x\mathrm{d}y\mathrm{d}z

相应的傅里叶积分为:

f(x,y,z)=F(k1,k2,k3)ei(k1x+k2y+k3z)dk1dk2dk3f(x,y,z)=\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}F(k_{1},k_{2},k_{3})\mathrm{e}^{\mathrm{i}(k_{1}x+k_{2}y+k_{3}z)}\mathrm{d}k_{1}\mathrm{d}k_{2}\mathrm{d}k_{3}

如果引入位置空间的矢量r\mathbf{r}及频率域空间的矢量k\mathbf{k}r=i1x+i2y+i3z\mathbf{r}=i_{1}x+i_{2}y+i_{3}zk=i1k1+i2k2+i3k3 \mathbf{k}=i_{1}k_{1}+i_{2}k_{2}+i_{3}k_{3},可将三重傅里叶积分及变换写成较简洁的形式

F(k)=(12π)3f(r)[eikr]drF(\mathbf{k})=\left(\frac{1}{2\pi}\right)^{3}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}f(\mathbf{r})\left[\mathrm{e}^{\mathrm{i}\mathbf{k}\cdot\mathbf{r}}\right]^{*}\mathrm{d}\mathbf{r}f(r)=F(k)eikrdkf(\mathbf{r})=\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}F(\mathbf{k})\mathrm{e}^{\mathrm{i}\mathbf{k}\cdot\mathbf{r}}\mathrm{d}\mathbf{k}

这里:kr=k1x+k2y+k3z\mathbf{k}\cdot\mathbf{r}=k_{1}x+k_{2}y+k_{3}zdr=dxdydz\mathrm{d}\mathbf{r}=\mathrm{d}x\mathrm{d}y\mathrm{d}zdk=dk1dk2dk3\mathrm{d}\mathbf{k}=\mathrm{d}k_{1}\mathrm{d}k_{2}dk_{3}

三、δ\delta函数#

1、δ\delta函数的定义#

δ\delta函数用于数学上描述点物理量,如点质量、集中力、点电荷、脉冲信号等,也可以用来求解微分方程。

下面考虑一根线段,若质量mm均匀分布在长为ll的线段[l2,l2][-\frac l2,\frac l2]上,其线段的线密度ρl(x)\rho_l(x)可以表示为:

ρl(x)={0(x>l2),ml(xl2),ρl(x)=mlrect(xl)\rho_l(x)=\begin{cases}0&(\mid x\mid>\frac l2),\\\dfrac ml&(\mid x\mid\leqslant \frac l2),&&\end{cases}\rho_l(x)=\frac{m}{l}\mathrm{rect}\left(\frac{x}{l}\right)

其中rect(x)\mathrm{rect}(x)为矩形函数,通常可以定义为:

rect(x)={1(x12)0(x>12)\mathrm{rect}(x) = \begin{cases} 1 & (|x| \leq \frac{1}{2}) \\ 0 & (|x| > \frac{1}{2}) \end{cases}

当上述线段长度l0l\to0,我们将得到位于坐标原点质量为mm的一个质点,而线密度函数就成为质点的线密度函数,将它记为ρ(x)\rho(x),则:

liml0ρl(x)dx=ρ(x)dx=m\lim_{l\to0}\int_{-\infty}^\infty\rho_l(x)\mathrm{d}x=\int_{-\infty}^\infty\rho(x)\mathrm{d}x=m

如果根据前面线密度定义直接取极限,则有

ρl(x)={0(x>l2)ml(xl2)ρl(x)=mlrect(xl)\rho_l(x)=\begin{cases}0&(\mid x\mid>l\mid2)\\m\mid l&(\mid x\mid\leqslant l\mid2)\end{cases}\qquad\rho_l(x)=\frac ml\operatorname{rect}\Big(\frac xl\Big)ρ(x)=liml0ρl(x)=liml0mlrect(xl)={0(x0)(x=0)\rho(x)=\lim_{l\to0}\rho_l(x)=\lim_{l\to0}\frac ml\text{rect}\Big(\frac xl\Big)=\begin{cases}0&(x\neq0)\\\infty&(x=0)\end{cases}

由此可以看出质点线密度分布函数的直观图像,它在x=0x=0处为无穷大,而在x0x\neq0处则处处为零。其在整个范围内的积分为mm。对于质点、点电荷、瞬时力这类集中于空间某一点,或者脉冲等集中于某个时间点的物理量,引入δ\delta函数以描述其一种极限的分布规律:

δ(x)={0(x0)(x=0)abδ(x)dx={0a,a,ab>01(a<0<b).δ(x)dx=1\delta(x)=\begin{cases}0&(x\neq0)\\\infty&(x=0)\end{cases}\int_a^b\delta(x)\mathrm{d}x=\begin{cases}0&\forall a,\forall a,ab>0\\1&(a<0<b).\end{cases}\quad\int_{-\infty}^\infty\delta(x)\mathrm{d}x=1

有了δ\delta函数,位于x0x_{0}而质量为mm的质点的线密度分布可以写为mδ(xx0)m\delta(x-x_{0});位于x0x_{0}而电量为qq的点电荷的线密度为qδ(xx0)q\delta(x-x_{0});作用于时刻t0t_{0}冲量为KK的瞬时力可以表述为Kδ(tt0)K\delta(t-t_{0})

δ\delta函数是一种广义函数,可以将广义函数看成是某些普通函数数列的极限,而这极限应该在积分意义下进行理解,函数的特点是满足:

δ(x)={0(x0)(x=0)abδ(x)dx={0ab>01(a<0<b)\delta(x)=\begin{cases}0&(x\neq0)\\\infty&(x=0)&&\end{cases}\int_a^b\delta(x)\mathrm{d}x=\begin{cases}0&ab>0\\1&(a<0<b)&&\end{cases}

2、δ\delta函数的一些性质#

(1) δ\delta函数是阶跃函数的导数#

对于单位阶跃函数:

H(x)={0,x<012,x=01,x>0H(x)=\begin{cases}0,x<0\\\frac{1}{2},x=0\\1,x>0&&\end{cases}

其导数满足除零以外的点都为00,且在x=0x=0处为无穷大,满足δ\delta函数的定义,故:

δ(x)=dH(x)dx\delta(x)=\frac{\mathrm{d}H(x)}{\mathrm{d}x}

(2) 挑选性#

对于任何一个定义在(,)(-\infty,\infty)上的连续函数f(τ)f(\tau),存在:

f(t0)=f(τ)δ(τt0)dτf(t_0)=\int_{-\infty}^\infty f(\tau)\delta(\tau-t_0)\mathrm{d}\tau

这称为δ\delta函数的挑选性,因为它将函数f(τ)f(\tau)在点τ=t0\tau=t_0的值f(t0)f(t_0)挑选出来。

(3) δ\delta函数的傅里叶变换#

12πδ(x)eiωxdx=12π\frac{1}{2\pi}\int_{-\infty}^\infty\delta(x)e^{-\mathrm{i}\omega x}\mathrm{d}x=\frac{1}{2\pi}δ(x)12π\delta(x)\to\frac{1}{2\pi}δ(xx0)12πeiωx0\delta(x-x_0)\to\frac{1}{2\pi}e^{-\mathrm{i}\omega x_0}
分享

如果这篇文章对你有帮助,欢迎分享给更多人!

傅里叶变换
https://www.laoguantx.cn/posts/fouriertransform/
作者
老官童鞋gogo
发布于
2025-10-18
许可协议
CC BY-NC-SA 4.0

部分信息可能已经过时

封面
Sample Song
Sample Artist
封面
Sample Song
Sample Artist
0:00 / 0:00