符号 - 使用参数约束进行限制

Question

我尝试计算一个函数的极限，并对其参数之一进行约束。不幸的是，我被参数约束卡住了。

我使用了以下代码，其中应假定 0 <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 的其余部分理解。但是limit可以理解在创建符号时强加的假设：

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(。