liesol - Maple Help

DEtools

 liesol
 find solutions of a first order Lie ODE

 Calling Sequence liesol(lode, v)

Parameters

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

Description

 • The liesol routine attempts to find a solution to the equation by using Lie methods. See dsolve,Lie.
 • 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 liesol(..) only after executing the command with(DEtools). However, it can always be accessed through the long form of the command by using DEtools[liesol](..).

Examples

 > $\mathrm{with}\left(\mathrm{DEtools}\right):$

A nonlinear fifth order example (number 17 from Kamke's book) solved by reducing the order constructively using canonical coordinates

 > $\mathrm{ode}≔9{\mathrm{diff}\left(y\left(x\right),x,x\right)}^{2}\mathrm{diff}\left(y\left(x\right),x,x,x,x,x\right)-45\mathrm{diff}\left(y\left(x\right),x,x\right)\mathrm{diff}\left(y\left(x\right),x,x,x\right)\mathrm{diff}\left(y\left(x\right),x,x,x,x\right)+40\mathrm{diff}\left(y\left(x\right),x,x,x\right)$
 ${\mathrm{ode}}{≔}{9}{}{\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}{}\left(\frac{{{ⅆ}}^{{5}}}{{ⅆ}{{x}}^{{5}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){-}{45}{}\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){}\left(\frac{{{ⅆ}}^{{3}}}{{ⅆ}{{x}}^{{3}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){}\left(\frac{{{ⅆ}}^{{4}}}{{ⅆ}{{x}}^{{4}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){+}{40}{}\frac{{{ⅆ}}^{{3}}}{{ⅆ}{{x}}^{{3}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)$ (1)
 > $\mathrm{liesol}\left(\mathrm{ode},y\left(x\right)\right)$
 $\left\{{y}{}\left({x}\right){=}{\int }{\int }{\mathrm{RootOf}}{}\left({-}\left({{\int }}_{{}}^{{\mathrm{_Z}}}\frac{{1}}{{\mathrm{RootOf}}{}\left({-}{20}{}{\mathrm{ln}}{}\left({\mathrm{_f}}\right){+}{{\int }}_{{}}^{{\mathrm{_Z}}}{\mathrm{_k}}{}\left({{ⅇ}}^{{\mathrm{RootOf}}{}\left({81}{}{{\mathrm{_k}}}^{{2}}{}{{ⅇ}}^{{\mathrm{_Z}}}{-}{40}{}{{ⅇ}}^{{\mathrm{_Z}}}{}{\mathrm{ln}}{}\left({2}\right){-}{20}{}{{ⅇ}}^{{\mathrm{_Z}}}{}{\mathrm{ln}}{}\left({5}\right){+}{20}{}{{ⅇ}}^{{\mathrm{_Z}}}{}{\mathrm{ln}}{}\left({{ⅇ}}^{{\mathrm{_Z}}}{+}{27}\right){+}{162}{}{\mathrm{_C1}}{}{{ⅇ}}^{{\mathrm{_Z}}}{-}{20}{}{\mathrm{_Z}}{}{{ⅇ}}^{{\mathrm{_Z}}}{+}{2187}{}{{\mathrm{_k}}}^{{2}}{-}{1080}{}{\mathrm{ln}}{}\left({2}\right){-}{540}{}{\mathrm{ln}}{}\left({5}\right){+}{540}{}{\mathrm{ln}}{}\left({{ⅇ}}^{{\mathrm{_Z}}}{+}{27}\right){+}{4374}{}{\mathrm{_C1}}{-}{540}{}{\mathrm{_Z}}{-}{540}\right)}{+}{27}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{ⅆ}{\mathrm{_k}}{+}{20}{}{\mathrm{_C2}}\right)}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{ⅆ}{\mathrm{_f}}\right){+}{x}{+}{\mathrm{_C3}}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{ⅆ}{x}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{ⅆ}{x}{+}{\mathrm{_C4}}{}{x}{+}{\mathrm{_C5}}\right\}$ (2)