Geometry of nonlinear differential equations

39. 40. 41. 42. 43.

44. 45. 46. 47. 48. 49. 50. 51. 52. 53. 54. 55. 56.

Shigeru Numata, nOn the c u r v a t u r e t e n s o r Shijk and the tensor Thijk of g e n e r a l i z e d R a n d e r s s p a c e s , n T e n s o r , 2_99, No. 1, 35-39 (1975). Shigeru Numata, nOn L a n d s b e r g s p a c e s of s c a l a r c u r v a t u r e , " J. K o r e a n Math. Soc., 12, No. 2, 97-100 (1975). Shigeru Numata, "On the t o r s i o n t e n s o r s Rhj k and Phjk of F i n s l e r s p a c e s with a m e t r i c ds = (gij (dx) x dxidxJ) 1/2 + bi(x)dxi, " T e n s o r , 3_22, No. 1, 27-31 (1978). Shigeru Numata, 'TOn C3-1ike F i n s l e r s p a c e s , " Rep. Math. P h y s . , 17, No. 1, 20-25 (1980). G. R a n d e r s , 'tOn an a s y m m e t r i c a l m e t r i c in the f o u r - s p a c e of g e n e r a l r e l a t i v i t y , " Phys. R e v . , 59, 195199 (1941). H. Rund, The Differential Geometry of Finsler Spaces, Springer, Berlin-G~ttingen-Heidelberg (1959). H. Rund, The Hamilton-Jacobi Theory in the Calculus of Variations, D. Van Nostrand, London (1966). Choko Shibata, "On Finsler spaces with Kropina metric, n Rep. Math. Phys., i_~3, No. i, 117-128 (1978). Choko Shibata, "On the curvature tensor Rhijk of Finsler spaces of scalar curvature," Tensor, 3_22, No. 3, 311-317 (1978). Choko Shibata, Hideo Shimada, Masayoshi Azuma, and Hiroshi Yasuda, nOn Finsler spaces with Randers' metric," Tensor, 31, No. 2, 219-226 (1977). Hideo Shimada, "On the Ricci tensors of particular Finsler spaces," J. Korean Math. Soc., i_~4, 41-63 (1977). G. Stephenson, "Affine field s t r u c t u r e of g r a v i t a t i o n and e l e c t r o m a g n e t i s m , Nuovo Cimento, 1 0 , 3 5 4 355 (1953). G. Stephenson, " L a g e o m e t r i e de E i n s l e r et les theories du c h a m p unifie," Ann. Inst. H. P o i n c a r e , 1__55, No. 3, 205-215 (1957). G. Stephenson and C. W. K i l m i s t e r , nA unified field theory of g r a v i t a t i o n and e l e c t r o m a g n e t i s m , " Nuovo Cimento, 10, 230-235 (1953). Hiroshi Yasuda, "On extended Lie s y s t e m s . III (Finsler s p a c e s ) , " T e n s o r , 2_33, No. 1, 115-130 (1972). H i r o s h i Yasuda, " F i n s l e r s p a c e s as distributions o n R i e m a n n i a n manifolds, n Hokkaido Math. J . , 1, No. 2, 280-297 (1972). Hiroshi Yasuda, "On F i n s l e r s p a c e s with absolute p a r a l l e l i s m of line e l e m e n t s , n J. K o r e a n Math. Soc., 1_33, No. 2, 1976-1992 (1976). Hiroshi Yasuda and Hideo Shimada, "On R a n d e r s s p a c e s of s c a l a r c u r v a t u r e , " Rep. Math. P h y s . , 11, No. 3, 347-360 (1977).

GEOMETRY A.

M.

OF NONLINEAR

DIFFERENTIAL

EQUATIONS UDC 514.763.8

Vinogradov

The p a p e r contains a s u r v e y of c e r t a i n c o n t e m p o r a r y concepts and r e s u l t s connected with the geom e t r i c foundations of the theory of nonlinear partial differential equations. At the base of the account is situated the g e o m e t r y and a n a l y s i s on jet s p a c e s , finite and infinite.

INTRODUC

TION

1. In this s u r v e y we c o n s i d e r c e r t a i n g e o m e t r i c ideas and r e s u l t s connected with the c l a r i f i c a t i o n of the foundations of the theory of nonlinear differential equations. Our a p p r o a c h to the f o r m u l a t i o n of the p r o b l e m as well as the method of its p r e s e n t a t i o n is based on the g e n e r a l o b s e r v a t i o n that any " g e o m e t r y " is the r e a l i z a tion of a c o r r e s p o n d i n g " a l g e b r a . " This kind of " a l g e b r a n in the c a s e c o n s i d e r e d is a s y s t e m of f u n c t o r s , s e r v ing as the theory of differential o p e r a t o r s in c o m m u t a t i v e r i n g s , which it would be a p p r o p r i a t e to call simply the differential calculus. F o r this r e a s o n , the p a p e r begins with the n e c e s s a r y d i g r e s s i o n into the so u n d e r stood differential calculus, in whose language the r e s t of the account is conducted. This is not only a question of convenience or s t y l e , but is of principal m o m e n t , and in p a r t i c u l a r , in counterweight to C o u r a n t ' s r e m a r k * *Questions connected with p a r t i a l differential equations of o r d e r higher than the f i r s t a r e so v a r i e d that the c o n s t r u c t i o n of a unified theory does not s e e m possible. Courant, P a r t i a l Differential Equations [Russian t r a n s lation], M i r , Moscow (1964), p. 159.

Translated from Itogi Nauki i Tekhniki, Seriya Problemy

1624

Geometrii,

Vol. ii, pp. 89-134, 1980.

0090-4104/81/1701-1624507.509 1981 Plenum Publishing C o r p o r a t i o n

to observe

the essential oneness

of differential mathematics.

2. The geometric theory of differential equations in the contemporary sense has its origins in the classical works of Lie (cf. [51, 52]), in which there is created a complete theory of first order equations and the foundation is laid for the classical theory of symmetry. Cartan indicated the importance of invariant methods in the general theory of differential equations and realized his program of invariantization of this theory into the geometric language of vector fields and differential forms. Coordinates, however, still play a noticeable role in Cartan's works, which, for example, is apparent in the fact that he never gave complete proofs of some of his deepest results (cf. [18, 32, 33, 29~ 46]). In the 50's and 60's Cartan's theory underwent further invariantization and refinement. A central place here is occupied by the papers of Kuranishi (el. [48-50, 45]). Approximately at this time the language of jets introduced by Ehresmann [35] was transformed from the language of "good form" into a useful working language for the theory of differential equations, which, for example, led Goldschmidt to a considerably- more satisfactory formulation of the Cartan-K~hler existence theorem and the Cartan-Kuranishi theorem on extensions (el. [37, 38]). An important moment here was the opening of the mechanism of Spencer cohomology (cf. [30]), which, as is now clear, is an important component part of the differential calculus in the sense indicated above. As a result of this development it became obvious that manifolds of jets are the natural geometric base of the theory of differential equations and this circumstance is one of our starting points. It is useful here to turn our attention to the space of tangent elements, which is the foundation of Lie's theory, and is nothing else than the manifold of jets of the first order. We emphasize, finally, the general impact of the papers of Spencer and Sternberg (e.g., [53]) on the questions we are considering. 3. The relation between the volume of material and the size of the paper defined its style, which is close to telegraphic: formulation of definitions and results plus minimal clarification. For this reason, in many places we could not mention the necessary motivations and examples, indicate the useful applications known at the time the theory developed (propagation of discontinuities, Cauchy's problem, Hamiltonian formalism in field theory) and describe its many and interesting connections with other domains of mathematics and mathematical physics. Implicitly the paper is divided into three parts. In Sees. 1 and 2 the language is described, Sees. 3-7 are essentially devoted to the geometry of submanifolds of manifolds of jets, and Sees. 8-10 to the geometry of infinitely extended equations. This last "nonclassical" part is the most important, since the objects of the category of nonlinear differential equations turn out to be precisely infinitely extended equations. Here the language of Sees. 1 and 2 is used essentially, while for the second part the ordinary language of the theory of smooth manifolds is completely sufficient. References to the literature and brief remarks of a priority character are given at the end of each section. Here we do not pretend to completeness and objectivity. In connection with this we refer to the survey [2], where the extensive literature is cited, and also to Forsyth's work [36], from which one can get not only a good representation of the development of the domain of interest to us in the last century, but also derive an inspiring formulation of a whole series of problems. The B~cklund transformation is by no means the on_iy example of the oblivion of beautiful geometric ideas left us by the classics. Finally, we note the papers [39-42, 31, 47], closely connected with the questions examined below. 4. The geometric foundation of the theory of nonlinear differential equations has been considered during the last several years in the seminar of workers on the mechanico-mathen~atical faculty of Moscow State University under the guidance of the author. In this paper, essentially, there is elaborated the point of view which results from these discussions, which explains a certain one-sidedness in our references. Now, when one, apparently, can assume that a return to foundations was justified, the author thallus the participants in this seminar, and in particular, V. V. Lychagin, B. A. Kupershmidt, and I. S. Krasil'shchik for the necessary optimism and enthusiasm. I.

Differential

Operators

in

Commutative

Rings

i.I. The hope of constructing differential operations on spaces of sufficiently general character, which arise in the successive constructions of the geometry of differential equations, as well as the general considerations of paragraph 0.2, leads to thenecessity of extending the boundaries of the classical differential calculus to smooth manifolds. Such an extension turns out to be possible if one follows the general algebraic point of view described below.

1625

1.2. Let K be a c o m m u t a t i v e ring with unit and A be a unital commutative K-algebra. F o r an element a ~ A and a K - h o m o m o r p h i s m A : P - - Q , w h e r e P and Q a r e A - m o d u l e s , one can c o n s t r u c t a K - h o m o m o r p h i s m 5a(A) : P - - Q , by setting ~ (A) (p) = A (up)-- aA (p),

p~P.

The o p e r a t o r 6a : HOmK(P , Q) --* HomK(P, Q) a r i s i n g in this way is a K - h o m o m o r p h i s m and 6 a o6 b = 5bO 6a. Let 6a0,at,...,as =6a0O6alO...O6as. Definition. A ~ HomK(P, Q) is called a K-differential o p e r a t o r (d. o.) of o r d e r _<s over the K-algebra A, if for any a0, . . . , a s ~A, 6 a o , . . . , a s ( A ) -- 0. 1.3. Let M be a s m o o t h manifold, F -- R or C, C~(M) be the F - a l g e b r a of F - v a l u e d C ~ over M. We denote by F(~)(Floc(~)) the C~(M)-module of all (all local) C ~ of the smooth v e c t o r bundle $: E~ M. In the c a s e when K = F, A = C~(M), P = F(~), Q = F(~), the definition of p a r a g r a p h 1.2 is equivalent with the usual definition of a linear differential o p e r a t o r acting f r o m the vector bundle ~ to the v e c t o r bundle 7. The situation d e s c r i b e d is later called the c l a s s i c a l case. 1.4. The collection of all d. o. of o r d e r --_s, acting f r o m P to Q, equipped with a left A - m o d u l e s t r u c t u r e [i.e., (azX)(p) = aA(p), a E A, p E P], wilI be denoted by Diffs(P, Q). This same collection of d . o . , equipped with a right A - m o d u l e s t r u c t u r e , ,is denoted by Diff~s(P, Q) [i.e., (a +A) (p) = A(ap)], and the A-bimodule which a r i s e s as a r e s u l t is denoted by Diffs~)(P, Q). Since Diff~+~ (P, Q)~Diff~ +> (P, Q) if s _< t, there is defined the A - b i m o d u l e Diff (+)(P, Q) of all K - d i f f e r e n tial o p e r a t o r s f r o m P to Q, filtered by the A-bimodules Diff(+) (P, Q). It is useful to keep in mind that the maps of A - m o d u l e s i+

i+

D~L (P, Q)~-D~ + (P, Q) ~d D~fff (P, Q)~-D~ (P, Q), generated by the identity maps of the supporting sets a r e d. o, of o r d e r -< s. 1.5. The d. o. introduced in p a r a g r a p h 1.2 a r e subject to the s a m e general rules as o r d i n a r y d. o. Here a r e some of them. 1) An o p e r a t o r of o r d e r z e r o is an A - h o m o m o r p h i s m and c o n v e r s e l y , i.e., Diff~+)- (P, Q) -- HomA(P, Q). 2) I f / h 6 Dills(P, Q), A2 E Difft(Q, R), then z~2 oA1 ~ Diffs+t(P , R). [This follows directly f r o m the rule 6a(A2 oA1) -- 6a(A2)oA 1 + a 2 O6a(A1) , A 1 ~ HomK(P , Q), A2 ~ HomK(Q , R).] In p a r t i c u l a r , the c o m p o s i tion operation turns Diff(P, Q) into a right Diff(P, P)-module and a left Diff(Q, Q)-module, and Diff(P, P) into an a s s o c i a t i v e A - a l g e b r a . 3) Let A' be some localization of the K - a l g e b r a A, A ~ Diffs(p , Q). Then there exists a unique extension A' : P ' ~ Q ' of the o p e r a t o r A to the c o r r e s p o n d i n g localizations P ' , Q' of the A - m o d u l e s P and Q. In other w o r d s , if the o p e r a t o r A is u n d e r s t o o d as an o p e r a t o r on the "manifold" SpecA, then it can be r e s t r i c t e d to any open set of this "manifold." 4) Let @:A 1 - - A 2 be a h o m o m o r p h i s m of K - a l g e b r a s , P and Q be A2-modules and A e Diffs(P , Q). Then is a d.o. over A 1 if P and Q a r e understood as A l - m o d u l e s by means of @. In other w o r d s , the concept of d. o. is invariant with r e s p e c t to the operation of change of rings. 1.6. We set DiffsQ = Diffs(A, Q), DiffQ = Diff(A, Q), and analogously, for Diff+Q, Diff+Q, Diff~+)Q, Diff (+) Q. Let further f~ = J1 (Q): Diff Q ~ Q be defined by the equation ~ (A) ~ A (1), ~ - ~ID~ff,Q , and ~+ = fl[oi+, 3I~ ~fbi+]mf~+ Q. Then ~ . ( ~ ) is an A - h o m o m o r p h i s m , while j1 + is a d. o. of o r d e r < s. This is evident f r o m the last r e m a r k of P a r a g r a p h 1.4. With any ~ E Diffs(P , Q) one can a s s o c i a t e Ah 6 HomA(P, Diff~Q), by setting zxh(P)(a) = A(ap), a ~ A, p ~ P. Proposition. The c o r r e s p o n d e n c e s A -- Ah and ~h~il, oAh a r e mutually inverse i s o m o r p h i s m s of the A modules Diff +(p, Q) and HomA(P, Diff + Q), p r e s e r v i n g filtrations. Let A~Diif~(P, Q), A~/=Ao~+(P), h o m o m o r p h i s m of right D i f f A - m o d u l e s .

~ht~z~(~)h:Di[L+P~Diff+~Q . Then~h*~limah~:Di[~+P~Diff+Q is a ~

In the special case when A ~ + ( P ) , we denote the h o m o m o r p h i s m .~h~:DiW~(DiII+P)~Di~++~P by Cs, t and we call it the gluing o p e r a t o r . Here s and t can be a s s u m e d to be equal to ~ in the obvious sense.

1626

We

identify Diff 0 P = Diff~ P = HomA(A,

A E Diff P, leads to a representation Analogously, Di~f~P=P|

P) with P. Then

of Diff P as a direct sum

the decomposition of A-modules:

A = (A-

P|

P,

A(1)) + A(1), where

where

Diff P = ker f~ (P).

Diff~P~ ker ]1~ (P).

1.7. The A - m o d u l e D (P)=Difi~P consists of all K-differentiations c~of the a l g e b r a A with values in P. In the case when A = C~(M), D(A), as is known, can be identified with the CF(M)-module D(M) of all s m o o t h vector fields on M, which we shall do in what follows. We define, f u r t h e r , the A - m o d u l e Ds (P) as the eollection of P - v a l u e d K - s e m i l i n e a r functions q)(a~. . . . , as) , a i E A, which a r e s k e w - s y m m e t r i c and have the p r o p e r t y that the operation a ~-~ q~(a, a 2 , . . . , a s) is a K-differentiation for any fixed collection a2, . . . , a s e A. It will be a s s u m e d that D0(P) = P and D(P) = D1 (P). There is another useful definition of the modules Ds (P) clarifying their value. Let D (@~_Q)={v~D (Q) lirnv~@}, where Q1 is a Subset of the A - m o d u l e Q, and (Diff+) (P) = D i f f ' ( . . . D i f f ' ( P ) . . . ) (i times). Then the modules Di(P) a r e defined inductively: D ~ ( P ) - D (D~_~(P)~(Diif~+) z-' (P)). Here the inclusion D~ (P)~(Dtff+)~(P) (which is not a h o m o m o r p h i s m of A - m o d u l e s ! ) is the following composition of natural inclusions: D; (P)-- D (D,_, (P)~(Diif+) '-~ (P))~D (DiH~+)'c~ (P)~(DiH~y (P). It is obvious f r o m the f i r s t definition that the inclusion Di (P)crzD~_~(D) (P)) together with the inclusion Dr (D (P))~..D~_~(Dill+P} r e d u c e s t o t h e inclusion De (P)~D~_~ (Diff~P). Diff is the Spencer o p e r a t o r s Si, j for the module P defined as the c o m p o s i t i o n .4-

Thus,

there arises the sequence Si,

0

§

-[-

D~-l(cl,

(SIP): 9

§

3i--i, I

O~ D~ (P)--~D~_~ (Dlff~ P) . . . . .

+

~ D~_k (Diffk P)

Si--#

'

k_~

. . . - + Diff+P-~ P-~ 0.

Proposition. I) The sequence SiP is a complex (Diff is the Spencer complex). 2) Si,j are d. o. of order _
s~,j

