1.71 problem 71

Internal problem ID [7763]
Book : Own collection of miscellaneous problems
Section : section 1.0
Problem number : 71
Date solved : Monday, October 21, 2024 at 04:16:10 PM
CAS classification : system_of_ODEs

\begin{align*} \frac {d}{d t}x \left (t \right )&=9 x \left (t \right )+4 y \left (t \right )\\ \frac {d}{d t}y \left (t \right )&=-6 x \left (t \right )-y \left (t \right )\\ \frac {d}{d t}z \left (t \right )&=6 x \left (t \right )+4 y \left (t \right )+3 z \left (t \right ) \end{align*}

1.71.1 Solution using Matrix exponential method

In this method, we will assume we have found the matrix exponential \(e^{A t}\) allready. There are different methods to determine this but will not be shown here. This is a system of linear ODE’s given as

\begin{align*} \vec {x}'(t) &= A\, \vec {x}(t) \end{align*}

Or

\begin{align*} \left [\begin {array}{c} \frac {d}{d t}x \left (t \right ) \\ \frac {d}{d t}y \left (t \right ) \\ \frac {d}{d t}z \left (t \right ) \end {array}\right ] &= \left [\begin {array}{ccc} 9 & 4 & 0 \\ -6 & -1 & 0 \\ 6 & 4 & 3 \end {array}\right ]\, \left [\begin {array}{c} x \left (t \right ) \\ y \left (t \right ) \\ z \left (t \right ) \end {array}\right ] \end{align*}

For the above matrix \(A\), the matrix exponential can be found to be

\begin{align*} e^{A t} &= \left [\begin {array}{ccc} -2 \,{\mathrm e}^{3 t}+3 \,{\mathrm e}^{5 t} & -2 \,{\mathrm e}^{3 t}+2 \,{\mathrm e}^{5 t} & 0 \\ -3 \,{\mathrm e}^{5 t}+3 \,{\mathrm e}^{3 t} & 3 \,{\mathrm e}^{3 t}-2 \,{\mathrm e}^{5 t} & 0 \\ 3 \,{\mathrm e}^{5 t}-3 \,{\mathrm e}^{3 t} & -2 \,{\mathrm e}^{3 t}+2 \,{\mathrm e}^{5 t} & {\mathrm e}^{3 t} \end {array}\right ] \end{align*}

Therefore the homogeneous solution is

\begin{align*} \vec {x}_h(t) &= e^{A t} \vec {c} \\ &= \left [\begin {array}{ccc} -2 \,{\mathrm e}^{3 t}+3 \,{\mathrm e}^{5 t} & -2 \,{\mathrm e}^{3 t}+2 \,{\mathrm e}^{5 t} & 0 \\ -3 \,{\mathrm e}^{5 t}+3 \,{\mathrm e}^{3 t} & 3 \,{\mathrm e}^{3 t}-2 \,{\mathrm e}^{5 t} & 0 \\ 3 \,{\mathrm e}^{5 t}-3 \,{\mathrm e}^{3 t} & -2 \,{\mathrm e}^{3 t}+2 \,{\mathrm e}^{5 t} & {\mathrm e}^{3 t} \end {array}\right ] \left [\begin {array}{c} c_{1} \\ c_{2} \\ c_{3} \end {array}\right ] \\ &= \left [\begin {array}{c} \left (-2 \,{\mathrm e}^{3 t}+3 \,{\mathrm e}^{5 t}\right ) c_{1}+\left (-2 \,{\mathrm e}^{3 t}+2 \,{\mathrm e}^{5 t}\right ) c_{2} \\ \left (-3 \,{\mathrm e}^{5 t}+3 \,{\mathrm e}^{3 t}\right ) c_{1}+\left (3 \,{\mathrm e}^{3 t}-2 \,{\mathrm e}^{5 t}\right ) c_{2} \\ \left (3 \,{\mathrm e}^{5 t}-3 \,{\mathrm e}^{3 t}\right ) c_{1}+\left (-2 \,{\mathrm e}^{3 t}+2 \,{\mathrm e}^{5 t}\right ) c_{2}+{\mathrm e}^{3 t} c_{3} \end {array}\right ]\\ &= \left [\begin {array}{c} \left (-2 c_{1}-2 c_{2}\right ) {\mathrm e}^{3 t}+3 \,{\mathrm e}^{5 t} \left (c_{1}+\frac {2 c_{2}}{3}\right ) \\ \left (3 c_{1}+3 c_{2}\right ) {\mathrm e}^{3 t}-3 \,{\mathrm e}^{5 t} \left (c_{1}+\frac {2 c_{2}}{3}\right ) \\ \left (-3 c_{1}-2 c_{2}+c_{3}\right ) {\mathrm e}^{3 t}+3 \,{\mathrm e}^{5 t} \left (c_{1}+\frac {2 c_{2}}{3}\right ) \end {array}\right ] \end{align*}

