liesymm - Maple Programming Help

Home : Support : Online Help : Mathematics : Differential Equations : Lie Symmetry Method : liesymm : liesymm/prolong

liesymm

 prolong
 make substitutions for components of the extended isovector in terms of partials of the original isovector

 Calling Sequence prolong(Vn) prolong[1](Vn) prolong[2](Vn) prolong[3](Vn)

Parameters

 V - isovector as a list or name

Description

 • This routine construct equations that can be used to rewrite the components of isovector corresponding to the extended variables in terms of partials of isovector components corresponding to the independent and dependent variables.
 • The resulting set of equations can be used in subs().
 • This routine is used by reduce() to help simplify the determining equations of the contact symmetries.
 • 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{prolong}\left(V\right)$
 $\left\{{\mathrm{V5}}{=}\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){,}{\mathrm{V6}}{=}\frac{{\partial }}{{\partial }{y}}{}{\mathrm{V3}}{+}{\mathrm{w2}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V3}}\right){+}{\mathrm{w4}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V3}}\right){-}{\mathrm{w1}}{}\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)\right){-}{\mathrm{w2}}{}\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)\right){,}{\mathrm{V7}}{=}\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){,}{\mathrm{V8}}{=}\frac{{\partial }}{{\partial }{y}}{}{\mathrm{V4}}{+}{\mathrm{w2}}{}\left(\frac{{\partial }}{{\partial }{f}}{}{\mathrm{V4}}\right){+}{\mathrm{w4}}{}\left(\frac{{\partial }}{{\partial }{g}}{}{\mathrm{V4}}\right){-}{\mathrm{w3}}{}\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)\right){-}{\mathrm{w4}}{}\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)\right)\right\}$ (3)