2.10 problem 10

Internal problem ID [6392]

Book: Own collection of miscellaneous problems
Section: section 2.0
Problem number: 10.
ODE order: 2.
ODE degree: 1.

CAS Maple gives this as type [[_2nd_order, _linear, _nonhomogeneous]]

\[ \boxed {y^{\prime \prime }-y^{\prime } x -y x -x^{3}=0} \]

Solution by Maple

Time used: 0.016 (sec). Leaf size: 243

dsolve(diff(y(x),x$2)-x*diff(y(x),x)-x*y(x)-x^3=0,y(x), singsol=all)
 

\[ y \left (x \right ) = {\mathrm e}^{-x} \left (x +2\right ) c_{2} +\left (i \operatorname {erf}\left (\frac {i \sqrt {2}\, \left (x +2\right )}{2}\right ) \sqrt {\pi }\, \sqrt {2}\, \left (x +2\right ) {\mathrm e}^{-x -2}+2 \,{\mathrm e}^{\frac {x \left (x +2\right )}{2}}\right ) c_{1} +\frac {\left ({\mathrm e}^{\frac {\left (x +2\right )^{2}}{2}} \left (x +2\right ) \left (\int \left (i \sqrt {\pi }\, \sqrt {2}\, \left (x +2\right ) {\mathrm e}^{-2} \operatorname {erf}\left (\frac {i \sqrt {2}\, \left (x +2\right )}{2}\right )+2 \,{\mathrm e}^{\frac {x \left (x +4\right )}{2}}\right ) {\mathrm e}^{-\frac {x \left (x +2\right )}{2}} x^{3}d x \right )-2 i \operatorname {erf}\left (\frac {\sqrt {2}\, \left (x +1\right )}{2}\right ) \pi \left (x +2\right ) \operatorname {erf}\left (\frac {i \sqrt {2}\, \left (x +2\right )}{2}\right ) {\mathrm e}^{\frac {1}{2}+\frac {1}{2} x^{2}+2 x}+\left (2 x^{3}+2 x^{2}+4 x \right ) {\mathrm e}^{3 x +\frac {1}{2} x^{2}+2}+\left (-2 \,{\mathrm e}^{4 x +x^{2}+\frac {5}{2}} \operatorname {erf}\left (\frac {\sqrt {2}\, \left (x +1\right )}{2}\right )+i {\mathrm e}^{x} \left (x^{2}+x +2\right ) x \left (x +2\right ) \operatorname {erf}\left (\frac {i \sqrt {2}\, \left (x +2\right )}{2}\right )\right ) \sqrt {2}\, \sqrt {\pi }\right ) {\mathrm e}^{-3 x -\frac {1}{2} x^{2}-2}}{2} \]

Solution by Mathematica

Time used: 2.878 (sec). Leaf size: 237

DSolve[y''[x]-x*y'[x]-x*y[x]-x^3==0,y[x],x,IncludeSingularSolutions -> True]
 

\begin{align*} y(x)\to \frac {1}{2} e^{-\frac {1}{2} (x+2)^2} \left (\sqrt {2} (x+2) \left (2 e^{\frac {x^2}{2}+x+2} \int _1^x\frac {1}{2} e^{K[1]} K[1]^3 \left (\sqrt {2}-2 \operatorname {DawsonF}\left (\frac {K[1]+2}{\sqrt {2}}\right ) (K[1]+2)\right )dK[1]-\sqrt {\pi } x \left (x^2+x+2\right ) \text {erfi}\left (\frac {x+2}{\sqrt {2}}\right )\right )-2 e^{(x+1) (x+2)} \left (\sqrt {e \pi } \left (\sqrt {2}-2 (x+2) \operatorname {DawsonF}\left (\frac {x+2}{\sqrt {2}}\right )\right ) \text {erf}\left (\frac {x+1}{\sqrt {2}}\right )+\sqrt {2} e^2 c_2 (x+2) \operatorname {DawsonF}\left (\frac {x+2}{\sqrt {2}}\right )\right )+2 e^{\frac {x^2}{2}+x+2} \left (e^x x \left (x^2+x+2\right )+\sqrt {2} c_1 (x+2)+c_2 e^{\frac {1}{2} (x+2)^2}\right )\right ) \\ \end{align*}