南京师范大学 2019年数学分析第0题
📝 题目
3．设函数 $f$ 在区间 $[0,+\infty)$ 上可导，且 $\lim _{x \rightarrow \infty}\left[f(x)+f^{\prime}(x)\right]=a$ ，求极限 $\lim _{x \rightarrow \infty} f(x)$ 。
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/4
目标：构造辅助函数，将条件与导数联系起来
考虑函数 $g(x) = e^x f(x)$，对其求导得 $g'(x) = e^x f(x) + e^x f'(x) = e^x [f(x) + f'(x)]$。这样，题目给出的极限条件 $\lim_{x \to \infty} [f(x) + f'(x)] = a$ 就与 $g'(x)$ 的行为联系起来。
公式：g(x) = e^x f(x), \quad g'(x) = e^x [f(x) + f'(x)]
提示：构造 $e^x f(x)$ 是处理形如 $f(x)+f'(x)$ 极限问题的常用技巧，因为其导数恰好包含该组合。
步骤 2/4
目标：利用极限条件分析 $g'(x)$ 的渐近行为
由条件可知，当 $x \to \infty$ 时，$f(x) + f'(x) \to a$。因此，对于任意 $\epsilon > 0$，存在 $M > 0$，使得当 $t > M$ 时，有 $a - \epsilon < f(t) + f'(t) < a + \epsilon$。于是对于 $t > M$，$g'(t) = e^t [f(t) + f'(t)]$ 满足 $(a - \epsilon) e^t < g'(t) < (a + \epsilon) e^t$。
公式：\forall \epsilon > 0, \exists M > 0, \forall t > M: (a - \epsilon) e^t < g'(t) < (a + \epsilon) e^t
提示：注意 $g'(t)$ 的符号由 $a$ 决定，但这里我们只关心其大小范围。
步骤 3/4
目标：用积分表示 $g(x)$ 并估计其范围
对于任意 $x > M$，将 $g(x)$ 写为 $g(x) = g(M) + \int_M^x g'(t) \, dt$。代入 $g'(t)$ 的估计，得到 $(a - \epsilon) \int_M^x e^t \, dt < g(x) - g(M) < (a + \epsilon) \int_M^x e^t \, dt$。计算积分 $\int_M^x e^t \, dt = e^x - e^M$，因此 $(a - \epsilon)(e^x - e^M) < g(x) - g(M) < (a + \epsilon)(e^x - e^M)$。
公式：g(x) = g(M) + \int_M^x g'(t) \, dt, \quad \int_M^x e^t \, dt = e^x - e^M
提示：积分上下限要一致，且 $M$ 是使得估计成立的阈值。
步骤 4/4
目标：还原为 $f(x)$ 并取极限
由 $g(x) = e^x f(x)$，代入不等式得 $(a - \epsilon)(e^x - e^M) + g(M) < e^x f(x) < (a + \epsilon)(e^x - e^M) + g(M)$。两边同时除以 $e^x$（$x$ 很大时 $e^x > 0$），得 $(a - \epsilon) - \frac{(a - \epsilon)e^M - g(M)}{e^x} < f(x) < (a + \epsilon) + \frac{-(a + \epsilon)e^M + g(M)}{e^x}$。当 $x \to \infty$ 时，含 $e^x$ 分母的项趋于 0，因此 $a - \epsilon \leq \liminf_{x \to \infty} f(x) \leq \limsup_{x \to \infty} f(x) \leq a + \epsilon$。由于 $\epsilon$ 任意小，故极限存在且等于 $a$。
公式：\lim_{x \to \infty} f(x) = a
提示：这里使用了极限的夹逼性质，注意 $\epsilon$ 的任意性保证了极限的唯一性。
步骤 5/5
目标：取极限 $t \to \infty$，确定 $f(t)$ 的极限
当 $t \to \infty$ 时，$e^{-t} g(X) \to 0$，$e^{X-t} \to 0$。因此不等式变为：$a - \varepsilon < \liminf_{t \to \infty} f(t) \le \limsup_{t \to \infty} f(t) < a + \varepsilon$。由于 $\varepsilon$ 是任意正数，可知 $\liminf_{t \to \infty} f(t) = \limsup_{t \to \infty} f(t) = a$，故极限存在且等于 $a$。
公式：$\lim_{x \to \infty} f(x) = a$
提示：这里使用了上极限和下极限夹逼的技巧，注意 $\varepsilon$ 的任意性保证了极限的唯一性。
步骤 6/6
目标：取极限并利用夹逼定理
令 $x\to\infty$，由于 $\frac{(a\pm\varepsilon)e^X - g(X)}{e^x}\to 0$，得 $a-\varepsilon \le \liminf_{x\to\infty} f(x) \le \limsup_{x\to\infty} f(x) \le a+\varepsilon$。由 $\varepsilon$ 的任意性得 $\lim_{x\to\infty} f(x)=a$。
公式：夹逼定理
提示：注意下极限和上极限的概念，以及 $\varepsilon$ 的任意性。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。