GenerateSimilarODE - Maple Help

RandomTools

 GenerateSimilarODE
 create a random differential equation similar to the one given

 Calling Sequence GenerateSimilarODE( eqn )

Parameters

 eqn - differential equation with one dependent and one independent variable

Description

 • The GenerateSimilarODE command takes an ordinary differential equation (ODE) eqn with 1 dependent and 1 independent variable and returns a similar ODE in the same variables.
 • Linear ordinary differential equations with constant coefficients that have order higher than 1 return a linear ordinary differential equations with constant coefficients that have similar roots to the characteristic polynomial of the ODE. Each real root in eqn will have a corresponding real root in the output ODE, each repeated root in eqn will correspond to a repeated root in the output ODE. A pair of complex conjugate roots in eqn will correspond to a pair of complex conjugate roots in the output ODE.
 • Linear ordinary differential equations with constant coefficients that have order higher than 1 and a forcing function that contains functions that are linearly dependent to the solution of the homogeneous ODE produce an ODE with the similar roots described above and a forcing function that has functions that are linearly dependent to the solutions of the homogeneous output ODE.
 • Bessel differential equations or differential equations that can be converted into Bessel differential equations return Bessel differential equations or differential equations that can be converted into Bessel differential equations.
 • Differential equations that when solved produce terminating Legendre polynomials return differential equations that when solved produce terminating Legendre polynomials.
 • Differential equations that when solved produce terminating Laguerre polynomials return differential equations that when solved produce terminating Laguerre polynomials.
 • Chebyshev differential equations produce Chebyshev differential equations.

Examples

 > $\mathrm{with}\left(\mathrm{RandomTools}\right):$
 > $\mathrm{ODE1}≔\mathrm{%diff}\left(y\left(x\right),x\right)y\left(x\right)+\mathrm{sin}\left(x\right)={ⅇ}^{x}y\left(x\right)$
 ${\mathrm{ODE1}}{≔}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){}{y}{}\left({x}\right){+}{\mathrm{sin}}{}\left({x}\right){=}{{ⅇ}}^{{x}}{}{y}{}\left({x}\right)$ (1)
 > $\mathrm{GenerateSimilarODE}\left(\mathrm{ODE1}\right)$
 ${4}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){}{y}{}\left({x}\right){-}{9}{}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%cos}}{}\left({x}\right)\right]\right){=}{-}{7}{}{{ⅇ}}^{{-}{6}{}{x}}{}{y}{}\left({x}\right)$ (2)

2nd order linear ODE with constant coefficients with a characteristic polynomial that has real roots.

 > $\mathrm{ODE2}≔\mathrm{%diff}\left(y\left(x\right),x$2\right)+\mathrm{%diff}\left(y\left(x\right),x\right)-6y\left(x\right)=0$  ${\mathrm{ODE2}}{≔}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right){+}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right){-}{6}{}{y}{}\left({x}\right){=}{0}$ (3)  > $\mathrm{dsolve}\left(\mathrm{ODE2}\right)$  ${y}{}\left({x}\right){=}\mathrm{c__1}{}{{ⅇ}}^{{2}{}{x}}{+}\mathrm{c__2}{}{{ⅇ}}^{{-}{3}{}{x}}$ (4)  > $\mathrm{newODE2}≔\mathrm{GenerateSimilarODE}\left(\mathrm{ODE2}\right)$  ${\mathrm{newODE2}}{≔}{19}{}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right){-}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right){-}{90}{}{y}{}\left({x}\right){=}{0}$ (5)  > $\mathrm{dsolve}\left(\mathrm{newODE2}\right)$  ${y}{}\left({x}\right){=}\mathrm{c__1}{}{{ⅇ}}^{{9}{}{x}}{+}\mathrm{c__2}{}{{ⅇ}}^{{10}{}{x}}$ (6) 2nd order linear ODE with constant coefficients with a repeated root.  > $\mathrm{ODE3}≔\mathrm{%diff}\left(y\left(x\right),x$2\right)-6\mathrm{%diff}\left(y\left(x\right),x\right)+9y\left(x\right)=0$
 ${\mathrm{ODE3}}{≔}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right){-}{6}{}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right){+}{9}{}{y}{}\left({x}\right){=}{0}$ (7)
 > $\mathrm{dsolve}\left(\mathrm{ODE3}\right)$
 ${y}{}\left({x}\right){=}\mathrm{c__1}{}{{ⅇ}}^{{3}{}{x}}{+}\mathrm{c__2}{}{{ⅇ}}^{{3}{}{x}}{}{x}$ (8)
 > $\mathrm{newODE3}≔\mathrm{GenerateSimilarODE}\left(\mathrm{ODE3}\right)$
 ${\mathrm{newODE3}}{≔}{-}{16}{}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right){+}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right){+}{64}{}{y}{}\left({x}\right){=}{0}$ (9)
 > $\mathrm{dsolve}\left(\mathrm{newODE3}\right)$
 ${y}{}\left({x}\right){=}\mathrm{c__1}{}{{ⅇ}}^{{8}{}{x}}{+}\mathrm{c__2}{}{{ⅇ}}^{{8}{}{x}}{}{x}$ (10)

