Sympy - 限制参数约束

Question

我尝试计算一个函数的极限，其中一个参数受约束。不幸的是，我被参数约束困住了。

我使用了以下代码，其中应假定 0 < alpha < 1

import sympy
sympy.init_printing()
K,L,alpha = sympy.symbols("K L alpha")
Y = (K**alpha)*(L**(1-alpha))
sympy.limit(sympy.assumptions.refine(Y.subs(L,1),sympy.Q.positive(1-alpha) & sympy.Q.positive(alpha)),K,0,"-")

然而，这不起作用。是否有可能像在 Mathematica 中那样处理假设？

最好，谢谢， 法比安

Answer 1

据我所知，SymPy 的其余部分尚不理解 Assumptions 模块所做的假设。但是limit可以理解一个假设就是imposed at the time a symbol is created：

K, L = sympy.symbols("K L")
alpha = sympy.Symbol("alpha", positive=True)
Y = (K**alpha)*(L**(1-alpha))
sympy.limit(Y.subs(L, 1), K, 0, "-")

限制现在计算为 0。

没有办法将一个符号声明为 0 到 1 之间的数字，但可以通过声明一个正符号来解决这个问题，比如 t，并让 L = t/(1+t).