17.6: Second Order Linear Equations
- Page ID
- 4846
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Now we consider second order equations of the form \( a\ddot y+b\dot y+cy=f(t)\), with \(a\), \(b\), and \(c\) constant. Of course, if \(a=0\) this is really a first order equation, so we assume \(a\not=0\). Also, much as in exercise 20 of section 17.5, if \(c=0\) we can solve the related first order equation \( a\dot h+bh=f(t)\), and then solve \( h=\dot y\) for \(y\). So we will only examine examples in which \(c\not=0\).
Suppose that \( y_1(t)\) and \( y_2(t)\) are solutions to \( a\ddot y+b\dot y+cy=f(t)\), and consider the function \( h=y_1-y_2\). We substitute this function into the left hand side of the differential equation and simplify:
\[ a(y_1-y_2)''+b(y_1-y_2)'+c(y_1-y_2)=ay_1''+by_1'+cy_1 - (ay_2''+by_2'+cy_2)=f(t)-f(t)=0. \]
So \(h\) is a solution to the homogeneous equation \( a\ddot y+b\dot y+cy=0\). Since we know how to find all such \(h\), then with just one particular solution \( y_2\) we can express all possible solutions \( y_1\), namely, \( y_1=h+y_2\), where now \(h\) is the general solution to the homogeneous equation. Of course, this is exactly how we approached the first order linear equation.
To make use of this observation we need a method to find a single solution \(y_2\). This turns out to be somewhat more difficult than the first order case, but if \(f(t)\) is of a certain simple form, we can find a solution using the method of undetermined coefficients, sometimes more whimsically called the method of judicious guessing.
Example \(\PageIndex{1}\):
Solve the differential equation \( \ddot y-\dot y-6y=18t^2+5\).
Solution
The general solution of the homogeneous equation is \( Ae^{3t}+Be^{-2t}\). We guess that a solution to the non-homogeneous equation might look like \(f(t)\) itself, namely, a quadratic \( y=at^2+bt+c\). Substituting this guess into the differential equation we get
\[ \ddot y-\dot y-6y = 2a-(2at+b)-6(at^2+bt+c) = -6at^2+(-2a-6b)t+(2a-b-6c).\]
We want this to equal \(18t^2+5\), so we need
\[\eqalign{ -6a&=18\cr -2a-6b&=0\cr 2a-b-6c&=5\cr} \]
This is a system of three equations in three unknowns and is not hard to solve: \(a=-3\), \(b=1\), \(c=-2\). Thus the general solution to the differential equation is \( Ae^{3t}+Be^{-2t}-3t^2+t-2\).
So the "judicious guess'' is a function with the same form as \(f(t)\) but with undetermined (or better, yet to be determined) coefficients. This works whenever \(f(t)\) is a polynomial.
Example \(\PageIndex{2}\):
Consider the initial value problem \( m\ddot y +ky=-mg\), \(y(0)=2\), \( \dot y(0)=50\). The left hand side represents a mass-spring system with no damping, i.e., \(b=0\). Unlike the homogeneous case, we now consider the force due to gravity, \(-mg\), assuming the spring is vertical at the surface of the earth, so that \(g=980\). To be specific, let us take \(m=1\) and \(k=100\). The general solution to the homogeneous equation is \( A\cos(10t)+B\sin(10t)\). For the solution to the non-homogeneous equation we guess simply a constant \(y=a\), since \(-mg=-980\) is a constant. Then \( \ddot y+100y= 100a\) so \(a=-980/100=-9.8\). The desired general solution is then \( A\cos(10t)+B\sin(10t)-9.8\). Substituting the initial conditions we get
\[\eqalign{2&=A-9.8\cr50&=10B\cr}\]
so \(A=11.8\) and \(B=5\) and the solution is \( 11.8\cos(10t)+5\sin(10t)-9.8\).
More generally, this method can be used when a function similar to \(f(t)\) has derivatives that are also similar to \(f(t)\); in the examples so far, since \(f(t)\) was a polynomial, so were its derivatives. The method will work if \(f(t)\) has the form \(p(t)e^{\alpha t}\cos(\beta t)+ q(t)e^{\alpha t}\sin(\beta t)\), where \(p(t)\) and \(q(t)\) are polynomials; when \(\alpha=\beta=0\) this is simply \(p(t)\), a polynomial. In the most general form it is not simple to describe the appropriate judicious guess; we content ourselves with some examples to illustrate the process.
Example \(\PageIndex{3}\):
Find the general solution to \( \ddot y+7\dot y+10y=e^{3t}\). The characteristic equation is \(r^2+7r+10=(r+5)(r+2)\), so the solution to the homogeneous equation is \(Ae^{-5t}+Be^{-2t}\). For a particular solution to the inhomogeneous equation we guess \(Ce^{3t}\). Substituting we get
\[ 9Ce^{3t}+21Ce^{3t}+10Ce^{3t}=e^{3t}40C.\]
When \(C=1/40\) this is equal to \(f(t)=e^{3t}\), so the solution is \(Ae^{-5t}+Be^{-2t}+(1/40)e^{3t}\).
Example \(\PageIndex{4}\):
Find the general solution to \( \ddot y+7\dot y+10y=e^{-2t}\). Following the last example we might guess \(Ce^{-2t}\), but since this is a solution to the homogeneous equation it cannot work. Instead we guess \(Cte^{-2t}\). Then
\[ (-2Ce^{-2t}-2Ce^{-2t}+4Cte^{-2t})+7(Ce^{-2t}-2Cte^{-2t})+10Cte^{-2t} =e^{-2t}(-3C). \]
Then \(C=-1/3\) and the solution is \(Ae^{-5t}+Be^{-2t}-(1/3)te^{-2t}\).
In general, if \(f(t)=e^{kt}\) and \(k\) is one of the roots of the characteristic equation, then we guess \(Cte^{kt}\) instead of \(Ce^{kt}\). If \(k\) is the only root of the characteristic equation, then \(Cte^{kt}\) will not work, and we must guess \(Ct^2e^{kt}\).
Example \(\PageIndex{5}\):
Find the general solution to \( \ddot y-6\dot y+9y=e^{3t}\). The characteristic equation is \( r^2-6r+9=(r-3)^2\), so the general solution to the homogeneous equation is \(Ae^{3t}+Bte^{3t}\). Guessing \(Ct^2e^{3t}\) for the particular solution, we get
\[(9Ct^2e^{3t}+6Cte^{3t}+6Cte^{3t}+2Ce^{3t})-6(3Ct^2e^{3t}+2Cte^{3t})+9Ct^2e^{3t}=e^{3t}2C.\]
The solution is thus \( Ae^{3t}+Bte^{3t}+(1/2)t^2e^{3t}\).
It is common in various physical systems to encounter an \(f(t)\) of the form \( a\cos(\omega t)+b\sin(\omega t)\).
Example \(\PageIndex{6}\):
Find the general solution to \( \ddot y+6\dot y+25y=\cos(4t)\). The roots of the characteristic equation are \(-3\pm 4i\), so the solution to the homogeneous equation is \( e^{-3t}(A\cos(4t)+B\sin(4t))\). For a particular solution, we guess \(C\cos(4t)+D\sin(4t)\). Substituting as usual:
\[\eqalign{ (-16C\cos(4t)&+-16D\sin(4t))+6(-4C\sin(4t)+4D\cos(4t))+25(C\cos(4t)+D\sin(4t))\cr
&=(24D+9C)\cos(4t)+(-24C+9D)\sin(4t).\cr} \]
To make this equal to \(\cos(4t)\) we need
\[\eqalign{ 24D+9C&=1\cr 9D-24C&=0\cr}\]
which gives \(C=1/73\) and \(D=8/219\). The full solution is then
\[e^{-3t}(A\cos(4t)+B\sin(4t))+(1/73)\cos(4t)+(8/219)\sin(4t).\]
The function \( e^{-3t}(A\cos(4t)+B\sin(4t))\) is a damped oscillation as in example 17.5.3, while \( (1/73)\cos(4t)+(8/219)\sin(4t)\) is a simple undamped oscillation. As \(t\) increases, the sum \( e^{-3t}(A\cos(4t)+B\sin(4t))\) approaches zero, so the solution \[e^{-3t}(A\cos(4t)+B\sin(4t))+(1/73)\cos(4t)+(8/219)\sin(4t)\[ becomes more and more like the simple oscillation \( (1/73)\cos(4t)+(8/219)\sin(4t)\)---notice that the initial conditions don't matter to this long term behavior. The damped portion is called the transient part of solution, and the simple oscillation is called the steady state part of solution. A physical example is a mass-spring system. If the only force on the mass is due to the spring, then the behavior of the system is a damped oscillation. If in addition an external force is applied to the mass, and if the force varies according to a function of the form \( a\cos(\omega t)+b\sin(\omega t)\), then the long term behavior will be a simple oscillation determined by the steady state part of the general solution; the initial position of the mass will not matter.
As with the exponential form, such a simple guess may not work.
Example \(\PageIndex{4}\):
Find the general solution to \( \ddot y+16y=-\sin(4t)\). The roots of the characteristic equation are \(\pm4i\), so the solution to the homogeneous equation is \(A\cos(4t)+B\sin(4t)\). Since both \(\cos(4t)\) and \(\sin(4t)\) are solutions to the homogeneous equation, \(C\cos(4t)+D\sin(4t)\) is also, so it cannot be a solution to the non-homogeneous equation. Instead, we guess \(Ct\cos(4t)+Dt\sin(4t)\). Then substituting:
\[\eqalign{ (-16Ct\cos(4t)&-16D\sin(4t)+8D\cos(4t)-8C\sin(4t)))+16(Ct\cos(4t)+Dt\sin(4t))\cr &=8D\cos(4t)-8C\sin(4t).\cr}\]
Thus \(C=1/8\), \(D=0\), and the solution is \( C\cos(4t)+D\sin(4t)+(1/8)t\cos(4t)\).
In general, if \(f(t)=a\cos(\omega t)+b\sin(\omega t)\), and \(\pm \omega i\) are the roots of the characteristic equation, then instead of \(C\cos(\omega t)+D\sin(\omega t)\) we guess \(Ct\cos(\omega t)+Dt\sin(\omega t)\).