rtoy / maxima

A Clone of Maxima's repo
Other
0 stars 0 forks source link

Inconsistent integration #2853

Closed rtoy closed 4 months ago

rtoy commented 4 months ago

Imported from SourceForge on 2024-07-06 23:16:31 Created by sslavi on 2015-05-08 14:05:43 Original: https://sourceforge.net/p/maxima/bugs/2956


I am sorry for having to post this question here, but the discussion section of Sourceforge/Maxima seem to be inoperative and unavailable.

Please take a look at these two examples: Example n.1: (%i1) diff(y(x),x)=y(x); integrate(%,x); (%o1) 'diff(y(x),x,1)=y(x) (%o2) y(x)=integrate(y(x),x)+%c1

Example n.2: (%i2) diff(y(x),x)/y(x)=1; integrate(%,x); (%o3) 'diff(y(x),x,1)/y(x)=1 (%o4) log(y(x))=x+%c2

Both input functions are the same, just expressed in slightly different manner. However, in the first case the integral doesn't get evaluated, while in the second case it does, and the function y(x) can be determined.

What is going on here? Is it a bug or am I missing something about how Maxima decides the form of the results to be returned? Thanks in advance.

Cheers

Attachments:

rtoy commented 4 months ago

Imported from SourceForge on 2024-07-06 23:16:33 Created by villate on 2015-05-08 15:10:09 Original: https://sourceforge.net/p/maxima/bugs/2956/#6947


This is not a bug. Integrate is not supposed to solve differential equations, but simply find the anti-derivative of an expression. When you give an equation to integrate (instead of an expression), it will simply find the anti-derivative of the expression on each side separately. Try integrating each of the expressions on each side of the equation separately, to see what I mean. In order to "integrate" an equation, you should use a program for differential equations, such as ode2.

rtoy commented 4 months ago

Imported from SourceForge on 2024-07-06 23:16:36 Created by sslavi on 2015-05-08 15:47:07 Original: https://sourceforge.net/p/maxima/bugs/2956/#f3ec


Ok, so it was my misunderstanding of how the integration process works. I thought that Maxima first tries to transform the equation in some canonical form and then performs the integration. That process would likely yield the same result in both cases. But now I know it doesn't work that way. Thanks for the explanation.

rtoy commented 4 months ago

Imported from SourceForge on 2024-07-06 23:16:40 Created by robert_dodier on 2015-05-13 19:28:22 Original: https://sourceforge.net/p/maxima/bugs/2956/#0c3a


Agreed that this is not a bug. Closing this report.