Diff. EquationsSecond-Order Linear Equations

Reduction of Order

Use one known solution to find another.

Not started Jump to practice

For a repeated root the second solution $te^{rt}$ seemed to come from nowhere. Reduction of order is the systematic version: if you know one solution $y_1$ of a second-order linear homogeneous equation, it produces a second one, even when the coefficients are not constant.

Key idea

Put $y'' + p(t)y' + q(t)y = 0$ in standard form and set $y = v(t)\,y_1(t)$. Then $w = v'$ satisfies a first-order equation, and $$y_2 = y_1\int \frac{e^{-\int p\,dt}}{y_1^{2}}\,dt.$$

Why it works

With $y = vy_1$: $y' = v'y_1 + vy_1'$ and $y''$ $= v''y_1 + 2v'y_1' + vy_1''$. Substituting, $$v\underbrace{(y_1'' + py_1' + qy_1)}_{=\,0} + v''y_1 + v'(2y_1' + py_1) = 0.$$ The terms with $v$ itself cancel because $y_1$ is a solution. With $w = v'$: $y_1w' + (2y_1' + py_1)w = 0$, which separates: $\frac{w'}{w} = -\frac{2y_1'}{y_1} - p$, so $w = \frac{e^{-\int p\,dt}}{y_1^{2}}$. Integrate once more for $v$.

Worked example: Where $te^{rt}$ comes from

$y_1 = e^{3t}$ solves $y'' - 6y' + 9y = 0$. Find a second solution.
  1. $p = -6$, so $e^{-\int p\,dt} = e^{6t}$.
  2. $w = v' = \frac{e^{6t}}{(e^{3t})^{2}} = 1$, so $v = t$.

Answer: $y_2 = te^{3t}$

Worked example: Variable coefficients

$y_1 = t^{2}$ solves $t^{2}y'' - 3ty' + 4y = 0$ for $t > 0$. Find $y_2$.
  1. Standard form: $y'' - \frac{3}{t}y' + \frac{4}{t^{2}}y = 0$, so $p = -\frac{3}{t}$.
  2. $e^{-\int p\,dt} = e^{3\ln t} = t^{3}$.
  3. $v' = \frac{t^{3}}{t^{4}} = \frac{1}{t}$, so $v = \ln t$.

Answer: $y_2 = t^{2}\ln t$

Worked example: An exponential appears

$y_1 = t$ solves $(1 - t)y'' + ty' - y = 0$ for $t < 1$. Find $y_2$.
  1. Standard form: $p = \frac{t}{1 - t} = -1 + \frac{1}{1 - t}$, so $\int p\,dt = -t - \ln(1 - t)$ and $e^{-\int p\,dt} = (1 - t)e^{t}$.
  2. $v' = \frac{(1 - t)e^{t}}{t^{2}}$. Since $\frac{d}{dt}\left(-\frac{e^{t}}{t}\right) = \frac{(1 - t)e^{t}}{t^{2}}$, we get $v = -\frac{e^{t}}{t}$.
  3. $y_2 = vy_1 = -e^{t}$; drop the constant factor.

Answer: $y_2 = e^{t}$ (check: $(1 - t)e^{t} + te^{t} - e^{t} = 0$)

Common mistake

Reading $p$ before dividing by the coefficient of $y''$ (using $-3$ instead of $-\frac{3}{t}$ in the second example) gives a wrong $w$. Also remember $y_2 = v\,y_1$, not $v$ alone. Any constant multiple of $y_2$, or $y_2$ plus a multiple of $y_1$, is just as good, so constants of integration can be dropped. Finish by substituting $y_2$ into the equation.
$y_1 = t^{2}$ and $y_2 = t^{2}\ln t$ from the second example. The factor $v = \ln t$ bends $y_2$ away from $y_1$, so neither is a multiple of the other.
This connects with the Wronskian. The function $w = v'$ found here is $\left(\frac{y_2}{y_1}\right)' = \frac{W}{y_1^{2}}$, and $e^{-\int p\,dt}$ is exactly Abel's formula for $W$. So reduction of order says: choose the Wronskian you want, then integrate $\frac{W}{y_1^{2}}$ and multiply by $y_1$. The same substitution $y = vy_1$ also works for the nonhomogeneous equation; then the first-order equation for $w$ gains a right side.

Practice

Pass with 3 right answers, the last 2 in a row. Each right answer earns 3 XP.

Loading practice…

Builds on

Leads to

This is one of the top rungs of Differential Equations.

Sources and further reading

  • Paul's Online Math Notes, Differential Equations: Reduction of Order
  • MIT OpenCourseWare 18.03SC Differential Equations (Fall 2011), Unit II: Second Order Constant Coefficient Linear Equations
@teddyrookbook GitHub