Skip to main content
Mathematics LibreTexts

17.7: Second Order Linear Equations II

  • Page ID
    4847
  • \( \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}\)

    The method of the last section works only when the function \(f(t)\) in \( a\ddot y+b\dot y+cy=f(t)\) has a particularly nice form, namely, when the derivatives of \(f\) look much like \(f\) itself. In other cases we can try variation of parameters as we did in the first order case.

    Since as before \(a\not=0\), we can always divide by \(a\) to make the coefficient of \( \ddot y\) equal to 1. Thus, to simplify the discussion, we assume \(a=1\). We know that the differential equation \( \ddot y+b\dot y+cy=0\) has a general solution \( Ay_1+By_2\). As before, we guess a particular solution to \( \ddot y+b\dot y+cy=f(t)\); this time we use the guess \( y=u(t)y_1+v(t)y_2\). Compute the derivatives:

    \[\eqalign{ \dot y&=\dot uy_1+u\dot y_1+\dot vy_2+v\dot y_2\cr \ddot y&=\ddot uy_1+\dot u\dot y_1+\dot u\dot y_1+u\ddot y_1+\ddot vy_2+\dot v\dot y_2+\dot v\dot y_2+v\ddot y_2.\cr} \]

    Now substituting:

    \[\eqalign{ \ddot y+b\dot y+cy&= \ddot uy_1+\dot u\dot y_1+\dot u\dot y_1+u\ddot y_1+\ddot vy_2+\dot v\dot y_2+\dot v\dot y_2+v\ddot y_2\cr &\qquad + b\dot uy_1+bu\dot y_1+b\dot vy_2+bv\dot y_2+cuy_1+cvy_2\cr &=(u\ddot y_1+bu\dot y_1+cuy_1)+(v\ddot y_2+bv\dot y_2+cvy_2)\cr &\qquad + b(\dot uy_1+\dot vy_2) + (\ddot uy_1+\dot u\dot y_1+\ddot vy_2+\dot v\dot y_2)+ (\dot u\dot y_1+\dot v\dot y_2)\cr &=0+0+ b(\dot uy_1+\dot vy_2) + (\ddot uy_1+\dot u\dot y_1+\ddot vy_2+\dot v\dot y_2)+ (\dot u\dot y_1+\dot v\dot y_2).\cr } \]

    The first two terms in parentheses are zero because \(y_1\) and \(y_2\) are solutions to the associated homogeneous equation. Now we engage in some wishful thinking. If \( \dot uy_1+\dot vy_2=0\) then also

    \[ \ddot uy_1+\dot u\dot y_1+\ddot vy_2+\dot v\dot y_2=0,\]

    by taking derivatives of both sides. This reduces the entire expression to \( \dot u\dot y_1+\dot v\dot y_2\). We want this to be \(f(t)\), that is, we need \( \dot u\dot y_1+\dot v\dot y_2=f(t)\). So we would very much like these equations to be true:

    \[\eqalign{ \dot uy_1+\dot vy_2&=0\cr \dot u\dot y_1+\dot v\dot y_2&=f(t).\cr} \]

    This is a system of two equations in the two unknowns \( \dot u\) and \( \dot v\), so we can solve as usual to get \( \dot u=g(t)\) and \( \dot v=h(t)\).

    Then we can find \(u\) and \(v\) by computing antiderivatives. This is of course the sticking point in the whole plan, since the antiderivatives may be impossible to find. Nevertheless, this sometimes works out and is worth a try.

    Example \(\PageIndex{1}\)

    Consider the equation \( \ddot y-5\dot y+6y=\sin t\).

    Solution

    We can solve this by the method of undetermined coefficients, but we will use variation of parameters. The solution to the homogeneous equation is \( Ae^{2t}+Be^{3t}\), so the simultaneous equations to be solved are

    \[\eqalign{ \dot ue^{2t}+\dot ve^{3t}&=0\cr 2\dot ue^{2t}+3\dot ve^{3t}&=\sin t.\cr} \]

    If we multiply the first equation by 2 and subtract it from the second equation we get

    \[\eqalign{ \dot ve^{3t}&=\sin t\cr \dot v&=e^{-3t}\sin t\cr v&=-{1\over 10}(3\sin t+\cos t)e^{-3t},\cr} \]

    using integration by parts. Then from the first equation:

    \[\eqalign{ \dot u&=-e^{-2t}\dot ve^{3t}=-e^{-2t}e^{-3t}\sin(t)e^{3t}=-e^{-2t}\sin t\cr u&={1\over 5}(2\sin t+\cos t)e^{-2t}.\cr} \]

    Now the particular solution we seek is

    \[\eqalign{ ue^{2t}+ve^{3t}&={1\over 5}(2\sin t+\cos t)e^{-2t}e^{2t} -{1\over 10}(3\sin t+\cos t)e^{-3t}e^{3t}\cr &={1\over 5}(2\sin t+\cos t)-{1\over 10}(3\sin t+\cos t)\cr &={1\over 10}(\sin t+\cos t),\cr} \]

    and the solution to the differential equation is

    \[ Ae^{2t}+Be^{3t}+(\sin t+\cos t)/10.\]

    For comparison (and practice) you might want to solve this using the method of undetermined coefficients.

    Example \(\PageIndex{2}\):

    The differential equation \( \ddot y-5\dot y+6y=e^t\sin t\) can be solved using the method of undetermined coefficients, though we have not seen any examples of such a solution.

    Solution

    Again, we will solve it by variation of parameters. The equations to be solved are

    \[\eqalign{ \dot ue^{2t}+\dot ve^{3t}&=0\cr 2\dot ue^{2t}+3\dot ve^{3t}&=e^t\sin t.\cr} \]

    If we multiply the first equation by 2 and subtract it from the second equation we get

    \[\eqalign{ \dot ve^{3t}&=e^t\sin t\cr \dot v&=e^{-3t}e^t\sin t=e^{-2t}\sin t\cr v&=-{1\over 5}(2\sin t+\cos t)e^{-2t}.\cr} \]

    Then substituting we get

    \[\eqalign{ \dot u&=-e^{-2t}\dot ve^{3t}=-e^{-2t}e^{-2t}\sin(t)e^{3t}=-e^{-t}\sin t\cr u&={1\over 2}(\sin t+\cos t)e^{-t}.\cr} \]

    The particular solution is

    \[\eqalign{ ue^{2t}+ve^{3t}&={1\over 2}(\sin t+\cos t)e^{-t}e^{2t} -{1\over 5}(2\sin t+\cos t)e^{-2t}e^{3t}\cr &={1\over 2}(\sin t+\cos t)e^t-{1\over 5}(2\sin t+\cos t)e^t\cr &={1\over 10}(\sin t+3\cos t)e^t,\cr} \]

    and the solution to the differential equation is

    \[ Ae^{2t}+Be^{3t}+e^t(\sin t+3\cos t)/10.\]

    Example \(\PageIndex{3}\):

    The differential equation \( \ddot y -2\dot y+y=e^t/t^2\) is not of the form amenable to the method of undetermined coefficients. The solution to the homogeneous equation is \( Ae^t+Bte^t\) and so the simultaneous equations are

    \[\eqalign{ \dot ue^{t}+\dot vte^{t}&=0\cr \dot ue^{t}+\dot vte^{t}+\dot ve^t&={e^t\over t^2}.\cr} \]

    Subtracting the equations gives

    \[\eqalign{ \dot ve^{t}&={e^t\over t^2}\cr \dot v&={1\over t^2}\cr v&=-{1\over t}.\cr} \]

    Then substituting we get

    \[\eqalign{ \dot ue^t&=-\dot vte^t=-{1\over t^2}te^t\cr \dot u&=-{1\over t}\cr u&=-\ln t.\cr} \]

    The solution is \( Ae^t+Bte^t-e^t\ln t-e^t\).

    Contributors


    This page titled 17.7: Second Order Linear Equations II is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by David Guichard via source content that was edited to the style and standards of the LibreTexts platform.

    • Was this article helpful?