中册 6.3 函数项级数 第24题
📝 题目
24.证明下列结论.
(1)设 $\displaystyle f(x)=\sum_{n=1}^{\infty} \frac{\sin n x}{2^{n}}$ ,证明 $f(x)$ 在 $(-\infty,+\infty)$ 上一致收敛,并计算 $\int_{0}^{\pi} f(x) \mathrm{d} x$ 。
(2)证明:(1)级数 $\displaystyle \sum_{n=1}^{\infty} \frac{\sin \left(2^{n} \pi x\right)}{2^{n}}$ 在区间 $(-\infty,+\infty)$ 连续;(2)函数 $\displaystyle f(x)=\sum_{n=1}^{\infty} \frac{\sin \left(2^{n} \pi x\right)}{2^{n}}$ 在任何区间上不能逐项可导(对任意的 $x$ ,此函数项级数逐项求导后点点不收玫).
💡 答案解析
\section*{解题过程:}
(1)由于 $\displaystyle \forall x \in(-\infty,+\infty),\left|\frac{\sin n x}{2^{n}}\right| \leqslant \frac{1}{2^{n}}$ ,而 $\displaystyle \sum_{n=1}^{\infty} \frac{1}{2^{n}}$ 收敛,由 M 判别法知 $\displaystyle \sum_{n=1}^{\infty} \frac{\sin n x}{2^{n}}$ 在 $(-\infty,+\infty)$ 上一致收敛。
又每个 $\displaystyle u_{n}(x)=\frac{\sin n x}{2^{n}}$ 在 $(-\infty,+\infty)$ 上连续,从而 $f(x)$ 在 $(-\infty,+\infty)$ 上连续。于是 $f(x)$ 在 $[0, \pi]$ 可积且
$$
\int_{0}^{\pi} f(x) \mathrm{d} x=\sum_{n=1}^{\infty} \frac{1}{2^{n}} \int_{0}^{\pi} \sin n x \mathrm{~d} x=\sum_{n=1}^{\infty} \frac{1-(-1)^{n}}{n \cdot 2^{n}}=2 \sum_{k=1}^{\infty} \frac{1}{2 k-1} \frac{1}{2^{2 k-1}} .
$$
由幂级数 $\displaystyle \sum_{k=1}^{\infty} \frac{x^{2 k-1}}{2 k-1}=\ln \frac{1+x}{1-x}$ 知 $\int_{0}^{\pi} f(x) \mathrm{d} x=2 \ln 3$ .
(2)由于 $\displaystyle \forall x \in(-\infty,+\infty),\left|\frac{\sin \left(2^{n} \pi x\right)}{2^{n}}\right| \leqslant \frac{1}{2^{n}}$ ,而 $\displaystyle \sum_{n=1}^{\infty} \frac{1}{2^{n}}$ 收敛。由 M 判别法知级数 $\displaystyle \sum_{n=1}^{\infty} \frac{\sin \left(2^{n} \pi x\right)}{2^{n}}$ 在 $(-\infty,+\infty)$ 上一致收敛.又每个函数 $\displaystyle \frac{\sin \left(2^{n} \pi x\right)}{2^{n}}$ 在 $(-\infty,+\infty)$ 上连续,从而 $f(x)$ 在 $(-\infty,+\infty)$ 上连续.
由于 $\displaystyle \sum_{n=1}^{\infty}\left(\frac{\sin \left(2^{n} \pi x\right)}{2^{n}}\right)^{\prime}=\pi \sum_{n=1}^{\infty} \cos \left(2^{n} \pi x\right)$ ,且对 $\forall x \in(-\infty,+\infty), \lim _{n \rightarrow \infty} \cos \left(2^{n} \pi x\right)$ 不存在,所以级数 $\sum_{n=1}^{\infty} \cos \left(2^{n} \pi x\right)$ 发散,故函数项级数逐项求导后点点不收玫。
📋 详细解题步骤
步骤 1/5
目标:证明级数一致收敛
对于所有 $x \in (-\infty, +\infty)$,有 $\left|\frac{\sin nx}{2^n}\right| \leq \frac{1}{2^n}$,而 $\sum_{n=1}^\infty \frac{1}{2^n}$ 收敛,由 Weierstrass M 判别法知 $\sum_{n=1}^\infty \frac{\sin nx}{2^n}$ 在 $(-\infty, +\infty)$ 上一致收敛。
公式:$\left|\frac{\sin nx}{2^n}\right| \leq \frac{1}{2^n}$
提示:注意 M 判别法要求优级数收敛,这里 $M_n = 1/2^n$ 是常数。
步骤 2/5
目标:计算积分并交换积分与求和
由于一致收敛且每项连续,$f(x)$ 连续,可在 $[0,\pi]$ 上逐项积分:$\int_0^\pi f(x) dx = \sum_{n=1}^\infty \frac{1}{2^n} \int_0^\pi \sin nx dx$。计算 $\int_0^\pi \sin nx dx = \frac{1-(-1)^n}{n}$,故 $\int_0^\pi f(x) dx = \sum_{n=1}^\infty \frac{1-(-1)^n}{n 2^n}$。
公式:$\int_0^\pi \sin nx dx = \frac{1-(-1)^n}{n}$
提示:注意 $\sin nx$ 在 $[0,\pi]$ 上的积分结果,当 $n$ 为偶数时积分为0。
步骤 3/5
目标:化简级数并利用幂级数求和
当 $n$ 为奇数时,$1-(-1)^n=2$,令 $n=2k-1$,则 $\int_0^\pi f(x) dx = 2 \sum_{k=1}^\infty \frac{1}{(2k-1)2^{2k-1}}$。利用幂级数 $\sum_{k=1}^\infty \frac{x^{2k-1}}{2k-1} = \ln\frac{1+x}{1-x}$,取 $x=1/2$ 得 $\sum_{k=1}^\infty \frac{1}{(2k-1)2^{2k-1}} = \ln\frac{1+1/2}{1-1/2} = \ln 3$,因此 $\int_0^\pi f(x) dx = 2\ln 3$。
公式:$\sum_{k=1}^\infty \frac{x^{2k-1}}{2k-1} = \ln\frac{1+x}{1-x}$
提示:注意幂级数的收敛域为 $|x|<1$,$x=1/2$ 在收敛域内。
步骤 4/5
目标:证明第二问级数一致收敛且连续
对于所有 $x \in (-\infty, +\infty)$,有 $\left|\frac{\sin(2^n \pi x)}{2^n}\right| \leq \frac{1}{2^n}$,而 $\sum_{n=1}^\infty \frac{1}{2^n}$ 收敛,由 M 判别法知 $\sum_{n=1}^\infty \frac{\sin(2^n \pi x)}{2^n}$ 在 $(-\infty, +\infty)$ 上一致收敛。每项连续,故和函数 $f(x)$ 连续。
公式:$\left|\frac{\sin(2^n \pi x)}{2^n}\right| \leq \frac{1}{2^n}$
提示:与第一问类似,注意 $2^n$ 在分母,但这里分子是 $\sin(2^n \pi x)$,放缩时仍用 $|\sin|\leq 1$。
步骤 5/5
目标:证明逐项求导后级数处处发散
逐项求导得 $\sum_{n=1}^\infty \left(\frac{\sin(2^n \pi x)}{2^n}\right)' = \pi \sum_{n=1}^\infty \cos(2^n \pi x)$。对任意 $x \in (-\infty, +\infty)$,考虑极限 $\lim_{n\to\infty} \cos(2^n \pi x)$。若 $x$ 为有理数,则 $2^n \pi x$ 模 $2\pi$ 不收敛;若 $x$ 为无理数,则 $\cos(2^n \pi x)$ 无极限。因此通项不趋于0,级数发散,故原级数不能逐项求导。
公式:$\left(\frac{\sin(2^n \pi x)}{2^n}\right)' = \pi \cos(2^n \pi x)$
提示:注意逐项求导需要验证一致收敛性,这里导函数级数不一致收敛且处处发散。
📷 拍照上传批改
拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。