A Full System of Invariants for Third-Order Linear Partial Differential Operators

  • Ekaterina Shemyakova
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4120)


A full system of invariants for a third-order bivariate hyperbolic linear partial differential operator L is found under the gauge transformation g(x 1,x 2)− − 1 Lg(x 1,x 2). That is, all other invariants can be obtained from this full system, and two operators are equivalent with respect to the gauge transformations if and only if their full systems of invariants are equal. To obtain the invariants, we generalize the notion of Laplace invariants from the case of order two to that of arbitrary order. This is done through the notion of common obstacles to factorizations into first-order factors. Explicit formulae for the invariants of a general operator are given in terms of the coefficients of the operator. The majority of the results were obtained using Maple 9.5.


Laplace invariants partial differential operators Maple 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Anderson, I., Juras, M.: Generalized Laplace Invariants and the Method of Darboux. Duke J. Math. 89, 351–375 (1997)CrossRefMathSciNetzbMATHGoogle Scholar
  2. 2.
    Anderson, I., Kamran, N.: The Variational Bicomplex for Hyperbolic Second-Order Scalar Partial Differential Equations in the Plane. Duke J. Math. 87, 265–319 (1997)CrossRefMathSciNetzbMATHGoogle Scholar
  3. 3.
    Darboux, G.: Leçons sur la théorie générale des surfaces et les applications géométriques du calcul infinitésimal, vol. 2, Gauthier-Villars (1889)Google Scholar
  4. 4.
    Ibragimov, N.: Invariants of hyperbolic equations: Solution of the Laplace problem. Prikladnaya Mekhanika i Tekhnicheskaya Fizika 45(2), 11–21 (2004); English Translation in Journal of Applied Mechanics and Technical Physics 45(2), 158–166 (2004)Google Scholar
  5. 5.
    Kartashova, E.: Hierarchy of general invariants for bivariate LPDOs. J. Theoretical and Mathematical Physics, 1–8 (2006)Google Scholar
  6. 6.
  7. 7.
    Morozov, O.: Contact Equivalence Problem for Linear Hyperbolic Equations, preprint math-ph/0406004Google Scholar
  8. 8.
    Shemyakova, E., Winkler, F.: Obstacle to Factorization of LPDOs. In: Proc. Transgressive Computing, Granada, Spain (2006)Google Scholar
  9. 9.
    Shemyakova, E., Winkler, F.: Obstacles to factorizations of partial differential operators into several factors. J. Programming and Computing SoftwareGoogle Scholar
  10. 10.
    Tsarev, S.P.: Generalized Laplace Transformations and Integration of Hyperbolic Systems of Linear Partial Differential Equations. In: Proc. ISSAC 2005 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Ekaterina Shemyakova
    • 1
  1. 1.Research Institute for Symbolic Computation (RISC)J.Kepler UniversityLinzAustria

Personalised recommendations