return the nth order ODE having a given integrating factor - Maple Help

Online Help

All Products    Maple    MapleSim

Home : Support : Online Help : Mathematics : Differential Equations : Lie Symmetry Method : Commands for ODEs : DEtools/redode

DEtools[redode] - return the nth order ODE having a given integrating factor

Calling Sequence

redode(mu, n, y(x), R)




integrating factor - one or a list of them - depending on x,y,...,_ym, m=n1



order of the requested ODE



dependent variable



(optional) expected reduced ODE depending on x,y,...,_yk 



Given an integrating factor (x,y,..._yn), where _yn represents the nth order derivative, or a list of them, redode returns the ODE of order n having all the values of mu as integrating factors.


This command is useful to identify the general ODE problem related to a given mu, and to understand the possible links between the integrating factor scheme for reducing the order and other reduction schemes (for example, symmetries).


When the expected reduced ODE, here called R, is also given as argument, its differential order, say m, must satisfy m<n. The routine then proceeds as follows. First, it redefines R by differentiating it such that its differential order becomes n1. Then it performs a test to see if the problem is solvable. The test for solvability is

mu(x,y,`...`,_ym) = nu(x,y,`...`,_y||(m-1))*diff(R(x,y,`...`,_ym),_ym);



for some function nux,y,...,_ym. If the problem is solvable, redode then returns an nth order ODE satisfying

mu(x,y,`...`,diff(y(x),x$m)) * ODE=Diff(R(x,y(x),`...`,diff(y(x),x$m)),x);



Note that the reduced ODE being differentiated on the right-hand side is defined up to a constant. For example, R&plus;_C1 also satisfies the above equation.


When the given mu does not depend on _ym and R is nonlinear in _ym, the requested nth order ODE exists if R can be solved for _ym; then nu can be determined as the ratio μd_ymdR.


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


The redode command is interesting mainly as a tool for generating solving schemes for given ODE families; we illustrate this with two examples.


1. Consider the second order ODE family having an integrating factor μ=Fx -- an arbitrary function -- such that the reduced ODE has the same integrating factor. We want to set up an algorithm such that, given a second order linear ODE,




where there are no restrictions on psi1x&comma;psi2x, or psi3x, the scheme determines if the ODE belongs to the family just described, and if so it also determines Fx. The knowledge of Fx is enough to completely solve the given ODE.

To start with, we obtain the general first order ODE having Fx as integrating factor using:




where _F1x is an arbitrary function. To obtain the second order ODE mentioned above, we pass ode_1 as an argument (playing the role of the reduced ODE) with the integrating factor Fx to obtain:




Taking this general ODE pattern as our starting point, we set up the required solving scheme by comparing coefficients in ode_2 and ode_psi obtaining the following expressions.







By solving e1, we get Fx as:




and by substituting this result into the second one we get the pattern identifying the ODE family.




2. Consider the second order ODE family having an integrating factor μ=Fx -- an arbitrary function -- and the symmetry ξ=0&comma;η=Fx (see infgen), and such that the reduced ODE is the most general first order linear ODE:




where A(x) and B(x) are arbitrary functions. To start with, we obtain the second order ODE mentioned above which has the integrating factor Fx as in example 1.




In the previous step, ode_2 is in fact the most general second order linear ODE we can imagine. If we now impose the symmetry condition Xode_2&equals;0 (see odepde), where X&equals;0&comma;Fx, we arrive at the following restriction on Ax.




We can solve this ODE for Ax.




Introducing the result into ode_2 and disregarding the nonhomogeneous term (irrelevant in the solving scheme), we obtain the homogeneous ODE family pattern:







where we have set the constant _C1 equal to 1 without loss of generality (μ=Fx is defined up to a constant factor). To set up a solving scheme here, check if the coefficient of dydx in a given ODE is related to the coefficient of y as in the equation above, in which case the integrating factor is just Fx.

3. Consider the following three integrating factors of some (unknown) third order ODE:




The most general third order ODE simultaneously admitting all these integrating factors depends on an arbitrary function of _F1x and can be computed as follows.







The test performed above verifies - returning zero - that the given integrating factors (the list mu) indeed turn the returned ODE exact - see mutest.

The number of given integrating factors can be different than the differential order. For example, taking just the first two integrating factors of the previous example, the most general third order ODE turned exact by them actually depends - in addition - on an arbitrary function of two variables, _F3x&comma;y.










See Also

DEtools, DEtools[equinv], DEtools[intfactor], DEtools[odeadvisor], DEtools[symgen], DEtools[symtest], dsolve, odetest, PDEtools, PDEtools[dchange]

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