Internal problem ID [983]
Internal file name [OUTPUT/984_Sunday_June_05_2022_01_55_59_AM_7349123/index.tex
]
Book: Elementary differential equations with boundary value problems. William F. Trench.
Brooks/Cole 2001
Section: Chapter 2, First order equations. Transformation of Nonlinear Equations into Separable
Equations. Section 2.4 Page 68
Problem number: 5.
ODE order: 1.
ODE degree: 1.
The type(s) of ODE detected by this program :
Maple gives the following as the ode type
[_Bernoulli]
\[ \boxed {-y x +y^{\prime }-x^{3} y^{3}=0} \]
In canonical form, the ODE is \begin {align*} y' &= F(x,y)\\ &= y^{3} x^{3}+y x \end {align*}
This is a Bernoulli ODE. \[ y' = x y +x^{3} y^{3} \tag {1} \] The standard Bernoulli ODE has the form \[ y' = f_0(x)y+f_1(x)y^n \tag {2} \] The first step is to divide the above equation by \(y^n \) which gives \[ \frac {y'}{y^n} = f_0(x) y^{1-n} +f_1(x) \tag {3} \] The next step is use the substitution \(w = y^{1-n}\) in equation (3) which generates a new ODE in \(w \left (x \right )\) which will be linear and can be easily solved using an integrating factor. Backsubstitution then gives the solution \(y(x)\) which is what we want.
This method is now applied to the ODE at hand. Comparing the ODE (1) With (2) Shows that \begin {align*} f_0(x)&=x\\ f_1(x)&=x^{3}\\ n &=3 \end {align*}
Dividing both sides of ODE (1) by \(y^n=y^{3}\) gives \begin {align*} y'\frac {1}{y^{3}} &= \frac {x}{y^{2}} +x^{3} \tag {4} \end {align*}
Let \begin {align*} w &= y^{1-n} \\ &= \frac {1}{y^{2}} \tag {5} \end {align*}
Taking derivative of equation (5) w.r.t \(x\) gives \begin {align*} w' &= -\frac {2}{y^{3}}y' \tag {6} \end {align*}
Substituting equations (5) and (6) into equation (4) gives \begin {align*} -\frac {w^{\prime }\left (x \right )}{2}&= w \left (x \right ) x +x^{3}\\ w' &= -2 x^{3}-2 x w \tag {7} \end {align*}
The above now is a linear ODE in \(w \left (x \right )\) which is now solved.
Entering Linear first order ODE solver. In canonical form a linear first order is \begin {align*} w^{\prime }\left (x \right ) + p(x)w \left (x \right ) &= q(x) \end {align*}
Where here \begin {align*} p(x) &=2 x\\ q(x) &=-2 x^{3} \end {align*}
Hence the ode is \begin {align*} w^{\prime }\left (x \right )+2 w \left (x \right ) x = -2 x^{3} \end {align*}
The integrating factor \(\mu \) is \begin{align*} \mu &= {\mathrm e}^{\int 2 x d x} \\ &= {\mathrm e}^{x^{2}} \\ \end{align*} The ode becomes \begin {align*} \frac {\mathop {\mathrm {d}}}{ \mathop {\mathrm {d}x}}\left ( \mu w\right ) &= \left (\mu \right ) \left (-2 x^{3}\right ) \\ \frac {\mathop {\mathrm {d}}}{ \mathop {\mathrm {d}x}} \left ({\mathrm e}^{x^{2}} w\right ) &= \left ({\mathrm e}^{x^{2}}\right ) \left (-2 x^{3}\right )\\ \mathrm {d} \left ({\mathrm e}^{x^{2}} w\right ) &= \left (-2 \,{\mathrm e}^{x^{2}} x^{3}\right )\, \mathrm {d} x \end {align*}
Integrating gives \begin {align*} {\mathrm e}^{x^{2}} w &= \int {-2 \,{\mathrm e}^{x^{2}} x^{3}\,\mathrm {d} x}\\ {\mathrm e}^{x^{2}} w &= -\left (x^{2}-1\right ) {\mathrm e}^{x^{2}} + c_{1} \end {align*}
Dividing both sides by the integrating factor \(\mu ={\mathrm e}^{x^{2}}\) results in \begin {align*} w \left (x \right ) &= -{\mathrm e}^{-x^{2}} \left (x^{2}-1\right ) {\mathrm e}^{x^{2}}+c_{1} {\mathrm e}^{-x^{2}} \end {align*}
which simplifies to \begin {align*} w \left (x \right ) &= -x^{2}+1+c_{1} {\mathrm e}^{-x^{2}} \end {align*}
Replacing \(w\) in the above by \(\frac {1}{y^{2}}\) using equation (5) gives the final solution. \begin {align*} \frac {1}{y^{2}} = -x^{2}+1+c_{1} {\mathrm e}^{-x^{2}} \end {align*}
Solving for \(y\) gives \begin {align*} y(x) &=\frac {1}{\sqrt {-x^{2}+1+c_{1} {\mathrm e}^{-x^{2}}}}\\ y(x) &=-\frac {1}{\sqrt {-x^{2}+1+c_{1} {\mathrm e}^{-x^{2}}}}\\ \end {align*}
Summary
The solution(s) found are the following \begin{align*} \tag{1} y &= \frac {1}{\sqrt {-x^{2}+1+c_{1} {\mathrm e}^{-x^{2}}}} \\ \tag{2} y &= -\frac {1}{\sqrt {-x^{2}+1+c_{1} {\mathrm e}^{-x^{2}}}} \\ \end{align*}
Verification of solutions
\[ y = \frac {1}{\sqrt {-x^{2}+1+c_{1} {\mathrm e}^{-x^{2}}}} \] Verified OK.
\[ y = -\frac {1}{\sqrt {-x^{2}+1+c_{1} {\mathrm e}^{-x^{2}}}} \] Verified OK.
\[ \begin {array}{lll} & {} & \textrm {Let's solve}\hspace {3pt} \\ {} & {} & -y x +y^{\prime }-x^{3} y^{3}=0 \\ \bullet & {} & \textrm {Highest derivative means the order of the ODE is}\hspace {3pt} 1 \\ {} & {} & y^{\prime } \\ \bullet & {} & \textrm {Solve for the highest derivative}\hspace {3pt} \\ {} & {} & y^{\prime }=y x +x^{3} y^{3} \end {array} \]
Maple trace
`Methods for first order ODEs: --- Trying classification methods --- trying a quadrature trying 1st order linear trying Bernoulli <- Bernoulli successful`
✓ Solution by Maple
Time used: 0.0 (sec). Leaf size: 43
dsolve(diff(y(x),x)-x*y(x)=x^3*y(x)^3,y(x), singsol=all)
\begin{align*} y \left (x \right ) &= \frac {1}{\sqrt {{\mathrm e}^{-x^{2}} c_{1} -x^{2}+1}} \\ y \left (x \right ) &= -\frac {1}{\sqrt {{\mathrm e}^{-x^{2}} c_{1} -x^{2}+1}} \\ \end{align*}
✓ Solution by Mathematica
Time used: 1.866 (sec). Leaf size: 80
DSolve[y'[x]-x*y[x]==x^3*y[x]^3,y[x],x,IncludeSingularSolutions -> True]
\begin{align*} y(x)\to -\frac {i e^{\frac {x^2}{2}}}{\sqrt {e^{x^2} \left (x^2-1\right )-c_1}} \\ y(x)\to \frac {i e^{\frac {x^2}{2}}}{\sqrt {e^{x^2} \left (x^2-1\right )-c_1}} \\ y(x)\to 0 \\ \end{align*}