classify ODE and suggest solution methods - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Differential Equations : Classifying ODEs : DEtools/odeadvisor

DEtools[odeadvisor] - classify ODE and suggest solution methods

Calling Sequence

odeadvisor(ODE)

odeadvisor(ODE, y(x), [type1, type2, ...], help)

Parameters

ODE

-

ordinary differential equation

y(x)

-

indeterminate function (necessary when not obvious)

type1, type2, ...

-

(optional) subset of ODE classification types to be checked

help

-

(optional) request the display of a help page based on textbook advice for solving the given ODE (see dsolve, references).

Description

• 

Given an ODE, the odeadvisor command's main goal is to classify it according to standard text books (see dsolve,references), and to display a help page including related information for solving it (when the word help is given as an extra argument). The help pages include examples and Maple input lines, along with some advice, allowing you to adapt them to your problem. These help pages are also available by entering ?odeadvisor,<TYPE>; where <TYPE> is one of:

• 

First order ODEs

Abel,

Abel2A,

Abel2C,

Bernoulli,

Chini,

Clairaut,

dAlembert,

exact,

fully_exact_linear,

homogeneous,

homogeneousB,

homogeneousC,

homogeneousD,

homogeneousG,

linear,

patterns,

quadrature,

rational,

Riccati,

separable,

sym_implicit

 

 

 

 

  

In the page for "patterns" there is a discussion of the following ODE patterns:

y&equals;gy' ,

x&equals;gy' ,

0&equals;Gx&comma;y' ,

0&equals;Gy&comma;y' ,

y&equals;Gx&comma;y' ,

x&equals;Gy&comma;y'

  

There is also a related parametric solving scheme.

• 

Second order ODEs

Bessel,

Duffing,

ellipsoidal,

elliptic,

Emden,

erf,

exact_linear,

exact_nonlinear,

Gegenbauer,

Halm,

Hermite,

Jacobi,

Lagerstrom,

Laguerre,

Lienard,

Liouville,

linear_ODEs,

linear_sym,

missing,

Painleve,

quadrature,

reducible,

sym_Fx,

Titchmarsh,

Van_der_Pol

• 

High order ODEs

quadrature,

missing,

exact_linear,

exact_nonlinear,

reducible,

linear_ODEs

 

 

 

 

• 

When used without extra arguments, the odeadvisor command attempts to classify the given ODE into one or more of the types above, returning a list with the types matched by the ODE. The matching of the types is checked sequentially, and odeadvisor might return more than one type; otherwise, the first matching of a pattern interrupts the process and a classification is returned.

• 

As an option, you can specify that odeadvisor should check only a sublist of the types mentioned above, by giving the sublist as an extra argument.

• 

This function is part of the DEtools package, and so it can be used in the form odeadvisor(..) only after executing the command with(DEtools). However, it can always be accessed through the long form of the command by using DEtools[odeadvisor](..).

Examples

Kamke's ODE 97

withDEtools&colon;

ODE:=x&DifferentialD;&DifferentialD;xyx&plus;ayx2yx&plus;bx2

ODE:=x&DifferentialD;&DifferentialD;xyx&plus;ayx2yx&plus;bx2

(1)

odeadvisorODE

_homogeneous&comma;class D&comma;_rational&comma;_Riccati

(2)

Kamke's ODE 223

ODE:=2yxx&DifferentialD;&DifferentialD;xyxyx2x

ODE:=2yxx&DifferentialD;&DifferentialD;xyxyx2x

(3)

odeadvisorODE

_homogeneous&comma;class A&comma;_exact&comma;_rational&comma;_Abel&comma;2nd type&comma;class A

(4)

odeadvisorODE&comma;homogeneous&comma;Abel

_homogeneous&comma;class A&comma;_Abel&comma;2nd type&comma;class A

(5)

Some second order ODEs

ODE:=x2&DifferentialD;2&DifferentialD;x2yx&plus;x&DifferentialD;&DifferentialD;xyxx2&plus;n2yx

ODE:=x2&DifferentialD;2&DifferentialD;x2yx&plus;x&DifferentialD;&DifferentialD;xyxn2&plus;x2yx

(6)

odeadvisorODE

_Bessel&comma;_modified

(7)

ODE:=&DifferentialD;&DifferentialD;xx1x2&DifferentialD;&DifferentialD;xyxxyx&equals;0

