求证函数$f(x)=\text{csch}(x^{-2})$（$f(0)=0$）在$\mathbb{R}$上无穷可微

嘿，这个问题其实是光滑函数领域的经典例子，完全不用硬推n阶导数通式就能搞定，咱们换个思路来拆解：

核心突破口：利用指数项的超强衰减性 #

首先把$\text{csch}(t)$改写为更便于分析的形式：

$\text{csch}(t) = \frac{2}{e^t - e^{-t}}$，因此当$x≠0$时，$f(x) = \frac{2}{e^{1/x²} - e^{-1/x²}} = \frac{2e^{-1/x²}}{1 - e^{-2/x²}}$

这里最关键的性质是：当$x→0$时，$e^{-1/x²}$是比任何多项式都高阶的无穷小——也就是说，对任意正整数$k$，$\lim_{x→0} x^k e^{-1/x²} = 0$。这个特性能帮我们绕开复杂的导数表达式推导。

用数学归纳法简化证明 #

咱们通过归纳法同时证明两个核心结论：

1. 对任意非负整数$n$，$f^{(n)}(0) = 0$；
2. 当$x≠0$时，$f^{{(n)}(x)$可表示为$P_n(1/x)e}{-1/x²}$，其中$P_n(t)$是关于$t$的多项式。

基础步骤（$n=0$） #

• 已知$f(0)=0$，满足结论1；
• 当$x≠0$时，$f(x)=\frac{2e^{-1/x²}}{1 - e^{{-2/x²}}$，可以看作是多项式（这里是常数）与$e}{-1/x²}$的组合形式，满足结论2。

归纳假设 #

假设对于所有$k ≤ n$，上述两个结论都成立：即$f^{{(k)}(0)=0$，且$x≠0$时$f}{(k)}(x)=P_k(1/x)e^{-1/x²}$（$P_k(t)$为多项式）。

归纳步骤（证明$n+1$时成立） #

首先处理$x≠0$的情况：
对$f^{{(n)}(x)=P_n(1/x)e}{-1/x²}$求导，根据乘积法则：

f^{(n+1)}(x) = P_n'(1/x)·(-2x^{-3})·e^{-1/x²} + P_n(1/x)·(2x^{-3})e^{-1/x²}

整理后可得：
$f^{(n+1)}(x) = \left[ -2x^{-3}P_n'(1/x) + 2x^{-3}P_n(1/x) \right] e^{-1/x²}$
令$P_{n+1}(t) = -2t^3 P_n'(t) + 2t^3 P_n(t)$，显然$P_{n+1}(t)$是多项式，因此$f^{{(n+1)}(x)=P_{n+1}(1/x)e}{-1/x²}$，结论2成立。

接下来证明$f^{(n+1)}(0)=0$，根据导数定义：
$$
f^{(n+1)}(0) = \lim_{x→0} \frac{f^{(n)}(x) - f^{(n)}(0)}{x} = \lim_{x→0} \frac{P_n(1/x)e^{-1/x²}}{x}
$$
令$t=1/x$，当$x→0$时$t→±∞$，极限转化为：
$$
\lim_{t→±∞} t·P_n(t)·e^{-t²}
$$
由于$P_n(t)$是多项式，$t·P_n(t)$仍为多项式，而$e^{{-t²}$的衰减速度远快于任何多项式的增长速度，因此这个极限必然为0，即$f}{(n+1)}(0)=0$，结论1成立。

总结 #

通过归纳法，我们证明了对所有非负整数$n$，$f^{{(n)}(0)$都存在且为0；而$x≠0$时函数显然无穷可微，因此$f(x)$在$\mathbb{R}$上无穷可微。这个方法完全不用推导复杂的n阶导数通式，核心就是抓住$e}{-1/x²}$的超强衰减性和求导后保持“多项式乘指数项”的形式~

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