Internal problem ID [5474]
Internal file name [OUTPUT/4722_Sunday_June_05_2022_03_04_03_PM_37151700/index.tex]
Book: A treatise on Differential Equations by A. R. Forsyth. 6th edition. 1929. Macmillan Co. ltd.
New York, reprinted 1956
Section: Chapter VI. Note I. Integration of linear equations in series by the method of Frobenius.
page 243
Problem number: Ex. 6(iii), page 257.
ODE order: 3.
ODE degree: 1.
The type(s) of ODE detected by this program : "unknown"
Maple gives the following as the ode type
[[_3rd_order, _with_linear_symmetries]]
Unable to solve or complete the solution.
Unable to parse ODE.
Maple trace
`Methods for third order ODEs: --- Trying classification methods --- trying a quadrature checking if the LODE has constant coefficients checking if the LODE is of Euler type trying high order exact linear fully integrable trying to convert to a linear ODE with constant coefficients trying differential order: 3; missing the dependent variable trying Louvillian solutions for 3rd order ODEs, imprimitive case Louvillian solutions for 3rd order ODEs, imprimitive case: input is reducible, switching to DFactorsols checking if the LODE is of Euler type expon. solutions partially successful. Result(s) =`, [x^2, x^3+x]
✓ Solution by Maple
Time used: 0.015 (sec). Leaf size: 52
Order:=6; dsolve(x^3*(1+x^2)*diff(y(x),x$3)-(2+4*x^2)*x^2*diff(y(x),x$2)+(4+10*x^2)*x*diff(y(x),x)-(4+12*x^2)*y(x)=0,y(x),type='series',x=0);
\[ y \left (x \right ) = \left (c_{3} \left (2+2 x^{2}+\operatorname {O}\left (x^{6}\right )\right )+\left (\left (1+\operatorname {O}\left (x^{6}\right )\right ) c_{1} +c_{2} \left (\ln \left (x \right ) \left (2+\operatorname {O}\left (x^{6}\right )\right )+\left (5+\operatorname {O}\left (x^{6}\right )\right )\right )\right ) x \right ) x \]
✓ Solution by Mathematica
Time used: 0.041 (sec). Leaf size: 30
AsymptoticDSolveValue[x^3*(1+x^2)*y'''[x]-(2+4*x^2)*x^2*y''[x]+(4+10*x^2)*x*y'[x]-(4+12*x^2)*y[x]==0,y[x],{x,0,5}]
\[ y(x)\to c_1 \left (2 x^3+2 x\right )+c_2 x^2+c_3 x^2 \log (x) \]