Existence and Construction of Vessiot Connections

Dirk Fesser ; Werner M. Seiler

Symmetry, integrability and geometry: methods and applications, Tome 5 (2009)

Résumé

A rigorous formulation of Vessiot's vector field approach to the analysis of general systems of partial differential equations is provided. It is shown that this approach is equivalent to the formal theory of differential equations and that it can be carried through if, and only if, the given system is involutive. As a by-product, we provide a novel characterisation of transversal integral elements via the contact map.

Détail

Keywords: formal integrability; integral element; involution; partial differential equation; Vessiot connection; Vessiot distribution.

Bibliographie

[1] Anderson I., Kamran N., Olver P. J., “Internal, external, and generalized symmetries”, Adv. Math., 100 (1993), 53–100 | DOI | MR | Zbl

[2] Arnold V. I., Geometrical methods in the theory of ordinary differential equations, Grundlehren der Mathematischen Wissenschaften, 250, Springer-Verlag, New York, 1988 | MR | Zbl

[3] Bryant R. L., Chern S. S., Gardner R. B., Goldschmidt H. L., Griffiths P. A., Exterior differential systems, Mathematical Sciences Research Institute Publications, 18, Springer-Verlag, New York, 1991 | MR | Zbl

[4] Cartan É., Les Systèmes différentiels extérieurs et leurs applications géométriques, Actualités Sci. Ind., 994, Hermann et Cie., Paris, 1945 | MR

[5] Fackerell E. D., “Isovectors and prolongation structures by vessiot's vector field formulation of partial differential equations”, Geometric Aspects of the Einstein Equations and Integrable Systems (Scheveningen, 1984), Lecture Notes in Phys., 239, ed. R. Martini, Springer-Verlag, Berlin, 1985, 303–321 | MR

[6] Fesser D., On Vessiot's theory of partial differential equations. A geometric approach to constructing infinitesimal solutions, PhD Thesis, Saarbrücken, 2008

[7] Fesser D., Seiler W. M., “Vessiot connections of partial differential equations”, Global Integrability of Field Theories – GIFT 2006, eds. J. Calmet, W. M. Seiler and R. W. Tucker, Universitätsverlag Karlsruhe, Karlsruhe, 2006, 111–134 | Zbl

[8] Globke W., Eine Objektorientierte Programmierumgebung für Differentialgeometrische Berechnungen in MuPAD, Project Thesis, Fakultät für Informatik, Universität Karlsruhe, 2006

[9] Golubitsky M., Guillemin V. W., Stable mappings and their singularities, Graduate Texts in Mathematics, 14, Springer-Verlag, New York – Heidelberg, 1973 | MR | Zbl

[10] Hartley D. H., Tucker R. W., “A constructive implementation of the Cartan–Kähler theory of exterior differential systems”, J. Symbolic Comput., 12 (1991), 655–667 | DOI | MR | Zbl

[11] Hausdorf M., Seiler W. M., “An efficient algebraic algorithm for the geometric completion to involution”, Appl. Algebra Engrg. Comm. Comput., 13 (2002), 163–207 | DOI | MR | Zbl

[12] Ivey T. A., Landsberg J. M., Cartan for beginners: differential geometry via moving frames and exterior differential systems, Graduate Studies in Mathematics, 61, American Mathematical Society, Providence, RI, 2003 | MR | Zbl

[13] Krasilshchik I. S., Lychagin V. V., Vinogradov A. M., Geometry of jet spaces and nonlinear partial differential equations, Advanced Studies in Contemporary Mathematics, 1, Gordon and Breach Science Publishers, New York, 1986 | MR

[14] Kruglikov B. S., Lychagin V. V., “Geometry of differential equations”, Handbook of Global Analysis, eds. D. Krupka and D. Saunders, Elsevier, Amsterdam, 2008, 725–771 | MR

[15] Lychagin V. V., “Homogeneous geometric structures and homogeneous differential equations”, The Interplay between Differential Geometry and Differential Equations, Amer. Math. Soc. Transl. Ser. 2, 167, ed. V. V. Lychagin, Amer. Math. Soc., Providence, RI, 1995, 143–164 | MR | Zbl

[16] Lychagin V. V., “Singularities of multivalued solutions of nonlinear differential equations, and nonlinear phenomena”, Acta Appl. Math., 3 (1985), 135–173 | DOI | MR | Zbl

[17] Modugno M., Covariant quantum mechanics, Unpublished manuscript, Dept. of Mathematics, University of Florence, 1999 | Zbl

[18] Olver P. J., Applications of Lie groups to differential equations, Graduate Texts in Mathematics, 107, Springer-Verlag, New York, 1986 | MR | Zbl

[19] Pommaret J. F., Systems of partial differential equations and Lie pseudogroups, Mathematics and its Applications, 14, Gordon Breach Science Publishers, New York, 1978 | MR | Zbl

[20] Saunders D. J., The geometry of jet bundles, London Mathematical Society Lecture Note Series, 142, Cambridge University Press, Cambridge, 1989 | MR | Zbl

[21] Seiler W. M., “Completion to involution and semi-discretisations”, Appl. Numer. Math., 42 (2002), 437–451 | DOI | MR | Zbl

[22] Seiler W. M., “Spencer cohomology, differential equations, and Pommaret bases”, Gröbner Bases and Symbolic Analysis, Radon Ser. Comput. Appl. Math., 2, eds. M. Rosenkranz and D. M. Wang, Walter de Gruyter, Berlin, 2007, 169–216 | MR | Zbl

[23] Seiler W. M., Involution – the formal theory of differential equations and its applications in computer algebra, Algorithms and Computation in Mathematics, 24, Springer-Verlag, Berlin – Heidelberg, 2009 | MR | Zbl

[24] Stormark O., Lie's structural approach to PDE systems, Encyclopedia of Mathematics and its Applications, 80, Cambridge University Press, Cambridge, 2000 | MR | Zbl

[25] Tuomela J., “On singular points of quasilinear differential and differential-algebraic equations”, BIT, 37 (1997), 968–977 | DOI | MR | Zbl

[26] Tuomela J., “On the resolution of singularities of ordinary differential equations”, Numer. Algorithms, 19 (1998), 247–259 | DOI | MR | Zbl

[27] Vassiliou P. J., “Vessiot structure for manifolds of $(p,q)$-hyperbolic type: Darboux integrability and symmetry”, Trans. Amer. Math. Soc., 353 (2001), 1705–1739 | DOI | MR | Zbl

[28] Vessiot E., “Sur une théorie nouvelle des problèmes généraux d'intégration”, Bull. Soc. Math. France, 52 (1924), 336–395 | MR | Zbl