DEtools - Maple Programming Help

Home : Support : Online Help : Mathematics : Differential Equations : DEtools : Linear DE Manipulation : DEtools/autonomous

DEtools

 autonomous
 determine if a set of DEs is strictly autonomous

 Calling Sequence autonomous(des, vars, ivar)

Parameters

 des - list or set of differential equations vars - list or set of dependent variables ivar - independent variable

Description

 • This routine is used to determine if a system of differential equations, or a single differential equation, is strictly autonomous.  "Strictly" means that the independent variable does not appear as a part or argument of any terms, other than in calls to 'diff' or 'D', or when explicitly defined as part of the dependent variable.
 • 'true' is returned if the system is determined to be autonomous by the above criteria; otherwise, 'false' is returned.
 • There can be only one independent variable.
 • This function is part of the DEtools package, and so it can be used in the form autonomous(..) only after executing the command with(DEtools). However, it can always be accessed through the long form of the command by using DEtools[autonomous](..).

Examples

 > $\mathrm{with}\left(\mathrm{DEtools}\right):$
 > $\mathrm{DE}≔\frac{ⅆ}{ⅆx}y\left(x\right)=y\left(x\right)\mathrm{sin}\left(y\left(x\right)-\mathrm{cos}\left(\mathrm{sin}\left(\mathrm{tan}\left(\mathrm{Bessel}\left(y\left(x\right)-{y\left(x\right)}^{\frac{1}{2}},3\right)\right)\right)\right)\right)$
 ${\mathrm{DE}}{≔}\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right){=}{-}{y}{}\left({x}\right){}{\mathrm{sin}}{}\left({-}{y}{}\left({x}\right){+}{\mathrm{cos}}{}\left({\mathrm{sin}}{}\left({\mathrm{tan}}{}\left({\mathrm{Bessel}}{}\left({y}{}\left({x}\right){-}\sqrt{{y}{}\left({x}\right)}{,}{3}\right)\right)\right)\right)\right)$ (1)
 > $\mathrm{autonomous}\left(\mathrm{DE},y\left(x\right),x\right)$
 ${\mathrm{true}}$ (2)
 > $\mathrm{autonomous}\left(\mathrm{sin}\left(z\left(t\right)-{z\left(t\right)}^{2}\right){\mathrm{D}}^{\left(4\right)}\left(z\right)\left(t\right)-\mathrm{cos}\left(z\left(t\right)\right)-5,z,t\right)$
 ${\mathrm{true}}$ (3)
 > $\mathrm{DE2}≔\frac{ⅆ}{ⅆs}x\left(s\right)-x\left(s\right)\mathrm{cos}\left(\mathrm{arctan}\left(x\left(s\right)\right)\right)=\mathrm{arctan}\left(s\right)$
 ${\mathrm{DE2}}{≔}\frac{{ⅆ}}{{ⅆ}{s}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{x}{}\left({s}\right){-}\frac{{x}{}\left({s}\right)}{\sqrt{{1}{+}{{x}{}\left({s}\right)}^{{2}}}}{=}{\mathrm{arctan}}{}\left({s}\right)$ (4)
 > $\mathrm{autonomous}\left(\mathrm{DE2},\left\{x\right\},s\right)$
 ${\mathrm{false}}$ (5)
 > $\mathrm{DE3}≔\frac{ⅆ}{ⅆx}y\left(x\right)=\mathrm{sin}\left(y\left(x\right)\right)z\left(x\right),\left(\frac{ⅆ}{ⅆx}z\left(x\right)\right)\mathrm{cos}\left(z\left(x\right)\right)=y\left(x\right)\mathrm{Bessel}\left(y\left(x\right),3\right)$
 ${\mathrm{DE3}}{≔}\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right){=}{\mathrm{sin}}{}\left({y}{}\left({x}\right)\right){}{z}{}\left({x}\right){,}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{z}{}\left({x}\right)\right){}{\mathrm{cos}}{}\left({z}{}\left({x}\right)\right){=}{y}{}\left({x}\right){}{\mathrm{Bessel}}{}\left({y}{}\left({x}\right){,}{3}\right)$ (6)
 > $\mathrm{autonomous}\left(\left\{\mathrm{DE3}\right\},\left\{y,z\right\},x\right)$
 ${\mathrm{true}}$ (7)