78.21.3 problem 2 (c)

Internal problem ID [18368]
Book : DIFFERENTIAL EQUATIONS WITH APPLICATIONS AND HISTORICAL NOTES by George F. Simmons. 3rd edition. 2017. CRC press, Boca Raton FL.
Section : Chapter 5. Power Series Solutions and Special Functions. Section 31. Gauss Hypergeometric Equation. Problems at page 240
Problem number : 2 (c)
Date solved : Thursday, March 13, 2025 at 11:55:04 AM
CAS classification : [[_2nd_order, _with_linear_symmetries]]

\begin{align*} \left (x^{2}-1\right ) y^{\prime \prime }+\left (5 x +4\right ) y^{\prime }+4 y&=0 \end{align*}

Using series method with expansion around

\begin{align*} -1 \end{align*}

✓ Maple. Time used: 0.009 (sec). Leaf size: 46

Order:=6; 
ode:=(x^2-1)*diff(diff(y(x),x),x)+(5*x+4)*diff(y(x),x)+4*y(x) = 0; 
dsolve(ode,y(x),type='series',x=-1);
 

\[ y = c_{1} \sqrt {x +1}\, \left (1+\frac {25}{12} \left (x +1\right )+\frac {245}{96} \left (x +1\right )^{2}+\frac {315}{128} \left (x +1\right )^{3}+\frac {4235}{2048} \left (x +1\right )^{4}+\frac {13013}{8192} \left (x +1\right )^{5}+\operatorname {O}\left (\left (x +1\right )^{6}\right )\right )+c_{2} \left (1+4 \left (x +1\right )+6 \left (x +1\right )^{2}+\frac {32}{5} \left (x +1\right )^{3}+\frac {40}{7} \left (x +1\right )^{4}+\frac {32}{7} \left (x +1\right )^{5}+\operatorname {O}\left (\left (x +1\right )^{6}\right )\right ) \]

✓ Mathematica. Time used: 0.004 (sec). Leaf size: 103

ode=(x^2-1)*D[y[x],{x,2}]+(5*x+4)*D[y[x],x]+4*y[x]==0; 
ic={}; 
AsymptoticDSolveValue[{ode,ic},y[x],{x,-1,5}]
 

\[ y(x)\to c_1 \sqrt {x+1} \left (\frac {13013 (x+1)^5}{8192}+\frac {4235 (x+1)^4}{2048}+\frac {315}{128} (x+1)^3+\frac {245}{96} (x+1)^2+\frac {25 (x+1)}{12}+1\right )+c_2 \left (\frac {32}{7} (x+1)^5+\frac {40}{7} (x+1)^4+\frac {32}{5} (x+1)^3+6 (x+1)^2+4 (x+1)+1\right ) \]

✓ Sympy. Time used: 3.588 (sec). Leaf size: 490

from sympy import * 
x = symbols("x") 
y = Function("y") 
ode = Eq((5*x + 4)*Derivative(y(x), x) + (x**2 - 1)*Derivative(y(x), (x, 2)) + 4*y(x),0) 
ics = {} 
dsolve(ode,func=y(x),ics=ics,hint="2nd_power_series_regular",x0=-1,n=6)
 

\[ \text {Solution too large to show} \]