2.16 problem 16

Internal problem ID [6399]

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

CAS Maple gives this as type [[_2nd_order, _with_linear_symmetries]]

Solve \begin {gather*} \boxed {y^{\prime \prime }-y^{\prime }-x y-x^{2}-1=0} \end {gather*}

Solution by Maple

Time used: 0.071 (sec). Leaf size: 28

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

\[ y \relax (x ) = {\mathrm e}^{\frac {x}{2}} \AiryAi \left (x +\frac {1}{4}\right ) c_{2}+{\mathrm e}^{\frac {x}{2}} \AiryBi \left (x +\frac {1}{4}\right ) c_{1}-x \]

Solution by Mathematica

Time used: 2.284 (sec). Leaf size: 107

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

\begin{align*} y(x)\to e^{x/2} \left (\text {Ai}\left (x+\frac {1}{4}\right ) \int _1^x-e^{-\frac {K[1]}{2}} \pi \text {Bi}\left (K[1]+\frac {1}{4}\right ) \left (K[1]^2+1\right )dK[1]+\text {Bi}\left (x+\frac {1}{4}\right ) \int _1^xe^{-\frac {K[2]}{2}} \pi \text {Ai}\left (K[2]+\frac {1}{4}\right ) \left (K[2]^2+1\right )dK[2]+c_1 \text {Ai}\left (x+\frac {1}{4}\right )+c_2 \text {Bi}\left (x+\frac {1}{4}\right )\right ) \\ \end{align*}