2nd order linear ODE with a pair of complex conjugate roots.

 > $\mathrm{ODE4}≔\mathrm{%diff}\left(y\left(x\right),x$2\right)-2\mathrm{%diff}\left(y\left(x\right),x\right)+2y\left(x\right)=0$  ${\mathrm{ODE4}}{≔}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right){-}{2}{}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right){+}{2}{}{y}{}\left({x}\right){=}{0}$ (11)  > $\mathrm{dsolve}\left(\mathrm{ODE4}\right)$  ${y}{}\left({x}\right){=}\mathrm{c__1}{}{{ⅇ}}^{{x}}{}{\mathrm{sin}}{}\left({x}\right){+}\mathrm{c__2}{}{{ⅇ}}^{{x}}{}{\mathrm{cos}}{}\left({x}\right)$ (12)  > $\mathrm{newODE4}≔\mathrm{GenerateSimilarODE}\left(\mathrm{ODE4}\right)$  ${\mathrm{newODE4}}{≔}{-}{20}{}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right){+}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right){+}{101}{}{y}{}\left({x}\right){=}{0}$ (13)  > $\mathrm{dsolve}\left(\mathrm{newODE4}\right)$  ${y}{}\left({x}\right){=}\mathrm{c__1}{}{{ⅇ}}^{{10}{}{x}}{}{\mathrm{sin}}{}\left({x}\right){+}\mathrm{c__2}{}{{ⅇ}}^{{10}{}{x}}{}{\mathrm{cos}}{}\left({x}\right)$ (14) 2nd order linear ODE with forcing function that contains a function that is linearly dependent to a solution to the homogeneous ODE.  > $\mathrm{ODE5}≔\mathrm{%diff}\left(y\left(x\right),x$2\right)+\mathrm{%diff}\left(y\left(x\right),x\right)-6y\left(x\right)=x{ⅇ}^{2x}$
 ${\mathrm{ODE5}}{≔}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right){+}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right){-}{6}{}{y}{}\left({x}\right){=}{x}{}{{ⅇ}}^{{2}{}{x}}$ (15)
 > $\mathrm{dsolve}\left(\mathrm{ODE5}\right)$
 ${y}{}\left({x}\right){=}{{ⅇ}}^{{2}{}{x}}{}\mathrm{c__2}{+}{{ⅇ}}^{{-}{3}{}{x}}{}\mathrm{c__1}{+}\frac{{{ⅇ}}^{{2}{}{x}}{}{x}{}\left({5}{}{x}{-}{2}\right)}{{50}}$ (16)
 > $\mathrm{newODE5}≔\mathrm{GenerateSimilarODE}\left(\mathrm{ODE5}\right)$
 ${\mathrm{newODE5}}{≔}{-}{18}{}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right){-}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right){-}{80}{}{y}{}\left({x}\right){=}{-}{10}{}{x}{}{{ⅇ}}^{{-}{8}{}{x}}$ (17)
 > $\mathrm{dsolve}\left(\mathrm{newODE5}\right)$
 ${y}{}\left({x}\right){=}{{ⅇ}}^{{-}{8}{}{x}}{}\mathrm{c__2}{+}{{ⅇ}}^{{-}{10}{}{x}}{}\mathrm{c__1}{+}\frac{{5}{}{x}{}\left({x}{-}{1}\right){}{{ⅇ}}^{{-}{8}{}{x}}}{{2}}$ (18)

