# Fourier 变换与 Fourier 积分

定义:f:RCf:\mathbb R\to \mathbb C。如果广义积分的 Cauchy 主值存在,也就是

limA+12πAAf(x)eiξxdxC\lim_{A\to +\infty}\dfrac 1{2\pi}\int^A_{-A}f(x)e^{-i\xi x}\mathrm dx\in\mathbb C

记为 A(ξ)A(\xi),称为 ffFourier 变换,也记为 F[f](ξ)\mathscr F[f](\xi)

A(ξ)=F[f](ξ)=12πf(x)eiξxdxA(\xi)=\mathscr F[f](\xi)=\dfrac 1{2\pi}\int^\infty_{-\infty}f(x)e^{-i\xi x}\mathrm dx

称以下为 ffFourier 积分

F[f](ξ)eiξxdξ\int^\infty_{-\infty}\mathscr F[f](\xi)e^{i\xi x}\mathrm d\xi

称以下分别为 ffFourier 正弦变换、余弦变换

a(ξ)=1πf(x)cosξxdxa(\xi)=\dfrac 1{\pi}\int^\infty_{-\infty}f(x)\cos\xi x\mathrm dx

b(ξ)=1πf(x)sinξxdxb(\xi)=\dfrac 1{\pi}\int^\infty_{-\infty}f(x)\sin\xi x\mathrm dx

性质:(Fourier 变换与 Fourier 正余弦变换)

A(ξ)=12a(ξ)ib(ξ)A(\xi)=\dfrac 12{a(\xi)-ib(\xi)}

A(ξ)=12a(ξ)+ib(ξ)A(-\xi)=\dfrac 12{a(\xi)+ib(\xi)}

# 例子

例子:(Fourier 变换与 Fourier 积分的关系)

引理:(Fourier 积分的部分和)
fR(R)f\in |\mathcal R|(\mathbb R),设 A>0A>0,则定义部分和函数

S(A,x)=12πAAF[f](ξ)eiξxdξS(A,x)=\dfrac 1{2\pi}\int^A_{-A}\mathscr F[f](\xi)e^{i\xi x}\mathrm d\xi

那么

S(A,x)=1π0(f(xy)+f(x+y))sinAyydyS(A,x)=\dfrac 1\pi \int ^\infty_{0}(f(x-y)+f(x+y))\dfrac{\sin Ay}{y}\mathrm dy

定理:(Fourier 积分的局部化定理)
fR(R)f\in |\mathcal R|(\mathbb R),则 ff 的 Fourier 积分在 xx 点处是否收敛,收敛到何值,完全取决于 xx 点附近的值。

定理:(Fourier 积分的 Dini 判别法)

fR(R)f\in |\mathcal R|(\mathbb R),如果存在 sRs\in\mathbb R,使得

f(xy)+f(x+y)2syR[0,δ]\dfrac{f(x-y)+f(x+y)-2s}y\in |\mathcal R|[0,\delta]

ff 的 Fourier 积分在 xx 点收敛到

S(x)=sS(x)=s

定理:(Fourier 积分与局部 Lipschitz 条件)

ffxx 满足 α\alpha-Lipschitz 条件,如果

f(x±t)f(x±0)Ctα|f(x\pm t)-f(x\pm 0)|\leq Ct^\alpha

其中 α(0,1],C>0\alpha\in (0,1],\ C>0。如果在 xx 的邻域满足 α\alpha-Lipschitz 条件,称为局部 α\alpha-Lipschitz 条件。那么,如果 fR(R)f\in |\mathcal R|(\mathbb R),且满足局部 α\alpha-Lipschitz 条件,则 ff 的 Fourier 积分在 xx 点收敛到

S(x)=f(x+0)+f(x0)2S(x)=\dfrac {f(x+0)+f(x-0)}2

定理:(Fourier 积分与广义左右导数)

ffxx 处存在广义左导数,如果 f(x0)f(x-0) 存在,且

limt0f(x+t)f(x0)tC\lim_{t\to 0^-}\dfrac{f(x+t)-f(x-0)}{t}\in\mathbb C

如果 fR(R)f\in |\mathcal R|(\mathbb R),且 xx 处存在 ff 的广义左右导数。那么 f(x)Cf(x)\in \mathbb C,且 ff 的 Fourier 积分在 xx 点收敛到

S(x)=f(x+0)+f(x0)2S(x)=\dfrac {f(x+0)+f(x-0)}2