
Calling Sequence


checkrank(system, options)
checkrank(system, vars, options)


Parameters


system



list or set of polynomially nonlinear PDEs or ODEs (may contain inequations)

vars



(optional) list of the dependent variables to solve for

options



(optional) sequence of options to control the behavior of checkrank





Description


•

To simplify systems of PDEs or ODEs, a ranking must be defined over all indeterminates present in the system. The ranking allows the algorithm to select an indeterminate for which to solve algebraically when looking at an equation. The checkrank function can be used to understand how the rankingassociated options define a ranking in rifsimp. For more detailed information about rankings, please see rifsimp[ranking].

•

The checkrank function takes in the system as input along with the options:

vars

List of dependent variables (See Following)

indep=[indep vars]

List of independent variables (See Following)

ranking=[...]

Specification of exact ranking (See rifsimp[ranking])

degree=n

Use all derivatives to differential order n.



•

The output is a list that contains the derivatives in the system ordered from highest to lowest rank. If degree is given, all possible derivatives of all dependent variables up to the specified degree are used; otherwise, only the derivatives present in the input are used.


When simplifying a system of PDEs or ODEs, you may want to eliminate higher order derivatives in favor of lower order derivatives. Do this by using a ranking by differential order, as is the default for rifsimp. Unfortunately, this says nothing about how ties are broken, for example, between two third order derivatives.


The breaking of ties is accomplished by first looking at the differentiations of the derivative with respect to each independent variable in turn. If they are of equal order, then the dependent variable itself is examined. The independent variable differentiations are examined in the order in which they appear in the dependency lists of the dependent variables, and the dependent variables are ordered alphabetically.


So, for example, given an input system containing f(x,y,z),g(x,y,z),h(x,z), the following will hold:

[x,y,z]

Order of independent variables

[f,g,h]

Order of dependent variables

f[x] < g[xx]

By differential order

g[xy] < f[xxz]

By differential order

f[xy] < g[xx]

By differentiation with respect to x (x>y)


Note: differential order is equal

f[xzz] < g[xyz]

By differentiation with respect to y

g[xx] < f[xx]

By dependent variable


Note: differentiations are exactly equal

h[xz] < f[xz]

By dependent variable




Note that, in the above example, the only time the dependent variable comes into play is when all differentiations are equal.


To change the default ranking, use the vars, $\mathrm{indep}=\[...\]$, or $\mathrm{ranking}=\[...\]$ options. The vars can be specified in two distinct ways:


If the vars are specified as a simple list, this option overrides the alphabetical order of the dependent variables described in the default ordering section.


This option gives a solving order for the dependent variables. For example, if vars were specified as [[f],[g,h]], this would tell rifsimp to rank any derivative of f greater than all derivatives of g and h. Then, and when comparing g and h, the solving order would be differential order, then differentiations, and then dependent variable name as specified by the input [g,h]. This would help in obtaining a subset of the system that is independent of f; that is, a smaller PDE system in g and h only.

•

The indep=[...] option provides for the specification of the independent variables for the problem, as well as the order in which differentiations are examined. So if the option indep=[x, y] were used, then f[x] would be ranked higher than f[y], but if indep=[y, x] were specified, then the opposite would be true.



Examples


>

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

The first example uses the default ranking for a simple system.
>

$\mathrm{sys}\u2254\left[\frac{{\ⅆ}^{2}}{\ⅆ{x}^{2}}g\left(x\right)g\left(x\right)\=0\,{\left(\frac{\ⅆ}{\ⅆx}f\left(x\right)\right)}^{3}\left(\frac{\ⅆ}{\ⅆx}g\left(x\right)\right)\=0\right]$

${\mathrm{sys}}{\u2254}\left[\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}\right){}{g}{}\left({x}\right){=}{0}{\,}{\left(\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right)}^{{3}}{}\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}\right){=}{0}\right]$
 (1) 
>

$\mathrm{checkrank}\left(\mathrm{sys}\right)$

$\left[\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}\right){\,}\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right){\,}\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}\right){\,}{g}{}\left({x}\right)\right]$
 (2) 
By default, the first equation would be solved for the second order derivative in g(x), while the second equation would be solved for the first order derivative in f(x). Suppose instead that we always want to solve for g(x) before f(x). We can use vars.
>

$\mathrm{checkrank}\left(\mathrm{sys}\,\left[\left[g\right]\,\left[f\right]\right]\right)$

$\left[\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}\right){\,}\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}\right){\,}{g}{}\left({x}\right){\,}\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right]$
 (3) 
So here g(x) and all derivatives are ranked higher than f(x).
The next example shows the default for a PDE system in f(x,y), g(x,y), h(y) (where we use the degree=2 option to get all second order derivatives):
>

$\mathrm{checkrank}\left(\left[f\left(x\,y\right)\,g\left(x\,y\right)\,h\left(y\right)\right]\,\mathrm{degree}\=2\right)$

