Third order linear ODE Wolfram Math. problem

  • Context: Graduate 
  • Thread starter Thread starter dperkovic
  • Start date Start date
  • Tags Tags
    Linear Ode
Click For Summary

Discussion Overview

The discussion revolves around a third-order homogeneous ordinary differential equation (ODE) and the differences observed between a participant's solution and the output from Wolfram Mathematica's DSolve function. The scope includes mathematical reasoning and exploration of solution forms.

Discussion Character

  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant presents a solution to the ODE using the substitution \( x = e^{\lambda t} \) and derives the characteristic polynomial, leading to a general solution involving real and complex roots.
  • Another participant asserts that there is no difference in the solutions, emphasizing that constants of integration are arbitrary.
  • A participant expresses confusion regarding the different forms of constants in Mathematica's solution compared to their own.
  • Another participant explains that Mathematica's DSolve seeks general solutions that may have more complex constants, which can differ from simpler forms.
  • A further contribution suggests a general form of the solution that aligns with Mathematica's output when specific parameters are set.

Areas of Agreement / Disagreement

Participants generally agree that the differences in solutions stem from the arbitrary nature of integration constants, but there remains some confusion regarding the specific forms of these constants in Mathematica's output.

Contextual Notes

The discussion highlights the dependence on the form of the general solution and the arbitrary nature of constants of integration, which may lead to different representations of the same solution.

dperkovic
Messages
17
Reaction score
0
I have a problem with this homogenous ODE:
[tex] \frac{d^3x}{dt^3} + 2\frac{dx}{dt} = 0$[/tex]

With substitution [tex]x=e^\lambda t[/tex], I got characteristic polinom: [tex]\lambda^3+2\lambda=0[/tex].
So,
[tex]\lambda_1 = 0[/tex], [tex]\lambda_{1,2} = \pm\sqrt{2}i[/tex]

Because we have one real,and one pair of complex roots of characteristic polinom, general solution of ODE is:

[tex]x(t) =C1e^{0\cdot t} + C2\cos(\sqrt{2}t) +C3\sin(\sqrt{2}t)[/tex],
or:
[tex]x(t) =C1 + C2\cos(\sqrt{2}t) +C3\sin(\sqrt{2}t)[/tex]

But, Wolfram Mathematica's command DSolve[x'''[t] + 2*x'[t] == 0, x[t], t],give to me this:

[tex]x(t) =C1 - \frac{C2\cos(\sqrt{2}t)}{\sqrt{2}} +\frac{C3\sin(\sqrt{2}t)}{\sqrt{2}}[/tex].

As we can see, there is difference between my and wolfram's solution. Why ?? Where is a mistake in my procedure ?
 
Last edited:
Physics news on Phys.org
There is no difference in the solutions, remember the constants of integration are arbitrary.
 
Thank's. I thought that. But still, I can't figure out why constants in Mathematica's solution is different than constants i my solution. From which algorithm coming this "complicated" constants ?
 
The Mathematica DSolve usually looks for general solutions that match your particular equation and then it uses the form of the general solution to solve your specific problem. Often the general solution has such "complicated" constants.
 
In this case the general form is probably something like:
[tex]a x'''(t)+b x'(t)=0[/tex]

Which has the general solution:
[tex]\frac{\text{C1} \sqrt{a} \sin \left(\frac{\sqrt{b}<br /> t}{\sqrt{a}}\right)}{\sqrt{b}}-\frac{\text{C2} \sqrt{a} \cos<br /> \left(\frac{\sqrt{b} t}{\sqrt{a}}\right)}{\sqrt{b}}+\text{C3}[/tex]

Which turns into exactly the expression you have above for a=1 and b=2
 
This is the explanation which I looking for :smile: :smile: :smile:. Thank you !
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
5K
Replies
16
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
2
Views
2K
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 3 ·
Replies
3
Views
4K