ODE:=x2&plus;1&DifferentialD;&DifferentialD;xyx2x2&DifferentialD;&DifferentialD;xyx&plus;xx2&plus;1&DifferentialD;2&DifferentialD;x2yxxyx&equals;0

(8)

odeadvisorODE

_elliptic&comma;_class_I

(9)

ODE:=&DifferentialD;2&DifferentialD;x2yxx1x&equals;ga&plus;1x&DifferentialD;&DifferentialD;xyx&plus;na&plus;nyx

ODE:=&DifferentialD;2&DifferentialD;x2yxx1x&equals;ga&plus;1x&DifferentialD;&DifferentialD;xyx&plus;na&plus;nyx

(10)

odeadvisorODE

_Jacobi

(11)

The odeadvisor command also recognizes some patterns in high order ODEs

ODE:=&DifferentialD;3&DifferentialD;x3yx&plus;Dgyx&DifferentialD;&DifferentialD;xyx3&plus;2gyx&DifferentialD;&DifferentialD;xyx&DifferentialD;2&DifferentialD;x2yx&plus;&DifferentialD;&DifferentialD;xfx&DifferentialD;&DifferentialD;xyx&plus;fx&DifferentialD;2&DifferentialD;x2yx&equals;0

ODE:=&DifferentialD;3&DifferentialD;x3yx&plus;Dgyx&DifferentialD;&DifferentialD;xyx3&plus;2gyx&DifferentialD;&DifferentialD;xyx&DifferentialD;2&DifferentialD;x2yx&plus;&DifferentialD;&DifferentialD;xfx&DifferentialD;&DifferentialD;xyx&plus;fx&DifferentialD;2&DifferentialD;x2yx&equals;0

(12)

odeadvisorODE&comma;yx

_3rd_order&comma;_exact&comma;_nonlinear&comma;_3rd_order&comma;_reducible&comma;_mu_y2

(13)

ODE:=&DifferentialD;4&DifferentialD;x4yx&plus;&DifferentialD;&DifferentialD;xyx4&ExponentialE;yx&plus;5&ExponentialE;yx&DifferentialD;&DifferentialD;xyx2&DifferentialD;2&DifferentialD;x2yx&plus;2&ExponentialE;yx&DifferentialD;2&DifferentialD;x2yx2&plus;2&ExponentialE;yx&DifferentialD;&DifferentialD;xyx&DifferentialD;3&DifferentialD;x3yx&plus;&DifferentialD;2&DifferentialD;x2fx&DifferentialD;&DifferentialD;xyx&plus;2&DifferentialD;&DifferentialD;xfx&DifferentialD;2&DifferentialD;x2yx&plus;fx&DifferentialD;3&DifferentialD;x3yx&equals;0

ODE:=&DifferentialD;4&DifferentialD;x4yx&plus;&DifferentialD;&DifferentialD;xyx4&ExponentialE;yx&plus;5&ExponentialE;yx&DifferentialD;&DifferentialD;xyx2&DifferentialD;2&DifferentialD;x2yx&plus;2&ExponentialE;yx&DifferentialD;2&DifferentialD;x2yx2&plus;2&ExponentialE;yx&DifferentialD;&DifferentialD;xyx&DifferentialD;3&DifferentialD;x3yx&plus;&DifferentialD;2&DifferentialD;x2fx&DifferentialD;&DifferentialD;xyx&plus;2&DifferentialD;&DifferentialD;xfx&DifferentialD;2&DifferentialD;x2yx&plus;fx&DifferentialD;3&DifferentialD;x3yx&equals;0

(14)

odeadvisorODE&comma;yx

_high_order&comma;_exact&comma;_nonlinear

(15)

See Also

DEtools, dsolve, odeadvisor,types, PDEtools

References

  

Cheb-Terrab, E.S.; Duarte, L.G.S.; and da Mota, L.A.C.P. "Computer Algebra Solving of First Order ODEs Using Symmetry Methods." Computer Physics Communications. Vol. 101. (1997): 254.

  

Kamke, E. Differentialgleichungen: Losungsmethoden und Losungen. New York: Chelsea Publishing Company, 1959.

  

Zwillinger, D. Handbook of Differential Equations. 2d ed. Orlando, Florida: Academic Press, 1992.


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam