
Reduction of order
    
    Encyclopedia
    
        Reduction of order is a technique in mathematics
for solving second-order linear ordinary
differential equations
. It is employed when one solution is known and a second linearly independent
 is known and a second linearly independent
solution is desired.
 is desired.

where are real non-zero coefficients. Furthermore, assume that the associated characteristic equation
 are real non-zero coefficients. Furthermore, assume that the associated characteristic equation

has repeated roots (i.e. the discriminant
, , vanishes). Thus we have
, vanishes). Thus we have

Thus our one solution to the ODE is

To find a second solution we take as a guess

where is an unknown function to be determined. Since
 is an unknown function to be determined. Since  must satisfy the original ODE, we substitute it back in to get
 must satisfy the original ODE, we substitute it back in to get

Rearranging this equation in terms of the derivatives of we get
 we get

Since we know that is a solution to the original problem, the coefficient of the last term is equal to zero. Furthermore, substituting
 is a solution to the original problem, the coefficient of the last term is equal to zero. Furthermore, substituting  into the second term's coefficient yields (for that coefficient)
 into the second term's coefficient yields (for that coefficient)

Therefore we are left with

Since is assumed non-zero and
 is assumed non-zero and  is an exponential function
 is an exponential function
and thus never equal to zero we simply have

This can be integrated twice to yield

where are constants of integration. We now can write our second solution as
 are constants of integration. We now can write our second solution as

Since the second term in is a scalar multiple of the first solution (and thus linearly dependent) we can drop that term, yielding a final solution of
 is a scalar multiple of the first solution (and thus linearly dependent) we can drop that term, yielding a final solution of

Finally, we can prove that the second solution found via this method is linearly independent of the first solution by calculating the Wronskian
 found via this method is linearly independent of the first solution by calculating the Wronskian

Thus is the second linearly independent solution we were looking for.
 is the second linearly independent solution we were looking for.

and a single solution ( ), let the second solution be defined
), let the second solution be defined

where is an arbitrary function.  Thus
 is an arbitrary function.  Thus

and

If these are substituted for ,
,  , and
, and  in the differential equation, then
 in the differential equation, then

Since is a solution of the original differential equation,
 is a solution of the original differential equation,  , so we can reduce to
, so we can reduce to

which is a first-order differential equation for (reduction of order).  Divide by
 (reduction of order).  Divide by  , obtaining
, obtaining
 .
.
Integrating factor : .
.
Multiplying the differential equation with the integrating factor , the equation in
, the equation in  can be reduced to
 can be reduced to .
.
Once is solved, integrate it and enter into the original equation for
 is solved, integrate it and enter into the original equation for  :
:
 where
 where  .
.
        
    
Mathematics
Mathematics  is the study of quantity, space, structure, and change.  Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
for solving second-order linear ordinary
Ordinary differential equation
In mathematics, an ordinary differential equation  is a relation that contains functions of only one independent variable, and one or more of their derivatives with respect to that variable....
differential equations
Differential equation
A differential equation is a mathematical equation for an unknown function of one or several variables that relates the values of the function itself and its derivatives of various orders...
. It is employed when one solution
 is known and a second linearly independent
 is known and a second linearly independentLinear independence
In linear algebra, a family of vectors is linearly independent if none of them can be written as a linear combination of finitely many other vectors in the collection. A family of vectors which is not linearly independent is called linearly dependent...
solution
 is desired.
 is desired.An Example
Consider the general second-order linear constant coefficient ODE
where
 are real non-zero coefficients. Furthermore, assume that the associated characteristic equation
 are real non-zero coefficients. Furthermore, assume that the associated characteristic equation
has repeated roots (i.e. the discriminant
Discriminant
In algebra, the discriminant of a polynomial is an expression which gives information about the nature of the polynomial's roots. For example, the discriminant of the quadratic polynomialax^2+bx+c\,is\Delta = \,b^2-4ac....
,
 , vanishes). Thus we have
, vanishes). Thus we have
Thus our one solution to the ODE is

To find a second solution we take as a guess

where
 is an unknown function to be determined. Since
 is an unknown function to be determined. Since  must satisfy the original ODE, we substitute it back in to get
 must satisfy the original ODE, we substitute it back in to get
Rearranging this equation in terms of the derivatives of
 we get
 we get
Since we know that
 is a solution to the original problem, the coefficient of the last term is equal to zero. Furthermore, substituting
 is a solution to the original problem, the coefficient of the last term is equal to zero. Furthermore, substituting  into the second term's coefficient yields (for that coefficient)
 into the second term's coefficient yields (for that coefficient)
Therefore we are left with

Since
 is assumed non-zero and
 is assumed non-zero and  is an exponential function
 is an exponential functionExponential function
In mathematics, the exponential function is the function ex, where e is the number  such that the function ex is its own derivative.  The exponential function is used to model a relationship in which a constant change in the independent variable gives the same proportional change In mathematics,...
and thus never equal to zero we simply have

This can be integrated twice to yield

where
 are constants of integration. We now can write our second solution as
 are constants of integration. We now can write our second solution as
Since the second term in
 is a scalar multiple of the first solution (and thus linearly dependent) we can drop that term, yielding a final solution of
 is a scalar multiple of the first solution (and thus linearly dependent) we can drop that term, yielding a final solution of
Finally, we can prove that the second solution
 found via this method is linearly independent of the first solution by calculating the Wronskian
 found via this method is linearly independent of the first solution by calculating the WronskianWronskian
In mathematics, the Wronskian is a determinant introduced by  and named by . It is used in the study of differential equations, where it can sometimes be used to show that a set of solutions is linearly independent.-Definition:...

Thus
 is the second linearly independent solution we were looking for.
 is the second linearly independent solution we were looking for.General method
Given a linear differential equation
and a single solution (
 ), let the second solution be defined
), let the second solution be defined
where
 is an arbitrary function.  Thus
 is an arbitrary function.  Thus
and

If these are substituted for
 ,
,  , and
, and  in the differential equation, then
 in the differential equation, then
Since
 is a solution of the original differential equation,
 is a solution of the original differential equation,  , so we can reduce to
, so we can reduce to
which is a first-order differential equation for
 (reduction of order).  Divide by
 (reduction of order).  Divide by  , obtaining
, obtaining .
.Integrating factor :
 .
.Multiplying the differential equation with the integrating factor
 , the equation in
, the equation in  can be reduced to
 can be reduced to .
.Once
 is solved, integrate it and enter into the original equation for
 is solved, integrate it and enter into the original equation for  :
: where
 where  .
.
        
    

