关于函数$e^{-1/x^2}$在$x=0$处的泰勒级数与余项的困惑求解

嘿，我来帮你理清这个困惑——这个函数可是微积分里超经典的「非解析光滑函数」例子，刚好能帮你搞懂泰勒级数和函数本身的核心区别~

首先先给你吃个定心丸：你的观察大部分是对的：

• 这个$f(x)$确实在整个实数轴上无限次可导，而且每阶导数在$x=0$处的值都是0，所以它在0点的泰勒级数就是零函数$g(x)=0$；
• 你说的「函数和各阶导数都连续」也没错，因为当$x→0$时，不管是$f(x)$还是它的任意阶导数$f^{{(n)}(x)$，极限都是0，和$f(0)$、$f}{(n)}(0)$的值一致。

那问题出在哪呢？你在计算积分余项的时候犯了一个关键错误：你误以为$f^{{(n+1)}(t)$在$[0,x]$上恒等于0，但实际上只有$t=0$时$f}{(n+1)}(t)=0$，当$t≠0$时，$f^{{(n+1)}(t)$是形如$P_{n+1}(1/t)e}{-1/t^2}$的表达式（其中$P_{n+1}$是某个多项式），这个值并不是0，只是当$t→0$时会以极快的速度趋近于0。所以你之前的积分余项计算是错的，那个积分不等于0，而是等于$f(x)$本身（因为泰勒部分和$S_n(x)=0$，所以$f(x)=S_n(x)+E_n(x)=E_n(x)$）。

接下来解释你最困惑的点：为什么泰勒级数是0，但函数本身不是0？
这涉及到「解析函数」的概念——解析函数要求在某点的邻域内，泰勒级数能收敛到函数本身。但这个$f(x)$在0点的任何邻域里，泰勒级数都只收敛到0，而不是$f(x)$，所以它在0点是不解析的。这也打破了一个常见误区：「无限次可导的函数一定是解析函数」，其实解析性是比无限可导更强的条件，这个例子就是最好的反例。

另外，你可以想想这个函数的特性：它在$x=0$处是「无限平坦」的——不管求多少阶导数，在0点的值都是0，但只要$x≠0$，函数值就立刻不为0，这种“极端”的光滑性导致它的泰勒级数无法捕捉到$x≠0$处的函数值，因为泰勒级数只依赖于函数在0点的局部信息，而这个函数在0点的所有局部信息（各阶导数）都是0，但它在非零点的行为和0完全不同。

总结一下你之前的误区：

• 错误地将$f^{(n+1)}(t)$在$[0,x]$上当成恒为0，忽略了非零点的导数不为0；
• 混淆了「泰勒级数收敛」和「泰勒级数收敛到原函数」这两个概念，前者只要级数收敛就行，后者需要满足解析性的额外条件。

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