liesymm - Maple Programming Help

liesymm

 Eta
 Compute the coefficients of the generator of a finite point transformation

 Calling Sequence Eta(f, x) Eta[1](f, x) Eta[2](f, x, y) Eta[3](f, x, y, z)

Parameters

 f - named partial in the sense of depvars() x, y, z - Independent variable in the sense of indepvars()

Description

 • This is a special differential operator defined in terms of TD. The result is an inert expression reported in terms of Diff procedure.  The result can be forced to evaluate further by use of dvalue() or value(), but any variable dependencies for unknown functions must be defined prior to such evaluation. Such variable dependencies can be explicitly specified by use of vfix().
 • It arises in the course of extending the generator for the finite point transformations to the partial derivatives and is in fact computes the coefficient of the various partials in that generator.
 • This routine is part of the liesymm package and is ordinarily loaded via with(liesymm). It can also be called via the package style'' name liesymm[Eta].

Examples

 > $\mathrm{with}\left(\mathrm{liesymm}\right):$
 > $\mathrm{indepvars}\left(x,y\right)$
 $\left[{x}{,}{y}\right]$ (1)
 > $\mathrm{depvars}\left(f,g\right)$
 $\left[{f}{,}{g}\right]$ (2)
 > $\mathrm{Η}\left(f,x\right)$
 $\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V3}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V3}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V3}}\right){-}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V1}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V1}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V1}}\right)\right){-}{\mathrm{w2}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V2}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V2}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V2}}\right)\right)$ (3)
 > $\mathrm{w1}=\mathrm{Diff}\left(\mathrm{translate}\left(\mathrm{w1}\right)\right)$
 ${\mathrm{w1}}{=}\frac{{\partial }}{{\partial }{x}}{}{f}$ (4)
 > $\mathrm{Η}[2]\left(g,x,y\right)$
 $\frac{{\partial }}{{\partial }{y}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V4}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V4}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V4}}\right){-}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V1}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V1}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V1}}\right)\right){-}{\mathrm{w4}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V2}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V2}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V2}}\right)\right)\right){+}{\mathrm{w2}}{}\left(\frac{{\partial }}{{\partial }{f}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V4}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V4}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V4}}\right){-}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V1}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V1}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V1}}\right)\right){-}{\mathrm{w4}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V2}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V2}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V2}}\right)\right)\right)\right){+}{\mathrm{w4}}{}\left(\frac{{\partial }}{{\partial }{g}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V4}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V4}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V4}}\right){-}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V1}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V1}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V1}}\right)\right){-}{\mathrm{w4}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V2}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V2}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V2}}\right)\right)\right)\right){+}{\mathrm{w6}}{}\left(\frac{{\partial }}{{\partial }{\mathrm{w1}}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V4}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V4}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V4}}\right){-}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V1}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V1}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V1}}\right)\right){-}{\mathrm{w4}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V2}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V2}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V2}}\right)\right)\right)\right){+}{\mathrm{w8}}{}\left(\frac{{\partial }}{{\partial }{\mathrm{w2}}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V4}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V4}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V4}}\right){-}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V1}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V1}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V1}}\right)\right){-}{\mathrm{w4}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V2}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V2}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V2}}\right)\right)\right)\right){+}{\mathrm{w10}}{}\left(\frac{{\partial }}{{\partial }{\mathrm{w3}}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V4}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V4}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V4}}\right){-}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V1}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V1}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V1}}\right)\right){-}{\mathrm{w4}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V2}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V2}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V2}}\right)\right)\right)\right){+}{\mathrm{w12}}{}\left(\frac{{\partial }}{{\partial }{\mathrm{w4}}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V4}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V4}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V4}}\right){-}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V1}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V1}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V1}}\right)\right){-}{\mathrm{w4}}{}\left(\frac{{\partial }}{{\partial }{x}}{}{\mathrm{V2}}{+}{\mathrm{w1}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V2}}\right){+}{\mathrm{w3}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V2}}\right)\right)\right)\right){-}{\mathrm{w9}}{}\left(\frac{{\partial }}{{\partial }{y}}{}{\mathrm{V1}}{+}{\mathrm{w2}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V1}}\right){+}{\mathrm{w4}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V1}}\right){+}{\mathrm{w6}}{}\left(\frac{{\partial }}{{\partial }{\mathrm{w1}}}{}{\mathrm{V1}}\right){+}{\mathrm{w8}}{}\left(\frac{{\partial }}{{\partial }{\mathrm{w2}}}{}{\mathrm{V1}}\right){+}{\mathrm{w10}}{}\left(\frac{{\partial }}{{\partial }{\mathrm{w3}}}{}{\mathrm{V1}}\right){+}{\mathrm{w12}}{}\left(\frac{{\partial }}{{\partial }{\mathrm{w4}}}{}{\mathrm{V1}}\right)\right){-}{\mathrm{w10}}{}\left(\frac{{\partial }}{{\partial }{y}}{}{\mathrm{V2}}{+}{\mathrm{w2}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V2}}\right){+}{\mathrm{w4}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V2}}\right){+}{\mathrm{w6}}{}\left(\frac{{\partial }}{{\partial }{\mathrm{w1}}}{}{\mathrm{V2}}\right){+}{\mathrm{w8}}{}\left(\frac{{\partial }}{{\partial }{\mathrm{w2}}}{}{\mathrm{V2}}\right){+}{\mathrm{w10}}{}\left(\frac{{\partial }}{{\partial }{\mathrm{w3}}}{}{\mathrm{V2}}\right){+}{\mathrm{w12}}{}\left(\frac{{\partial }}{{\partial }{\mathrm{w4}}}{}{\mathrm{V2}}\right)\right)$ (5)