In an obvious way there are defined inclusions of complexes plex SP= U SIP, filtered by the subcomplexes SiP: Si

S~PcSI+,P S~

so that one can consider the com-

~+

. . . ~ D~ (Dill+P) ~ . . . D (DifFP)-, Diff+P ~ P - + 0. ~+

1.8. The complexes SiP, SP with the f r a g m e n t - + P - ~ 0 d i s c a r d e d will be denoted by SiP, SP. Any /x Diffs (P, Q) generates h o m o m o r p h i s ms S~, : (k) -- D~(AM) : D~ (Diff+P) ~ D, (Diff+§ Sr 9(~)-D~ (A&*):D~(Dill+P)-+ D~ (Diff+Q). As a r e s u l t there a r i s e chain mappings of complexes Si(A) : Si(P) ~ Si§ (Q), S (A) : S (p) ~ S(Q). We call the homology of the complex e o k e r S (A) the Spencer homology of the o p e r a t o r A and we denote it by Hi(A). The following proposition follows directly f r o m the definitions. Proposition. If the complexes S(P) and S(Q) a r e acyelic and kerS(zX) = 0, then H0(A) = c o k e r A , Hi(A) = ker A, and Hi(A) = 0, i > 1. COROLLARY. In the classical situation the premises of the preceding proposition are satisfied for "almost all" operators A. We permit ourselves not to explain the meaning of the phrase "almost all" since in what follows this will not lead to any misunderstandings. 2.

Representing

Objects

2.1. Let 9 = Di, Diffs, Diff~s, Diff s(§), etc. or compositions of these symbols [e.g., Di(Dfffs) + ]. The e o r r e s p o n d e n c e P ~ ~(P) i n a l l these c a s e s is obviously a funetor on the c a t e g o r y ~r Of all A - m o d u l e s , with values in it itself or in the c a t e g o r y of k-polymodules ~ a ~. (For example, Diffs~+~P~ObJ[A2) . Functors of this Mnd a r e examples of absolute functors of the differential calculus, whose definition in full generality we omit. Below we shall be i n t e r e s t e d in their r e p r e s e n t a b i l i t y , which will be examined f i r s t for ~ = Di or Dills. We shall also need functors of the f o r m Q ~ Diffs (P, Q).

1627

2.2. Becoming s o m e w h a t f r e e with accepted t e r m i n o l o g y , we shall understand by a r e p r e s e n t i n g object for the functor r in the c a t e g o r y J~A an A - p o l y m o d u l e 9 such that the functor P - - H e m A (r P) is i s o m o r p h i c with the functor P - @(P). Standard c o n s i d e r a t i o n s (cf., e . g . , [11]) show the existence and uniqueness of r e p r e senting objects for the functors c o n s i d e r e d in 2.1. If @ = D i {respectively, Dills), then the c o r r e s p o n d i n g 9 is denoted by A ~(fs) and is called the module of i-dimensional differential forms (s-jets) over A IK. Analogously, fs(p) (y(p)) is the representing object for the functor Diffs(P , 9 ), (Dill(P, 9 )) and f~=fs(A). W e consider the operator J s ~ Js (P)~Diffs(P, ~s (p)) [respectively, d ~ D(AI)], corresponding by virtue of the isomorphism Diffs(P, ~s (p))__ HornA (~s (p), ~cs(p)) [respectively, D (As)= H O m A (A ~,A s) ], to the identity isom o r p h i s m 12r ) (respectively, IAI). Then the natural isomorphism of modules Diffs(P, Q ) ~ H o m a (~s (p), Q) [respectively, D(P) : H o m A ( A I, P)], arising in view of the fact that the functors Diffs (P, 9 ) and H o m A (~s (p), .) [respectively, D and H e m A (A I, 9 )] are isomorphic, is realized by the correspondence 99~-"qOoJs [respectively, q~-- q0o d), ~Qklorna (~s (p), Q ] [respectively, qo 6 H e m A (A I, P)]. W e note that the representing object for the functor f)i(Diff;) is ~C](A~), and A s i A I. . . . . A s (s-fold exterior product over A). 2.3. Natural transformations of functors of the differential calculus reduce by duality to operations connecting the representing objects. Example i. The inclusion D~+ic_D~D i corresponds to the operation of exterior multiplication Ai| (this can be considered as its definition). Example 2. The inclusion D~c.D~_~ (Dill+) corresponds to the h o m o m o r p h i s m

~+j

of representing objects

JI

~i (Ai-1)__>At, W e define the operator d~D[ffl (Ai-I,A ~) as the composition A~-i-+~ t (A~-I)-+A~. As a result we get d

d

d

an algebraic variant of the de R h a m complex over A iK:A-~ At-+ A2-+ .... 2.4. W e return to the classical situation and w e ask what kind of connection there is between, let us say, the classical de R h a m complex (A~I, dcl) and the one which was introduced in 2.3. In view of the universality ip

of the latter, there exists an epimorphism of complexes (i*, d)-+(A~l, rid). However, ker iF ~ 0 and is very large. For example, in the case w h e n M = R I this kernel is generated by elements of the form df(x) - f'(x)dx, which are always nonzero w h e n the functions x and f(x) are algebraically independent. The tendency to liquidate this divergence stimulates the transition to the following m o r e general point of view. W e consider the subcategory $F of the category ,/ga, having the property that along with any functor of the differential calculus ~ and PEObY{r (P)GOb~f all the needed h o m o m o r p h i s m s connecting modules of the form r are also morphisms in this category. It is natural to call such a category differentially closed and to consider for it the question of representing objects in the s a m e sense as in 2.2. In the case w h e n they exist (notation (~${), w e arrive at a complete paraphrasing of the theory of Paragraphs 2.1-2.3, e.g., at the de R h a m

djC complex "with values" in 5r

3j{

~- A -+A}~: § A)r

....

2.5. As the m o s t i m p o r t a n t e x a m p l e we c o n s i d e r the c a t e g o r y ~tg~a of g e o m e t r i c A - m o d u l e s . We call an A - m o d u l e Q g e o m e t r i c if Q ~ Q ~ Q - 0, ~ S p e c A. T h e r e is defined a g e o m e t r i z a t i o n functor ~ : Q ~ Y ( Q ) ~ Q / ( ~ . Then ~ = ~ and the c a t e g o r y Yd~A is differentially closed. P r o p o s i t i o n . In the c a t e g o r y J / ~ a all funetors of the differential calculus have r e p r e s e n t i n g objects, while if 9 is a r e p r e s e n t i n g object for 9 in J / a , then ~ (q)) is a r e p r e s e n t i n g object for r in J / ~ a . The r o l e of the c a t e g o r y J / ~

in the c l a s s i c a l c a s e is i l l u s t r a t e d by the following.

P r o p o s i t i o n . The de R h a m c o m p l e x with values in J / ~ de R h a m complex of the manifold M.

in the c l a s s i c a l situation is i s o m o r p h i c with the

2.6. The l a t t e r p r o p o s i t i o n is a s p e c i a l c a s e of a much m o r e g e n e r a l a s s e r t i o n which, roughly speaking, c o n s i s t s of the fact that l i n e a r differential o p e r a t o r s having i n v a r i a n t meaning in the c a t e g o r y of smooth m a n i folds a r e o p e r a t o r s between r e p r e s e n t i n g objects in the c a t e g o r y of g e o m e t r i c modules o v e r C~(M), r e a l i z i n g t r a n s f o r m a t i o n s of functors of the differential calculus in this c a t e g o r y . The following s p e c i a l c a s e will have s p e c i a l i n t e r e s t for us. Let ~r:E , v - - M be a s m o o t h v e c t o r bundle o v e r M, ~rk: Jk(n) - - M be the bundle of k - j e t s of sections of this bundle. In this c a s e , the C ~ ( M ) - m o d u l e F(nk) is i s o m o r p h i c with the C ~ ( M ) - m o d u l e of k - j e t s of the module

1628

F(~) with values in the category of geometric C~(~)-modules. In other words, the classical bundle of jets ~k: jk(~) ~ IV[ is the vector bundle which, according to the standard algebrogeometric construction, corresponds /z c~ k to the A-module ~y~(F(~)), :~=dtt~A, A=CF (M). Hence any element 0@~(F(n)) can be understood as some section of the bundle ~k, denoted by ~0 : M -- jk(~). 2.7. In what follows, if nothing is stated to the contrary, we shall work in the category of geometric modules, and representing objects will be taken in this category, and here the index denoting the category will be omitted: A i ~ A ~ , ~ s ~ , etc., w h e r e ff~=J/t~.~. 2.8. In conclusion we shall d e s c r i b e Spencer~s j e t - c o m p l e x , the initial f r a g m e n t of which will be needed in what follows. With this a i m we consider the o p e r a t o r a:Diff~_~ (P, D~+, (Q))~Diffs (P, D~ (Diff+Q)), w h e r e a (A)~oA, ~:D~+~( Q ) ~ D ~ (Diff,+Q) is the imbedding described in 1.7, and Diff s denotes that in the set of o p e r a t o r s f r o m P to Di(Diff~Q) one introduces the A - m o d u l e s t r u c t u r e generated by left multiplication in Diffl +) Q. The o p e r a t o r ~ is a h o m o m o r p h i s m of A - m o d u l e s and hence generates a r e v e r s e h o m o m o r p h i s m for the r e p r e senting objects of the functors Q ~-* Diffs_l(P , Di+I(Q)) and Q ~-- Diffs(P , Di(Diff;Q)):

~,:~, ( ~ (p)~') ~ ~,-, (p)e~+,. Then the compositions S ~'~= atoj~:'~ ~ (P)~A~-+~-I (p)~aA~+~ a r e the Spencer o p e r a t o r s we need, which together f o r m the Spencer j e t - c o m p t e x : ]~ S~,0 0-+ P ~ ~ (P) --~ ~ - ~ ( P ) ~

S~-~,~ .....

-~ PeA~A -+ 0

(S;~P).

C a r r y i n g out the previous a r g u m e n t for s = ~, we a r r i v e at the "stable" v a r i a n t of the preceding complex: ]~

So

S,

S ~-~

S~

0-~ P,--~ ~ (P) ~ ~ (P)A~A' --* . . . ---~ ~ (P)A~A~~ . . . In the classical situation Spencer's ~s(p)

jet sequence

is exact for any projective

(S~P). module

2.9. A transformation of functors Diffs(P , -) -- Difft(P, 9 ), s --< t, generates of representing objects. The homomorphisms v~ '--~ ,|174174 ~ A

P of finite type. an epimorphism ,~.t(p)~% generate a chain A

map of complexes % : S ~ P ~ S k _ ~ P . We c o n s i d e r the complex ker Uk, called S p e n c e r ' s 5 - c o m p l e x , whose differential we denote by 5. Inthe case when A 1 is a projective module of finite type, this complex has the f o r m

0-~ s~ (z~)~p ~ s~-~ (a~)~A,|

~-~ (~)~a~|

....

w h e r e Si(A l) is the i-th s y m m e t r i c power of the A - m o d u l e A 1. 2.10. C o m m e n t a r y . In this and the preceding section, the point of view of the author on the foundations of the differential calculus (cf. [4, 11]), which differs f r o m the a p p r o a c h of Grothendieck [44] and his followers, in that one takes as of p a r a m o u n t i m p o r t a n c e the concept of d. o. and not the module of j e t s , is pros ented to the extent n e c e s s a r y . C o r r e s p o n d e n c e with the c l a s s i c a l theory is achieved here by introducing the concept of g e o m e t r i c i t y . Its role is well i l l u s t r a t e d by [14]. 3.

Manifold

of

Jets

3.1. Let N be a smooth manifold of dimension n + m. A class of n-dimensional submanifolds L~N mutually tangent at the point x 6 N to order k -> 0 will be called a k-jet of an n-dimensional submanifold at the point x and will be denoted by [L] k. The set N k of all k-jets at all possible points x e N has a natural structure as a smooth manifold, which will be called the manifold of k-jets of n-dimensional submanifolds. Obviously N O= N. For k-> Ithereis defined a map ~k,/: Nk~N/m, ~k,/([L] k) = [L]/, We set jk(L):L~N k, jk(L)(x) = [L]xk , x E L. The k-jets of local sections of some submersion ,7:N --M, dimM = n, fill an everywhere dense open subset Yk(n)~N~. If U~N is open, then U km ~ N m is also open, which means that jk (~)~N~. is open, where ~: U ~ M is some s u b m e r s i o n . If ~:U ~ M is a bundle, then YZ(%)~N,kn will be called an affine chart. Let U ~ R ~ ) ( R ~ and ~ be the r e s t r i c t i o n to U of the projection R m x R n ~ R n. If ul, 9 9 9 u m a r e coordinates in l~m, and x = (x1. . . . , x n) is in R n, any local s e c t i o n u of the bundle ~ can be given by a collection of functions ui(x). Then the k - j e t 8 of this s e c t i o n at the point x is uniquely d e t e r m i n e d by the collection of nil derivatives 0 s ui

Ox~.. c ) x ~ ( x ) of o r d e r - < k . L e t ~ =

(il,...,i

s ) be an u n o r d e r e d collection of integers l _ i j _ < n ,

J ~ [ = s . We

1629

9 (i) ,) . ~ , 0r~i~ (i) i n t r o d u c e the function pff by s e t t i n g p ~ (o)--Oxi.~..Ox % . The s y s t e m of functions pa , i : 1 . . . . .

a r i s i n g in this w a y c a l l e d affine.

m, la [ -< k

t o g e t h e r with xl, 9 9 9 Xn f o r m s a s y s t e m of local c o o r d i n a t e s in jk(~), which will be

k If s ~ Floc(~) , we s h a l l w r i t e jk(s) i n s t e a d of jk(S(M)) os and [S]xk i n s t e a d of [s 0VI)]s(x). We a l s o s e t ~k = no ~k,0, L(k) = i m j k ( L ) , s(k)(M) = imjk(S). 3.2. Below the s y m b o l F*(~) denotes the bundle induced by the map F : Mt ~ M and the bundle 4: E~ ~ M. The s y m b o l F(~)(Yloc(~)) denotes the c o l l e c t i o n of all s m o o t h (local) s e c t i o n s of the bundle ~. If s : M ~ M~ is s u c h that F o s = 1, and ~ Floc(F*(~)), then we s e t s*(r = F o r e Floc(~), w h e r e F is the c a n o n i c a l map of the bundle F*(~) into 4. Let V :E~? ~ N be s o m e s m o o t h bundle, Vk = n~,00?), ~ ~ F(~lk). G e n e r a l i z i n g c o m m o n u s a g e of w o r d s , we shall m e a n by a d i f f e r e n t i a l o p e r a t o r of o r d e r _
A(s)=j~(s)*(~), s~r~oo(~), ~r(~(~)),

(~)

is a d . o . of o r d e r -< k, and c o n v e r s e l y . T h u s , one e s t a b l i s h e s a b i j e c t i o n of the s e t difk(~, ~) of nonlinear diff e r e n t i a l o p e r a t o r s of o r d e r _
~

(~) ~ ~ ~,~(s).....

(s). q~,

i

~ = ~ A~| .. |174 t

5~Diffk (P, A), q~CQ. This algebraic theory is not considered below. following account can be included in it.

However,

3.4. In order to single out submanifolds of the form others, we shall need certain operators described below. ~), where ~ and V are bundles over M. Then the formula

the reader

can see that all the key moments

of the

L(k) = imjk(L)(s (k)(M) = imjk(s)) in Nk(jk(~)) among We fix a bundle ~ : E ~ -- M and an operator A ~ dif s (4,

~ (~)_ %o~,, ~ r (~ ~)), ^

i

_ _

defines an o p e r a t o r h = 7kk: r l o c ( ~ ( ~ ) ) - - Flo c (rk+ s * (~)). O p e r a t o r s of the f o r m 2x play an i m p o r t a n t r o l e in w h a t follows. H e r e a r e s o m e of their p r o p e r t i e s :

,

Aojk(u)*:jk.~(U)*~ AIoA2:AI~

E x a m p l e . Let . ~ = ~ I R ~ ,

0 5=--E~.

U6Ploc(n),

h6difs(~,v0,

pAI-~- A2~pAI-~-~A2, ~.,pECr~(M).

3 0 ~ T h e n in the c o o r d i n a t e s of P a r a g r a p h 3.1, TE-~x~-E~ - F ~ P ~ ' ~

w h e r e cr + i = 0I, 9 9 9 is, i) w h e n ~ = (i~, . . . , is) , i.e., a / ~ x i is the "total d e r i v a t i v e " o p e r a t o r widely 1630

0

op,, '

used

in the calculus

of variations.

3.5. In the special case when A Js, we shall write ps (q~) instead of Js(•). If ~ is hnear and ~ ~ F(nk(~)) , then Ps' (q)) E F(nk+ s* (Is)). The image" of the element Ps' (q~) under the natural inclusion" " F (n~+s* (~))~-~ (F (n~+~ (~))) we denote by Ps (~). In view of Paragraph 3.4 one has =

If 7r i s l i n e a r , i t is u s e f u l to i n t r o d u c e the e l e m e n t s Ps (~) = Ps (r w h e r e id : F(Tr) - - F(n) is the i d e n t i t y m a p . ps(~) c a n be c a l l e d the u n i v e r s a l s - j e t in v i e w of the f o l l o w i n g p r o p e r t y w h i c h f o l l o w s f r o m (p):

~(p~(~))=0, 0G~(r(~)) We

introduce,

further, elements

hl (yk+~(n)) is the Spencer

some

Proposition. s ~ F(~).

operator

a) Jk+r(S)*(Ur(~))

Ur(~) = sr,~

(% - ~

, where

(cf. 2.8), isolating Ur(~) = sr'~ = 0, ~ ~ F(~(~)),

Sr'~

26) r (F (~+r(~r)))-~r-1 (F (~+r (~r)))~ r in the case of linear ~.

