Geometry of Differential Equations
A program of the course at the 2-nd Italian Diffiety School,
(Forino, February - March, 1999)
and the 2-nd russian Diffiety School
(Pereslavl-Zalessky, January 26 - February 5, 1999)
If you have difficulties with HTML,
Smooth manifolds. Smooth locally trivial vector bundles. Sections.
-module structure in
The jet of a local section at a point . The space
. Smooth structure in
. The jet modules
. Canonical coordinates
associated to a local trivialization in . Dimension of . The
, . Graphs of jets.
-planes. Presentation of points of as pairs
is an -plane.
Presentation of scalar operators as functions on . Pull-backs
and nonlinear operators
sections of the bundles
. Presentation of operators as
. The universal operator
. Prolongations of nonlinear operators and their
correspondence to morphisms
. Composition of
Differential equations as submanifolds in
of equations by nonlinear operators. The first prolongation
. Three definitions of the -the prolongation, there
The Cartan plane
as the span of the set of -planes at the
. The distribution
in the form
Local description of
by the Cartan forms
. A local basis in
Involutive subspaces of the Cartan distribution. The theorem on maximal
integral manifolds. The type of a maximal integral manifold. Computation
of dimensions for maximal integral manifolds. Integral manifolds of
maximal dimension in inexceptional cases.
Lie transformations as diffeomorphisms of preserving the
Cartan distribution. Lifting of Lie transformations from to
. The case : correspondence between Lie
transformations and diffeomorphisms of . The case :
the contact structure in , correspondence between Lie
transformations and contact transformations of (inexceptional
and exceptional case ). Local formulas for
liftings of Lie transformations.
Lie fields. Local lifting formulas. Global nature of lifting for Lie
fields. Infinitesimal analog for the Lie-Bäcklund theorem.
One-dimensional bundles. Generating functions of Lie fields. Correspondence
between functions on and Lie fields for trivial one-dimensional
bundles. The jacobi bracket on
. Local coordinate
formulas for Lie fields and Jacobi brackets in terms of generating functions.
Bundles of higher dimensions. The element
, its definition and properties. The Spencer complexes
for a vector bundle
exactness. The element
, its properties. Generating sections
as the result of construction of Lie fields with
. Jacobi brackets for generating sections. Local coordinates.
Finite and infinitesimal symmetries, definitions. ``Physical meaning''
of generating functions. Determining equations for coordinate computations.
An example: symmetries of the Burgers equation
of the Cartan distribution to
symmetries of an equation
. The homomorphism
Algebraic model. The basic constructions. Cohomological invariants.
kindly use TeX, DVI or
Questions and suggestions should go to
J. S. Krasil'shchik, josephk @ diffiety.ac.ru.