Skip to main content
Mathematics LibreTexts

10.7: Variation of Parameters for Nonhomogeneous Linear Systems

  • Page ID
    9598
  • This page is a draft and is under active development. 

    \( \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{\place}{\bigskip\hrule\bigskip\noindent} \newcommand{\threecol}[3]{\left[\begin{array}{r}#1\\#2\\#3\end{array}\right]} \newcommand{\threecolj}[3]{\left[\begin{array}{r}#1\\[1\jot]#2\\[1\jot]#3\end{array}\right]} \newcommand{\lims}[2]{\,\bigg|_{#1}^{#2}} \newcommand{\twocol}[2]{\left[\begin{array}{l}#1\\#2\end{array}\right]} \newcommand{\ctwocol}[2]{\left[\begin{array}{c}#1\\#2\end{array}\right]} \newcommand{\cthreecol}[3]{\left[\begin{array}{c}#1\\#2\\#3\end{array}\right]} \newcommand{\eqline}[1]{\centerline{\hfill$\displaystyle#1$\hfill}} \newcommand{\twochar}[4]{\left|\begin{array}{cc} #1-\lambda\\#3-\lambda\end{array}\right|} \newcommand{\twobytwo}[4]{\left[\begin{array}{rr} #1\\#3\end{array}\right]} \newcommand{\threechar}[9]{\left[\begin{array}{ccc} #1-\lambda\\#4-\lambda\\#7 -\lambda\end{array}\right]} \newcommand{\threebythree}[9]{\left[\begin{array}{rrr} #1\\#4\\#7 \end{array}\right]} \newcommand{\solutionpart}[1]{\vskip10pt\noindent\underbar{\color{blue}\sc Solution({\bf #1})\ }} \newcommand{\Cex}{\fbox{\textcolor{red}{C}}\, } \newcommand{\CGex}{\fbox{\textcolor{red}{C/G}}\, } \newcommand{\Lex}{\fbox{\textcolor{red}{L}}\, } \newcommand{\matfunc}[3]{\left[\begin{array}{cccc}#1_{11}(t)_{12}(t)&\cdots _{1#3}(t)\\#1_{21}(t)_{22}(t)&\cdots_{2#3}(t)\\\vdots& \vdots&\ddots&\vdots\\#1_{#21}(t)_{#22}(t)&\cdots_{#2#3}(t) \end{array}\right]} \newcommand{\col}[2]{\left[\begin{array}{c}#1_1\\#1_2\\\vdots\\#1_#2\end{array}\right]} \newcommand{\colfunc}[2]{\left[\begin{array}{c}#1_1(t)\\#1_2(t)\\\vdots\\#1_#2(t)\end{array}\right]} \newcommand{\cthreebythree}[9]{\left[\begin{array}{ccc} #1\\#4\\#7 \end{array}\right]} 1 \ newcommand {\ dy} {\ ,\ mathrm {d}y} \ newcommand {\ dx} {\ ,\ mathrm {d}x} \ newcommand {\ dyx} {\ ,\ frac {\ mathrm {d}y}{\ mathrm {d}x}} \ newcommand {\ ds} {\ ,\ mathrm {d}s} \ newcommand {\ dt }{\ ,\ mathrm {d}t} \ newcommand {\dst} {\ ,\ frac {\ mathrm {d}s}{\ mathrm {d}t}} \)

    We now consider the nonhomogeneous linear system

    \[{\bf y}'= A(t){\bf y}+{\bf f}(t),\nonumber \]

    where \(A\) is an \(n\times n\) matrix function and \({\bf f}\) is an \(n\)-vector forcing function. Associated with this system is the complementary system \({\bf y}'=A(t){\bf y}\).

    The next theorem is analogous to Theorems 5.3.2 and 9.1.5. It shows how to find the general solution of \({\bf y}'=A(t){\bf y}+{\bf f}(t)\) if we know a particular solution of \({\bf y}'=A(t){\bf y}+{\bf f}(t)\) and a fundamental set of solutions of the complementary system. We leave the proof as an exercise (Exercise 10.7.21).

    Theorem 10.7.1

    Suppose the \(n\times n\) matrix function \(A\) and the \(n\)-vector function \({\bf f}\) are continuous on \((a,b).\) Let \({\bf y}_p\) be a particular solution of \({\bf y}'=A(t){\bf y}+{\bf f}(t)\) on \((a,b)\), and let \(\{{\bf y}_1,{\bf y}_2,\dots,{\bf y}_n\}\) be a fundamental set of solutions of the complementary equation \({\bf y}'=A(t){\bf y}\) on \((a,b)\). Then \({\bf y}\) is a solution of \({\bf y}'=A(t){\bf y}+{\bf f}(t)\) on \((a,b)\) if and only if

    \[{\bf y}={\bf y}_p+c_1{\bf y}_1+c_2{\bf y}_2+\cdots+c_n{\bf y}_n,\nonumber \]

    where \(c_1,\) \(c_2,\) …, \(c_n\) are constants.

    Finding a Particular Solution of a Nonhomogeneous System

    We now discuss an extension of the method of variation of parameters to linear nonhomogeneous systems. This method will produce a particular solution of a nonhomogenous system \({\bf y}'=A(t){\bf y}+{\bf f}(t)\) provided that we know a fundamental matrix for the complementary system. To derive the method, suppose \(Y\) is a fundamental matrix for the complementary system; that is,

    \[Y=\left[\begin{array}{cccc} y_{11}&y_{12}&\cdots&y_{1n} \\ y_{21}&y_{22}&\cdots&y_{2n}\\ \vdots&\vdots&\ddots&\vdots \\ y_{n1}&y_{n2}&\cdots&y_{nn} \\ \end{array} \right],\nonumber \]

    where

    \[{\bf y}_1=\left[\begin{array}{c}y_{11}\\y_{21}\\ \vdots\\ y_{n1}\end{array}\right],\quad {\bf y}_2=\left[\begin{array}{c}y_{12}\\y_{22}\\ \vdots\\ y_{n2}\end{array}\right],\quad \cdots,\quad {\bf y}_n=\left[\begin{array}{c}y_{1n}\\y_{2n}\\ \vdots\\ y_{nn}\end{array}\right]\nonumber \]

    is a fundamental set of solutions of the complementary system. In Section 10.3 we saw that \(Y'=A(t)Y\). We seek a particular solution of

    \[\label{eq:10.7.1} {\bf y}'=A(t){\bf y}+{\bf f}(t)\]

    of the form

    \[\label{eq:10.7.2} {\bf y}_p=Y{\bf u},\]

    where \({\bf u}\) is to be determined. Differentiating Equation \ref{eq:10.7.2} yields

    \[\begin{aligned} {\bf y}_p'&=Y' {\bf u}+Y {\bf u}' \\&=A Y {\bf u}+Y {\bf u}'\mbox{ (since $Y'=AY$)}\\&= A{\bf y}_p+Y {\bf u}'\mbox{ (since $Y{\bf u}={\bf y}_p$)}.\end{aligned}\nonumber \]

    Comparing this with Equation \ref{eq:10.7.1} shows that \({\bf y}_p=Y{\bf u}\) is a solution of Equation \ref{eq:10.7.1} if and only if

    \[Y{\bf u}'={\bf f}.\nonumber \]

    Thus, we can find a particular solution \({\bf y}_p\) by solving this equation for \({\bf u}'\), integrating to obtain \({\bf u}\), and computing \(Y{\bf u}\). We can take all constants of integration to be zero, since any particular solution will suffice.

    Exercise 10.7.22 sketches a proof that this method is analogous to the method of variation of parameters discussed in Sections 5.7 and 9.4 for scalar linear equations.

    Example 10.7.1
    1. Find a particular solution of the system \[\label{eq:10.7.3} {\bf y}'=\left[\begin{array}{cc}{1}&{2}\\{2}&{1}\end{array}\right]{\bf y}+\left[\begin{array}{c}2e^{4t}\\e^{4t} \end{array}\right],\] which we considered in Example 10.2.1.
    2. Find the general solution of Equation \ref{eq:10.7.3}.

    Solution a

    The complementary system is

    \[\label{eq:10.7.4} {\bf y}'=\left[\begin{array}{cc}{1}&{2}\\{2}&{1}\end{array}\right]{\bf y}.\]

    The characteristic polynomial of the coefficient matrix is

    \[\left|\begin{array}{cc}1-\lambda&2\\2&1-\lambda\end{array}\right|= (\lambda+1)(\lambda-3).\nonumber \]

    Using the method of Section 10.4, we find that

    \[{\bf y}_1=\left[\begin{array}{r}e^{3t}\\e^{3t}\end{array}\right] \quad \text{and} \quad {\bf y}_2=\left[\begin{array}{r}e^{-t}\\-e^{-t}\end{array}\right]\nonumber \]

    are linearly independent solutions of Equation \ref{eq:10.7.4}. Therefore

    \[Y=\left[\begin{array}{rr}e^{3t}&e^{-t}\\e^{3t}&-e^{-t}\end{array}\right]\nonumber \]

    is a fundamental matrix for Equation \ref{eq:10.7.4}. We seek a particular solution \({\bf y}_p=Y{\bf u}\) of Equation \ref{eq:10.7.3}, where \(Y{\bf u}'={\bf f}\); that is,

    \[\left[\begin{array}{rr}e^{3t}&e^{-t}\\e^{3t}&-e^{-t}\end{array}\right] \twocol{u_1'}{u_2'} =\left[\begin{array}{c}2e^{4t}\\e^{4t}\end{array}\right].\nonumber \]

    The determinant of \(Y\) is the Wronskian

    \[\left|\begin{array}{rr}e^{3t}&e^{-t}\\e^{3t}&-e^{-t}\end{array}\right| =-2e^{2t}.\nonumber \]

    By Cramer’s rule,

    \[\begin{array}{cccccccc}{u_{1}'}&{=}&{-\frac{1}{2e^{2t}}}&{ \left|\begin{array}{cc}{2e^{4}}&{e^{-t}}\\{e^{4t}}&{-e^{-t}}\end{array} \right| }&{=}&{\frac{3e^{3t}}{2e^{2t}}}&{=}&{\frac{3}{2}e^{t},}\\{u_{2}'}&{=}&{-\frac{1}{2e^{2t}}}&{\left|\begin{array}{cc}{e^{3t}}&{2e^{4t}}\\{e^{3t}}&{e^{4t}}\end{array} \right|}&{=}&{\frac{e^{7t}}{2e^{2t}}}&{=}&{\frac{1}{2}e^{5t}.}\end{array}\nonumber \]

    Therefore

    \[{\bf u}'={1\over2}\left[\begin{array}{c}3e^t\\e^{5t}\end{array}\right].\nonumber \]

    Integrating and taking the constants of integration to be zero yields

    \[{\bf u}={1\over10}\left[\begin{array}{c}15e^t\\e^{5t}\end{array}\right],\nonumber \]

    so

    \[{\bf y}_{p}=Y{\bf u}=\frac{1}{10}\left[\begin{array}{cc}{e^{3t}}&{e^{-t}}\\{e^{3t}}&{-e^{-t}}\end{array}\right]\left[\begin{array}{c}{15e^{t}}\\{e^{5t}}\end{array}\right]=\frac{1}{5}\left[\begin{array}{c}{8e^{4t}}\\{7e^{4t}}\end{array}\right]\nonumber\]

    is a particular solution of Equation \ref{eq:10.7.3}.

    Solution b

    From Theorem 10.7.1 , the general solution of Equation \ref{eq:10.7.3} is

    \[\label{eq:10.7.5} {\bf y}={\bf y}_p+c_1{\bf y}_1+c_2{\bf y}_2= {1\over5}\left[\begin{array}{c}8e^{4t}\\7e^{4t}\end{array}\right] +c_1\left[\begin{array}{r}e^{3t}\\e^{3t}\end{array}\right] +c_2\left[\begin{array}{r}e^{-t}\\-e^{-t}\end{array}\right],\]

    which can also be written as

    \[{\bf y}= {1\over5}\left[\begin{array}{c}8e^{4t}\\7e^{4t}\end{array}\right] +\left[\begin{array}{rr}e^{3t}&e^{-t}\\e^{3t}&-e^{-t}\end{array}\right] {\bf c},\nonumber \]

    where \({\bf c}\) is an arbitrary constant vector.

    Writing Equation \ref{eq:10.7.5} in terms of coordinates yields

    \[\begin{aligned} y_1&={8\over5}e^{4t}+c_1e^{3t}+c_2e^{-t}\\ y_2&={7\over5}e^{4t}+c_1e^{3t}-c_2e^{-t},\end{aligned}\nonumber \]

    so our result is consistent with Example 10.2.1.

    If \(A\) isn’t a constant matrix, it is usually difficult to find a fundamental set of solutions for the system \({\bf y}'=A(t){\bf y}\). It is beyond the scope of this text to discuss methods for doing this. Therefore, in the following examples and in the exercises involving systems with variable coefficient matrices we’ll provide fundamental matrices for the complementary systems without explaining how they were obtained.

    Example 10.7.2

    Find a particular solution of

    \[\label{eq:10.7.6} {\bf y}'=\left[\begin{array}{cc}2&2e^{-2t}\\2e^{2t}&4\end{array}\right]{\bf y}+\twocol11,\]

    given that

    \[Y=\left[\begin{array}{cc} e^{4t}&-1\\e^{6t}&e^{2t}\end{array}\right]\nonumber \]

    is a fundamental matrix for the complementary system.

    Solution

    We seek a particular solution \({\bf y}_p=Y{\bf u}\) of Equation \ref{eq:10.7.6} where \(Y{\bf u}'={\bf f}\); that is,

    \[\left[\begin{array}{cc} e^{4t}&-1\\e^{6t}&e^{2t}\end{array}\right] \twocol{u_1'}{u_2'}=\twocol11.\nonumber \]

    The determinant of \(Y\) is the Wronskian

    \[\left|\begin{array}{cc} e^{4t}&-1\\e^{6t}&e^{2t}\end{array}\right|=2e^{6t}.\nonumber \]

    By Cramer’s rule,

    \[\begin{array}{cccccccc}{u_{1}'}&{=}&{\frac{1}{2e^{6t}}}&{\left|\begin{array}{cc}{1}&{-1}\\{1}&{e^{2t}}\end{array} \right|}&{=}&{\frac{e^{2t}+1}{2e^{6t}}}&{=}&{\frac{e^{-4t}+e^{-6t}}{2}}\\{u_{2}'}&{=}&{\frac{1}{2e^{6t}}}&{\left|\begin{array}{cc}{e^{4t}}&{1}\\{e^{6t}}&{1}\end{array} \right|}&{=}&{\frac{e^{4t}-e^{6t}}{2e^{6t}}}&{=}&{\frac{e^{-2t}-1}{2}}\end{array}\nonumber\]

    Therefore

    \[{\bf u}'={1\over2}\left[\begin{array}{c}e^{-4t}+e^{-6t}\\e^{-2t}-1\end{array}\right].\nonumber \]

    Integrating and taking the constants of integration to be zero yields

    \[{\bf u}=-{1\over24}\left[\begin{array}{c}3e^{-4t}+2e^{-6t}\\6e^{-2t}+12t \end{array}\right],\nonumber \]

    so

    \[{\bf y}_p=Y{\bf u}= -\displaystyle{1\over24}\left[\begin{array}{cc}e^{4t}&-1\\e^{6t}&e^{2t}\end{array}\right] \left[\begin{array}{c}3e^{-4t}+2e^{-6t}\\6e^{-2t}+12t\end{array}\right] =\displaystyle{1\over24}\left[\begin{array}{c}4e^{-2t}+12t-3\\-3e^{2t}(4t+1)-8\end{array}\right]\nonumber \]

    is a particular solution of Equation \ref{eq:10.7.6}.

    Example 10.7.3

    Find a particular solution of

    \[\label{eq:10.7.7} {\bf y}'=-{2\over t^2 }\left[\begin{array}{cc}t&-3t^2\\1&-2t\end{array}\right]{\bf y} +t^2\twocol11,\]

    given that

    \[Y=\left[\begin{array}{cc}2t&3t^2\\1&2t\end{array}\right]\nonumber \]

    is a fundamental matrix for the complementary system on \((-\infty,0)\) and \((0,\infty)\).

    Solution

    We seek a particular solution \({\bf y}_p=Y{\bf u}\) of Equation \ref{eq:10.7.7} where \(Y{\bf u}'={\bf f}\); that is,

    \[\left[\begin{array}{cc}2t&3t^2\\1&2t\end{array}\right]\twocol{u_1'}{u_2'} =\twocol{t^2}{t^2}.\nonumber \]

    The determinant of \(Y\) is the Wronskian

    \[\left|\begin{array}{cc}2t&3t^2\\1&2t\end{array}\right|=t^2.\nonumber \]

    By Cramer’s rule,

    \[\begin{array}{cccccccc}{u_{1}'}&{=}&{\frac{1}{t^{2}}}&{\left|\begin{array}{cc}{t^{2}}&{3t^{2}}\\{t^{2}}&{2t}\end{array} \right|}&{=}&{\frac{2t^{3}-3t^{4}}{t^{2}}}&{=}&{2t-3t^{2},}\\{u_{2}'}&{=}&{\frac{1}{t^{2}}}&{\left|\begin{array}{cc}{2t}&{t^{2}}\\{1}&{t^{2}}\end{array} \right|}&{=}&{\frac{2t^{3}-t^{2}}{t^{2}}}&{=}&{2t-1.}\end{array}\nonumber \]

    Therefore

    \[{\bf u}'=\left[\begin{array}{c}2t-3t^2\\2t-1\end{array}\right].\nonumber \]

    Integrating and taking the constants of integration to be zero yields

    \[{\bf u}=\left[\begin{array}{c}t^2-t^3\\t^2-t \end{array}\right],\nonumber \]

    so

    \[{\bf y}_p=Y{\bf u}= \left[\begin{array}{cc}2t&3t^2\\1&2t\end{array}\right] \left[\begin{array}{c}t^2-t^3\\t^2-t\end{array}\right] =\left[\begin{array}{c}t^3(t-1)\\t^2(t-1)\end{array}\right]\nonumber \]

    is a particular solution of Equation \ref{eq:10.7.7}.

    Example 10.7.4
    1. Find a particular solution of \[\label{eq:10.7.8} {\bf y}'=\left[\begin{array}{ccc}{2}&{-1}&{-1}\\{1}&{0}&{-1}\\{1}&{-1}&{0}\end{array} \right]{\bf y}+\left[\begin{array}{c}e^{t}\\0\\e^{-t} \end{array}\right].\]
    2. Find the general solution of Equation \ref{eq:10.7.8}.

    Solution a

    The complementary system for Equation \ref{eq:10.7.8} is

    \[\label{eq:10.7.9} {\bf y}'=\left[\begin{array}{ccc}{2}&{-1}&{-1}\\{1}&{0}&{-1}\\{1}&{-1}&{0}\end{array} \right]{\bf y}.\]

    The characteristic polynomial of the coefficient matrix is

    \[\left|\begin{array}{ccc}2-\lambda&-1&-1\\1&-\lambda&-1\\1&-1&-\lambda \end{array}\right|= -\lambda(\lambda-1)^2.\nonumber \]

    Using the method of Section 10.4, we find that

    \[{\bf y}_1=\left[\begin{array}{c}1\\1\\1\end{array}\right],\quad {\bf y}_2=\left[\begin{array}{c}e^t\\e^t\\0\end{array}\right], \quad \text{and} \quad {\bf y}_3=\left[\begin{array}{c}e^t\\0\\e^t\end{array}\right]\nonumber \]

    are linearly independent solutions of Equation \ref{eq:10.7.9}. Therefore

    \[Y=\left[\begin{array}{ccc}1&e^t&e^t\\1&e^t&0\\1&0&e^t\end{array}\right]\nonumber \]

    is a fundamental matrix for Equation \ref{eq:10.7.9}. We seek a particular solution \({\bf y}_p=Y{\bf u}\) of Equation \ref{eq:10.7.8}, where \(Y{\bf u}'={\bf f}\); that is,

    \[\left[\begin{array}{ccc}1&e^t&e^t\\1&e^t&0\\1&0&e^t\end{array}\right] \threecol{u_1'}{u_2'}{u_3'}= \left[\begin{array}{c}e^t\\0\\e^{-t}\end{array}\right].\nonumber \]

    The determinant of \(Y\) is the Wronskian

    \[\left|\begin{array}{ccc}1&e^t&e^t\\1&e^t&0\\1&0&e^t\end{array}\right| =-e^{2t}.\nonumber \]

    Thus, by Cramer’s rule,

    \[\begin{array}{cccccccc}{u_{1}'}&{=}&{-\frac{1}{e^{2t}}}&{\left|\begin{array}{ccc}{e^{t}}&{e^{t}}&{e^{t}}\\{0}&{e^{t}}&{0}\\{e^{-t}}&{0}&{e^{t}}\end{array} \right|}&{=}&{-\frac{e^{3t}-e^{t}}{e^{2t}}}&{=}&{e^{-t}-e^{t}}\\{u_{2}'}&{=}&{-\frac{1}{e^{2t}}}&{\left|\begin{array}{ccc}{1}&{e^{t}}&{e^{t}}\\{1}&{0}&{0}\\{1}&{e^{-t}}&{e^{t}}\end{array} \right|}&{=}&{-\frac{1-e^{2t}}{e^{2t}}}&{=}&{1-e^{-2t}}\\{u_{3}'}&{=}&{-\frac{1}{e^{2t}}}&{\left|\begin{array}{ccc}{1}&{e^{t}}&{e^{t}}\\{1}&{e^{t}}&{0}\\{1}&{0}&{e^{-t}}\end{array} \right|}&{=}&{\frac{e^{2t}}{e^{2t}}}&{=}&{1}\end{array}\nonumber \]

    Therefore

    \[{\bf u}'=\left[\begin{array}{c}e^{-t}-e^t\\1-e^{-2t}\\1\end{array}\right].\nonumber \]

    Integrating and taking the constants of integration to be zero yields

    \[{\bf u}=\left[\begin{array}{c}{-e^{t}-e^{-t}}\\{\frac{e^{-2t}}{2}+t}\\{t}\end{array} \right]\nonumber\]

    so

    \[{\bf y}_{p}=Y{\bf u} = \left[\begin{array}{ccc}{1}&{e^{t}}&{e^{t}}\\{1}&{e^{t}}&{0}\\{1}&{0}&{e^{t}}\end{array} \right]\: \left[\begin{array}{c}{-e^{t}-e^{-t}}\\{\frac{e^{-2t}}{2}+t}\\{t}\end{array} \right]=\left[\begin{array}{c}{e^{t}(2t-1)-\frac{e^{-t}}{2}}\\{e^{t}(t-1)-\frac{e^{-t}}{2}}\\{e^{t}(t-1)-e^{-t}}\end{array} \right]\nonumber \]

    is a particular solution of Equation \ref{eq:10.7.8}.

    Solution b

    From Theorem 10.7.1 the general solution of Equation \ref{eq:10.7.8} is

    \[{\bf y}={\bf y}_{p}+c_{1}{\bf y}_{1}+c_{2}{\bf y}_{2}+c_{3}{\bf y}_{3}= \left[\begin{array}{c}{e^{t}(2t-1)-\frac{e^{-t}}{2}}\\{e^{t}(t-1)-\frac{e^{-t}}{2}}\\{e^{t}(t-1)-e^{-t}}\end{array} \right]+c_{1}\left[\begin{array}{c}{1}\\{1}\\{1}\end{array} \right]+c_{2}\left[\begin{array}{c}{e^{t}}\\{e^{t}}\\{0}\end{array} \right]+c_{3}\left[\begin{array}{c}{e^{t}}\\{0}\\{e^{t}}\end{array} \right]\nonumber\]

    which can be written as

    \[{\bf y}={\bf y}_{p}+Y{\bf c}=\left[\begin{array}{c}{e^{t}(2t-1)-\frac{e^{-t}}{2}}\\{e^{t}(t-1)-\frac{e^{-t}}{2}}\\{e^{t}(t-1)-e^{-t}}\end{array} \right]+\left[\begin{array}{ccc}{1}&{e^{t}}&{e^{t}}\\{1}&{e^{t}}&{0}\\{1}&{0}&{e^{t}}\end{array} \right]{\bf y}\nonumber \]

    where \({\bf c}\) is an arbitrary constant vector.

    Example 10.7.5

    Find a particular solution of \[\label{eq:10.7.10} {\bf y}'={1\over2} \left[\begin{array}{ccc}3&e^{-t}&-e^{2t}\\0&6&0\\-e^{-2t}&e^{-3t}&-1\end{array}\right] {\bf y}+\left[\begin{array}{c}1\\e^t\\e^{-t}\end{array}\right],\]

    given that

    \[Y=\left[\begin{array}{ccc}e^t&0&e^{2t}\\0&e^{3t}&e^{3t}\\e^{-t}&1&0 \end{array}\right]\nonumber \]

    is a fundamental matrix for the complementary system.

    We seek a particular solution of Equation \ref{eq:10.7.10} in the form \({\bf y}_p=Y{\bf u}\), where \(Y{\bf u}'={\bf f}\); that is,

    \[\left[\begin{array}{ccc}e^t&0&e^{2t}\\0&e^{3t}&e^{3t}\\e^{-t}&1&0 \end{array}\right]\threecol{u_1'}{u_2'}{u_3'}= \left[\begin{array}{c}1\\e^t\\e^{-t}\end{array}\right].\nonumber \]

    The determinant of \(Y\) is the Wronskian

    \[\left|\begin{array}{ccc}e^t&0&e^{2t}\\0&e^{3t}&e^{3t}\\e^{-t}&1&0 \end{array}\right|=-2e^{4t}.\nonumber \]

    By Cramer’s rule,

    \[\begin{array}{cccccccc}{u_{1}'}&{=}&{-\frac{1}{2e^{4t}}}&{\left|\begin{array}{ccc}{1}&{0}&{e^{2t}}\\{e^{t}}&{e^{3t}}&{e^{3t}}\\{e^{-t}}&{1}&{0}\end{array} \right|}&{=}&{\frac{e^{4t}}{2e^{4t}}}&{=}&{\frac{1}{2}}\\{u_{2}'}&{=}&{-\frac{1}{2e^{4t}}}&{\left|\begin{array}{ccc}{e^{t}}&{1}&{e^{2t}}\\{0}&{e^{t}}&{e^{3t}}\\{e^{-t}}&{e^{-t}}&{0}\end{array} \right|}&{=}&{\frac{e^{3t}}{2e^{4t}}}&{=}&{\frac{1}{2}e^{-t}}\\{u_{3}'}&{=}&{-\frac{1}{2e^{4t}}}&{\left|\begin{array}{ccc}{e^{t}}&{0}&{1}\\{0}&{e^{3t}}&{e^{t}}\\{e^{-t}}&{1}&{e^{-t}}\end{array} \right|}&{=}&{-\frac{e^{3t}-2e^{2t}}{2e^{4t}}}&{=}&{\frac{2e^{-2t}-e^{-t}}{2}}\end{array}\nonumber \]

    Therefore

    \[{\bf u}'={1\over2}\left[\begin{array}{c}1\\e^{-t}\\2e^{-2t}-e^{-t}\end{array}\right].\nonumber \]

    Integrating and taking the constants of integration to be zero yields

    \[{\bf u}={1\over2}\left[\begin{array}{c}t\\-e^{-t}\\e^{-t}-e^{-2t} \end{array}\right],\nonumber \]

    so

    \[{\bf y}_{p}=Y{\bf u}=\frac{1}{2}\left[\begin{array}{ccc}{e^{t}}&{0}&{e^{2t}}\\{0}&{e^{3t}}&{e^{3t}}\\{e^{-t}}&{1}&{0}\end{array} \right] \left[\begin{array}{c}{t}\\{-e^{-t}}\\{e^{-t}-e^{-2t}}\end{array} \right]=\frac{1}{2}\left[\begin{array}{c}{e^{t}(t+1)-1}\\{-e^{t}}\\{e^{-t}(t-1)}\end{array} \right]\nonumber\]

    is a particular solution of Equation \ref{eq:10.7.10}.


    This page titled 10.7: Variation of Parameters for Nonhomogeneous Linear Systems is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by William F. Trench via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.