s ~ Floc(n); b) ~(Uk(~))

= 0 if and only if ~ = jk(s) for

3.6. Let ~ = i M. Then in the affine coordinates of Paragraph 3.1, Ui(v) = du - ~PiCLxi, where u=p;~, i.e., UI(~) defines in ji(~) a classical contact structure [23]. A contact structure is defined by the zeros of the form U i (~). For this reason it is appropriate to consider the higher contact geometry of the k-th order as the geometry of the zeros of the element Uk(~). However, just what the "zeros of the element Uk(~)" are can be understood in at least two ways. Firstly, they can be considered as a submanifold V~J~(n) such that U k (n) IV = 0. The geometry on jk(~) arising in this way will be called the U-geometry. Secondly, Uk(~) is a jetvalued 1-form. Hence, from this point of view, it is natural to understand by zeros of Uk(n) vector fields annihilated by this form. This module of vector fields on jk(n) or the corresponding distribution of ~angent subspaces we shall call the Cartan distribution. Both these types of geometry will be described below. For now we notethat, as is evident from the definitions, the first of them is "more rigid ~ than the second, which however plays a considerably more important role in the theory of differential equations. Example. Pfaffian system

Let ~ = IM so in an affine coordinate

system

on jk(~) the Caftan distribution is defined by a

dp~--~ p~+~dx~~0, Ic;t~ k" i

3.7. By a system of nonlinear differential equations of order _< k, imposed on an n-dimensional submanifold of a manifold N (section of the bundle ,~), is meant a submanifold (with singularities) E~N~ ~' (Z~]~'(~)). In what follows we shall omit the word system. A submanifold L~N (s ~ Flo e(~)) is called a solution of the equation E if Lr is~)(M)~). Writing these definitions in coordinates, it is easy to see that they are equivalent to the usual ones. On the other hand, what was said indicates the fundamental role of the manifolds Nk(jk(~)) in the theory of differential equations, since they are universal receptacles for all possible equations of order -< k. Hence, it is natural to try to equip these manifolds with geometric structures in which would be encoded all information necessary for the theory of differential equations (i.e., to construct an absolute geometry of differential equations), and then to consider concrete equations as realizations of this geometry. Below, this point of view is taken as the foundation and is investigated. The result, roughly speaking, is that such a structure is a Caftan distribution normalized by the functors of the differential calculus. 3.8. By the s-th extension of the equation E~Y~(n) we mean the subset ~Yk§ , which is the intersection of all submanifolds of the form ~(f) = 0, where f~ (~), f le~0 and h~Diff~ (F (~i, I:,~). Let ~F (~ (~')) be such that E = {xl q~(x) = 0 } and q~ is in general position. Then E~- {x~Y ~+~ (n) l P~ (~)x ~ 0}. A special case of this equation is the usual method of extending an equation- adding all possible derivatives of order ~ s of functions defining E. An extension of the equation E~N~ in each as chart Y~ (~)~N~ can be defined in the way indicated above and one gets a submanifold lying in Y~+s(~)~N~n +~. Since the result is independent os the choice of affine chart, we arrive at the concept of extension in this case. The notation is the same: .~_~ . It is useful to keep in mind that ~k+s,k+s-i maps E s into Es_ I. Remark. The manifold E s can have singularities even when E is singularity-free. One can try to study the reason for this phenomenon. One of the basic themes of differential algebra is the question of the irreducible components of the equation E~. In order to consider this it is necessary to build on the algebraic point of view of Paragraph 3.3. The theory of singularities of "manifolds" E ~ promises to become a fascinating domain of investigations. 1631

4.

U-Geometry

4.1. In this s e c t i o n we d e s c r i b e c o n t a c t g e o m e t r y of o r d e r s in the f i r s t of the two v a r i a n t s mentioned in P a r a g r a p h 3.6. T h r o u g h o u t this s e c t i o n ~ is a l i n e a r bundle. Definition. A s u b m a n i f o l d L~]~(~) is c a l l e d a U - m a n i f o l d if Us(,~)I L = 0 and it is locally m a x i m a l in the c l a s s of s u b m a n i f o l d s s a t i s f y i n g this condition. Thus, f r o m the point of view of the " E r l a n g e r p r o g r a m , " U - g e o m e t r y is the g e o m e t r y of the g r o u p of all U - t r a n s f o r m a t i o n s , i . e . , t r a n s f o r m a t i o n s o f the m a n i f o l d jk(~) p r e s e r v i n g the c o n c e p t of U - m a n i f o l d . This g r o u p will be d e s c r i b e d below. Of b a s i c t e c h n i c a l m o m e n t h e r e is the d e s c r i p t i o n of U - m a n i f o l d s . The c a s e s = 0 is t r i v i a l , s o in w h a t follows it is a s s u m e d that s > 0. 4.2. F o r the d e s c r i p t i o n of U - m a n i f o l d s we shall need the following c o n s t r u c t i o n . L e t a:V~.~ be a n ld i m e n s i o n a l s u b m a n i f o l d , J~(,~) :: ~s1(V) be the r e s t r i c t i o n of the bundle '~s to V, a s : J%(,~) - - j s ( ~ ) be the n a t u r a l i n c l u s i o n , ~V = ~l,~-t(V ) and fis : J~(~) -'* JS(~v) be the n a t u r a l p r o j e c t i o n . p r o p o s i t i o n , a~ (u s (~)) = fis (Us (~v)). 4.3. It is e a s y to see (cf. 3.5) that f o r any s e c t i o n u E Floc(~) a s u b m a n i f o l d of the f o r m L {s), L = i m u is a U - m a n i f o l d . W h e n c e and f r o m P r o p o s i t i o n 4.2 it follows that ~sl(V{ s) (V)), v e rloc(~V) is a l s o a U - m a n i fold. T H E O R E M . L o c a l l y (excluding, p o s s i b l y , a s u b m a n i f o l d of l o w e r dimension) any U - m a n i f o l d L c a n be r e p r e s e n t e d in the d o m a i n 9 (v (~) (V)), v t Flo c (~V), w h e r e V ~ . ~ (O). C O R O L L A R Y . If d i m V = l, then dim9

m, s, l).

The function k(n, m, s, l) is a l w a y s s t r i c t l y d e c r e a s i n g in l e x c e p t f o r the c a s e m = s = 1, when k(n, 1, 1, l) = n. In this e x c e p t i o n a l c a s e we have the o r d i n a r y c o n t a c t g e o m e t r y o n j1 (~). In the r e m a i n i n g ones the n u m b e r I = d i m V, f i g u r i n g in the t h e o r e m , is independent of the choice of d o m a i n O ~ L . It will be called the type of the U - m a n i f o l d . 4.4. Any f i b e r - p r e s e r v i n g d i f f e o m o r p h i s m ~ : E ~ - - E ~ g e n e r a t e s a d i f f e o m o r p h i s m a s : j s (,~) _ j s (~). N a m e l y , if ~ = [U]x s, then a s ( 0 ) = [ ~ o u o 7 -2 ]7(x), s w h e r e 7 : M - - M is s u c h that ~ o ~ = 7o~. THEOREM. If s d i m ~ > 1, then any U - t r a n s f o r m a t i o n F : J S (~) - - j s (~) has the f o r m F = a s for a c o r r e sponding ~ and c o n v e r s e l y . The formation. ~s,0-fiber morphism

p r o o f of this t h e o r e m is b a s e d on the fact that the type of a U - m a n i f o l d is p r e s e r v e d u n d e r a U - t r a n s F o r e x a m p l e , manifolds of type 0 a r e f i b e r s of the p r o j e c t i o n '~s,0. H e n c e , the t r a n s f o r m a t i o n F is p r e s e r v i n g and g e n e r a t e s a d i f f e o m o r p h i s m a : j 0 ( ~ ) _ j0(~) s u c h that ~s,0O F = ~ o '~s,0. This diffeoa l s o f i g u r e s in the t h e o r e m .

R e m a r k . The t h e o r e m p r o v e d is valid without c h a n g e a l s o for U - t r a n s f o r m a t i o n s of a c e r t a i n d o m a i n W/~] ~(~), if the f i b e r s of the p r o j e c t i o n s ~s,01W and ~sIW a r e c o n n e c t e d . In the g e n e r a l c a s e it is n e c e s s a r y to i n s e r t the obvious c o m p l e m e n t . 4.5. R e s t r i c t i o n of the e l e m e n t Us(~) to the equation E~],(n) allows one to c o n s t r u c t the U - g e o m e t r y of this equation, r e p l a c i n g in the definitions of P a r a g r a p h 4.1 js(,~) by E. By an i n n e r U - s y m m e t r y of the equation E one m e a n s a U - t r a n s f o r m a t i o n of it, s i n c e h e r e its solutions a r e p r e s e r v e d . It is n a t u r a l to c o n s i d e r as an e x t e r i o r U - s y m m e t r y of the equation E a U - t r a n s f o r m a t i o n F : j s (,~) _ j s (,~) s u c h that F (E) ~ E . The r e s t r i c t i o n of an e x t e r i o r s y m m e t r y to the equation E is an i n n e r s y m m e t r y of it and one c a n a s k w h e t h e r the c o n v e r s e is t r u e . In g e n e r a l the a n s w e r is negative. H o w e v e r one has the following t h e o r e m . THEOREM. If the equation E is such that the fibers of the projections ~s,01E and only these are U-manifolds of maximal dimension belonging to E, then any inner U - s y m m e t r y of this equation is the restriction of s o m e exterior U - s y m m e t r y of it. The premises of this theorem are not stringent and have the form of a "general position" condition, if c o d i m E is not too large (i.e., the system E is not too overdetermined). For example, they are automatically satisfied if c o d i m E < m s - I. R e m a r k i. W e call a vector field X on js (~) a U-field if the translation operators along its trajectories are U-transformations. Similarly one defines infinitesimal U - s y m m e t r i e s (inner and exterior) of an equation E < ] ~ (~) and one proves analogues of T h e o r e m s 4.4 and 4.5.

1632

R e m a r k 2. Introducing the s t r u c t u r e of a l i n e a r bundle ~r in the s e p a r a t e p a r t s of the nonlinear bundle and c o n s i d e r i n g on t h e m the e l e m e n t s Uk(,~c~), it is e a s y to c o n s t r u c t p r o p e r l y a U - g e o m e t r y on Jk(,v) in this c a s e too. T h e o r e m 4.3 c l e a r l y shows this. 4.6. Commentary. The theory of this section is due to the author and was announced in [5]. For a detailed account see (except for Theorem 4.5) [II]. Theorem 4.5 is presented here for the first time and the proof of Theorem 4.4 given in [Ii] carries over to it unconditionally. 5. Cartan

Distribution

5.1. The Caftan distribution is the unique additional structure with which it is necessary to equip the manifold Nkm in order to construct a complete theory of nonlinear differential equations. In this section it is introduced in a descriptive geometric "pointwise" form. More important however is its functorially significant representation in the form of the operation ~ (eL Paragraph 8.4). In order to be able to define the concept of solution of the differential equation E N~ intrinsically from the point of view of the manifold Nkm, it is necessary to introduce on N k a structure which would distinguish n-dimensional submanifolds of the form L(k) from others. Toward this end we call an R-plane at the point 0 ~ N k a subspace of T0(N k) having the form T0(L(k)) for some L~.]V , and we consider the linear span C0~ T0(Nk) of all possible R-planes at the point 0. Definition_

The distribution of linear subspaees 0 ~-- C O is called the Cartan distribution on N k.

It is obvious that any submanifold one has the following proposition.

of the form L (k) is integral for the Cartan distribution. Moreover,

