Fourier积分与Fourier变换

Fourier积分与Fourier变换 系统讲解

一、知识引入与核心逻辑铺垫

周期函数可通过Fourier级数实现离散频域的正交分解，而对于定义在全实轴\((-\infty,+\infty)\)上的非周期函数，我们可将其视为周期\(T\to+\infty\)的周期函数的极限，从而将离散的Fourier级数推广为连续的Fourier积分，最终得到现代分析的核心工具——Fourier变换。

本讲解严格遵循数学分析经典教材体系，兼顾逻辑严密性与直观理解，完整覆盖收敛性定理、核心性质、计算方法与高阶应用。

---

二、核心概念的形式化定义

定义1 绝对可积函数

设函数\(f(x)\)在\((-\infty,+\infty)\)上有定义，若无穷积分

\[\int_{-\infty}^{+\infty} |f(x)| dx < +\infty \]

则称\(f(x)\)在\((-\infty,+\infty)\)上绝对可积，记为\(f\in L^1(\mathbb{R})\)。

直观解释：绝对可积是保证Fourier积分系数良定义的核心条件，它确保了后续所有含参变量积分的绝对收敛性。

定义2 Fourier积分系数与Fourier积分（实形式）

设\(f\in L^1(\mathbb{R})\)，对任意实数\(\omega\)，定义：

• Fourier余弦系数：\(\boldsymbol{a(\omega) = \frac{1}{\pi}\int_{-\infty}^{+\infty} f(t)\cos(\omega t) dt}\)
• Fourier正弦系数：\(\boldsymbol{b(\omega) = \frac{1}{\pi}\int_{-\infty}^{+\infty} f(t)\sin(\omega t) dt}\)

称含参变量\(\omega\)的无穷积分

\[f(x) \sim \int_{0}^{+\infty} \left[ a(\omega)\cos(\omega x) + b(\omega)\sin(\omega x) \right] d\omega \]

为\(f(x)\)的Fourier积分，符号\(\sim\)表示积分与\(f(x)\)的对应关系，其收敛性需后续定理判定。

定义3 Fourier积分的截断积分（部分和）

对任意\(\lambda>0\)，定义

\[S(\lambda, x) = \int_{0}^{\lambda} \left[ a(\omega)\cos(\omega x) + b(\omega)\sin(\omega x) \right] d\omega \]

为Fourier积分的截断积分，对应Fourier级数的部分和，是研究收敛性的核心工具。

---

三、核心引理与基础性质

定理1 Fourier系数的一致连续性

设\(f\in L^1(\mathbb{R})\)，则\(a(\omega), b(\omega)\)在\(\mathbb{R}\)上一致连续，且

\[\lim_{\omega\to\pm\infty} a(\omega) = \lim_{\omega\to\pm\infty} b(\omega) = 0 \]

完整证明（一致连续性部分）

1. 由\(f\in L^1(\mathbb{R})\)，记\(M = \int_{-\infty}^{+\infty} |f(t)| dt < +\infty\)。对任意\(\varepsilon>0\)，由无穷积分收敛的定义，存在充分大的\(A>0\)，使得
   \[\int_{|t|>A} |f(t)| dt < \frac{\varepsilon\pi}{4} \tag{1} \]

2. 对\(|t|\leq A\)，由Lagrange中值定理，对任意\(\omega_1,\omega_2\in\mathbb{R}\)，有
   \[|\cos(\omega_1 t) - \cos(\omega_2 t)| \leq |t| \cdot |\omega_1 - \omega_2| \leq A |\omega_1 - \omega_2| \]
   取\(\delta = \frac{\varepsilon\pi}{2AM} > 0\)，当\(|\omega_1 - \omega_2| < \delta\)时，对所有\(t\in[-A,A]\)，有
   \[|\cos(\omega_1 t) - \cos(\omega_2 t)| < \frac{\varepsilon\pi}{2M} \tag{2} \]

3. 对$|a(\omega_1)-a(\omega_2)|做ε/2拆分估计（分析学核心技巧）：
   \[\begin{aligned} |a(\omega_1)-a(\omega_2)| &= \frac{1}{\pi}\left| \int_{-\infty}^{+\infty} f(t)\left[\cos(\omega_1 t)-\cos(\omega_2 t)\right] dt \right| \\ &\leq \frac{1}{\pi}\left( \int_{|t|\leq A} |f(t)| \cdot |\cos(\omega_1 t)-\cos(\omega_2 t)| dt + \int_{|t|>A} |f(t)| \cdot 2 dt \right) \end{aligned} \]
   代入(1)(2)得：
   \[|a(\omega_1)-a(\omega_2)| < \frac{1}{\pi}\left( \frac{\varepsilon\pi}{2M} \cdot M + 2\cdot \frac{\varepsilon\pi}{4} \right) = \varepsilon \]
   故\(a(\omega)\)在\(\mathbb{R}\)上一致连续，同理可证\(b(\omega)\)的一致连续性。

定理2 Riemann-Lebesgue引理（Fourier分析的基石）

设\(f\in L^1(\mathbb{R})\)，则

\[\lim_{\omega\to\pm\infty} \int_{-\infty}^{+\infty} f(t)\cos(\omega t) dt = 0, \quad \lim_{\omega\to\pm\infty} \int_{-\infty}^{+\infty} f(t)\sin(\omega t) dt = 0 \]

完整证明

1. 有限区间情形：设\(f\)在\([a,b]\)上Riemann可积，对任意\(\varepsilon>0\)，存在\([a,b]\)的分割\(T:a=t_0<t_1<\dots<t_n=b\)，使得振幅和\(\sum_{k=1}^n \omega_k \Delta t_k < \frac{\varepsilon}{2}\)，其中\(\omega_k\)是\(f\)在\([t_{k-1},t_k]\)上的振幅。
   令\(m_k\)为\(f\)在\([t_{k-1},t_k]\)上的下确界，拆分积分：

   \[\int_a^b f(t)\cos(\omega t)dt = \sum_{k=1}^n \int_{t_{k-1}}^{t_k} [f(t)-m_k]\cos(\omega t)dt + \sum_{k=1}^n m_k \int_{t_{k-1}}^{t_k} \cos(\omega t)dt \]

   第一项绝对值\(\leq \sum_{k=1}^n \omega_k \Delta t_k < \frac{\varepsilon}{2}\)；第二项绝对值\(\leq \frac{2}{|\omega|}\sum_{k=1}^n |m_k|\)，当\(|\omega|>\frac{4\sum|m_k|}{\varepsilon}\)时，第二项\(<\frac{\varepsilon}{2}\)。故有限区间情形得证。

2. 全实轴推广：对任意\(\varepsilon>0\)，存在\(A>0\)，使得\(\int_{|t|>A}|f(t)|dt < \frac{\varepsilon}{2}\)。拆分积分：

   \[\left| \int_{-\infty}^{+\infty} f(t)\cos(\omega t)dt \right| \leq \left| \int_{-A}^A f(t)\cos(\omega t)dt \right| + \int_{|t|>A}|f(t)|dt \]

   由有限区间的结论，存在\(\Omega>0\)，当\(|\omega|>\Omega\)时，第一项\(<\frac{\varepsilon}{2}\)，故整体\(<\varepsilon\)，引理得证。

定理3 Fourier积分的Dirichlet形式

设\(f\in L^1(\mathbb{R})\)，则截断积分可化为如下Dirichlet积分形式：

\[\boldsymbol{S(\lambda, x) = \frac{1}{\pi}\int_{0}^{+\infty} \left[ f(x+t) + f(x-t) \right] \frac{\sin(\lambda t)}{t} dt} \]

完整推导

1. 将\(a(\omega),b(\omega)\)代入截断积分，由三角恒等式\(\cos(\omega t)\cos(\omega x)+\sin(\omega t)\sin(\omega x)=\cos(\omega(t-x))\)，得：
   \[S(\lambda,x) = \frac{1}{\pi}\int_{0}^{\lambda} \left( \int_{-\infty}^{+\infty} f(t)\cos(\omega(t-x)) dt \right) d\omega \]

2. 由含参变量正常积分的Fubini定理（有限区间上可积函数的累次积分可交换次序），交换积分次序：
   \[S(\lambda,x) = \frac{1}{\pi}\int_{-\infty}^{+\infty} f(t) \left( \int_{0}^{\lambda} \cos(\omega(t-x)) d\omega \right) dt \]

3. 计算内层积分：\(\int_{0}^{\lambda} \cos(\omega(t-x))d\omega = \frac{\sin(\lambda(t-x))}{t-x}\)（\(t\neq x\)，\(t=x\)时极限为\(\lambda\)，不影响积分值），做变量替换\(s=t-x\)，得：
   \[S(\lambda,x) = \frac{1}{\pi}\int_{-\infty}^{+\infty} f(x+s)\frac{\sin(\lambda s)}{s} ds \]

4. 利用\(\frac{\sin(\lambda s)}{s}\)是偶函数，拆分积分并做变量替换\(s\to -s\)，最终得到：
   \[S(\lambda,x) = \frac{1}{\pi}\int_{0}^{+\infty} \left[ f(x+t) + f(x-t) \right] \frac{\sin(\lambda t)}{t} dt \]

---

四、Fourier积分的收敛性核心定理

定理4 Fourier积分的局部化原理

设\(f\in L^1(\mathbb{R})\)，则\(f\)的Fourier积分在\(x\)点的收敛性，仅依赖于\(f\)在\(x\)的任意小邻域\((x-\delta,x+\delta)\)内的取值，与\(f\)在无穷远处的行为无关。

证明

对任意\(\delta>0\)，将\(S(\lambda,x)\)拆分为两部分：

\[S(\lambda,x) = \frac{1}{\pi}\int_{0}^{\delta} \left[ f(x+t)+f(x-t) \right]\frac{\sin(\lambda t)}{t}dt + \frac{1}{\pi}\int_{\delta}^{+\infty} \left[ f(x+t)+f(x-t) \right]\frac{\sin(\lambda t)}{t}dt = I_1(\lambda,x) + I_2(\lambda,x) \]

