ODEInvariants - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

DEtools

 ODEInvariants
 computes relative invariants for linear and nonlinear ODEs of order 3 and higher

 Calling Sequence ODEInvariants(ODE, y(x))

Parameters

 ODE - ordinary differential equation satisfied by y(x) y(x) - (optional) dependent variable; required when the ODE contains more than one function being differentiated

Description

 • Given a linear or nonlinear ODE of order $m=3$ or higher, ODEInvariants returns a list of $m-2$ relative invariants under transformations of the form$x\to F\left(x\right),y\left(x\right)\to P\left(x\right)y\left(x\right)$. The weight of each of these relative invariants is given by the power of the derivative of $F\left(x\right)$ entering as a factor in the transformed invariant, and given two relative invariants ${I}_{r}$ and ${I}_{s}$ respectively of weights $r$ and $s$, an absolute invariant can be constructed by taking $\frac{{I}_{r}^{s}}{{I}_{s}^{r}}$ (see references [1] and [2]).
 • The invariants in the returned list are ordered according to increasing weight, from weight = 3 to weight = m, the order of the equation. For example, for a fourth order ODE, the returned list contains two relative invariants, respectively of weights 3 and 4.
 • In the case of linear ODEs, these invariants coincide with the Wilczynski invariants (see reference [3]) although their computation is performed without rewriting the linear equation in Laguerre-Forsyth form. Instead, given a linear ODE of order 3 or higher, in normal form,

 ${y}^{\left(m\right)}+{c}_{m-2}\left(x\right){y}^{\left(m-2\right)}+\mathrm{...}+{c}_{1}\left(x\right)y\text{'}+{c}_{0}\left(x\right)y=0$ (1)

 by transforming this equation using

$\left\{x\to F\left(x\right),y\to {\left(F\text{'}\right)}^{\frac{m-1}{2}}u\left(t\right)\right\}$

 we obtain an equation of the same form as (1). Performing now a sequential reduction of the transformed ${c}_{m-j}\left(x\right)$ coefficients, $j=3..m$, eliminating derivatives of $F\left(x\right)$, a sequence of expressions result that coincide with the Wilczynski relative invariants. The advantage of this process if that it does not require rewriting the linear equation in Laguerre-Forsyth form, which in turn would require solving a linear ODE of order m-1.
 • For nonlinear ODEs of order $m=3$ or higher, that are polynomial in the unknown $y\left(x\right)$ and its derivatives, an auxiliary linear ODE is constructed - say in $u\left(x\right)$ - where the coefficient of each derivative of $u\left(x\right)$ in this linear ODE is equal to the coefficient of the derivative of $y\left(x\right)$ of the same order in the given nonlinear ODE. Thus, because the ODE in $y\left(x\right)$ is nonlinear, this auxiliary linear ODE in $u\left(x\right)$ has coefficients involving $y\left(x\right)$ and its derivatives. Next the Wilczynski invariants are computed for this linear ODE in $u\left(x\right)$ and finally they are reduced with respect to the given nonlinear ODE in $y\left(x\right)$ (i.e., the mth derivative of $y\left(x\right)$ is isolated and replaced in the invariants).
 • Note that in the nonlinear case the invariants may dependent on the unknown $y\left(x\right)$ and its derivatives. However, if the nonlinear equation is linearizable through a point transformation these invariants will depend only on the independent variable $x$ - see examples below.

Examples

 > $\mathrm{with}\left(\mathrm{DEtools},\mathrm{ODEInvariants}\right)$
 $\left[{\mathrm{ODEInvariants}}\right]$ (1)
 > $\mathrm{PDEtools}:-\mathrm{declare}\left(\left(C,F,c,u,y\right)\left(x\right),\mathrm{prime}=x\right)$
 ${C}{}\left({x}\right){}{\mathrm{will now be displayed as}}{}{C}$
 ${F}{}\left({x}\right){}{\mathrm{will now be displayed as}}{}{F}$
 ${c}{}\left({x}\right){}{\mathrm{will now be displayed as}}{}{c}$
 ${u}{}\left({x}\right){}{\mathrm{will now be displayed as}}{}{u}$
 ${y}{}\left({x}\right){}{\mathrm{will now be displayed as}}{}{y}$
 ${\mathrm{derivatives with respect to}}{}{x}{}{\mathrm{of functions of one variable will now be displayed with \text{'}}}$ (2)

Consider the general form of a third order linear ODE

 > $\mathrm{ode}\left[3\right]≔\mathrm{diff}\left(y\left(x\right),\mathrm{}\left(x,3\right)\right)=\mathrm{add}\left(c\left[j\right]\left(x\right)\mathrm{diff}\left(y\left(x\right),\left[\mathrm{}\left(x,j\right)\right]\right),j=\left[2,1,0\right]\right)$
 ${{\mathrm{ode}}}_{{3}}{≔}{\mathrm{y\text{'}\text{'}\text{'}}}{=}{{c}}_{{2}}{}{\mathrm{y\text{'}\text{'}}}{+}{{c}}_{{1}}{}{\mathrm{y\text{'}}}{+}{{c}}_{{0}}{}{y}$ (3)

For ODEs of third order ODEInvariants returns one invariant

 > $\mathrm{ODEInvariants}\left(\mathrm{ode}\left[3\right]\right)$
 $\left[{2}{}{{c}}_{{0}}{+}\frac{{2}{}{{c}}_{{1}}{}{{c}}_{{2}}}{{3}}{+}\frac{{4}{}{{{c}}_{{2}}}^{{3}}}{{27}}{+}\frac{{{c}}_{{2}}^{{\mathrm{\text{'}\text{'}}}}}{{3}}{-}{{c}}_{{1}}^{{\text{'}}}{-}\frac{{2}{}{{c}}_{{2}}^{{\text{'}}}{}{{c}}_{{2}}}{{3}}\right]$ (4)

Let's check that the returned invariants are relative invariants in the case of a  fourth order linear ODE

 > $\mathrm{ode}\left[4\right]≔\mathrm{diff}\left(y\left(x\right),\mathrm{}\left(x,4\right)\right)=\mathrm{add}\left(c\left[j\right]\left(x\right)\mathrm{diff}\left(y\left(x\right),\left[\mathrm{}\left(x,j\right)\right]\right),j=\left[3,2,1,0\right]\right)$
 ${{\mathrm{ode}}}_{{4}}{≔}{\mathrm{y\text{'}\text{'}\text{'}\text{'}}}{=}{{c}}_{{3}}{}{\mathrm{y\text{'}\text{'}\text{'}}}{+}{{c}}_{{2}}{}{\mathrm{y\text{'}\text{'}}}{+}{{c}}_{{1}}{}{\mathrm{y\text{'}}}{+}{{c}}_{{0}}{}{y}$ (5)
 > $\mathrm{ii}≔\mathrm{ODEInvariants}\left(\mathrm{ode}\left[4\right]\right)$
 ${\mathrm{ii}}{≔}\left[{{c}}_{{1}}{+}\frac{{{c}}_{{2}}{}{{c}}_{{3}}}{{2}}{+}\frac{{{{c}}_{{3}}}^{{3}}}{{8}}{+}\frac{{{c}}_{{3}}^{{\mathrm{\text{'}\text{'}}}}}{{2}}{-}{{c}}_{{2}}^{{\text{'}}}{-}\frac{{3}{}{{c}}_{{3}}{}{{c}}_{{3}}^{{\text{'}}}}{{4}}{,}\frac{{{c}}_{{3}}^{{\mathrm{\text{'}\text{'}\text{'}}}}}{{4}}{-}{{c}}_{{2}}^{{\mathrm{\text{'}\text{'}}}}{-}\frac{{3}{}{{c}}_{{3}}^{{\mathrm{\text{'}\text{'}}}}{}{{c}}_{{3}}}{{4}}{-}\frac{{33}{}{\left({{c}}_{{3}}^{{\text{'}}}\right)}^{{2}}}{{40}}{+}\frac{{3}{}\left({13}{}{{{c}}_{{3}}}^{{2}}{+}{18}{}{{c}}_{{2}}\right){}{{c}}_{{3}}^{{\text{'}}}}{{40}}{-}\frac{{39}{}{{{c}}_{{3}}}^{{4}}}{{320}}{-}\frac{{13}{}{{{c}}_{{3}}}^{{2}}{}{{c}}_{{2}}}{{20}}{-}\frac{{5}{}{{c}}_{{1}}{}{{c}}_{{3}}}{{4}}{-}\frac{{9}{}{{{c}}_{{2}}}^{{2}}}{{20}}{+}\frac{{5}{}{{c}}_{{2}}^{{\text{'}}}{}{{c}}_{{3}}}{{4}}{-}{5}{}{{c}}_{{0}}{+}\frac{{5}{}{{c}}_{{1}}^{{\text{'}}}}{{2}}\right]$ (6)

By definition, these expressions are relative invariants if when we transform in them the coefficients c[j](x) using

 > $\mathrm{tr}≔\left\{x=F\left(t\right),y\left(x\right)={\mathrm{diff}\left(F\left(t\right),t\right)}^{\frac{3}{2}}u\left(t\right)\right\}$
 ${\mathrm{tr}}{≔}\left\{{x}{=}{F}{}\left({t}\right){,}{y}{=}{{{F}}_{{t}}}^{{3}}{{2}}}{}{u}{}\left({t}\right)\right\}$ (7)

the resulting expressions are of the form ${\left(F\text{'}\right)}^{k}\mathrm{\Phi }\left({c}_{j}\left(F\right)\right)$, and if next, by replacing F by the identity, we reobtain the departing expressions $\mathrm{ii}$

So we proceed first transforming these coefficients entering $\mathrm{ii}$ and for that purpose transform ode[4]

 > $\mathrm{PDEtools}:-\mathrm{dchange}\left(\mathrm{tr},\mathrm{ode}\left[4\right],\left[t,u\left(t\right)\right],\mathrm{known}=\mathrm{all},\mathrm{simplify}\right)$
 $\frac{{80}{}{{u}}_{{t}}{}{{F}}_{{t}{,}{t}{,}{t}{,}{t}}{}{{{F}}_{{t}}}^{{3}}{-}{320}{}{{F}}_{{t}{,}{t}}{}{{u}}_{{t}}{}{{F}}_{{t}{,}{t}{,}{t}}{}{{{F}}_{{t}}}^{{2}}{+}{240}{}{{{F}}_{{t}{,}{t}}}^{{3}}{}{{u}}_{{t}}{}{{F}}_{{t}}{+}{80}{}{{F}}_{{t}{,}{t}{,}{t}}{}{{u}}_{{t}{,}{t}}{}{{{F}}_{{t}}}^{{3}}{-}{120}{}{{{F}}_{{t}{,}{t}}}^{{2}}{}{{u}}_{{t}{,}{t}}{}{{{F}}_{{t}}}^{{2}}{+}{16}{}{{u}}_{{t}{,}{t}{,}{t}{,}{t}}{}{{{F}}_{{t}}}^{{4}}{+}{24}{}{u}{}\left({t}\right){}{{F}}_{{t}{,}{t}{,}{t}{,}{t}{,}{t}}{}{{{F}}_{{t}}}^{{3}}{-}{120}{}{u}{}\left({t}\right){}{{F}}_{{t}{,}{t}}{}{{F}}_{{t}{,}{t}{,}{t}{,}{t}}{}{{{F}}_{{t}}}^{{2}}{-}{60}{}{u}{}\left({t}\right){}{{{F}}_{{t}{,}{t}{,}{t}}}^{{2}}{}{{{F}}_{{t}}}^{{2}}{+}{300}{}{u}{}\left({t}\right){}{{{F}}_{{t}{,}{t}}}^{{2}}{}{{F}}_{{t}{,}{t}{,}{t}}{}{{F}}_{{t}}{-}{135}{}{u}{}\left({t}\right){}{{{F}}_{{t}{,}{t}}}^{{4}}}{{16}{}{{{F}}_{{t}}}^{{13}}{{2}}}}{=}\frac{{3}{}{{c}}_{{3}}{}\left({F}{}\left({t}\right)\right){}{u}{}\left({t}\right){}{{F}}_{{t}{,}{t}{,}{t}{,}{t}}{}{{{F}}_{{t}}}^{{2}}{+}\frac{\left({6}{}{{c}}_{{2}}{}\left({F}{}\left({t}\right)\right){}{u}{}\left({t}\right){}{{{F}}_{{t}}}^{{3}}{-}{15}{}{{c}}_{{3}}{}\left({F}{}\left({t}\right)\right){}{u}{}\left({t}\right){}{{F}}_{{t}{,}{t}}{}{{F}}_{{t}}{+}{14}{}{{c}}_{{3}}{}\left({F}{}\left({t}\right)\right){}{{u}}_{{t}}{}{{{F}}_{{t}}}^{{2}}\right){}{{F}}_{{t}{,}{t}{,}{t}}}{{2}}{+}{2}{}{{c}}_{{3}}{}\left({F}{}\left({t}\right)\right){}{{u}}_{{t}{,}{t}{,}{t}}{}{{{F}}_{{t}}}^{{3}}{+}\frac{{15}{}{{c}}_{{3}}{}\left({F}{}\left({t}\right)\right){}{u}{}\left({t}\right){}{{{F}}_{{t}{,}{t}}}^{{3}}}{{4}}{+}\frac{{3}{}\left({-}{{c}}_{{2}}{}\left({F}{}\left({t}\right)\right){}{u}{}\left({t}\right){}{{{F}}_{{t}}}^{{2}}{-}{5}{}{{c}}_{{3}}{}\left({F}{}\left({t}\right)\right){}{{u}}_{{t}}{}{{F}}_{{t}}\right){}{{{F}}_{{t}{,}{t}}}^{{2}}}{{2}}{+}\left({3}{}{{c}}_{{1}}{}\left({F}{}\left({t}\right)\right){}{u}{}\left({t}\right){}{{{F}}_{{t}}}^{{4}}{+}{4}{}{{c}}_{{2}}{}\left({F}{}\left({t}\right)\right){}{{u}}_{{t}}{}{{{F}}_{{t}}}^{{3}}{+}{3}{}{{c}}_{{3}}{}\left({F}{}\left({t}\right)\right){}{{u}}_{{t}{,}{t}}{}{{{F}}_{{t}}}^{{2}}\right){}{{F}}_{{t}{,}{t}}{+}{2}{}{{c}}_{{0}}{}\left({F}{}\left({t}\right)\right){}{u}{}\left({t}\right){}{{{F}}_{{t}}}^{{6}}{+}{2}{}{{c}}_{{1}}{}\left({F}{}\left({t}\right)\right){}{{u}}_{{t}}{}{{{F}}_{{t}}}^{{5}}{+}{2}{}{{c}}_{{2}}{}\left({F}{}\left({t}\right)\right){}{{u}}_{{t}{,}{t}}{}{{{F}}_{{t}}}^{{4}}}{{2}{}{{{F}}_{{t}}}^{{9}}{{2}}}}$ (8)

To get the transformed coefficients ${C}_{j}$, first isolate u''''

 > $\mathrm{subs}\left(t=x,\mathrm{isolate}\left(,\mathrm{diff}\left(u\left(t\right),\mathrm{}\left(t,4\right)\right)\right)\right)$
 ${\mathrm{u\text{'}\text{'}\text{'}\text{'}}}{=}\frac{{8}{}{{\mathrm{F\text{'}}}}^{{2}}{}\left({3}{}{{c}}_{{3}}{}\left({F}\right){}{u}{}{\mathrm{F\text{'}\text{'}\text{'}\text{'}}}{}{{\mathrm{F\text{'}}}}^{{2}}{+}\frac{\left({6}{}{{c}}_{{2}}{}\left({F}\right){}{u}{}{{\mathrm{F\text{'}}}}^{{3}}{-}{15}{}{{c}}_{{3}}{}\left({F}\right){}{u}{}{\mathrm{F\text{'}\text{'}}}{}{\mathrm{F\text{'}}}{+}{14}{}{{c}}_{{3}}{}\left({F}\right){}{\mathrm{u\text{'}}}{}{{\mathrm{F\text{'}}}}^{{2}}\right){}{\mathrm{F\text{'}\text{'}\text{'}}}}{{2}}{+}{2}{}{{c}}_{{3}}{}\left({F}\right){}{\mathrm{u\text{'}\text{'}\text{'}}}{}{{\mathrm{F\text{'}}}}^{{3}}{+}\frac{{15}{}{{c}}_{{3}}{}\left({F}\right){}{u}{}{{\mathrm{F\text{'}\text{'}}}}^{{3}}}{{4}}{+}\frac{{3}{}\left({-}{{c}}_{{2}}{}\left({F}\right){}{u}{}{{\mathrm{F\text{'}}}}^{{2}}{-}{5}{}{{c}}_{{3}}{}\left({F}\right){}{\mathrm{u\text{'}}}{}{\mathrm{F\text{'}}}\right){}{{\mathrm{F\text{'}\text{'}}}}^{{2}}}{{2}}{+}\left({3}{}{{c}}_{{1}}{}\left({F}\right){}{u}{}{{\mathrm{F\text{'}}}}^{{4}}{+}{4}{}{{c}}_{{2}}{}\left({F}\right){}{\mathrm{u\text{'}}}{}{{\mathrm{F\text{'}}}}^{{3}}{+}{3}{}{{c}}_{{3}}{}\left({F}\right){}{\mathrm{u\text{'}\text{'}}}{}{{\mathrm{F\text{'}}}}^{{2}}\right){}{\mathrm{F\text{'}\text{'}}}{+}{2}{}{{c}}_{{0}}{}\left({F}\right){}{u}{}{{\mathrm{F\text{'}}}}^{{6}}{+}{2}{}{{c}}_{{1}}{}\left({F}\right){}{\mathrm{u\text{'}}}{}{{\mathrm{F\text{'}}}}^{{5}}{+}{2}{}{{c}}_{{2}}{}\left({F}\right){}{\mathrm{u\text{'}\text{'}}}{}{{\mathrm{F\text{'}}}}^{{4}}\right){-}{80}{}{\mathrm{u\text{'}}}{}{\mathrm{F\text{'}\text{'}\text{'}\text{'}}}{}{{\mathrm{F\text{'}}}}^{{3}}{+}{320}{}{\mathrm{F\text{'}\text{'}}}{}{\mathrm{u\text{'}}}{}{\mathrm{F\text{'}\text{'}\text{'}}}{}{{\mathrm{F\text{'}}}}^{{2}}{-}{240}{}{{\mathrm{F\text{'}\text{'}}}}^{{3}}{}{\mathrm{u\text{'}}}{}{\mathrm{F\text{'}}}{-}{80}{}{\mathrm{F\text{'}\text{'}\text{'}}}{}{\mathrm{u\text{'}\text{'}}}{}{{\mathrm{F\text{'}}}}^{{3}}{+}{120}{}{{\mathrm{F\text{'}\text{'}}}}^{{2}}{}{\mathrm{u\text{'}\text{'}}}{}{{\mathrm{F\text{'}}}}^{{2}}{-}{24}{}{u}{}{\mathrm{F\text{'}\text{'}\text{'}\text{'}\text{'}}}{}{{\mathrm{F\text{'}}}}^{{3}}{+}{120}{}{u}{}{\mathrm{F\text{'}\text{'}}}{}{\mathrm{F\text{'}\text{'}\text{'}\text{'}}}{}{{\mathrm{F\text{'}}}}^{{2}}{+}{60}{}{u}{}{{\mathrm{F\text{'}\text{'}\text{'}}}}^{{2}}{}{{\mathrm{F\text{'}}}}^{{2}}{-}{300}{}{u}{}{{\mathrm{F\text{'}\text{'}}}}^{{2}}{}{\mathrm{F\text{'}\text{'}\text{'}}}{}{\mathrm{F\text{'}}}{+}{135}{}{u}{}{{\mathrm{F\text{'}\text{'}}}}^{{4}}}{{16}{}{{\mathrm{F\text{'}}}}^{{4}}}$ (9)

Compute now the coefficients ${C}_{j}$ of derivatives of $u$ in the transformed equation

 > $\mathrm{zip}\left(\mathrm{=},\left[C\left[3\right]\left(x\right),C\left[2\right]\left(x\right),C\left[1\right]\left(x\right),C\left[0\right]\left(x\right)\right],\left[\mathrm{PDEtools}:-\mathrm{dcoeffs}\left(\mathrm{rhs}\left(\right),u\left(x\right)\right)\right]\right)$
 $\left[{{C}}_{{3}}{=}{\mathrm{F\text{'}}}{}{{c}}_{{3}}{}\left({F}\right){,}{{C}}_{{2}}{=}{{\mathrm{F\text{'}}}}^{{2}}{}{{c}}_{{2}}{}\left({F}\right){+}\frac{{3}{}{{c}}_{{3}}{}\left({F}\right){}{\mathrm{F\text{'}\text{'}}}}{{2}}{-}\frac{{5}{}{\mathrm{F\text{'}\text{'}\text{'}}}}{{\mathrm{F\text{'}}}}{+}\frac{{15}{}{{\mathrm{F\text{'}\text{'}}}}^{{2}}}{{2}{}{{\mathrm{F\text{'}}}}^{{2}}}{,}{{C}}_{{1}}{=}{{\mathrm{F\text{'}}}}^{{3}}{}{{c}}_{{1}}{}\left({F}\right){+}{2}{}{\mathrm{F\text{'}}}{}{{c}}_{{2}}{}\left({F}\right){}{\mathrm{F\text{'}\text{'}}}{+}\frac{{7}{}{{c}}_{{3}}{}\left({F}\right){}{\mathrm{F\text{'}\text{'}\text{'}}}}{{2}}{-}\frac{{15}{}{{c}}_{{3}}{}\left({F}\right){}{{\mathrm{F\text{'}\text{'}}}}^{{2}}}{{4}{}{\mathrm{F\text{'}}}}{-}\frac{{5}{}{\mathrm{F\text{'}\text{'}\text{'}\text{'}}}}{{\mathrm{F\text{'}}}}{+}\frac{{20}{}{\mathrm{F\text{'}\text{'}}}{}{\mathrm{F\text{'}\text{'}\text{'}}}}{{{\mathrm{F\text{'}}}}^{{2}}}{-}\frac{{15}{}{{\mathrm{F\text{'}\text{'}}}}^{{3}}}{{{\mathrm{F\text{'}}}}^{{3}}}{,}{{C}}_{{0}}{=}{{\mathrm{F\text{'}}}}^{{4}}{}{{c}}_{{0}}{}\left({F}\right){+}\frac{{3}{}{{\mathrm{F\text{'}}}}^{{2}}{}{\mathrm{F\text{'}\text{'}}}{}{{c}}_{{1}}{}\left({F}\right)}{{2}}{+}\frac{{3}{}{\mathrm{F\text{'}}}{}{{c}}_{{2}}{}\left({F}\right){}{\mathrm{F\text{'}\text{'}\text{'}}}}{{2}}{-}\frac{{3}{}{{c}}_{{2}}{}\left({F}\right){}{{\mathrm{F\text{'}\text{'}}}}^{{2}}}{{4}}{+}\frac{{3}{}{{c}}_{{3}}{}\left({F}\right){}{\mathrm{F\text{'}\text{'}\text{'}\text{'}}}}{{2}}{-}\frac{{15}{}{{c}}_{{3}}{}\left({F}\right){}{\mathrm{F\text{'}\text{'}}}{}{\mathrm{F\text{'}\text{'}\text{'}}}}{{4}{}{\mathrm{F\text{'}}}}{+}\frac{{15}{}{{c}}_{{3}}{}\left({F}\right){}{{\mathrm{F\text{'}\text{'}}}}^{{3}}}{{8}{}{{\mathrm{F\text{'}}}}^{{2}}}{-}\frac{{3}{}{\mathrm{F\text{'}\text{'}\text{'}\text{'}\text{'}}}}{{2}{}{\mathrm{F\text{'}}}}{+}\frac{{15}{}{\mathrm{F\text{'}\text{'}}}{}{\mathrm{F\text{'}\text{'}\text{'}\text{'}}}}{{2}{}{{\mathrm{F\text{'}}}}^{{2}}}{+}\frac{{15}{}{{\mathrm{F\text{'}\text{'}\text{'}}}}^{{2}}}{{4}{}{{\mathrm{F\text{'}}}}^{{2}}}{-}\frac{{75}{}{{\mathrm{F\text{'}\text{'}}}}^{{2}}{}{\mathrm{F\text{'}\text{'}\text{'}}}}{{4}{}{{\mathrm{F\text{'}}}}^{{3}}}{+}\frac{{135}{}{{\mathrm{F\text{'}\text{'}}}}^{{4}}}{{16}{}{{\mathrm{F\text{'}}}}^{{4}}}\right]$ (10)

Compute now the invariants $\mathrm{ii}$ using these coefficients ${C}_{j}$ expressed in terms of the ${c}_{j}$ using the formula above

 > $\mathrm{subs}\left(c=C,\mathrm{ii}\right)$
 $\left[{{C}}_{{1}}{+}\frac{{{C}}_{{2}}{}{{C}}_{{3}}}{{2}}{+}\frac{{{{C}}_{{3}}}^{{3}}}{{8}}{+}\frac{{{C}}_{{3}}^{{\mathrm{\text{'}\text{'}}}}}{{2}}{-}{{C}}_{{2}}^{{\text{'}}}{-}\frac{{3}{}{{C}}_{{3}}{}{{C}}_{{3}}^{{\text{'}}}}{{4}}{,}\frac{{{C}}_{{3}}^{{\mathrm{\text{'}\text{'}\text{'}}}}}{{4}}{-}{{C}}_{{2}}^{{\mathrm{\text{'}\text{'}}}}{-}\frac{{3}{}{{C}}_{{3}}^{{\mathrm{\text{'}\text{'}}}}{}{{C}}_{{3}}}{{4}}{-}\frac{{33}{}{\left({{C}}_{{3}}^{{\text{'}}}\right)}^{{2}}}{{40}}{+}\frac{{3}{}\left({13}{}{{{C}}_{{3}}}^{{2}}{+}{18}{}{{C}}_{{2}}\right){}{{C}}_{{3}}^{{\text{'}}}}{{40}}{-}\frac{{39}{}{{{C}}_{{3}}}^{{4}}}{{320}}{-}\frac{{13}{}{{{C}}_{{3}}}^{{2}}{}{{C}}_{{2}}}{{20}}{-}\frac{{5}{}{{C}}_{{1}}{}{{C}}_{{3}}}{{4}}{-}\frac{{9}{}{{{C}}_{{2}}}^{{2}}}{{20}}{+}\frac{{5}{}{{C}}_{{2}}^{{\text{'}}}{}{{C}}_{{3}}}{{4}}{-}{5}{}{{C}}_{{0}}{+}\frac{{5}{}{{C}}_{{1}}^{{\text{'}}}}{{2}}\right]$ (11)
 > $\mathrm{factor}\left(\mathrm{eval}\left(,\right)\right)$
 $\left[\frac{{{\mathrm{F\text{'}}}}^{{3}}{}\left({{{c}}_{{3}}{}\left({F}\right)}^{{3}}{+}{4}{}{{c}}_{{3}}{}\left({F}\right){}{{c}}_{{2}}{}\left({F}\right){-}{6}{}{{c}}_{{3}}{}\left({F}\right){}{\mathrm{D}}{}\left({{c}}_{{3}}\right){}\left({F}\right){+}{8}{}{{c}}_{{1}}{}\left({F}\right){+}{4}{}{{\mathrm{D}}}^{\left({2}\right)}{}\left({{c}}_{{3}}\right){}\left({F}\right){-}{8}{}{\mathrm{D}}{}\left({{c}}_{{2}}\right){}\left({F}\right)\right)}{{8}}{,}{-}\frac{{{\mathrm{F\text{'}}}}^{{4}}{}\left({39}{}{{{c}}_{{3}}{}\left({F}\right)}^{{4}}{+}{208}{}{{{c}}_{{3}}{}\left({F}\right)}^{{2}}{}{{c}}_{{2}}{}\left({F}\right){-}{312}{}{{{c}}_{{3}}{}\left({F}\right)}^{{2}}{}{\mathrm{D}}{}\left({{c}}_{{3}}\right){}\left({F}\right){+}{400}{}{{c}}_{{1}}{}\left({F}\right){}{{c}}_{{3}}{}\left({F}\right){+}{240}{}{{c}}_{{3}}{}\left({F}\right){}{{\mathrm{D}}}^{\left({2}\right)}{}\left({{c}}_{{3}}\right){}\left({F}\right){-}{400}{}{{c}}_{{3}}{}\left({F}\right){}{\mathrm{D}}{}\left({{c}}_{{2}}\right){}\left({F}\right){+}{144}{}{{{c}}_{{2}}{}\left({F}\right)}^{{2}}{-}{432}{}{{c}}_{{2}}{}\left({F}\right){}{\mathrm{D}}{}\left({{c}}_{{3}}\right){}\left({F}\right){+}{264}{}{{\mathrm{D}}{}\left({{c}}_{{3}}\right){}\left({F}\right)}^{{2}}{+}{1600}{}{{c}}_{{0}}{}\left({F}\right){+}{320}{}{{\mathrm{D}}}^{\left({2}\right)}{}\left({{c}}_{{2}}\right){}\left({F}\right){-}{800}{}{\mathrm{D}}{}\left({{c}}_{{1}}\right){}\left({F}\right){-}{80}{}{{\mathrm{D}}}^{\left({3}\right)}{}\left({{c}}_{{3}}\right){}\left({F}\right)\right)}{{320}}\right]$ (12)

It is visible that each expression is now of the form ${\left(F\text{'}\right)}^{k}\mathrm{\Phi }\left({c}_{j}\left(F\right)\right)$, and according to the description, the first relative invariant has weight 3 (in the factor ${\left(F\text{'}\right)}^{k},k=3$) and the second one has weight 4. Let's verify that at $F=\mathrm{identity}$ we reobtain the departing expressions ii, proving in that way that the expressions ii are relative invariants

 > $\mathrm{convert}\left(\mathrm{eval}\left(,\mathrm{=}\left(F,x↦x\right)\right),\mathrm{diff}\right)$
 $\left[{{c}}_{{1}}{+}\frac{{{c}}_{{2}}{}{{c}}_{{3}}}{{2}}{+}\frac{{{{c}}_{{3}}}^{{3}}}{{8}}{+}\frac{{{c}}_{{3}}^{{\mathrm{\text{'}\text{'}}}}}{{2}}{-}{{c}}_{{2}}^{{\text{'}}}{-}\frac{{3}{}{{c}}_{{3}}{}{{c}}_{{3}}^{{\text{'}}}}{{4}}{,}{-}\frac{{39}{}{{{c}}_{{3}}}^{{4}}}{{320}}{-}\frac{{13}{}{{{c}}_{{3}}}^{{2}}{}{{c}}_{{2}}}{{20}}{+}\frac{{39}{}{{c}}_{{3}}^{{\text{'}}}{}{{{c}}_{{3}}}^{{2}}}{{40}}{-}\frac{{5}{}{{c}}_{{1}}{}{{c}}_{{3}}}{{4}}{-}\frac{{3}{}{{c}}_{{3}}^{{\mathrm{\text{'}\text{'}}}}{}{{c}}_{{3}}}{{4}}{+}\frac{{5}{}{{c}}_{{2}}^{{\text{'}}}{}{{c}}_{{3}}}{{4}}{-}\frac{{9}{}{{{c}}_{{2}}}^{{2}}}{{20}}{+}\frac{{27}{}{{c}}_{{2}}{}{{c}}_{{3}}^{{\text{'}}}}{{20}}{-}\frac{{33}{}{\left({{c}}_{{3}}^{{\text{'}}}\right)}^{{2}}}{{40}}{-}{5}{}{{c}}_{{0}}{-}{{c}}_{{2}}^{{\mathrm{\text{'}\text{'}}}}{+}\frac{{5}{}{{c}}_{{1}}^{{\text{'}}}}{{2}}{+}\frac{{{c}}_{{3}}^{{\mathrm{\text{'}\text{'}\text{'}}}}}{{4}}\right]$ (13)
 > $\mathrm{normal}\left(-\mathrm{ii}\right)$
 $\left[{0}{,}{0}\right]$ (14)

Let's now transform the linear equation ode[4] into a nonlinear one by means of a point transformation

 > $\mathrm{PDEtools}:-\mathrm{dchange}\left(y\left(x\right)=\frac{1}{u\left(x\right)},\mathrm{ode}\left[4\right],\left[u\left(x\right)\right]\right)$
 $\frac{{24}{}{{\mathrm{u\text{'}}}}^{{4}}}{{{u}}^{{5}}}{-}\frac{{36}{}{{\mathrm{u\text{'}}}}^{{2}}{}{\mathrm{u\text{'}\text{'}}}}{{{u}}^{{4}}}{+}\frac{{6}{}{{\mathrm{u\text{'}\text{'}}}}^{{2}}}{{{u}}^{{3}}}{+}\frac{{8}{}{\mathrm{u\text{'}}}{}{\mathrm{u\text{'}\text{'}\text{'}}}}{{{u}}^{{3}}}{-}\frac{{\mathrm{u\text{'}\text{'}\text{'}\text{'}}}}{{{u}}^{{2}}}{=}{{c}}_{{3}}{}\left({-}\frac{{6}{}{{\mathrm{u\text{'}}}}^{{3}}}{{{u}}^{{4}}}{+}\frac{{6}{}{\mathrm{u\text{'}}}{}{\mathrm{u\text{'}\text{'}}}}{{{u}}^{{3}}}{-}\frac{{\mathrm{u\text{'}\text{'}\text{'}}}}{{{u}}^{{2}}}\right){+}{{c}}_{{2}}{}\left(\frac{{2}{}{{\mathrm{u\text{'}}}}^{{2}}}{{{u}}^{{3}}}{-}\frac{{\mathrm{u\text{'}\text{'}}}}{{{u}}^{{2}}}\right){-}\frac{{{c}}_{{1}}{}{\mathrm{u\text{'}}}}{{{u}}^{{2}}}{+}\frac{{{c}}_{{0}}}{{u}}$ (15)
 > $\mathrm{nonlinearODE}≔\mathrm{isolate}\left(,\mathrm{diff}\left(u\left(x\right),\mathrm{}\left(x,4\right)\right)\right)$
 ${\mathrm{nonlinearODE}}{≔}{\mathrm{u\text{'}\text{'}\text{'}\text{'}}}{=}{-}\left({{c}}_{{3}}{}\left({-}\frac{{6}{}{{\mathrm{u\text{'}}}}^{{3}}}{{{u}}^{{4}}}{+}\frac{{6}{}{\mathrm{u\text{'}}}{}{\mathrm{u\text{'}\text{'}}}}{{{u}}^{{3}}}{-}\frac{{\mathrm{u\text{'}\text{'}\text{'}}}}{{{u}}^{{2}}}\right){+}{{c}}_{{2}}{}\left(\frac{{2}{}{{\mathrm{u\text{'}}}}^{{2}}}{{{u}}^{{3}}}{-}\frac{{\mathrm{u\text{'}\text{'}}}}{{{u}}^{{2}}}\right){-}\frac{{{c}}_{{1}}{}{\mathrm{u\text{'}}}}{{{u}}^{{2}}}{+}\frac{{{c}}_{{0}}}{{u}}{-}\frac{{24}{}{{\mathrm{u\text{'}}}}^{{4}}}{{{u}}^{{5}}}{+}\frac{{36}{}{{\mathrm{u\text{'}}}}^{{2}}{}{\mathrm{u\text{'}\text{'}}}}{{{u}}^{{4}}}{-}\frac{{6}{}{{\mathrm{u\text{'}\text{'}}}}^{{2}}}{{{u}}^{{3}}}{-}\frac{{8}{}{\mathrm{u\text{'}}}{}{\mathrm{u\text{'}\text{'}\text{'}}}}{{{u}}^{{3}}}\right){}{{u}}^{{2}}$ (16)
 > $\mathrm{ODEInvariants}\left(\mathrm{nonlinearODE}\right)$
 $\left[{{c}}_{{1}}{+}\frac{{{c}}_{{2}}{}{{c}}_{{3}}}{{2}}{+}\frac{{{{c}}_{{3}}}^{{3}}}{{8}}{+}\frac{{{c}}_{{3}}^{{\mathrm{\text{'}\text{'}}}}}{{2}}{-}{{c}}_{{2}}^{{\text{'}}}{-}\frac{{3}{}{{c}}_{{3}}{}{{c}}_{{3}}^{{\text{'}}}}{{4}}{,}\frac{{{c}}_{{3}}^{{\mathrm{\text{'}\text{'}\text{'}}}}}{{4}}{-}{{c}}_{{2}}^{{\mathrm{\text{'}\text{'}}}}{-}\frac{{3}{}{{c}}_{{3}}^{{\mathrm{\text{'}\text{'}}}}{}{{c}}_{{3}}}{{4}}{-}\frac{{33}{}{\left({{c}}_{{3}}^{{\text{'}}}\right)}^{{2}}}{{40}}{+}\frac{{3}{}\left({13}{}{{{c}}_{{3}}}^{{2}}{+}{18}{}{{c}}_{{2}}\right){}{{c}}_{{3}}^{{\text{'}}}}{{40}}{-}\frac{{39}{}{{{c}}_{{3}}}^{{4}}}{{320}}{-}\frac{{13}{}{{{c}}_{{3}}}^{{2}}{}{{c}}_{{2}}}{{20}}{-}\frac{{5}{}{{c}}_{{1}}{}{{c}}_{{3}}}{{4}}{-}\frac{{9}{}{{{c}}_{{2}}}^{{2}}}{{20}}{+}\frac{{5}{}{{c}}_{{2}}^{{\text{'}}}{}{{c}}_{{3}}}{{4}}{-}{5}{}{{c}}_{{0}}{+}\frac{{5}{}{{c}}_{{1}}^{{\text{'}}}}{{2}}\right]$ (17)

The expressions above depend only on $x$, not on $u$ or its derivatives, because this nonlinear ODE above is related - by construction - to a linear ODE (ode[4]) through a point transformation ($y\to \frac{1}{y}$ used above). Moreover: the invariants are the same as those in ii, of the related linear ode[4]. When the nonlinear ODE cannot be related to a linear ODE through a point transformation, the invariants depend on the dependent variable and perhaps also its derivatives. For example:

 > $\mathrm{diff}\left(u\left(x\right),\mathrm{}\left(x,4\right)\right)={u\left(x\right)}^{3}\mathrm{diff}\left(u\left(x\right),x\right)+{\mathrm{diff}\left(u\left(x\right),x,x\right)}^{2}+x$
 ${\mathrm{u\text{'}\text{'}\text{'}\text{'}}}{=}{{u}}^{{3}}{}{\mathrm{u\text{'}}}{+}{{\mathrm{u\text{'}\text{'}}}}^{{2}}{+}{x}$ (18)
 > $\mathrm{ODEInvariants}\left(\right)$
 $\left[{{u}}^{{3}}{-}{2}{}{\mathrm{u\text{'}\text{'}\text{'}}}{,}{-}\frac{{15}{}{\mathrm{u\text{'}}}{}{{u}}^{{2}}}{{2}}{-}\frac{{19}{}{{\mathrm{u\text{'}\text{'}}}}^{{2}}}{{5}}{-}{2}{}{{u}}^{{3}}{}{\mathrm{u\text{'}}}{-}{2}{}{x}\right]$ (19)

References

 [1] Olver, P.J. Equivalence, Invariants and Symmetry. Cambridge Press, 1995.
 [2] Chalkley, R., Basic Global Relative Invariants for Homogeneous Linear Differential Equations, Amer Mathematical Society (2002).
 [3] Wilczynski, E.J., Projective differential geometry of curves and ruled surfaces, Leipzig, Teubner, 1905.