中册 6.5 傅里叶级数 第24题
📝 题目
24．设存在一区间 $[a, b]$ 使得两个傅里叶级数 $\displaystyle \frac{a_{0}}{2}+\sum_{n=1}^{\infty}\left(a_{n} \cos n x+b_{n} \sin n x\right)$ 和 $\displaystyle \frac{\alpha_{0}}{2}+\sum_{n=1}^{\infty}\left(\alpha_{n} \cos n x+\beta_{n} \sin n x\right)$ 都在 $[a, b]$ 上收玫，并且其和函数在 $[a, b]$ 上连续且相等，问对于任意自然数 $n, a_{n}=\alpha_{n}, b_{n}=\beta_{n}$ 是否成立？如成立，请证明；如不成立，加上什么条件后能保证成立，说
明理由．
💡 答案解析
\section*{解题过程：}
如果对区间 $[a, b]$ 不加限制，则一般情况下两傅里叶级数的对应系数末必相等。为此构造如下反例：
设 $-\pi
📋 详细解题步骤
步骤 1/5
目标：分析问题，判断结论是否成立
题目问：如果两个傅里叶级数在区间 $[a,b]$ 上收敛，且和函数在 $[a,b]$ 上连续且相等，那么对应系数是否一定相等？答案是否定的，因为傅里叶级数的系数由函数在整个周期上的积分决定，而不仅仅依赖于 $[a,b]$ 上的函数值。
提示：注意傅里叶系数是全局性质，局部相等不能推出系数相等。
步骤 2/5
目标：构造反例说明不成立
取 $[a,b]\subset(-\pi,\pi)$，定义两个函数 $f(x)$ 和 $g(x)$ 在 $[-\pi,\pi]$ 上：
$$f(x)=\begin{cases} x, & x\in(-\pi,\pi), \\ 0, & x=\pm\pi, \end{cases}$$
$$g(x)=\begin{cases} x, & x\in[a,b], \\ a, & x\in(-\pi,a), \\ b, & x\in(b,\pi), \\ 0, & x=\pm\pi. \end{cases}$$
$f$ 和 $g$ 在 $[a,b]$ 上相等（都等于 $x$），且都是分段单调有界函数，由狄利克雷定理，它们的傅里叶级数在 $[a,b]$ 上收敛到自身。但 $f$ 的傅里叶系数 $a_n=0$（因为 $f$ 是奇函数），而 $g$ 的系数 $\alpha_n$ 一般不为零（因为 $g$ 不是奇函数），所以 $a_n\neq\alpha_n$。
公式：傅里叶系数公式：$a_n=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)\cos nx\,dx$, $b_n=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)\sin nx\,dx$
提示：注意 $f$ 是奇函数，所以 $a_n=0$；$g$ 不是奇函数，所以 $\alpha_n$ 一般非零。
步骤 3/5
目标：添加条件使结论成立
如果区间 $[a,b]$ 恰好是整个周期区间 $[-\pi,\pi]$，并且两个傅里叶级数在 $[-\pi,\pi]$ 上一致收敛，那么系数必然相等。因为一致收敛保证和函数连续，且傅里叶级数可以逐项积分，从而系数由和函数唯一确定。
提示：一致收敛是保证逐项积分的关键条件。
步骤 4/5
目标：证明在一致收敛条件下系数相等
设 $f(x)=\frac{a_0}{2}+\sum_{n=1}^\infty (a_n\cos nx+b_n\sin nx)$，$g(x)=\frac{\alpha_0}{2}+\sum_{n=1}^\infty (\alpha_n\cos nx+\beta_n\sin nx)$，且 $f(x)=g(x)$ 在 $[-\pi,\pi]$ 上连续。由于级数一致收敛，可以逐项积分：
$$\int_{-\pi}^{\pi} f(x)\cos kx\,dx = \frac{a_0}{2}\int_{-\pi}^{\pi}\cos kx\,dx + \sum_{n=1}^\infty \left(a_n\int_{-\pi}^{\pi}\cos nx\cos kx\,dx + b_n\int_{-\pi}^{\pi}\sin nx\cos kx\,dx\right)$$。利用正交性，$\int_{-\pi}^{\pi}\cos nx\cos kx\,dx = \pi\delta_{nk}$，$\int_{-\pi}^{\pi}\sin nx\cos kx\,dx = 0$，$\int_{-\pi}^{\pi}\cos kx\,dx=0$（$k\ge1$），得到 $\int_{-\pi}^{\pi} f(x)\cos kx\,dx = a_k\pi$。同理 $\int_{-\pi}^{\pi} g(x)\cos kx\,dx = \alpha_k\pi$。由于 $f=g$，所以 $a_k=\alpha_k$。类似可得 $b_k=\beta_k$。
公式：正交性：$\int_{-\pi}^{\pi}\cos nx\cos kx\,dx = \pi\delta_{nk}$，$\int_{-\pi}^{\pi}\sin nx\cos kx\,dx=0$
提示：注意 $k=0$ 时单独处理，但结论类似。
步骤 5/5
目标：总结结论
一般情况下，两个傅里叶级数在子区间上收敛且和函数相等，不能推出系数相等。但若区间为整个周期区间且级数一致收敛，则系数必然相等。
提示：反例说明局部相等不足以保证系数相等，一致收敛是充分条件。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。