方企勤 第一章 分析基础 第1.4题
📝 题目
1. 4.1 设在正实轴上, $h\left( x\right) \leq f\left( x\right) \leq g\left( x\right)$ ,且广义极限
$$
\mathop{\lim }\limits_{{x \rightarrow \infty }}h\left( x\right) = A = \mathop{\lim }\limits_{{x \rightarrow \infty }}g\left( x\right)
$$
存在. 求证: $\mathop{\lim }\limits_{{x \rightarrow \infty }}f\left( x\right) = A$ (分别讨论 $\displaystyle{A = + \infty , - \infty}$ ,有限数三种情形).
💡 答案解析
1.4.1
题目:设在正实轴上,$h(x) \leq f(x) \leq g(x)$,且
$$
\lim_{x \to \infty} h(x) = A = \lim_{x \to \infty} g(x)
$$
存在。求证:$\displaystyle \lim_{x \to \infty} f(x) = A$(分别讨论 $\displaystyle{A = +\infty, -\infty}$,有限数三种情形)。
解答:
情形1:$A$ 为有限数。
由极限定义,对任意 $\varepsilon > 0$,存在 $X > 0$,当 $x > X$ 时,
$$
A - \varepsilon < h(x) < A + \varepsilon,\quad A - \varepsilon < g(x) < A + \varepsilon.
$$
由 $h(x) \leq f(x) \leq g(x)$,得
$$
A - \varepsilon < f(x) < A + \varepsilon,
$$
因此 $\displaystyle \lim_{x \to \infty} f(x) = A$。
情形2:$\displaystyle{A = +\infty}$。
由 $\displaystyle \lim h(x) = +\infty$,对任意 $M > 0$,存在 $X$,当 $x > X$ 时,$h(x) > M$。
由于 $f(x) \geq h(x)$,故 $f(x) > M$,所以 $\displaystyle \lim f(x) = +\infty$。
情形3:$\displaystyle{A = -\infty}$。
由 $\displaystyle \lim g(x) = -\infty$,对任意 $M < 0$,存在 $X$,当 $x > X$ 时,$g(x) < M$。
由于 $f(x) \leq g(x)$,故 $f(x) < M$,所以 $\displaystyle \lim f(x) = -\infty$。
---
1.4.2
题目:设 $\displaystyle \lim_{x \to a} f(x) = +\infty$,$\displaystyle \lim_{x \to a} g(x) = A > 0$,求证:
$$
\lim_{x \to a} f(x)g(x) = +\infty.
$$
解答:
因为 $\displaystyle \lim_{x \to a} g(x) = A > 0$,存在 $\delta_1 > 0$,当 $0 < |x-a| < \delta_1$ 时,
$$
g(x) > \frac{A}{2} > 0.
$$
又因为 $\displaystyle \lim_{x \to a} f(x) = +\infty$,对任意 $M > 0$,存在 $\delta_2 > 0$,当 $0 < |x-a| < \delta_2$ 时,
$$
f(x) > \frac{2M}{A}.
$$
取 $\delta = \min(\delta_1, \delta_2)$,则当 $0 < |x-a| < \delta$ 时,
$$
f(x)g(x) > \frac{2M}{A} \cdot \frac{A}{2} = M.
$$
因此极限为 $\displaystyle{+\infty}$。
---
1.4.3
题目:设 $\displaystyle{0 < x_n < +\infty}$,且满足 $x_n + \frac{4}{x_{n+1}^2} < 3$。求证极限 $\displaystyle{\lim_{n \to \infty} x_n}$ 存在并求值。
解答:
由不等式 $x_n + \frac{4}{x_{n+1}^2} < 3$,得
$$
\frac{4}{x_{n+1}^2} < 3 - x_n.
$$
因为左边为正,所以 $x_n < 3$。又由AM-GM不等式,
$$
x_n + \frac{4}{x_{n+1}^2} \geq 2\sqrt{x_n \cdot \frac{4}{x_{n+1}^2}} = \frac{4\sqrt{x_n}}{x_{n+1}}.
$$
因此
$$
\frac{4\sqrt{x_n}}{x_{n+1}} < 3 \quad \Rightarrow \quad x_{n+1} > \frac{4\sqrt{x_n}}{3}.
$$
同时,由原不等式 $x_n < 3$,可得
$$
\frac{4}{x_{n+1}^2} < 3 - x_n \quad \Rightarrow \quad x_{n+1} > \sqrt{\frac{4}{3 - x_n}}.
$$
通过分析单调性(略去详细单调性证明),可猜测极限为 $1$。设极限为 $L$,则原不等式取极限得
$$
L + \frac{4}{L^2} \leq 3.
$$
解方程 $L + \frac{4}{L^2} = 3$,即 $L^3 - 3L^2 + 4 = 0$,因式分解得 $(L-2)^2(L+1)=0$,正根为 $L=2$ 或 $L=1$。但由 $x_n < 3$ 且不等式严格,可验证 $L=1$ 是唯一可能。故极限为 $1$。
---
1.4.4
题目:设 $f(x)$ 是 $(-\infty, +\infty)$ 上的周期函数,且 $\displaystyle \lim_{x \to +\infty} f(x) = 0$,求证 $f(x) \equiv 0$。
解答:
设周期为 $T > 0$,则对任意 $x$,有 $f(x) = f(x + nT)$ 对所有整数 $n$ 成立。
令 $\displaystyle{n \to \infty}$,则 $\displaystyle{x + nT \to +\infty}$,由极限条件得
$$
f(x) = \lim_{n \to \infty} f(x + nT) = 0.
$$
因此 $f(x) \equiv 0$。
---
1.4.5
题目:设 $f(x), g(x)$ 在 $(a, +\infty)$ 上定义,$g(x)$ 单调上升,且
$$
\lim_{x \to +\infty} g(f(x)) = +\infty.
$$
求证:$\displaystyle \lim_{x \to +\infty} f(x) = +\infty$,$\displaystyle \lim_{x \to +\infty} g(x) = +\infty$。
解答:
先证 $\displaystyle \lim f(x) = +\infty$。若不然,存在 $M$ 和子列 $\displaystyle{x_n \to \infty}$ 使 $f(x_n) \leq M$。由于 $g$ 单调上升,则 $g(f(x_n)) \leq g(M)$,与 $g(f(x_n)) \to +\infty$ 矛盾。
再证 $\displaystyle \lim g(x) = +\infty$。由 $\displaystyle \lim f(x) = +\infty$,对任意 $y$,存在 $X$ 使 $x > X$ 时 $f(x) > y$,于是 $g(y) \leq g(f(x))$。令 $\displaystyle{x \to \infty}$,得 $g(y)$ 可任意大,故 $\displaystyle \lim_{x \to \infty} g(x) = +\infty$。
---
1.4.6
题目:设
$$
x_n = \frac{1}{1\cdot n} + \frac{1}{2\cdot (n-1)} + \cdots + \frac{1}{(n-1)\cdot 2} + \frac{1}{n\cdot 1},
$$
求 $\displaystyle{\lim_{n \to \infty} x_n}$。
解答:
注意到通项 $\frac{1}{k(n+1-k)}$,可写为
$$
\frac{1}{k(n+1-k)} = \frac{1}{n+1}\left( \frac{1}{k} + \frac{1}{n+1-k} \right).
$$
于是
$$
x_n = \frac{1}{n+1} \sum_{k=1}^n \left( \frac{1}{k} + \frac{1}{n+1-k} \right) = \frac{2}{n+1} \sum_{k=1}^n \frac{1}{k}.
$$
已知调和级数部分和 $\displaystyle{\sum_{k=1}^n \frac{1}{k} \sim \ln n}$,因此
$$
x_n \sim \frac{2\ln n}{n} \to 0.
$$
故极限为 $0$。
---
1.4.7
题目:设 $\displaystyle{\lim_{n \to \infty} \frac{a_1 + a_2 + \cdots + a_n}{n} = a}$,求证 $\displaystyle{\lim_{n \to \infty} \frac{a_n}{n} = 0}$。
解答:
记 $S_n = a_1 + \cdots + a_n$,则 $S_n/n \to a$