Bessel differential equation.

 > $\mathrm{ODE6}≔{x}^{2}\mathrm{%diff}\left(y\left(x\right),x$2\right)+x\mathrm{%diff}\left(y\left(x\right),x\right)+{x}^{2}y\left(x\right)=0$  ${\mathrm{ODE6}}{≔}{{x}}^{{2}}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){+}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}{{x}}^{{2}}{}{y}{}\left({x}\right){=}{0}$ (19)  > $\mathrm{dsolve}\left(\mathrm{ODE6}\right)$  ${y}{}\left({x}\right){=}\mathrm{c__1}{}{\mathrm{BesselJ}}{}\left({0}{,}{x}\right){+}\mathrm{c__2}{}{\mathrm{BesselY}}{}\left({0}{,}{x}\right)$ (20)  > $\mathrm{newODE6}≔\mathrm{GenerateSimilarODE}\left(\mathrm{ODE6}\right)$  ${\mathrm{newODE6}}{≔}{{x}}^{{2}}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){+}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}\left({{x}}^{{2}}{-}{36}\right){}{y}{}\left({x}\right){=}{0}$ (21)  > $\mathrm{dsolve}\left(\mathrm{newODE6}\right)$  ${y}{}\left({x}\right){=}\mathrm{c__1}{}{\mathrm{BesselJ}}{}\left({6}{,}{x}\right){+}\mathrm{c__2}{}{\mathrm{BesselY}}{}\left({6}{,}{x}\right)$ (22)  > $\mathrm{ODE7}≔{x}^{2}\mathrm{%diff}\left(y\left(x\right),x$2\right)+x\mathrm{%diff}\left(y\left(x\right),x\right)+\left({x}^{2}-9\right)y\left(x\right)=0$
 ${\mathrm{ODE7}}{≔}{{x}}^{{2}}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){+}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}\left({{x}}^{{2}}{-}{9}\right){}{y}{}\left({x}\right){=}{0}$ (23)
 > $\mathrm{dsolve}\left(\mathrm{ODE7}\right)$
 ${y}{}\left({x}\right){=}\mathrm{c__1}{}{\mathrm{BesselJ}}{}\left({3}{,}{x}\right){+}\mathrm{c__2}{}{\mathrm{BesselY}}{}\left({3}{,}{x}\right)$ (24)
 > $\mathrm{newODE7}≔\mathrm{GenerateSimilarODE}\left(\mathrm{ODE7}\right)$
 ${\mathrm{newODE7}}{≔}{{x}}^{{2}}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){+}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}\left({{x}}^{{2}}{-}{49}\right){}{y}{}\left({x}\right){=}{0}$ (25)
 > $\mathrm{dsolve}\left(\mathrm{newODE7}\right)$
 ${y}{}\left({x}\right){=}\mathrm{c__1}{}{\mathrm{BesselJ}}{}\left({7}{,}{x}\right){+}\mathrm{c__2}{}{\mathrm{BesselY}}{}\left({7}{,}{x}\right)$ (26)

