Solving Linear Second Order ODEs for which a Symmetry of the Form [xi=0, eta=F(x)] Can Be Found
|
Description
|
|
•
|
All second order linear ODEs have symmetries of the form [xi=0, eta=F(x)]. Actually, F(x) is always a solution of the related homogeneous ODE. There is no general scheme for determining F(x); see dsolve,linear).
|
•
|
When a symmetry of the form [xi=0, eta=F(x)] is found, this information is enough to integrate the homogeneous ODE (see Murphy's book, p. 88).
|
•
|
In the case of nonhomogeneous ODEs, you can do the following:
|
|
1) look for F(x) as a symmetry of the homogeneous ODE;
|
|
2) solve the homogeneous ODE using this information;
|
|
3) set each of _C1 and _C2 equal to 0 and 1 in the answer of the previous step, in order to obtain the two linearly independent solutions of the homogeneous ODE;
|
|
4) use these two independent solutions of the homogeneous ODE to build the general solution to the nonhomogeneous ODE (see Bluman and Kumei, Symmetries and Differential Equations, p. 132 and ?dsolve,references).
|
|
|
Examples
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
A nonhomogeneous ODE example
>
|
|
| (5) |
>
|
|
| (6) |
A nonhomogeneous example step by step
>
|
|
| (7) |
>
|
|
| (8) |
Steps 1) and 2) mentioned above
>
|
|
| (9) |
Step 3): two independent solutions for the homogeneous_ode
>
|
|
| (10) |
>
|
|
| (11) |
Step 4): a procedure for the general solution to the original nonhomogeneous ODE (ode[3]) is given by
>
|
|
| (12) |
where s1 and s2 are the linearly independent solutions of the homogeneous ode (sol_1 and sol_2 above), F is the nonhomogeneous term (here represented by F(x)), and W is the Wronskian, in turn given by
>
|
|
| (13) |
from which the answer to the nonhomogeneous ODE follows
>
|
|
| (14) |
>
|
|
| (15) |
|
|
See Also
|
|
DEtools, odeadvisor, dsolve,Lie, and ?odeadvisor,<TYPE> where <TYPE> is one of: quadrature, missing, reducible, linear_ODEs, exact_linear, exact_nonlinear, sym_Fx, linear_sym, Bessel, Painleve, Halm, Gegenbauer, Duffing, ellipsoidal, elliptic, erf, Emden, Jacobi, Hermite, Lagerstrom, Laguerre, Liouville, Lienard, Van_der_Pol, Titchmarsh; for other differential orders see odeadvisor,types.
|
|