中册 6.2 函数列一致收敛性 第10题
📝 题目
10.证明下列命题.
(1)设函数列 $\displaystyle f_{n}(x)=\frac{1}{n x+1}, n=1,2, \cdots$ ,证明:函数列 $\left\{f_{n}(x)\right\}$ 在开区间 $(0,1)$ 上非一致收敛.
(2)证明:函数列 $\displaystyle f_{n}(x)=\frac{n x}{n x+1}, n=1,2, \cdots$ ,在 $(0,1)$ 上非一致收敛。
(3)设函数列 $\displaystyle f_{n}(x)=\frac{x}{1+n^{2} x^{2}}, n=1,2, \cdots$ ,证明:(1)$\left\{f_{n}(x)\right\}$ 在 $(-\infty,+\infty)$ 内一致收敛;
$\left\{f_{n}^{\prime}(x)\right\}$ 在 $(-\infty,+\infty)$ 内非一致收敛.
(4)设函数列 $\displaystyle f_{n}(x)=\frac{x}{1+n^{3} x^{3}}, n=1,2, \cdots, x \in(0,+\infty)$ ,证明:$\left\{f_{n}(x)\right\}$ 在 $(0,+\infty)$ 一致收敛于 0 ,且 $\lim _{n \rightarrow \infty} \int_{0}^{+\infty} f_{n}(x) \mathrm{d} x=0$ 。
(5)证明:函数列 $\displaystyle f_{n}(x)=\arctan \left(x+\frac{1}{n}\right), n=1,2, \cdots$ ,在 $(-\infty,+\infty)$ 上一致收敛 .
💡 答案解析
\section*{解题过程:}
(1)极限函数 $\displaystyle f(x)=\lim _{n \rightarrow \infty} f_{n}(x)=\lim _{n \rightarrow \infty} \frac{1}{1+n x}=0, \forall x \in(0,1)$ .
方法 1:对 $\displaystyle \varepsilon_{0}=\frac{1}{2}>0, \forall N, \exists n=N+1>N$ ,取 $\displaystyle x_{n}=\frac{1}{n} \in(0,1)$ ,有 $\displaystyle \left|f_{n}\left(x_{n}\right)-f\left(x_{n}\right)\right|=\frac{1}{2}=\varepsilon_{0}$ ,所以 $\left\{f_{n}(x)\right\}$ 在 $(0,1)$ 非一致收敛。
方法 2:因为 $\lim _{n \rightarrow \infty} \sup _{x \in(0,1)}\left|f_{n}(x)-0\right|=1$ ,所以 $\left\{f_{n}(x)\right\}$ 在 $(0,1)$ 上非一致收敛。
(2)极限函数 $\displaystyle f(x)=\lim _{n \rightarrow \infty} f_{n}(x)=\lim _{n \rightarrow \infty} \frac{x}{\frac{1}{n}+x}=1, \forall x \in(0,1)$ .
方法 1:$\displaystyle \exists \varepsilon_{0}=\frac{1}{2}>0, \forall N$ ,取 $\displaystyle n=N+1>N, x_{n}=\frac{1}{n} \in(0,1)$ ,有
$$
\left|f_{n}\left(x_{n}\right)-f\left(x_{n}\right)\right|=\left|\frac{n x_{n}}{1+n x_{n}}-1\right|=\left|\frac{1}{1+1}-1\right|=\frac{1}{2}=\varepsilon_{0}
$$
所以 $\displaystyle f_{n}(x)=\frac{n x}{1+n x}$ 在 $(0,1)$ 上非一致收玫.
方法 2:因为 $\displaystyle \lim _{n \rightarrow \infty} \sup _{x \in(0,1)}\left|f_{n}(x)-0\right|=\lim _{n \rightarrow \infty} f_{n}\left(\frac{1}{n}\right)=\frac{1}{2}$ ,所以 $\left\{f_{n}(x)\right\}$ 在 $(0,1)$ 上非一致收玫。
(3)极限函数 $\lim _{n \rightarrow \infty} f_{n}(x)=0=f(x), x \in(-\infty,+\infty)$ .
因 $\displaystyle \sup _{x \in(-\infty,+\infty)}\left|f_{n}(\dot{x})-f(x)\right|=\sup _{x \in(-\infty,+\infty)} \frac{|x|}{1+n^{2}|x|^{2}} \leqslant \frac{1}{2 n}$ ,故 $\lim _{n \rightarrow \infty} \sup _{x \in \mathbf{R}}\left|f_{n}(x)-f(x)\right|=0$ 。所以 $\left\{f_{n}(x)\right\}$ 在 $(-\infty,+\infty)$ 上一致收敛.
对 $\forall x \in(-\infty,+\infty)$ 有 $\displaystyle f_{n}^{\prime}(x)=\frac{1-n^{2} x^{2}}{\left(1+n^{2} x^{2}\right)^{2}}$ ,从而 $g(x)=\lim _{n \rightarrow \infty} f_{n}^{\prime}(x)=\left\{\begin{array}{l}1, x=0, \\ 0, x \neq 0 \text { .}\end{array}\right.$
由于 $\left\{f_{n}^{\prime}(x)\right\}$ 的极限函数在 $(-\infty,+\infty)$ 上不连续,而每项 $f_{n}^{\prime}(x)$ 在 $(-\infty,+\infty)$ 上连续,因此 $\left\{f_{n}^{\prime}(x)\right\}$ 在 $(-\infty,+\infty)$ 上非一致收敛。
(4)极限函数 $f(x)=\lim _{n \rightarrow \infty} f_{n}(x)=0, x \in(0,+\infty)$ .
由于 $\displaystyle \lim _{n \rightarrow \infty} \sup _{x \in(0,+\infty)}\left|f_{n}(x)-f(x)\right|=\lim _{n \rightarrow \infty} \sup _{x \in(0,+\infty)}\left|\frac{x}{1+n^{3} x^{3}}\right|=\lim _{n \rightarrow \infty} \frac{2}{3 \sqrt[3]{2} n}=0$ ,因此 $\left\{f_{n}(x)\right\}$ 在 $(0,+\infty)$ 上一致收敛于 0 。特别地,$\left\{f_{n}(x)\right\}$ 在 $(0,1]$ 上也一致收敛于 0 。于是对 $\forall \varepsilon>0, \exists N_{1}$ ,当 $n>N_{1}$ 时有 $\displaystyle \left|f_{n}(x)\right|<\frac{\varepsilon}{2}$ 。
又由于
$$
\left|\int_{0}^{+\infty} f_{n}(x) \mathrm{d} x\right|=\left|\int_{0}^{1} f_{n}(x) \mathrm{d} x+\int_{1}^{+\infty} f_{n}(x) \mathrm{d} x\right| \leqslant \int_{0}^{1}\left|f_{n}(x)\right| \mathrm{d} x+\int_{1}^{+\infty} \frac{x}{n^{3} x^{3}} \mathrm{~d} x=\int_{0}^{1}\left|f_{n}(x)\right| \mathrm{d} x+\frac{1}{n^{3}} .
$$
令 $\displaystyle N=\max \left\{N_{1}, \sqrt[3]{\frac{2}{\varepsilon}}\right\}$ ,则当 $n>N$ 时有 $\displaystyle \left|\int_{0}^{+\infty} f_{n}(x) \mathrm{d} x\right|<\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon$ .由此知 $\lim _{n \rightarrow \infty} \int_{0}^{+\infty} f_{n}(x) \mathrm{d} x=0$ .
(5)极限函数 $f(x)=\lim _{n \rightarrow \infty} f_{n}(x)=\arctan x, x \in(-\infty,+\infty)$ .
由微分中值定理,对任意 $x \in(-\infty,+\infty)$ 和正整数 $n$ 有
$$
\left|f_{n}(x)-f(x)\right|=\left|\arctan \left(x+\frac{1}{n}\right)-\arctan x\right|=\frac{1}{1+\xi^{2}} \frac{1}{n}<\frac{1}{n}, \quad \xi \in\left(x, x+\frac{1}{n}\right) .
$$
于是 $\lim _{n \rightarrow \infty} \sup _{x \in(-\infty,+\infty)}\left|f_{n}(x)-f(x)\right|=0$ 。所以 $\displaystyle f_{n}(x)=\arctan \left(x+\frac{1}{n}\right)$ 在 $(-\infty,+\infty)$ 上一致收玫。
📋 详细解题步骤
步骤 1/5
目标:求极限函数
对于每个函数列,先求出极限函数 $f(x)=\lim_{n\to\infty}f_n(x)$。
(1) $f_n(x)=\frac{1}{nx+1}$,当 $x\in(0,1)$ 时,$f(x)=0$。
(2) $f_n(x)=\frac{nx}{nx+1}$,当 $x\in(0,1)$ 时,$f(x)=1$。
(3) $f_n(x)=\frac{x}{1+n^2x^2}$,当 $x\in(-\infty,+\infty)$ 时,$f(x)=0$。
(4) $f_n(x)=\frac{x}{1+n^3x^3}$,当 $x\in(0,+\infty)$ 时,$f(x)=0$。
(5) $f_n(x)=\arctan\left(x+\frac{1}{n}\right)$,当 $x\in(-\infty,+\infty)$ 时,$f(x)=\arctan x$。
提示:注意极限函数可能依赖于 $x$,且需考虑定义域。
步骤 2/5
目标:判断一致收敛性:利用定义或上确界
对于 (1) 和 (2),使用反例:取 $x_n=\frac{1}{n}$,则 $|f_n(x_n)-f(x_n)|$ 不趋于0。
(1) $|f_n(1/n)-0|=\frac{1}{2}$,故非一致收敛。
(2) $|f_n(1/n)-1|=\frac{1}{2}$,故非一致收敛。
对于 (3),计算上确界:$\sup_{x\in\mathbb{R}}|f_n(x)-0|=\sup_{x\in\mathbb{R}}\frac{|x|}{1+n^2x^2}\le\frac{1}{2n}\to0$,故一致收敛。
对于 (4),计算上确界:$\sup_{x>0}\frac{x}{1+n^3x^3}=\frac{2}{3\sqrt[3]{2}n}\to0$,故一致收敛。
对于 (5),利用中值定理:$|\arctan(x+1/n)-\arctan x|=\frac{1}{1+\xi^2}\cdot\frac{1}{n}<\frac{1}{n}$,故一致收敛。
公式:一致收敛定义:$\lim_{n\to\infty}\sup_{x\in D}|f_n(x)-f(x)|=0$
提示:非一致收敛常用取特殊点法,一致收敛常用上确界估计。
步骤 3/5
目标:处理 (3) 中导函数列的一致收敛性
计算 $f_n'(x)=\frac{1-n^2x^2}{(1+n^2x^2)^2}$,极限函数 $g(x)=\lim_{n\to\infty}f_n'(x)=\begin{cases}1,&x=0\\0,&x\neq0\end{cases}$。由于 $g(x)$ 不连续,而每个 $f_n'(x)$ 连续,故 $\{f_n'(x)\}$ 在 $\mathbb{R}$ 上非一致收敛。
公式:一致收敛的连续函数列极限函数必连续
提示:利用连续函数列一致收敛则极限函数连续的性质来反证。
步骤 4/5
目标:证明 (4) 中积分极限为0
由一致收敛性,对 $\varepsilon>0$,存在 $N_1$ 使 $n>N_1$ 时 $|f_n(x)|<\varepsilon/2$ 在 $[0,1]$ 上成立。将积分分段:$\int_0^{+\infty}f_n(x)dx=\int_0^1 f_n(x)dx+\int_1^{+\infty}f_n(x)dx$。对第二项放缩:$\int_1^{+\infty}\frac{x}{1+n^3x^3}dx\le\int_1^{+\infty}\frac{x}{n^3x^3}dx=\frac{1}{n^3}$。取 $N=\max\{N_1,\sqrt[3]{2/\varepsilon}\}$,则当 $n>N$ 时,$\left|\int_0^{+\infty}f_n(x)dx\right|<\varepsilon/2+\varepsilon/2=\varepsilon$。
公式:积分放缩:$\frac{x}{1+n^3x^3}\le\frac{x}{n^3x^3}=\frac{1}{n^3x^2}$ 当 $x\ge1$
提示:注意分段处理,利用一致收敛性控制有限区间,利用放缩控制无穷区间。
步骤 5/5
目标:总结各小题结论
(1) 非一致收敛;(2) 非一致收敛;(3) $\{f_n\}$ 一致收敛,$\{f_n'\}$ 非一致收敛;(4) $\{f_n\}$ 一致收敛且积分极限为0;(5) 一致收敛。
提示:注意区分函数列与导函数列的一致收敛性。
📷 拍照上传批改
拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。