Differential Equations

Systems of Equations

Systems Diff Equations Logo

Construction of the General Solution of a System of Equations Using the Jordan Form

Solved Problems

Example 1.

Solve the system of equations

\[\frac{{dx}}{{dt}} = 2x - 3y,\;\frac{{dy}}{{dt}} = - x + 4y.\]

Solution.

We write the auxiliary equation for the matrix and find the eigenvalues:

\[ \det \left( {A - \lambda I} \right) = \left| {\begin{array}{*{20}{c}} {2 - \lambda }&{ - 3}\\ { - 1}&{4 - \lambda } \end{array}} \right| = 0,\;\; \Rightarrow \left( {2 - \lambda } \right)\left( {4 - \lambda } \right) - 3 = 0,\;\; \Rightarrow {\lambda ^2} - 4\lambda - 2\lambda + 8 - 3 = 0,\;\; \Rightarrow {\lambda ^2} - 6\lambda + 5 = 0,\;\; \Rightarrow {\lambda _1} = 1,\;{\lambda _2} = 5.\]

Compute the eigenvectors for each eigenvalue.

Substituting \({\lambda _1} = 1,\) we find the vector \({\mathbf{V}_1} = {\left( {{V_{11}},{V_{21}}} \right)^T}:\)

\[ \left[ {\begin{array}{*{20}{c}} {2 - 1}&{ - 3}\\ { - 1}&{4 - 1} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{V_{11}}}\\ {{V_{21}}} \end{array}} \right] = \mathbf{0},\;\; \Rightarrow \left[ {\begin{array}{*{20}{c}} 1&{ - 3}\\ { - 1}&3 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{V_{11}}}\\ {{V_{21}}} \end{array}} \right] = \mathbf{0},\;\; \Rightarrow \left\{ {\begin{array}{*{20}{l}} {{V_{11}} - 3{V_{21}} = 0}\\ { - {V_{11}} + 3{V_{21}} = 0} \end{array}} \right.,\;\; \Rightarrow {V_{11}} - 3{V_{21}} = 0.\]

We see that the rank of this matrix is \(1.\) Consequently, the geometric multiplicity of the eigenvalue \({\lambda _1} = 1\) is

\[{s_1} = n - \left( {A - {\lambda _1}I} \right) = 2 - 1 = 1.\]

Accordingly, there is one eigenvector. Its coordinates are

\[ {V_{21}} = t,\;\; \Rightarrow {V_{11}} = 3{V_{21}} = 3t,\;\; \Rightarrow {\mathbf{V}_1} = \left[ {\begin{array}{*{20}{c}} {{V_{11}}}\\ {{V_{21}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {3t}\\ t \end{array}} \right] = t\left[ {\begin{array}{*{20}{c}} 3\\ 1 \end{array}} \right] \sim \left[ {\begin{array}{*{20}{c}} 3\\ 1 \end{array}} \right].\]

Similarly, we calculate the eigenvector \({\mathbf{V}_2} = {\left( {{V_{12}},{V_{22}}} \right)^T}\) for the eigenvalue \({\lambda _2} = 5:\)

\[ \left[ {\begin{array}{*{20}{c}} {2 - 5}&{ - 3}\\ { - 1}&{4 - 5} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{V_{12}}}\\ {{V_{22}}} \end{array}} \right] = \mathbf{0},\;\; \Rightarrow \left\{ {\begin{array}{*{20}{l}} { - 3{V_{12}} - 3{V_{22}} = 0}\\ { - {V_{12}} - {V_{22}} = 0} \end{array}} \right.,\;\; \Rightarrow {V_{12}} + {V_{22}} = 0.\]

Let \({V_{22}} = t.\) Then

\[{V_{12}} = - {V_{22}} = - t,\;\; \Rightarrow {\mathbf{V}_2} = \left[ {\begin{array}{*{20}{c}} {{V_{12}}}\\ {{V_{22}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - t}\\ t \end{array}} \right] = t\left[ {\begin{array}{*{20}{c}} { - 1}\\ 1 \end{array}} \right] \sim \left[ {\begin{array}{*{20}{c}} { - 1}\\ 1 \end{array}} \right].\]

Here you can see that we have the case of simple eigenvalues (Case \(1\)). The general solution is expressed as

\[ \mathbf{X}\left( t \right) = {C_1}{e^{{\lambda _1}t}}{\mathbf{V}_1} + {C_2}{e^{{\lambda _2}t}}{\mathbf{V}_2} = {{C_1}{e^t}\left[ {\begin{array}{*{20}{c}} 3\\ 1 \end{array}} \right] + {C_2}{e^{5t}}\left[ {\begin{array}{*{20}{c}} { - 1}\\ 1 \end{array}} \right].} \]

Example 2.

Find the general solution of the system

\[\frac{{dx}}{{dt}} = - x,\;\frac{{dy}}{{dt}} = - y.\]

Solution.

As usual, first we determine the eigenvalues by solving the characteristic equation:

\[\det \left( {A - \lambda I} \right) = \left| {\begin{array}{*{20}{c}} { - 1 - \lambda }&0\\ 0&{ - 1 - \lambda } \end{array}} \right| = 0,\;\; \Rightarrow {\left( { - 1 - \lambda } \right)^2} = 0,\;\; \Rightarrow {\lambda _1} = - 1.\]

Hence, the matrix of the system has one eigenvalue \({\lambda _1} = - 1\) of multiplicity \({k_1} = 2.\)

Find the eigenvectors for the value \({\lambda _1}.\)

\[\left[ {\begin{array}{*{20}{c}} { - 1 - \left( { - 1} \right)}&0\\ 0&{ - 1 - \left( { - 1} \right)} \end{array}} \right] \left[ {\begin{array}{*{20}{c}} {{V_{11}}}\\ {{V_{21}}} \end{array}} \right] = \mathbf{0},\;\; \Rightarrow \left\{ {\begin{array}{*{20}{c}} {0 \cdot {V_{11}} + 0 \cdot {V_{21}} = 0}\\ {0 \cdot {V_{11}} + 0 \cdot {V_{21}} = 0} \end{array}} \right.,\;\; \Rightarrow 0 \cdot {V_{11}} + 0 \cdot {V_{21}} = 0.\]

As it can be seen, in this case any vector is an eigenvector. Therefore, we can choose the unit vectors as a pair of linearly independent vectors:

\[{\mathbf{V}_1} = \left[ {\begin{array}{*{20}{c}} 0\\ 1 \end{array}} \right],\;\; {\mathbf{V}_2} = \left[ {\begin{array}{*{20}{c}} 1\\ 0 \end{array}} \right].\]

Here we meet with the Case \(2:\) a system of two differential equations has one eigenvalue, the algebraic and geometric multiplicity of which is equal to \(2.\) The general solution is written as

\[\mathbf{X}\left( t \right) = \left[ {\begin{array}{*{20}{c}} x\\ y \end{array}} \right] = {C_1}{e^{{\lambda _1}t}}{\mathbf{V}_1} + {C_2}{e^{{\lambda _1}t}}{\mathbf{V}_2} = {C_1}{e^{ - t}}\left[ {\begin{array}{*{20}{c}} 0\\ 1 \end{array}} \right] + {C_2}{e^{ - t}}\left[ {\begin{array}{*{20}{c}} 1\\ 0 \end{array}} \right].\]

Example 3.

Find the general solution of the system

\[\frac{{dx}}{{dt}} = 2x - y,\;\frac{{dy}}{{dt}} = x + 4y.\]

Solution.

We write the auxiliary equation and find its roots.

\[\det \left( {A - \lambda I} \right) = \left| {\begin{array}{*{20}{c}} {2 - \lambda }&{ - 1}\\ 1&{4 - \lambda } \end{array}} \right| = 0,\;\; \Rightarrow \left( {2 - \lambda } \right)\left( {4 - \lambda } \right) + 1 = 0,\;\; \Rightarrow {\lambda ^2} - 6\lambda + 5 = 0,\;\; \Rightarrow {\left( {\lambda - 3} \right)^2} = 0,\;\; \Rightarrow {\lambda _1} = 3.\]

The matrix of the system has one eigenvalue \({\lambda _1} = 3\) with algebraic multiplicity \({k_1} = 2.\)

Determine the eigenvectors corresponding to the number \({\lambda _1} = 3.\) Let \({\mathbf{V}_1} = {\left( {{V_{11}},{V_{21}}} \right)^T}.\) We obtain:

\[\left[ {\begin{array}{*{20}{c}} {2 - 3}&{ - 1}\\ 1&{4 - 3} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{V_{11}}}\\ {{V_{21}}} \end{array}} \right] = \mathbf{0},\;\; \Rightarrow \left\{ {\begin{array}{*{20}{c}} { - {V_{11}} - {V_{21}} = 0}\\ {{V_{11}} + {V_{21}} = 0} \end{array}} \right.,\;\; \Rightarrow {V_{11}} + {V_{21}} = 0.\]

Let \({V_{21}} = t.\) Then the coordinates of \({\mathbf{V}_1}\) are

\[{V_{11}} = - {V_{21}} = - t,\;\; \Rightarrow {\mathbf{V}_1} = \left[ {\begin{array}{*{20}{c}} {{V_{11}}}\\ {{V_{21}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - t}\\ t \end{array}} \right] = t\left[ {\begin{array}{*{20}{c}} { - 1}\\ 1 \end{array}} \right] \sim \left[ {\begin{array}{*{20}{c}} { - 1}\\ 1 \end{array}} \right].\]

Check whether we have calculated the eigenvector \({\mathbf{V}_1}\) correctly. By definition, the eigenvector should satisfy the relationship

\[A{\mathbf{V}_1} = {\lambda _1}{\mathbf{V}_1}.\]

Substituting the known values, we get

\[A{\mathbf{V}_1} = \left[ {\begin{array}{*{20}{c}} 2&{ - 1}\\ 1&4 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} { - 1}\\ 1 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - 2 - 1}\\ { - 1 + 4} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - 3}\\ 3 \end{array}} \right] = 3\left[ {\begin{array}{*{20}{c}} { - 1}\\ 1 \end{array}} \right] = {\lambda _1}{\mathbf{V}_1}.\]

This combination of parameters \(\left( {{k_1} = 2,{s_1} = 1} \right)\) corresponds to the Case \(3,\) in which the solution is described by a single Jordan block. To construct the general solution, we need to determine the generalized eigenvector \({\mathbf{V}_2} = {\left( {{V_{12}},{V_{22}}} \right)^T}.\) We find it from the matrix equation:

\[\left( {A - {\lambda _1}I} \right){\mathbf{V}_2} = {\mathbf{V}_1},\;\; \Rightarrow \left[ {\begin{array}{*{20}{c}} { - 1}&{ - 1}\\ 1&1 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{V_{12}}}\\ {{V_{22}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {{V_{11}}}\\ {{V_{21}}} \end{array}} \right],\;\; \Rightarrow \left[ {\begin{array}{*{20}{c}} { - 1}&{ - 1}\\ 1&1 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{V_{12}}}\\ {{V_{22}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - 1}\\ 1 \end{array}} \right],\;\; \Rightarrow \left\{ {\begin{array}{*{20}{c}} { - {V_{12}} - {V_{22}} = - 1}\\ {{V_{12}} + {V_{22}} = 1} \end{array}} \right.,\;\; \Rightarrow {V_{12}} + {V_{22}} = 1,\;\; \Rightarrow \text{for}\;{V_{22}} = 0,\;{V_{11}} = 1\; \text{we have}\;{\mathbf{V}_2} = \left[ {\begin{array}{*{20}{c}} 1\\ 0 \end{array}} \right].\]

Let us make another check to make sure that the generalized eigenvector \({\mathbf{V}_2}\) is calculated correctly. Use the formula for the reduction of the original matrix \(A\) to the Jordan normal form \(J:\)

\[{H^{ - 1}}AH = J.\]

Here the matrix \(H\) is composed of the found vectors:

\[H = \left[ {\begin{array}{*{20}{c}} {{V_{11}}}&{{V_{12}}}\\ {{V_{21}}}&{{V_{22}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - 1}&1\\ 1&0 \end{array}} \right].\]

The inverse matrix \({H^{ - 1}}\) will be equal to:

\[{H^{ - 1}} = \frac{1}{\Delta }{\left[ {\begin{array}{*{20}{c}} {{A_{11}}}&{{A_{12}}}\\ {{A_{21}}}&{{A_{22}}} \end{array}} \right]^T} = \frac{1}{{\left( { - 1} \right)}}{\left[ {\begin{array}{*{20}{c}} 0&{ - 1}\\ { - 1}&{ - 1} \end{array}} \right]^T} = - \left[ {\begin{array}{*{20}{c}} 0&{ - 1}\\ { - 1}&{ - 1} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 0&1\\ 1&1 \end{array}} \right].\]

where \({{A_{ij}}}\) are cofactors of the elements of the matrix \(H,\) and \(\Delta\) is its determinant.

After substitution we see that the result of the transformations is the Jordan form:

\[{H^{ - 1}}AH = \left[ {\begin{array}{*{20}{c}} 0&1\\ 1&1 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} 2&{ - 1}\\ 1&4 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} { - 1}&1\\ 1&0 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {0 + 1}&{0 + 4}\\ {2 + 1}&{ - 1 + 4} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} { - 1}&1\\ 1&0 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 1&4\\ 3&3 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} { - 1}&1\\ 1&0 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - 1 + 4}&{1 + 0}\\ { - 3 + 3}&{3 + 0} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} \color{blue}3&\color{blue}1\\ \color{blue}0&\color{blue}3 \end{array}} \right] = J.\]

