optimization - Mathematica : Commands return no output, 但它本身。漏洞？

Question

我正在使用 Wolfram Mathematica 8 并遇到以下问题。我在某些约束下有一个优化问题，并希望有一个分析(符号解决方案)。我正在最大化函数 piA。我的输入是:

piA[a_, WA1_, WA0_] = 
a/(1 + a)*(X - (y*WA1 + 1)^(1/y)) - 1/(1 + a) ((y*WA0 + 1)^(1/y));

Maximize[{piA[a, WA1, WA0], WA0 >= -1/y, WA1 >= -1/y}, WA0]

大多数时候我得到的是:

Maximize[{-((1 + WA0 y)^((1/y))/(1 + a)) + (
a (X - (1 + WA1 y)^(1/y)))/(1 + a), WA0 >= -(1/y), WA1 >= -(1/y)},a]

基本上，该命令什么都不做，而是输出自身。只有一次我设法获得了正确的输出(太长无法粘贴在这里)。我已经使用更简单的功能对其进行了测试，并且可以正常工作。不幸的是，我无法理解导致问题的原因。这不是语法问题，因为它已经多次这样工作了。任何帮助将不胜感激。

附言刚刚再次检查，我的输入总是生成错误的输出。它生成解决方案的时间是我不小心将参数 X 和 y 设置为某些数字时。

Answer 1

最可能的原因是，给定函数和约束，Mathematica 不知道如何最大化关于 WA0 的函数。请注意，您还有一个自由变量 X和 a在那里，它可能没有足够的关于 X 域的信息。和 a能够正确地形成方程的解。

我曾有过尝试输入一些方程和约束的实例，而 Mathematica 根本无法对它们做任何事情，因为它们太笼统了。这也可能是这种情况。是否有您想要解决的特定问题，有什么方法可以为 Mathematica 提供更多上下文？

我根本不认为这是一个错误，但不幸的是，有时 Mathematica 会在没有任何规则来解决您提供的内容时会反驳您的输入。

这些事情发生的通常原因似乎是当给出的表达式对于 Mathematica 来说太笼统了，或者当它面临一组格式错误的表达式时。

举个例子，我尝试将分数传递到我编写的专门寻找有理表达式的函数中，我认为它会起作用。原来它需要同时处理 Rational[a, b]和 Times[a, Power[b, -1]] .可能是 Mathematica 不期望约束是 GreaterEqual[a, b] 形式的。 .