mutest - Maple Help

DEtools

 mutest
 test a given integrating factor

 Calling Sequence mutest(mu, ODE, y(x))

Parameters

 mu - integrating factor ODE - ordinary differential equation y(x) - (optional) indeterminate function of the ODE

Description

 • The mutest command checks whether a given expression is an integrating factor of a given ODE. Similar to odetest, mutest returns $0$ when the first argument - say mu - is indeed an integrating factor.  Otherwise it returns an algebraic expression obtained after simplifying the Exactness condition. This Exactness condition is obtained by applying Euler's operator (satisfied by total derivatives) to mu times the ODE.
 • Note however that when the result returned by mutest is not zero, the expression might nevertheless be an integrating factor. In some cases you can obtain the desired $0$ with further simplifications by using commands such as expand and combine.
 • This function is part of the DEtools package, and so it can be used in the form mutest(..) only after executing the command with(DEtools). However, it can always be accessed through the long form of the command by using DEtools[mutest](..).

Examples

A first order ODE

 > $\mathrm{with}\left(\mathrm{DEtools}\right):$
 > $\mathrm{ODE}≔\mathrm{diff}\left(y\left(x\right),x\right)=y\left(x\right)a\left(x\right)+b\left(x\right)$
 ${\mathrm{ODE}}{≔}\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right){=}{y}{}\left({x}\right){}{a}{}\left({x}\right){+}{b}{}\left({x}\right)$ (1)

An integrating factor for ODE above

 > $\mathrm{Μ}≔\mathrm{intfactor}\left(\mathrm{ODE}\right)$
 ${\mathrm{Μ}}{≔}{{ⅇ}}^{{\int }{-}{a}{}\left({x}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{ⅆ}{x}}$ (2)

Testing this integrating factor

 > $\mathrm{mutest}\left(\mathrm{Μ},\mathrm{ODE}\right)$
 ${0}$ (3)

A second order ODE example

 > $\mathrm{ODE}≔\mathrm{diff}\left(y\left(x\right),x,x\right)=-\frac{{\mathrm{diff}\left(y\left(x\right),x\right)}^{2}+2x\mathrm{diff}\left(y\left(x\right),x\right)+2y\left(x\right)}{y\left(x\right)}$
 ${\mathrm{ODE}}{≔}\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right){=}{-}\frac{{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}{+}{2}{}{x}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){+}{2}{}{y}{}\left({x}\right)}{{y}{}\left({x}\right)}$ (4)
 > $\mathrm{Μ}≔\frac{1}{\mathrm{diff}\left(y\left(x\right),x\right)+2x}$
 ${\mathrm{Μ}}{≔}\frac{{1}}{\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right){+}{2}{}{x}}$ (5)
 > $\mathrm{mutest}\left(\mathrm{Μ},\mathrm{ODE}\right)$
 ${0}$ (6)