Internal problem ID [12724]
Internal file name [OUTPUT/11377_Friday_November_03_2023_06_31_29_AM_539436/index.tex
]
Book: Ordinary Differential Equations by Charles E. Roberts, Jr. CRC Press. 2010
Section: Chapter 2. The Initial Value Problem. Exercises 2.4.4, page 115
Problem number: 10 (a).
ODE order: 1.
ODE degree: 1.
The type(s) of ODE detected by this program : "quadrature"
Maple gives the following as the ode type
[_quadrature]
\[ \boxed {y^{\prime }-\sqrt {\left (y+2\right ) \left (y-1\right )}=0} \] With initial conditions \begin {align*} [y \left (0\right ) = 0] \end {align*}
This is non linear first order ODE. In canonical form it is written as \begin {align*} y^{\prime } &= f(x,y)\\ &= \sqrt {\left (y +2\right ) \left (y -1\right )} \end {align*}
The \(y\) domain of \(f(x,y)\) when \(x=0\) is \[ \{1\le y \le \infty , -\infty \le y \le -2\} \] But the point \(y_0 = 0\) is not inside this domain. Hence existence and uniqueness theorem does not apply. There could be infinite number of solutions, or one solution or no solution at all.
Integrating both sides gives \begin {align*} \int \frac {1}{\sqrt {\left (y +2\right ) \left (y -1\right )}}d y &= \int {dx}\\ \ln \left (\frac {1}{2}+y +\sqrt {y^{2}+y -2}\right )&= x +c_{1} \end {align*}
Initial conditions are used to solve for \(c_{1}\). Substituting \(x=0\) and \(y=0\) in the above solution gives an equation to solve for the constant of integration. \begin {align*} -\ln \left (2\right )+\ln \left (3\right )+i \arctan \left (2 \sqrt {2}\right ) = c_{1} \end {align*}
The solutions are \begin {align*} c_{1} = -\ln \left (2\right )+\ln \left (3\right )+i \arctan \left (2 \sqrt {2}\right ) \end {align*}
Trying the constant \begin {align*} c_{1} = -\ln \left (2\right )+\ln \left (3\right )+i \arctan \left (2 \sqrt {2}\right ) \end {align*}
Substituting \(c_{1}\) found above in the general solution gives \begin {align*} \ln \left (\frac {1}{2}+y +\sqrt {y^{2}+y -2}\right ) = x -\ln \left (2\right )+\ln \left (3\right )+i \arctan \left (2 \sqrt {2}\right ) \end {align*}
The constant \(c_{1} = -\ln \left (2\right )+\ln \left (3\right )+i \arctan \left (2 \sqrt {2}\right )\) gives valid solution.
Summary
The solution(s) found are the following \begin{align*} \tag{1} -\ln \left (2\right )+\ln \left (1+2 y+2 \sqrt {\left (y+2\right ) \left (y-1\right )}\right ) &= x -\ln \left (2\right )+\ln \left (3\right )+i \arctan \left (2 \sqrt {2}\right ) \\ \end{align*}
Verification of solutions
\[ -\ln \left (2\right )+\ln \left (1+2 y+2 \sqrt {\left (y+2\right ) \left (y-1\right )}\right ) = x -\ln \left (2\right )+\ln \left (3\right )+i \arctan \left (2 \sqrt {2}\right ) \] Verified OK.
Maple trace
`Methods for first order ODEs: --- Trying classification methods --- trying a quadrature trying 1st order linear trying Bernoulli trying separable <- separable successful`
✓ Solution by Maple
Time used: 1.031 (sec). Leaf size: 34
dsolve([diff(y(x),x)=sqrt( (y(x)+2)*( y(x)-1)),y(0) = 0],y(x), singsol=all)
\[ y \left (x \right ) = \frac {i {\mathrm e}^{x} \sqrt {2}}{2}-\frac {i \sqrt {2}\, {\mathrm e}^{-x}}{2}+\frac {{\mathrm e}^{x}}{4}-\frac {1}{2}+\frac {{\mathrm e}^{-x}}{4} \]
✓ Solution by Mathematica
Time used: 0.053 (sec). Leaf size: 45
DSolve[{y'[x]==Sqrt[ (y[x]+2)*( y[x]-1)],{y[0]==0}},y[x],x,IncludeSingularSolutions -> True]
\[ y(x)\to \frac {1}{4} e^{-x} \left (e^x-1\right ) \left (\left (1+2 i \sqrt {2}\right ) e^x-1+2 i \sqrt {2}\right ) \]