76.30.1 problem 1

Internal problem ID [17889]
Book : Differential equations. An introduction to modern methods and applications. James Brannan, William E. Boyce. Third edition. Wiley 2015
Section : Chapter 7. Nonlinear Differential Equations and Stability. Section 7.1 (Autonomous Systems and Stability). Problems at page 464
Problem number : 1
Date solved : Tuesday, January 28, 2025 at 08:28:11 PM
CAS classification : system_of_ODEs

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

Solution by Maple

Time used: 5.397 (sec). Leaf size: 93

dsolve([diff(x(t),t)=-2*y(t)+x(t)*y(t),diff(y(t),t)=x(t)+4*x(t)*y(t)],singsol=all)
 
\begin{align*} \left [\{x \left (t \right ) = 2\}, \left \{y \left (t \right ) &= -\frac {1}{4}+{\mathrm e}^{8 t} c_{1}\right \}\right ] \\ \left [\left \{x \left (t \right ) &= \operatorname {RootOf}\left (-\int _{}^{\textit {\_Z}}\frac {4 \,{\mathrm e}^{\operatorname {RootOf}\left (-\ln \left (\frac {{\mathrm e}^{\textit {\_Z}}}{2}+\frac {9}{2}\right ) {\mathrm e}^{\textit {\_Z}}-32 \,{\mathrm e}^{\textit {\_Z}} \ln \left (\textit {\_a} -2\right )+3 c_{1} {\mathrm e}^{\textit {\_Z}}+\textit {\_Z} \,{\mathrm e}^{\textit {\_Z}}-16 \textit {\_a} \,{\mathrm e}^{\textit {\_Z}}+9\right )}}{9 \left (\textit {\_a} -2\right )}d \textit {\_a} +t +c_{2} \right )\right \}, \left \{y \left (t \right ) = \frac {\frac {d}{d t}x \left (t \right )}{x \left (t \right )-2}\right \}\right ] \\ \end{align*}

Solution by Mathematica

Time used: 0.230 (sec). Leaf size: 112

DSolve[{D[x[t],t]==-2*y[t]+x[t]*y[t],D[y[t],t]==x[t]+4*x[t]*y[t]},{x[t],y[t]},t,IncludeSingularSolutions -> True]
 
\begin{align*} y(t)\to \text {InverseFunction}\left [\int _1^{\text {$\#$1}}\frac {K[1]}{4 K[1]+1}dK[1]\&\right ]\left [\int _1^{x(t)}\frac {K[2]}{K[2]-2}dK[2]+c_1\right ] \\ \text {Solve}\left [\int _1^{x(t)}\frac {1}{(K[3]-2) \text {InverseFunction}\left [\int _1^{\text {$\#$1}}\frac {K[1]}{4 K[1]+1}dK[1]\&\right ]\left [c_1+\int _1^{K[3]}\frac {K[2]}{K[2]-2}dK[2]\right ]}dK[3]&=t+c_2,x(t)\right ] \\ \end{align*}