ODEs that can be converted to a Bessel differential equation.

 > $\mathrm{ODE8}≔{x}^{2}\mathrm{%diff}\left(y\left(x\right),x$2\right)+2x\mathrm{%diff}\left(y\left(x\right),x\right)+{x}^{2}y\left(x\right)=0$  ${\mathrm{ODE8}}{≔}{{x}}^{{2}}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){+}{2}{}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}{{x}}^{{2}}{}{y}{}\left({x}\right){=}{0}$ (27)  > $\mathrm{dsolve}\left(\mathrm{ODE8}\right)$  ${y}{}\left({x}\right){=}\frac{\mathrm{c__1}{}{\mathrm{sin}}{}\left({x}\right)}{{x}}{+}\frac{\mathrm{c__2}{}{\mathrm{cos}}{}\left({x}\right)}{{x}}$ (28)  > $\mathrm{newODE8}≔\mathrm{GenerateSimilarODE}\left(\mathrm{ODE8}\right)$  ${\mathrm{newODE8}}{≔}{{x}}^{{2}}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){+}{3}{}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}\left({{x}}^{{2}}{-}{4}\right){}{y}{}\left({x}\right){=}{0}$ (29)  > $\mathrm{dsolve}\left(\mathrm{newODE8}\right)$  ${y}{}\left({x}\right){=}\frac{\mathrm{c__1}{}{\mathrm{BesselJ}}{}\left(\sqrt{{5}}{,}{x}\right)}{{x}}{+}\frac{\mathrm{c__2}{}{\mathrm{BesselY}}{}\left(\sqrt{{5}}{,}{x}\right)}{{x}}$ (30)  > $\mathrm{ODE9}≔2{x}^{2}\mathrm{%diff}\left(y\left(x\right),x$2\right)+x\mathrm{%diff}\left(y\left(x\right),x\right)+{x}^{2}y\left(x\right)=0$
 ${\mathrm{ODE9}}{≔}{2}{}{{x}}^{{2}}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){+}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}{{x}}^{{2}}{}{y}{}\left({x}\right){=}{0}$ (31)
 > $\mathrm{dsolve}\left(\mathrm{ODE9}\right)$
 ${y}{}\left({x}\right){=}\mathrm{c__1}{}{{x}}^{{1}}{{4}}}{}{\mathrm{BesselJ}}{}\left(\frac{{1}}{{4}}{,}\frac{\sqrt{{2}}{}{x}}{{2}}\right){+}\mathrm{c__2}{}{{x}}^{{1}}{{4}}}{}{\mathrm{BesselY}}{}\left(\frac{{1}}{{4}}{,}\frac{\sqrt{{2}}{}{x}}{{2}}\right)$ (32)
 > $\mathrm{newODE9}≔\mathrm{GenerateSimilarODE}\left(\mathrm{ODE9}\right)$
 ${\mathrm{newODE9}}{≔}{5}{}{{x}}^{{2}}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){+}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}\left({{x}}^{{2}}{-}{4}\right){}{y}{}\left({x}\right){=}{0}$ (33)
 > $\mathrm{dsolve}\left(\mathrm{newODE9}\right)$
 ${y}{}\left({x}\right){=}\mathrm{c__1}{}{{x}}^{{2}}{{5}}}{}{\mathrm{BesselJ}}{}\left(\frac{{2}{}\sqrt{{6}}}{{5}}{,}\frac{\sqrt{{5}}{}{x}}{{5}}\right){+}\mathrm{c__2}{}{{x}}^{{2}}{{5}}}{}{\mathrm{BesselY}}{}\left(\frac{{2}{}\sqrt{{6}}}{{5}}{,}\frac{\sqrt{{5}}{}{x}}{{5}}\right)$ (34)

