你能解釋這個Mathematica $假設行爲嗎？

請考慮以下三行Mathematica代碼，並注意輸入行1和3完全相同（這是我發現演示此行爲的最小代碼片段）。

>> Integrate[Exp[-a^2] Sin[2 p] ((a^2 + b^2) + b*Cos[p] + a*Sin[p]), {p, 0, 2 \[Pi]}] 
0 

>> $Assumptions = {t > 0}; 
>> Integrate[Exp[-a^2] Sin[2 p] ((a^2 + b^2) + b*Cos[p] + a*Sin[p]), {p, 0, 2 \[Pi]}] 

8/3 Sqrt[a^2+b^2] E^-a^2

請注意積分應爲0，就像Mathematica的第一個答案一樣。我輸入的假設顯然與整合無關。這是一個錯誤（我使用Mathematica 8.0）？

更奇怪的是，如果我分裂成整體的2個或3積分的總和，他們每個人得到0同樣的事情，如果我帶出來的部分不依賴於P中的積分。

對於我來說，它看起來像一個錯誤，但如果有什麼我失蹤，請讓我知道。

來源

2011-12-02 shark.dp

我可以重現它在一個新的內核8.0.4。 't'甚至不會出現在你的表達中，它看起來像一個錯誤。您可以聯繫Wolfram支持部門解決問題，以便他們解決問題。 – Szabolcs

我提交了一個錯誤報告。讓我們看看支持團隊在說什麼。謝謝。 –

似乎是在一個開發Mathematica中修復的。（我希望它保持這樣。） –

在數學7.0.1結果爲0，而在8.0.4我們得到

8/3 Sqrt[a^2+b^2] E^-a^2

因此它必須是一個錯誤，更糟糕的則是一個錯誤。幸運的是，在沒有計算機的情況下，人們可以很容易地驗證結果，但如果涉及更多的積分，這將是一個主要問題。

來源

2011-12-02 09:27:45 Artes

感謝您的檢查。我提交了一個錯誤報告（見上文）。 –

在更新軟件的同時保留老版本是一個好主意，至少是像M.這樣的綜合系統。我需要在不同版本中比較輸出。 – Artes

這似乎已經解決了。在9.0版本中，均可以得到結果0

來源

2013-01-04 02:58:21 Jinstrong

你能解釋這個Mathematica $假設行爲嗎？

回答

相關問題