Since no forcing function is given, then the final solution is \(\vec {x}_h(t)\) above.

1.71.2 Solution using explicit Eigenvalue and Eigenvector method

This is a system of linear ODE’s given as

\begin{align*} \vec {x}'(t) &= A\, \vec {x}(t) \end{align*}

Or

\begin{align*} \left [\begin {array}{c} \frac {d}{d t}x \left (t \right ) \\ \frac {d}{d t}y \left (t \right ) \\ \frac {d}{d t}z \left (t \right ) \end {array}\right ] &= \left [\begin {array}{ccc} 9 & 4 & 0 \\ -6 & -1 & 0 \\ 6 & 4 & 3 \end {array}\right ]\, \left [\begin {array}{c} x \left (t \right ) \\ y \left (t \right ) \\ z \left (t \right ) \end {array}\right ] \end{align*}

The first step is find the homogeneous solution. We start by finding the eigenvalues of \(A\). This is done by solving the following equation for the eigenvalues \(\lambda \)

\begin{align*} \operatorname {det} \left ( A- \lambda I \right ) &= 0 \end{align*}

Expanding gives

\begin{align*} \operatorname {det} \left (\left [\begin {array}{ccc} 9 & 4 & 0 \\ -6 & -1 & 0 \\ 6 & 4 & 3 \end {array}\right ]-\lambda \left [\begin {array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end {array}\right ]\right ) &= 0 \end{align*}

Therefore

\begin{align*} \operatorname {det} \left (\left [\begin {array}{ccc} 9-\lambda & 4 & 0 \\ -6 & -1-\lambda & 0 \\ 6 & 4 & 3-\lambda \end {array}\right ]\right ) &= 0 \end{align*}

Which gives the characteristic equation

\begin{align*} \lambda ^{3}-11 \lambda ^{2}+39 \lambda -45&=0 \end{align*}

The roots of the above are the eigenvalues.

\begin{align*} \lambda _1 &= 3\\ \lambda _2 &= 5 \end{align*}

This table summarises the above result

eigenvalue	algebraic multiplicity	type of eigenvalue
\(3\)	\(1\)	real eigenvalue
\(5\)	\(1\)	real eigenvalue

Now the eigenvector for each eigenvalue are found.

Considering the eigenvalue \(\lambda _{1} = 3\)

We need to solve \(A \vec {v} = \lambda \vec {v}\) or \((A-\lambda I) \vec {v} = \vec {0}\) which becomes

\begin{align*} \left (\left [\begin {array}{ccc} 9 & 4 & 0 \\ -6 & -1 & 0 \\ 6 & 4 & 3 \end {array}\right ] - \left (3\right ) \left [\begin {array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end {array}\right ]\right ) \left [\begin {array}{c} v_{1} \\ v_{2} \\ v_{3} \end {array}\right ]&=\left [\begin {array}{c} 0 \\ 0 \\ 0 \end {array}\right ]\\ \left [\begin {array}{ccc} 6 & 4 & 0 \\ -6 & -4 & 0 \\ 6 & 4 & 0 \end {array}\right ] \left [\begin {array}{c} v_{1} \\ v_{2} \\ v_{3} \end {array}\right ]&=\left [\begin {array}{c} 0 \\ 0 \\ 0 \end {array}\right ] \end{align*}

Now forward elimination is applied to solve for the eigenvector \(\vec {v}\). The augmented matrix is

\[ \left [\begin {array}{@{}ccc!{\ifdefined \HCode |\else \color {red}\vline width 0.6pt\fi }c@{}} 6&4&0&0\\ -6&-4&0&0\\ 6&4&0&0 \end {array} \right ] \]

\begin{align*} R_{2} = R_{2}+R_{1} &\Longrightarrow \hspace {5pt}\left [\begin {array}{@{}ccc!{\ifdefined \HCode |\else \color {red}\vline width 0.6pt\fi }c@{}} 6&4&0&0\\ 0&0&0&0\\ 6&4&0&0 \end {array} \right ] \end{align*}

\begin{align*} R_{3} = R_{3}-R_{1} &\Longrightarrow \hspace {5pt}\left [\begin {array}{@{}ccc!{\ifdefined \HCode |\else \color {red}\vline width 0.6pt\fi }c@{}} 6&4&0&0\\ 0&0&0&0\\ 0&0&0&0 \end {array} \right ] \end{align*}

Therefore the system in Echelon form is

\[ \left [\begin {array}{ccc} 6 & 4 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end {array}\right ] \left [\begin {array}{c} v_{1} \\ v_{2} \\ v_{3} \end {array}\right ] = \left [\begin {array}{c} 0 \\ 0 \\ 0 \end {array}\right ] \]

The free variables are \(\{v_{2}, v_{3}\}\) and the leading variables are \(\{v_{1}\}\). Let \(v_{2} = t\). Let \(v_{3} = s\). Now we start back substitution. Solving the above equation for the leading variables in terms of free variables gives equation \(\left \{v_{1} = -\frac {2 t}{3}\right \}\)

Hence the solution is

\[ \left [\begin {array}{c} v_{1} \\ t \\ s \end {array}\right ] = \left [\begin {array}{c} -\frac {2 t}{3} \\ t \\ s \end {array}\right ] \]

Since there are two free Variable, we have found two eigenvectors associated with this eigenvalue. The above can be written as

\begin{align*} \left [\begin {array}{c} v_{1} \\ t \\ s \end {array}\right ] &= \left [\begin {array}{c} -\frac {2 t}{3} \\ t \\ 0 \end {array}\right ] + \left [\begin {array}{c} 0 \\ 0 \\ s \end {array}\right ]\\ &= t \left [\begin {array}{c} -\frac {2}{3} \\ 1 \\ 0 \end {array}\right ] + s \left [\begin {array}{c} 0 \\ 0 \\ 1 \end {array}\right ] \end{align*}

By letting \(t = 1\) and \(s = 1\) then the above becomes

\[ \left [\begin {array}{c} v_{1} \\ t \\ s \end {array}\right ] = \left [\begin {array}{c} -\frac {2}{3} \\ 1 \\ 0 \end {array}\right ] + \left [\begin {array}{c} 0 \\ 0 \\ 1 \end {array}\right ] \]

Hence the two eigenvectors associated with this eigenvalue are

\[ \left (\left [\begin {array}{c} -\frac {2}{3} \\ 1 \\ 0 \end {array}\right ],\left [\begin {array}{c} 0 \\ 0 \\ 1 \end {array}\right ]\right ) \]

Which are normalized to

\[ \left (\left [\begin {array}{c} -2 \\ 3 \\ 0 \end {array}\right ],\left [\begin {array}{c} 0 \\ 0 \\ 1 \end {array}\right ]\right ) \]

Considering the eigenvalue \(\lambda _{2} = 5\)

We need to solve \(A \vec {v} = \lambda \vec {v}\) or \((A-\lambda I) \vec {v} = \vec {0}\) which becomes

\begin{align*} \left (\left [\begin {array}{ccc} 9 & 4 & 0 \\ -6 & -1 & 0 \\ 6 & 4 & 3 \end {array}\right ] - \left (5\right ) \left [\begin {array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end {array}\right ]\right ) \left [\begin {array}{c} v_{1} \\ v_{2} \\ v_{3} \end {array}\right ]&=\left [\begin {array}{c} 0 \\ 0 \\ 0 \end {array}\right ]\\ \left [\begin {array}{ccc} 4 & 4 & 0 \\ -6 & -6 & 0 \\ 6 & 4 & -2 \end {array}\right ] \left [\begin {array}{c} v_{1} \\ v_{2} \\ v_{3} \end {array}\right ]&=\left [\begin {array}{c} 0 \\ 0 \\ 0 \end {array}\right ] \end{align*}

Now forward elimination is applied to solve for the eigenvector \(\vec {v}\). The augmented matrix is

\[ \left [\begin {array}{@{}ccc!{\ifdefined \HCode |\else \color {red}\vline width 0.6pt\fi }c@{}} 4&4&0&0\\ -6&-6&0&0\\ 6&4&-2&0 \end {array} \right ] \]

\begin{align*} R_{2} = R_{2}+\frac {3 R_{1}}{2} &\Longrightarrow \hspace {5pt}\left [\begin {array}{@{}ccc!{\ifdefined \HCode |\else \color {red}\vline width 0.6pt\fi }c@{}} 4&4&0&0\\ 0&0&0&0\\ 6&4&-2&0 \end {array} \right ] \end{align*}

\begin{align*} R_{3} = R_{3}-\frac {3 R_{1}}{2} &\Longrightarrow \hspace {5pt}\left [\begin {array}{@{}ccc!{\ifdefined \HCode |\else \color {red}\vline width 0.6pt\fi }c@{}} 4&4&0&0\\ 0&0&0&0\\ 0&-2&-2&0 \end {array} \right ] \end{align*}

Since the current pivot \(A(2,2)\) is zero, then the current pivot row is replaced with a row with a non-zero pivot. Swapping row \(2\) and row \(3\) gives

\[ \left [\begin {array}{@{}ccc!{\ifdefined \HCode |\else \color {red}\vline width 0.6pt\fi }c@{}} 4&4&0&0\\ 0&-2&-2&0\\ 0&0&0&0 \end {array} \right ] \]

Therefore the system in Echelon form is

\[ \left [\begin {array}{ccc} 4 & 4 & 0 \\ 0 & -2 & -2 \\ 0 & 0 & 0 \end {array}\right ] \left [\begin {array}{c} v_{1} \\ v_{2} \\ v_{3} \end {array}\right ] = \left [\begin {array}{c} 0 \\ 0 \\ 0 \end {array}\right ] \]

The free variables are \(\{v_{3}\}\) and the leading variables are \(\{v_{1}, v_{2}\}\). Let \(v_{3} = t\). Now we start back substitution. Solving the above equation for the leading variables in terms of free variables gives equation \(\{v_{1} = t, v_{2} = -t\}\)

Hence the solution is

\[ \left [\begin {array}{c} v_{1} \\ v_{2} \\ t \end {array}\right ] = \left [\begin {array}{c} t \\ -t \\ t \end {array}\right ] \]

Since there is one free Variable, we have found one eigenvector associated with this eigenvalue. The above can be written as

\[ \left [\begin {array}{c} v_{1} \\ v_{2} \\ t \end {array}\right ] = t \left [\begin {array}{c} 1 \\ -1 \\ 1 \end {array}\right ] \]

Let \(t = 1\) the eigenvector becomes

\[ \left [\begin {array}{c} v_{1} \\ v_{2} \\ t \end {array}\right ] = \left [\begin {array}{c} 1 \\ -1 \\ 1 \end {array}\right ] \]

The following table gives a summary of this result. It shows for each eigenvalue the algebraic multiplicity \(m\), and its geometric multiplicity \(k\) and the eigenvectors associated with the eigenvalue. If \(m>k\) then the eigenvalue is defective which means the number of normal linearly independent eigenvectors associated with this eigenvalue (called the geometric multiplicity \(k\)) does not equal the algebraic multiplicity \(m\), and we need to determine an additional \(m-k\) generalized eigenvectors for this eigenvalue.

	multiplicity
eigenvalue	algebraic \(m\)	geometric \(k\)	defective?	eigenvectors
\(3\)	\(2\)	\(2\)	No	\(\left [\begin {array}{cc} 0 & -\frac {2}{3} \\ 0 & 1 \\ 1 & 0 \end {array}\right ]\)
\(5\)	\(1\)	\(1\)	No	\(\left [\begin {array}{c} 1 \\ -1 \\ 1 \end {array}\right ]\)

Now that we found the eigenvalues and associated eigenvectors, we will go over each eigenvalue and generate the solution basis. The only problem we need to take care of is if the eigenvalue is defective. eigenvalue \(3\) is real and repated eigenvalue of multiplicity \(2\).There are two possible cases that can happen. This is illustrated in this diagram

Figure 145: Possible case for repeated \(\lambda \) of multiplicity 2

This eigenvalue has algebraic multiplicity of \(2\) which is the same as its geometric multiplicity \(2\), then it is complete eigenvalue and this falls into case \(1\) shown above. Hence the corresponding eigenvector basis are

\begin{align*} \vec {x}_{1}(t) &= \vec {v}_{1} e^{3 t}\\ &= \left [\begin {array}{c} 0 \\ 0 \\ 1 \end {array}\right ] e^{3 t} \end{align*}

\begin{align*} \vec {x}_{2}(t) &= \vec {v}_{2} e^{3 t}\\ &= \left [\begin {array}{c} -\frac {2}{3} \\ 1 \\ 0 \end {array}\right ] e^{3 t} \end{align*}

Since eigenvalue \(5\) is real and distinct then the corresponding eigenvector solution is

\begin{align*} \vec {x}_{3}(t) &= \vec {v}_{3} e^{5 t}\\ &= \left [\begin {array}{c} 1 \\ -1 \\ 1 \end {array}\right ] e^{5 t} \end{align*}

Therefore the final solution is

\begin{align*} \vec {x}_h(t) &= c_{1} \vec {x}_{1}(t) + c_{2} \vec {x}_{2}(t) + c_{3} \vec {x}_{3}(t) \end{align*}

Which is written as

\begin{align*} \left [\begin {array}{c} x \left (t \right ) \\ y \left (t \right ) \\ z \left (t \right ) \end {array}\right ] &= c_{1} \left [\begin {array}{c} 0 \\ 0 \\ {\mathrm e}^{3 t} \end {array}\right ] + c_{2} \left [\begin {array}{c} -\frac {2 \,{\mathrm e}^{3 t}}{3} \\ {\mathrm e}^{3 t} \\ 0 \end {array}\right ] + c_{3} \left [\begin {array}{c} {\mathrm e}^{5 t} \\ -{\mathrm e}^{5 t} \\ {\mathrm e}^{5 t} \end {array}\right ] \end{align*}

Which becomes

\begin{align*} \left [\begin {array}{c} x \left (t \right ) \\ y \left (t \right ) \\ z \left (t \right ) \end {array}\right ] = \left [\begin {array}{c} -\frac {2 c_2 \,{\mathrm e}^{3 t}}{3}+c_3 \,{\mathrm e}^{5 t} \\ c_2 \,{\mathrm e}^{3 t}-c_3 \,{\mathrm e}^{5 t} \\ c_1 \,{\mathrm e}^{3 t}+c_3 \,{\mathrm e}^{5 t} \end {array}\right ] \end{align*}

1.71.3 Maple step by step solution

\[ \begin {array}{lll} & {} & \textrm {Let's solve}\hspace {3pt} \\ {} & {} & \left [\frac {d}{d t}x \left (t \right )=9 x \left (t \right )+4 y \left (t \right ), \frac {d}{d t}y \left (t \right )=-6 x \left (t \right )-y \left (t \right ), \frac {d}{d t}z \left (t \right )=6 x \left (t \right )+4 y \left (t \right )+3 z \left (t \right )\right ] \\ \bullet & {} & \textrm {Define vector}\hspace {3pt} \\ {} & {} & {\moverset {\rightarrow }{x}}\left (t \right )=\left [\begin {array}{c} x \left (t \right ) \\ y \left (t \right ) \\ z \left (t \right ) \end {array}\right ] \\ \bullet & {} & \textrm {Convert system into a vector equation}\hspace {3pt} \\ {} & {} & \frac {d}{d t}{\moverset {\rightarrow }{x}}\left (t \right )=\left [\begin {array}{ccc} 9 & 4 & 0 \\ -6 & -1 & 0 \\ 6 & 4 & 3 \end {array}\right ]\cdot {\moverset {\rightarrow }{x}}\left (t \right )+\left [\begin {array}{c} 0 \\ 0 \\ 0 \end {array}\right ] \\ \bullet & {} & \textrm {System to solve}\hspace {3pt} \\ {} & {} & \frac {d}{d t}{\moverset {\rightarrow }{x}}\left (t \right )=\left [\begin {array}{ccc} 9 & 4 & 0 \\ -6 & -1 & 0 \\ 6 & 4 & 3 \end {array}\right ]\cdot {\moverset {\rightarrow }{x}}\left (t \right ) \\ \bullet & {} & \textrm {Define the coefficient matrix}\hspace {3pt} \\ {} & {} & A =\left [\begin {array}{ccc} 9 & 4 & 0 \\ -6 & -1 & 0 \\ 6 & 4 & 3 \end {array}\right ] \\ \bullet & {} & \textrm {Rewrite the system as}\hspace {3pt} \\ {} & {} & \frac {d}{d t}{\moverset {\rightarrow }{x}}\left (t \right )=A \cdot {\moverset {\rightarrow }{x}}\left (t \right ) \\ \bullet & {} & \textrm {To solve the system, find the eigenvalues and eigenvectors of}\hspace {3pt} A \\ \bullet & {} & \textrm {Eigenpairs of}\hspace {3pt} A \\ {} & {} & \left [\left [3, \left [\begin {array}{c} 0 \\ 0 \\ 1 \end {array}\right ]\right ], \left [3, \left [\begin {array}{c} -\frac {2}{3} \\ 1 \\ 0 \end {array}\right ]\right ], \left [5, \left [\begin {array}{c} 1 \\ -1 \\ 1 \end {array}\right ]\right ]\right ] \\ \bullet & {} & \textrm {Consider eigenpair, with eigenvalue of algebraic multiplicity 2}\hspace {3pt} \\ {} & {} & \left [3, \left [\begin {array}{c} 0 \\ 0 \\ 1 \end {array}\right ]\right ] \\ \bullet & {} & \textrm {First solution from eigenvalue}\hspace {3pt} 3 \\ {} & {} & {\moverset {\rightarrow }{x}}_{1}\left (t \right )={\mathrm e}^{3 t}\cdot \left [\begin {array}{c} 0 \\ 0 \\ 1 \end {array}\right ] \\ \bullet & {} & \textrm {Form of the 2nd homogeneous solution where}\hspace {3pt} {\moverset {\rightarrow }{p}}\hspace {3pt}\textrm {is to be solved for,}\hspace {3pt} \lambda =3\hspace {3pt}\textrm {is the eigenvalue, and}\hspace {3pt} {\moverset {\rightarrow }{v}}\hspace {3pt}\textrm {is the eigenvector}\hspace {3pt} \\ {} & {} & {\moverset {\rightarrow }{x}}_{2}\left (t \right )={\mathrm e}^{\lambda t} \left (t {\moverset {\rightarrow }{v}}+{\moverset {\rightarrow }{p}}\right ) \\ \bullet & {} & \textrm {Note that the}\hspace {3pt} t \hspace {3pt}\textrm {multiplying}\hspace {3pt} {\moverset {\rightarrow }{v}}\hspace {3pt}\textrm {makes this solution linearly independent to the 1st solution obtained from}\hspace {3pt} \lambda =3 \\ \bullet & {} & \textrm {Substitute}\hspace {3pt} {\moverset {\rightarrow }{x}}_{2}\left (t \right )\hspace {3pt}\textrm {into the homogeneous system}\hspace {3pt} \\ {} & {} & \lambda \,{\mathrm e}^{\lambda t} \left (t {\moverset {\rightarrow }{v}}+{\moverset {\rightarrow }{p}}\right )+{\mathrm e}^{\lambda t} {\moverset {\rightarrow }{v}}=\left ({\mathrm e}^{\lambda t} A \right )\cdot \left (t {\moverset {\rightarrow }{v}}+{\moverset {\rightarrow }{p}}\right ) \\ \bullet & {} & \textrm {Use the fact that}\hspace {3pt} {\moverset {\rightarrow }{v}}\hspace {3pt}\textrm {is an eigenvector of}\hspace {3pt} A \\ {} & {} & \lambda \,{\mathrm e}^{\lambda t} \left (t {\moverset {\rightarrow }{v}}+{\moverset {\rightarrow }{p}}\right )+{\mathrm e}^{\lambda t} {\moverset {\rightarrow }{v}}={\mathrm e}^{\lambda t} \left (\lambda t {\moverset {\rightarrow }{v}}+A \cdot {\moverset {\rightarrow }{p}}\right ) \\ \bullet & {} & \textrm {Simplify equation}\hspace {3pt} \\ {} & {} & \lambda {\moverset {\rightarrow }{p}}+{\moverset {\rightarrow }{v}}=A \cdot {\moverset {\rightarrow }{p}} \\ \bullet & {} & \textrm {Make use of the identity matrix}\hspace {3pt} \mathrm {I} \\ {} & {} & \left (\lambda \cdot I \right )\cdot {\moverset {\rightarrow }{p}}+{\moverset {\rightarrow }{v}}=A \cdot {\moverset {\rightarrow }{p}} \\ \bullet & {} & \textrm {Condition}\hspace {3pt} {\moverset {\rightarrow }{p}}\hspace {3pt}\textrm {must meet for}\hspace {3pt} {\moverset {\rightarrow }{x}}_{2}\left (t \right )\hspace {3pt}\textrm {to be a solution to the homogeneous system}\hspace {3pt} \\ {} & {} & \left (A -\lambda \cdot I \right )\cdot {\moverset {\rightarrow }{p}}={\moverset {\rightarrow }{v}} \\ \bullet & {} & \textrm {Choose}\hspace {3pt} {\moverset {\rightarrow }{p}}\hspace {3pt}\textrm {to use in the second solution to the homogeneous system from eigenvalue}\hspace {3pt} 3 \\ {} & {} & \left (\left [\begin {array}{ccc} 9 & 4 & 0 \\ -6 & -1 & 0 \\ 6 & 4 & 3 \end {array}\right ]-3\cdot \left [\begin {array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end {array}\right ]\right )\cdot {\moverset {\rightarrow }{p}}=\left [\begin {array}{c} 0 \\ 0 \\ 1 \end {array}\right ] \\ \bullet & {} & \textrm {Choice of}\hspace {3pt} {\moverset {\rightarrow }{p}} \\ {} & {} & {\moverset {\rightarrow }{p}}=\left [\begin {array}{c} 0 \\ 0 \\ 0 \end {array}\right ] \\ \bullet & {} & \textrm {Second solution from eigenvalue}\hspace {3pt} 3 \\ {} & {} & {\moverset {\rightarrow }{x}}_{2}\left (t \right )={\mathrm e}^{3 t}\cdot \left (t \cdot \left [\begin {array}{c} 0 \\ 0 \\ 1 \end {array}\right ]+\left [\begin {array}{c} 0 \\ 0 \\ 0 \end {array}\right ]\right ) \\ \bullet & {} & \textrm {Consider eigenpair}\hspace {3pt} \\ {} & {} & \left [5, \left [\begin {array}{c} 1 \\ -1 \\ 1 \end {array}\right ]\right ] \\ \bullet & {} & \textrm {Solution to homogeneous system from eigenpair}\hspace {3pt} \\ {} & {} & {\moverset {\rightarrow }{x}}_{3}={\mathrm e}^{5 t}\cdot \left [\begin {array}{c} 1 \\ -1 \\ 1 \end {array}\right ] \\ \bullet & {} & \textrm {General solution to the system of ODEs}\hspace {3pt} \\ {} & {} & {\moverset {\rightarrow }{x}}=\mathit {C1} {\moverset {\rightarrow }{x}}_{1}\left (t \right )+\mathit {C2} {\moverset {\rightarrow }{x}}_{2}\left (t \right )+\mathit {C3} {\moverset {\rightarrow }{x}}_{3} \\ \bullet & {} & \textrm {Substitute solutions into the general solution}\hspace {3pt} \\ {} & {} & {\moverset {\rightarrow }{x}}=\mathit {C1} \,{\mathrm e}^{3 t}\cdot \left [\begin {array}{c} 0 \\ 0 \\ 1 \end {array}\right ]+\mathit {C2} \,{\mathrm e}^{3 t}\cdot \left (t \cdot \left [\begin {array}{c} 0 \\ 0 \\ 1 \end {array}\right ]+\left [\begin {array}{c} 0 \\ 0 \\ 0 \end {array}\right ]\right )+\mathit {C3} \,{\mathrm e}^{5 t}\cdot \left [\begin {array}{c} 1 \\ -1 \\ 1 \end {array}\right ] \\ \bullet & {} & \textrm {Substitute in vector of dependent variables}\hspace {3pt} \\ {} & {} & \left [\begin {array}{c} x \left (t \right ) \\ y \left (t \right ) \\ z \left (t \right ) \end {array}\right ]=\left [\begin {array}{c} \mathit {C3} \,{\mathrm e}^{5 t} \\ -\mathit {C3} \,{\mathrm e}^{5 t} \\ \left (\mathit {C2} t +\mathit {C1} \right ) {\mathrm e}^{3 t}+\mathit {C3} \,{\mathrm e}^{5 t} \end {array}\right ] \\ \bullet & {} & \textrm {Solution to the system of ODEs}\hspace {3pt} \\ {} & {} & \left \{x \left (t \right )=\mathit {C3} \,{\mathrm e}^{5 t}, y \left (t \right )=-\mathit {C3} \,{\mathrm e}^{5 t}, z \left (t \right )=\left (\mathit {C2} t +\mathit {C1} \right ) {\mathrm e}^{3 t}+\mathit {C3} \,{\mathrm e}^{5 t}\right \} \end {array} \]

1.71.4 Maple dsolve solution

Solving time : 0.135 (sec)
Leaf size : 57

dsolve([diff(x(t),t) = 9*x(t)+4*y(t), diff(y(t),t) = -6*x(t)-y(t), diff(z(t),t) = 6*x(t)+4*y(t)+3*z(t)] 
       ,{op([x(t), y(t), z(t)])})
 

\begin{align*} x \left (t \right ) &= c_2 \,{\mathrm e}^{3 t}+c_3 \,{\mathrm e}^{5 t} \\ y \left (t \right ) &= -\frac {3 c_2 \,{\mathrm e}^{3 t}}{2}-c_3 \,{\mathrm e}^{5 t} \\ z \left (t \right ) &= c_2 \,{\mathrm e}^{3 t}+c_3 \,{\mathrm e}^{5 t}+c_1 \,{\mathrm e}^{3 t} \\ \end{align*}

1.71.5 Mathematica DSolve solution

Solving time : 0.008 (sec)
Leaf size : 103

DSolve[{{D[x[t],t]==9*x[t]+4*y[t],D[y[t],t]==-6*x[t]-y[t],D[z[t],t]==6*x[t]+4*y[t]+3*z[t]},{}}, 
       {x[t],y[t],z[t]},t,IncludeSingularSolutions->True]
 

\begin{align*} x(t)\to e^{3 t} \left (c_1 \left (3 e^{2 t}-2\right )+2 c_2 \left (e^{2 t}-1\right )\right ) \\ y(t)\to -e^{3 t} \left (3 c_1 \left (e^{2 t}-1\right )+c_2 \left (2 e^{2 t}-3\right )\right ) \\ z(t)\to e^{3 t} \left (3 c_1 \left (e^{2 t}-1\right )+2 c_2 \left (e^{2 t}-1\right )+c_3\right ) \\ \end{align*}