Terminating Laguerre polynomials.

 > $\mathrm{ODE10}≔x\mathrm{%diff}\left(y\left(x\right),x$2\right)+\left(1-x\right)\mathrm{%diff}\left(y\left(x\right),x\right)+y\left(x\right)=0$  ${\mathrm{ODE10}}{≔}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){+}\left({1}{-}{x}\right){}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}{y}{}\left({x}\right){=}{0}$ (35)  > $\mathrm{dsolve}\left(\mathrm{ODE10}\right)$  ${y}{}\left({x}\right){=}\mathrm{c__1}{}\left({x}{-}{1}\right){+}\mathrm{c__2}{}\left(\left({x}{-}{1}\right){}{{\mathrm{Ei}}}_{{1}}{}\left({-}{x}\right){+}{{ⅇ}}^{{x}}\right)$ (36)  > $\mathrm{newODE10}≔\mathrm{GenerateSimilarODE}\left(\mathrm{ODE10}\right)$  ${\mathrm{newODE10}}{≔}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){+}\left({1}{-}{x}\right){}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}{2}{}{y}{}\left({x}\right){=}{0}$ (37)  > $\mathrm{dsolve}\left(\mathrm{newODE10}\right)$  ${y}{}\left({x}\right){=}\mathrm{c__1}{}\left({{x}}^{{2}}{-}{4}{}{x}{+}{2}\right){+}\mathrm{c__2}{}\left(\frac{\left({{x}}^{{2}}{-}{4}{}{x}{+}{2}\right){}{{\mathrm{Ei}}}_{{1}}{}\left({-}{x}\right)}{{4}}{+}\frac{{{ⅇ}}^{{x}}{}\left({x}{-}{3}\right)}{{4}}\right)$ (38)  > $\mathrm{ODE11}≔x\mathrm{%diff}\left(y\left(x\right),x$2\right)+\left(1-x\right)\mathrm{%diff}\left(y\left(x\right),x\right)+5y\left(x\right)=0$
 ${\mathrm{ODE11}}{≔}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){+}\left({1}{-}{x}\right){}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}{5}{}{y}{}\left({x}\right){=}{0}$ (39)
 > $\mathrm{dsolve}\left(\mathrm{ODE11}\right)$
 ${y}{}\left({x}\right){=}\mathrm{c__1}{}\left({{x}}^{{5}}{-}{25}{}{{x}}^{{4}}{+}{200}{}{{x}}^{{3}}{-}{600}{}{{x}}^{{2}}{+}{600}{}{x}{-}{120}\right){+}\mathrm{c__2}{}\left(\frac{\left({{x}}^{{5}}{-}{25}{}{{x}}^{{4}}{+}{200}{}{{x}}^{{3}}{-}{600}{}{{x}}^{{2}}{+}{600}{}{x}{-}{120}\right){}{{\mathrm{Ei}}}_{{1}}{}\left({-}{x}\right)}{{14400}}{+}\frac{{{ⅇ}}^{{x}}{}\left({{x}}^{{4}}{-}{24}{}{{x}}^{{3}}{+}{177}{}{{x}}^{{2}}{-}{444}{}{x}{+}{274}\right)}{{14400}}\right)$ (40)
 > $\mathrm{newODE11}≔\mathrm{GenerateSimilarODE}\left(\mathrm{ODE11}\right)$
 ${\mathrm{newODE11}}{≔}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){+}\left({1}{-}{x}\right){}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){=}{0}$ (41)
 > $\mathrm{dsolve}\left(\mathrm{newODE11}\right)$
 ${y}{}\left({x}\right){=}\mathrm{c__1}{+}{{\mathrm{Ei}}}_{{1}}{}\left({-}{x}\right){}\mathrm{c__2}$ (42)