$\left[\frac{{{\partial}}^{{2}}}{{\partial}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}{\,}{y}\right){\,}\frac{{{\partial}}^{{2}}}{{\partial}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{\,}{y}\right){\,}{0}{\,}\frac{{{\partial}}^{{2}}}{{\partial}{x}{\partial}{y}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}{\,}{y}\right){\,}\frac{{{\partial}}^{{2}}}{{\partial}{x}{\partial}{y}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{\,}{y}\right){\,}{0}{\,}\frac{{{\partial}}^{{2}}}{{\partial}{{y}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}{\,}{y}\right){\,}\frac{{{\partial}}^{{2}}}{{\partial}{{y}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{\,}{y}\right){\,}\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{y}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{h}{}\left({y}\right){\,}\frac{{\partial}}{{\partial}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}{\,}{y}\right){\,}\frac{{\partial}}{{\partial}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{\,}{y}\right){\,}{0}{\,}\frac{{\partial}}{{\partial}{y}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}{\,}{y}\right){\,}\frac{{\partial}}{{\partial}{y}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{\,}{y}\right){\,}\frac{{\ⅆ}}{{\ⅆ}{y}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{h}{}\left({y}\right){\,}{f}{}\left({x}{\,}{y}\right){\,}{g}{}\left({x}{\,}{y}\right){\,}{h}{}\left({y}\right)\right]$
 (4) 
All second order derivatives are first (first 7 entries), then the first derivatives with respect to x ahead of the first derivatives with respect to y, and finally $f\left(x\,y\right)$, then $g\left(x\,y\right)$, then $h\left(y\right)$.
Suppose we want to eliminate higher derivatives involving y before x. We can use indep for this as follows:
>

$\mathrm{checkrank}\left(\left[f\left(x\,y\right)\,g\left(x\,y\right)\,h\left(y\right)\right]\,\mathrm{indep}\=\left[y\,x\right]\,\mathrm{degree}\=2\right)$

$\left[\frac{{{\partial}}^{{2}}}{{\partial}{{y}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}{\,}{y}\right){\,}\frac{{{\partial}}^{{2}}}{{\partial}{{y}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{\,}{y}\right){\,}\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{y}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{h}{}\left({y}\right){\,}\frac{{{\partial}}^{{2}}}{{\partial}{x}{\partial}{y}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}{\,}{y}\right){\,}\frac{{{\partial}}^{{2}}}{{\partial}{x}{\partial}{y}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{\,}{y}\right){\,}{0}{\,}\frac{{{\partial}}^{{2}}}{{\partial}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}{\,}{y}\right){\,}\frac{{{\partial}}^{{2}}}{{\partial}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{\,}{y}\right){\,}{0}{\,}\frac{{\partial}}{{\partial}{y}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}{\,}{y}\right){\,}\frac{{\partial}}{{\partial}{y}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{\,}{y}\right){\,}\frac{{\ⅆ}}{{\ⅆ}{y}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{h}{}\left({y}\right){\,}\frac{{\partial}}{{\partial}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}{\,}{y}\right){\,}\frac{{\partial}}{{\partial}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{\,}{y}\right){\,}{0}{\,}{f}{}\left({x}{\,}{y}\right){\,}{g}{}\left({x}{\,}{y}\right){\,}{h}{}\left({y}\right)\right]$
 (5) 
Now to eliminate f(x,y) and derivatives in terms of $g\left(x\,y\right)$ and $h\left(y\right)$, and to rank y derivatives higher than x, we can combine the options to obtain the following.
>

$\mathrm{checkrank}\left(\left[f\left(x\,y\right)\,g\left(x\,y\right)\,h\left(y\right)\right]\,\left[\left[f\right]\,\left[g\,h\right]\right]\,\mathrm{indep}\=\left[y\,x\right]\,\mathrm{degree}\=2\right)$

$\left[\frac{{{\partial}}^{{2}}}{{\partial}{{y}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}{\,}{y}\right){\,}\frac{{{\partial}}^{{2}}}{{\partial}{x}{\partial}{y}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}{\,}{y}\right){\,}\frac{{{\partial}}^{{2}}}{{\partial}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}{\,}{y}\right){\,}\frac{{\partial}}{{\partial}{y}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}{\,}{y}\right){\,}\frac{{\partial}}{{\partial}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}{\,}{y}\right){\,}{f}{}\left({x}{\,}{y}\right){\,}\frac{{{\partial}}^{{2}}}{{\partial}{{y}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{\,}{y}\right){\,}\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{y}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{h}{}\left({y}\right){\,}\frac{{{\partial}}^{{2}}}{{\partial}{x}{\partial}{y}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{\,}{y}\right){\,}{0}{\,}\frac{{{\partial}}^{{2}}}{{\partial}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{\,}{y}\right){\,}{0}{\,}\frac{{\partial}}{{\partial}{y}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{\,}{y}\right){\,}\frac{{\ⅆ}}{{\ⅆ}{y}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{h}{}\left({y}\right){\,}\frac{{\partial}}{{\partial}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{\,}{y}\right){\,}{0}{\,}{g}{}\left({x}{\,}{y}\right){\,}{h}{}\left({y}\right)\right]$
 (6) 


