中册 6.2 函数列一致收敛性 第31题
📝 题目
31.证明下列结论.
(1)设 $f_{n}(x)$ 在 $[a, b]$ 上连续,且 $\left\{f_{n}(b)\right\}$ 发散.证明:$\left\{f_{n}(x)\right\}$ 在 $[a, b]$ 上非一致收敛.
(2)设 $u_{n}(x)$ 在 $[a, b]$ 连续,且 $\sum_{n=1}^{\infty} u_{n}(x)$ 在 $x=b$ 发散。证明 $\sum_{n=1}^{\infty} u_{n}(x)$ 在 $[a, b)$ 非一致收敛。
(3)设 $S_{n}(x)$ 在 $x=c$ 上左连续,且 $\left\{S_{n}(c)\right\}$ 发散。证明:在任何开区间 $(c-\delta, c)(\delta>0)$ 内 $\left\{S_{n}(x)\right\}$ 非一致收敛.
(4)设每个 $u_{n}(x)$ 在 $x=c$ 连续,但 $\sum_{n=1}^{\infty} u_{n}(x)$ 在 $x=c$ 发散,则 $\forall \delta>0, \sum_{n=1}^{\infty} u_{n}(x)$ 在 $(c, c+\delta)$ 上均非一致收敛.讨论 $\displaystyle \sum_{n=1}^{\infty} \frac{1}{(\sin x+\cos x)^{n}}$ 在 $\displaystyle \left(0, \frac{\pi}{2}\right)$ 内是否一致收敛.
(5)设 $u_{n}(x)$ 在 $(a, b]$ 上连续,$\sum_{n=1}^{\infty} u_{n}(x)$ 在 $(a, b)$ 上收玫,根据 $\sum_{n=1}^{\infty} u_{n}(b)$ 的玫散性,讨论 $\sum_{n=1}^{\infty} u_{n}(x)$在( $a, b$ )上的一致敛散性.
(6)设 $h_{n}(x)$ 在 $[a, b)$ 连续,且 $f_{n}(x) \leqslant h_{n}(x) \leqslant g_{n}(x), \forall x \in[a, b)$ .若级数 $\sum_{n=1}^{\infty} f_{n}(x)$ 和 $\sum_{n=1}^{\infty} g_{n}(x)$ 在 $(a, b)$ 上收玫,级数 $\sum_{n=1}^{\infty} h_{n}(a)$ 发散,证明:(1)级数 $\sum_{n=1}^{\infty} h_{n}(x)$ 在 $(a, b)$ 上收玫;(2)级数 $\sum_{n=1}^{\infty} h_{n}(x)$ 在 $(a, b)$上非一致收玫.
(7)设 $u_{n}(x)$ 在 $[a, b]$ 上连续,$\sum_{n=1}^{\infty} u_{n}(x)$ 在 $(a, b)$ 上一致收玫,证明 $\sum_{n=1}^{\infty} u_{n}(a), \sum_{n=1}^{\infty} u_{n}(b)$ 收敛.
💡 答案解析
解题过程:
(1)反证法.假设 $\left\{f_{n}(x)\right\}$ 在 $[a, b]$ 上一致收敛.由柯西收敛准则,$\forall \varepsilon>0, \exists N>0, \forall n, m>N$ 有
$$
\left|f_{n}(x)-f_{m}(x)\right|<\varepsilon
$$
由 $f_{n}(x)$ 在 $[a, b]$ 上连续,令 $x \rightarrow b^{-}$得
$$
\left|f_{n}(b)-f_{m}(b)\right| \leqslant \varepsilon
$$
由数列的柯西收敛准则知 $\left\{f_{n}(b)\right\}$ 收敛.矛盾.故 $\left\{f_{n}(x)\right\}$ 在 $[a, b]$ 上非一致收敛.
(2)反证法。假如 $\sum_{n=1}^{\infty} u_{n}(x)$ 在 $[a, b)$ 上一致收敛,则 $\forall \varepsilon>0, \exists N>0$ ,当 $n>N$ 时,对 $\forall p \in \mathbf{N}^{+}$及 $\forall x \in[a, b)$ 有
$$
\left|u_{n+1}(x)+\cdots+u_{n+p}(x)\right|<\varepsilon
$$
又因 $u_{n}(x)$ 在 $[a, b]$ 连续,在上式中令 $x \rightarrow b^{-}$,得
$$
\left|u_{n+1}(b)+\cdots+u_{n+p}(b)\right|<\varepsilon .
$$
由级数的 Cauchy 收玫原理知 $\sum_{n=1}^{\infty} u_{n}(b)$ 收玫.矛盾.
(3)同(1).
(4)反证法.设 $\sum u_{n}(x)$ 在 $(c, c+\delta)$ 上一致收敛,即 $\forall \varepsilon>0, \exists N>0$ ,当 $n>N$ 时,对 $\forall p \in \mathbf{N}^{+}$及 $\forall x \in(c, c+\delta)$ 有
$$
\left|u_{n+1}(x)+u_{n+2}(x)+\cdots+u_{n+p}(x)\right|<\varepsilon .
$$
又因 $u_{n}(x)$ 在左端点 $x=c$(右)连续,令 $x \rightarrow c^{+}$,对上式两端取极限得
$$
\left|u_{n+1}(c)+\cdots+u_{n+p}(c)\right| \leqslant \varepsilon
$$
从而 $\sum u_{n}(c)$ 收敛.这与已知矛盾.故 $\sum u_{n}(x)$ 在 $(c, c+\delta)$ 上非一致收敛.
令 $\displaystyle u_{n}(x)=\frac{1}{(\sin x+\cos x)^{n}}$ ,则 $u_{n}(x)$ 在 $x=0$ 连续,且 $u_{n}(0)=1, \sum_{n=1}^{\infty} u_{n}(0)$ 发散,所以级数 $\displaystyle \sum_{n=1}^{\infty} \frac{1}{(\sin x+\cos x)^{n}}$ 在 $\displaystyle \left(0, \frac{\pi}{2}\right)$ 内非一致收敛。
(5)若 $\sum_{n=1}^{\infty} u_{n}(b)$ 发散,则 $\sum_{n=1}^{\infty} u_{n}(x)$ 在 $(a, b)$ 上非一致收敛;若 $\sum_{n=1}^{\infty} u_{n}(b)$ 收敛,则 $\sum_{n=1}^{\infty} u_{n}(x)$ 在 $(a, b)$上不一定一致收敛。因若 $\sum_{n=1}^{\infty} u_{n}(x)$ 在 $x=a$ 发散,则 $\sum_{n=1}^{\infty} u_{n}(x)$ 在 $(a, b)$ 上非一致收玫。
(6)由 $f_{n}(x) \leqslant h_{n}(x) \leqslant g_{n}(x), \forall x \in[a, b)$ 有
$$
0 \leqslant h_{n}(x)-f_{n}(x) \leqslant g_{n}(x)-f_{n}(x), \forall x \in[a, b)
$$
因为 $\sum_{n=1}^{\infty} f_{n}(x), \sum_{n=1}^{\infty} g_{n}(x)$ 在 $(a, b)$ 上收玫,所以 $\sum_{n=1}^{\infty}\left(f_{n}(x)-g_{n}(x)\right)$ 在 $(a, b)$ 上收玫。由比较判别法 $\sum_{n=1}^{\infty}\left(h_{n}(x)-f_{n}(x)\right)$ 在 $(a, b)$ 上收玫。于是级数 $\sum_{n=1}^{\infty} h_{n}(x)$ 在 $(a, b)$ 上收玫。
又由(2)知级数 $\sum_{n=1}^{\infty} h_{n}(x)$ 在 $(a, b)$ 上非一致收玫.
(7)由 $\sum_{n=1}^{\infty} u_{n}(x)$ 在 $[a, b)$ 上一致收敛,$\forall \varepsilon>0, \exists N>0$ ,当 $n>N$ 时,对 $\forall p \in \mathbf{N}^{+}$及 $\forall x \in[a, b)$ 有
$$
\left|u_{n+1}(x)+\cdots+u_{n+p}(x)\right|<\varepsilon
$$
又因 $u_{n}(x)$ 在 $[a, b]$ 连续,在上式中令 $x \rightarrow b^{-}$得
$$
\left|u_{n+1}(b)+\cdots+u_{n+p}(b)\right|<\varepsilon .
$$
由级数的 Cauchy 收玫原理知 $\sum_{n=1}^{\infty} u_{n}(b)$ 收玫。
同理得 $\sum_{n=1}^{\infty} u_{n}(a)$ 收玫。
📋 详细解题步骤
步骤 1/11
目标:证明(1):反证法假设一致收敛
假设 $\{f_n(x)\}$ 在 $[a,b]$ 上一致收敛。由函数列一致收敛的柯西准则,$\forall \varepsilon>0, \exists N>0, \forall n,m>N, \forall x\in[a,b]$ 有 $|f_n(x)-f_m(x)|<\varepsilon$。
公式:一致收敛的柯西准则:$\forall \varepsilon>0, \exists N, \forall n,m>N, \forall x, |f_n(x)-f_m(x)|<\varepsilon$
提示:注意一致收敛的柯西准则中 $N$ 与 $x$ 无关。
步骤 2/11
目标:证明(1):取极限得到数列收敛
由于 $f_n(x)$ 在 $[a,b]$ 上连续,固定 $n,m>N$,令 $x\to b^-$,由连续性得 $|f_n(b)-f_m(b)|\le\varepsilon$。因此 $\{f_n(b)\}$ 满足柯西准则,故收敛,与已知发散矛盾。所以 $\{f_n(x)\}$ 在 $[a,b]$ 上非一致收敛。
公式:连续性:$\lim_{x\to b^-} f_n(x)=f_n(b)$
提示:取极限时不等式方向不变,但需注意极限过程。
步骤 3/11
目标:证明(2):反证法假设一致收敛
假设 $\sum u_n(x)$ 在 $[a,b)$ 上一致收敛。由级数一致收敛的柯西准则,$\forall \varepsilon>0, \exists N, \forall n>N, \forall p\in\mathbb{N}^+, \forall x\in[a,b)$ 有 $|u_{n+1}(x)+\cdots+u_{n+p}(x)|<\varepsilon$。
公式:级数一致收敛的柯西准则:$\forall \varepsilon>0, \exists N, \forall n>N, \forall p, \forall x, |\sum_{k=n+1}^{n+p} u_k(x)|<\varepsilon$
提示:注意 $N$ 与 $x$ 无关。
步骤 4/11
目标:证明(2):取极限得到级数收敛
由于 $u_n(x)$ 在 $[a,b]$ 上连续,固定 $n>N, p$,令 $x\to b^-$,由连续性得 $|u_{n+1}(b)+\cdots+u_{n+p}(b)|\le\varepsilon$。因此 $\sum u_n(b)$ 满足柯西准则,故收敛,与已知发散矛盾。所以 $\sum u_n(x)$ 在 $[a,b)$ 上非一致收敛。
公式:连续性:$\lim_{x\to b^-} u_n(x)=u_n(b)$
提示:取极限时注意 $\varepsilon$ 不变。
步骤 5/11
目标:证明(3):类似(1)的证明
假设 $\{S_n(x)\}$ 在 $(c-\delta,c)$ 内一致收敛。由函数列一致收敛的柯西准则,$\forall \varepsilon>0, \exists N, \forall n,m>N, \forall x\in(c-\delta,c)$ 有 $|S_n(x)-S_m(x)|<\varepsilon$。由于 $S_n(x)$ 在 $x=c$ 左连续,令 $x\to c^-$,得 $|S_n(c)-S_m(c)|\le\varepsilon$,从而 $\{S_n(c)\}$ 收敛,矛盾。
公式:左连续性:$\lim_{x\to c^-} S_n(x)=S_n(c)$
提示:注意左连续的定义。
步骤 6/11
目标:证明(4):反证法假设一致收敛
假设 $\sum u_n(x)$ 在 $(c,c+\delta)$ 上一致收敛。由级数一致收敛的柯西准则,$\forall \varepsilon>0, \exists N, \forall n>N, \forall p, \forall x\in(c,c+\delta)$ 有 $|u_{n+1}(x)+\cdots+u_{n+p}(x)|<\varepsilon$。由于 $u_n(x)$ 在 $x=c$ 右连续,令 $x\to c^+$,得 $|u_{n+1}(c)+\cdots+u_{n+p}(c)|\le\varepsilon$,从而 $\sum u_n(c)$ 收敛,矛盾。
公式:右连续性:$\lim_{x\to c^+} u_n(x)=u_n(c)$
提示:注意右连续的定义。
步骤 7/11
目标:证明(4):讨论具体级数
令 $u_n(x)=\frac{1}{(\sin x+\cos x)^n}$,则 $u_n(x)$ 在 $x=0$ 连续,且 $u_n(0)=1$,$\sum u_n(0)$ 发散。由(4)结论,$\forall \delta>0$,级数在 $(0,\delta)$ 上非一致收敛,特别地在 $(0,\pi/2)$ 内非一致收敛。
公式:几何级数:$\sum_{n=1}^\infty 1$ 发散
提示:注意 $\sin x+\cos x$ 在 $(0,\pi/2)$ 内大于0。
步骤 8/11
目标:证明(5):讨论端点敛散性与一致收敛的关系
若 $\sum u_n(b)$ 发散,由(2)知 $\sum u_n(x)$ 在 $(a,b)$ 上非一致收敛。若 $\sum u_n(b)$ 收敛,则不能保证一致收敛,例如 $\sum x^n$ 在 $[0,1)$ 上,$x=1$ 处发散,但 $\sum x^n$ 在 $[0,1)$ 上非一致收敛;若 $\sum u_n(a)$ 也发散,则非一致收敛。
公式:无
提示:注意端点收敛性不是一致收敛的充要条件。
步骤 9/11
目标:证明(6):证明级数收敛
由 $f_n(x)\le h_n(x)\le g_n(x)$ 得 $0\le h_n(x)-f_n(x)\le g_n(x)-f_n(x)$。由于 $\sum f_n(x)$ 和 $\sum g_n(x)$ 在 $(a,b)$ 上收敛,则 $\sum (g_n(x)-f_n(x))$ 收敛。由比较判别法,$\sum (h_n(x)-f_n(x))$ 收敛,从而 $\sum h_n(x)=\sum f_n(x)+\sum (h_n(x)-f_n(x))$ 收敛。
公式:比较判别法:若 $0\le a_n\le b_n$ 且 $\sum b_n$ 收敛,则 $\sum a_n$ 收敛
提示:注意 $h_n(x)-f_n(x)$ 非负。
步骤 10/11
目标:证明(6):证明非一致收敛
由于 $\sum h_n(a)$ 发散,且 $h_n(x)$ 在 $[a,b)$ 连续,由(2)知 $\sum h_n(x)$ 在 $[a,b)$ 上非一致收敛,从而在 $(a,b)$ 上非一致收敛。
公式:无
提示:注意(2)的结论适用于左端点发散。
步骤 11/11
目标:证明(7):证明端点级数收敛
由 $\sum u_n(x)$ 在 $[a,b)$ 上一致收敛,$\forall \varepsilon>0, \exists N, \forall n>N, \forall p, \forall x\in[a,b)$ 有 $|u_{n+1}(x)+\cdots+u_{n+p}(x)|<\varepsilon$。由于 $u_n(x)$ 在 $[a,b]$ 连续,令 $x\to b^-$,得 $|u_{n+1}(b)+\cdots+u_{n+p}(b)|\le\varepsilon$,故 $\sum u_n(b)$ 收敛。同理,令 $x\to a^+$ 得 $\sum u_n(a)$ 收敛。
公式:级数一致收敛的柯西准则
提示:注意 $[a,b)$ 一致收敛可推出在 $b$ 处收敛。
📷 拍照上传批改
拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。