Moving frames for laplace invariants

The development of symbolic methods for the factorization and integration of linear PDEs, many of the methods being generalizations of the Laplace transformations method, requires the finding of complete generating sets of invariants for the corresponding linear operators and their systems with respect to the gauge transformations L -> g(x,y)-1 O L O g(x,y). Within the theory of Laplace-like methods, there is no uniform approach to this problem, though some individual invariants for hyperbolic bivariate operators, and complete generating sets of invariants for second- and third-order hyperbolic bivariate ones have been obtained. Here we demonstrate a systematic and much more efficient approach to the same problem by application of moving-frame methods. We give explicit formulae for complete generating sets of invariants for second- and third-order bivariate linear operators, hyperbolic and non-hyperbolic, and also demonstrate the approach for pairs of operators appearing in Darboux transformations.

[1]  I. Anderson,et al.  Generalized Laplace invariants and the method of Darboux , 1997 .

[2]  Peter J. Olver,et al.  Moving Frames for Lie Pseudo–Groups , 2008, Canadian Journal of Mathematics.

[3]  Ekaterina Shemyakova.  A Full System of Invariants for Third-Order Linear Partial Differential Operators , 2006, AISC.

[4]  Sergey P. Tsarev,et al.  Generalized laplace transformations and integration of hyperbolic systems of linear partial differential equations , 2005, ISSAC.

[5]  Elizabeth L. Mansfield,et al.  Algorithms for Symmetric Differential Systems , 2001, Found. Comput. Math..

[6]  P. Olver,et al.  Maurer–Cartan forms and the structure of Lie pseudo-groups , 2005 .

[7]  Peter J. Olver,et al.  Maurer–Cartan equations for Lie symmetry pseudogroups of differential equations , 2005 .

[8]  P. Olver,et al.  Moving Coframes: II. Regularization and Theoretical Foundations , 1999 .

[9]  G. Darboux,et al.  Leçons sur la Théorie Générale des Surfaces et les Applications Géométriques Du Calcul Infinitésimal , 2001 .

[10]  Ekaterina Shemyakova,et al.  A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form , 2007, CASC.

[11]  E. Kartashova.  A hierarchy of generalized invariants for linear partial differential operators , 2006 .

[12]  Sergey P. Tsarev,et al.  Factoring linear partial differential operators and the Darboux method for integrating nonlinear partial differential equations , 2000 .

[13]  I. Anderson,et al.  The variational bicomplex for hyperbolic second-order scalar partial differential equations in the plane , 1997 .

[14]  P. Olver,et al.  Pseudo-Groups, Moving Frames, and Differential Invariants , 2008 .

[15]  Dima Grigoriev,et al.  Generalized Loewy-decomposition of d-modules , 2005, ISSAC.

[16]  Contact-equivalence problem for linear hyperbolic equations , 2004, math-ph/0406004.

[17]  P. Olver,et al.  Moving Coframes: I. A Practical Algorithm , 1998 .