Femtobytes
Problem type

Second order equation with constant coefficients

What it solves
Solve a y'' + b y' + c y = 0 with starting values for y and y': write the characteristic equation, handle whichever of the three cases arises (two real roots, a repeated root, or a complex pair), fit the constants, and check the answer exactly.
Subject
Differential Equations
Topic
Second order equations
Also called
auxiliary equation, characteristic equation, second order ODE, constant coefficients
Your problem

Solve this starting value problem.

y′′−4y=0,y(0)=−1,y′(0)=−1y'' - 4 y = 0, \qquad y(0) = -1, \quad y'(0) = -1
Invent a new one:
The problem

Solve this starting value problem.

y′′−4y=0,y(0)=−1,y′(0)=−1y'' - 4 y = 0, \qquad y(0) = -1, \quad y'(0) = -1
The result
y=−34e2x−14e−2xy = -\frac{3}{4} e^{2 x} - \frac{1}{4} e^{-2 x}

The characteristic equation has two real roots. Checked exactly in the original equation.

checked 9 lines of this solution were evaluated with exact arithmetic before it was shown to you. A solution with a false line is never served.
Picture 1 of 2Step 1: See what the equation is asking for, and make an inspired guess
0123456-2500-2000-1500-1000-5000xystart: y(0) = -1, slope -1the solution through the starting pointthe starting slope
The solution. It passes through the starting point with the starting slope, shown by the short straight stroke, and from then on the equation decides everything.
1

See what the equation is asking for, and make an inspired guess

Why this step

The equation says: a fixed combination of yy, its slope y′y' and its curvature y′′y'' must cancel to zero at EVERY xx. The simplest way for three functions to cancel like that everywhere is for all three to be constant multiples of ONE function, so that the equation only has to balance the multiples. So we look for a function whose derivatives are multiples of itself, and the functions that do that are the exponentials erxe^{rx}. The guess is not a trick pulled from a hat, and it costs nothing: a theorem about linear equations (Lebl, Notes on Diffy Qs, Theorem 2.1.3) says that once two independent solutions y1y_1 and y2y_2 are known, EVERY solution is C1y1+C2y2C_1 y_1 + C_2 y_2. So if the guess produces two, there are no others left to find.

y′′−4y=0,y(0)=−1,y′(0)=−1y'' - 4 y = 0, \qquad y(0) = -1, \quad y'(0) = -1
y′y' is the first derivative of yy (its slope) and y′′y'' the second (how the slope itself changes). The two starting values will single out one solution.
2

Turn the differential equation into an ordinary equation

Why this step

Put y=erxy = e^{rx} into the equation with rr still unknown. Each differentiation simply brings down a factor of rr, so every term contains the same erxe^{rx}, which can be taken out. What is left is an equation about the NUMBER rr, with no derivatives in it at all. Calculus has been traded for algebra.

y=erx,y′=rerx,y′′=r2erxy = e^{rx}, \qquad y' = r e^{rx}, \qquad y'' = r^2 e^{rx}
The derivative of erxe^{rx} is rerxr e^{rx} (the chain rule brings down the rr), and differentiating again brings down another.
r2erx−4erx=erx(r2−4)r^{2} e^{r x} - 4 e^{r x} = e^{r x} \left( r^{2} - 4 \right)
Put these into the equation and take out the common factor erxe^{rx}. (Evaluated at several values of rr and xx.) checked
r2−4=0r^{2} - 4 = 0
An exponential is never zero, so the product can vanish only if the bracket does. This is the characteristic equation.
3

Solve the characteristic equation

4

Write the general solution

5

Use the starting values to find the constants

6

State the solution and check it in the equation