P r o p o s i t i o n . Let V ~ N ~ be an i n t e g r a l manifold for the C a f t a n distribution and ,Vk,0(V) =: L be an nd i m e n s i o n a l submanifold. Then V = L (k). Thus, the C a r t a n d i s t r i b u t i o n together with the p r o j e c t i o n ~k,0 allows one to distinguish the submanifolds of the f o r m L (k) in N k . It will be proved below that in the nonexceptional c a s e (mk > 1) the p r o j e c t i o n =k,0 can be c o n s t r u c t e d , knowing the C a f t a n distribution, s o that the l a t t e r is exactly the s t r u c t u r e which we need. R e m a r k . R e p l a c i n g above Nkm by jk(~) and L (k) by s(k)(M), we a r r i v e at the theory of the C a r t a n d i s t r i bution on jk(=). The collection Ck(N) (Ck(,~)) of all C a r t a n planes in Nkm (jk(,~)) f o r m s , obviously, a linear subbundle of the tangent bundle T(N k ) (T(jk(,v))). 5.2. It is useful to d e s c r i b e the C a r t a n distribution on jk(~) in a dual way. With this a i m we shall u n d e r stand e l e m e n t s U~ (~)G~~-~ (yk (~))| (jk (=)) as j e t - v a l u e d 1 - f o r m s and in c o r r e s p o n d e n c e with this the s u b s t i t u tion ~-*~J U~(cP)6~-~(Y~(.n))!0, ~To(Yk(~)). We s e t C~o={~To(Y~(~))l~l U~(q~)=0, v~6Sk-~(~)} . If ~r is a l i n e a r bundle, then we c o n s i d e r C~--{~T0 (yk (~)) I ~J Uk (~) = 0}. P r o p o s i t i o n . F o r any 1 __<s -< k, C~ = C0, and if ,~ is l i n e a r , then C~ = C 0. In the s p e c i a l c a s e when s = 1, this p r o p o s i t i o n shows that the s y s t e m of f o r m s U~ (q~), ~GS ~-~ (n) ~ g e n e r ates the annihilator AnnC of the C a r t a n distribution. Since the o p e r a t i o n 9~--U1(93 is a differentiation, AnnC is g e n e r a t e d within the limits of an affine c h a r t by the f o r m s Ut(p~) = dp~ - p~+idxi, a = 1, . . . . m, Icrl < k. 5.3. We shall indicate another d e s c r i p t i o n of the s u b s p a c e C 0. F o r this we note that the point 0 = [L] k. is uniquely c h a r a c t e r i z e d by the R - p l a n e L 0 = T0-(L (k-l)) at the point0 = ~k,k-l(0) ~ N ~ t. P r o p o s i t i o n . CO = (dZk,k-t 10)-t (LO). This proposition shows that the C a r t a n distribution r e a l l y is a higher contact g e o m e t r y in the "second s e n s e , " a c c o r d i n g to P a r a g r a p h 3.6. 5.4. L e t x ~ ~k(0), 0 = ~k,k_t(0), 0 ~ Jk(v,), k > 0. FLxing the point 0 d e t e r m i n e s a d i r e c t d e c o m p o s i t i o n (~[~ (x)) and thus a p r o j e c t i o n p0: T0- (Y~-~(.n))-+ T~ (r.Z_~~(x)), with the help of which one can

T~- (Y~-~(~)) = Lo|

d e t e r m i n e a l i n e a r map U~:To(J ~ (.~))-+7"~ (,~[~_~(x)), U~=poo(dn~,~_,lo), which, as is shown by the p r o p o s i t i o n cited below, can be c o n s i d e r e d an analogue of the j e t - " f o r m " Uk(,~) , in the c a s e of nonlinear u. If the bundle ~ is l i n e a r , then the f i b e r ,~:~ (x) of the l i n e a r bundle '~k-~ can be identified with T g ( ~ ,

(x)).

P r o p o s i t i o n . Under the identification cited u~(~) =L~. u~(~).

1633

We c o n s i d e r the q u o t i e n t - b u n d l e /k: T ( N k ) / C k ( N ) - - N k [or T(jk(~))/Ck(~) - - jk(~)]. With any X ~ D(N k ) o r D(jk(~)) one c a n a s s o c i a t e a s e c t i o n U~:(X) e F(/k) : U~(X) = X m o d C k ( N ) o r Ck(~). Then in view of P r o p o s i tion 5.4, the o p e r a t i o n U~ s h o u l d be c o n s i d e r e d an a n a l o g u e of the j e t - v a l u e d f o r m Uk(~) for n o n l i n e a r ~ and a l s o , in g e n e r a l , f o r a r b i t r a r y N. 5.5. P r o c e e d i n g to the c o n s i d e r a t i o n of i n t e g r a l s u b m a n i f o l d s of the C a f t a n d i s t r i b u t i o n , we begin with the d e s c r i p t i o n of their tangent s p a c e s at a c e r t a i n fixed point 0 ~ jk(~). A c c o r d i n g to the s t a n d a r d p r o c e d u r e of E. C a r t a n , for this it is n e c e s s a r y to find s u b s p a c e s of C 0 on w h i c h the d i f f e r e n t i a l 1 - f o r m s giving the C a f t a n d i s t r i b u t i o n [i.e., the f o r m s of the f o r m Ut(~), cf. 5.2] vanish. H e n c e , let us s a y that the v e c t o r s ~, ~ C o a r e in involution if dU~ ((p)(.L ~l)~ 0, v(pE~ k-1 (n). C o r r e s p o n d i n g l y , a s u b s p a c e V ~ C o will be c a l l e d involutive if any two v e c t o r s ~, ~ t V a r e in involution. D i r e c t l y f r o m P r o p o s i t i o n s 5.2 and 5.3 follows the f o l l o w ing l e m m a . LEMMA. If ~i EW0 o r ~i E L0, , i = 1, 2, a r e in involution.

w h e r e W 0 = T0(a*/k_l(O)), ~k.~l,k(0r)~0, ~/e,/~--I( 0 ) : 0 , then r and ~2

If ~ E W0, Vi ~ C0, i = 1, 2, and d~k(~ 1) = d=k(~ 2) = ~ E Tx(M) , x = ~k(0), then in view of the l e m m a , the involutivity of the p a i r (~, Vt) is e q u i v a l e n t with the involutivity of the p a i r (~, ~/2)- Hence, one c a n s p e a k of the involutivity of v e c t o r s ~ E W 0 and ~ E Tx(M). In the c a s e of a l i n e a r bundle = we identify W 0 with S~T**(M)| ~-I ( x ) - - ker %,~-1[~. Then one has the following p r o p o s i t i o n . P r o p o s i t i o n . Let $ E k e r " k , k - t l x c o r r e s p o n d to ~ ~ W0 u n d e r the i d e n t i f i c a t i o n indicated. Then the p a i r (~, 7) is in involution if and only if ~lJ ~ ( ~ ) = 0 , w h e r e 6x is the value at the point x E M of the S p e n c e r o p e r a t o r ~:S~A~|174174 (a), o r e q u i v a l e n t l y , ~7 lies in the k e r n e l of the ,~-t(x)-valued f o r m ~. on Tx(M). 5.6. The " b i l i n e a r i t y " of the c o n c e p t of involutivity allows one to d e s c r i b e c o m p l e t e l y on the b a s i s of P r o p o s i t i o n 5.5 a m a x i m a l involutive s u b s p a c e of C 0. P r o p o s i t i o n . A m a x i m a l involutive V ~ C o is uniquely d e t e r m i n e d by the s u b s p a c e s V + = V f~ Wo~Co and Vo=d=~ ( V ) ~ T x (M). H e r e V * ~ {~6.ker v<~_l{x{V0~ker q~}. In o t h e r w o r d s , if 0'E=;-~,~ (0) and V0 (09 = L~, ~ (da~)~-* (Vo), then V = Ve0 (0')|

+.

We note that V is uniquely d e t e r m i n e d by V 0. The n u m b e r d i m V 0 is c a l l e d the type of V (typ V). One has dim V := mC~+,_i q- n - - p,

rn - dim ~,

n - - p = typ V.

C O R O L L A R Y . E x c e p t for the c a s e s (a) n = m = 1 and (/3) k = m = 1, d i m V > d i m V ' , if t y p V < t y p V ' . In p a r t i c u l a r , W 0 is the unique involutive s u b s p a c e of m a x i m a l d i m e n s i o n , equal to mCkn+k_t. R e m a r k . Since any point 0 E Nkm c a n be c o v e r e d by a n affine c h a r t with l i n e a r u, the d e s c r i p t i o n given a b o v e is valid, c l e a r l y , f o r Nkm also. In view of 5.3, in this c a s e one c a n i n v a r i a n t l y define t y p V = d i m { d~rk,k_, (V)}. 5.7. Definition. a) We call a n i n t e g r a l m a n i f o l d of the C a r t a n d i s t r i b u t i o n m a x i m a l (locally) if none of its open s u b m a n i f o l d s is c o n t a i n e d in an i n t e g r a l manifold of g r e a t e r d i m e n s i o n . b) We call an n - d i m e n s i o n a l m a x i m a l i n t e g r a l manifold an R - m a n i f o l d . The r e s u l t s of the p r e v i o u s p a r a g r a p h allow one to d e s c r i b e i n t e g r a l m a x i m a l m a n i f o l d s . Let the i n t e g r a l m a n i f o l d L~N,~ ~-~ [or j k - l ( ~ ) ] , k > 0, be s u c h that ~k-l,01L is an i m m e r s i o n . We s e t W (L) ~ 0{ EN,n ( or J~ (~))[~,~_~ (0)EL, Lo~Ya~,~_~(0) (L)}. T h e n it follows f r o m P r o p o s i t i o n 5.6 that W(L) is a m a x i m a l i n t e g r a l manifold, w h o s e type at all points 0, i.e., typT0(W(L)) , is equal to d i m L . If Z is a m a x i m a l i n t e g r a l manifold, then the points 0 E Z, w h e r e T0(Z) a r e m a x i m a l involutive s u b s p a c e s in C 0, f o r m a n open e v e r y w h e r e d e n s e s e t Z 0. In the nonexeeptional c a s e (i.e., m n > I and mk > 1) it follows f r o m C o r o l l a r y 5.6 that the n u m b e r typ T0(Z) is independent of 0 ~ Z 0. We shall call it the type of Z ( n o t a t i o n typ z ) . T H E O R E M . If Z is a m a x i m a l involutive manifold, then in the n o n e x c e p t i o n a l c a s e a n e i g h b o r h o o d of any point 0 E Z 0 is a d o m a i n in a m a n i f o l d of the f o r m W(L), w h e r e d i m L = t y p Z . The c a s e m = k = 1 is well known and is c o n t a c t g e o m e t r y (cf., e.g., [23]). In the c a s e m = n = 1 the m a x i m a l i n t e g r a l manifolds a r e c u r v e s c o n s i s t i n g of pieces of type 0 and type 1.

1634

R e m a r k . L e t Z be an i n t e g r a l manifold of type n in jk(=). Then it follows f r o m P r o p o s i t i o n 5.1 and T h e o r e m 5.7 that Z 0 = s(k)(M), w h e r e s is a p a r t i a l l y defined m u l t i v a l u e d s e c t i o n of the bundle ~. 5.8. We p r o c e e d to the c o n s i d e r a t i o n of a u t o m o r p h i s m s of the C a f t a n d i s t r i b u t i o n . Definition. L e t N and N' be (n + m ) - d i m e n s i o n a l m a n i f o l d s , U~N~,~, U ' ~ N ~ be open s u b m a n i f o l d s . We call a d i f f e o m o r p h i s m f : U ~ U' a Lie t r a n s f o r m a t i o n if it p r e s e r v e s the C a r t a n d i s t r i b u t i o n , i.e., (dr [~) (Co)= Ci(0~, v0~U. R e m a r k . Since the C a r t a n d i s t r i b u t i o n is d e t e r m i n e d by the c o l l e c t i o n of s u b m a n i f o l d s of the f o r m L(k) [or s(k)(M)], and hence a l s o by the c o l l e c t i o n of t h e i r R - m a n i f o l d s , Lie t r a n s f o r m a t i o n s c o i n c i d e with diffeom o r p h i s m s c a r r y i n g R - m a n i f o l d s into R - m a n i f o l d s . A n y Lie N a m e l y , let 0 essential" set defined, while

t r a n s f o r m a t i o n f : U ~ U' lifts uniquely to a Lie t r a n s f o r m a t i o n f(s). ~k+s,k(U ) - t ~ ~k+s,k(U-1~). ~ ~r~s,k(U) and 0 = [L]xk+s. Then f(L(k)) is an R - m a n i f o l d and hence l o c a l l y (except f o r a n " i n of points) has the f o r m L/k) . We s e t f(s)(o) = [L1jyk+s , w h e r e y = ,~k,0(f(~k§ This is w e l l ~k+s,k+/of(S) = f(/) o '~k+s,k+l, s -> l _> O. .

T H E O R E M . Let f : U ~ U ~ be a Lie t r a n s f o r m a t i o n and ~ = 0 o r l a c c o r d i n g as m > l o r m = l o Then i f U is c o n n e c t e d and the f i b e r s of the p r o j e c t i o n s a r e c o n n e c t e d , then f = g ( k - a ) w h e r e g : ,~k,e(U) ~ ~k,a(U ~) is a Lie t r a n s f o r m a t i o n . We note that a Lie t r a n s f o r m a t i o n of d o m a i n s f r o m N ~ = N is s i m p l y a d i f f e o m o r p h i s m (the c a s e e = 0), and o f d o m a i n s f r o m N1 is a c o n t a c t t r a n s f o r m a t i o n (the c a s e ~ = 1). A Lie t r a n s f o r m a t i o n p r e s e r v e s the f i b e r s of the p r o j e c t i o n ~k,k-1 in the n o n e x c e p t i o n a l e a s e s i n c e they a r e i n t e g r a l manifolds of the C a f t a n d i s t r i b u t i o n of m a x i m a l d i m e n s i o n ( C o r o l l a r y 5.6), and h e n c e g e n e r a t e s T~ a Lie t r a n s f o r m a t i o n lrk,k_l(U) ~ 7rk,k_l(U'). R e p e a t i n g this a r r a n g e m e n t , one c a n " d e s c e n d " to N m. This i s , r o u g h l y speakir~g, the r e a s o n f o r the validity of the t h e o r e m . The e a s e n = m = 1 r e q u i r e s d i f f e r e n t a r g u m e n t s . 5.9. A n i n f i n i t e s i m a l v a r i a n t of P a r a g r a p h 5.8 c o n s i s t s of the following. Definition. We call a v e c t o r field XoD(U), UcN~ ~ a Lie field if the (local) t r a n s l a t i o n o p e r a t o r s along t r a j e c t o r i e s of this field a r e Lie t r a n s f o r m a t i o n s . If A t a r e the t r a n s l a t i o n o p e r a t o r s m e n t i o n e d , then one c a n c o n s i d e r the Lie t r a n s f o r m a t i o n A~s) and s e t X (~)= d (A ~) )* It=0. Then X (s) is a Lie field on '~:~+s,k (u), c o v e r i n g the Lie field X. THEOREM.. Let X be a Lie field on UcN,~ h and let the h y p o t h e s e s of T h e o r e m 5.8 be s a t i s f i e d . X = y ( k - a ) , w h e r e Y is a Lie field on ~k,~(U).

Then

As in P a r a g r a p h 5.8, it is useful to keep in mind that an a r b i t r a r y field on N ~ = N is a Lie field, and c o n t a c t fields on N~ and Lie fields a r e the s a m e . In p a r t i c u l a r , the natural, lifts of H a m i l t o n i a n fields on T*(M) to Ji(l M) are Lie fields. The commutator of two Lie fields is again a Lie field, so that the Lie fields on 5/~N,,k form a Lie algebra, isomorphic under the conditions of Theorem 5.9 to the Lie algebra of all vector (contact) fields on ,~k,0(U) 0rk,i(U)). 5.10. In the case when U~J~(n) and T is linear, it is convenient to characterize Lie fields by their "generating functions." The generating function for a Lie field X is the section h=X~UI (n)~F(~I* (,~)). The field X is uniquely determined by this section h. If m = I, then any section from F(~*(~)) ~C~(]:(~) =:Y-~(n) can figure as a generating function. If m > i, this is not so. Proposition_:. A section h ~ F(~(,~)) is a "generating function" for some Lie field if and only if for any 01 and 02 ~ ji(~) such that ,xl,0(8i) = ,~i,0(02) = 0, one can find a vector ~ e Tx(M) , x = n(0), depending only on 0, such that h,(O1)--h(O2) = ~ J ( 0 1 - - 0 2 } , w h e r e 01 - 02 is u n d e r s t o o d as a n e l e m e n t f r o m kerr1, 0[~=Al(M)|

On the c o l l e c t i o n G ( n ) ~ r (.~ (n)) of all g e n e r a t i n g functions, t h e r e is a Lie a l g e b r a s t r u c t u r e (th, h 2) ~-{hi, h 2 }. H e r e {h~, h 2 } d e n o t e s the g e n e r a t i n g function of the c o m m u t a t o r [Xt, X2], w h e r e hi is the g e n e r a t i n g function of X i. 5.11. Any Lie X on U~Y~(rO d e t e r m i n e s a in time along t r a j e c t o r i e s of the field X, then f o r and h e n c e has the f o r m (locally) slk)(M) f o r s o m e m a k e s s e n s e . The following p r o p o s i t i o n indicates

" o n e - p a r a m e t e r g r o u p ~ in gloc(Tr). If A t : U ~ U ~s t r a n s l a t i o n any s e Floe (=), the manifold At(s (k)(M)) is an R - m a n i f o l d s t e Floc0r). If 7r is l i n e a r , then the d e r i v a t i v e ~ = d s t / d t l t - 0 the m e a n i n g of the g e n e r a t i n g function.

1635

Proposition. If the bundle ~ is l i n e a r , then s ~ j~ (s)* ( X ~ U ~ (~)). More g e n e r a l l y , Jk-~ (s)

=

7~ (s)* (X_~U~ (n)).

COROLLARY. The Cauchy p r o b l e m for the evolution equation st = A(s), w h e r e s ~ F(v), A E dif(~, ,~), has a unique solution for any initial data if and only if q~A is a g e n e r a t i n g function. F o r any g e n e r a t i n g function h t F(~(~)) the c o r r e s p o n d i n g Lie field X, c o n s i d e r e d on jl(~), is tangent to the equation {h=O}~]~(~). H e r e the t r a j e c t o r i e s of the field X a r e the c h a r a c t e r i s t i c s of this equation. Syst e m s of f i r s t o r d e r equations of the f o r m {h = 0}, w h e r e h is a generating function, f o r m p r e c i s e l y the c l a s s of equations d i r e c t l y i n t e g r a b l e by "the method of c h a r a c t e r i s t i c s . " The s o - c a l l e d method of R i e m a n n i n v a r i ants in extended i n v a r i a n t f o r m r e c e n t l y s e t f o r t h by Lychagin [12] allows one to extend this c l a s s considerably. The theory of generating functions for Lie fields X on N k is c o n s t r u c t e d analogously: a generating function for the field X is a s e c t i o n U~(X) E F(/t). In this c a s e the Lie field X on U ~ N m k in a s i m i l a r way d e t e r mines a " o n e - p a r a m e t e r group" on the s p a c e of all n - d i m e n s i o n a l submanifolds in N and the e l e m e n t jk(L)* (U~(X)) (cf. 5.4) should be i n t e r p r e t e d as the speed of change of the ( k - 1)-jet of the submanifold L along the flow c o r r e s p o n d i n g to this o n e - p a r a m e t e r group. 5.12. It follows f r o m what was said above that U - t r a n s f o r m a t i o n s (U-flows) a r e Lie t r a n s f o r m a t i o n s (Lie fields). In p a r t i c u l a r , the r e s u l t s of P a r a g r a p h s 5.10 and 5.11 a r e also valid for U-fields. The generating functions of all possible U-fields f o r m a s u b a l g e b r a G U (,~) in the a l g e b r a G (~). These generating functions can be d e s c r i b e d c o m p l e t e l y analogously to P r o p o s i t i o n 5.10, in which the words "depending only on 0" m u s t be r e p l a c e d by "depending only on x." 5.13. C o m m e n t a r y . The f o r m s dp~ - Zp~+ldXi, oz and e s p e c i a l l y d u - pidxi, defining the C a r t a n d i s t r i b u tion, still figure in v a r i o u s s p e c i a l situations as useful working tools in the c l a s s i c a l w o r k s on differential g e o m e t r y . E. C a r t a n used t h e m s y s t e m a t i c a l l y in his p r o c e d u r e of reducing s y s t e m s of differential equations to Pfaffian s y s t e m s . The C a f t a n point of view, which was e x t r e m e l y i m p o r t a n t and fruitful in his t i m e , is now, however, psychologically awkward, in view of the fact that the functorial a s p e c t s of the theory, c l e a r l y viewed in the language of jet s p a c e s , a r e lost in the throng of equivalent Pfaffian equations. The t e r m i n o l o g y and g e n e r a l a p p r o a c h adopted in this section a r e due to the author (cf. [5, 6, 11, 12]). Operations of the type U~ in v a r i o u s s p e c i a l c a s e s o c c u r r e d e a r l i e r in p a p e r s on the theory of connections and G - s t r u c t u r e s (cf. also [43]). T h e i r g e n e r a l definitions and i n t e r p r e t a t i o n s as "nonlinear Uk(,~)" a r e due to K u p e r s h m i d t [21]. V. V. Lychagin found the r o l e of the bundles lk. To him, a p p a r e n t l y , is also due the d e s c r i p tion of the m a x i m a l involutive s u b s p a c e s in C 0 (cf. [11, 12]). F o r m o r e complete i n f o r m a t i o n in connection with P a r a g r a p h 5.4, cf. [11, Chap. 3], and in connection with P a r a g r a p h s 5.5 and 5.6, Chap. 4 there. T h e o r e m s on the s t r u c t u r e of Lie fields and t r a n s f o r m a t i o n s in a local v e r s i o n w e r e known a p p a r e n t l y to Beckiund a l r e a d y (this is t r i v i a l l y so for the c a s e k = 2, m = 1). B. A. K u p e r s h m i d t , not knowing this, proved them by d i r e c t calculations in 1972 for k = 2 and m a r b i t r a r y (unpublished). I m m e d i a t e l y a f t e r this the author found a s i m p l e g e n e r a l proof for a r b i t r a r y manifolds m, n, and k, whose idea is indicated in P a r a g r a p h 5.8 (cf. [5, 6, 11, 21]). T h r e e y e a r s a f t e r this the local v a r i a n t of these t h e o r e m s was again given in I b r a g i m o v and A n d e r s o n [17]. The p r o p o s i t i o n and c o r o l l a r y of 5.11 a r e due to the author [6, 11]. We s t r e s s , finally, that Lie fields and t r a n s f o r mations w e r e called c l a s s i f y i n g in [5, 6, 11, 12, 21]. 6.

Characteristics,

Deviations,

Singularities

6.1, In the fibers of the projection ~k,k-I one can define in an invariant way with respect to Lie transformations certain geometric structures. In this section we describe some of them. We consider, firstly, a group G of Lie transformations of the manifold N~ I, having 0 E N~ I as a fixed point and_preserving the fiber ~r , 0 = 7rk_i,k_2(0). Let G -- {g(01g ~ G} be the lift of G to N k (cf. 5.8) andG O=GI

~!k_1(~),

Proposition. In ~ik_ I(0)(~1~l) one can introduce in a unique w a y an affine structure such that G 0 becomes a subgroup of the full affine group (with respect to this structure) containing all translations. COROLLARY. The fibers of the projection ~k,k-1 : N k - Nk~ I have a natural affine structure if a) k > I, m > I or ~ k > 2 , m = i. The fibers of the projection ~k,k-1 :jk(~) _ jk-1(~) have an affine structure invariant with respect to U-transformations if k m ~ i. 6.2. With any subspace P~ T~(N~ ~-~ ) one can associate submanifolds S~ (P) ~ {@~N~ I.~k,~-~ (O)~ 8, dim P N L0 i}, i = 0, i, .... n, forming a stratification of the fiber ~l,k_1(~). In particular, the submanifolds Si(0) = Si(L0),

1636

0 ~ N k called characteristic cones play an important role. Analogously, if V C N,n is some subrnanis set S z (V)= {0EN~+~]nk+~.~ (0)GV, dim Lo ~ T-~(V) ~ i, -0= =k+~,k (O)} . Let further OGS~(V), O~nk+~. k (O) and L~=

(dnk+~, k I o)-:(LonT~(V)) 9 We

set S~j(V) ~ (O'ENk, +2 IO ~ nk+2, k+~ (O')CS~(V), dim L01NL~ = Jl. Analogously

we

one can

define "manifolds" Si,..z,c=~, (V). If on N k there is given some foliation ~', then if the corresponding conditions on .• k+s are satisfied, there arises a stratification consisting of strata S~ ......~(S)-- U S~ ......is (V), where V is a leaf of the foliation ~.

Here any submanifold

L~N

decomposes

into pieces j~+~ (L) -~ (L( ~+~I (] S~ ......~ (f)),

which can be called Thom-Boardman singularities relative to ~'. In fact, the ordinary Thom-Boardman singularities are the special case of the construction described when N~n = N = Nt x N 2 and f consists of the fibers of the projection N~ • N 2 ~ N 2. We note in conclusion that if E~N~ is some equation, then Sn,n," . .,n(E) (s times) is its s-th extension. 6.3. Now we consider the singular points sing ~ of the R-manifold .~N~ or jk(,~) for mk ~ i, i.e., the points 0@,R, where the rank of the mapping ~n~.~_~ i~ is less than n, which in the ease when 5~Y ~ (~n) is equivalent with the fact that the rank of the mapping

~]~

is less than n, or that no neighborhood

of the point

0 in ~ can be represented in the form s(k)(M), s ~ Floc(,n) (cf. 5.1, 5.7). The case m = k = 1 in view of Theorem 5.8 is exceptional in this respect and was considered in [i, 16]. We denote by sing, ~ the collection of those 0@~ at which the rank of the map .~,k-t L~. drops by I. Then if O~sing~ , then in view of 5.6, T~(~)~V , where V is a maximal involutive subspace in C 0 of type n- I. Here d~,~_~ (To (.~))~ ~n~.~_~ (V). Hence, we call an n-dimensional subspace P~V satisfying the latter condition an /-deviation. Proposition. I) Any/-deviation P is realizable, i.e., we can represent it in the form T~(~) for some Rmanifold ~. 2) The space of orbits of l-deviations with respect to the action of the group of Lie transformations preserving the point 0 coincides with the space of orbits of the group GL (l, R) | GL (n~, R), acting naturally on S ~ (l~)|

