DEtools - Maple Programming Help

Home : Support : Online Help : Mathematics : Differential Equations : DEtools : Solving Methods : DEtools/abelsol

DEtools

 abelsol
 find solutions to a first order Abel ODE

 Calling Sequence abelsol(lode, v)

Parameters

 lode - first order differential equation v - dependent variable of the lode

Description

 • An Abel ODE is a first order ODE of the form
 $y'\left(x\right)=\mathrm{f0}\left(x\right)+\mathrm{f1}\left(x\right)y\left(x\right)+\mathrm{f2}\left(x\right){y\left(x\right)}^{2}+\mathrm{f3}\left(x\right){y\left(x\right)}^{3}$
 • The abelsol routine determines whether the first argument is a first order Abel ODE and, if so, attempts to find a closed form solution.
 • The first argument is a differential equation in diff or D form and the second argument is the function in the differential equation.
 • This function is part of the DEtools package, and so it can be used in the form abelsol(..) only after executing the command with(DEtools). However, it can always be accessed through the long form of the command by using DEtools[abelsol](..).

Examples

 > $\mathrm{with}\left(\mathrm{DEtools}\right):$
 > $\mathrm{ode}≔\frac{ⅆ}{ⅆx}y\left(x\right)=\mathrm{a0}+\mathrm{a1}y\left(x\right)+\mathrm{a2}{y\left(x\right)}^{2}+\mathrm{a3}{y\left(x\right)}^{3}$
 ${\mathrm{ode}}{≔}\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right){=}{\mathrm{a0}}{+}{\mathrm{a1}}{}{y}{}\left({x}\right){+}{\mathrm{a2}}{}{{y}{}\left({x}\right)}^{{2}}{+}{\mathrm{a3}}{}{{y}{}\left({x}\right)}^{{3}}$ (1)
 > $\mathrm{abelsol}\left(\mathrm{ode},y\left(x\right)\right)$
 $\left\{{y}{}\left({x}\right){=}{-}\frac{{27}{}{\mathrm{RootOf}}{}\left({-}{3}{}{\mathrm{a1}}{}{\mathrm{a3}}{}{x}{+}{{\mathrm{a2}}}^{{2}}{}{x}{+}{81}{}\left({{\int }}_{{}}^{{\mathrm{_Z}}}\frac{{\left({3}{}{\mathrm{a1}}{}{\mathrm{a3}}{-}{{\mathrm{a2}}}^{{2}}\right)}^{{3}}}{{729}{}{{\mathrm{_a}}}^{{3}}{}{{\mathrm{a0}}}^{{2}}{}{{\mathrm{a3}}}^{{4}}{-}{486}{}{{\mathrm{_a}}}^{{3}}{}{\mathrm{a0}}{}{\mathrm{a1}}{}{\mathrm{a2}}{}{{\mathrm{a3}}}^{{3}}{+}{108}{}{{\mathrm{_a}}}^{{3}}{}{\mathrm{a0}}{}{{\mathrm{a2}}}^{{3}}{}{{\mathrm{a3}}}^{{2}}{+}{81}{}{{\mathrm{_a}}}^{{3}}{}{{\mathrm{a1}}}^{{2}}{}{{\mathrm{a2}}}^{{2}}{}{{\mathrm{a3}}}^{{2}}{-}{36}{}{{\mathrm{_a}}}^{{3}}{}{\mathrm{a1}}{}{{\mathrm{a2}}}^{{4}}{}{\mathrm{a3}}{+}{4}{}{{\mathrm{_a}}}^{{3}}{}{{\mathrm{a2}}}^{{6}}{+}{729}{}{\mathrm{_a}}{}{{\mathrm{a1}}}^{{3}}{}{{\mathrm{a3}}}^{{3}}{-}{729}{}{\mathrm{_a}}{}{{\mathrm{a1}}}^{{2}}{}{{\mathrm{a2}}}^{{2}}{}{{\mathrm{a3}}}^{{2}}{+}{243}{}{\mathrm{_a}}{}{\mathrm{a1}}{}{{\mathrm{a2}}}^{{4}}{}{\mathrm{a3}}{-}{27}{}{\mathrm{_a}}{}{{\mathrm{a2}}}^{{6}}{-}{729}{}{{\mathrm{a1}}}^{{3}}{}{{\mathrm{a3}}}^{{3}}{+}{729}{}{{\mathrm{a1}}}^{{2}}{}{{\mathrm{a2}}}^{{2}}{}{{\mathrm{a3}}}^{{2}}{-}{243}{}{\mathrm{a1}}{}{{\mathrm{a2}}}^{{4}}{}{\mathrm{a3}}{+}{27}{}{{\mathrm{a2}}}^{{6}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{ⅆ}{\mathrm{_a}}\right){}{\mathrm{a3}}{+}{3}{}{\mathrm{_C1}}{}{\mathrm{a3}}\right){}{\mathrm{a0}}{}{{\mathrm{a3}}}^{{2}}{-}{9}{}{\mathrm{RootOf}}{}\left({-}{3}{}{\mathrm{a1}}{}{\mathrm{a3}}{}{x}{+}{{\mathrm{a2}}}^{{2}}{}{x}{+}{81}{}\left({{\int }}_{{}}^{{\mathrm{_Z}}}\frac{{\left({3}{}{\mathrm{a1}}{}{\mathrm{a3}}{-}{{\mathrm{a2}}}^{{2}}\right)}^{{3}}}{{729}{}{{\mathrm{_a}}}^{{3}}{}{{\mathrm{a0}}}^{{2}}{}{{\mathrm{a3}}}^{{4}}{-}{486}{}{{\mathrm{_a}}}^{{3}}{}{\mathrm{a0}}{}{\mathrm{a1}}{}{\mathrm{a2}}{}{{\mathrm{a3}}}^{{3}}{+}{108}{}{{\mathrm{_a}}}^{{3}}{}{\mathrm{a0}}{}{{\mathrm{a2}}}^{{3}}{}{{\mathrm{a3}}}^{{2}}{+}{81}{}{{\mathrm{_a}}}^{{3}}{}{{\mathrm{a1}}}^{{2}}{}{{\mathrm{a2}}}^{{2}}{}{{\mathrm{a3}}}^{{2}}{-}{36}{}{{\mathrm{_a}}}^{{3}}{}{\mathrm{a1}}{}{{\mathrm{a2}}}^{{4}}{}{\mathrm{a3}}{+}{4}{}{{\mathrm{_a}}}^{{3}}{}{{\mathrm{a2}}}^{{6}}{+}{729}{}{\mathrm{_a}}{}{{\mathrm{a1}}}^{{3}}{}{{\mathrm{a3}}}^{{3}}{-}{729}{}{\mathrm{_a}}{}{{\mathrm{a1}}}^{{2}}{}{{\mathrm{a2}}}^{{2}}{}{{\mathrm{a3}}}^{{2}}{+}{243}{}{\mathrm{_a}}{}{\mathrm{a1}}{}{{\mathrm{a2}}}^{{4}}{}{\mathrm{a3}}{-}{27}{}{\mathrm{_a}}{}{{\mathrm{a2}}}^{{6}}{-}{729}{}{{\mathrm{a1}}}^{{3}}{}{{\mathrm{a3}}}^{{3}}{+}{729}{}{{\mathrm{a1}}}^{{2}}{}{{\mathrm{a2}}}^{{2}}{}{{\mathrm{a3}}}^{{2}}{-}{243}{}{\mathrm{a1}}{}{{\mathrm{a2}}}^{{4}}{}{\mathrm{a3}}{+}{27}{}{{\mathrm{a2}}}^{{6}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{ⅆ}{\mathrm{_a}}\right){}{\mathrm{a3}}{+}{3}{}{\mathrm{_C1}}{}{\mathrm{a3}}\right){}{\mathrm{a1}}{}{\mathrm{a2}}{}{\mathrm{a3}}{+}{2}{}{\mathrm{RootOf}}{}\left({-}{3}{}{\mathrm{a1}}{}{\mathrm{a3}}{}{x}{+}{{\mathrm{a2}}}^{{2}}{}{x}{+}{81}{}\left({{\int }}_{{}}^{{\mathrm{_Z}}}\frac{{\left({3}{}{\mathrm{a1}}{}{\mathrm{a3}}{-}{{\mathrm{a2}}}^{{2}}\right)}^{{3}}}{{729}{}{{\mathrm{_a}}}^{{3}}{}{{\mathrm{a0}}}^{{2}}{}{{\mathrm{a3}}}^{{4}}{-}{486}{}{{\mathrm{_a}}}^{{3}}{}{\mathrm{a0}}{}{\mathrm{a1}}{}{\mathrm{a2}}{}{{\mathrm{a3}}}^{{3}}{+}{108}{}{{\mathrm{_a}}}^{{3}}{}{\mathrm{a0}}{}{{\mathrm{a2}}}^{{3}}{}{{\mathrm{a3}}}^{{2}}{+}{81}{}{{\mathrm{_a}}}^{{3}}{}{{\mathrm{a1}}}^{{2}}{}{{\mathrm{a2}}}^{{2}}{}{{\mathrm{a3}}}^{{2}}{-}{36}{}{{\mathrm{_a}}}^{{3}}{}{\mathrm{a1}}{}{{\mathrm{a2}}}^{{4}}{}{\mathrm{a3}}{+}{4}{}{{\mathrm{_a}}}^{{3}}{}{{\mathrm{a2}}}^{{6}}{+}{729}{}{\mathrm{_a}}{}{{\mathrm{a1}}}^{{3}}{}{{\mathrm{a3}}}^{{3}}{-}{729}{}{\mathrm{_a}}{}{{\mathrm{a1}}}^{{2}}{}{{\mathrm{a2}}}^{{2}}{}{{\mathrm{a3}}}^{{2}}{+}{243}{}{\mathrm{_a}}{}{\mathrm{a1}}{}{{\mathrm{a2}}}^{{4}}{}{\mathrm{a3}}{-}{27}{}{\mathrm{_a}}{}{{\mathrm{a2}}}^{{6}}{-}{729}{}{{\mathrm{a1}}}^{{3}}{}{{\mathrm{a3}}}^{{3}}{+}{729}{}{{\mathrm{a1}}}^{{2}}{}{{\mathrm{a2}}}^{{2}}{}{{\mathrm{a3}}}^{{2}}{-}{243}{}{\mathrm{a1}}{}{{\mathrm{a2}}}^{{4}}{}{\mathrm{a3}}{+}{27}{}{{\mathrm{a2}}}^{{6}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{ⅆ}{\mathrm{_a}}\right){}{\mathrm{a3}}{+}{3}{}{\mathrm{_C1}}{}{\mathrm{a3}}\right){}{{\mathrm{a2}}}^{{3}}{+}{9}{}{\mathrm{a2}}{}{\mathrm{a1}}{}{\mathrm{a3}}{-}{3}{}{{\mathrm{a2}}}^{{3}}}{{9}{}{\mathrm{a3}}{}\left({3}{}{\mathrm{a1}}{}{\mathrm{a3}}{-}{{\mathrm{a2}}}^{{2}}\right)}\right\}$ (2)
 > $\mathrm{ode}≔\mathrm{D}\left(z\right)\left(t\right)+3a{z\left(t\right)}^{3}+6at{z\left(t\right)}^{2}$
 ${\mathrm{ode}}{≔}{\mathrm{D}}{}\left({z}\right){}\left({t}\right){+}{3}{}{a}{}{{z}{}\left({t}\right)}^{{3}}{+}{6}{}{a}{}{t}{}{{z}{}\left({t}\right)}^{{2}}$ (3)
 > $\mathrm{abelsol}\left(\mathrm{ode},z\left(t\right)\right)$
 $\left\{{z}{}\left({t}\right){=}\frac{{1}}{{3}{}{a}{}{{t}}^{{2}}{+}{\mathrm{RootOf}}{}\left({\mathrm{AiryBi}}{}\left({\mathrm{_Z}}\right){}{\left({-}{3}{}{a}\right)}^{{1}}{{3}}}{}{\mathrm{_C1}}{}{t}{+}{\left({-}{3}{}{a}\right)}^{{1}}{{3}}}{}{t}{}{\mathrm{AiryAi}}{}\left({\mathrm{_Z}}\right){+}{\mathrm{AiryBi}}{}\left({1}{,}{\mathrm{_Z}}\right){}{\mathrm{_C1}}{+}{\mathrm{AiryAi}}{}\left({1}{,}{\mathrm{_Z}}\right)\right){}{\left({-}{3}{}{a}\right)}^{{1}}{{3}}}}\right\}$ (4)