Paul's Online Notes
Paul's Online Notes
Home / Differential Equations / Systems of DE's / Nonhomogeneous Systems
Show Mobile Notice Show All Notes Hide All Notes
Mobile Notice
You appear to be on a device with a "narrow" screen width (i.e. you are probably on a mobile phone). Due to the nature of the mathematics on this site it is best views in landscape mode. If your device is not in landscape mode many of the equations will run off the side of your device (should be able to scroll to see them) and some of the menu items will be cut off due to the narrow screen width.

Section 5.10 : Nonhomogeneous Systems

We now need to address nonhomogeneous systems briefly. Both of the methods that we looked at back in the second order differential equations chapter can also be used here. As we will see Undetermined Coefficients is almost identical when used on systems while Variation of Parameters will need to have a new formula derived, but will actually be slightly easier when applied to systems.

Undetermined Coefficients

The method of Undetermined Coefficients for systems is pretty much identical to the second order differential equation case. The only difference is that the coefficients will need to be vectors now.

Let’s take a quick look at an example.

Example 1 Find the general solution to the following system. \[\vec x' = \left( {\begin{array}{*{20}{c}}1&2\\3&2\end{array}} \right)\vec x + t\left( {\begin{array}{*{20}{c}}2\\{ - 4}\end{array}} \right)\]
Show Solution

We already have the complementary solution as we solved that part back in the real eigenvalue section. It is,

\[{\vec x_c}\left( t \right) = {c_1}{{\bf{e}}^{ - t}}\left( {\begin{array}{*{20}{c}}{ - 1}\\1\end{array}} \right) + {c_2}{{\bf{e}}^{4t}}\left( {\begin{array}{*{20}{c}}2\\3\end{array}} \right)\]

Guessing the form of the particular solution will work in exactly the same way it did back when we first looked at this method. We have a linear polynomial and so our guess will need to be a linear polynomial. The only difference is that the “coefficients” will need to be vectors instead of constants. The particular solution will have the form,

\[{\vec x_P} = t\vec a + \vec b = t\left( {\begin{array}{*{20}{c}}{{a_1}}\\{{a_2}}\end{array}} \right) + \left( {\begin{array}{*{20}{c}}{{b_1}}\\{{b_2}}\end{array}} \right)\]

So, we need to differentiate the guess

\[{\vec x'_P} = \vec a = \left( {\begin{array}{*{20}{c}}{{a_1}}\\{{a_2}}\end{array}} \right)\]

Before plugging into the system let’s simplify the notation a little to help with our work. We’ll write the system as,

\[\vec x' = \left( {\begin{array}{*{20}{c}}1&2\\3&2\end{array}} \right)\vec x + t\left( {\begin{array}{*{20}{c}}2\\{ - 4}\end{array}} \right) = A\vec x + t\vec g\]

This will make the following work a little easier. Now, let’s plug things into the system.

\[\begin{align*}\vec a& = A\left( {t\vec a + \vec b} \right) + t\vec g\\ \vec a & = tA\vec a + A\vec b + t\vec g\\ \vec 0 & = t\left( {A\vec a + \vec g} \right) + \left( {A\vec b - \vec a} \right)\end{align*}\]

Now we need to set the coefficients equal. Doing this gives,

\[\begin{align*}& {t^1}: & A\vec a + \vec g & = \vec 0 & \hspace{0.25in}A\vec a & = - \vec g\\ & {t^0}: & A\vec b - \vec a & = \vec 0 & \hspace{0.25in}A\vec b & = \vec a\end{align*}\]

Now only \(\vec a\) is unknown in the first equation so we can use Gaussian elimination to solve the system. We’ll leave this work to you to check.

\[\left( {\begin{array}{*{20}{c}}1&2\\3&2\end{array}} \right)\left( {\begin{array}{*{20}{c}}{{a_1}}\\{{a_2}}\end{array}} \right) = - \left( {\begin{array}{*{20}{c}}2\\{ - 4}\end{array}} \right)\hspace{0.25in} \Rightarrow \hspace{0.25in}\vec a = \left( {\begin{array}{*{20}{c}}3\\{ - \frac{5}{2}}\end{array}} \right)\]

Now that we know \(\vec a\) we can solve the second equation for \(\vec b\).

\[\left( {\begin{array}{*{20}{c}}1&2\\3&2\end{array}} \right)\left( {\begin{array}{*{20}{c}}{{b_1}}\\{{b_2}}\end{array}} \right) = \left( {\begin{array}{*{20}{c}}3\\{ - \frac{5}{2}}\end{array}} \right)\hspace{0.25in} \Rightarrow \hspace{0.25in}\vec b = \left( {\begin{array}{*{20}{c}}{ - \frac{{11}}{4}}\\{\frac{{23}}{8}}\end{array}} \right)\]

So, since we were able to solve both equations, the particular solution is then,

\[{\vec x_P} = t\left( {\begin{array}{*{20}{c}}3\\{ - \frac{5}{2}}\end{array}} \right) + \left( {\begin{array}{*{20}{c}}{ - \frac{{11}}{4}}\\{\frac{{23}}{8}}\end{array}} \right)\]

The general solution is then,

\[\vec x\left( t \right) = {c_1}{{\bf{e}}^{ - t}}\left( {\begin{array}{*{20}{c}}{ - 1}\\1\end{array}} \right) + {c_2}{{\bf{e}}^{4t}}\left( {\begin{array}{*{20}{c}}2\\3\end{array}} \right) + t\left( {\begin{array}{*{20}{c}}3\\{ - \frac{5}{2}}\end{array}} \right) + \left( {\begin{array}{*{20}{c}}{ - \frac{{11}}{4}}\\{\frac{{23}}{8}}\end{array}} \right)\]

So, as you can see undetermined coefficients is nearly the same as the first time we saw it. The work in solving for the “constants” is a little messier however.

Variation of Parameters

In this case we will need to derive a new formula for variation of parameters for systems. The derivation this time will be much simpler than the when we first saw variation of parameters.

First let \(X(t)\) be a matrix whose \(i^{\text{th}}\) column is the \(i^{\text{th}}\) linearly independent solution to the system,

\[\vec x' = A\vec x\]

Now it can be shown that \(X(t)\) will be a solution to the following differential equation.

\[\begin{equation}X' = AX\label{eq:eq1}\end{equation}\]

This is nothing more than the original system with the matrix in place of the original vector.

We are going to try and find a particular solution to

\[\vec x' = A\vec x + \vec g\left( t \right)\]

We will assume that we can find a solution of the form,

\[{\vec x_P} = X\left( t \right)\,\vec v\left( t \right)\]

where we will need to determine the vector \(\vec v\left( t \right)\). To do this we will need to plug this into the nonhomogeneous system. Don’t forget to product rule the particular solution when plugging the guess into the system.

\[X'\,\vec v + X\,\vec v' = A\,X\,\vec v + \vec g\]

Note that we dropped the \(\left( t \right)\) part of things to simplify the notation a little. Now using \(\eqref{eq:eq1}\) we can rewrite this a little.

\[\begin{align*}X'\,\vec v + X\,\vec v' & = X'\,\vec v + \vec g\\ X\,\vec v' & = \vec g\end{align*}\]

Because we formed \(X\) using linearly independent solutions we know that \(\det(X)\) must be nonzero and this in turn means that we can find the inverse of \(X\). So, multiply both sides by the inverse of \(X\).

\[\,\vec v' = {X^{ - 1}}\vec g\]

Now all that we need to do is integrate both sides to get \(\vec v\left( t \right)\).

\[\,\vec v\left( t \right) = \int{{{X^{ - 1}}\vec g\,dt}}\]

As with the second order differential equation case we can ignore any constants of integration. The particular solution is then,

\[\begin{equation}{\vec x_P} = \,X\int{{{X^{ - 1}}\vec g\,dt}}\label{eq:eq2}\end{equation}\]

Let’s work a quick example using this.

Example 2 Find the general solution to the following system.

\[\vec x' = \left( {\begin{array}{*{20}{c}}{ - 5}&1\\4&{ - 2}\end{array}} \right)\vec x + {{\bf{e}}^{2t}}\left( {\begin{array}{*{20}{c}}6\\{ - 1}\end{array}} \right)\]
Show Solution

We found the complementary solution to this system in the real eigenvalue section. It is,

\[{\vec x_c}\left( t \right) = {c_1}{{\bf{e}}^{ - t}}\left( {\begin{array}{*{20}{c}}1\\4\end{array}} \right) + {c_2}{{\bf{e}}^{ - 6t}}\left( {\begin{array}{*{20}{c}}{ - 1}\\1\end{array}} \right)\]

Now the matrix \(X\) is,

\[X = \left( {\begin{array}{*{20}{c}}{{{\bf{e}}^{ - t}}}&{ - {{\bf{e}}^{ - 6t}}}\\{4{{\bf{e}}^{ - t}}}&{{{\bf{e}}^{ - 6t}}}\end{array}} \right)\]

Now, we need to find the inverse of this matrix. We saw how to find inverses of matrices back in the second linear algebra review section and the process is the same here even though we don’t have constant entries. We’ll leave the detail to you to check.

\[{X^{ - 1}} = \left( {\begin{array}{*{20}{c}}{\frac{1}{5}{{\bf{e}}^t}}&{\frac{1}{5}{{\bf{e}}^t}}\\{ - \frac{4}{5}{{\bf{e}}^{6t}}}&{\frac{1}{5}{{\bf{e}}^{6t}}}\end{array}} \right)\]

Now do the multiplication in the integral.

\[{X^{ - 1}}\vec g = \left( {\begin{array}{*{20}{c}}{\frac{1}{5}{{\bf{e}}^t}}&{\frac{1}{5}{{\bf{e}}^t}}\\{ - \frac{4}{5}{{\bf{e}}^{6t}}}&{\frac{1}{5}{{\bf{e}}^{6t}}}\end{array}} \right)\left( {\begin{array}{*{20}{c}}{6{{\bf{e}}^{2t}}}\\{ - {{\bf{e}}^{2t}}}\end{array}} \right) = \left( {\begin{array}{*{20}{c}}{{{\bf{e}}^{3t}}}\\{ - 5{{\bf{e}}^{8t}}}\end{array}} \right)\]

Now do the integral.

\[\int{{{X^{ - 1}}\vec g\,dt}} = \int{{\left( {\begin{array}{*{20}{c}}{{{\bf{e}}^{3t}}}\\{ - 5{{\bf{e}}^{8t}}}\end{array}} \right)\,dt}} = \left( {\begin{array}{*{20}{c}}{\int{{{{\bf{e}}^{3t}}\,dt}}}\\{\int{{ - 5{{\bf{e}}^{8t}}\,dt}}}\end{array}} \right) = \left( {\begin{array}{*{20}{c}}{\frac{1}{3}{{\bf{e}}^{3t}}}\\{ - \frac{5}{8}{{\bf{e}}^{8t}}}\end{array}} \right)\]

Remember that to integrate a matrix or vector you just integrate the individual entries.

We can now get the particular solution.

\[\begin{align*}{{\vec x}_P} & = \,X\int{{{X^{ - 1}}\vec g\,dt}}\\ & = \left( {\begin{array}{*{20}{c}}{{{\bf{e}}^{ - t}}}&{ - {{\bf{e}}^{ - 6t}}}\\{4{{\bf{e}}^{ - t}}}&{{{\bf{e}}^{ - 6t}}}\end{array}} \right)\left( {\begin{array}{*{20}{c}}{\frac{1}{3}{{\bf{e}}^{3t}}}\\{ - \frac{5}{8}{{\bf{e}}^{8t}}}\end{array}} \right)\\ & = \left( {\begin{array}{*{20}{c}}{\frac{{23}}{{24}}{{\bf{e}}^{2t}}}\\{\frac{{17}}{{24}}{{\bf{e}}^{2t}}}\end{array}} \right)\\ & = {{\bf{e}}^{2t}}\left( {\begin{array}{*{20}{c}}{\frac{{23}}{{24}}}\\{\frac{{17}}{{24}}}\end{array}} \right)\end{align*}\]

The general solution is then,

\[\vec x\left( t \right) = {c_1}{{\bf{e}}^{ - t}}\left( {\begin{array}{*{20}{c}}1\\4\end{array}} \right) + {c_2}{{\bf{e}}^{ - 6t}}\left( {\begin{array}{*{20}{c}}{ - 1}\\1\end{array}} \right) + {{\bf{e}}^{2t}}\left( {\begin{array}{*{20}{c}}{\frac{{23}}{{24}}}\\{\frac{{17}}{{24}}}\end{array}} \right)\]

So, some of the work can be a little messy, but overall not too bad.

We looked at two methods of solving nonhomogeneous differential equations here and while the work can be a little messy they aren’t too bad. Of course, we also kept the nonhomogeneous part fairly simple here. More complicated problems will have significant amounts of work involved.