关于满足|f(x)|≤exp(-1/x²)的光滑函数在原点各阶导数是否全为0的求证咨询

嗨，你已经搞定了一阶导数的情况，其实结论是对所有$n≥1$，都有$f^{(n)}(0)=0$，咱们用数学归纳法来一步步把这个结论推广到所有阶数，思路会很清晰：

步骤1：基础情况（你已经完成的部分） #

已知$f(0)=0$，根据导数定义：
$$f'(0) = \lim_{h\to0} \frac{f(h)-f(0)}{h} = \lim_{h\to0} \frac{f(h)}{h}$$
由题设$|f(h)|≤\exp(-1/h²)$，所以$\left|\frac{f(h)}{h}\right| ≤ \frac{\exp(-1/h²)}{|h|}$。令$t=1/h$，当$h\to0$时$t\to\pm\infty$，这个式子变成$|t|\exp(-t²)$，显然趋向0，所以$f'(0)=0$，基础情况成立。

步骤2：归纳假设 #

假设对于某个整数$k≥1$，$f^{{(k)}(0)=0$，并且对于所有$x≠0$，$f}{(k)}(x)$可以表示为：
$$f^{(k)}(x) = \exp(-1/x²) \cdot P_k\left(\frac{1}{x}\right)$$
其中$P_k$是某个多项式（这个形式是关键：比如$k=1$时，求导得$f'(x)=\exp(-1/x²)\cdot \frac{2}{x³}$，确实是$\exp(-1/x²)$乘关于$1/x$的多项式）。

步骤3：归纳递推（证明$f^{(k+1)}(0)=0$） #

首先对$f^{(k)}(x)$求导（$x≠0$时）：
$$f^{(k+1)}(x) = \frac{d}{dx}\left[\exp(-1/x²) \cdot P_k\left(\frac{1}{x}\right)\right]$$
用乘积法则展开：
$$= \exp(-1/x²) \cdot \frac{2}{x³} \cdot P_k\left(\frac{1}{x}\right) + \exp(-1/x²) \cdot P_k'\left(\frac{1}{x}\right) \cdot \left(-\frac{1}{x²}\right)$$
把这两项合并，就是$\exp(-1/x²)$乘一个关于$1/x$的新多项式$P_{k+1}(1/x)$，所以$f^{(k+1)}(x)$也符合我们假设的形式。

接下来用导数定义求$f^{(k+1)}(0)$：
$$f^{(k+1)}(0) = \lim_{h\to0} \frac{f^{(k)}(h) - f^{(k)}(0)}{h} = \lim_{h\to0} \frac{f^{(k)}(h)}{h}$$
代入$f^{(k)}(h)$的表达式：
$$\left|\frac{f^{(k)}(h)}{h}\right| = \left|\frac{\exp(-1/h²) \cdot P_k(1/h)}{h}\right| = |h|^{-1} \exp(-1/h²) \cdot |P_k(1/h)|$$
还是令$t=1/h$，当$h\to0$时$t\to\pm\infty$，上式变为：
$$|t| \cdot |P_k(t)| \cdot \exp(-t²)$$
这里$P_k(t)$是多项式，不管它的次数是多少，指数函数$\exp(-t²)$的衰减速度远远超过任何多项式的增长速度——比如对任意正整数$m$，$\lim_{t\to\pm\infty} t^m \exp(-t²)=0$（反复用洛必达法则就能验证）。所以这个极限必然是0，即$f^{(k+1)}(0)=0$。

结论 #

通过数学归纳法，我们可以推出对所有正整数$n$，$f^{(n)}(0)=0$。这个函数其实就是经典的“平坦函数”例子，它在原点处的泰勒级数恒为0，但函数本身不恒为0，完美展示了光滑函数不一定能被泰勒级数表示的情况。

备注：内容来源于stack exchange，提问作者Blitzkrieg