Section 15.6 Constant Coefficients, Homogeneous, Linear ODEs
Form of the equation.
Consider an \(n\)th order linear ODE of the form
where the coefficients \(a_i\) are constant. This very special case of the general \(n\)th order linear ODE, for which all of the \(a_i\)'s are constant, comes up in physics incredibly often. Especially important is the case of small, (damped, for \(b\ne 0\)) oscillations, such as for a pendulum, which are described by a second order linear ODE (\(n=2\)), using the independent variable \(t\text{:}\)
It will be important that you recognize this equation whenever it comes up, regardless of the algebraic letters that are used. Look for second order, linear, homogeneous, and CONSTANT coefficients. Reread this section 15.1of the book if you need to review the meaning of any of these words.
Method.
Definition 15.10. Ansatz.
Often, when we are solving differential equations, we make an ansatz, i.e. an initial guess for the basic form of the solution with some unknown parameters or functions. We then plug the guess into the differential equation to get a simpler equation for the unknown parameters.
The differential equation eqn. (15.6.1) can be solved by making the ansatz
where \(k\) is an unknown constant. We will find the value of the unknown \(k\) by substituting this expression back into the original equation. This ansatz is a reasonable guess because the derivative of \(e^{kx}\) is just a multiple of itself and higher order derivatives
are also multiples of the original function. Each term of equation (15.6.1) after substitution will have a factor of \(e^{kx}\text{,}\) i.e. we obtain
Definition 15.11. Characteristic Polynomial Equation.
After we factor out \(e^{kx}\text{,}\) the differential equation has been reduced to the characteristic polynomial equation
for the unknown parameter \(k\text{.}\)
The characteristic equation is a huge simplification! The ODE (15.6.1) has become a polynomial equation (15.6.6), which is much easier to solve. Notice that the order of the original ODE, namely \(n\text{,}\) is also the order of the characteristic polynomial. Over the complex numbers, \(n\)th order polynomials have exactly \(n\) roots which may be degenerate (i.e there may be repeated roots, see Section A.2). If there is no degeneracy, then we obtain \(n\) linearly-independent solutions of the \(n\)th-order differential equation by plugging in each of the different values of \(k\) into the ansatz. If there is degeneracy, we need to do something a little trickier to get \(n\) linearly independent solutions. See Section 15.4.
There is a theorem, which we quote without proof, that says that the trick below always works and we can obtain \(n\) solutions in both the non-degenerate and degenerate cases.
Theorem 15.12. Solutions of ODEs with Constant Coefficients.
A homogeneous \(n\)th-order ordinary differential equation with constant coefficients admits exactly \(n\) linearly-independent solutions. Therefore, the general solution will have \(n\) unknown parameters that can be specified with initial conditions or boundary conditions.
Activity 15.3. Generic Example.
Find the general solution of:
Substituting (15.6.3) into (15.6.7) leads to
so that \(k=-3\) or \(k=2\text{.}\) You should check that both \(e^{-3x}\) and \(e^{2x}\) do indeed satisfy (15.6.7); the general solution of this homogeneous ODE is given by
for arbitrary constants \(C_i\text{.}\)
Activity 15.4. Special Case: Repeated Roots.
Find the general solution of:
In this case, the characteristic polynomial is
and indeed \(e^x\) does satisfy (15.6.11). But wait a minute—that's only one solution! This is a second order equation, so the theorem above guarantees a second solution. How do we find it?
There's a trick in the case of repeated roots (degeneracy), which we will state without proof. The extra solutions are of the form \(x^m e^{\alpha x}\text{.}\) In this case, the second solution is \(x\,e^{\alpha x}\text{;}\) in general, the other linearly independent solutions include terms with \(m=0,1,...,r-1\) for a root of multiplicity \(r\text{.}\)
For example (15.6.11), the general solution is:
Activity 15.5. Special Case: Complex Roots.
Find the general solution of:We can write the general solution of (15.6.15) in two ways:
Even if the coefficients of the ODE are real, some of the roots of the characteristic polynomial could be complex. In this case, the independent solutions are \(y=e^{\pm2ix}\text{.}\) Since such complex solutions always come in pairs if the coefficients are real (Why?), we can use Euler's formula to replace the complex exponentials by trig functions, which in this case are
We can write the general solution of (15.6.15) in two ways:
There is, of course, a simple relationship between the pairs of coefficients \(C_1\text{,}\) \(C_2\) and \(D_1\text{,}\) \(D_2\text{,}\) but since these coefficients are unknown until we specify the boundary conditions or initial conditions, we rarely need to solve for this relationship. Once you understand the relationship between these two solutions, you can of course always just write down the second solution instead of the first, without going through the algebraic steps in (15.6.20).
In the language of vector spaces (see Chapter 14), the algebraic steps in (15.6.20) are just a change of basis in the two-dimensional vector space of solutions.