Reduction of order
Encyclopedia
Reduction of order is a technique in mathematics
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
Linear 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.

An Example

Consider the general second-order linear constant coefficient ODE


where 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


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 must satisfy the original ODE, we substitute it back in to get


Rearranging this equation in terms of the derivatives of 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 into the second term's coefficient yields (for that coefficient)


Therefore we are left with


Since is assumed non-zero and is an exponential function
Exponential 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


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


Finally, we can prove that the second solution found via this method is linearly independent of the first solution by calculating the Wronskian
Wronskian
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.

General method

Given a linear differential equation


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


where is an arbitrary function. Thus


and


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


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


which is a first-order differential equation for (reduction of order). Divide by , obtaining
.

Integrating factor :.

Multiplying the differential equation with the integrating factor , the equation in can be reduced to.

Once is solved, integrate it and enter into the original equation for :
where .
The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK