函数在未定义邻域的极限问题——基于Trench实分析教材

首先咱们先明确几个关键前提：

• 函数 $f(x) = 2x \sin\sqrt{x}$ 的定义域是 $x \geq 0$，所以讨论 $x \rightarrow 0$ 的极限时，实际是右极限（即 $x$ 从大于0的方向趋近于0），这完全符合你教材里的极限定义——$f$ 在 $x_0=0$ 的右侧去心邻域（比如区间 $(0,1)$）上有定义，满足定义的前提条件。

接下来用你熟悉的 $\epsilon$-$\delta$ 定义来严格证明这个极限存在，且极限值为0：

要证 $\lim_{x \rightarrow 0^+} 2x \sin\sqrt{x} = 0$，即对任意 $\epsilon > 0$，存在 $\delta > 0$，使得当 $0 < x < \delta$ 时，$|2x \sin\sqrt{x} - 0| < \epsilon$。

证明过程：

• 首先，我们知道对任意实数 $t$，都有 $|\sin t| \leq 1$，这里令 $t = \sqrt{x}$，显然 $|\sin\sqrt{x}| \leq 1$ 对所有 $x > 0$ 成立。
• 因此，$|2x \sin\sqrt{x}| = 2|x| \cdot |\sin\sqrt{x}| \leq 2|x|$。
• 现在，对任意给定的 $\epsilon > 0$，我们取 $\delta = \frac{\epsilon}{2}$（因为 $x>0$，不用考虑负的情况）。
• 当 $0 < x < \delta$ 时，$|2x \sin\sqrt{x}| \leq 2x < 2 \cdot \delta = 2 \cdot \frac{\epsilon}{2} = \epsilon$，完美满足 $\epsilon$-$\delta$ 定义的要求。

另外从直观角度理解：$x$ 当 $x \rightarrow 0$ 时是无穷小量，而 $\sin\sqrt{x}$ 是有界量（始终在[-1,1]之间），无穷小量乘以有界量的结果还是无穷小量，这也和我们用 $\epsilon$-$\delta$ 证明的结论一致——极限为0。

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