为何SymPy的Sum函数无法计算带符号参数的无穷指数求和式

收敛条件判断限制 #

无穷等比级数求和公式 $\sum_{s=0}^\infty r^s = \frac{1}{1-r}$ 仅在 $|r| < 1$ 时成立：

• 你给出的第二个示例中，公比 $r = e^{-1}$，绝对值显然小于1，满足收敛条件，SymPy可以直接确认收敛性，因此返回精确结果。
• 第一个示例的公比为 $r = e^{-b h f}$，要满足收敛条件需要 $Re(b h f) > 0$。SymPy默认创建的符号变量没有附加任何定义域、符号、实部范围的假设，无法自动判断该收敛条件是否成立，因此不会主动展开求值，仅会返回未计算的Sum符号对象。

有限求和无收敛性要求 #

有限长度的等比级数求和公式对所有 $r \neq 1$ 都成立，不需要额外的收敛性判断，因此即使符号没有附加假设，Sum函数也可以正常返回精确结果。

隐藏的变量命名冲突问题 #

你的第一段代码存在变量覆盖问题：你预先定义了符号变量f，又将求和表达式赋值给了同名变量f，会导致后续计算中原有的符号f被表达式覆盖，这也是可能导致求值失败的隐藏问题，建议调整变量名并给符号附加必要假设即可正常计算：

import sympy as sp
# 创建符号时附加正实数假设
s, b, h, f = sp.symbols('s b h f', positive=True)
sum_term = sp.exp(-s*b*h*f)
# 此时可以正常得到精确结果 1/(1 - exp(-b*h*f))
res = sp.Sum(sum_term, (s, 0, sp.oo)).doit()

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