Terminating Legendre polynomials.

 > $\mathrm{ODE12}≔\left(1-{x}^{2}\right)\mathrm{%diff}\left(y\left(x\right),x$2\right)-2x\mathrm{%diff}\left(y\left(x\right),x\right)+6y\left(x\right)=0$  ${\mathrm{ODE12}}{≔}\left({-}{{x}}^{{2}}{+}{1}\right){}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){-}{2}{}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}{6}{}{y}{}\left({x}\right){=}{0}$ (43)  > $\mathrm{dsolve}\left(\mathrm{ODE12}\right)$  ${y}{}\left({x}\right){=}\mathrm{c__1}{}\left({-}{3}{}{{x}}^{{2}}{+}{1}\right){+}\mathrm{c__2}{}\left(\left(\frac{{3}{}{{x}}^{{2}}}{{8}}{-}\frac{{1}}{{8}}\right){}{\mathrm{ln}}{}\left({x}{-}{1}\right){+}\left({-}\frac{{3}{}{{x}}^{{2}}}{{8}}{+}\frac{{1}}{{8}}\right){}{\mathrm{ln}}{}\left({x}{+}{1}\right){+}\frac{{3}{}{x}}{{4}}\right)$ (44)  > $\mathrm{newODE12}≔\mathrm{GenerateSimilarODE}\left(\mathrm{ODE12}\right)$  ${\mathrm{newODE12}}{≔}\left({-}{{x}}^{{2}}{+}{1}\right){}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){-}{2}{}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){-}\frac{{y}{}\left({x}\right)}{{-}{{x}}^{{2}}{+}{1}}{=}{0}$ (45)  > $\mathrm{dsolve}\left(\mathrm{newODE12}\right)$  ${y}{}\left({x}\right){=}\frac{\mathrm{c__1}{}{x}}{\sqrt{{-}{{x}}^{{2}}{+}{1}}}{+}\frac{\mathrm{c__2}}{\sqrt{{-}{{x}}^{{2}}{+}{1}}}$ (46)  > $\mathrm{ODE13}≔\left(1-{x}^{2}\right)\mathrm{%diff}\left(y\left(x\right),x$2\right)-2x\mathrm{%diff}\left(y\left(x\right),x\right)+12y\left(x\right)=0$
 ${\mathrm{ODE13}}{≔}\left({-}{{x}}^{{2}}{+}{1}\right){}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){-}{2}{}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}{12}{}{y}{}\left({x}\right){=}{0}$ (47)
 > $\mathrm{dsolve}\left(\mathrm{ODE13}\right)$
 ${y}{}\left({x}\right){=}\mathrm{c__1}{}\left({-}\frac{{5}}{{3}}{}{{x}}^{{3}}{+}{x}\right){+}\mathrm{c__2}{}\left({-}\frac{{1}}{{9}}{+}\frac{\left({5}{}{{x}}^{{3}}{-}{3}{}{x}\right){}{\mathrm{ln}}{}\left({x}{-}{1}\right)}{{24}}{+}\frac{\left({-}{5}{}{{x}}^{{3}}{+}{3}{}{x}\right){}{\mathrm{ln}}{}\left({x}{+}{1}\right)}{{24}}{+}\frac{{5}{}{{x}}^{{2}}}{{12}}\right)$ (48)
 > $\mathrm{newODE13}≔\mathrm{GenerateSimilarODE}\left(\mathrm{ODE13}\right)$
 ${\mathrm{newODE13}}{≔}\left({-}{{x}}^{{2}}{+}{1}\right){}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){-}{2}{}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}{20}{}{y}{}\left({x}\right){=}{0}$ (49)
 > $\mathrm{dsolve}\left(\mathrm{newODE13}\right)$
 ${y}{}\left({x}\right){=}\mathrm{c__1}{}\left(\frac{{35}}{{3}}{}{{x}}^{{4}}{-}{10}{}{{x}}^{{2}}{+}{1}\right){+}\mathrm{c__2}{}\left(\frac{\left({35}{}{{x}}^{{4}}{-}{30}{}{{x}}^{{2}}{+}{3}\right){}{\mathrm{ln}}{}\left({x}{-}{1}\right)}{{384}}{+}\frac{\left({-}{35}{}{{x}}^{{4}}{+}{30}{}{{x}}^{{2}}{-}{3}\right){}{\mathrm{ln}}{}\left({x}{+}{1}\right)}{{384}}{+}\frac{{35}{}{{x}}^{{3}}}{{192}}{-}\frac{{55}{}{x}}{{576}}\right)$ (50)

Chebyshev differential equation.

 > $\mathrm{ODE14}≔\left(1-{x}^{2}\right)\mathrm{%diff}\left(y\left(x\right),x\$2\right)-x\mathrm{%diff}\left(y\left(x\right),x\right)+25y\left(x\right)=0$
 ${\mathrm{ODE14}}{≔}\left({-}{{x}}^{{2}}{+}{1}\right){}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){-}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}{25}{}{y}{}\left({x}\right){=}{0}$ (51)
 > $\mathrm{dsolve}\left(\mathrm{ODE14}\right)$
 ${y}{}\left({x}\right){=}\frac{\mathrm{c__1}}{{\left({x}{+}\sqrt{{{x}}^{{2}}{-}{1}}\right)}^{{5}}}{+}\mathrm{c__2}{}{\left({x}{+}\sqrt{{{x}}^{{2}}{-}{1}}\right)}^{{5}}$ (52)
 > $\mathrm{newODE14}≔\mathrm{GenerateSimilarODE}\left(\mathrm{ODE14}\right)$
 ${\mathrm{newODE14}}{≔}\left({-}{{x}}^{{2}}{+}{1}\right){}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}{,}{x}\right)\right]\right)\right){-}{x}{}\left({\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right]\right)\right){+}{36}{}{y}{}\left({x}\right){=}{0}$ (53)
 > $\mathrm{dsolve}\left(\mathrm{newODE14}\right)$
 ${y}{}\left({x}\right){=}\frac{\mathrm{c__1}}{{\left({x}{+}\sqrt{{{x}}^{{2}}{-}{1}}\right)}^{{6}}}{+}\mathrm{c__2}{}{\left({x}{+}\sqrt{{{x}}^{{2}}{-}{1}}\right)}^{{6}}$ (54)

Compatibility

 • The RandomTools[GenerateSimilarODE] command was introduced in Maple 2021.