使用 sympy 查找涉及求和的方程的根

Question

我目前是 sympy 的新手，我正在尝试在 Python 的附加图像中重现 Mathematica 示例。 我的尝试写在下面，但它返回一个空列表

import sympy


m , n, D_star, a, j =  sympy.symbols('m , n, D_star, a, j')

s1 = sympy.Sum(a**(j-1),(j, 1, m-1))

rhs = 6 * sympy.sqrt((D_star * (1 + a)*(n - 1))/2)

expand_expr = sympy.solve(s1 - rhs, m) 

temp = sympy.lambdify((a, n, D_star), expand_expr, 'numpy')

n = 100
a = 1.2
D_star = 2.0

ms = temp(1.2, 100, 2.0)
ms

# what I get is an empty list []

# expected answer using Mma FindRoot function is 17.0652

Answer 1

添加.doit()来扩大总和似乎有帮助。 它给出了Piecewise((m - 1, Eq(a, 1)), ((a - a**m)/(1 - a), True))/a的总和s1 。

from sympy import symbols, Eq, Sum, sqrt, solve, lambdify

m, n, j, a, D_star = symbols('m n j a D_star')

s1 = Sum(a**(j - 1), (j, 1, m - 1)).doit()

rhs = 6 * sqrt((D_star * (1 + a) * (n - 1)) / 2)

expand_expr = solve(Eq(s1, rhs), m)

temp = lambdify((a, n, D_star), expand_expr, 'numpy')

n = 100
a = 1.2
D_star = 2.0

ms = temp(1.2, 100, 2.0)

这给出了expand_expr ：

[Piecewise((log(a*(3*sqrt(2)*a*sqrt(D_star*(a*n - a + n - 1)) - 3*sqrt(2)*sqrt(D_star*(a*n - a + n - 1)) + 1))/log(a), Ne(a, 1)), (nan, True)),
 Piecewise((3*sqrt(2)*a*sqrt(D_star*(a*n - a + n - 1)) + 1, Eq(a, 1)), (nan, True))]

它分为a != 1和a == 1 。

ms的结果给出[array(17.06524172), array(nan)] ，再次以有点尴尬的方式分隔假设a == 1 。