求助证明：满足积分条件的一致连续函数lim(x→∞)xf(x)=0

我来帮你打通这个证明里的阻碍，核心是先利用一致连续性和第一个积分条件推出$f(x) \to 0$，再结合导数的积分条件用反证法导出矛盾，具体步骤如下：

第一步：先证$\boldsymbol{f(x) \to 0}$当$\boldsymbol{x \to \infty}$ #

假设$f(x)$不趋向于0，那么存在$\epsilon > 0$和序列$x_n \to \infty$，使得对所有$n$，$|f(x_n)| \geq \epsilon$。

因为$f$在$(0,\infty)$一致连续，取$\eta = \epsilon/2$，则存在$\delta > 0$，对任意$x,y \in (0,\infty)$，只要$|x-y| < \delta$，就有$|f(x)-f(y)| < \eta$。

因此，对每个$x_n$，当$x \in [x_n, x_n+\delta]$时，$|f(x)| \geq |f(x_n)| - \eta \geq \epsilon - \epsilon/2 = \epsilon/2$。

此时计算积分：
$$
\int_{x_n}^{x_n+\delta} x f^2(x) dx \geq x_n \cdot (\epsilon/2)^2 \cdot \delta = \frac{\epsilon^2 \delta x_n}{4}
$$
当$n \to \infty$时，右边趋向于$\infty$，但已知$\int_0^\infty x f^2(x) dx < \infty$，这就产生了矛盾。因此$f(x) \to 0$当$x \to \infty$。

第二步：用反证法证$\boldsymbol{\lim_{x \to \infty} x f(x) = 0}$ #

假设结论不成立，即存在$\epsilon > 0$和序列$x_n \to \infty$，使得$|x_n f(x_n)| \geq \epsilon$，也就是$|f(x_n)| \geq \frac{\epsilon}{x_n}$。

利用$f$的一致连续性：取$\eta = \frac{\epsilon}{4}$，存在$\delta > 0$，当$|x - x_n| < \delta$时，$|f(x) - f(x_n)| < \eta$。接下来结合导数的积分条件用Cauchy-Schwarz不等式推导：

考虑$f(x) = f(x_n) + \int_{x_n}^x f'(s) ds$，两边取绝对值并乘以$x_n$：
$$
|x_n f(x_n)| \leq |x_n f(x)| + x_n \left| \int_{x_n}^x f'(s) ds \right|
$$
取$x = x_n + \delta$，则：
$$
\epsilon \leq |x_n f(x_n+\delta)| + x_n \left| \int_{x_n}^{x_n+\delta} f'(s) ds \right|
$$

分析右边两项： #

1. 第一项：由第一步结论$f(x) \to 0$，且$x_n+\delta \sim x_n$当$n \to \infty$，因此$|x_n f(x_n+\delta)| = \frac{x_n}{x_n+\delta} \cdot |(x_n+\delta)f(x_n+\delta)| \to 0$（若$(x_n+\delta)f(x_n+\delta)$不趋向0，就回到反证假设的矛盾）。当$n$足够大时，这一项$< \frac{\epsilon}{2}$。

2. 第二项：用Cauchy-Schwarz不等式估计积分：
   $$
   \left| \int_{x_n}^{x_n+\delta} f'(s) ds \right| = \left| \int_{x_n}^{x_n+\delta} s^{-3/2} \cdot s^{3/2} f'(s) ds \right|
   $$
   $$
   \leq \sqrt{\int_{x_n}^{x_n+\delta} s^{-3} ds} \cdot \sqrt{\int_{x_n}^{x_n+\delta} s^3 (f'(s))^2 ds}
   $$
   计算第一个积分：
   $$
   \int_{x_n}^{x_n+\delta} s^{-3} ds = \frac{1}{2x_n^2} - \frac{1}{2(x_n+\delta)^2} \leq \frac{\delta}{x_n^3}
   $$
   第二个积分$\int_{x_n}^{x_n+\delta} s^3 (f'(s))^2 ds \leq \int_{x_n}^\infty s^3 (f'(s))^2 ds = o(1)$（当$n \to \infty$时）。

因此：
$$
x_n \left| \int_{x_n}^{x_n+\delta} f'(s) ds \right| \leq x_n \cdot \sqrt{\frac{\delta}{x_n^3}} \cdot \sqrt{o(1)} = \frac{\sqrt{\delta o(1)}}{\sqrt{x_n}} \to 0
$$

导出矛盾： #

当$n$足够大时，右边两项之和$< \frac{\epsilon}{2} + \frac{\epsilon}{2} = \epsilon$，但左边是$\epsilon$，这就产生了矛盾。因此原假设不成立，即$\lim_{x \to \infty} x f(x) = 0$。

内容的提问来源于stack exchange，提问作者JohnDoe1234