对\(I_2(\lambda,x)\)，\(\frac{f(x+t)+f(x-t)}{t}\)在\([\delta,+\infty)\)上绝对可积，由Riemann-Lebesgue引理，\(\lim_{\lambda\to+\infty}I_2(\lambda,x)=0\)。
因此\(\lim_{\lambda\to+\infty}S(\lambda,x) = \lim_{\lambda\to+\infty}I_1(\lambda,x)\)，而\(I_1(\lambda,x)\)仅依赖于\(f\)在\((x-\delta,x+\delta)\)内的取值，局部化原理得证。

定理5 Dini收敛判别法

设\(f\in L^1(\mathbb{R})\)，对实数\(x\)，存在常数\(s\)和\(\delta>0\)，使得函数

\[\varphi(t) = f(x+t) + f(x-t) - 2s \]

满足\(\frac{\varphi(t)}{t}\)在\([0,\delta]\)上绝对可积（即\(\int_{0}^{\delta} \left| \frac{\varphi(t)}{t} \right| dt < +\infty\)），则\(f\)的Fourier积分在\(x\)点收敛于\(s\)，即

\[\lim_{\lambda\to+\infty} S(\lambda,x) = s = \int_{0}^{+\infty} \left[ a(\omega)\cos(\omega x) + b(\omega)\sin(\omega x) \right] d\omega \]

证明

1. 由Dirichlet积分公式\(\frac{2}{\pi}\int_{0}^{+\infty}\frac{\sin(\lambda t)}{t}dt=1\)，得\(s = \frac{1}{\pi}\int_{0}^{+\infty} 2s \cdot \frac{\sin(\lambda t)}{t}dt\)，因此：
   \[S(\lambda,x) - s = \frac{1}{\pi}\int_{0}^{+\infty} \frac{\varphi(t)}{t} \cdot \sin(\lambda t) dt \]

2. 拆分积分：\(= \frac{1}{\pi}\int_{0}^{\delta} \frac{\varphi(t)}{t}\sin(\lambda t)dt + \frac{1}{\pi}\int_{\delta}^{+\infty} \frac{\varphi(t)}{t}\sin(\lambda t)dt\)。
   • 第一项：由\(\frac{\varphi(t)}{t}\)在\([0,\delta]\)上绝对可积，根据Riemann-Lebesgue引理，\(\lambda\to+\infty\)时极限为0；
   • 第二项：\(\frac{f(x+t)+f(x-t)}{t}\)在\([\delta,+\infty)\)绝对可积，且\(\int_{\delta}^{+\infty}\frac{\sin(\lambda t)}{t}dt = \int_{\lambda\delta}^{+\infty}\frac{\sin u}{u}du \to 0\)（\(\lambda\to+\infty\)），故极限为0。
3. 因此\(\lim_{\lambda\to+\infty}(S(\lambda,x)-s)=0\)，定理得证。

推论1 实用收敛定理（Lipschitz条件）

设\(f\in L^1(\mathbb{R})\)，且在\(x\)点满足α阶Lipschitz条件：存在\(L>0\)，\(\alpha\in(0,1]\)，\(\delta>0\)，使得对所有\(|h|<\delta\)，有

\[|f(x+h)-f(x+0)| \leq L|h|^\alpha, \quad |f(x-h)-f(x-0)| \leq L|h|^\alpha \]

其中\(f(x+0),f(x-0)\)为\(f\)在\(x\)点的右、左极限，则\(f\)的Fourier积分在\(x\)点收敛于\(\boldsymbol{\frac{f(x+0)+f(x-0)}{2}}\)。

特别地，若\(f\)在\(x\)点连续，则收敛于\(f(x)\)。

证明

取\(s=\frac{f(x+0)+f(x-0)}{2}\)，则\(\varphi(t) = [f(x+t)-f(x+0)] + [f(x-t)-f(x-0)]\)，由Lipschitz条件得\(|\varphi(t)| \leq 2L t^\alpha\)，故\(\left| \frac{\varphi(t)}{t} \right| \leq 2L t^{\alpha-1}\)。
当\(\alpha\in(0,1]\)时，\(\int_{0}^{\delta} t^{\alpha-1}dt = \frac{\delta^\alpha}{\alpha} < +\infty\)，满足Dini判别法条件，故积分收敛于\(s\)。

---

五、Fourier余弦积分与正弦积分

针对定义在\([0,+\infty)\)上的函数，可通过奇偶延拓得到仅含余弦或正弦项的Fourier积分，是数学物理方程中的核心工具。

定义4 Fourier余弦积分

设\(f\in L^1[0,+\infty)\)，将\(f\)偶延拓到\((-\infty,+\infty)\)得偶函数\(f_e(x)=f(|x|)\)，其Fourier正弦系数\(b(\omega)=0\)，余弦系数为

\[\boldsymbol{a(\omega) = \frac{2}{\pi}\int_{0}^{+\infty} f(t)\cos(\omega t) dt} \]

对应的Fourier积分称为Fourier余弦积分：

\[f(x) \sim \frac{2}{\pi}\int_{0}^{+\infty} \left( \int_{0}^{+\infty} f(t)\cos(\omega t) dt \right) \cos(\omega x) d\omega, \quad x\geq0 \]

收敛性：在\(f\)的连续点\(x>0\)收敛于\(f(x)\)；在\(x=0\)处收敛于\(f(0+)\)。

定义5 Fourier正弦积分

设\(f\in L^1[0,+\infty)\)，将\(f\)奇延拓到\((-\infty,+\infty)\)得奇函数\(f_o(x)=\text{sign}(x)f(|x|)\)，其Fourier余弦系数\(a(\omega)=0\)，正弦系数为

\[\boldsymbol{b(\omega) = \frac{2}{\pi}\int_{0}^{+\infty} f(t)\sin(\omega t) dt} \]

对应的Fourier积分称为Fourier正弦积分：

\[f(x) \sim \frac{2}{\pi}\int_{0}^{+\infty} \left( \int_{0}^{+\infty} f(t)\sin(\omega t) dt \right) \sin(\omega x) d\omega, \quad x\geq0 \]

收敛性：在\(f\)的连续点\(x>0\)收敛于\(f(x)\)；在\(x=0\)处收敛于\(0\)。

---

六、Fourier变换（复形式）与核心性质

定义6 Fourier变换与逆变换

设\(f\in L^1(\mathbb{R})\)，定义\(f\)的Fourier变换（像函数）为：

\[\boldsymbol{\mathcal{F}[f](\omega) = \hat{f}(\omega) = \int_{-\infty}^{+\infty} f(t)e^{-i\omega t} dt, \quad \omega\in\mathbb{R}} \]

对应的Fourier逆变换为：

