Maple中Limit未求值问题：求α>0时t→0的函数极限

你定义的函数及求极限代码如下：

restart;
_local(Psi);

Psi := t -> (t^(-alpha) - 1)/alpha

(limit(Psi(t), t = 0) assuming (0 < alpha));

得到未计算的极限表达式，调用Psi(0)得到-1/alpha，均不符合预期（正确结果应为无穷大），解决方法如下：

方法1：补充t>0的假设 #

Maple未明确t的符号时，无法确定t^(-alpha)的行为（比如t为负时可能涉及复数），需同时假设t>0和alpha>0：

limit(Psi(t), t = 0) assuming 0 < alpha, t > 0;

执行后会返回infinity，即预期的无穷大结果。

方法2：指定右极限方向 #

直接在limit函数中指定t从右侧趋近0（对应t>0的场景）：

limit(Psi(t), t = 0, right) assuming 0 < alpha;

同样会得到正确的无穷大结果。

问题原因说明 #

• 直接调用Psi(0)是代入t=0，而0的负指数在实数域无定义，Maple的特殊处理导致返回错误结果，求极限不能直接代入。
• 仅假设alpha>0时，Maple考虑到t可能为负数，此时t^(-alpha)的极限不存在（涉及复数），因此无法计算，返回原极限表达式。

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