~

6.4. One can pose the question of the structure of the germ of an R-manifold close to a singular point 0. A. P. Krishchenko described germs ~ such that 0~sing~, and indicated a certain procedure for studying the general case. It follows in particular from his results that the germ of any closed set without interior points in R can be realized as the germ of a set sing~. 6.5. Commentary. The subjects of this section, it is clear, represent only the initial fragment of a theory which could be developed to a very high degree. In particular, it would be quite useful to reconsider the theory of singularities of smooth mappings, placing in it the foundations of the theory of the Caftan distribution. The treatment given in 6.2 of the Thorn-Boardman singularities and their generalizations illustrates the simplifications which can be achieved along this path. The problem of realization and classification of l-deviations is an example of the new interesting problems. The property of affineness of the leaves ~l,k_ 1 (0) was noted long ago (e.g., [38]). In 6.1 a more precise formulation of it is given, cf. [Ii] for details. The construction of "cones ~' given in 6.2 is due to Krasil'shehik (cf. [ii]). The results of Paragraphs 6.3, 6.4 are dueto Krishchenko; el. [19, 20], where one can find further details. 7. Elementary Intrinsic

and

Geometry Extrinsic

of

Nonlinear

Equations.

Geometry

7.1. In this section there are first tion E~Nm h [or jk(~)] from the extrinsic question of which of them are "intrinsic" we mean the geometry of the distribution emphasize that this point of view, if one equivalent with the representation of the

considered the simplest geometric characteristics of a nonlinear equapoint of view, i.e., E is considered as a submanifold of Nkl. Then the invariants is discussed. By the intrinsic geometry of the equation E CE on E, which is the restriction of the Cartan distribution to E. We does not consider the psychological preferences mentioned in 5.3, is equation in the form of a system of Pfaffian equations.

7.2. We recall that L~N (s~F1oc(n)) is called a solution (in the usual sense) of the equation E if L(k) (s(k)(M)) lies on E. It is useful, however, to extend the concept of solution, just as in the theory of linear equations. A geometrically obvious method for doing this consists of the following. E

De____finit__ ion__z~ We call a map c~: L ~ N [or J~ if for any x~L one can find a neighborhood ~x,

where dimL = n, a (generalized) solution of the equation a number s -> 0, and an imbedding ~U: U ~ Nkm+S(jk+s(~)),

1637

such that ira/3 U is an R - m a n i f o l d lying on E s. R i e m a n n s u r f a c e s , which a r e muitivalued solutions of the C a u c h y - R i e m a n n s y s t e m , can s e r v e as illustrations of this definition. R e m a r k 1. If E ~ ] k ( ~ ) , then s i m i l a r l y one can understand as a g e n e r a l i z e d solution a partially defined multivalued section of the bundle ~. Hence, in the case of a linear equation E with such a solution one can a s sociate an o r d i n a r y generalized solution by combining (if possible) its s e p a r a t e branches. This constitutes a naive connection with the linear theory. Here to a singular c a r r i e r in the linear theory there c o r r e s p o n d singular points of the R - m a n i f o l d i m ~ U. We note that the number s, figuring in the definition, shows that in a neighborhood U ~ x the derivatives of order k + s + 1 are discontinuous if singim~ U ~ (7). W e recall that the submanifold IE'cNlm, l
if

