R-manifolds and multi-valued solutions of PDE's
Nina Khor'kova
A program of the course at the 4-th Italian Diffiety School,
(Forino, July 17-29, 2000)
If you have difficulties with HTML,
kindly use TeX, DVI,
PS or PDF-files
Jet manifolds and PDE
Introduction: jet spaces Jk(n,m).
Jets of vector bundles Jk(p).
Jets of submanifolds Jk(E,n).
Jets of fibring.
Jets of mappings M® N.
Jets of functions.
Definitions of differential equation and its solution.
Geometric interpretation of solutions. R-manifolds.
The Cartan distribution on Jk(E,n).
Coordinate description of the Cartan distribution.
Geometric structure of the Cartan planes.
Description of integral submanifolds of the Cartan distribution.
Ray submanifolds, prolongations of integral submanifolds.
The structure of locally maximal integral submanifolds of the Cartan
distribution.
R-manifolds.
Definitions of differential equation and its solution.
Lie transformations (high order contact transformations).
Lie transformations. Point transformations.
Prolongations of point transformations.
Prolongations of Lie transformations.
Prolongations of morphisms of contact structures.
Lie-Bäcklund theorem.
Lie fields, liftings (prolongations) of Lie fields.
Infinitesimal Lie-Bäcklund theorem.
Extrinsic and intrinsic geometries of PDE.
External and internal points of view on PDE.
Problem of the reconstruction of the embedding
E®
Jk and the Cartan distribution on Jk.
Extrinsic and intrinsic symmetries of PDE.
Rigidity. Examples.
Examination problems
Let p:En+m® Mn be a smooth bundle. Prove
that Jk(p) is an open everywhere dense subset of Jk(E,n).
Let E Ì J2(IR3,2) be the minimal surface equation.
Prove that p2,1:E® J1(IR3,2)
is a nontrivial 2-dimensional vector bundle.
Let k ³ l. Prove that Jk(E,n) is the manifold of (k-l)-jets
of submanifolds of the form L(l) in Jl(E,n).
Prove that the Cartan distribution on Jk(E,n) is locally
determined by the set of the Cartan forms
wjs = dpjs -
n å
i = 1
dpjs+1idxi, | s | < k, j = 1,...,m.
Let
p:E® M be a fiber bundle and let
p1,0:J1(p)® E.
Show that sections of the bundle p1,0 are
connections in the bundle p, while the condition of zero curvature
determines a first order equation in the bundle p1,0 .
Consider the system of equations:
ì í
î
ux
=
f(x,y,u)
uy
=
g(x,y,u).
Prove that if this system is compatible, then the Cartan distribution
restricted to the corresponding surface is completely integrable.
Prove the following statements:
L(k) is a locally maximal integral manifold of the Cartan
distribution.
Let Q Ì Jk(E,n) be an n-dimensional integral manifold
that is transversal to the fibers of the projection pk,k-1.
Then, locally, Q is of the form L(k).
Let x = X(x,y,z)[(¶)/(¶x)] + Y(x,y,z)[(¶)/(¶y)] + Z(x,y,z)[(¶)/(¶z)] be a nonzero vector
at a point q Î J0(2,1), and P the straight line
determined by this vector. Deduce equations describing the ray
manifold l(P).
Let W be a curve x = a(t),y = b(t),z = g(t).
Describe L(W).
Let W be a surface of the form z = f(x,y).
Describe L(W).
Prove that dimL(W) = r+m ((k+n-r-1) || (n-r-1)), where
r = dimW.
Let F:J0(p) ® J0(p) be a point transformation.
Prove that if the lifting F(1) is defined in a neighborhood of
a point q Î J1(p), then the lifting F(k) is defined
in a neighborhood of any point q¢ such that
pk,1(q¢) = q.
Prove that ordinary differential equations are non rigid.
Exercises
Prove that the family of neighborhoods pk-1(U) together
with the coordinate functions (x,pjs) determines a smooth
manifold structure in Jk(p). Prove that
dimJk(p) = n+m(n || (n+k))
Prove that pk:Jk(p) ® M is a smooth locally
trivial vector bundle.
Prove that pk+1,k:Jk+1(p) ® Jk(p)
is a smooth locally trivial bundle (not vector bundle).
Prove that
pl,s°pk,l = pk,s, k ³ l ³ s;
pl°pk,l = pk, k ³ l;
pk,l°jk(s) = jl(s), k ³ l.
Prove that
Jk(E,n) is a smooth manifold of dimension n+m(n || (n+k));
pk,l:Jk(E,n) ® Jl(E,n), k ³ l
is a smooth locally trivial bundle;
pl,s°pk,l = pk,s, pk,l°jk(L) = jl(L), k ³ l ³ s.
Let F:Jk(E,n)® Jk(E,n) be a Lie transformation.
Prove that
pk+l,k+s°F(l) = F(s)°pk+s,k+l, l ³ s;
id(s) = id;
(F°G)(s) = F(s)°G(s).
Consider the Legendre transformation F in the space J1(2,1):
[`x] = -p, [`y] = -q, [`u] = u-xp-yq, [`p] = x, [`q] = y.
Prove that F is a Lie transformation;
Describe the lifting F(1);
Prove that F can not be represented in the form F = G(1),
where G is a point transformation.
Let F:E® E¢ be a morphism over a diffeomorphism
[`F]:M® M of two bundles p and p¢ over M.
Define the prolongation F(k):Jk(p)® Jk(p¢)
in such a way that F(k) will be a morphism of pk in
p¢k over [`F].
Let F:Jk(E,n)® Jl(E,n), k > l be a smooth surjection such
that F*C(k)q = C(l)F(q).
Define the prolongation F(k):Jk(E,n)® Jk(E,n).
For the vector field
X = x[(¶)/(¶u)] - u[(¶)/(¶x)]
on J0(2,1) find X(2).
Passing the exam during the school required 6 solved problems. To
pass the exam by email one should solve 10 problems.
The exam has been passed by the following students:
Giovanni Manno (6 problems: 3,4,6,7,9,13)
Luca Vitagliano (9 problems: 1,3 - 8,10,13)
Questions and suggestions should go to
Jet NESTRUEV, jet @ diffiety.ac.ru.