Advertisement

Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators

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

Abstract

A test in terms of invariants for the existence of a factorization of a bivariate, non-hyperbolic third-order Linear Partial Differential Operator (LPDO) which has a given factorization of its principal symbol is found. The invariants that are used are with respect to known gauge transformations, which is together with constructive factorization itself are essentially involved in modern exact integration algorithms. The invariants, and even a generating system of those were found in previous paper using Moving Frames methods.

In order to find the expressions in terms of invariants that guarantee the existence of a factorization of a certain type, we show that the operation of taking the formal adjoint can be also defined in terms of invariants, that is for equivalence classes of LPDOs, and explicit formulae defining this operation in the space invariants are obtained. The operation of formal adjoint is highly interesting for factorization of LPDOs for if the initial operator has a factorization, its adjoint has also one, and they are related. (informally, the factorization types are symmetric).

Keywords

Equivalence Class Gauge Transformation Invariant Property Computer Algebra System Principal Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Tsarev, S., Shemyakova, E.: Differential transformations of parabolic second-order operators in the plane (submitted, 2008), http://arxiv.org/abs/0811.1492
  2. 2.
    Tsarev, S.: Generalized laplace transformations and integration of hyperbolic systems of linear partial differential equations. In: ISSAC 2005: Proceedings of the 2005 international symposium on Symbolic and algebraic computation, pp. 325–331. ACM Press, New York (2005)Google Scholar
  3. 3.
    Tsarev, S.: Factorization of linear partial differential operators and darboux’ method for integrating nonlinear partial differential equations. Theo. Math. Phys. 122, 121–133 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Anderson, I., Juras, M.: Generalized Laplace invariants and the method of Darboux. Duke J. Math. 89, 351–375 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    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)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Athorne, C.: A z ×r toda system. Phys. Lett. A. 206, 162–166 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Zhiber, A.V.: Integrals, solutions and existence of the laplace transformations for a linear hyperbolic system of equations. Math. Notes 74(6), 848–857 (2003)MathSciNetGoogle Scholar
  8. 8.
    Startsev, S.: Cascade method of laplace integration for linear hyperbolic systems of equations. Mathematical Notes 83 (2008)Google Scholar
  9. 9.
    Grigoriev, D., Schwarz, F.: Factoring and solving linear partial differential equations. Computing 73(2), 179–197 (2004)MathSciNetzbMATHGoogle Scholar
  10. 10.
    Grigoriev, D., Schwarz, F.: Generalized loewy-decomposition of d-modules. In: ISSAC 2005: Proceedings of the 2005 international symposium on Symbolic and algebraic computation, pp. 163–170. ACM, New York (2005)Google Scholar
  11. 11.
    Grigoriev, D., Schwarz, F.: Loewy decomposition of third-order linear pde’s in the plane. In: ISSAC 2008: Proceedings of the 2005 international symposium on Symbolic and algebraic computation, pp. 277–286. ACM, New York (2008)Google Scholar
  12. 12.
    Shemyakova, E., Mansfield, E.: Moving frames for laplace invariants. In: Proceedings of ISSAC 2008 (The International Symposium on Symbolic and Algebraic Computation), pp. 295–302 (2008)Google Scholar
  13. 13.
    Fels, M., Olver, P.J.: Moving coframes. I. A practical algorithm. Acta Appl. Math. 51(2), 161–213 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Fels, M., Olver, P.J.: Moving coframes. II. Regularization and theoretical foundations. Acta Appl. Math. 55(2), 127–208 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Olver, P., Pohjanpelto, J.: Pseudo-groups, moving frames, and differential invariants. In: Eastwood, M., Miller, W.J. (eds.) Symmetries and Overdetermined Systems of Partial Differential Equations. IMA Volumes in Mathematics and Its Applications, vol. 144, pp. 127–149. Springer, New York (2007)CrossRefGoogle Scholar
  16. 16.
    Olver, P., Pohjanpelto, J.: Moving frames for Lie pseudo-groups. Canadian J. Math (to appear) (2007)Google Scholar
  17. 17.
    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
  18. 18.
    Shemyakova, E., Winkler, F.: A full system of invariants for third-order linear partial differential operators in general form. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2007. LNCS, vol. 4770, pp. 360–369. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  19. 19.
    Shemyakova, E., Winkler, F.: On the invariant properties of hyperbolic bivariate third-order linear partial differential operators. In: Kapur, D. (ed.) ASCM 2007. LNCS (LNAI), vol. 5081. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  20. 20.
    Loewy, A.: Ueber reduzible lineare homogene differentialgleichungen. Math. Annalen 56, 549–584 (1903)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Blumberg, H.: Über algebraische Eigenschaften von linearen homogenen Differentialausdrücken. PhD thesis, Göttingen (1912)Google Scholar
  22. 22.
    Shemyakova, E.: The Parametric Factorizations of Second-, Third- and Fourth-Order Linear Partial Differential Operators on the Plane. Mathematics in Computer Science 1(2), 225–237 (2007)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

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

Personalised recommendations