The general solution of the system of differential equations is given by

\[\mathbf{X}\left( t \right) = {C_1}{e^{{\lambda _1}t}}{\mathbf{V}_1} + {C_2}{e^{{\lambda _1}t}}\left( {t{\mathbf{V}_1} + {\mathbf{V}_2}} \right) = {C_1}{e^{3t}}\left[ {\begin{array}{*{20}{c}} { - 1}\\ 1 \end{array}} \right] + {C_2}{e^{3t}}\left( {t\left[ {\begin{array}{*{20}{c}} { - 1}\\ 1 \end{array}} \right] + \left[ {\begin{array}{*{20}{c}} 1\\ 0 \end{array}} \right]} \right).\]

Example 4.

Solve the system of equations

\[\frac{{dx}}{{dt}} = - 4x - 6y - 6z,\; \frac{{dy}}{{dt}} = x + 3y + z,\; \frac{{dz}}{{dt}} = 2x + 4z.\]

Solution.

We compose the auxiliary equation and calculate its roots:

\[\det \left( {A - \lambda I} \right) = \left| {\begin{array}{*{20}{c}} { - 4 - \lambda }&{ - 6}&{ - 6}\\ 1&{3 - \lambda }&1\\ 2&0&{4 - \lambda } \end{array}} \right| = 0.\]

Expand the determinant along the third row:

\[2\left[ { - 6 + 6\left( {3 - \lambda } \right)} \right] + \left( {4 - \lambda } \right) \left[ {\left( { - 4 - \lambda } \right)\left( {3 - \lambda } \right) + 6} \right] = 0,\;\; \Rightarrow 2\left( { - 6\lambda + 12} \right) + \left( {4 - \lambda } \right)\left( {{\lambda ^2} + \lambda - 6} \right) = 0,\;\; \Rightarrow - 12\lambda + 24 + 4{\lambda ^2} - {\lambda ^3} + 4\lambda - {\lambda ^2} - 24 + 6\lambda = 0,\;\; \Rightarrow {\lambda ^3} - 3{\lambda ^2} + 2\lambda = 0,\;\; \Rightarrow \lambda \left( {\lambda - 1} \right)\left( {\lambda - 2} \right) = 0.\]

Hence, the matrix has three distinct eigenvalues: \({\lambda _1} = 0,\) \({\lambda _2} = 1,\) \({\lambda _3} = 2.\)

Compute the eigenvectors \({\mathbf{V}_1},{\mathbf{V}_2},{\mathbf{V}_3}\) for these eigenvalues. For the eigenvalue \({\lambda _1} = 0\) we find \({\mathbf{V}_1} = {\left( {{V_{11}},{V_{21}},{V_{31}}} \right)^T}:\)

\[\left( {A - {\lambda _1}I} \right){\mathbf{V}_1} = \mathbf{0},\;\; \Rightarrow \left[ {\begin{array}{*{20}{c}} { - 4}&{ - 6}&{ - 6}\\ 1&3&1\\ 2&0&4 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{V_{11}}}\\ {{V_{21}}}\\ {{V_{31}}} \end{array}} \right] = \mathbf{0}.\]

Determine the rank of the system of equations:

\[\left\{ \begin{array}{l} { - 4{V_{11}} - 6{V_{12}} - 6{V_{31}} = 0} \\ {V_{11}} + 3{V_{21}} + {V_{31}} = 0\\ 2{V_{11}} + 0 + 4{V_{31}} = 0 \end{array} \right.,\;\; \Rightarrow \left\{ \begin{array}{l} {V_{11}} + 3{V_{21}} + {V_{31}} = 0\\ 4{V_{11}} + 6{V_{12}} + 6{V_{31}} = 0\\ 2{V_{11}} + 0 + 4{V_{31}} = 0 \end{array}\right.,\;\; \Rightarrow \left\{ {\begin{array}{*{20}{l}} {{V_{11}} + 3{V_{21}} + {V_{31}} = 0}\\ {0 - 6{V_{21}} + 2{V_{31}} = 0}\\ {0 - 6{V_{21}} + 2{V_{31}} = 0} \end{array}} \right.,\;\; \Rightarrow \left\{ {\begin{array}{*{20}{l}} {{V_{11}} + 3{V_{21}} + {V_{31}} = 0}\\ {3{V_{21}} - {V_{31}} = 0} \end{array}} \right..\]

In this case, the rank of the matrix is \(2,\) so the geometric multiplicity of \({\lambda _1}\) is equal to \(1.\) To find the vector \({\mathbf{V}_1}\) associated with the value \({\lambda _1},\) we set \({V_{31}} = t.\) As a result, we have

\[3{V_{21}} = {V_{31}} = t,\;\; \Rightarrow {V_{21}} = \frac{t}{3},\;\; \Rightarrow {V_{11}} = - 3{V_{21}} - {V_{31}} = - 3 \cdot \frac{t}{3} - t = - 2t.\]

Consequently,

\[{\mathbf{V}_1} = \left[ {\begin{array}{*{20}{c}} {{V_{11}}}\\ {{V_{21}}}\\ {{V_{31}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - 2t}\\ {\frac{t}{3}}\\ t \end{array}} \right] \sim \left[ {\begin{array}{*{20}{c}} { - 6t}\\ t\\ {3t} \end{array}} \right] = t\left[ {\begin{array}{*{20}{c}} { - 6}\\ 1\\ 3 \end{array}} \right] \sim \left[ {\begin{array}{*{20}{c}} { - 6}\\ 1\\ 3 \end{array}} \right].\]

The correctness of the calculation of the eigenvector \({\mathbf{V}_1}\) can be verified using the definition of the eigenvector. Substituting the coordinates of \({\mathbf{V}_1},\) we obtain for \({\lambda _1} = 0:\)

\[A{\mathbf{V}_1} = {\lambda _1}{\mathbf{V}_1} = 0 \cdot {\mathbf{V}_1} = \mathbf{0},\;\;\Rightarrow \left[ {\begin{array}{*{20}{c}} { - 4}&{ - 6}&{ - 6}\\ 1&3&1\\ 2&0&4 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} { - 6}\\ 1\\ 3 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {24 - 6 - 18}\\ { - 6 + 3 + 3}\\ { - 12 + 0 + 12} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 0\\ 0\\ 0 \end{array}} \right].\]

Similarly, we find the vector \({\mathbf{V}_2} = {\left( {{V_{12}},{V_{22}},{V_{32}}} \right)^T}\) for the eigenvalue \({\lambda _2} = 1:\)

\[\left( {A - {\lambda _2}I} \right){\mathbf{V}_2} = \mathbf{0},\;\; \Rightarrow \left[ {\begin{array}{*{20}{c}} { - 4 - 1}&{ - 6}&{ - 6}\\ 1&{3 - 1}&1\\ 2&0&{4 - 1} \end{array}} \right] \left[ {\begin{array}{*{20}{c}} {{V_{12}}}\\ {{V_{22}}}\\ {{V_{32}}} \end{array}} \right] = \mathbf{0},\;\; \Rightarrow \left\{ {\begin{array}{*{20}{l}} {{V_{12}} + 2{V_{22}} + {V_{32}} = 0}\\ { - 5{V_{12}} - 6{V_{22}} - 6{V_{32}} = 0}\\ {2{V_{12}} + 0 + 3{V_{32}} = 0} \end{array}} \right.,\;\; \Rightarrow \left\{ {\begin{array}{*{20}{l}} {{V_{12}} + 2{V_{22}} + {V_{32}} = 0}\\ {0 + 4{V_{22}} - {V_{32}} = 0}\\ {0 + 4{V_{22}} - {V_{32}} = 0} \end{array}} \right.,\;\; \Rightarrow \left\{ {\begin{array}{*{20}{l}} {{V_{12}} + 2{V_{22}} + {V_{32}} = 0}\\ {4{V_{22}} - {V_{32}} = 0} \end{array}} \right..\]

Thus, we see that \(\text{rank}\left( {A - {\lambda _2}I} \right) = 2.\) The geometric multiplicity of \({\lambda _2} = 1\) is \({s_2} = 1.\) Let \({V_{32}} = t\) and express the other coordinates \({V_{12}},\) \({V_{22}}\) in \(t:\)

\[4{V_{22}} = {V_{32}} = t,\;\; \Rightarrow {V_{22}} = \frac{t}{4},\;\; \Rightarrow {V_{12}} = - 2{V_{22}} - {V_{32}} = - 2 \cdot \frac{t}{4} - t = - \frac{3}{2}t.\]

Hence, the eigenvector \({\mathbf{V}_2}\) is

\[{\mathbf{V}_2} = \left[ {\begin{array}{*{20}{c}} {{V_{12}}}\\ {{V_{22}}}\\ {{V_{32}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - \frac{3}{2}t}\\ {\frac{t}{4}}\\ t \end{array}} \right] \sim \left[ {\begin{array}{*{20}{c}} { - 6t}\\ t\\ {4t} \end{array}} \right] = t\left[ {\begin{array}{*{20}{c}} { - 6}\\ 1\\ 4 \end{array}} \right] \sim \left[ {\begin{array}{*{20}{c}} { - 6}\\ 1\\ 4 \end{array}} \right].\]

Verification:

\[A{\mathbf{V}_2} = \left[ {\begin{array}{*{20}{c}} { - 4}&{ - 6}&{ - 6}\\ 1&3&1\\ 2&0&4 \end{array}} \right] \left[ {\begin{array}{*{20}{c}} { - 6}\\ 1\\ 4 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {24 - 6 - 24}\\ { - 6 + 3 + 4}\\ { - 12 + 0 + 16} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - 6}\\ 1\\ 4 \end{array}} \right] = 1 \cdot {\mathbf{V}_2} = {\lambda _2}{\mathbf{V}_2}.\]

Now we find the vector \({\mathbf{V}_3} = {\left( {{V_{13}},{V_{23}},{V_{33}}} \right)^T},\) associated with the eigenvalue \({\lambda _3} = 2:\)

\[\left( {A - {\lambda _3}I} \right){\mathbf{V}_3} = \mathbf{0},\;\; \Rightarrow \left[ {\begin{array}{*{20}{c}} { - 4 - 2}&{ - 6}&{ - 6}\\ 1&{3 - 2}&1\\ 2&0&{4 - 2} \end{array}} \right] \left[ {\begin{array}{*{20}{c}} {{V_{13}}}\\ {{V_{23}}}\\ {{V_{33}}} \end{array}} \right] = \mathbf{0},\;\; \Rightarrow \left\{ {\begin{array}{*{20}{l}} { - 6{V_{13}} - 6{V_{23}} - 6{V_{33}} = 0}\\ {{V_{13}} + {V_{23}} + {V_{33}} = 0}\\ {2{V_{13}} + 0 + 2{V_{33}} = 0} \end{array}} \right.,\;\; \Rightarrow \left\{ {\begin{array}{*{20}{l}} {{V_{13}} + {V_{23}} + {V_{33}} = 0}\\ {{V_{13}} + 0 + {V_{33}} = 0} \end{array}} \right..\]

It is seen that \(\text{rank}\left( {A - {\lambda _3}I} \right) = 2.\) Putting \({V_{33}} = t,\) calculate the coordinates \({V_{13}}, {V_{23}}:\)

\[{V_{13}} = - {V_{33}} = - t,\;\; \Rightarrow {V_{23}} = - {V_{33}} - {V_{13}} = t - t = 0.\]

Hence,

\[{\mathbf{V}_3} = \left[ {\begin{array}{*{20}{c}} {{V_{13}}}\\ {{V_{23}}}\\ {{V_{33}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - t}\\ 0\\ t \end{array}} \right] = t\left[ {\begin{array}{*{20}{c}} { - 1}\\ 0\\ 1 \end{array}} \right] \sim \left[ {\begin{array}{*{20}{c}} { - 1}\\ 0\\ 1 \end{array}} \right].\]

Check again:

\[A{\mathbf{V}_3} = \left[ {\begin{array}{*{20}{c}} { - 4}&{ - 6}&{ - 6}\\ 1&3&1\\ 2&0&4 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} { - 1}\\ 0\\ 1 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {4 + 0 - 6}\\ { - 1 + 0 + 1}\\ { - 2 + 0 + 4} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - 2}\\ 0\\ 2 \end{array}} \right] = 2 \cdot \left[ {\begin{array}{*{20}{c}} { - 1}\\ 0\\ 1 \end{array}} \right] = 2{\mathbf{V}_3} = {\lambda _3}{\mathbf{V}_3}.\]

Thus, we have found all the eigenvectors. Now we can write the general solution of the system, which in this case is given by

\[\mathbf{X}\left( t \right) = \left[ {\begin{array}{*{20}{c}} x\\ y\\ z \end{array}} \right] = \sum\limits_{i = 1}^3 {{C_i}{e^{{\lambda _i}t}}{\mathbf{V}_i}} = {C_1}\left[ {\begin{array}{*{20}{c}} { - 6}\\ 1\\ 3 \end{array}} \right] + {C_2}{e^t}\left[ {\begin{array}{*{20}{c}} { - 6}\\ 1\\ 4 \end{array}} \right] + {C_3}{e^{2t}}\left[ {\begin{array}{*{20}{c}} { - 1}\\ 0\\ 1 \end{array}} \right].\]

Example 5.

Find the general solution of the system of differential equations

\[\frac{{dx}}{{dt}} = x - y - z,\; \frac{{dy}}{{dt}} = - x + y - z,\; \frac{{dz}}{{dt}} = - x - y + z.\]

Solution.

Calculate the roots of the characteristic equation:

\[\det \left( {A - \lambda I} \right) = \left| {\begin{array}{*{20}{c}} {1 - \lambda }&{ - 1}&{ - 1}\\ { - 1}&{1 - \lambda }&{ - 1}\\ { - 1}&{ - 1}&{1 - \lambda } \end{array}} \right| = 0,\;\; \Rightarrow \left( {1 - \lambda } \right)\left[ {{{\left( {1 - \lambda } \right)}^2} - 1} \right] + 1 \cdot \left[ { - \left( {1 - \lambda } \right) - 1} \right] - 1 \cdot \left[ {1 + \left( {1 - \lambda } \right)} \right] = 0,\;\; \Rightarrow \left( {1 - \lambda } \right)\left( {{\lambda ^2} - 2\lambda } \right) + 2\lambda - 4 = 0,\;\; \Rightarrow {\lambda ^2} - 2\lambda - {\lambda ^3} + 2{\lambda ^2} + 2\lambda - 4 = 0,\;\; \Rightarrow {\lambda ^3} - 3{\lambda ^2} + 4 = 0.\]

You may notice that one of the roots of the cubic equation is the number \({\lambda _1} = - 1.\) Then, taking out the factor \(\left( {\lambda + 1} \right),\) we obtain:

\[{\lambda ^3} + {\lambda ^2} - 4{\lambda ^2} - 4\lambda + 4\lambda + 4 = 0,\;\; \Rightarrow {\lambda ^2}\left( {\lambda + 1} \right) - 4\lambda \left( {\lambda + 1} \right) + 4\left( {\lambda + 1} \right) = 0,\;\; \Rightarrow \left( {\lambda + 1} \right)\left( {{\lambda ^2} - 4\lambda + 4} \right) = 0,\;\; \Rightarrow \left( {\lambda + 1} \right){\left( {\lambda - 2} \right)^2} = 0.\]

Thus, the system has two eigenvalues: \({\lambda _1} = - 1\) of multiplicity \({k_1} = 1\) and \({\lambda _2} = 2\) of multiplicity \({k_2} = 2.\)

Determine the eigenvectors. For the number \({\lambda _1} = - 1,\) the matrix rank is

\[\left[ {\begin{array}{*{20}{c}} {1 + 1}&{ - 1}&{ - 1}\\ { - 1}&{1 + 1}&{ - 1}\\ { - 1}&{ - 1}&{1 + 1} \end{array}} \right] \sim {\left[ {\begin{array}{*{20}{r}} 2&{ - 1}&{ - 1}\\ { - 1}&2&{ - 1}\\ { - 1}&{ - 1}&2 \end{array}} \right]} \sim \left[ {\begin{array}{*{20}{r}} 2&{ - 1}&{ - 1}\\ 0&3&{ - 3}\\ 0&{ - 3}&3 \end{array}} \right] \sim \left[ {\begin{array}{*{20}{r}} 2&{ - 1}&{ - 1}\\ 0&1&{ - 1} \end{array}} \right].\]

We see that \(\text{rank}\left( {A - {\lambda _1}I} \right) = 2.\) This means that only one eigenvector \({\mathbf{V}_1} = {\left( {{V_{11}},{V_{21}},{V_{31}}} \right)^T}\) corresponds to the given eigenvalue:

\[{s_1} = n - \text{rank}\left( {A - {\lambda _1}I} \right) = 3 - 2 = 1.\]

Find its coordinates from the system

\[\left\{ \begin{array}{l} 2{V_{11}} - {V_{21}} - {V_{31}} = 0\\ 0 + {V_{21}} - {V_{31}} = 0 \end{array} \right..\]

Let \({V_{31}} = t.\) Therefore,

\[{V_{21}} = {V_{31}} = t,\;\; \Rightarrow 2{V_{11}} = {V_{21}} + {V_{31}} = t + t = 2t,\;\;\Rightarrow {V_{11}} = t.\]

Then, the eigenvector \({\mathbf{V}_1}\) will be equal to

\[{\mathbf{V}_1} = \left[ {\begin{array}{*{20}{c}} {{V_{11}}}\\ {{V_{21}}}\\ {{V_{31}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} t\\ t\\ t \end{array}} \right] = t\left[ {\begin{array}{*{20}{c}} 1\\ 1\\ 1 \end{array}} \right] \sim \left[ {\begin{array}{*{20}{c}} 1\\ 1\\ 1 \end{array}} \right].\]

Now we consider the second eigenvalue \({\lambda _2} = 2\) with algebraic multiplicity \({k_2} = 2.\) Determine the rank of \(A - {\lambda _2}I\) and geometric multiplicity \({s_2}:\)

\[A - {\lambda _2}I = \left[ {\begin{array}{*{20}{c}} {1 - 2}&{ - 1}&{ - 1}\\ { - 1}&{1 - 2}&{ - 1}\\ { - 1}&{ - 1}&{1 - 2} \end{array}} \right] \sim \left[ {\begin{array}{*{20}{c}} { - 1}&{ - 1}&{ - 1}\\ { - 1}&{ - 1}&{ - 1}\\ { - 1}&{ - 1}&{ - 1} \end{array}} \right] \sim \left( {\begin{array}{*{20}{c}} { - 1}&{ - 1}&{ - 1} \end{array}} \right) \sim \left( {\begin{array}{*{20}{c}} 1&1&1 \end{array}} \right).\]

Hence,

\[{s_2} = n - \text{rank}\left( {A - {\lambda _2}I} \right) = 3 - 1 = 2.\]

In this case, the matrix has two eigenvectors (i.e., we have Case \(5\)). If we denote \({\mathbf{V}_2} = {\left( {{V_{12}},{V_{22}},{V_{32}}} \right)^T},\) \({\mathbf{V}_3} = {\left( {{V_{13}},{V_{23}},{V_{33}}} \right)^T},\) then the coordinates of these two vectors will satisfy the equations

\[{V_{12}} + {V_{22}} + {V_{32}} = 0\;\;\; \text{and}\;\;\;{V_{13}} + {V_{23}} + {V_{33}} = 0.\]

Choosing coordinates \(y, z\) as free variables and setting them equal to \(\left( {0,1} \right)\) for \({\mathbf{V}_2},\) and \(\left( {1,0} \right)\) for \({\mathbf{V}_3},\) we get the following linearly independent vectors:

\[{\mathbf{V}_2} = \left[ {\begin{array}{*{20}{c}} {{V_{12}}}\\ {{V_{22}}}\\ {{V_{32}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - 1}\\ 0\\ 1 \end{array}} \right],\;\; {\mathbf{V}_3} = \left[ {\begin{array}{*{20}{c}} {{V_{13}}}\\ {{V_{23}}}\\ {{V_{33}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - 1}\\ 1\\ 0 \end{array}} \right].\]

Putting all the components together, we can write the general solution in the form

\[\mathbf{X}\left( t \right) = {C_1}{e^{ - t}}\left[ {\begin{array}{*{20}{c}} 1\\ 1\\ 1 \end{array}} \right] + {C_2}{e^{2t}}\left[ {\begin{array}{*{20}{c}} { - 1}\\ 0\\ 1 \end{array}} \right] + {C_3}{e^{2t}}\left[ {\begin{array}{*{20}{c}} { - 1}\\ 1\\ 0 \end{array}} \right].\]

Example 6.

Find the general solution of the system

\[\frac{{dx}}{{dt}} = - 3x - 6y + 6z,\; \frac{{dy}}{{dt}} = x + 6z,\; \frac{{dz}}{{dt}} = - y + 4z.\]

Solution.

We calculate the eigenvalues:

\[\det \left( {A - \lambda I} \right) = \left| {\begin{array}{*{20}{c}} { - 3 - \lambda }&{ - 6}&6\\ 1&{0 - \lambda }&6\\ 0&{ - 1}&{4 - \lambda } \end{array}} \right| = 0,\;\; \Rightarrow \left( { - 3 - \lambda } \right)\left[ {\left( { - \lambda } \right)\left( {4 - \lambda } \right) + 6} \right] - 1 \cdot \left[ {\left( { - 6} \right)\left( {4 - \lambda } \right) + 6} \right] = 0,\;\; \Rightarrow \left( {\lambda + 3} \right)\left( {{\lambda ^2} - 4\lambda + 6} \right) + 6\lambda - 18 = 0,\;\; \Rightarrow {\lambda ^3} + 3{\lambda ^2} - 4{\lambda ^2} - 12\lambda + 6\lambda + 18 + 6\lambda - 18 = 0,\;\; \Rightarrow {\lambda ^3} - {\lambda ^2} = 0,\;\; \Rightarrow {\lambda ^2}\left( {\lambda - 1} \right) = 0.\]

It can be seen that there are two eigenvalues: \({\lambda _1} = 0\) of multiplicity \({k_1} = 2\) and \({\lambda _2} = 1\) of multiplicity \({k_2} = 1.\)

Compute the rank of the matrix \(A - {\lambda _1}I:\)

\[A - {\lambda _1}I = {\left[ {\begin{array}{*{20}{r}} { - 3}&{ - 6}&6\\ 1&0&6\\ 0&{ - 1}&4 \end{array}} \right]} \sim {\left[ {\begin{array}{*{20}{r}} 1&2&{ - 2}\\ 1&0&6\\ 0&{ - 1}&4 \end{array}} \right]} \sim \left[ {\begin{array}{*{20}{r}} 1&2&{ - 2}\\ 0&{ - 2}&8\\ 0&{ - 1}&4 \end{array}} \right] \sim \left[ {\begin{array}{*{20}{r}} 1&2&{ - 2}\\ 0&{ - 1}&4 \end{array}} \right].\]

Consequently, \(\text{rank}\left( {A - {\lambda _1}I} \right) = 2\) and, respectively, the geometric multiplicity \({s_1}\) of the eigenvalue \({\lambda _1} = 0\) is equal to:

\[{s_1} = n - \text{rank}\left( {A - {\lambda _1}I} \right) = 3 - 2 = 1.\]

It is clear that we are dealing with the Case \(6,\) where the Jordan form contains two blocks, one of which is associated with one independent eigenvector and one generalized eigenvector. First we find the ordinary eigenvector \({\mathbf{V}_1} = {\left( {{V_{11}},{V_{21}},{V_{31}}} \right)^T}\) by solving the matrix equation

\[\left( {A - {\lambda _1}I} \right){\mathbf{V}_1} = \mathbf{0},\]

which is equivalent to the system

\[\left\{ \begin{array}{l} {V_{11}} + 2{V_{21}} - 2{V_{31}} = 0\\ 0 - {V_{21}} + 4{V_{31}} = 0 \end{array} \right..\]

Let \({V_{31}} = t.\) Then

\[{V_{21}} = 4{V_{31}} = 4t,\;\; \Rightarrow {V_{11}} = - 2{V_{21}} + 2{V_{31}} = - 2 \cdot 4t + 2t = - 6t.\]

We get

\[{\mathbf{V}_1} = \left[ {\begin{array}{*{20}{c}} {{V_{11}}}\\ {{V_{21}}}\\ {{V_{31}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - 6t}\\ {4t}\\ t \end{array}} \right] = t\left[ {\begin{array}{*{20}{c}} { - 6}\\ 4\\ 1 \end{array}} \right] \sim \left[ {\begin{array}{*{20}{c}} { - 6}\\ 4\\ 1 \end{array}} \right].\]

Now we calculate the generalized eigenvector \({\mathbf{V}_2} = {\left( {{V_{12}},{V_{22}},{V_{32}}} \right)^T}:\)

\[\left( {A - {\lambda _1}I} \right){\mathbf{V}_2} = {\mathbf{V}_1},\;\; \Rightarrow \left[ {\begin{array}{*{20}{c}} { - 3}&{ - 6}&6\\ 1&0&6\\ 0&{ - 1}&4 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{V_{12}}}\\ {{V_{22}}}\\ {{V_{32}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - 6}\\ 4\\ 1 \end{array}} \right],\;\; \Rightarrow \left\{ {\begin{array}{*{20}{l}} { - 3{V_{12}} - 6{V_{22}} + 6{V_{32}} = - 6}\\ {{V_{12}} + 0 + 6{V_{32}} = 4}\\ {0 - {V_{22}} + 4{V_{32}} = 1} \end{array}} \right.,\;\; \Rightarrow {\left\{ {\begin{array}{*{20}{l}} {{V_{12}} + 2{V_{22}} - 2{V_{32}} = 2}\\ {{V_{12}} + 0 + 6{V_{32}} = 4}\\ {0 - {V_{22}} + 4{V_{32}} = 1} \end{array}} \right.},\;\; \Rightarrow \left\{ {\begin{array}{*{20}{l}} {{V_{12}} + 2{V_{22}} - 2{V_{32}} = 2}\\ {0 - 2{V_{22}} + 8{V_{32}} = 2}\\ {0 - {V_{22}} + 4{V_{32}} = 1} \end{array}} \right.,\;\; \Rightarrow \left\{ {\begin{array}{*{20}{l}} {{V_{12}} + 2{V_{22}} - 2{V_{32}} = 2}\\ { - {V_{22}} + 4{V_{32}} = 1} \end{array}} \right..\]

We can choose any vector satisfying these equations. Suppose \({V_{32}} = 0.\) Then the remaining coordinates are

\[{V_{22}} = 4{V_{32}} - 1 = - 1,\;\; {V_{12}} = 2{V_{32}} - 2{V_{22}} + 2 = 0 - 2 \cdot \left( { - 1} \right) + 2 = 4.\]

Thus, the coordinates of the generalized eigenvector \({\mathbf{V}_2}\) are

\[{\mathbf{V}_2} = \left[ {\begin{array}{*{20}{c}} {{V_{12}}}\\ {{V_{22}}}\\ {{V_{32}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 4\\ { - 1}\\ 0 \end{array}} \right].\]

Consider now the eigenvalue \({\lambda _2} = 1.\) The corresponding eigenvector \({\mathbf{V}_3} = {\left( {{V_{13}},{V_{23}},{V_{33}}} \right)^T}\) is given by

\[\left[ {\begin{array}{*{20}{c}} { - 3 - 1}&{ - 6}&6\\ 1&{0 - 1}&6\\ 0&{ - 1}&{4 - 1} \end{array}} \right] \left[ {\begin{array}{*{20}{c}} {{V_{13}}}\\ {{V_{23}}}\\ {{V_{33}}} \end{array}} \right] = \mathbf{0},\;\;\Rightarrow {\left\{ {\begin{array}{*{20}{l}} { - 4{V_{13}} - 6{V_{23}} + 6{V_{33}} = 0}\\ {{V_{13}} - {V_{23}} + 6{V_{33}} = 0}\\ {0 - {V_{23}} + 3{V_{33}} = 0} \end{array}} \right.},\;\; \Rightarrow {\left\{ {\begin{array}{*{20}{l}} {{V_{13}} - {V_{23}} + 6{V_{33}} = 0}\\ {2{V_{13}} + 3{V_{23}} - 3{V_{33}} = 0}\\ {0 - {V_{23}} + 3{V_{33}} = 0} \end{array}} \right.},\;\; \Rightarrow \left\{ {\begin{array}{*{20}{l}} {{V_{13}} - {V_{23}} + 6{V_{33}} = 0}\\ {0 + 5{V_{23}} - 15{V_{33}} = 0}\\ {0 - {V_{23}} + 3{V_{33}} = 0} \end{array}} \right.,\;\; \Rightarrow \left\{ {\begin{array}{*{20}{l}} {{V_{13}} - {V_{23}} + 6{V_{33}} = 0}\\ {{V_{23}} - 3{V_{33}} = 0} \end{array}} \right..\]

Let \({V_{33}} = t.\) Then

\[{V_{23}} = 3{V_{33}} = 3t,\;\; \Rightarrow {V_{13}} = {V_{23}} - 6{V_{33}} = 3t - 6t = - 3t.\]

Hence,

\[{\mathbf{V}_3} = \left[ {\begin{array}{*{20}{c}} {{V_{13}}}\\ {{V_{23}}}\\ {{V_{33}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - 3t}\\ {3t}\\ t \end{array}} \right] = t\left[ {\begin{array}{*{20}{c}} { - 3}\\ 3\\ 1 \end{array}} \right] \sim \left[ {\begin{array}{*{20}{c}} { - 3}\\ 3\\ 1 \end{array}} \right].\]

Verify that the eigenvectors are calculated correctly by the formula

\[{H^{ - 1}}AH = J,\;\; \text{where}\;\; H = \left[ {\begin{array}{*{20}{c}} { - 6}&4&{ - 3}\\ 4&{ - 1}&3\\ 1&0&1 \end{array}} \right].\]

The determinant of the matrix \(H\) is

\[\Delta \left( H \right) = \left| {\begin{array}{*{20}{c}} { - 6}&4&{ - 3}\\ 4&{ - 1}&3\\ 1&0&1 \end{array}} \right| = 1 \cdot \left( {12 - 3} \right) + 1 \cdot \left( {6 - 16} \right) = 9 - 10 = - 1.\]

Form the matrix \(B\) of cofactors:

\[B = \left[ {\begin{array}{*{20}{c}} {{A_{11}}}&{{A_{12}}}&{{A_{13}}}\\ {{A_{21}}}&{{A_{22}}}&{{A_{23}}}\\ {{A_{31}}}&{{A_{32}}}&{{A_{33}}} \end{array}} \right],\]
\[ {A_{11}} = \left| {\begin{array}{*{20}{c}} { - 1}&3\\ 0&1 \end{array}} \right| = - 1 - 0 = - 1,\;\; {A_{12}} = - \left| {\begin{array}{*{20}{c}} 4&3\\ 1&1 \end{array}} \right| = - \left( {4 - 3} \right) = - 1,\;\; {A_{13}} = \left| {\begin{array}{*{20}{c}} 4&{ - 1}\\ 1&0 \end{array}} \right| = 0 + 1 = 1,\;\; {A_{21}} = - \left| {\begin{array}{*{20}{c}} 4&{ - 3}\\ 0&1 \end{array}} \right| = - \left( {4 - 0} \right) = - 4,\;\; {A_{22}} = \left| {\begin{array}{*{20}{c}} { - 6}&{ - 3}\\ 1&1 \end{array}} \right| = - 6 + 3 = - 3,\;\; {A_{23}} = - \left| {\begin{array}{*{20}{c}} { - 6}&4\\ 1&0 \end{array}} \right| = - \left( {0 - 4} \right) = 4,\;\; {A_{13}} = \left| {\begin{array}{*{20}{c}} 4&{ - 3}\\ { - 1}&3 \end{array}} \right| = 12 - 3 = 9,\;\; {A_{32}} = - \left| {\begin{array}{*{20}{c}} { - 6}&{ - 3}\\ 4&3 \end{array}} \right| = - \left( { - 18 + 12} \right) = 6,\;\; {A_{33}} = \left| {\begin{array}{*{20}{c}} { - 6}&4\\ 4&{ - 1} \end{array}} \right| = 6 - 16 = - 10.\]

Hence,

\[B = \left[ {\begin{array}{*{20}{c}} {{A_{11}}}&{{A_{12}}}&{{A_{13}}}\\ {{A_{21}}}&{{A_{22}}}&{{A_{23}}}\\ {{A_{31}}}&{{A_{32}}}&{{A_{33}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{r}} { - 1}&{ - 1}&1\\ { - 4}&{ - 3}&4\\ 9&6&{ - 10} \end{array}} \right].\]

Transposing the matrix \(B,\) we write the inverse matrix \({H^{ - 1}}:\)

\[{H^{ - 1}} = \frac{1}{{\Delta \left( H \right)}}{B^T} = \left( { - 1} \right) \cdot \left[ {\begin{array}{*{20}{r}} { - 1}&{ - 4}&9\\ { - 1}&{ - 3}&6\\ 1&4&{ - 10} \end{array}} \right] = \left[ {\begin{array}{*{20}{r}} 1&4&{ - 9}\\ 1&3&{ - 6}\\ { - 1}&{ - 4}&{10} \end{array}} \right].\]

Calculate the product of three matrices:

\[{H^{ - 1}}AH = \left[ {\begin{array}{*{20}{r}} 1&4&{ - 9}\\ 1&3&{ - 6}\\ { - 1}&{ - 4}&{10} \end{array}} \right] \left[ {\begin{array}{*{20}{r}} { - 3}&{ - 6}&6\\ 1&0&6\\ 0&{ - 1}&4 \end{array}} \right] \left[ {\begin{array}{*{20}{r}} { - 6}&4&{ - 3}\\ 4&{ - 1}&3\\ 1&0&1 \end{array}} \right] = \left[ {\begin{array}{*{20}{r}} 1&3&{ - 6}\\ 0&0&0\\ { - 1}&{ - 4}&{10} \end{array}} \right] \left[ {\begin{array}{*{20}{r}} { - 6}&4&{ - 3}\\ 4&{ - 1}&3\\ 1&0&1 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} \color{blue}0&\color{blue}1&0\\ \color{blue}0&\color{blue}0&0\\ 0&0&\color{red}1 \end{array}} \right] = J.\]

We obtained the Jordan form \(J\) containing the eigenvalues \({\lambda _1} = 0\) on the diagonal of the first block and the eigenvalue \({\lambda _2} = 1\) in the second block.

The general solution is given by

\[\mathbf{X}\left( t \right) = \left[ {\begin{array}{*{20}{c}} x\\ y\\ z \end{array}} \right] = {C_1}{e^{{\lambda _1}t}}{\mathbf{V}_1} + {C_2}{e^{{\lambda _2}t}}\left( {t{\mathbf{V}_1} + {\mathbf{V}_2}} \right) + {C_3}{e^{{\lambda _2}t}}{\mathbf{V}_3} = {C_1}\left[ {\begin{array}{*{20}{c}} { - 6}\\ 4\\ 1 \end{array}} \right] + {C_2}\left( {t\left[ {\begin{array}{*{20}{c}} { - 6}\\ 4\\ 1 \end{array}} \right] + \left[ {\begin{array}{*{20}{c}} 4\\ { - 1}\\ 0 \end{array}} \right]} \right) + {C_3}{e^t}\left[ {\begin{array}{*{20}{c}} { - 3}\\ 3\\ 1 \end{array}} \right].\]

Example 7.

Find the general solution of the system of linear differential equations

\[\frac{{dx}}{{dt}} = 4x + 6y - 15z,\; \frac{{dy}}{{dt}} = x + 3y - 5z,\; \frac{{dz}}{{dt}} = x + 2y - 4z.\]

Solution.

We write the characteristic equation and find the eigenvalues:

\[\det \left( {A - \lambda I} \right) = \left| {\begin{array}{*{20}{c}} {4 - \lambda }&6&{ - 15}\\ 1&{3 - \lambda }&{ - 5}\\ 1&2&{ - 4 - \lambda } \end{array}} \right| = 0,\]
\[\Rightarrow \left( {4 - \lambda } \right) \cdot \left[ {\left( {3 - \lambda } \right)\left( { - 4 - \lambda } \right) + 10} \right] - 1 \cdot \left[ {6\left( { - 4 - \lambda } \right) + 30} \right] + 1 \cdot \left[ { - 30 + 15\left( {3 - \lambda } \right)} \right] = 0,\]
\[\Rightarrow \left( {4 - \lambda } \right)\left( {{\lambda ^2} + \lambda - 2} \right) - \left( { - 6\lambda + 6} \right) + \left( {15 - 15\lambda } \right) = 0,\]
\[\Rightarrow 4{\lambda ^2} - {\lambda ^3} + 4\lambda - {\lambda ^2} - 8 + 2\lambda + 6\lambda - 6 + 15 - 15\lambda = 0,\]
\[\Rightarrow {\lambda ^3} - 3{\lambda ^2} + 3\lambda - 1 = 0,\;\; \Rightarrow {\left( {\lambda - 1} \right)^3} = 0.\]

The equation has one root \({\lambda _1} = 1\) of multiplicity \({k_1} = 3.\) Determine the rank of the matrix \(A - {\lambda _1}I:\)

\[\left[ {\begin{array}{*{20}{c}} {4 - 1}&6&{ - 15}\\ 1&{3 - 1}&{ - 5}\\ 1&2&{ - 4 - 1} \end{array}} \right] \sim \left[ {\begin{array}{*{20}{c}} 3&6&{ - 15}\\ 1&2&{ - 5}\\ 1&2&{ - 5} \end{array}} \right] \sim \left( {\begin{array}{*{20}{c}} 1&2&{ - 5} \end{array}} \right).\]

The rank is \(1.\) Therefore, the geometric multiplicity of the eigenvalue \({\lambda _1} = 1\) is

\[{s_1} = n - \text{rank}\left( {A - {\lambda _1}I} \right) = 3 - 1 = 2.\]

It follows that the Jordan form consists of two blocks and corresponds to Case \(7.\)

We find the eigenvectors\({\mathbf{V}_1}\) and \({\mathbf{V}_2}\) associated with the eigenvalue \({\lambda _1} = 1.\) Let the coordinates of the vector \({\mathbf{V}_1}\) be \({\mathbf{V}_1} = {\left( {{V_{11}},{V_{21}},{V_{31}}} \right)^T}.\) Solve the equation

\[\det \left( {A - {\lambda _1}I} \right){\mathbf{V}_1} = \mathbf{0},\;\; \Rightarrow {V_{11}} + 2{V_{21}} - 5{V_{31}} = 0.\]

We can choose two coordinates arbitrarily. A simple pair of linearly independent vectors is obtained by setting \(y = 1, z = 0\) for the vector \({\mathbf{V}_1}\) and \(y = 0, z = 1\) for the vector \({\mathbf{V}_2}.\) Substituting these values into the last equation, we find the coordinates \(x\) of the eigenvectors \({\mathbf{V}_1}\) and \({\mathbf{V}_2}:\)

\[{\mathbf{V}_1} = \left[ {\begin{array}{*{20}{c}} { - 2}\\ 1\\ 0 \end{array}} \right],\;\; {\mathbf{V}_2} = \left[ {\begin{array}{*{20}{c}} 5\\ 0\\ 1 \end{array}} \right].\]

Here we must bear in mind that in the system of equations of rank \(1,\) there is an infinite number of eigenvectors (lying in the plane \(x + 2y - 5z = 0\)). At the same time, in this step the vectors \({\mathbf{V}_1}\) and \({\mathbf{V}_2}\) are not necessary to be a part of a Jordan basis.

Consider the \(2 \times 2\) Jordan block. Obviously, the Jordan chain consists of one independent eigenvector and one generalized eigenvector. We denote these vectors as \({\mathbf{U}_1}\) and \({\mathbf{U}_2}.\) They must satisfy the following matrix equations:

\[\left( {A - {\lambda _1}I} \right){\mathbf{U}_2} = {\mathbf{U}_1},\;\; \left( {A - {\lambda _1}I} \right){\mathbf{U}_1} = \mathbf{0}.\]

Verify that \({\left( {A - {\lambda _1}I} \right)^2} = \mathbf{0}:\)

\[{\left( {A - {\lambda _1}I} \right)^2} = {\left[ {\begin{array}{*{20}{c}} 3&6&{ - 15}\\ 1&2&{ - 5}\\ 1&2&{ - 5} \end{array}} \right]^2} = \left[ {\begin{array}{*{20}{c}} 3&6&{ - 15}\\ 1&2&{ - 5}\\ 1&2&{ - 5} \end{array}} \right] \left[ {\begin{array}{*{20}{c}} 3&6&{ - 15}\\ 1&2&{ - 5}\\ 1&2&{ - 5} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 0&0&0\\ 0&0&0\\ 0&0&0 \end{array}} \right] = \mathbf{0}.\]

Thus, any non-zero vector belongs to the kernel of the operator \({\left( {A - {\lambda _1}I} \right)^2}.\) Since the first column of the matrix \({A - {\lambda _1}I}\) is not equal to zero, one can take the unit vector of the axis \(Ox\) as the generalized eigenvector \({\mathbf{U}_2}:\) \({\mathbf{U}_2} = {\left( {1,0,0} \right)^T}.\)

Compute the vector \({\mathbf{U}_1}:\)

\[{\mathbf{U}_1} = \left[ {\begin{array}{*{20}{c}} 3&6&{ - 15}\\ 1&2&{ - 5}\\ 1&2&{ - 5} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} 1\\ 0\\ 0 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {3 + 0 + 0}\\ {1 + 0 + 0}\\ {1 + 0 + 0} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 3\\ 1\\ 1 \end{array}} \right].\]

Let us show that the found vector \({\mathbf{U}_1}\) belongs to the kernel of the operator \({A - {\lambda _1}I},\) i.e. is an eigenvector of \(A:\)

\[\left( {A - {\lambda _1}I} \right){\mathbf{U}_1} = \left[ {\begin{array}{*{20}{c}} 3&6&{ - 15}\\ 1&2&{ - 5}\\ 1&2&{ - 5} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} 3\\ 1\\ 1 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {9 + 6 - 15}\\ {3 + 2 - 5}\\ {3 + 2 - 5} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 0\\ 0\\ 0 \end{array}} \right] = \mathbf{0}.\]

So, we have two basis vectors \({\mathbf{U}_1}\) and \({\mathbf{U}_2}\) associated to the \(2 \times 2\) Jordan block. The other \(1 \times 1\) block contains one more eigenvector, which can be taken as any eigenvector of \(A\) that is not collinear with \({\mathbf{U}_1} = {\left( {3,1,1} \right)^T}.\) Take, for example, the vector \({\mathbf{V}_2} = {\left( {5,0,1} \right)^T}\) determined in the beginning of the solution.

Three linearly independent vectors \({\mathbf{U}_1},\) \({\mathbf{U}_2}\) and \({\mathbf{V}_2}\) form a Jordan basis. The general solution of the system is expressed as

\[\mathbf{X}\left( t \right) = \left[ {\begin{array}{*{20}{c}} x\\ y\\ z \end{array}} \right] = {{{C_1}{e^{{\lambda _1}t}}{\mathbf{U}_1} }+{ {C_2}{e^{{\lambda _1}t}}\left( {t{\mathbf{U}_1} + {\mathbf{U}_2}} \right) }}+{{ {C_3}{e^{{\lambda _1}t}}{\mathbf{V}_2} }} = {C_1}{e^t}\left[ {\begin{array}{*{20}{c}} 3\\ 1\\ 1 \end{array}} \right] + {C_2}{e^t}\left( {t\left[ {\begin{array}{*{20}{c}} 3\\ 1\\ 1 \end{array}} \right] + \left[ {\begin{array}{*{20}{c}} 1\\ 0\\ 0 \end{array}} \right]} \right) + {C_3}{e^t}\left[ {\begin{array}{*{20}{c}} 5\\ 0\\ 1 \end{array}} \right].\]

Example 8.

Solve the system of linear equations

\[\frac{{dx}}{{dt}} = - 7x - 5y - 3z,\; \frac{{dy}}{{dt}} = 2x - 2y - 3z,\; \frac{{dz}}{{dt}} = y.\]

Solution.

We form the characteristic equation and find its roots:

\[\det \left( {A - \lambda I} \right) = \left| {\begin{array}{*{20}{c}} { - 7 - \lambda }&{ - 5}&{ - 3}\\ 2&{ - 2 - \lambda }&{ - 3}\\ 0&1&{ - \lambda } \end{array}} \right| = 0,\;\; \Rightarrow \left( { - 7 - \lambda } \right)\left[ {\left( { - 2 - \lambda } \right)\left( { - \lambda } \right) + 3} \right] - 2\left( {5\lambda + 3} \right) = 0,\;\; \Rightarrow \left( {\lambda + 7} \right)\left( {{\lambda ^2} + 2\lambda + 3} \right) + 10\lambda + 6 = 0,\;\; \Rightarrow {\lambda ^3} + 7{\lambda ^2} + 2{\lambda ^2} + 14\lambda + 3\lambda + 21 + 10\lambda + 6 = 0,\;\; \Rightarrow {\lambda ^3} + 9{\lambda ^2} + 27\lambda + 27 = 0,\;\; \Rightarrow {\left( {\lambda + 3} \right)^3} = 0.\]

Hence, the matrix \(A\) has one eigenvalue \({\lambda _1} = - 3\) with algebraic multiplicity \({k_1} = 3.\)

Compute the rank of the matrix \(A - {\lambda _1}I:\)

\[\left[ {\begin{array}{*{20}{c}} { - 7 + 3}&{ - 5}&{ - 3}\\ 2&{ - 2 + 3}&{ - 3}\\ 0&1&3 \end{array}} \right] \sim {\left[ {\begin{array}{*{20}{r}} { - 4}&{ - 5}&{ - 3}\\ 2&1&{ - 3}\\ 0&1&3 \end{array}} \right]} \sim {\left[ {\begin{array}{*{20}{r}} 2&1&{ - 3}\\ 4&5&3\\ 0&1&3 \end{array}} \right]} \sim \left[ {\begin{array}{*{20}{r}} 2&1&{ - 3}\\ 0&3&9\\ 0&1&3 \end{array}} \right] \sim \left[ {\begin{array}{*{20}{r}} 2&1&{ - 3}\\ 0&1&3 \end{array}} \right].\]

It is seen that \(\text{rank}\left( {A - {\lambda _1}I} \right) = 2,\) so the geometric multiplicity of \({\lambda _1} = - 3\) is

\[{s_1} = n - \text{rank}\left( {A - {\lambda _1}I} \right) = 3 - 2 = 1.\]

Here we have the Case \(8,\) where there is a Jordan block of size \(3 \times 3.\) The corresponding Jordan chain will consist of one regular eigenvector \({\mathbf{V}_1}\) and two generalized eigenvectors \({\mathbf{V}_2},\) \({\mathbf{V}_3}.\) For these vectors, which form a Jordan basis, we will have the following relations:

\[\left( {A - {\lambda _1}I} \right){\mathbf{V}_1} = \mathbf{0},\;\;\; \left( {A - {\lambda _1}I} \right){\mathbf{V}_2} = {\mathbf{V}_1},\;\;\; \left( {A - {\lambda _1}I} \right){\mathbf{V}_3} = {\mathbf{V}_2}.\]

We show that \({\left( {A - {\lambda _1}I} \right)^3} = \mathbf{0}:\)

\[{\left( {A - {\lambda _1}I} \right)^2} = {\left[ {\begin{array}{*{20}{r}} { - 4}&{ - 5}&{ - 3}\\ 2&1&{ - 3}\\ 0&1&3 \end{array}} \right]^2} = \left[ {\begin{array}{*{20}{r}} { - 4}&{ - 5}&{ - 3}\\ 2&1&{ - 3}\\ 0&1&3 \end{array}} \right]\left[ {\begin{array}{*{20}{r}} { - 4}&{ - 5}&{ - 3}\\ 2&1&{ - 3}\\ 0&1&3 \end{array}} \right] = \left[ {\begin{array}{*{20}{r}} 6&{12}&{18}\\ { - 6}&{ - 12}&{ - 18}\\ 2&4&6 \end{array}} \right],\]
\[{\left( {A - {\lambda _1}I} \right)^3} = \left[ {\begin{array}{*{20}{r}} 6&{12}&{18}\\ { - 6}&{ - 12}&{ - 18}\\ 2&4&6 \end{array}} \right]\left[ {\begin{array}{*{20}{r}} { - 4}&{ - 5}&{ - 3}\\ 2&1&{ - 3}\\ 0&1&3 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 0&0&0\\ 0&0&0\\ 0&0&0 \end{array}} \right] = \mathbf{0}.\]

Thus,

\[\ker {\left( {A - {\lambda _1}I} \right)^3} = {R^3},\]

that is the kernel of the operator \({\left( {A - {\lambda _1}I} \right)^3}\) coincides with the whole space. Therefore, we can choose any arbitrary non-zero vector \({\mathbf{V}_3}\) to form the Jordan chain. Take, for example, the vector \({\mathbf{V}_3} = {\left( {1,0,0} \right)^T}\) and make sure that it does not belong to the kernel of the operator \({\left( {A - {\lambda _1}I} \right)^2}:\)

\[{\left( {A - {\lambda _1}I} \right)^2}{\mathbf{V}_3} = \left[ {\begin{array}{*{20}{r}} 6&{12}&{18}\\ { - 6}&{ - 12}&{ - 18}\\ 2&4&6 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} 1\\ 0\\ 0 \end{array}} \right] = \left[ {\begin{array}{*{20}{r}} {6 + 0 + 0}\\ { - 6 + 0 + 0}\\ {2 + 0 + 0} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 6\\ { - 6}\\ 2 \end{array}} \right] \ne \mathbf{0}.\]

Now we calculate the vectors \({\mathbf{V}_2}\) and \({\mathbf{V}_1}\) from the chain of relationships

\[{\mathbf{V}_1} = \left( {A - {\lambda _1}I} \right){\mathbf{V}_2} = {\left( {A - {\lambda _1}I} \right)^2}{\mathbf{V}_3}.\]

Our goal is to get a nonzero vector \({\mathbf{V}_1},\) i.e. construct a Jordan basis. If the vector \({\mathbf{V}_1} = \mathbf{0},\) one can take the vector \({\left( {0,1,0} \right)^T}\) or \({\left( {0,0,1} \right)^T}\) as the initial vector \({\mathbf{V}_3}.\) In one of the three options we will definitely obtain a non-zero vector \({\mathbf{V}_1}.\) This follows from the fact that the kernel of the operator \({\left( {A - {\lambda _1}I} \right)^2}\) is not the whole space, and, therefore, can not have three linearly independent vectors.

Continuing the calculation, we find \({\mathbf{V}_2}\) and \({\mathbf{V}_1}:\)

\[{\mathbf{V}_2} = \left( {A - {\lambda _1}I} \right){\mathbf{V}_3} = \left[ {\begin{array}{*{20}{r}} { - 4}&{ - 5}&{ - 3}\\ 2&1&{ - 3}\\ 0&1&3 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} 1\\ 0\\ 0 \end{array}} \right] = \left[ {\begin{array}{*{20}{r}} { - 4 + 0 + 0}\\ {2 + 0 + 0}\\ {0 + 0 + 0} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} { - 4}\\ 2\\ 0 \end{array}} \right],\]
\[{\mathbf{V}_1} = \left( {A - {\lambda _1}I} \right){\mathbf{V}_2} = \left[ {\begin{array}{*{20}{r}} { - 4}&{ - 5}&{ - 3}\\ 2&1&{ - 3}\\ 0&1&3 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} -4\\ 2\\ 0 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {16 - 10 + 0}\\ {-8 + 2 + 0}\\ {0 + 2 + 0} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {6}\\ {-6}\\ 2 \end{array}} \right],\]

Thus, we have determined a Jordan basis consisting of the vectors

\[{\mathbf{V}_1} = \left[ {\begin{array}{*{20}{c}} 6\\ { - 6}\\ 2 \end{array}} \right],\;\; {\mathbf{V}_2} = \left[ {\begin{array}{*{20}{c}} { - 4}\\ 2\\ 0 \end{array}} \right],\;\; {\mathbf{V}_3} = \left[ {\begin{array}{*{20}{c}} 1\\ 0\\ 0 \end{array}} \right].\]

Now we check the result using the formula

\[{H^{ - 1}}AH = J.\]

Here the matrix \(H\) is composed of the basis vectors \({\mathbf{V}_1},\) \({\mathbf{V}_2},\) \({\mathbf{V}_3}:\)

\[H = \left[ {\begin{array}{*{20}{r}} 6&{ - 4}&1\\ { - 6}&2&0\\ 2&0&0 \end{array}} \right].\]

The inverse matrix \({H^{ - 1}}\) is

\[{H^{ - 1}} = \left[ {\begin{array}{*{20}{c}} 0&0&{\frac{1}{2}}\\ 0&{\frac{1}{2}}&{\frac{3}{2}}\\ 1&2&3 \end{array}} \right].\]

Multiplying the matrices, we get

\[{H^{ - 1}}AH = \left[ {\begin{array}{*{20}{c}} 0&0&{\frac{1}{2}}\\ 0&{\frac{1}{2}}&{\frac{3}{2}}\\ 1&2&3 \end{array}} \right] \left[ {\begin{array}{*{20}{r}} { - 7}&{ - 5}&{ - 3}\\ 2&{ - 2}&{ - 3}\\ 0&1&0 \end{array}} \right] \left[ {\begin{array}{*{20}{r}} 6&{ - 4}&1\\ { - 6}&2&0\\ 2&0&0 \end{array}} \right] = \left[ {\begin{array}{*{20}{r}} 0&{\frac{1}{2}}&0\\ 1&{\frac{1}{2}}&{ - \frac{3}{2}}\\ { - 3}&{ - 6}&{ - 9} \end{array}} \right] \left[ {\begin{array}{*{20}{r}} 6&{ - 4}&1\\ { - 6}&2&0\\ 2&0&0 \end{array}} \right] = \left[ {\begin{array}{*{20}{r}} \color{blue}{ - 3}&\color{blue}1&\color{blue}0\\ \color{blue}0&\color{blue}{ - 3}&\color{blue}1\\ \color{blue}0&\color{blue}0&\color{blue}{ - 3} \end{array}} \right] = J.\]

The result is a Jordan form with one block of size \(3 \times 3.\)

The general solution of the system is given by

\[\mathbf{X}\left( t \right) = {C_1}{e^{{\lambda _1}t}}{\mathbf{V}_1} + {C_2}{e^{{\lambda _1}t}}\left( {t{\mathbf{V}_1} + {\mathbf{V}_2}} \right) + {C_3}{e^{{\lambda _1}t}} \left( {\frac{{{t^2}}}{{2!}}{\mathbf{V}_1} + t{\mathbf{V}_2} + {\mathbf{V}_3}} \right) = {C_1}{e^{ - 3t}}\left[ {\begin{array}{*{20}{r}} 6\\ { - 6}\\ 2 \end{array}} \right] + {C_2}{e^{ - 3t}}\left( {t\left[ {\begin{array}{*{20}{r}} 6\\ { - 6}\\ 2 \end{array}} \right] + \left[ {\begin{array}{*{20}{r}} { - 4}\\ 2\\ 0 \end{array}} \right]} \right) + {C_3}{e^{ - 3t}}\left( {\frac{{{t^2}}}{2}\left[ {\begin{array}{*{20}{r}} 6\\ { - 6}\\ 2 \end{array}} \right] + t\left[ {\begin{array}{*{20}{r}} { - 4}\\ 2\\ 0 \end{array}} \right] + \left[ {\begin{array}{*{20}{c}} 1\\ 0\\ 0 \end{array}} \right]} \right).\]
Page 1 Page 2