1.6 problem 2.1 (vi)
Internal
problem
ID
[13204]
Book
:
Nonlinear
Ordinary
Differential
Equations
by
D.W.Jordna
and
P.Smith.
4th
edition
1999.
Oxford
Univ.
Press.
NY
Section
:
Chapter
2.
Plane
autonomous
systems
and
linearization.
Problems
page
79
Problem
number
:
2.1
(vi)
Date
solved
:
Friday, October 18, 2024 at 10:09:32 AM
CAS
classification
:
system_of_ODEs
\begin{align*} \frac {d}{d t}x \left (t \right )&=2 x \left (t \right )+y \left (t \right )\\ \frac {d}{d t}y \left (t \right )&=-x \left (t \right )+y \left (t \right ) \end{align*}
1.6.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 ) \end {array}\right ] &= \left [\begin {array}{cc} 2 & 1 \\ -1 & 1 \end {array}\right ]\, \left [\begin {array}{c} x \left (t \right ) \\ y \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}{cc} {\mathrm e}^{\frac {3 t}{2}} \cos \left (\frac {\sqrt {3}\, t}{2}\right )+\frac {\sqrt {3}\, {\mathrm e}^{\frac {3 t}{2}} \sin \left (\frac {\sqrt {3}\, t}{2}\right )}{3} & \frac {2 \sqrt {3}\, {\mathrm e}^{\frac {3 t}{2}} \sin \left (\frac {\sqrt {3}\, t}{2}\right )}{3} \\ -\frac {2 \sqrt {3}\, {\mathrm e}^{\frac {3 t}{2}} \sin \left (\frac {\sqrt {3}\, t}{2}\right )}{3} & {\mathrm e}^{\frac {3 t}{2}} \cos \left (\frac {\sqrt {3}\, t}{2}\right )-\frac {\sqrt {3}\, {\mathrm e}^{\frac {3 t}{2}} \sin \left (\frac {\sqrt {3}\, t}{2}\right )}{3} \end {array}\right ]\\ &= \left [\begin {array}{cc} \frac {{\mathrm e}^{\frac {3 t}{2}} \left (\sqrt {3}\, \sin \left (\frac {\sqrt {3}\, t}{2}\right )+3 \cos \left (\frac {\sqrt {3}\, t}{2}\right )\right )}{3} & \frac {2 \sqrt {3}\, {\mathrm e}^{\frac {3 t}{2}} \sin \left (\frac {\sqrt {3}\, t}{2}\right )}{3} \\ -\frac {2 \sqrt {3}\, {\mathrm e}^{\frac {3 t}{2}} \sin \left (\frac {\sqrt {3}\, t}{2}\right )}{3} & -\frac {{\mathrm e}^{\frac {3 t}{2}} \left (\sqrt {3}\, \sin \left (\frac {\sqrt {3}\, t}{2}\right )-3 \cos \left (\frac {\sqrt {3}\, t}{2}\right )\right )}{3} \end {array}\right ] \end{align*}
Therefore the homogeneous solution is
\begin{align*} \vec {x}_h(t) &= e^{A t} \vec {c} \\ &= \left [\begin {array}{cc} \frac {{\mathrm e}^{\frac {3 t}{2}} \left (\sqrt {3}\, \sin \left (\frac {\sqrt {3}\, t}{2}\right )+3 \cos \left (\frac {\sqrt {3}\, t}{2}\right )\right )}{3} & \frac {2 \sqrt {3}\, {\mathrm e}^{\frac {3 t}{2}} \sin \left (\frac {\sqrt {3}\, t}{2}\right )}{3} \\ -\frac {2 \sqrt {3}\, {\mathrm e}^{\frac {3 t}{2}} \sin \left (\frac {\sqrt {3}\, t}{2}\right )}{3} & -\frac {{\mathrm e}^{\frac {3 t}{2}} \left (\sqrt {3}\, \sin \left (\frac {\sqrt {3}\, t}{2}\right )-3 \cos \left (\frac {\sqrt {3}\, t}{2}\right )\right )}{3} \end {array}\right ] \left [\begin {array}{c} c_{1} \\ c_{2} \end {array}\right ] \\ &= \left [\begin {array}{c} \frac {{\mathrm e}^{\frac {3 t}{2}} \left (\sqrt {3}\, \sin \left (\frac {\sqrt {3}\, t}{2}\right )+3 \cos \left (\frac {\sqrt {3}\, t}{2}\right )\right ) c_{1}}{3}+\frac {2 \sqrt {3}\, {\mathrm e}^{\frac {3 t}{2}} \sin \left (\frac {\sqrt {3}\, t}{2}\right ) c_{2}}{3} \\ -\frac {2 \sqrt {3}\, {\mathrm e}^{\frac {3 t}{2}} \sin \left (\frac {\sqrt {3}\, t}{2}\right ) c_{1}}{3}-\frac {{\mathrm e}^{\frac {3 t}{2}} \left (\sqrt {3}\, \sin \left (\frac {\sqrt {3}\, t}{2}\right )-3 \cos \left (\frac {\sqrt {3}\, t}{2}\right )\right ) c_{2}}{3} \end {array}\right ]\\ &= \left [\begin {array}{c} \frac {\left (\sqrt {3}\, \left (c_{1}+2 c_{2}\right ) \sin \left (\frac {\sqrt {3}\, t}{2}\right )+3 \cos \left (\frac {\sqrt {3}\, t}{2}\right ) c_{1}\right ) {\mathrm e}^{\frac {3 t}{2}}}{3} \\ -\frac {2 \left (\sqrt {3}\, \left (c_{1}+\frac {c_{2}}{2}\right ) \sin \left (\frac {\sqrt {3}\, t}{2}\right )-\frac {3 \cos \left (\frac {\sqrt {3}\, t}{2}\right ) c_{2}}{2}\right ) {\mathrm e}^{\frac {3 t}{2}}}{3} \end {array}\right ] \end{align*}
Since no forcing function is given, then the final solution is \(\vec {x}_h(t)\) above.
1.6.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 ) \end {array}\right ] &= \left [\begin {array}{cc} 2 & 1 \\ -1 & 1 \end {array}\right ]\, \left [\begin {array}{c} x \left (t \right ) \\ y \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}{cc} 2 & 1 \\ -1 & 1 \end {array}\right ]-\lambda \left [\begin {array}{cc} 1 & 0 \\ 0 & 1 \end {array}\right ]\right ) &= 0 \end{align*}
Therefore
\begin{align*} \operatorname {det} \left (\left [\begin {array}{cc} 2-\lambda & 1 \\ -1 & 1-\lambda \end {array}\right ]\right ) &= 0 \end{align*}
Which gives the characteristic equation
\begin{align*} \lambda ^{2}-3 \lambda +3&=0 \end{align*}
The roots of the above are the eigenvalues.
\begin{align*} \lambda _1 &= \frac {3}{2}+\frac {i \sqrt {3}}{2}\\ \lambda _2 &= \frac {3}{2}-\frac {i \sqrt {3}}{2} \end{align*}
This table summarises the above result
eigenvalue
algebraic multiplicity
type of eigenvalue
\(\frac {3}{2}-\frac {i \sqrt {3}}{2}\) \(1\) complex eigenvalue
\(\frac {3}{2}+\frac {i \sqrt {3}}{2}\) \(1\) complex eigenvalue
Now the eigenvector for each eigenvalue are found.
Considering the eigenvalue \(\lambda _{1} = \frac {3}{2}-\frac {i \sqrt {3}}{2}\)
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}{cc} 2 & 1 \\ -1 & 1 \end {array}\right ] - \left (\frac {3}{2}-\frac {i \sqrt {3}}{2}\right ) \left [\begin {array}{cc} 1 & 0 \\ 0 & 1 \end {array}\right ]\right ) \left [\begin {array}{c} v_{1} \\ v_{2} \end {array}\right ]&=\left [\begin {array}{c} 0 \\ 0 \end {array}\right ]\\ \left [\begin {array}{cc} \frac {1}{2}+\frac {i \sqrt {3}}{2} & 1 \\ -1 & -\frac {1}{2}+\frac {i \sqrt {3}}{2} \end {array}\right ] \left [\begin {array}{c} v_{1} \\ v_{2} \end {array}\right ]&=\left [\begin {array}{c} 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}{@{}cc!{\ifdefined \HCode |\else \color {red}\vline width 0.6pt\fi }c@{}} \frac {1}{2}+\frac {i \sqrt {3}}{2}&1&0\\ -1&-\frac {1}{2}+\frac {i \sqrt {3}}{2}&0 \end {array} \right ] \]
\begin{align*} R_{2} = R_{2}+\frac {R_{1}}{\frac {1}{2}+\frac {i \sqrt {3}}{2}} &\Longrightarrow \hspace {5pt}\left [\begin {array}{@{}cc!{\ifdefined \HCode |\else \color {red}\vline width 0.6pt\fi }c@{}} \frac {1}{2}+\frac {i \sqrt {3}}{2}&1&0\\ 0&0&0 \end {array} \right ] \end{align*}
Therefore the system in Echelon form is
\[ \left [\begin {array}{cc} \frac {1}{2}+\frac {i \sqrt {3}}{2} & 1 \\ 0 & 0 \end {array}\right ] \left [\begin {array}{c} v_{1} \\ v_{2} \end {array}\right ] = \left [\begin {array}{c} 0 \\ 0 \end {array}\right ] \]
The free variables are \(\{v_{2}\}\) and the leading variables are
\(\{v_{1}\}\) . Let \(v_{2} = t\) . 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}{1+i \sqrt {3}}\right \}\)
Hence the solution is
\[ \left [\begin {array}{c} v_{1} \\ t \end {array}\right ] = \left [\begin {array}{c} -\frac {2 t}{1+i \sqrt {3}} \\ 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} \\ t \end {array}\right ] = t \left [\begin {array}{c} -\frac {2}{1+i \sqrt {3}} \\ 1 \end {array}\right ] \]
Let \(t = 1\) the eigenvector becomes
\[ \left [\begin {array}{c} v_{1} \\ t \end {array}\right ] = \left [\begin {array}{c} -\frac {2}{1+i \sqrt {3}} \\ 1 \end {array}\right ] \]
Which is normalized to
\[ \left [\begin {array}{c} v_{1} \\ t \end {array}\right ] = \left [\begin {array}{c} -\frac {2}{1+i \sqrt {3}} \\ 1 \end {array}\right ] \]
Considering the eigenvalue \(\lambda _{2} = \frac {3}{2}+\frac {i \sqrt {3}}{2}\)
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}{cc} 2 & 1 \\ -1 & 1 \end {array}\right ] - \left (\frac {3}{2}+\frac {i \sqrt {3}}{2}\right ) \left [\begin {array}{cc} 1 & 0 \\ 0 & 1 \end {array}\right ]\right ) \left [\begin {array}{c} v_{1} \\ v_{2} \end {array}\right ]&=\left [\begin {array}{c} 0 \\ 0 \end {array}\right ]\\ \left [\begin {array}{cc} \frac {1}{2}-\frac {i \sqrt {3}}{2} & 1 \\ -1 & -\frac {1}{2}-\frac {i \sqrt {3}}{2} \end {array}\right ] \left [\begin {array}{c} v_{1} \\ v_{2} \end {array}\right ]&=\left [\begin {array}{c} 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}{@{}cc!{\ifdefined \HCode |\else \color {red}\vline width 0.6pt\fi }c@{}} \frac {1}{2}-\frac {i \sqrt {3}}{2}&1&0\\ -1&-\frac {1}{2}-\frac {i \sqrt {3}}{2}&0 \end {array} \right ] \]
\begin{align*} R_{2} = R_{2}+\frac {R_{1}}{\frac {1}{2}-\frac {i \sqrt {3}}{2}} &\Longrightarrow \hspace {5pt}\left [\begin {array}{@{}cc!{\ifdefined \HCode |\else \color {red}\vline width 0.6pt\fi }c@{}} \frac {1}{2}-\frac {i \sqrt {3}}{2}&1&0\\ 0&0&0 \end {array} \right ] \end{align*}
Therefore the system in Echelon form is
\[ \left [\begin {array}{cc} \frac {1}{2}-\frac {i \sqrt {3}}{2} & 1 \\ 0 & 0 \end {array}\right ] \left [\begin {array}{c} v_{1} \\ v_{2} \end {array}\right ] = \left [\begin {array}{c} 0 \\ 0 \end {array}\right ] \]
The free variables are \(\{v_{2}\}\) and the leading variables are
\(\{v_{1}\}\) . Let \(v_{2} = t\) . 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}{-1+i \sqrt {3}}\right \}\)
Hence the solution is
\[ \left [\begin {array}{c} v_{1} \\ t \end {array}\right ] = \left [\begin {array}{c} \frac {2 t}{-1+i \sqrt {3}} \\ 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} \\ t \end {array}\right ] = t \left [\begin {array}{c} \frac {2}{-1+i \sqrt {3}} \\ 1 \end {array}\right ] \]
Let \(t = 1\) the eigenvector becomes
\[ \left [\begin {array}{c} v_{1} \\ t \end {array}\right ] = \left [\begin {array}{c} \frac {2}{-1+i \sqrt {3}} \\ 1 \end {array}\right ] \]
Which is normalized to
\[ \left [\begin {array}{c} v_{1} \\ t \end {array}\right ] = \left [\begin {array}{c} \frac {2}{-1+i \sqrt {3}} \\ 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
\(\frac {3}{2}+\frac {i \sqrt {3}}{2}\) \(1\) \(1\) No \(\left [\begin {array}{c} \frac {1}{-\frac {1}{2}+\frac {i \sqrt {3}}{2}} \\ 1 \end {array}\right ]\)
\(\frac {3}{2}-\frac {i \sqrt {3}}{2}\)
\(1\)
\(1\)
No
\(\left [\begin {array}{c} \frac {1}{-\frac {1}{2}-\frac {i \sqrt {3}}{2}} \\ 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. Therefore the final solution is
\begin{align*} \vec {x}_h(t) &= c_{1} \vec {x}_{1}(t) + c_{2} \vec {x}_{2}(t) \end{align*}
Which is written as
\begin{align*} \left [\begin {array}{c} x \left (t \right ) \\ y \left (t \right ) \end {array}\right ] &= c_{1} \left [\begin {array}{c} \frac {{\mathrm e}^{\left (\frac {3}{2}+\frac {i \sqrt {3}}{2}\right ) t}}{-\frac {1}{2}+\frac {i \sqrt {3}}{2}} \\ {\mathrm e}^{\left (\frac {3}{2}+\frac {i \sqrt {3}}{2}\right ) t} \end {array}\right ] + c_{2} \left [\begin {array}{c} \frac {{\mathrm e}^{\left (\frac {3}{2}-\frac {i \sqrt {3}}{2}\right ) t}}{-\frac {1}{2}-\frac {i \sqrt {3}}{2}} \\ {\mathrm e}^{\left (\frac {3}{2}-\frac {i \sqrt {3}}{2}\right ) t} \end {array}\right ] \end{align*}
Which becomes
\begin{align*} \left [\begin {array}{c} x \left (t \right ) \\ y \left (t \right ) \end {array}\right ] = \left [\begin {array}{c} \frac {i c_1 \left (i-\sqrt {3}\right ) {\mathrm e}^{\frac {\left (3+i \sqrt {3}\right ) t}{2}}}{2}+\frac {i \left (\sqrt {3}+i\right ) {\mathrm e}^{-\frac {\left (i \sqrt {3}-3\right ) t}{2}} c_2}{2} \\ c_1 \,{\mathrm e}^{\frac {\left (3+i \sqrt {3}\right ) t}{2}}+c_2 \,{\mathrm e}^{-\frac {\left (i \sqrt {3}-3\right ) t}{2}} \end {array}\right ] \end{align*}
Figure 6: Phase plot
1.6.3 Maple step by step solution
\[ \begin {array}{lll} & {} & \textrm {Let's solve}\hspace {3pt} \\ {} & {} & \left [\frac {d}{d t}x \left (t \right )=2 x \left (t \right )+y \left (t \right ), \frac {d}{d t}y \left (t \right )=-x \left (t \right )+y \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 ) \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}{cc} 2 & 1 \\ -1 & 1 \end {array}\right ]\cdot {\moverset {\rightarrow }{x}}\left (t \right )+\left [\begin {array}{c} 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}{cc} 2 & 1 \\ -1 & 1 \end {array}\right ]\cdot {\moverset {\rightarrow }{x}}\left (t \right ) \\ \bullet & {} & \textrm {Define the coefficient matrix}\hspace {3pt} \\ {} & {} & A =\left [\begin {array}{cc} 2 & 1 \\ -1 & 1 \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 [\frac {3}{2}-\frac {\mathrm {I} \sqrt {3}}{2}, \left [\begin {array}{c} \frac {1}{-\frac {1}{2}-\frac {\mathrm {I} \sqrt {3}}{2}} \\ 1 \end {array}\right ]\right ], \left [\frac {\mathrm {I} \sqrt {3}}{2}+\frac {3}{2}, \left [\begin {array}{c} \frac {1}{-\frac {1}{2}+\frac {\mathrm {I} \sqrt {3}}{2}} \\ 1 \end {array}\right ]\right ]\right ] \\ \bullet & {} & \textrm {Consider complex eigenpair, complex conjugate eigenvalue can be ignored}\hspace {3pt} \\ {} & {} & \left [\frac {3}{2}-\frac {\mathrm {I} \sqrt {3}}{2}, \left [\begin {array}{c} \frac {1}{-\frac {1}{2}-\frac {\mathrm {I} \sqrt {3}}{2}} \\ 1 \end {array}\right ]\right ] \\ \bullet & {} & \textrm {Solution from eigenpair}\hspace {3pt} \\ {} & {} & {\mathrm e}^{\left (\frac {3}{2}-\frac {\mathrm {I} \sqrt {3}}{2}\right ) t}\cdot \left [\begin {array}{c} \frac {1}{-\frac {1}{2}-\frac {\mathrm {I} \sqrt {3}}{2}} \\ 1 \end {array}\right ] \\ \bullet & {} & \textrm {Use Euler identity to write solution in terms of}\hspace {3pt} \sin \hspace {3pt}\textrm {and}\hspace {3pt} \cos \\ {} & {} & {\mathrm e}^{\frac {3 t}{2}}\cdot \left (\cos \left (\frac {\sqrt {3}\, t}{2}\right )-\mathrm {I} \sin \left (\frac {\sqrt {3}\, t}{2}\right )\right )\cdot \left [\begin {array}{c} \frac {1}{-\frac {1}{2}-\frac {\mathrm {I} \sqrt {3}}{2}} \\ 1 \end {array}\right ] \\ \bullet & {} & \textrm {Simplify expression}\hspace {3pt} \\ {} & {} & {\mathrm e}^{\frac {3 t}{2}}\cdot \left [\begin {array}{c} \frac {\cos \left (\frac {\sqrt {3}\, t}{2}\right )-\mathrm {I} \sin \left (\frac {\sqrt {3}\, t}{2}\right )}{-\frac {1}{2}-\frac {\mathrm {I} \sqrt {3}}{2}} \\ \cos \left (\frac {\sqrt {3}\, t}{2}\right )-\mathrm {I} \sin \left (\frac {\sqrt {3}\, t}{2}\right ) \end {array}\right ] \\ \bullet & {} & \textrm {Both real and imaginary parts are solutions to the homogeneous system}\hspace {3pt} \\ {} & {} & \left [{\moverset {\rightarrow }{x}}_{1}\left (t \right )={\mathrm e}^{\frac {3 t}{2}}\cdot \left [\begin {array}{c} -\frac {\cos \left (\frac {\sqrt {3}\, t}{2}\right )}{2}+\frac {\sqrt {3}\, \sin \left (\frac {\sqrt {3}\, t}{2}\right )}{2} \\ \cos \left (\frac {\sqrt {3}\, t}{2}\right ) \end {array}\right ], {\moverset {\rightarrow }{x}}_{2}\left (t \right )={\mathrm e}^{\frac {3 t}{2}}\cdot \left [\begin {array}{c} \frac {\cos \left (\frac {\sqrt {3}\, t}{2}\right ) \sqrt {3}}{2}+\frac {\sin \left (\frac {\sqrt {3}\, t}{2}\right )}{2} \\ -\sin \left (\frac {\sqrt {3}\, t}{2}\right ) \end {array}\right ]\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 ) \\ \bullet & {} & \textrm {Substitute solutions into the general solution}\hspace {3pt} \\ {} & {} & {\moverset {\rightarrow }{x}}=\mathit {C1} \,{\mathrm e}^{\frac {3 t}{2}}\cdot \left [\begin {array}{c} -\frac {\cos \left (\frac {\sqrt {3}\, t}{2}\right )}{2}+\frac {\sqrt {3}\, \sin \left (\frac {\sqrt {3}\, t}{2}\right )}{2} \\ \cos \left (\frac {\sqrt {3}\, t}{2}\right ) \end {array}\right ]+\mathit {C2} \,{\mathrm e}^{\frac {3 t}{2}}\cdot \left [\begin {array}{c} \frac {\cos \left (\frac {\sqrt {3}\, t}{2}\right ) \sqrt {3}}{2}+\frac {\sin \left (\frac {\sqrt {3}\, t}{2}\right )}{2} \\ -\sin \left (\frac {\sqrt {3}\, t}{2}\right ) \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 ) \end {array}\right ]=\left [\begin {array}{c} \frac {\left (\left (\sqrt {3}\, \mathit {C2} -\mathit {C1} \right ) \cos \left (\frac {\sqrt {3}\, t}{2}\right )+\sin \left (\frac {\sqrt {3}\, t}{2}\right ) \left (\mathit {C1} \sqrt {3}+\mathit {C2} \right )\right ) {\mathrm e}^{\frac {3 t}{2}}}{2} \\ {\mathrm e}^{\frac {3 t}{2}} \left (\cos \left (\frac {\sqrt {3}\, t}{2}\right ) \mathit {C1} -\sin \left (\frac {\sqrt {3}\, t}{2}\right ) \mathit {C2} \right ) \end {array}\right ] \\ \bullet & {} & \textrm {Solution to the system of ODEs}\hspace {3pt} \\ {} & {} & \left \{x \left (t \right )=\frac {\left (\left (\sqrt {3}\, \mathit {C2} -\mathit {C1} \right ) \cos \left (\frac {\sqrt {3}\, t}{2}\right )+\sin \left (\frac {\sqrt {3}\, t}{2}\right ) \left (\mathit {C1} \sqrt {3}+\mathit {C2} \right )\right ) {\mathrm e}^{\frac {3 t}{2}}}{2}, y \left (t \right )={\mathrm e}^{\frac {3 t}{2}} \left (\cos \left (\frac {\sqrt {3}\, t}{2}\right ) \mathit {C1} -\sin \left (\frac {\sqrt {3}\, t}{2}\right ) \mathit {C2} \right )\right \} \end {array} \]
1.6.4 Maple dsolve solution
Solving time : 0.057
(sec)
Leaf size : 81
dsolve ([ diff ( x ( t ), t ) = 2*x(t)+y(t), diff ( y ( t ), t ) = y(t)-x(t)]
,{ op ([ x ( t ), y(t)])})
\begin{align*}
x &= {\mathrm e}^{\frac {3 t}{2}} \left (\sin \left (\frac {\sqrt {3}\, t}{2}\right ) c_{1} +\cos \left (\frac {\sqrt {3}\, t}{2}\right ) c_{2} \right ) \\
y &= -\frac {{\mathrm e}^{\frac {3 t}{2}} \left (\sqrt {3}\, \sin \left (\frac {\sqrt {3}\, t}{2}\right ) c_{2} -\sqrt {3}\, \cos \left (\frac {\sqrt {3}\, t}{2}\right ) c_{1} +\sin \left (\frac {\sqrt {3}\, t}{2}\right ) c_{1} +\cos \left (\frac {\sqrt {3}\, t}{2}\right ) c_{2} \right )}{2} \\
\end{align*}
1.6.5 Mathematica DSolve solution
Solving time : 0.024
(sec)
Leaf size : 111
DSolve [{{ D [ x [ t ], t ]==2* x [ t ]+ y [ t ], D [ y [ t ], t ]==- x [ t ]+ y [ t ]},{}},
{x[t],y[t]},t,IncludeSingularSolutions-> True ]
\begin{align*}
x(t)\to \frac {1}{3} e^{3 t/2} \left (3 c_1 \cos \left (\frac {\sqrt {3} t}{2}\right )+\sqrt {3} (c_1+2 c_2) \sin \left (\frac {\sqrt {3} t}{2}\right )\right ) \\
y(t)\to \frac {1}{3} e^{3 t/2} \left (3 c_2 \cos \left (\frac {\sqrt {3} t}{2}\right )-\sqrt {3} (2 c_1+c_2) \sin \left (\frac {\sqrt {3} t}{2}\right )\right ) \\
\end{align*}