Turning a second-order equation with variable coefficients into a first-order linear equation.
By the end of this lesson, you will be able to:
Our methods for constant coefficients (2.1–2.3) and for Euler equations (2.4) do not reach a general equation \(a(x)\,y'' + b(x)\,y' + c(x)\,y = f(x)\). Reduction of order handles two situations that come up often: either the \(y\) term is missing, or one solution of the homogeneous equation is already known. In both, a clever substitution lowers the order from two to one, and Chapter 1 finishes the job.
| The equation \(a(x)\,y'' + b(x)\,y' + c(x)\,y = f(x)\) has… | Substitution | You get |
|---|---|---|
| Case 1: no \(y\) term, \(c(x) = 0\) | \(v = y'\), \(v' = y''\) | \(a(x)\,v' + b(x)\,v = f(x)\), first-order linear in \(v\) |
| Case 2: \(c(x) \neq 0\), and one solution \(y_c\) of the homogeneous equation is given | \(y = u\,y_c\), then \(w = u'\) | An equation with no \(u\) term, so Case 1 in \(u\) |
| \(c(x) \neq 0\) and no solution is known | Constant coefficients: 2.1. Euler form \(ax^2y'' + bxy' + cy\): 2.4. | |
For an equation with no \(y\) term,
let \(v = y'\), so \(v' = y''\). The equation becomes
a first-order linear equation in \(v\), solved with an integrating factor (Chapter 1).
\(v\) is \(y'\), not \(y\). A second-order equation needs two constants: one from solving for \(v\), one from integrating \(v\).
If \(y_c\) solves the homogeneous equation \(a\,y'' + b\,y' + c\,y = 0\), look for solutions of the form \(y = u(x)\,y_c(x)\). The product rule gives
Substituting into \(a\,y'' + b\,y' + c\,y = f\) and collecting terms:
The \(u\) term is gone, so this is Case 1 with \(u\) in place of \(y\). Let \(w = u'\): \(\;a\,y_c\,w' + \big(2a\,y_c' + b\,y_c\big)\,w = f\), a first-order linear equation.
Written as \(y'' + p(x)\,y' + q(x)\,y = 0\) (divide by \(a(x)\) first): \(\;\displaystyle y_2 = y_c \int \frac{e^{-\int p\,dx}}{y_c^{\,2}}\,dx.\) It is the result of the steps above; use it to check your work.
Examples 1–3 are Case 1 and Examples 4–8 are Case 2. Click each example to reveal the solution.
Spot the case. There is no \(y\) term, so \(c(x) = 0\).
Substitute \(v = y'\). \(x\,v' + v = 0\).
Solve for \(v\). The left side is exactly \((x\,v)'\), so \((x\,v)' = 0\), \(x\,v = C_1\), and \(v = \dfrac{C_1}{x}\).
Integrate \(v\). \(y = \displaystyle\int \frac{C_1}{x}\,dx = C_1 \ln x + C_2\).
Substitute \(v = y'\). \(x\,v' - v = 3x^2\).
Standard form. Divide by \(x\): \(v' - \dfrac{1}{x}\,v = 3x\).
Integrating factor. \(\mu = e^{\int -1/x\,dx} = \dfrac{1}{x}\), so \(\left(\dfrac{v}{x}\right)' = 3\).
Solve for \(v\). \(\dfrac{v}{x} = 3x + C_1\), so \(v = 3x^2 + C_1 x\).
Integrate \(v\). \(y = x^3 + \dfrac{C_1}{2}x^2 + C_2\). Renaming \(C_1/2\) as \(C_1\):
Substitute \(v = y'\). \(x\,v' + 2v = 6x\).
Integrating factor. Multiplying by \(x\) makes the left side a derivative: \(x^2 v' + 2x\,v = (x^2 v)' = 6x^2\).
Solve for \(v\). \(x^2 v = 2x^3 + C_1\), so \(v = 2x + \dfrac{C_1}{x^2}\).
Apply \(y'(1) = 0\) to \(v\). \(v(1) = 2 + C_1 = 0\), so \(C_1 = -2\) and \(v = 2x - \dfrac{2}{x^2}\).
Integrate \(v\). \(y = x^2 + \dfrac{2}{x} + C_2\).
Apply \(y(1) = 2\). \(1 + 2 + C_2 = 2\), so \(C_2 = -1\).
Check \(y_c\). \(y_c' = 2x\), \(y_c'' = 2\): \(x^2(2) - 3x(2x) + 4x^2 = 0\). ✓
Set \(y = u\,x^2\). \(y' = x^2 u' + 2x\,u\), \(\;y'' = x^2 u'' + 4x\,u' + 2u\).
Substitute.
The \(u\) term cancels, leaving \(x^4 u'' + x^3 u' = 0\), or \(x\,u'' + u' = 0\).
Recognise Case 1. This is Example 1 with \(u\) in place of \(y\), so \(u = C_2 \ln x + C_1\).
Form \(y = u\,x^2\).
This is where the \(\ln x\) in the repeated-root case of Euler equations (2.4) comes from.
Check \(y_c\). \((x-1)e^x - x\,e^x + e^x = 0\). ✓
Set \(y = u\,e^x\). \(y' = (u' + u)\,e^x\), \(\;y'' = (u'' + 2u' + u)\,e^x\).
Substitute and divide by \(e^x\).
Let \(w = u'\). \((x-1)\,w' + (x-2)\,w = 0\) is separable:
Solve for \(w\). \(\ln|w| = -x + \ln(x-1) + K\), so \(w = C\,(x-1)\,e^{-x}\).
Integrate \(w\). By parts, \(\displaystyle\int (x-1)\,e^{-x}\,dx = -x\,e^{-x}\), so \(u = -C\,x\,e^{-x} + D\).
Form \(y = u\,e^x\). \(y = -C\,x + D\,e^x\). The new solution is \(y_2 = x\). (Check: \((x-1)\cdot 0 - x\cdot 1 + x = 0\).)
Set \(y = u\,e^{2x}\). \(y' = (u' + 2u)\,e^{2x}\), \(\;y'' = (u'' + 4u' + 4u)\,e^{2x}\).
Substitute and divide by \(e^{2x}\).
Solve. \(u'' = 0\) gives \(u = C_1 + C_2\,x\).
Reduction of order is the reason a repeated root \(r\) in 2.1 gives \(x\,e^{rx}\).
Check \(y_c\) in the homogeneous equation. \(x\,e^x - (x+1)\,e^x + e^x = 0\). ✓
Set \(y = u\,e^x\) and substitute. With the derivatives from Example 5:
Let \(w = u'\), standard form. \(w' + \left(1 - \dfrac{1}{x}\right)w = x\).
Integrating factor. \(\mu = e^{\int (1 - 1/x)\,dx} = \dfrac{e^x}{x}\), so \(\left(\dfrac{e^x}{x}\,w\right)' = e^x\).
Solve for \(w\). \(\dfrac{e^x}{x}\,w = e^x + C\), so \(w = x + C\,x\,e^{-x}\).
Integrate \(w\). \(u = \dfrac{x^2}{2} - C\,(x+1)\,e^{-x} + D\).
Form \(y = u\,e^x\). \(y = \dfrac{x^2}{2}e^x - C\,(x+1) + D\,e^x\).
One substitution produced both the second solution \(y_2 = x + 1\) and the particular solution \(y_p = \tfrac12 x^2 e^x\).
Check \(y_c\). \(x^2(0) + x(1) - x = 0\). ✓
Set \(y = u\,x\). \(y' = x\,u' + u\), \(\;y'' = x\,u'' + 2u'\).
Substitute. \(x^2(x\,u'' + 2u') + x(x\,u' + u) - u\,x = x^3 u'' + 3x^2 u' = x^2 + 1\).
Let \(w = u'\). \(x^3 w' + 3x^2 w = x^2 + 1\). The left side is already \((x^3 w)'\).
Solve for \(w\). \(x^3 w = \dfrac{x^3}{3} + x + C\), so \(w = \dfrac13 + \dfrac{1}{x^2} + \dfrac{C}{x^3}\).
Integrate \(w\). \(u = \dfrac{x}{3} - \dfrac{1}{x} - \dfrac{C}{2x^2} + D\).
Form \(y = u\,x\). \(y = \dfrac{x^2}{3} - 1 - \dfrac{C}{2x} + D\,x\).
Try each problem first, then click it to check your solution.
No $y$ term, so let $v = y'$: $(1+x^2)\,v' + 2x\,v = 0$, which is $\big((1+x^2)\,v\big)' = 0$.
So $v = \dfrac{C_1}{1+x^2}$. From $y'(0) = 2$: $C_1 = 2$.
Integrate: $y = 2\arctan x + C_2$. From $y(0) = 1$: $C_2 = 1$.
$v' + 2v = 4x$. Integrating factor $e^{2x}$: $\left(e^{2x}v\right)' = 4x\,e^{2x}$.
By parts, $e^{2x}v = (2x - 1)\,e^{2x} + C$, so $v = 2x - 1 + C\,e^{-2x}$.
Integrate, renaming $-C/2$ as $C_1$:
Methods 2.1 and 2.2 give the same answer. With $c = 0$, reduction of order is often quicker.
Set $y = u\,x^2$: $y' = x^2u' + 2xu$, $y'' = x^2u'' + 4xu' + 2u$.
Substituting, the $u$ term cancels: $x^4 u'' + 5x^3 u' = 0$, so $x\,w' + 5w = 0$ with $w = u'$.
Separable: $w = C\,x^{-5}$, so $u = -\dfrac{C}{4x^4} + D$ and $y_2 \propto x^2 \cdot x^{-4} = x^{-2}$.
Set $y = u\,x$: $y' = xu' + u$, $y'' = xu'' + 2u'$.
Substitute: $x^2(xu'' + 2u') - 2x(xu' + u) + 2ux = x^3 u''$. Both the $u$ and $u'$ terms cancel, so $x^3u'' = x^3$ and $u'' = 1$.
Integrate twice: $u = \dfrac{x^2}{2} + C_2\,x + C_1$, and $y = u\,x$:
Test your understanding of reduction of order. Choosing an answer shows why it is right or wrong.
Progress: 0 / 8 completed