Linear equations in higher order
The simplest second-order equations can be solved by directed integration performed twice, as we saw in Packet 02. To solve the IVP:
we can integrate twice:
where
From this we learn to expect that any second-order differential equation will determine a family of solution curves involving two parameters. Later we will consider a good argument for this expectation in the case of linear equations. For right now, an intuitive argument in the general case is that a second-order equation involves 3 functions:
Second order equations are called linear when the items
Second-order, constant coefficients
Second-order linear equation with constant coefficients:
- Homogeneous:
- Inhomogeneous:
In this usage, the word ‘homogeneous’ means “no constant term”. This is a different meaning from ‘homogeneous’ as we have seen previously, although the two meanings are connected.
Homogeneous case
It is easy to guess a system of solutions for the homogeneous case, inspired by the use of
-
We conclude: any solution of the form
must have a solution to . -
In reverse: if
satisfies , then is a solution to the differential equation. -
The polynomial equation
is sometimes called the characteristic equation of the linear ODE. -
Notice also: if
and are solutions, then are also solutions, for any constants . This is the practical meaning of linearity. It is sometimes also called the superposition principle. -
More abstractly: the homogeneous linear ODE has a vector space of solutions. Concretely: solutions can be added and scaled to form new solutions.
Normally, the quadratic equation
is a solution for any choice of
There are two potential complications for this method:
- What happens if
? - What happens if
and are complex numbers?
Repeated roots
What happens if
This means
When
The extra terms coming out of the product rule applied to
Example
Repeated roots
Problem: Solve the ODE:
. Solution: We first solve
. So we have . Then is one solution, and is another solution. The complete family of solutions: Check this complete family by plugging it into the ODE!
Exercise 07B-01 [During class.]
Second-order linear: distinct roots, repeated roots
Find the 2-parameter family of solution curves for the ODEs:
- (a)
- (b)
(It is a fact, a magical fact from this point of view, that in higher order, for an ODE like
Imaginary roots
What happens if
In this case, we are naturally led to consider complex-valued solutions. It turns out, however, that by doing so, we will discover a family of pure real solutions. The pure real family is produced by applying a complex change of basis to the complex solution space.
Let us write
In light of the Euler formula
(These solution are given by applying the matrix
Exercise 07B-02 [During class.]
Cancelling imaginary parts
By substituting the formulas for
and , verify that and .
Exercise 07B-03 [During class.]
Verifying trigonometric solutions
Verify that
and solve the original ODE. To do this, first find the correct ODE: expand
in order to find the appropriate for the general case of complex roots. Then check that
and are solutions to the ODE .
Summary: because the repeated roots solutions have the form
Real vs. complex solutions
Even first-order linear ODEs have complex solutions. For example,
has real solution but it also has the imaginary solution , and every combination of them. In the second-order case, we could have simply guessed the real solutions and . But the natural procedure using leads us first to the complex solutions, and from these we can extract purely real solutions using a complex combination.
Example
Second-order linear, complex roots, pure real solutions
Problem: Solve the ODE:
. Solution: We first solve
and find and . We therefore have complex solutions and real solutions
The complete family of solutions is therefore:
Problems due Tuesday 12 Mar 2024 by 11:59pm
Problem 07-01
Solving second-order linear ODEs
Find the complete family of solutions to the following ODEs:
- (a)
- (b)
- (c)
- (d)
Problem 07-02
Solving second-order linear IVPs
Solve the IVP:
, , , ,
Problem 07-03
Asymptotic behavior
Consider the ODE:
. Let be a solution. Show that the following statements are equivalent:
and as
Problem 07-04
Extending methods to a third-order ODE
Find a complete family of solutions to the third-order ODE
using the methods discussed in this Packet.
Problem 07-05
Backwards reasoning: find the ODE
Find the ODE that has the following family of solutions:
.