泰勒级数生成错误？求证极限时Series函数使用问题求助

嘿，这个问题的核心其实是级数展开的适用场景搞混了，咱们把来龙去脉理清楚：

1. 第一种方法出错的根本原因 #

你执行的代码：

Normal[Series[Sin[x*x]*Exp[-x*x]*x, {x, 0, 40}]]

是在x趋近于0的邻域做泰勒级数展开——泰勒展开是局部近似，只能精准描述展开点（这里是x=0）附近的函数行为，完全没法覆盖x→∞的极端场景。

原函数Sin[x²]Exp[-x²]x在x→∞时，Exp[-x²]是指数级衰减的，它的衰减速度远快于x的增长速度，所以极限必然是0。但你在x=0处展开时，Exp[-x²]会被展开成多项式形式1 - x² + x⁴/2 - ...，和Sin[x²]的展开式（x² - x⁶/6 + ...）、x相乘后，得到的是一堆正幂次的多项式项（比如x³、x⁷这类）。当你错误地把这个局部展开式当成x→∞时的表达式来看，自然会误以为极限是无穷大——但这完全是对泰勒展开适用范围的误用。

2. 变量替换后能得到正确结果的原因 #

你做了变量替换t=x²，原函数变成Sin[t]Exp[-t]√t，这时候你执行的展开：

Normal[Series[Sin[x]*Exp[-x]*Sqrt[x], {x, 0, 40}]]

虽然看起来还是在x=0处展开，但这里的关键是Exp[-t]的指数衰减特性：当t→∞时，不管Sin[t]怎么振荡、√t怎么增长，Exp[-t]都会把所有多项式项的数值压到趋近于0。哪怕你用的是t=0处的泰勒展开，也能直观推断出极限为0——当然更规范的做法是直接对t→∞做渐近展开：

Normal[Series[Sin[t]*Exp[-t]*Sqrt[t], {t, Infinity, 2}]]

这样得到的渐近级数会直接体现出函数在无穷远处的衰减趋势，结论更准确。

总结一下 #

• 泰勒级数（有限点展开）是局部工具，只适合分析展开点附近的函数行为，不能用来推导无穷远处的极限；
• 要分析x→∞的极限，应该用渐近展开（指定{x, Infinity, n}作为展开参数），或者通过变量替换把无穷远转化为有限点（比如令t=1/x，将x→∞转化为t→0），这样得到的展开式才能正确反映函数在极端场景下的行为。

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