7.3. Let E (0)= ~,~_~ (0)N E, 0 - ~ , ~ _ ~ (0). In those c a s e s when it makes sense to speak of an affine s t r u c ture of the fiber ~lk_i(0) [the bundle ~ is linear or the hypotheses of C o r o l l a r y (6.1) are satisfied], we call E 9q u a s i l i n e a r if E (0) is an affine subspace of ~1,k_l(0-) for all 0. By the symbol of the equation E at the point 0 6 E is meant the subspace g(0) = T0(E (0)), which in the case of a quasilinear E can be identified with E(0), and in general, with an affine subspace of the fiber ~i,k_i(0) (if this makes sense). Proposition. The equation E i (and hence also E s , s -> 1) is quasilinear. It is a p p r o p r i a t e to call the orbit of the subspace g(0) with r e s p e c t to the natural action of the group of Lie t r a n s f o r m a t i o n s in the fiber 7~,k_l -~ ( ~ ) ( ~ S k (R~),| the type (typ0E) of the equation E at the point 0. This kind of space of orbits is, as a rule, multidimensional, although for sufficiently small k there occur situations with a finite number of types, e.g., second order equations in one independent variable. 7.4. The way in which g(0) intersects with the cones Si(0) (cf. 6.2) is an invariant of the type in its own right. A n y point 0'Cg (0)~ Si (0) determines an i-dimensional subspaee L0, n L0 , which means also an (n - i)dimensional subspace Ann (L0, (]L0) of L$. The collection of all such subspaces forms a suhmanifold charn_i(E , 0) of the G r a s s m a n manifold Gn,n_i(L~). If E<J~(=), then L0* can be identified naturally with Tx(M) , x = 7rk(0). The homology class of the submanifold chariE = U chah (E, 0)c [J On,z (Lo) is a topological invariant of the equation E. ~ ~ The direction vectors of the lines ~ ~ char t (E, 0) are the characteristic eoveetors (characteristics) of the equation E at the point 0. Proposition:charl(E~, 01)=(d=k,k_~ [0)* chah(E,0)

if ,Tk+l,k(0') = O.

7.5. We illustrate the connection between the manifold ehari E and the c h a r a c t e r of the solution of the equation E. We call the equation E elliptic if char 1E = 0. Proposition. If an R - m a n i f o l d is a g e n e r a l i z e d solution of an elliptic equation, then points of 1-deviations a r e m i s s i n g f r o m it. An elliptic equation can have as intermediate integrals only elliptic equations. These a s s e r t i o n s follow d i r e c t l y f r o m Propositions 5.6, 7.4 and the definitions. It is useful to c o m p a r e the f i r s t of them with the c l a s s i c a l r e s u l t a s s e r t i n g that a g e n e r a l i z e d solution of a linear elliptic equation is actually o r d i n a r y , in connection with R e m a r k 1 of P a r a g r a p h 7.2. The example of Riemann s u r f a c e s shows that there exist g e n e r a l i z e d solutions of elliptic equations, singular points of which r e a l i z e /-deviations, l > 1. 7.6. We t u r n now to the intrinsic g e o m e t r y of the equation E. Let O~.Co(E)=C~(~ F~(E), O~E, be the r e s t r i c t i o n of the C a f t a n distribution to E. The question d i s c u s s e d below consists of whether, knowing only the manifold E and the distribution C (E) : 0 ~-- C0(E), one can r e c o n s t r u c t the inclusion E c N ~ (jk (~)). In other w o r d s , when does the intrinsic g e o m e t r y of the equation E uniquely determine the extrinsic ? Equations for which the answer to this question is positive we call rigid. F i r s t we give the definitions needed. F i r s t l y , we call E C - g e n e r a l if ~k,k-ll E is s u r j e c t i v e and the fibers of the projections ~k,k-ll E a r e connected and only they, as before, a r e integral manifolds of maximal dimension in C(E). F u r t h e r , we say that E is C - c o m p l e t e , if for a l m o s t all 0 E N ~ t ( J k - t ( ; ) ) the linear span of the subspaces d~,~_, (Co (E)), 0 ~ , ~ - , (0) ~ E, g e n e r a t e s C ~. Finally, we call the equation E 1-solvable, if Et -- E is sur]ective. It is easy to see that the collection of these three conditions, called n o r m a l i t y , can be f o r m u lated in purely intrinsic t e r m s .

1638

THEOREM. A normal equation is rigid. The r01e of the conditions constituting the normality consists in the proof of this theorem, of the fact that C-generality allows one to reconstruct N~ I (jk-i (,~)), and C-completeness allows one to reconstruct the Cartan distribution on N~ 1(Jk-l(;)), while the 1-solvability guarantees the compatibility of C (E) and Ck_ 1 (N) (Ck_ I (~)). 7.7. We discuss the normality conditions so as to convince ourselves of their harmlessness. First of all we note that C-generality essentially means that the equation E is not too strongly overdetermined. In view of -< mCk_~l_ 2~.~` under the condition of the connectedness of the 5.6, for it to be satisfied it suffices that eodimE fibers of the projections ~k,k-ll E. For the sake of simplicity we formulate the condition guaranteeing C-completeness, assuming that E jk(;), where ,~ is linear. Let g0(0) denote the affine hull of =k,k-1(0)rlE -i in ,Xk,k_l(0) , understood as a subspace in S k (T*x(M))| ~ (x), x=~k_~ ~). We also set V 0 = { k e T~(M) I the map (smbl0~)(k~| (x)-~ -~ (x) is not epimorphic}, where 0 ~ E, x = ~k(E), and A e difk(~ , ,7') is such that E = {~A = 0}. Proposition. i) If for all 0e jk-l(~) and Y ~ Tx(M) , Y ~ 0, x = ,~k_l(0) one has K~(g0(0))=Sk-~(Tx(M))| 7r-l(x)~ then the equation E is C-complete. 27 If for all0~E

Vo~Y~(/d).

x==k(0),

then the equation E is 1-solvable.

We note in conclusion that among "ordinarily occurring" equations, only equations with one independent variable or first order equations with one dependent variable are rigid (cf. Theorem 5.8). 7.8. Now we consider the classification problem. We call equations E and E' equivalent if there exists a diffeomorphism f:E --E', carrying C(E) isomorphieally into C(E'). Analogously one defines local equivalence of equations near given points. Is the question of (local) classification with respect to this equivalence relation understood? If the equations E and E' are rigid, then the transformation f realizing their equivalence extends to a Lie transformation of their ambient jet spaces 9 Hence, for example, the extrinsic invariants of the equation E, constructed in Paragraphs 7.3, 7.4, are also invariants with respect to the equivalence relation considered. Even as crude an invariant as the function 0 ~ typ0 E (cf. 7.3) shows how "inconceivably" large a number of equivalence classes one gets here. Moreover, equations which have identical functions 0~-~ typ0E can be distinguished with the help of an invariant of the type of the structural functions in the theory of G-structures. Thus, the formulated classification hardly has practical value. However certain invariants arising in this connection can be useful for the qualitative characteristics of equations (cf. the curvature tensor). Thus, a reasonable classification can be expected only in classes of highly nonrigid equations. For nonrigid equations there may be many intrinsic (but not extrinsic) symmetries, guaranteeing structural simplicity (cf. end of Paragraph 7.7). 7.9. Commentary. The definition of generalized solutions in Paragraph 7.2 was given by the author Proposition 7.3 was noted by Goldschmidt [38], and the construction of the manifolds chari(E ~ 0) is due to shchik [ii]. Proposition 7.4 is a nonlinear analogue (cf. [1117 of Proposition 6.4 of [37]. The first part of sition 7.5 is taken from [20] and the second from [12]. Theorem 7.6 is due to the author, and Proposition to the author and V. V. Lychagin. We note that it would be useful to consider the problems of the theory of G-structures the equivalence problem) from the point of view of Paragraph 7.8. 8.

Infinite

Nonlinear

Extensions Differential

of

Equations.

Category

[5~ ii]. Krasil'Propo7.7

(and, in particular,

of

Equations

8.19 Later we shall turn to the consideration of spaces E~o, which are inverse limits of sequences 9 . .--E s-. . .--E l-E 0=E of extensions of an equationE~Nh,,~ [or Jk(Tr)]. The need for this is connected with the fact that the fundamental operations and constructions of the theory "jump" from jet spaces of order k to jet spaces of higher order 9 Example: Ps, Us, A. Thus, a closed calculus can be constructed only in the space of infinite jets. For any L~_N the inverse limit of the maps jk(L) [or jk(s), s e Floc(,'r)] as k ~ ~ reduces to the map j(L):L--N~n [or j(s):M--J~176 We setimj(L) = L ~~ imj(s) = s~~ It is convenient for/F~N~(Yk(rQ) to introduce the not ation : E s = E s_ k for s -> k, E s = N s (js (~r)for k > s -> 0. Let is.t = is,t (E) = (~, t Is~)* :C~ (E') -+ C~ (E ~) We denote the direct limit of the sequence of homomorphisms under the natural inclusion in S(F) by ~s(E) . Thus, ~(E)

is+l# by ~(E), and the image of the ring C~(ES) is filtered by the subrings Ss(E). N% [or J~(r0]

t639

l a t e r denotes the i n v e r s e l i m i t of the sequence of mappings 7rk+l,k, and WIn(N) [or W (~) ] denotes the d i r e c t h m l t of the sequence of h o m o m o r p h i s m s ~k+l,k. O b v l o u s l y , E ~ N m (J (7)) , so that one can c o n s i d e r the ideals 2/(E) = {es [or $(~)]lq~Jz~=0} c F , ~ (N) [or W (n)]}, 2/= (E) = 2/(E) (] ~'~n(N) [or ~= (n) 1. The defined ideals •i (E) of the " m a n i f o l d " E = ~ E s , g e n e r a l l y speaking, differ f r o m E s, but on the other hand f o r m a f o r m a l l y integrable sequence of equations, having the s a m e supply of solutions as E. If E is f o r m a l l y i n t e g r a b l e , then is,t(E) a r e m o n o m o r p h i s m s , ~= (E) = C~ (E =) , and E s = ES. 9

9

9

~

'

ao

co

co

Despite the fact that E is a manifold, ES as well as ~ s can have s i n g u l a r i t i e s . Hence in o r d e r to cons t r u c t in c o m p l e t e g e n e r a l i t y a theory of differential o p e r a t o r s o v e r a l g e b r a s of the f o r m ~ (E) it is n e c e s s a r y to use the g e n e r a l a p p r o a c h developed in Sees. i and 2. 8.2. A differential o p e r a t o r A~Diff (P, Q), w h e r e P = { P i ) , Q = t Q i } a r e filtered modules, is called filtered if there exists an s such that ,A(P~)~Q~+=, i ~ 0 . Our c o n s i d e r a t i o n s l a t e r will be developed in the domains of the theory of filtered differential o p e r a t o r s in the c a t e g o r y of g e o m e t r i c filtered modules o v e r a filtered F - a l g e b r a ~ ( E ) . The s t a n d a r d notations for functors of the differential calculus and the objects r e p r e senting t h e m (cf. Sec. 2) a r e applied l a t e r only for objects of this theory. F o r e x a m p l e , Diff(P, Q) denotes the collection of all filtered o p e r a t o r s f r o m P to Q. We note that the c a t e g o r y we c o n s i d e r of 2~-(E)-modules is differentially closed (cf. 2.4), and r e p r e senting objects exist and a r e d i r e c t limits of the c o r r e s p o n d i n g objects o v e r the a l g e b r a s 9-~(E) as s - - ~r 8.3. The bundle ~s (ef. 3.2), r e s t r i c t e d to E s , we denote by ,Ts(E) and we s e t W= (E, ~)~=r(ns(E)). The h o m o m o r p h i s m s ~s,t g e n e r a t e , as above, maps i s , t = is,t(E, ~7): Wt (E, ri)-~W= (E, ~), whose d i r e c t l i m i t we denote by Y (E, ~1). It is obvious that S~(E,~) is an ~ (E)-module and these modules f o r m a filtration in F (E, ~). In the c a s e when E~Jk(.~) and ( : E ( -~ M is s o m e bundle, we shall w r i t e N=(E, ~) instead of ~ ( E , .n* (D). In this e a s e it is convenient also to s e t ~_~ (E, t) = r (1) and W-~ ( E ) = C~ (N). Also let N (~, g) ~--lira dir F(.~; (~)). A pair U ~ N , ~:U-+R", c o n s i d e r e d in P a r a g r a p h 3.1 d e t e r m i n e s a s y s t e m of affine c h a r t s J ~ ( ~ ) ~ N ~ , k -> 0, obviously c o m p a t i b l e with the maps '~s,t- Hence, passing to the i n v e r s e limit as k - - ~, we get an affine c h a r t J~ ( D ~ N ~ , , within whose bounds a r e defined coordinates xt . . . . . Xn, p~, w h e r e c~ = 1, . . . . m and runs through all possible collections (it . . . . . i s) (cf. 3.1). By an affine c h a r t on E :r we shall m e a n E~NJ~(~), w h e r e d~ (s is an affine c h a r t on N m. ~o

8.4. To w o r k with the C a r t a n distribution on the " m a n i f o l d s " E ~ in the g e o m e t r i c a l l y d e s c r i p t i v e manner adopted in Sec. 5 would be v e r y awkward. In this connection we introduce the operation ~ in the following way. Let 9 be a functor of the differential calculus (cf. 2.1) and @ = ~(E ~) be its r e p r e s e n t i n g object in the theory c o n s i d e r e d on E ~. A s s u m i n g that E ~ N ~ [or joo(,~)], we set: ~O)--{~p6fl~ i [j (L)* (~p)]( x ) = 0

whenever,

j (L) (x)6.E~}.

In p a r t i c u l a r , if L is a solution of the equation E, then c ~ ]c~=0. The modules ~I) a r e obviously i n v a r i a n t with r e s p e c t to the natural o p e r a t o r s of the differential calculus, connecting the r e p r e s e n t i n g o b j e c t s , the s c h e m e of whose a p p e a r a n c e is given in P a r a g r a p h 2.3. Hence, on the quotient objects ~ q ~ / ~ t h e r e a r e defined c o r r e s p o n d i n g quotient o p e r a t o r s , which will be denoted by adding a line above the s y m b o l of the original o p e r a t o r . F o r e x a m p l e , d ( ~ A ~ ) ~ A ~§ and d:X~-~Sj+L We call a submanifold V ~ E ~ i n t e g r a l if ~O)lv=0 for all r e p r e s e n t i n g objects ft. F r o m T h e o r e m 5.7 follows the following proposition. Proposition. A submanifold I Z ~ E ~~ is i n t e g r a l if ~ M l v ~ O . Any n - d i m e n s i o n a l integral submanifold has the f o r m V = L "~ w h e r e L is a solution of the equation E. T h e r e do not exist i n t e g r a l manifolds of dimension g r e a t e r than n. 8.5. The p r e s e n c e of the o p e r a t i o n ~ allows us to c o n s i d e r in the differential calculus on E ~ the following " s u b t h e o r y . " If, for e x a m p l e , 9 is a o n e - p l a c e functor of the differential calculus, then we s e t % ~ A n n % q b , w h e r e ff is a r e p r e s e n t i n g object of r More p r e c i s e l y , this means that for any y ( E ) - m o d u l e P, ~ ( P ) = {/z~Hom~-(e) (~, P) ] / z ( ~ ) ~ 0 } . F o r e x a m p l e , if 9 :Q ~-~ Diffs(P, Q), w h e r e P is a fixed and Q is a " v a r i a b l e " .~(E)module, then ~ ( Q ) - ~ Dill= (P, Q) c o n s i s t s of o p e r a t o r s which we shall call ~ -differential. ~ - d i f f e r e n t i a l o p e r a t o r s , like, however, other objects of ~ - t h e o r y too, a r e c h a r a c t e r i z e d by the fact that for t h e m one can define the r e s t r i c t i o n to any submanifold of the f o r m L ~~ Namely, if we s e t (AIz~)(Plc~)~ A (p)[c~, A6~ Diff (P, Q), p ~ p , then this definition is p r o p e r .

1640

~.

Dually there is defined a quotient theory, the representing objects in which, by definition, are modules Notation: ~ (P)~ Homs-(~ ) (~q), P)(~O (P)/~(P) if 9 is projective). For example, ~ ~ Diff s (P, Q) is a co-

set mod ~ Diffs (P, Q) of differential operators if P is projective. 8.6. Now we can informally describe what, in our idea, should be called the category of nonlinear differential equations (NDE). The objects of NDE will be filtered algebras of the form g-(E) ~ the differential calculus in which is equipped with the operation ~. Ring homomorphisms ~(E~)-+Sr(E2) , preserving the operation ~ , will be considered morphisms of this category. Clarifying the nature of these morphisms, we note that intuitively they can be considered as smooth mappings of the space of solutions of the equation E 2 into the space of solutions of the equation E l. Remark i. Although finally NDE is described algebraically, we stress the role of the geometric ations motivating the present definition and also playing an indispensable role in work with NDE.

consider-

Remark 2. As a matter of fact, the definition above is only the "kernel" of the true category of nonlinear differential equations. Iris clear immediately that it is useful to add sub- and quotient-objects, which appear automatically in the course of things, for example, the ~manifold of Cauchy data," etc. It is not possible for us to discuss these aspects in more detail here. 8.7. In the case when E~Yk(~) , which means E~J~(~) also, the presence of the projection ~i~:L "~-+ M, .~limproj ~k, allows us to furnish the differential calculus over ~(E ~) with additional structure - a horizontalization operation ~I, which is invariant under morphisms manifold M. By a horizontal module

on E ~ we mean

over M, filtered by the submodules

a module

of NDE,

of the form ~ (E)|

(n~), where

,~' is a linear bundle

I~ (E)Oc~(M)F (~). With any representing object 9 of a functor of the dif-

ferential calculus 9 on E one can associate its "horizontal part" ~0c~: representing

preserving the projection onto the base

~)o~(E)|

where

~(iM) is a

object for 9 on M; we identify ~(IV[) with (~IE~)*q)(M).

Proposition.

There exists a unique operation ~I~ 2~: ~)-+ (P0, having the property that (s~) * (H~p) ~ (s~) * (~),

COROLLARY. Example

~I2~ ~i.

I. q

(dfl~)-- ~ p~+~dx~; ~I(~0~Ao2)

~ ~I (~O~)Al (0~2); "I (A~)-- 0, / > n. The role of the operation q is

i

that it, in view of the following theorem, THEOREM.

splits sequences

~q> ~ kerH~ ~ im(l--~I~).

Consequently,

of the form ~(P+~0

0-+ ~(D-+ q)-+ ~-+ 0, and[ ~ =

go.

is generated by the image of the operator Js Ps. AnalExample 2. P~--~I -o Y~, " and the ~(E) -module ~ ogously, ~:~iod and ~A ~+~ is generated by the image of the operator d--d:A~-+A~*L Moreover, (d-d)I~(z)~U~. 8.8. In the situation of the previous paragraph we describe the module ~ Diff~ (P, Q). To this end, with any A ~ Diffs(P , Q) we associate an operator ~ e Diffs(P, Q) by setting: A(p) = (A, Ps(P)), where (., .) denotes the natural pairing of ~ (P) and Diff s(P, Q). Proposition. Diff~ (P, Q)}.

The operator A is uniquely determined

by the restriction A1P-i and ~ Diff (P, Q)=~IA@

This assertion follows directly from the results of the previous paragraph. COROLLARY. /~ = A and (A- A)(P_I) = 0. The identity A = ~ + (A- ~) shows, in view of what was said above, that there is a direct decomposition Diff~ (P, Q):~ Diff~ (P, Q)eDifff (P, Q), where [~Dif~ ~p( , Q)v~E(P_~)-0. The operators A introduced earlier have the property that ~as an ~(E) -module is generated by operators of the form A.

~ and A I~_~Q_~.

Moreover,

~ Diff~ (P, Q)

8.9. We consider, finally, the operation Ui< on E ~ which is introduced locally geometrically in Paragraph 5.4. For this, we consider the ~'(E) -module D(k)(p) of all differentiations of the ring ~(E) in the ~'(E) -~(~> (P)~{X~D (~) (P)I X - ~ = O, module P, which is considered as an ~-~ (E) -module too. We set, further, ~/~ v(o@~A ~ ]~} and D(~)(P):D (~) (P)/~D (~)(p). The image of the vector field X under the composition D(P) --D(k) (p) ~ ~(k) (p) we denote by U~(X). Here D(P) ~-~ D(k) (P) is the operation of restriction

X~+X !~_ (~). 1641

In the situation of 8.7 we s e t D(vk)(P) = {X E D(k) (P) IX IC ~ (M) = 0 }. Then a r g u m e n t s analogous to those used in P a r a g r a p h 8.8 prove the following proposition. Proposition: The o p e r a t i o n U k induces an i s o m o r p h i s m of modules D(vk)(P) and T)(k)(P) and a d i r e c t dec o m p o s i t i o n D (~) (P) = ~ D (k) (p)| ~) (P). In the case when

~ is linear, D(vk) (P) can be identified naturally with 5k (E, ak_0|

8.10. To conclude this section we shall briefly discuss the question of the structure of morphisms in oO NDE. Let EF~(Ni)~p i= l, 2, dimNi=nQ-m~. We call a morphism E:EF ~ E 2 nondegenerate if the homomorphism F* :Hn(E~)~'An(EF) has no kernel. Proposition. We emphasize

A nondegenerate

that degenerate

morphism

morphisms

F is uniquely determined

exist and the nondegeneracy

by giving the restriction F* l~ro(~,).

condition here is essential.

We call isomorphisms in NDE diffeomorphisms. If there,.,is given a diffeomorphism F s :E~ _~s s -> max k i preserving the Cartan distribution, where E i c (Ni)~i , then it extends naturally to a diffeomorphism F : EF ~ E~ ~ We call diffeomorphisms of this kind Lie transformations. Algebraically Lie transformations are characterized by the fact that the homomorphism F* preserves filtration. ao ~o THEOREM. If m i i, then any diffeomorphism F : (N1)ml ~ (N 2)m2 is a Lie transformation. For ml > 1 there exist diffeomorphisms which are not Lie transformations. Let ~i :E~ i ~ M be a vector bundle, Pi = F(~i) and A ~ Diff(Pl, P2) be o p e r a t o r s such that A -I ~ Diff(P2, Pl). If dim~ 1 = dim~ 2 > 1, then t h e r e exist s i m i l a r 9 + + o p e r a t o r s of d e g r e e g r e a t e r than z e r o . F o r e x a m p l e , let P1 = DiffkQ, P2 = DfffkQ and A = i+ : DiffkQ - - DiffkQ (cf. P a r a g r a p h 1.4). We c o n s i d e r , f u r t h e r , the map FA:J~~ --J=~ , uniquely d e t e r m i n e d by the condition that F A oj = j o A. Then FA is a d i f f e o m o r p h i s m which is not a Lie t r a n s f o r m a t i o n if the o r d e r of the o p e r a t o r A is g r e a t e r than z e r o . The natural nonlinear g e n e r a l i z a t i o n of this e x a m p l e gives the d e s c r i p t i o n of all diffeom o r p h i s m s in NDE.

R e m a r k . The r e s u l t s of this p a r a g r a p h and the next s e c t i o n show that v e c t o r fields on Nm, p r e s e r v i n g the C a r t a n distribution, a s a r u l e do not have local t r a n s l a t i o n o p e r a t o r s . Hence the " o r d i n a r y " a p p r o a c h to the c o n s t r u c t i o n of the theory of these fields (cf., e.g., [171]) is i m p r o p e r . 8.11. C o m m e n t a r y . The theory of this s e c t i o n is due to the author. F o r a m o r e detailed account, cf. [11, 12]. The o p e r a t i o n ~I on J~(~) for ,~ = Ai is s y s t e m a t i c a l l y used by B. A. K u p e r s h m i d t (cf. Chap. 1 of the s u r vey [26], containing an account of his r e s u l t s ) . He also gave for J~(,v) the d i r e c t decompositions A~=~A~| D : D (~I = ~ D |

~).

The space g~(J, not speaking now of E ~, apparently was not an object of independent study but was used loosely for solving various kinds of concrete questions, sometimes under a dressing of differential algebra. As characteristic examples, we cite [3, 15, 26, 54]. 9. Infinitesimal Evolutions,

Symmetries and

Higher

of Nonlinear

Equations,

Characteristics

9.1. Geometrically speaking, by an infinitesimal symmetry of a nonlinear equation E, if one considers this from the point of view of the category NDE, one should mean a vector field on E ~ preserving the Cartan distribution on E ~, i.e., the operation ~. If what was said is translated to algebraic language, then we get, in view of Proposition 8.4, the following. Definition. By an infinitesimal (intrinsic) symmetry of the equation E or a p-field is meant a differentiation X~D(Sr(E)) such that X(~AI)cIFA I. IX(A) denotes the Lie derivative of the object A.] The collection of all algebra D (5 (E)).

~-fields on E ~ we denote by

D~(E).

Obviously

Dc~(E)

is a subalgebra of the Lie

Proposition. a) Any ~-field X is uniquely determined by the restriction X]j-o(m, b) ~D (5 (E)) is an ideal of the Lie algebra D~ (E), c) D~ (E) coincides with the normalizer of the subalgebra ~D (5 (E)) in the Lie algebra D (y (E)). Remark. Condition b) signifies that the algebraic conditions of the Frobenius theorem are satisfied for the Caftan distribution on E ~. In this case, the Frobenius theorem itself is as a rule untrue, although there are important special cases, say Cauehy-Riemann systems, when it is valid.

1642

9.2. We introduce the s u b a l g e b r a sym E ~ D~ (Y (E))/~D (S (E)). A s s e r t i o n b) of P r o p o s i t i o n 9.1 signifies that the t r a n s l a t i o n o p e r a t o r s along t r a j e c t o r i e s of the field XE~D (9" (E)), if they exist, would leave i n v a r i a n t any integral manifold of the C a r t a n d i s t r i b u t i o n on E ~~ and hence would define the z e r o v e c t o r field on the " s p a c e " of i n t e g r a l manifolds, i . e . , the " s p a c e of solutions of the equation E." Thus, s y m E can be i n t e r preted as the Lie a l g e b r a of v e c t o r fields on this " s p a c e of solutions," and the ~ -fields f r o m ~}9(F(E)) c o n ~O aO s i d e r e d as trivial. We shall w r i t e ~<(N) (z(~)) instead of s y m E if E = N m ( J (~)). It follows f r o m P r o p o s i t i o n 9.1 and P a r a g r a p h 8.9 that s y m (E) is naturally imbedded in •176 ( y ( E ) ) . If E ~ c Y ~ (~), then s y m E can be identified with s o m e s u b a l g e b r a of the Lie a l g e b r a D~~ (E)), and the d i r e c t d e c o m p o s i t i o n d e s c r i b e d in P a r a g r a p h 8.8 r e d u c e s to the d e c o m p o s i t i o n D ~ (E) ~ ~D (y (E))| E. gO

THEOREM. K E ~ = N m or J~(~), then s y m E = z{E). In the g e n e r a l c a s e to find the s u b a l g e b r a s y m E in

the submodule z(E) it is n e c e s s a r y to solve a c e r t a i n differential equation of the s a m e o r d e r as E, which will be d e s c r i b e d below. 9.3. The d e s c r i p t i o n of the a l g e b r a D ~ (E) given in a s s e r t i o n e) of P r o p o s i t i o n 9,1 s t i m u l a t e s the f o r mulation of the following question. We c o n s i d e r D i f f y ( E ) as a Lie a l g e b r a with r e s p e c t to the o p e r a t i o n of c o m m u t a t i o n . Then ~ D i f f y (E) is a s u b a l g e b r a of it whose n o r m a l i z e r we denote by n(E). The following Lheor e i n shows that with s u c h a g e n e r a l i z a t i o n one gets nothing new. THE ORE1VL The natural inclusion sym E ~ n (E)/~ Dill y ( E ) is an i s o m o r p h i s m . 9.4. If E ~ N ~ (Y~ (n)), then the e x t r i n s i c infinitesimal s y m m e t r i e s of the equation E can be defined as - f i e l d s on NFn(J~~ tangent to E ~. Speaking m o r e p r e c i s e l y , XED~ (N~) is an e x t r i n s i c s y m m e t r y of E

if x ( j (E))~J (~). THEOREM. F o r any i n t r i n s i c s y m m e t r y Y of the equation E, one can find an e x t r i n s i c s y m m e t r y X such that X I ~ = F. T h u s , the " s p a c e of solutions of the equation E " l i e s , f r o m this point of view, as a s m o o t h submanifold in the " s p a c e of all n - d i m e n s i o n a l submanifolds of the manifold N" (or sections of the bundle ~). 9.5. We shall call the field X E D(E) a c l a s s i c a l s y m m e t r y , or a Lie field, of the equation E if it p r e s e r v e s the d i s t r i b u t i o n Re (cf. 7.1). With the help of the s a m e c o n s t r u c t i o n as in P a r a g r a p h 5.9, the field X can be lifted to a field XgO on F~~, X ~ D ~ (E), so that the theory of c l a s s i c a l s y m m e t r i e s [we denote the c o l l e c tion of t h e m by Li(E)] is included in the theory developed above. Its position in it is d e s c r i b e d by the following. THE ORE M. A h o m o m o r p h i s m of Lie a l g e b r a s Li (E) ~ s y m E , under which X,~-X ~ rood ~ D (y (E)), is a m o n o m o r p h i s m if E ~ ' ~ E is s u r j e c t i v e . A ~ - f i e l d Y on E ~ in this c a s e has the f o r m X ~ if and only if it p r e s e r v e s f i l t r a t i o n [i.e., Y (y~ (E))~y~ (E) ]. A m o r e d e s c r i p t i v e c h a r a c t e r i z a t i o n of Lie fields on E inside s y m E will be given below in t e r m s of g e n erating functions. 9.6. We call a Lie field X e D(N k ) [or D(jk(~)] an e x t r i n s i c c l a s s i c a l infinitesimal s y m m e t r y of the equation E~N,~ k [or jkUr)], if it is tangent to E. As follows d i r e c t l y f r o m the definitions, for rigid equations E the concepts of i n t r i n s i c and e x t r i n s i c s y m m e t r i e s coincide. Hence, f r o m T h e o r e m 7.6 follows the following. P r o p o s i t i o n . F o r a n o r m a l equation any intrinsic c l a s s i c a l infinitesimal s y m m e t r y is the r e s t r i c t i o n of s o m e uniquely d e t e r m i n e d e x t r i n s i c c l a s s i c a l s y m m e t r y on E. 9.7. In the r e m a i n d e r of this s e c t i o n the theory d e s c r i b e d above will be c o n s t r u c t e d f r o m other c o n s i d e r ations on E ~ ] h ( ~ ) , w h e r e ~ is linear. This a p p r o a c h is m o r e intuitive and, on the other hand, allows one to develop useful analytic a p p a r a t u s for finding and studying s y m m e t r i e s . L e t A E d i f ( r r , 7r'), V~dif(Tr, ~), V t = Ao(1 + tV) andq~=q~A, r

(cf. 3.2).

Definition. By the u n i v e r s a l l i n e a r i z a t i o n o p e r a t o r for ~EY (n, a') we m e a n the o p e r a t o r l~ :~(n, ~)-+ Y(a, n'), acting a c c o r d i n g to the f o r m u l a l ~ ( ~ ) = ~ (~v~)l,=0. If ~p is such that A = ~ is a l i n e a r o p e r a t o r , then l(~ &, which partly explains the t e r m linearizationo F o r any s E F l o c (~), the o p e r a t o r lr = (s~)*ol,o~*:P(~)~F(n ~) is a p p r o p r i a t e l y called the l i n e a r i z a t i o n of the o p e r a t o r A = &~ along the s e c t i o n s, which also explains the use above of the t e r m " u n i v e r s a l . " P r o p o s i t i o n . a) l~6~ Diff (y (=, ~), y(=, a')), b)

l~(~)=~ol~

if A is l i n e a r , in p a r t i c u l a r , l~ = 0 if ~6,~

(F (n')), c) the o p e r a t i o n ~ ~-~ l~ is a differentiation: l ~ f l , ~ + ( p l ~ , fEY(a), ~pEF(~, a')

[it is n e c e s s a r y to 1643

u n d e r s t a n d the o p e r a t o r ~ I f as follows: (r

($) = lf(~)cp].

E x a m p l e . In c o o r d i n a t e s (for s i m p l i c i t y we have taken dim ~ = ~ = dim ~' = l ) we have: l~ = . ~ D~, w h e r e oP a D i = ~ / a x i , and D~ = Dil . . . . ~ ff = (il, . . . . i s) (cf. 3.1). 9.8. Definition. The o p e r a t o r 3~:~(~, n')+~'(zc, n'), ~E~(~, n) acting according to the f o r m u l a 3 ~ ( $ ) = l, ((p) we call the evolutional differentiation. It follows f r o m P r o p o s i t i o n 9.7 that 3~ is actually a differentiation, which is v e r t i c a l , i.e., 3 ~ o ~ = 0 . We s u m up c e r t a i n p r o p e r t i e s of the o p e r a t o r 3~. P r o p o s i t i o n . a) [3~, E [ ~ 0 if A is l i n e a r , in p a r t i c u l a r , [3~, pk]=0, which means [3~, U k l = 0 , b) 3~__JU,(~)= Pk-1 (3~ (q))), in p a r t i c u l a r , 3~_~U1 (tp)= 3~ t~) and 3~ (P0 (~)) = ~ = 3 ~ U 1 (~). R e m a r k . The equation 3~_3U~ (,) = 3~ (~b)= l , (~p) suggests defining the u n i v e r s a l l i n e a r i z a t i o n o p e r a t o r on J~(~) in the c a s e of nonlinear ~r as the o p e r a t o r / , : • ( ~ ) ~ ( ~ , ~'), i , ( ~ ) = 7~-~U~(,). H e r e Z_3U~ (,)=X_~U~ (~), w h e r e X is the c o s e t of the ~ - f i e l d X m o d ~ D ( 5 ( ~ ) ) . To e s t a b l i s h a connection with the previous t h e o r y , let us a s s u m e that the equation E has the f o r m r = 0, w h e r e , ~ ( ~ , ~') is a section t r a n s v e r s e l y i n t e r s e c t i n g the base. THEOREM. a) 3~ [as o p e r a t o r on ~(~, 1~) ] for any ~ ( . ~ , e s t a b l i s h e s an i s o m o r p h i s m of modules ~ ( ~ , ~) and x(~); b) s y m E = { ~ •

~) is a ~ - f i e l d and the o p e r a t i o n q ~ 3 ~

w h e r e 1 , ~ l , le~-

A s s e r t i o n b) of this t h e o r e m r e d u c e s finding s y m m e t r i e s to solving the differential equation l~(~0) = 0. One can make s e n s e of the concept of t r a j e c t o r y of the vector field S~ (el. [11]). Then to find these t r a j e c t o r i e s it is n e c e s s a r y to solve the evolution equation 0 u / 3 t = A~o(u). This c i r c u m s t a n c e justifies the t e r m i n o l o g y introduced. C o m p a r i n g the definition of g e n e r a t i n g functions of Lie fields given in 5.10 with a s s e r t i o n a) of the theor e i n given above, the r e a d e r can u n d e r s t a n d the place of the c l a s s i c a l theory in the c o n s t r u c t i o n of this section. 9.9. In view of P r o p o s i t i o n g . 8 and T h e o r e m 9.8, [3~, 3,] is a v e r t i c a l ~ - f i e l d , which means it has the f o r m : [3~, 3,1-----~ . , } f o r s o m e {% ~}fiF(n, n). B e s i d e s , f r o m T h e o r e m 9.8 a) it follows that the b r a c k e t { . , .} introduces into ~-(~, ~) a Lie a l g e b r a s t r u c t u r e , i s o m o r p h i c with the Lie a l g e b r a z(g). P r o p o s i t i o n . {% ~2}= 3~ (~) -- 3 , (~p)= (3~-- l~) (,). If d i m g = 1, then ~ ' ( ~ ) ~ - ( ~ , .~). H e r e {% *,}~$~(n)=:C~(J~(n)) if % * ~ ( ~ ) . M o r e o v e r , in this c a s e the b r a c k e t s we have introduced coincide with the b r a c k e t s c o r r e s p o n d i n g to the canonical contact s t r u c t u r e one has on Jt0r) (cf. 5.10). This shows, p a r t i a l l y , why for the c o n s t r u c t i o n of an analogue of the Lie theory for equations of higher o r d e r it is n e c e s s a r y to jump f r o m Jt(~) d i r e c t l y to J~(,~). M o r e p r e c i s e l y , in the theory of f i r s t o r d e r equations, the concept of c h a r a c t e r i s t i c is key. If E = { / = 0 } ~ ] ~(n}, then the c h a r a c t e r i s t i c s a r e the t r a j e c t o r i e s of the v e c t o r field XflE, w h e r e Xf(g) = {f, g}. Thus, e x p r e s s e d i m p r e c i s e l y , the " t r a j e c t o r i e s " of the o p e r a t o r Xt=3~--l~ a r e c h a r a c t e r i s t i c s of the equation f = 0 in the g e n e r a l e a s e . This o p e r a t o r s t r i c t l y inc r e a s e s the f i l t r a t i o n if the filtration of f is g r e a t e r than 1, so that a closed theory turns out to be possible only on J~(~r). 9.10. It foliows f r o m T h e o r e m s 9.4 and 9.8 that any s y m m e t r y of the equation E in the situation c o n s i d e r e d has the f o r m 3~le~. If h e r e s ~ rloc(~) is s o m e solution of the equation E, then the solution of the evolution equation u t = A~0(u) with initial data u0 = s f o r any fixed t will again be a solution of the equation E. Thus, we get a p r o c e d u r e for propagating solutions of the equation E, if we know s o m e of its s y m m e t r i e s . If, m o r e o v e r , u t = 0, then it is a p p r o p r i a t e to eaI1 the solution s ~ - s e l f - s i m i l a r , since the c l a s s i c a l s e l f - s i m i l a r solutions have the s a m e meaning f o r a v e r y s p e c i a l choice of the function ~0. 9.11. C o m m e n t a r y . The theory and t e r m i n o l o g y of this s e c t i o n is b a s i c a l l y due to the author [6, 8, 11, 12]. An exception is the i m p o r t a n t t h e o r e m 9.2, f i r s t proved by B. A. K u p e r s h m i d t , which he f o r m u l a t e d slightiy differently (of. [21; 26, Chap. I]). F o r a m o d e r n account of the c l a s s i c a l theory on jl(~), dim ,~ = 1, ef. [23], w h e r e in addition the p r o b l e m of c l a s s i f i c a t i o n for f i r s t o r d e r equations in " g e n e r a l position" is solved (ef. 7.8), and a l s o [24]. In [25] Lyehagin indicated methods for finding s y m m e t r i e s of s p e c i a l f o r m for f i r s t o r d e r equations with the help of contact g e o m e t r y in Jt (~), d i m ~ = 1. The c l a s s i c a I theory of e x t r i n s i c s y m m e t r i e s for M = R n is given in detail in [27] with the help of d i r e c t c o n s i d e r a t i o n s in coordinates.

1644

In this book t h e r e a r e given many calculations for physically interesting equations. Works [10, 25, Supplement 2] can s e r v e as examples of calculations and the use of s y m m e t r i e s with the help of generating functions. The s c h e m e of these calculations together with the c o r r e s p o n d i n g theory is given in [6]. Now after the complete d e s c r i p t i o n of $ -fields on J~(~) by B. A. Kupershmidt, N. Kh. I b r a g i m o v and A n d e r s o n w r o t e out an infinite s y s t e m of equations for finding ~ -fields on J~(n), ~r:R n • R m - - R m, and found some nonclassical solutions of it [17]. The brackets { . , 9} for n = m = 1 in coordinate form were cons i d e r e d by Gel'fand and Dlkii [15]. i0. in

Conservation Field

Laws

and

the

Lagrangian

Formalism

Theory

i0.I. In this section the theory of conservation laws and the invariant mathematical structure of the Lagrangian field theory are described. According to E. Cartan, by a conservation law for the equation EcY I~(~) one should mean a differential form p=p(s)~M (/14) depending on a section s ~ Floe(q) and such that dp(s) = 0 if s is a solution of E. One can try to realize this conception somewhat differently. If the dependence of p(s) on s is local, i.e., s~--p(s) is a differential operator, say A, then the closedness condition means that dgA = 0 on E. In fact, (s~) * (d~a) = d (s~r * (~) = d p (s), a c c o r d i n g to the definitions of ~ and ~A. What was said, taking into account the connection between ~0 and ~ (cf. 8.7) and along with the principle of ignoring trivial c o n s e r v a t i o n laws [i.e., those such as p(s) = dp' (s)], motivates the following. Definition. By a c o n s e r v a t i o n law for the equation E c N ~ d - c o m p l e x on E or (cf. 8.4).

is meant a cohomology class of the de R h a m

10.2. We shall denote the cohomology of the d - c o m p l e x on E ~ by TIi(E). In the absolute c a s e , i.e., E ~176 = N ~176 o r J~(Tr), we shall w r i t e , c o r r e s p o n d i n g l y , TIi(N) or ~Ii(~). Since ~ i = 0, i > n, one has TIi(E) = 0 for i > n. C o n s e r v a t i o n laws which usually appear in physics and mechanics c o r r e s p o n d to the group TIn-I(E). The groups TIi(E), as will be shown below, for "good" equations for i < n - 1 coincide with Hi(E) and hence have a purely topological c h a r a c t e r . Finally, the group TIn(E) should be i n t e r p r e t e d (el. below) as the collection of all L a g r a n g i a n s inthe Lagrangian f o r m a l i s m with c o n s t r a i n t s , e x p r e s s e d by" the equation E. Hence l a t e r by c o n s e r v a tion laws one understands elements of the group TIn-I(E). If X ~ D ~ (E), pE~A ~, then by definition X (p)~A ~, and if d9 = 0 mod~A* and X ~ D (Y (s then X (,o) : d(X_~p)mod~A*~ Thus, the Lie derivative is well defined: %(h)= {X (p)}G/7~(E), h~N~(E), ~CsymE, where X =

X + ~ D (~ (E)), h =~)+~h ~. Proposition. servation law.

If )/ is a symmetry

and h is a conservation

law for the equation E, then •

is again a con-

10.3. We need the concept of conjugate operator in the class of ~ -differential operators. As a preliminary, we define the action of the operators A~Dilfy(s on forms co e-~n, which is denoted by Alto] ff~n and is uniquely determined by the following properties of it: i) c Icol:cco, c'GY(E), 2) X [co]~ --X (0~), XC~D (f (E)), 3)

(a~o~) [~1 =A~ [~ (~)]. We note, f u r t h e r , that ~ n is a locally free o n e - d i m e n s i o n a l ~- (E) - m o d u l e , since in an affine c h a r t ~ n = A 0- If co is a local g e n e r a t o r in ~ n , we define the o p e r a t o r 5~E~ Diif ~ (E) (in the domain of definition of ~o) f r o m the condition 5(T)=5~(~).~o and we set A* (f)-~5o[fm]. The right side of the last equation is independent of the choice of ~z and we call the o p e r a t o r 5 " ~ Diff A~ so defined the conjugate of A. Let Q ==Hem~- (~) (Q, A~). With any AE~ Diff (P, (~) we can a s s o c i a t e a family of o p e r a t o r s 5 (p, q)~Diff A~, w h e r e A(p, q)(f) = A(fp)(q), p ~ P, q ~Q. It is c l e a r that the family {~(p, q)} d e t e r m i n e s A uniquely. As the conjugate o p e r a t o r A* :Q ~ P in this case we define the family A*(q, p) = ~(p, q)*. It is obvious that (zx*)* = A and that ~ Diff A" ~ ~ Diff+A~:> ~ Diff A'~ a r e i s o m o r p h i s m s of ~ ( E ) - m o d u l e s . Thanks to the latter, there a r i s e is omorphis ms -- ~Di&) ~D~ (g Di*{~A") , "A gD~ (g Diff K~)-+ ~, Di~i gD,A'~-+~g DifI X=-~,

w h e r e the last a r r o w is a consequence of P o i n c a r e duality Di~ n = 7~n-i (substitutionof an i - v e c t o r in an n - f o r m ) , the composition with which we denote by ~. The o p e r a t o r s r

Di[f X*-+g Dif* A~+*, r

(a)=//oh, turn the collection {g DiffT~*} into a complex.

THEOREM. a) voS~q-g~ov=O, w h e r e Si a r e the Spencer o p e r a t o r s for P = A n in g - t h e o r y on E ~ (el. 1.7, 8.5). 1645

b) The Spencer sequence in

~-theory on E ~~ is exact. L------a

~D

Since im S~:~ Dif.fA~, and the latter module is projective, there exists a homomorphism ~:~ Difi An-+ (~ Diif ~n) such that S I o ~ = i. From a) of the theorem cited and the fact that ~~ it follows that

(A (p), q)+(p, A* (q))~d)Kz(A (p, q)), Afi~Dlfi(P, Q), w h e r e )K~(A)=(~ovok)(A--~(1)) , and we w r i t e (a, a) instead of ~(a) for a e ~, a ~A. The equation cited is G r e e n ' s f o r m u l a in ~ - t h e o r y on E ~. 10.4. We shall show now that the basic facts of the v a r i a t i o n a l calculus a r e consequences of G r e e n ' s f o r mula. We note, f i r s t l y , that the density of the L a g r a n g i a n , defined on sections of the bundle ~ : E ~ - M, is a differential o p e r a t o r Z:F (~)-+A" (M) (the L a g r a n g i a n itself h e r e can be d e s c r i b e d as o = S ~ ) , which means /

~ o is a horizontal f o r m on s o m e jk(~) and hence on j~o(,~). In view of P a r a g r a p h 8.7, this gives the basis for c o n s i d e r i n g the density of the L a g r a n g i a n in the g e n e r a l c a s e as an e l e m e n t of A n and the L a g r a n g i a n itself S Z as the d - c o h o m o l o g y c l a s s fl = {~} of the f o r m ~0, i.e., an e l e m e n t of the group TIn(N)(TIn(~)). If one conM s i d e r s the p r o b l e m with c o n s t r a i n t s , i.e., the varying quantity is subject to s o m e equation E, the density of the L a g r a n g i a n and the L a g r a n g i a n i t s e l f by the s a m e c o n s i d e r a t i o n s should be understood as e l e m e n t s of ~ n on E ~ and Hn(E), r e s p e c t i v e l y . A v a r i a t i o n of a section s ~ Floc(~) is, e x p r e s s e d intuitively, the speed of change of s in the s p a c e of sections along the trajectories of some ~veetor field." In view of 9.2, such a field, strictly speaking, is ~( ~(TF), while the speed of change of the Lagrangian at the "point" s, denoted by ~ Is, is here equal to (s~~ Identifying X with the corresponding vertical field (cf. 9.2), it makes sense to write X (w) and then % (~q)~ Z ({0)}) (% (c0)}= {l~ (~)} (cf. 9.8). Green's formula for the operator lw shows that {l~ (%)} = {(%, l~ (1))}. Thus, ~ I~:(s~) * {(%, l~ (1))}:{((s~) * ()C),(s~) * (l* (I))}. In viewofthe arbitrariness ofX anddu Bois Raymond's lemma, it follows from this that for extremals (s ~) (l~ (i))~0, so that l~ (I)I---0 ~s the Euler-Lagrange equatmn corresponding to the density of the Lagrangian co. We

introduce the Euler operator @:~/~ (~)-,~, @ ({~0})=l~ (I).

10.5. Let ~ ~ Hn(,T). We call a "field" • ~ ~(~r) a symmetry of the Lagrangian ~ if ~((~) = 0 on E ~, where E~{8(9.)~0}. Considering, as above, X as a vertical ~ -field, we have 0~((~)~{%(co)}~=~%(o~)=~p on E ~. But since %(c0)~/~(~)~(%, l~* (1)) & dkK~ ^~ (l~ 0(, 1)), we get the following a s s e r t i o n . THEOREM. If • is a s y m m e t r y of the L a g r a n g i a n fl, then the d-cohomology c l a s s {)K~(/~(~, 1))--p} is a c o n s e r v a t i o n law for the equation ~ (~) ~ 0. The c l a s s i c a l t h e o r e m of Noether gives the c o n s t r u c t i o n of a c o n s e r v a t i o n law under the condition~IX(0~)= 0, w h e r e X is a Lie f i e l d . , R e p r e s e n t i n g X in the f o r m ~( + Y, w h e r e ~ is v e r t i c a l , and Y ~ D (~ (E)), we find that %(c0)-- - - d ( F _ ~ ) ~ - - d (X_~0). Thus, N o e t h e r ' s t h e o r e m is a v e r y s p e c i a l c a s e of the t h e o r e m formulated, w h e r e it is n e c e s s a r y to s e t p ~ --X.~0~. We s t r e s s the effectiveness of the definition given of s y m m e t r i e s of the Lagrangian. It follows f r o m the r e s u l t s of P a r a g r a p h 10.6 that it is equivalent to the conditions: ~ (~((~))~0, 0 ~ * (7~(~))~ H~ (E~), w h e r e ~: E ~r ~ J~(~) is any s e c t i o n of the bundle J~(~) - - j0(~) = E n. 10.6. Withthis, in o r d e r to get a functional valued f o r m u l a t i o n of the calculus of v a r i a t i o n s in the s i t u a tion with c o n s t r a i n t s as well as on Nm,~ we c o n s i d e r the following s p e c t r a l sequence on E ~, w h e r e E ~ N ~ [or jk(~)] is the equation of the c o n s t r a i n t [E ~ = N~n or J~(~) if there is no constraint]. Let ~ A * be the k - t h power of the ideal ~A*. It is obvious that the ideal ~ A * is stable with r e s p e c t to d, so that we a r r i v e at a complex with f i l t r a t i o n A* ~ ~ 9~ A * ~ .... The s p e c t r a l sequence which a r i s e s as a r e s u l t {EP,q, dP,q} we call the ~ - s p e c t r a l sequence of the equation E. As usual, the index p denotes the filtration, and p + q the d e g r e e . L e t ~(~)DiIf~P 9 be t h e k - t h e x t e r i o r power of the ~ ' ( E ) - m o d u l e ~ D i [ f + p ,

~.(E)~Hom~-~)(~.(E), A~) and

E = {~0 = 0 } , w h e r e q~ ~ P i n t e r s e c t s the b a s e t r a n s v e r s e l y . Taking the t e n s o r product of the ~ - c o m p l e x of Spencer SP (cf. P a r a g r a p h 1.8) for the ~ ( E ) - m o d u l e P, o v e r ~ ( E ) , by ~(~)Diff+~(E) we get the complex Ak(p) = {Ak(p), sk}, sik:Ak(p) ---Ak_~(P). The o p e r a t o r l ~ t ~ g e n e r a t e s a map of Spencer c o m p l e x e s S (/~):S ( ~ ) ~ (~ (E)) (cf. P a r a g r a p h 1.8), which m e a n s also a map of c o m p l e x e s a~ (l~):A ~ (/5)_+ A ~ (x (E)). The " i - d i m e n s i o n a l

1646

chains" of the complex coker ak(,lq~ we denote by B k, and its i-dimensional homology by ikE). THEOREM. i) E~,q = 7kq, d~,q = ~ 2) in an affine chart E0p'q = BP-~, p > 0; 3) E ~ fine chart Ep,q~p-1 (E) and, in particular, E~q~//n_q (l~IE~) (cf. Paragraph 1.8). 1 n--q

= ~lq(E)~ 4) in an af-

We call an equation E S - r e g u l a r if ker S (l*wIE~)=0 (cf. P a r a g r a p h 1.8). The S - r e g u l a r i t y condition is not stringent, and as a rule, it can be v e r i f i e d effectively on the symbol of the o p e r a t o r l~ I~= in ~ - t h e o r y . P r o p o sition 1.8 and Theorem

10.6 lead directly to the following result.

COROLLARY. Let the equationE be S-regular, so thatEl%q--0ifq >n; Elp'q=0 for p >0 ifq ~n-l~ n (q r n for E ~~ = N~n or j~o(~)). Thus, E ,q = EP, q, Hq(E) = Hq(E) for q < n- 1 [q < n if E ~~ = Nm or j~o(~)] if E is formally integrable. Remark.

The complex

g~ equal to the composition

{Tk i, d} can be united with the complex

{E n,i, d n'i} with the help of the operator

A~-+/~n (E)-+ E~.~:

O-+ Ao-+ ...

-+ ~ " - +

EI,"-+

E~,"-+

. . .

It is easy to calculate the cohomology of this complex using Theorem 10.6. For example, if E ~~ = J~(~), the groups coincide with Hi(j~ Thanks to this one can find the "inversion formula," i.e., represent w 67~ n in the form dp (in an appropriate neighborhood), if ~' ((~)- ~ (~q)~ 0 10.7. The value of the cited spectral sequence for the circle of questions considered includes the fact that El~ according to Corollary 10.6, is the group of conservation laws, and E~ ,n is the group of all Lagrangians. Moreover, we get the following: a solution L~N (sCP (~)) of the constraint equation is an extremal of the Lagrangian Z if and only if j (L)* (d~,~(5r i.e., d~,n(Z)=0 should be considered the Euler-Lagrange equation. The restriction of the operator d ~ operator ~ (Paragraph 10.4).

to an affine chart, in the case of no constraints,

coincides with the

We emphasize the naturality of the cited formulation of the calculus of variations in the category NDE. Actually, the morphisms inthis category preserve the operation ~, and hence, generate homomorp~sms of the ~ -spectral sequences, one of whose differentials is the Euler operator. This generalizes a classical result: the Euler- Lagrange equation is invariant under arbitrary changes of dependent and independent variables. We

note yet another curious consequence

Proposition. p is a conservation

of Theorem

10.6.

Let E = {~0 = 0} (cf. above) and l~IEoo = _+le!E~

(i.e., E is self- or skew-adjoint).

Then if

law for E, then d~'n-l(p) E symE.

This follows from the fact that, by virtue of Theorem kerl~le~, and symE=ker/~I~ (Theorem 9.8}.

10.63) and Proposition 1.8, E~,~-I=H~ (l~!eo~)~

10.8. Commentary. In this section~ results of the author are cited (cf. [7, 8], where one can find further details). An interesting invariant formulation of the Lagrangian formalism on j~o(~) was given earlier by B. A. Knpershmidt (of. the account of his work in the survey [26, Chap. I]), starting from the axiomatized first variation formula. Theorem 10.5 is close to a theorem of Kupershmidt, who also discovered in geometric terms the ~resolvent ~ for operators g on J~(~) (cf. Remark 10.6). The calculation of the term E2l,n is equivalent to the solution of the "inverse problem of the variational calculus" (cf. Remark 10.6), to which Takens [54] is devoted (its solution also follows fromthe cited work of Kupershrnidt). A construction of the calculus of variations on a special class of Lagrangians from an unexpected point of view (theory of Hodge-Lepage and contact geometry) is given by Lychagin [25]. Interesting in connection with the theme of this section are the work of Goldschmidt and Sternberg [43] and the important work of Dedecker [34]. The use of the language of the Hamiltonian formalism in the theory of fields is considered in [9]. LITERATURE i.

2.

CITED

V. I. Arnol'd, "Contact manifolds, Legendre mappings, and singularities of wave fronts," Usp. Mat. Nauk, 2__99,No. 4, 153-154 (1974). V. I. Bliznikas and Z. Yu. Lupeikis, "The geometry of differential equations," in: Algebra. Topology. Geometry [in Russian], Vol. II, Itogi Nauld i Tekhniki VINITI Akad. Nauk SSSR, Moscow (1974), pp. 209259.

1647

3. 4. 5. 6. 7. 8.

9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26.

27. 28.

29. 30.

1648

J.M. Boardman, "Singularities of differentiable mappings," in: Singularities of Differentiable Mappings [Russian translation], Mir, Moscow (1968), pp. 102-152. A.M. Vinogradov, "The algebra of the logic of the theory of linear differential operators," Dokl. Akad. Nauk SSSR, 205, No. 5, 1025-1028 (1972). A.M. Vinogradov, "Multivalued solutions and the principle of classification of nonlinear differential equations," Dokl. Akad. Nauk SSSR, 2!0 , No. 1, 11-14 (1973), A.M. Vinogradov, "Theory of symmetry for nonlinear partial differential equations," Moscow University (1974). A.M. Vinogradov, "On the algebro-geometric foundations of the Lagrangian theory of fields," Dokl. Akad. NaukSSSR, 236,284-287 (1977). A.M. Vinogradov, "A spectral sequence connected with nonlinear differential equations, and the algebro-geometric foundations of the Lagrangian theory of fields with constraints," Dokl. Akad. Nauk SSSR, 238, No. 5, 1028-1031 (1978). A.M. Vinogradov, "Hamiltonian structures in the theory of fields," Dokl. Akad. Nauk SSSR, 241, No. 1, 18-21 (1978). A.M. Vinogradovand E. M. Vorob'ev, "Application of symmetries in finding exact solutions of the Zabolotskaya-Khokhlov equation," Akust. Zh., 2_~2, No. i, 23-27 (1976). A.M. Vinogradov, I. S. Krasil'shchik, and V. V. Lychagin, Application of Nonlinear Equations to Civil Aviation [in Russian], Mosk. Inst. Inzh. Grazhd. Aviatsii, Moscow (1977). A.M. Vinogradov, I. S. Krasil'shchik, and V. V. Lychagin, Geometry of Jet-Spaces and Nonlinear Differential Equations [in Russian], Mosk. In-t Elektr. Mash., Moscow (1979). A.M. Vinogradovand B. A. Kupershmidt, "Structure of Hamiltonian mechanics," Usp. Mat. Nauk, 3_22, No. 4, 175-236 (1977). M.M. Vinogradov, "On Spencer and de Rham algebraic cohomoiogy,"Dokl. Akad. Nauk SSSR, 242, No. 5, 989-992 (1978). I.M. Gel'fand and L. A. Dikii, "Asymptotics of the resolvent of Sturm- Liouville equations and the algebra of Korteweg-de Vries equations," Usp. Matem. Nauk, 30, No. 5, 67-100 (1975). V.M. Zakalyukin, "On Lagrangian and Legendre singularities," Funkts. Anal. Prilozhen., 1__00,No. i, 26-36 (1976). N. Kh. Ibragimov and R. D. Anderson, "Groups of Lie-Baecklund tangent transformations," Dokl. Akad. Nauk SSSR, 227, No. 3, 539-542 (1976). E. Cartan, Exterior Differential Systems and Their Geometric Applications [Russian translation], Moscow University (1962), A . P . Krishchenko, "On the structure of singularities of solutions of quasilinear equations," Usp. Mat. Nauk, 3_!, No. 3, 219-220 (1976). A . P . Krishchenko, "On deviations of R-manifolds," Vestn. Mosk. Univ. Mat., Mekh., No. 1, 17-20 (1977). B.A. Kupershmidt, "On the geometry of jet manifolds," Usp. Mat. Nauk, 3__00,No. 5, 211-212 (1975). B.A. Kupershmidt, "Lagrangian formalism in the calculus of variations," Funkts. Anal. Prilozhen., 1_00, No. 2, 77-78 (1976). V.V. Lygachin, "Local classification of first order nonlinear partial differential equations," Usp. Mat. Nauk, 3__00,No. 1, 101-171 (1975). V.V. Lychagin, "On sufficient orbits of the group of contact diffeomorphisms," Mat. Sb., 104, No. 2, 248-270 (1977). V.V. Lychagin, "Contactgeometry and second order linear differential equations," Usp. Mat. Nauk, 3_~4, No. I, 137-165 (1979). Yu. I. Marlin, "Algebraic aspects of nonlinear differential equations," in: Contemporary Problems of M a t h e m a t i c s [in R u s s i a n ] , Vol. 11, Itogi Nauld i Tekhniki VINITI Akad. Nauk SSSR, Moscow (1978), pp. 5-152. L . V . Ovsyannikov, Group Analysis of Differential Equations [in Russian], Nauka, Moscow (1978). L . V . Ovsyannikovand N. Kh. Ibragimov, 'Group analysis of the differential equations of mechanics," in: General Mechanics [in Russian], Vol. 2, Itogi Nauki i Tekhniki VINITIAkad. Nauk SSSR, Moscow (1975), pp. 5-52. P . K . Rashevskii, Geometric Theory of Partial Differential Equations [in Russian], Gostekhizdat, Moscow- Leningrad (1947). D. Spencer, "Overdetermined systems of linear partial differential equations," Matematika, 1__44,No. 2, 66-90; No. 3, 99-126 (1970).

31. 32. 33. 34. 35. 36. 37. 38. 39. 40. 41. 42. 43. 44. 45. 46. 47. 48. 49. 50. 51. 52. 53. 54.

A. Andreotti, C. D. Hill, S. Lojasiewicz, and B. MaeKichan, "Complexes of differential operators. The Mayer-Vietoris sequence," Invent. Math., 3_5_5, No. I, 43-86 (1976). E. Cartan, "Sur certaines expressions differentielles et le probleme de Pfaff," Ann. Sci. Eeole Norm. Super., Ser. 3, 16, 239-332 (1899). E. Cartan, "Sur l'integration des systemes d'equations aux differentielles totales, ~ Ann. Sei. Ecole Norm. Super., Ser. 3, 1__88, 241-311 (1901). P. Dedecker, "On the generalisation of sympleetie geometry to multiple integrals in the calculus of variations," Lect. Notes Math., 570, 395-456 (1977). C. Ehresrnann, "Introductiona la theorie des structures infinitesimales et des pseudo-groupes de Lie," in: Coloq.lnternat. Centre Nat. Rech. Sciento 52 Strasbourg, 1953, Paris (1953), pp. 97-110. A.R. Forsyth, Theoryof Differential Equations, Dover, New York (1960). H. Goldschmidt, ~Existence theorems for analytic partial differential equations,~ Ann. Math., 36, No. 2, 246-270 (1967). H. Goldschmidt, "Integrability criteria for systems of nonlinear partial differential equations,~ J. Different. Geom., _1, No. 3, 269-307 (1967). H. Goldschmidt, "Prolongations of linear partial differential equations. I. A conjecture of E. Cartan," Ann. Sci. Ecole Norm. Super., _1, No. 2, 417-444 (1968). H. Goldschmidt, ~Prolongations of linear partial differential equations. 1I. inhomogeneous equations, ~ Ann. Sei. EcoIe Norm. Super., _1, No. 4, 617-625 (1968). H. Goldschmidt, " P r o l o n g e m e n t e s d'equations differentielles lineaire. III. La suite exacte de cohomologie de Spencer, n Ann. Sei. Ecole Norm. Super., 7, No. 1, 5-27 (1974). H. Goldschmidt and D. Spencer, non the nonlinear cohomology of Lie equations. I, II," Aeta Math., 13__~6, Nos. 1-2, 103-239 (1976); Nos. 3-4, 171-239 (1976). H. GoldschmXdt and S. S t e r n b e r g , "The H a m i l t o n - C a r t a n f o r m a l i s m in the calculus of variations," Arm. Inst. F o u r i e r , Grenoble, 2__.33,No. 1, 203-267 (1973). A. Grothendieck, Elements de G e o m e t r i e Algebrique. IV. Etude Locale des Schemas et des Morphismes des Schemas, Pubis. Math. Inst. Hautes Etudes Scient., 3_22(1967). R. Hermann, " C a r t a n ' s g e o m e t r i c theory of partial differential equations, ~ Adv. Math., 1, No. 3 , 2 6 5 317 (1965). E. K~hler, Einf//hrung in die Theorie der Systeme von Differentialgleichungen, Hamburger Math. Einzelsehrifte, 16 (1934). A. Kumpera, "Invariants differentiels d'un pseudogroupe de Lie, ~ J. Different. Geom., 10~, No. 2, 289417 (1974). M. Kuranishi, "ONE. Cartan's prolongations theorem of exterior differential systems," Am. & Math., 7_99, No. I, 1-47 (1957). M. Kuranishi, Lectures on Exterior Differential Systems, Tara Inst. of Fundamental Research, Bombay (1962). M. Kuranishi, Lectures on Involutive Systems of Partial Differential Equations, Publ. Soc. Mat. San Paulo, San Paulo (1967). S. Lie, Gesamelte Abhandlungen, Bd. 4, Teubner, Leipzig (1929). S. Lie and F. Engel, Theorie der Transformationsgruppen, Bd. 1-3, Teubner, Leipzig, 1886, 1890, 1893. S. Sternberg, Notes on Partial Differential Equations, Harvard University (1968). F. Takens, "A global version of the inverse problem of the calculus of variations," Math. Inst. Rijksuniversiteit Groningen, Preprint No. ZW-7701 (1977).

1649