\[\boldsymbol{\mathcal{F}^{-1}[\hat{f}](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = \frac{1}{2\pi}\int_{-\infty}^{+\infty} \hat{f}(\omega)e^{i\omega x} d\omega, \quad x\in\mathbb{R}} \]

注：不同教材有不同常数规范，单位化Fourier变换为\(\mathcal{F}[f](sslocal://flow/file_open?url=%5Comega&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=)=\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{+\infty}f(t)e^{-i\omega t}dt\)，此时逆变换与变换形式对称，是\(L^2(\mathbb{R})\)上的酉算子。

定理6 Fourier变换的核心性质

设\(f,g\in L^1(\mathbb{R})\)，其Fourier变换为\(\hat{f}(\omega),\hat{g}(\omega)\)，则有：

1. 线性性：\(\mathcal{F}[\alpha f + \beta g] = \alpha \hat{f} + \beta \hat{g}\)，\(\forall \alpha,\beta\in\mathbb{C}\)（积分线性性直接可得）。
2. 时移性质：\(\mathcal{F}[f(t-t_0)](sslocal://flow/file_open?url=%5Comega&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = e^{-i\omega t_0}\hat{f}(\omega)\)（变量替换\(u=t-t_0\)可证）。
3. 频移性质：\(\mathcal{F}[e^{i\omega_0 t}f(t)](sslocal://flow/file_open?url=%5Comega&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = \hat{f}(\omega-\omega_0)\)（直接代入定义可证）。
4. 伸缩性质：\(\mathcal{F}[f(at)](sslocal://flow/file_open?url=%5Comega&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = \frac{1}{|a|}\hat{f}\left( \frac{\omega}{a} \right)\)，\(a\neq0\)（变量替换\(u=at\)可证）。
5. 微分性质：若\(f\)连续可微，\(f(t)\to0(t\to\pm\infty)\)，且\(f'\in L^1(\mathbb{R})\)，则
   \[\boldsymbol{\mathcal{F}[f'](sslocal://flow/file_open?url=%5Comega&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = i\omega \hat{f}(\omega)} \]

   推广：若\(f^{(k)}\in L^1(\mathbb{R})\)，且\(f^{(j)}(t)\to0(t\to\pm\infty)\)，\(j=0,1,\dots,k-1\)，则\(\mathcal{F}[f^{(k)}](sslocal://flow/file_open?url=%5Comega&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=)=(i\omega)^k\hat{f}(\omega)\)。
   证明：分部积分，\(\mathcal{F}[f'] = \int_{-\infty}^{+\infty}f'(t)e^{-i\omega t}dt = f(t)e^{-i\omega t}|_{-\infty}^{+\infty} + i\omega \int_{-\infty}^{+\infty}f(t)e^{-i\omega t}dt = i\omega \hat{f}(\omega)\)，边界项由\(f(t)\to0\)消去。

6. 乘多项式性质：若\(tf(t)\in L^1(\mathbb{R})\)，则\(\mathcal{F}[tf(t)](sslocal://flow/file_open?url=%5Comega&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = i \frac{d}{d\omega}\hat{f}(\omega)\)（积分号下求导可证）。
7. 卷积定理：设卷积\((f*g)(x)=\int_{-\infty}^{+\infty}f(\tau)g(x-\tau)d\tau \in L^1(\mathbb{R})\)，则
   \[\boldsymbol{\mathcal{F}[f*g](sslocal://flow/file_open?url=%5Comega&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = \hat{f}(\omega) \cdot \hat{g}(\omega)} \]

   证明：由Fubini定理交换积分次序，\(\mathcal{F}[f*g] = \int_{-\infty}^{+\infty}\left( \int_{-\infty}^{+\infty}f(\tau)g(x-\tau)d\tau \right)e^{-i\omega x}dx = \int_{-\infty}^{+\infty}f(\tau)e^{-i\omega \tau}d\tau \int_{-\infty}^{+\infty}g(u)e^{-i\omega u}du = \hat{f}(\omega)\hat{g}(\omega)\)。

定理7 Plancherel定理（能量守恒）

设\(f\in L^1(\mathbb{R})\cap L^2(\mathbb{R})\)，则\(\hat{f}\in L^2(\mathbb{R})\)，且

\[\boldsymbol{\int_{-\infty}^{+\infty} |f(x)|^2 dx = \frac{1}{2\pi}\int_{-\infty}^{+\infty} |\hat{f}(\omega)|^2 d\omega} \]

核心意义：Fourier变换可通过稠密性延拓为\(L^2(\mathbb{R})\)上的有界线性算子，实现了时域能量与频域能量的守恒，是调和分析、量子力学的核心定理。

---

「反例警示」

1. 绝对可积是Fourier变换良定义的充分非必要条件
   反例：\(f(x)=\frac{\sin x}{x}\)在\(\mathbb{R}\)上非绝对可积（\(\int_{-\infty}^{+\infty}\left|\frac{\sin x}{x}\right|dx\)发散），但它的Fourier变换存在，为\(\mathcal{F}\left[\frac{\sin x}{x}\right](sslocal://flow/file_open?url=%5Comega&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = \begin{cases} \pi, & |\omega|<1 \\ 0, & |\omega|>1 \\ \pi/2, & |\omega|=1 \end{cases}\)。

2. Fourier积分收敛不要求\(f(x)\to0(x\to\pm\infty)\)
   反例：\(f(x)=\sum_{n=1}^\infty n^2 \chi_{[n,n+1/n^4]}(x)\)（\(\chi\)为特征函数），满足\(\int_{-\infty}^{+\infty}|f(x)|dx=\sum_{n=1}^\infty \frac{1}{n^2}<+\infty\)，但\(f(x)\)在\(x\to+\infty\)时有无穷多个点取值为\(n^2\to+\infty\)，其Fourier积分仍在连续点收敛于\(f(x)\)。

3. 微分性质的边界条件不可忽略
   易错点：若\(f(t)\nrightarrow0(t\to\pm\infty)\)，则分部积分的边界项不为0，微分性质不成立。例如\(f(x)=1\)，经典Fourier变换不存在，不能直接套用\(\mathcal{F}[f']=i\omega\hat{f}\)。

4. 常数规范混淆导致计算错误
   易错点：不同教材的Fourier变换定义中，\(1/2\pi\)的位置不同，计算逆变换时必须与变换定义保持一致，否则结果会出现\(2\pi\)倍的常数误差。

---

七、梯度化配套例题

【基础巩固题1】

难度层级：基础巩固
考察核心知识点：Fourier余弦/正弦积分的计算、收敛定理
题干：设\(f(x)=e^{-\beta x}\)，\(x\geq0\)，\(\beta>0\)。
(1) 将\(f(x)\)展开为Fourier余弦积分；
(2) 将\(f(x)\)展开为Fourier正弦积分；
(3) 利用结果计算Dirichlet积分\(\int_{0}^{+\infty}\frac{\sin x}{x}dx\)。

解题过程

(1) 余弦积分展开
\(f\in L^1[0,+\infty)\)，计算余弦系数：

\[a(\omega) = \frac{2}{\pi}\int_{0}^{+\infty} e^{-\beta t}\cos(\omega t)dt \]

由分部积分公式\(\int e^{at}\cos(bt)dt = \frac{e^{at}(a\cos bt + b\sin bt)}{a^2+b^2}+C\)，代入\(a=-\beta,b=\omega\)，得：

\[\int_{0}^{+\infty} e^{-\beta t}\cos(\omega t)dt = \lim_{A\to+\infty} \left. \frac{e^{-\beta t}(-\beta\cos\omega t + \omega\sin\omega t)}{\beta^2+\omega^2} \right|_{0}^{A} = \frac{\beta}{\beta^2+\omega^2} \]

因此\(a(\omega)=\frac{2\beta}{\pi(\beta^2+\omega^2)}\)，由收敛定理，\(f(x)\)在\([0,+\infty)\)连续，故：

\[e^{-\beta x} = \frac{2\beta}{\pi}\int_{0}^{+\infty} \frac{\cos(\omega x)}{\beta^2+\omega^2} d\omega, \quad x\geq0 \]

(2) 正弦积分展开
计算正弦系数：

\[b(\omega) = \frac{2}{\pi}\int_{0}^{+\infty} e^{-\beta t}\sin(\omega t)dt = \frac{2}{\pi}\cdot \frac{\omega}{\beta^2+\omega^2} \]

由收敛定理，\(f(x)\)在\(x>0\)连续，故：

\[e^{-\beta x} = \frac{2}{\pi}\int_{0}^{+\infty} \frac{\omega\sin(\omega x)}{\beta^2+\omega^2} d\omega, \quad x>0 \]

(3) Dirichlet积分计算
在正弦积分展开式中令\(\beta\to0^+\)，得\(1 = \frac{2}{\pi}\int_{0}^{+\infty}\frac{\sin(\omega x)}{\omega}d\omega\)（\(x>0\)），令\(x=1\)，得：

\[\int_{0}^{+\infty}\frac{\sin\omega}{\omega}d\omega = \frac{\pi}{2} \]

「题后总结」

1. 核心思想：通过奇偶延拓将半无限区间函数转化为全实轴的偶函数/奇函数，简化Fourier积分计算；
2. 解题通法：半无限区间函数的Fourier积分展开标准流程：验证绝对可积性→计算对应系数→利用收敛定理写出展开式；
3. 应用场景：数学物理方程的半无限区间边值问题、信号的单边频谱分析。

---

【进阶综合题】

难度层级：进阶综合
考察核心知识点：Fourier变换的微分性质、卷积定理、常微分方程求解
题干：利用Fourier变换求解无阻尼振动方程：

\[y''(x) + \omega_0^2 y(x) = f(x), \quad x\in\mathbb{R} \]

其中\(\omega_0>0\)，\(f\in L^1(\mathbb{R})\)，解满足\(y(x)\to0,y'(x)\to0(x\to\pm\infty)\)。

解题过程

1. 对方程两边做Fourier变换，设\(\hat{y}(\omega)=\mathcal{F}[y],\hat{f}(\omega)=\mathcal{F}[f]\)，由线性性和微分性质：
   \[\mathcal{F}[y''] + \omega_0^2 \mathcal{F}[y] = \hat{f}(\omega) \implies -\omega^2 \hat{y}(\omega) + \omega_0^2 \hat{y}(\omega) = \hat{f}(\omega) \]

2. 求解像函数：当\(\omega\neq\pm\omega_0\)时，\(\hat{y}(\omega) = \frac{\hat{f}(\omega)}{\omega_0^2 - \omega^2} = \hat{f}(\omega) \cdot \frac{1}{\omega_0^2 - \omega^2}\)。
3. 计算\(\frac{1}{\omega_0^2 - \omega^2}\)的逆变换：
   \[g(x) = \mathcal{F}^{-1}\left[ \frac{1}{\omega_0^2 - \omega^2} \right](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = \frac{1}{2\omega_0}\sin(\omega_0 |x|) \]

4. 由卷积定理，原函数为\(y(x) = (f*g)(x)\)，即：
   \[y(x) = \frac{1}{2\omega_0}\int_{-\infty}^{+\infty} f(\tau)\sin\left( \omega_0 |x-\tau| \right) d\tau \]

「题后总结」

1. 核心思想：利用Fourier变换将时域的微分运算转化为频域的代数运算，简化线性微分方程的求解；
2. 解题通法：线性常系数微分方程的Fourier变换解法流程：方程两边做变换→解代数方程得像函数→逆变换+卷积定理得原函数；
3. 应用场景：线性系统响应计算、波动方程初值问题、信号滤波。

---

【科研拓展题】

难度层级：科研拓展
考察核心知识点：Plancherel定理、\(L^2(\mathbb{R})\)上的Fourier变换延拓、Sobolev空间刻画
题干：证明Plancherel定理，并说明Fourier变换如何刻画Sobolev空间\(H^s(\mathbb{R})\)。

解题过程

1. Plancherel定理证明
   设\(f\in L^1\cap L^2\)，定义\(g(x)=\overline{f}(-x)\)，则\(\hat{g}(\omega)=\overline{\hat{f}(\omega)}\)。构造卷积\(h(x)=(f*g)(x)=\int_{-\infty}^{+\infty}f(\tau)\overline{f}(\tau-x)d\tau\)，由卷积定理，\(\hat{h}(\omega)=|\hat{f}(\omega)|^2\)。
   \(h(x)\)在\(x=0\)处连续，且\(h(0)=\int_{-\infty}^{+\infty}|f(\tau)|^2d\tau\)，由逆变换定理：

   \[h(0) = \frac{1}{2\pi}\int_{-\infty}^{+\infty}\hat{h}(\omega)d\omega = \frac{1}{2\pi}\int_{-\infty}^{+\infty}|\hat{f}(\omega)|^2d\omega \]

   故\(\int_{-\infty}^{+\infty}|f(x)|^2dx = \frac{1}{2\pi}\int_{-\infty}^{+\infty}|\hat{f}(\omega)|^2d\omega\)，定理得证。

2. \(L^2(\mathbb{R})\)上的延拓
   \(L^1\cap L^2\)在\(L^2(\mathbb{R})\)中稠密，对任意\(f\in L^2\)，取\(f_n\in L^1\cap L^2\)使得\(f_n\to f\)（\(L^2\)意义下），由Plancherel定理，\(\{\hat{f}_n\}\)是\(L^2\)中的Cauchy列，其极限\(\hat{f}\)即为\(f\)的Fourier变换，称为Plancherel变换，是\(L^2(\mathbb{R})\)上的酉算子。

3. Sobolev空间的刻画
   Sobolev空间\(H^s(\mathbb{R}) = \{ f\in L^2(\mathbb{R}) \mid (1+|\omega|^2)^{s/2}\hat{f}(\omega)\in L^2(\mathbb{R}) \}\)，其范数为：

   \[\|f\|_{H^s} = \left( \frac{1}{2\pi}\int_{-\infty}^{+\infty} (1+|\omega|^2)^s |\hat{f}(\omega)|^2 d\omega \right)^{1/2} \]

   由微分性质，\(s\)为正整数\(k\)时，\(H^k(\mathbb{R})\)就是\(k\)阶以下弱导数都属于\(L^2\)的函数空间，Fourier变换将微分范数转化为频域加权范数，是偏微分方程正则性理论的核心工具。

---

八、知识点归纳总结表

核心概念/定理	形式化表述/关键条件	典型证明技巧	常见反例/易错点	后续课程关联	典型应用场景
Fourier积分	\(f\in L^1(\mathbb{R})\)，\(f(x)\sim\int_0^{+\infty}[a(\omega)\cos\omega x+b(\omega)\sin\omega x]d\omega\)	周期级数的极限过渡、三角恒等变换、积分次序交换	绝对可积是充分非必要条件；混淆收敛点取值	Fourier分析、调和分析	非周期函数频域分解、热传导方程求解
Riemann-Lebesgue引理	\(f\in L^1(\mathbb{R})\)，\(\lim_{\omega\to\pm\infty}\int_{\mathbb{R}}f(t)e^{-i\omega t}dt=0\)	ε-δ拆分积分、Riemann可积振幅和估计	误以为\(f(x)\to0\)是必要条件；非绝对可积函数误用	实变函数、泛函分析	Fourier收敛性证明、振荡积分估计
局部化原理	\(f\in L^1(\mathbb{R})\)，Fourier积分在\(x\)点的收敛性仅依赖于\(x\)邻域内的取值	Dirichlet形式拆分、Riemann-Lebesgue引理消去非邻域积分	误以为收敛性与无穷远行为有关	微局部分析、调和分析	函数奇异性刻画、偏微分方程局部正则性
Dini收敛判别法	\(\int_0^\delta |f(x+t)+f(x-t)-2s|/t dt<+\infty\)，则积分收敛于\(s\)	Dirichlet积分极限转化、Riemann-Lebesgue引理	忽略绝对可积条件；间断点误用\(f(x)\)作为收敛值	Fourier分析	非光滑函数的积分展开
Fourier余弦/正弦积分	\([0,+\infty)\)上的\(f\)经偶/奇延拓得到的单边Fourier积分	奇偶延拓、对称区间积分性质	\(x=0\)处收敛值混淆；系数的\(2/\pi\)因子遗漏	数学物理方程	半无限区间边值问题、单边信号分析
Fourier变换	\(f\in L^1(\mathbb{R})\)，\(\hat{f}(\omega)=\int_{\mathbb{R}}f(t)e^{-i\omega t}dt\)，逆变换带\(1/2\pi\)因子	Euler公式实复转化、分部积分、变量替换	常数规范混淆；非绝对可积函数用经典变换	泛函分析、量子力学	线性系统分析、微分方程求解、信号处理
微分性质	\(f,f'\in L^1\)，\(f(t)\to0(t\to\pm\infty)\)，则\(\mathcal{F}[f']=i\omega\hat{f}\)	分部积分、无穷远边界项消去	忽略\(f(t)\to0\)的边界条件	偏微分方程、控制理论	微分算子谱分析、线性系统频率响应
卷积定理	\(f,g,f*g\in L^1\)，则\(\mathcal{F}[f*g]=\hat{f}\cdot\hat{g}\)	Fubini定理交换积分次序、变量替换	忽略卷积绝对可积条件；混淆时域/频域对应关系	概率论、图像处理	线性系统响应计算、随机变量和的分布
Plancherel定理	\(f\in L^1\cap L^2\)，\(|f|_{L^2}^2=\frac{1}{2\pi}|\hat{f}|_{L^2}^2\)	卷积构造辅助函数、稠密子空间算子延拓	混淆\(L^1\)与\(L^2\)变换的定义；单位化变换范数错误	实变函数、偏微分方程	量子力学概率守恒、Sobolev空间刻画、能量估计

---

Fourier积分与Fourier变换 例题完整解析与拓展

这组例题覆盖了Fourier分析的核心应用场景，从基础的积分展开、变换计算，到核心性质验证，再到微分方程与积分方程的工程级求解，形成了完整的理论-应用闭环。下面对每道例题进行严谨规范的解答、逻辑拆解、易错警示与拓展分析。

---

例16.3.1 矩形脉冲的Fourier积分展开与Dirichlet积分推导

题干

设\(f(x)=\begin{cases}1, & |x|\leq1, \\ 0, & |x|>1.\end{cases}\)，由Fourier积分公式导出等式

\[\int_{0}^{+\infty} \frac{\sin u \cos ux}{u} du = \begin{cases} \frac{\pi}{2}, & |x|<1, \\ \frac{\pi}{4}, & |x|=1, \\ 0, & |x|>1, \end{cases} \]

并证明\(\int_{0}^{+\infty}\frac{\sin u}{u}du=\frac{\pi}{2}\)。

规范解答

1. 奇偶性判定与Fourier系数计算
   由定义，\(f(-x)=f(x)\)，即\(f(x)\)是偶函数，因此其Fourier正弦系数\(b(u)=0\)（奇函数在对称区间的积分为0）。
   计算Fourier余弦系数：

   \[a(u) = \frac{2}{\pi}\int_{0}^{+\infty} f(t)\cos(ut)dt \]

   依据\(f(t)\)的分段定义，积分区间缩至\([0,1]\)，因此：

   \[a(u) = \frac{2}{\pi}\int_{0}^{1} \cos(ut)dt = \frac{2}{\pi}\cdot\left.\frac{\sin(ut)}{u}\right|_{0}^{1} = \frac{2\sin u}{\pi u}, \quad u\neq0 \]

2. Fourier积分收敛性判定与展开
   由Fourier积分收敛定理：若\(f\in L^1(\mathbb{R})\)，且在\(x\)点满足Lipschitz条件，则在连续点，Fourier积分收敛于\(f(x)\)；在第一类间断点，收敛于\(\frac{1}{2}[f(x+0)+f(x-0)]\)。

   • 当\(|x|<1\)时，\(f(x)\)连续，因此：
     \[f(x) = \int_{0}^{+\infty} a(u)\cos(ux)du = \frac{2}{\pi}\int_{0}^{+\infty}\frac{\sin u \cos ux}{u}du \]
     代入\(f(x)=1\)，化简得：
     \[\int_{0}^{+\infty}\frac{\sin u \cos ux}{u}du = \frac{\pi}{2}, \quad |x|<1 \]

   • 当\(|x|>1\)时，\(f(x)\)连续且\(f(x)=0\)，因此：
     \[\int_{0}^{+\infty}\frac{\sin u \cos ux}{u}du = 0, \quad |x|>1 \]

   • 当\(x=\pm1\)时，\(f(x)\)为第一类间断点，左极限\(f(\pm1-0)=1\)，右极限\(f(\pm1+0)=0\)，因此积分收敛于：
     \[\frac{1}{2}[f(\pm1+0)+f(\pm1-0)] = \frac{1}{2} \]
     代入化简得：
     \[\int_{0}^{+\infty}\frac{\sin u \cos u}{u}du = \frac{\pi}{4}, \quad x=\pm1 \]

3. Dirichlet积分推导
   令\(x=0\)（满足\(|x|<1\)），此时\(\cos0=1\)，直接得：

   \[\int_{0}^{+\infty}\frac{\sin u}{u}du = \frac{\pi}{2} \]

「题后总结与易错警示」

1. 核心知识点：偶函数的Fourier余弦积分、Fourier积分的收敛定理（间断点收敛值）；
2. 高频易错点：
   • 间断点处的收敛值易误写为\(f(x)\)，必须牢记收敛于左右极限的算术平均；
   • 余弦系数的\(\frac{2}{\pi}\)因子易遗漏，需区分全实轴Fourier系数与半区间余弦/正弦系数的常数差异；
3. 拓展意义：本例的矩形脉冲是信号处理中的基础门信号，其Fourier变换为抽样函数\(\text{Sa}(u)=\frac{\sin u}{u}\)，是数字信号抽样定理的核心基础。

---

例16.3.2 指数衰减函数的Fourier余弦/正弦变换

题干

求函数\(f(x)=e^{-\beta x}(\beta>0,x>0)\)的Fourier正弦变换与余弦变换，并证明：

\[\int_{0}^{+\infty}\frac{\cos xu}{\beta^2+u^2}du = \frac{\pi}{2\beta}e^{-\beta x}, \quad x>0,\beta>0; \]

\[\int_{0}^{+\infty}\frac{u\sin xu}{\beta^2+u^2}du = \frac{\pi}{2}e^{-\beta x}, \quad x>0,\beta>0. \]

规范解答

1. 变换定义与积分计算
   单位化Fourier余弦/正弦变换定义为：

   \[\mathcal{F}_c[f](sslocal://flow/file_open?url=u&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = g(u) = \sqrt{\frac{2}{\pi}}\int_{0}^{+\infty}f(t)\cos(ut)dt, \]
   \[\mathcal{F}_s[f](sslocal://flow/file_open?url=u&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = h(u) = \sqrt{\frac{2}{\pi}}\int_{0}^{+\infty}f(t)\sin(ut)dt. \]

   利用分部积分法计算反常积分，设\(I_c=\int e^{-\beta t}\cos(ut)dt\)，\(I_s=\int e^{-\beta t}\sin(ut)dt\)，两次分部积分后整理得：

   \[I_c = -\frac{e^{-\beta t}(\beta\cos ut + u\sin ut)}{\beta^2+u^2} + C, \quad I_s = -\frac{e^{-\beta t}(\beta\sin ut - u\cos ut)}{\beta^2+u^2} + C \]

   取无穷限，由\(\lim_{t\to+\infty}e^{-\beta t}=0\)，得：

   \[\int_{0}^{+\infty}e^{-\beta t}\cos(ut)dt = \frac{\beta}{\beta^2+u^2}, \quad \int_{0}^{+\infty}e^{-\beta t}\sin(ut)dt = \frac{u}{\beta^2+u^2} \]

   因此变换结果为：

   \[g(u) = \sqrt{\frac{2}{\pi}}\cdot\frac{\beta}{\beta^2+u^2}, \quad h(u) = \sqrt{\frac{2}{\pi}}\cdot\frac{u}{\beta^2+u^2} \]

2. 积分公式证明
   由Fourier余弦逆变换公式，代入\(g(u)\)得：

   \[e^{-\beta x} = \sqrt{\frac{2}{\pi}}\int_{0}^{+\infty}g(u)\cos(ux)du = \frac{2\beta}{\pi}\int_{0}^{+\infty}\frac{\cos(ux)}{\beta^2+u^2}du \]

   两边同乘\(\frac{\pi}{2\beta}\)，即得第一个积分公式。
   同理，由正弦逆变换公式，代入\(h(u)\)化简后即得第二个积分公式。

注16.3.1 求导验证的严谨性说明

对第一个积分公式两边关于\(x\)求导，需验证积分号下求导的一致收敛条件：
被积函数的偏导数\(-\frac{u\sin xu}{\beta^2+u^2}\)在\(x\in[a,+\infty)\)（\(a>0\)）上，由Abel判别法，积分\(\int_{0}^{+\infty}\frac{u\sin xu}{\beta^2+u^2}du\)一致收敛，满足求导条件。求导后消去负号，恰好得到第二个积分公式，验证成立。

「题后总结与易错警示」

1. 核心知识点：Fourier余弦/正弦变换的互逆性、反常积分的分部积分、积分号下求导的条件验证；
2. 高频易错点：
   • 单位化变换与非单位化变换的常数因子混淆，需严格匹配变换与逆变换的常数规范；
   • 积分号下求导时忽略一致收敛性验证，直接求导会导致逻辑漏洞；
3. 拓展意义：本例的指数衰减函数是热传导方程的基本解，其变换结果是求解半无限区间热传导问题的核心工具。

---

例16.3.3 利用Fourier正弦变换求解积分方程

题干

设\(f(x)=\begin{cases}\frac{\pi}{2}\sin x, & 0\leq x\leq\pi, \\ 0, & \pi<x<+\infty,\end{cases}\)，求解积分方程

\[\int_{0}^{+\infty}g(u)\sin(xu)du = f(x). \]

规范解答

1. 方程标准化
   观察方程左边，正是Fourier正弦逆变换的核心部分。将方程两边同乘\(\sqrt{\frac{2}{\pi}}\)，得：

   \[\sqrt{\frac{2}{\pi}}\int_{0}^{+\infty}g(u)\sin(xu)du = \sqrt{\frac{2}{\pi}}f(x) \]

   由正弦逆变换定义，上式左边是\(g(u)\)的正弦逆变换，即\(\mathcal{F}_s^{-1}[g](x) = \sqrt{\frac{2}{\pi}}f(x)\)。

2. 利用互逆性求解\(g(u)\)
   Fourier正弦变换是自逆算子，对等式两边同时做正弦变换，得：

   \[g(u) = \mathcal{F}_s\left[ \sqrt{\frac{2}{\pi}}f \right](sslocal://flow/file_open?url=u&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = \frac{2}{\pi}\int_{0}^{+\infty}f(x)\sin(xu)dx \]

3. 分段积分计算
   代入\(f(x)\)的分段定义，积分区间缩至\([0,\pi]\)，得：

   \[g(u) = \frac{2}{\pi}\int_{0}^{\pi}\frac{\pi}{2}\sin x \cdot \sin(xu)dx = \int_{0}^{\pi}\sin x \sin(ux)dx \]

   利用积化和差公式\(\sin A\sin B=\frac{1}{2}[\cos((1-u)x)-\cos((1+u)x)]\)，计算得：

   • 当\(u\neq1\)时，\(g(u) = \frac{\sin(\pi u)}{1-u^2}\)；
   • 当\(u=1\)时，\(g(1)=\int_{0}^{\pi}\sin^2x dx=\frac{\pi}{2}\)，与\(\lim_{u\to1}\frac{\sin(\pi u)}{1-u^2}=\frac{\pi}{2}\)一致。
     最终解为：
   \[g(u) = \frac{\sin(\pi u)}{1-u^2}, \quad u\geq0 \]

「题后总结与易错警示」

1. 核心知识点：Fourier正弦变换的互逆性、第一类Fredholm积分方程求解；
2. 高频易错点：
   • 积分方程的常数因子匹配错误，需严格按变换定义标准化方程；
   • 忽略\(u=1\)处的极限验证，导致解的完整性缺失；
3. 解题通法：形如\(\int_{0}^{+\infty}g(u)\sin(xu)du=f(x)\)的半无限区间积分方程，直接通过Fourier正弦/余弦逆变换求解，是该类问题的标准解法。

---

例16.3.4 Fourier变换的微分性质

题干

设\(f(t)\)在\((-\infty,+\infty)\)上绝对可积，\(\lim_{t\to\pm\infty}f(t)=0\)，且\(f'(t)\)在\((-\infty,+\infty)\)上绝对可积，则\(\mathcal{F}[f'](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = ix\hat{f}(x)\)。
进而，若\(\lim_{t\to\pm\infty}f^{(k)}(t)=0\)，且\(f^{(k)}(t)\)绝对可积，\(k=1,2,\dots,n\)，则\(\mathcal{F}[f^{(n)}](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = (ix)^n\hat{f}(x)\)。

规范证明

1. 一阶微分性质证明
   采用单位化Fourier变换定义：\(\hat{f}(x) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{+\infty}f(t)e^{-ixt}dt\)。对\(f'(t)\)做变换：

   \[\mathcal{F}[f'](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{+\infty}f'(t)e^{-ixt}dt \]

   对积分做分部积分，设\(u=e^{-ixt}\)，\(dv=f'(t)dt\)，则\(du=-ixe^{-ixt}dt\)，\(v=f(t)\)，由分部积分公式得：

   \[\mathcal{F}[f'](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = \frac{1}{\sqrt{2\pi}}\left[ \left. f(t)e^{-ixt} \right|_{-\infty}^{+\infty} + ix\int_{-\infty}^{+\infty}f(t)e^{-ixt}dt \right] \]

2. 边界项消去
   由题设\(\lim_{t\to\pm\infty}f(t)=0\)，且\(|e^{-ixt}|=1\)有界，因此边界项\(\left. f(t)e^{-ixt} \right|_{-\infty}^{+\infty}=0\)，代入得：

   \[\mathcal{F}[f'](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = ix \cdot \hat{f}(x) \]

   一阶性质得证。

3. 高阶推广（数学归纳法）

   • 基例：\(n=1\)时已证成立；
   • 归纳假设：设\(n=k\)时，\(\mathcal{F}[f^{(k)}](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=)=(ix)^k\hat{f}(x)\)成立；
   • 归纳步骤：\(n=k+1\)时，\(f^{(k+1)}(t)=(f^{(k)}(t))'\)，由一阶性质结合归纳假设得：
     \[\mathcal{F}[f^{(k+1)}](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = ix \cdot \mathcal{F}[f^{(k)}](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = (ix)^{k+1}\hat{f}(x) \]

   因此对任意正整数\(n\)，结论成立。

「题后总结与易错警示」

1. 核心知识点：Fourier变换的微分性质、分部积分、无穷远边界条件验证；
2. 高频易错点：
   • 忽略\(\lim_{t\to\pm\infty}f(t)=0\)的边界条件，直接套用公式会导致错误（例如\(f(t)=1\)，\(f'(t)=0\)，但\(ix\hat{f}(x)\neq0\)）；
   • 高阶导数的幂次符号错误，需牢记\((ix)^n\)与变换定义\(e^{-ixt}\)匹配；
3. 核心意义：Fourier变换将时域的微分运算（分析运算）转化为频域的乘法运算（代数运算），是求解线性微分方程、偏微分方程的核心工具。

---

例16.3.5 利用Fourier变换求解常系数线性微分方程

题干

考察常系数线性微分方程

\[a_n f^{(n)}(t) + a_{n-1}f^{(n-1)}(t) + \dots + a_1 f'(t) + a_0 f(t) = g(t), \]

其中\(a_n,\dots,a_0\)为给定常数，\(g(t)\)为已知函数，利用Fourier变换求解该方程。

规范解答

1. 方程做Fourier变换
   设\(\hat{f}(x)=\mathcal{F}[f](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=)\)，\(\hat{g}(x)=\mathcal{F}[g](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=)\)，由Fourier变换的线性性，对等式两边做变换得：

   \[\sum_{k=0}^n a_k \mathcal{F}[f^{(k)}(t)] = \hat{g}(x) \]

2. 应用微分性质转化为代数方程
   假设\(f(t)\)满足微分性质的边界条件：\(\lim_{t\to\pm\infty}f^{(k)}(t)=0\)，\(k=0,1,\dots,n-1\)，代入微分性质\(\mathcal{F}[f^{(k)}](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=)=(ix)^k\hat{f}(x)\)，得：

   \[\hat{f}(x) \cdot \left[ a_n(ix)^n + a_{n-1}(ix)^{n-1} + \dots + a_1 ix + a_0 \right] = \hat{g}(x) \]

   记特征多项式\(P(x) = \sum_{k=0}^n a_k(ix)^k\)，若对所有\(x\in\mathbb{R}\)，\(P(x)\neq0\)，则像函数为：

   \[\hat{f}(x) = \frac{\hat{g}(x)}{P(x)} \]

3. 逆变换求原函数
   对\(\hat{f}(x)\)做Fourier逆变换，即得方程的解：

   \[f(t) = \mathcal{F}^{-1}\left[ \frac{\hat{g}(x)}{P(x)} \right](sslocal://flow/file_open?url=t&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) \]

   结合卷积定理，解可表示为\(f(t)=(g*h)(t)\)，其中\(h(t)=\mathcal{F}^{-1}\left[ \frac{1}{P(x)} \right](sslocal://flow/file_open?url=t&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=)\)为方程的脉冲响应函数。

「题后总结与易错警示」

1. 核心知识点：Fourier变换的线性性与微分性质、常系数线性微分方程的频域解法；
2. 适用条件：
   • 仅适用于求解无穷远衰减解，不适用于周期解或无界解（不满足边界条件）；
   • 特征多项式\(P(x)\)在实轴上无零点，否则需用广义函数（分布）的Fourier变换处理；
3. 解题通法：线性常系数微分方程的Fourier解法标准流程：方程做变换→转化为代数方程求像函数→逆变换得原函数，是线性系统频域分析的核心方法。

---

例16.3.6 Fourier变换的卷积定理

题干

称\((f*g)(t) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{+\infty}f(t-u)g(u)du\)为函数\(f\)与\(g\)的卷积，证明：\(\mathcal{F}[f*g](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = \hat{f}(x)\cdot\hat{g}(x)\)。

规范证明

1. 卷积的Fourier变换展开
   对卷积做Fourier变换：

   \[\mathcal{F}[f*g](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{+\infty} \left( \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{+\infty}f(t-u)g(u)du \right) e^{-ixt} dt \]

2. 交换积分次序（Fubini定理）
   若\(f,g\in L^1(\mathbb{R})\)，则被积函数绝对可积：

   \[\int_{-\infty}^{+\infty}\int_{-\infty}^{+\infty}|f(t-u)g(u)|dudt = \|f\|_{L^1}\|g\|_{L^1} < +\infty \]

   满足Fubini定理条件，交换积分次序得：

   \[\mathcal{F}[f*g](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = \frac{1}{2\pi}\int_{-\infty}^{+\infty} g(u) \left( \int_{-\infty}^{+\infty} f(t-u) e^{-ixt} dt \right) du \]

3. 变量替换化简
   对内层积分做变量替换\(v=t-u\)，则\(t=v+u\)，\(dt=dv\)，代入得：

   \[\int_{-\infty}^{+\infty} f(t-u) e^{-ixt} dt = e^{-ixu} \int_{-\infty}^{+\infty} f(v) e^{-ixv} dv = e^{-ixu} \cdot \sqrt{2\pi}\hat{f}(x) \]

4. 最终化简
   代回原式得：

   \[\mathcal{F}[f*g](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) = \hat{f}(x) \cdot \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{+\infty}g(u)e^{-ixu}du = \hat{f}(x)\cdot\hat{g}(x) \]

   卷积定理得证。

「题后总结与易错警示」

1. 核心知识点：卷积的定义、Fubini定理、卷积定理；
2. 高频易错点：
   • 卷积的常数因子与Fourier变换的定义不匹配，单位化变换的卷积带\(\frac{1}{\sqrt{2\pi}}\)，非单位化变换不带该因子，需严格匹配；
   • 交换积分次序时忽略绝对可积性验证，违反Fubini定理的适用条件；
3. 核心意义：卷积定理将时域复杂的卷积运算转化为频域的乘法运算，是信号滤波、图像处理、线性系统分析的核心工具。

---

例16.3.7 利用卷积定理求解卷积型积分方程

题干

设\(g(u),h(u)\)为已知函数，求解关于未知函数\(f(u)\)的积分方程：

\[f(u) = g(u) + \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{+\infty}h(u-t)f(t)dt, \quad -\infty<u<+\infty. \]

规范解答

1. 方程标准化（卷积识别）
   方程右边的积分项正是\(h\)与\(f\)的卷积\((h*f)(u)\)，因此方程可改写为：

   \[f = g + h*f \]

2. 方程做Fourier变换
   设\(\hat{f}(x)=\mathcal{F}[f](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=)\)，\(\hat{g}(x)=\mathcal{F}[g](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=)\)，\(\hat{h}(x)=\mathcal{F}[h](sslocal://flow/file_open?url=x&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=)\)，由线性性与卷积定理，对等式两边做变换得：

   \[\hat{f}(x) = \hat{g}(x) + \hat{h}(x)\hat{f}(x) \]

3. 求解像函数
   整理含\(\hat{f}(x)\)的项，得：

   \[\hat{f}(x)\cdot(1-\hat{h}(x)) = \hat{g}(x) \]

   若对所有\(x\in\mathbb{R}\)，\(1-\hat{h}(x)\neq0\)，则：

   \[\hat{f}(x) = \frac{\hat{g}(x)}{1-\hat{h}(x)} \]

4. 逆变换求原函数
   对\(\hat{f}(x)\)做Fourier逆变换，即得积分方程的解：

   \[f(u) = \mathcal{F}^{-1}\left[ \frac{\hat{g}(x)}{1-\hat{h}(x)} \right](sslocal://flow/file_open?url=u&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=) \]

   若记预解核\(r(u) = \mathcal{F}^{-1}\left[ \frac{\hat{h}(x)}{1-\hat{h}(x)} \right](sslocal://flow/file_open?url=u&flow_extra=eyJsaW5rX3R5cGUiOiJjb2RlX2ludGVycHJldGVyIn0=)\)，则解可表示为卷积形式\(f = g + r*g\)。

「题后总结与拓展」

1. 核心知识点：卷积型积分方程识别、卷积定理、第二类Fredholm积分方程的频域解法；
2. 适用条件：
   • 仅适用于卷积型积分方程（积分核仅依赖于变量的差\(u-t\)），非卷积型方程不能直接用该方法；
   • \(1-\hat{h}(x)\)在实轴上无零点，否则需用广义函数理论处理；
3. 物理意义：该方程描述了平移不变线性系统的输入输出关系，\(h(u)\)是系统的脉冲响应，\(g(u)\)是输入信号，\(f(u)\)是输出信号，是通信理论、控制工程的核心模型。

---

本章节例题核心逻辑梳理

这7道例题构成了Fourier分析的完整应用闭环，遵循基础定义→核心性质→工程应用的逻辑链条：

1. 基础层：例16.3.1-16.3.2 夯实Fourier积分、余弦/正弦变换的定义与收敛性，掌握基本反常积分计算；
2. 性质层：例16.3.3-16.3.6 深入讲解Fourier变换的两大核心性质——微分性质与卷积定理，实现“分析运算→代数运算”的核心转化；
3. 应用层：例16.3.5-16.3.7 解决线性微分方程、卷积型积分方程两大工程核心问题，完成从理论到应用的落地。

所有例题的核心思想，都是利用Fourier变换的正交性与运算转化能力，将复杂的微积分问题转化为简单的代数问题，这也是Fourier分析贯穿理论科学与工程技术的核心价值。

---

Fourier级数的Cesàro求和 系统讲解

本节的核心目标是解决经典Fourier级数收敛性的本质缺陷：1876年Du Bois-Reymond证明了「存在连续的周期函数，其Fourier级数在若干点发散」，说明仅靠函数的连续性无法保证Fourier级数的逐点收敛。因此我们放弃经典的部分和收敛定义，引入更弱的Cesàro求和（算术平均求和），最终得到核心结论：连续周期函数的Fourier级数在Cesàro意义下必一致收敛到函数本身，并以此给出Weierstrass第一逼近定理的构造性证明。

---

一、Cesàro求和的定义与基本性质

1.1 引入动机

对于无穷级数\(\sum_{n=1}^\infty a_n\)，记其部分和为\(S_n = \sum_{k=1}^n a_k\)，经典的收敛定义是\(\lim_{n\to\infty} S_n = S\)。但该定义存在明显局限：即使是结构简单的级数，也可能不存在经典和。
典型反例：\(\sum_{n=1}^\infty (-1)^{n-1} = 1-1+1-1+\cdots\)，其部分和\(S_n = \begin{cases}1, & n\text{为奇数} \\ 0, & n\text{为偶数}\end{cases}\)，在经典意义下发散。

我们需要一种新的收敛定义，满足两个核心要求：

1. 相容性：经典意义下收敛的级数，在新定义下必收敛，且和相同；
2. 更广的适用性：能对更多经典意义下发散的级数赋予合理的“和”。

Cesàro求和正是满足上述要求的收敛定义。

1.2 Cesàro求和的严格定义

定义16.4.1（Cesàro收敛） 设\(\sum_{n=1}^\infty a_n\)为无穷级数，\(\{S_n\}\)为其部分和数列。定义部分和的算术平均（称为Cesàro平均）：

\[\sigma_n = \frac{S_1 + S_2 + \cdots + S_n}{n}, \quad n=1,2,\cdots \]

若\(\lim_{n\to\infty} \sigma_n = \sigma\)，则称级数\(\sum_{n=1}^\infty a_n\)在Cesàro意义下收敛（或均值意义下收敛），\(\sigma\)称为该级数的Cesàro和，记为

\[\sum_{n=1}^\infty a_n = \sigma \ (\text{C}), \quad \text{或} \ \text{(C)}\sum_{n=1}^\infty a_n = \sigma \]

1.3 Cesàro收敛与经典收敛的关系

定理16.4.1（相容性定理） 若级数\(\sum_{n=1}^\infty a_n\)在经典意义下收敛于\(S\)，即\(\lim_{n\to\infty} S_n = S\)，则其Cesàro平均\(\{\sigma_n\}\)必收敛于\(S\)，即级数在Cesàro意义下收敛于\(S\)。反之不成立。

完整证明

1. 正向证明（经典收敛⇒Cesàro收敛）
   由\(\lim_{n\to\infty} S_n = S\)，根据数列极限的定义：\(\forall \varepsilon>0\)，\(\exists N\in\mathbb{N}^*\)，当\(n>N\)时，\(|S_n - S| < \frac{\varepsilon}{2}\)。
   对Cesàro平均做拆分估计（分析学核心的ε-N拆分技巧）：

   \[|\sigma_n - S| = \left| \frac{S_1+S_2+\cdots+S_n}{n} - S \right| = \frac{1}{n}\left| \sum_{k=1}^n (S_k - S) \right| \leq \frac{1}{n}\sum_{k=1}^n |S_k - S| \]

   将求和拆分为前\(N\)项和\(n>N\)的部分：

   \[|\sigma_n - S| \leq \frac{1}{n}\sum_{k=1}^N |S_k - S| + \frac{1}{n}\sum_{k=N+1}^n |S_k - S| \]

   对第二项，当\(k>N\)时\(|S_k - S|<\frac{\varepsilon}{2}\)，因此：

   \[\frac{1}{n}\sum_{k=N+1}^n |S_k - S| < \frac{1}{n}\cdot (n-N)\cdot \frac{\varepsilon}{2} < \frac{\varepsilon}{2} \]

   对第一项，记\(M = \sum_{k=1}^N |S_k - S|\)（固定\(N\)后\(M\)为常数），取\(N_1 = \max\left\{N, \frac{2M}{\varepsilon}\right\}\)，当\(n>N_1\)时，\(\frac{M}{n} < \frac{\varepsilon}{2}\)。
   因此当\(n>N_1\)时，\(|\sigma_n - S| < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon\)，即\(\lim_{n\to\infty}\sigma_n = S\)。

2. 反向不成立的反例
   取级数\(\sum_{n=1}^\infty (-1)^{n-1}\)，其部分和\(S_n = \begin{cases}1, & n\text{奇} \\ 0, & n\text{偶}\end{cases}\)，经典意义下发散。
   计算Cesàro平均：

   • 当\(n=2k\)（偶数）时，\(\sigma_{2k} = \frac{S_1+S_2+\cdots+S_{2k}}{2k} = \frac{k\cdot1 + k\cdot0}{2k} = \frac{1}{2}\)；
   • 当\(n=2k+1\)（奇数）时，\(\sigma_{2k+1} = \frac{(k+1)\cdot1 + k\cdot0}{2k+1} \to \frac{1}{2} \ (k\to\infty)\)。
     因此\(\lim_{n\to\infty}\sigma_n = \frac{1}{2}\)，即该级数在Cesàro意义下收敛于\(\frac{1}{2}\)，验证了反向不成立。

---

二、Fourier级数的Cesàro平均与Fejér核

我们将Cesàro求和应用到Fourier级数上，核心是推导Fourier级数部分和的算术平均的积分表达式，引入Fejér核，这是证明Fejér定理的核心工具。

2.1 前置准备：Fourier级数的部分和（Dirichlet形式）

设\(f(x)\)是周期为\(2\pi\)、在\([-\pi,\pi]\)上可积或绝对可积的函数，其Fourier级数为：

\[f(x) \sim \frac{a_0}{2} + \sum_{n=1}^\infty (a_n\cos nx + b_n\sin nx) \]

其部分和的Dirichlet积分形式为：

\[S_n(x_0) = \frac{1}{\pi}\int_0^\pi \left[ f(x_0+t) + f(x_0-t) \right] \frac{\sin\left(n+\frac{1}{2}\right)t}{2\sin\frac{t}{2}} dt \]

其中\(D_n(t) = \frac{\sin\left(n+\frac{1}{2}\right)t}{2\sin\frac{t}{2}}\)为Dirichlet核。

2.2 Fourier级数的Cesàro平均的积分形式

定义Fourier级数部分和的算术平均（Cesàro平均）：

\[\sigma_n(x_0) = \frac{1}{n}\sum_{k=0}^{n-1} S_k(x_0) \]

（注：教材中\(S_0(x_0)=\frac{a_0}{2}\)，求和从\(k=0\)到\(n-1\)，与级数Cesàro平均的定义一致）

将\(S_k(x_0)\)的Dirichlet形式代入，交换求和与积分次序：

\[\sigma_n(x_0) = \frac{1}{n}\sum_{k=0}^{n-1} \frac{1}{\pi}\int_0^\pi \left[ f(x_0+t)+f(x_0-t) \right] D_k(t) dt = \frac{1}{\pi}\int_0^\pi \left[ f(x_0+t)+f(x_0-t) \right] \cdot \frac{1}{n}\sum_{k=0}^{n-1} D_k(t) dt \]

2.3 Fejér核的推导与性质

三角恒等式化简

利用三角恒等式\(\sum_{k=0}^{n-1} \sin\left(k+\frac{1}{2}\right)t = \frac{\sin^2\frac{nt}{2}}{\sin\frac{t}{2}}\)，对求和项化简：

\[\frac{1}{n}\sum_{k=0}^{n-1} D_k(t) = \frac{1}{n}\sum_{k=0}^{n-1} \frac{\sin\left(k+\frac{1}{2}\right)t}{2\sin\frac{t}{2}} = \frac{1}{2n\sin\frac{t}{2}} \cdot \frac{\sin^2\frac{nt}{2}}{\sin\frac{t}{2}} = \frac{1}{2n} \left( \frac{\sin\frac{nt}{2}}{\sin\frac{t}{2}} \right)^2 \]

定义（Fejér核） 称函数

\[\boldsymbol{F_n(t) = \frac{1}{2n} \left( \frac{\sin\frac{nt}{2}}{\sin\frac{t}{2}} \right)^2} \]

为n阶Fejér核。

因此，Fourier级数的Cesàro平均可表示为Fejér积分形式：

\[\boldsymbol{\sigma_n(x_0) = \frac{1}{\pi}\int_0^\pi \left[ f(x_0+t) + f(x_0-t) \right] F_n(t) dt} \]

Fejér核的核心性质（好核/逼近恒等核）

Fejér核是证明收敛性的关键，它具备3条核心性质，完全区别于Dirichlet核：

1. 非负性：对任意\(t\in\mathbb{R}\)，\(F_n(t) \geq 0\)。

   直观解释：这是Fejér核最关键的性质，Dirichlet核是震荡的、有正有负，导致无法直接做积分估计；而Fejér核恒非负，保证了积分估计的有效性。

2. 规范性：\(\frac{1}{\pi}\int_0^\pi F_n(t) dt = 1\)。

   证明：取\(f(x)\equiv1\)，其Fourier级数部分和\(S_n(x)\equiv1\)，因此Cesàro平均\(\sigma_n(x)\equiv1\)，代入Fejér积分形式即得。

3. 局部集中性：对任意固定的\(\delta\in(0,\pi)\)，有\(\lim_{n\to\infty} \int_\delta^\pi F_n(t) dt = 0\)。

   证明：当\(t\in[\delta,\pi]\)时，\(\sin\frac{t}{2} \geq \sin\frac{\delta}{2} > 0\)，因此\(F_n(t) \leq \frac{1}{2n\sin^2\frac{\delta}{2}}\)，故\(\int_\delta^\pi F_n(t) dt \leq \frac{\pi}{2n\sin^2\frac{\delta}{2}} \to 0 \ (n\to\infty)\)。
   直观解释：当\(n\to\infty\)时，Fejér核的积分质量完全集中在\(t=0\)的邻域内，这正是局部化原理的体现。

---

三、核心定理：Fejér定理

Fejér定理完全解决了连续周期函数的Fourier级数的收敛性问题，是本节的核心结论。

3.1 点态收敛的Fejér定理

定理16.4.2（Fejér点态收敛定理） 设\(f(x)\)是周期为\(2\pi\)、在\([-\pi,\pi]\)上可积或绝对可积的函数。若\(f(x)\)在\(x_0\)处存在左、右极限\(f(x_0-0)\)和\(f(x_0+0)\)，则\(f(x)\)的Fourier级数在\(x_0\)处的Cesàro和为\(\frac{1}{2}\left[ f(x_0+0) + f(x_0-0) \right]\)，即

\[\lim_{n\to\infty} \sigma_n(x_0) = \frac{1}{2}\left[ f(x_0+0) + f(x_0-0) \right] \]

特别地：若\(f(x)\)在\(x_0\)处连续，则\(\lim_{n\to\infty}\sigma_n(x_0) = f(x_0)\)。

完整证明（ε-δ估计拆解）

1. 目标式改写
   记\(s = \frac{1}{2}\left[ f(x_0+0) + f(x_0-0) \right]\)，由Fejér核的规范性，\(s = \frac{1}{\pi}\int_0^\pi 2s \cdot F_n(t) dt\)，因此：

   \[\sigma_n(x_0) - s = \frac{1}{\pi}\int_0^\pi \left[ f(x_0+t) + f(x_0-t) - 2s \right] F_n(t) dt \]

   令\(\varphi(t) = f(x_0+t) + f(x_0-t) - 2s\)，则目标转化为证明\(\lim_{n\to\infty} \frac{1}{\pi}\int_0^\pi \varphi(t) F_n(t) dt = 0\)。

2. 积分拆分与估计
   由\(f(x)\)在\(x_0\)处的左右极限存在，\(\forall \varepsilon>0\)，\(\exists \delta\in(0,\pi)\)，当\(0<t<\delta\)时，有：

   \[|f(x_0+t)-f(x_0+0)| < \frac{\varepsilon}{2}, \quad |f(x_0-t)-f(x_0-0)| < \frac{\varepsilon}{2} \]

   因此\(|\varphi(t)| \leq |f(x_0+t)-f(x_0+0)| + |f(x_0-t)-f(x_0-0)| < \varepsilon\)。

   将积分拆分为\([0,\delta]\)和\([\delta,\pi]\)两部分：

   \[\left| \frac{1}{\pi}\int_0^\pi \varphi(t)F_n(t)dt \right| \leq \frac{1}{\pi}\int_0^\delta |\varphi(t)|F_n(t)dt + \frac{1}{\pi}\int_\delta^\pi |\varphi(t)|F_n(t)dt = I_1 + I_2 \]

3. \(I_1\)的估计
   由\(|\varphi(t)|<\varepsilon\)和Fejér核的非负性、规范性：

   \[I_1 < \frac{\varepsilon}{\pi}\int_0^\delta F_n(t)dt \leq \frac{\varepsilon}{\pi}\int_0^\pi F_n(t)dt = \varepsilon \]

4. \(I_2\)的估计
   由\(f\)绝对可积，记\(M = \int_0^\pi |\varphi(t)|dt < +\infty\)，当\(t\in[\delta,\pi]\)时，\(F_n(t) \leq \frac{1}{2n\sin^2\frac{\delta}{2}}\)，因此：

   \[I_2 \leq \frac{1}{\pi} \cdot \frac{1}{2n\sin^2\frac{\delta}{2}} \cdot M \]

   取\(N = \frac{M}{2\pi\varepsilon\sin^2\frac{\delta}{2}}\)，当\(n>N\)时，\(I_2 < \varepsilon\)。

5. 结论
   当\(n>N\)时，\(|\sigma_n(x_0)-s| < I_1 + I_2 < 2\varepsilon\)，由\(\varepsilon\)的任意性，\(\lim_{n\to\infty}\sigma_n(x_0)=s\)，定理得证。

3.2 一致收敛的Fejér定理

定理16.4.3（Fejér一致收敛定理） 设\(f(x)\)是周期为\(2\pi\)的连续函数，则\(f(x)\)的Fourier级数在Cesàro意义下一致收敛于\(f(x)\)，即\(\sigma_n(x) \rightrightarrows f(x)\)，\(x\in[-\pi,\pi]\)（\(n\to\infty\)）。

证明核心思路

1. 由\(f(x)\)是周期为\(2\pi\)的连续函数，故在\(\mathbb{R}\)上一致连续（闭区间上连续必一致连续，结合周期性推广到全实轴）。
2. 对\(\forall \varepsilon>0\)，\(\exists \delta\in(0,\pi)\)，对任意\(x\in[-\pi,\pi]\)，当\(0<t<\delta\)时，\(|f(x+t)-f(x)| < \frac{\varepsilon}{2}\)，\(|f(x-t)-f(x)| < \frac{\varepsilon}{2}\)。
3. 类似点态收敛的拆分估计，此时\(\varphi_x(t) = f(x+t)+f(x-t)-2f(x)\)，\(|\varphi_x(t)|<\varepsilon\)对所有\(x\)一致成立，因此\(I_1<\varepsilon\)对所有\(x\)一致成立。
4. 记\(M = \max_{x\in[-\pi,\pi]}|f(x)|\)，则\(|\varphi_x(t)| \leq 4M\)，因此\(I_2 \leq \frac{4M}{\pi}\int_\delta^\pi F_n(t)dt \to 0\)（\(n\to\infty\)），与\(x\)无关。
5. 最终得到\(|\sigma_n(x)-f(x)| < 2\varepsilon\)对所有\(x\in[-\pi,\pi]\)一致成立，即一致收敛。

3.3 重要推论

推论16.4.1 设\(f(x)\)是周期为\(2\pi\)、在\([-\pi,\pi]\)上可积或绝对可积的函数。若\(f(x)\)在\(x_0\)处有左、右极限，且其Fourier级数在\(x_0\)处经典收敛于\(s\)，则必有\(s = \frac{1}{2}\left[ f(x_0+0) + f(x_0-0) \right]\)。

证明

由定理16.4.1，经典收敛必Cesàro收敛，且和相同；而由Fejér定理，Cesàro和必为\(\frac{1}{2}\left[ f(x_0+0) + f(x_0-0) \right]\)，因此经典收敛的和必为该值。

核心意义：该推论给出了Fourier级数经典收敛的必要条件——若Fourier级数在\(x_0\)处收敛，其和只能是函数在该点左右极限的算术平均，排除了收敛到其他值的可能。

---

四、应用：Weierstrass第一逼近定理的证明

Weierstrass第一逼近定理是分析学的核心定理之一，它断言：闭区间上的连续函数可被代数多项式一致逼近。本节利用Fejér定理给出该定理的构造性证明。

定理16.4.4（Weierstrass第一逼近定理） 设\(f(x)\)在\([-\pi,\pi]\)上连续，且\(f(-\pi)=f(\pi)\)，则对任意\(\varepsilon>0\)，存在三角多项式\(T(x)\)，使得\(|f(x)-T(x)| < \varepsilon\)对所有\(x\in[-\pi,\pi]\)成立。
进一步地，对闭区间\([a,b]\)上的任意连续函数\(f(x)\)，存在代数多项式\(P(x)\)，使得\(|f(x)-P(x)| < \varepsilon\)对所有\(x\in[a,b]\)成立。

证明（基于Fejér定理）

1. 三角多项式逼近的证明
   由\(f(x)\)在\([-\pi,\pi]\)上连续且\(f(-\pi)=f(\pi)\)，可将\(f(x)\)延拓为周期为\(2\pi\)的连续周期函数。
   由Fejér一致收敛定理，\(f(x)\)的Fourier级数的Cesàro平均\(\sigma_n(x)\)一致收敛于\(f(x)\)，即\(\forall \varepsilon>0\)，\(\exists N\in\mathbb{N}^*\)，当\(n>N\)时，\(|f(x)-\sigma_n(x)| < \varepsilon\)对所有\(x\in[-\pi,\pi]\)成立。
   而\(\sigma_n(x)\)是Fourier级数前\(n\)项部分和的算术平均，本质上是一个n阶三角多项式（仅包含\(\cos kx, \sin kx\)，\(k=0,1,\dots,n-1\)的线性组合），因此取\(T(x)=\sigma_n(x)\)即满足要求。

2. 代数多项式逼近的推广
   对\([a,b]\)上的连续函数\(f(x)\)，做变量替换\(x = a + \frac{b-a}{2\pi}t\)，将\(x\in[a,b]\)映射到\(t\in[0,2\pi]\)，得到函数\(g(t) = f\left(a + \frac{b-a}{2\pi}t\right)\)，\(g(t)\)在\([0,2\pi]\)上连续，且\(g(0)=g(2\pi)\)。
   由上述结论，存在三角多项式\(T(t)\)一致逼近\(g(t)\)；再利用\(\cos kt, \sin kt\)的Taylor展开，可将三角多项式用代数多项式一致逼近，最终得到逼近\(f(x)\)的代数多项式\(P(x)\)。

核心意义：该证明是构造性的，直接给出了逼近的三角多项式（Cesàro平均），而非仅证明存在性；同时也揭示了Fourier分析与多项式逼近的深刻联系。

---

五、核心概念辨析与易错警示

5.1 Dirichlet核与Fejér核的本质区别

性质	Dirichlet核\(D_n(t)\)	Fejér核\(F_n(t)\)
符号	震荡，有正有负	恒非负
积分绝对可积性	\(\int_0^\pi |D_n(t)|dt \to \infty\)（\(n\to\infty\)）	\(\int_0^\pi F_n(t)dt = 1\)，一致有界
收敛性	无法保证连续函数的Fourier级数收敛	保证连续函数的Cesàro平均一致收敛

5.2 高频易错点

1. 混淆Cesàro收敛与经典收敛的逻辑关系
   错误认知：“Cesàro收敛的级数一定经典收敛”。
   纠正：经典收敛是Cesàro收敛的充分非必要条件，Cesàro收敛是更弱的收敛定义，能覆盖更多发散级数。

2. 忽略Fejér定理的周期条件
   错误认知：“任意区间上的连续函数的Fourier级数Cesàro平均都一致收敛”。
   纠正：一致收敛的Fejér定理要求函数是周期连续的，非周期函数需满足区间端点的连续性条件（\(f(-\pi)=f(\pi)\)），否则端点处无法保证收敛。

3. 误用推论16.4.1
   错误认知：“Fourier级数的和一定是\(\frac{1}{2}[f(x+0)+f(x-0)]\)”。
   纠正：该推论仅在Fourier级数经典收敛的前提下成立，若级数发散，该结论不成立；而Cesàro和无论级数是否经典收敛，都等于该值。

---

六、本节核心思想总结

1. 收敛定义的推广：当经典的部分和收敛无法满足需求时，通过对部分和取算术平均，得到更弱的Cesàro收敛，既保持了与经典收敛的相容性，又极大拓展了可求和级数的范围。
2. 好核的核心作用：Fejér核作为非负的逼近恒等核，解决了Dirichlet核震荡带来的估计困难，是Cesàro平均收敛性的核心保障。
3. 构造性证明的典范：Fejér定理不仅证明了收敛性，还直接给出了收敛的序列（Cesàro平均），以此为基础的Weierstrass逼近定理证明，是分析学中构造性证明的经典范例。
4. 调和分析的基础：Cesàro求和是“求和核方法”的开端，后续的Abel求和、Poisson核等均是该思想的延伸，是现代调和分析的核心基础。

---