Файл: Щербаков, Р. Н. Основы метода внешних форм и линейчатой дифференциальной геометрии.pdf

где

* ? * U +

I=o =

d»/,, а = l , . . . , v .

(76)

Таккак9Л\ является

интегральной поверхностью

системы (5),

то внесение в последнюю

выражений

(70) и (74) дает тож­

дества. Внесение же в (5) выражений

(71) и (75) приведет

к некоторой системе уравнений (а), линейных

относительно

d'+bg.. Эта система

в точке М0 будет

иметь единственное

решение (д''+ 1 <рг )м0 ,

так как имеется единственное распреде­

ление P,+i, удовлетворяющее трем перечисленным в теореме

венным образом. В некоторой

окрестности

точки М0

этот

ранг останется

равным п — р — v — 1. Следовательно, система

(з)

может

быть разрешена

относительно

дч +1у

и приведена

к

виду

=

+ ф * (*ь • • •. х,+и

<?g, о > » + 2 , . . . , д'<ря _Р ) =

0, (7/)

g = v + 2, . . . , п - р.

Эта система при условиях (72) в окрестности

точки М0

имеет

единственное

решение

=

С**'

X v + ] )

в силу теоремы 2 предыдущего

параграфа.

Остается

доказать, что найденная

таким

образом

по­

верхность

xg

= <?g(xu

. . . . X v + i ) , *A =

0

(78)

является интегральной для системы (S).

Внеся

(78) и (75) в (S), мы получим ряд соотношений вида

/1р.(хи

. . . ,

J C „ Xv+i) = 0,

(79)

М * ? .

0) = 0 .

(80)

их образования: 1) те, при вычислении

которых участвовали

производные dv+1cp

(они получились

из коэффициентов при

произведениях вида

[dxai,

. •., dx*q,

dx4 + \\, а,- — 1 , . . . , v):

• A<»(*l f

* , + i ) = 0 ,

(81)

2) те, в которых такие

производные

не

участвовали (они

получались из коэффициентов при [dxai

•

•'dxaQ]):

А?}

(*х. • • •, **, ^ + . ) =

0.

(82)

5. З а к а з 6667.

65

Заметим,

что соотношения (81) уже являются тождествами

в силу (7/). Так как 9ЛЧ — интегральная

поверхность, то при

- K V + I = 0

имеем

( * „ . . . , * „ 0) = 0.

(83)

2

H^-a"\dxtt„...,dxas]=0,

(84)

di<---<as

o.t = 1, . . . , v; S < м .

Слагаемые с dx4+i

тождественно равны

нулю в силу (77), а

коэффициенты H"f-as в

силу теоремы

1, § 7 суть линейные

комбинации выражений

А<2 ) ,... hfj:

Ha'---as

= Q « . - « j ^ ( 2 ) .

(85)

Продифференцировав

(84) внешним

образом

и учитывая,

цией

подстановки

соотношений (78) и

(75) в уравнения сис­

темы (S), а с другой — замкнутость системы

(5), мы получим

одно

из тех соотношений,

которые

получаются

подстановкой

(78)

и (75)

в уравнении

степени

s-f-1 или как следствия

подстановки

(78)

и (75) в

уравнения

степени

<s-f-1 (эти

следствия получаются внешним умножением

на dxal

с по­

следующим

линейным

комбинированием).

Следовательно,

v

d*+iH^—'s

[dx,+ idxar • -dxag\ -f-

+

2

JZdaHa'--*s[dXadxai--

-dxas}

=

=

^

A e ' - e * + i [ f l f x e i - . - r f j c e s + 1 ]

(86)

(и здесь в правой

части

члены с

d x v + i уже равны

нулю).

Отсюда,

в частности,

вытекает

система

соотношений

d»+i#».-«* = 0.

(87)

В силу (83) и (85) имеем

Я'»—* ( х , , . . . , х „ 0) = 0,

(88)

а в силу (80) и (85)

/ / * • - " ( ж ? , . . . , *°, 0) = 0.

(89)

Так

как К"1'""* также являются линейными

комбинациями

Л^2),

то с (86) согласуется и условие

<№>-«*(*?,...,

хЧ, 0) = 0 ,

(90)

случай, когда в такой системе

заранее обусловлено,

какие

из переменных

являются

независимыми, а какие — неизвест­

ными функциями. Первые

будем обозначать х и

...,

х„,

а по­

следние z a , z r

.

В фиксированной точке М0{хЧ,

г") ариф­

метического

пространства ХП+Г,

имеется касательное

вектор­

ное пространство

Т„+Т,

на котором можно построить внешнюю

алгебру дифференциалов (см. §1) .

Системой(^)мы по-прежнему будем называть замкнутую

внешнюю дифференциальную систему, рассматриваемую

ло­

кально, т. е. в окрестности некоторой фиксированной точки

М0.

При этом будет допускаться произвольная замена базиса

{dx^,

т. е. независимых

переменных:

xi = xi(x{,...,

хп),

(91)

dxi

— d'rxrdxf,

i,

V = 1, ... , п,

(92)

причем

аеЦЯ'х^фО

(93)

в точке М0,

а

следовательно, и в некоторой

ее

окрестности.

В

касательном векторном пространстве

Тп+Г

систему

(5)

можно

рассматривать

как

внешнюю алгебраическую

систему

с выделенными

переменными dxt

и искомыми dZj.

Разумеется,

алгебраическое

исследование можно провести и в любом эк­

вивалентном

базисе:

шг = a''dxr,

(94)

5'

67

в,- == ft dxi + Ц-dzj.,

/, /' = 1 , . . . , г,

(95)

где <xj', Ц, ^"—-функции всех переменных в точке М0

(а сле­

довательно,

и в некоторой ее окрестности),

detJafJ^O,

det||^'||^0 .

(96)

В соответствии

с § 7 , гл. 1 решения системы (S)

следует

искать

в виде

dzj

= ^dxi

(97)

или

е,- = Х<соь

(98)

т. е. в

виде

некоторою

я-мерного распределения

(см. §2).

При этом коэффициенты vj. или ^.являются

функциями всех

переменных

х и . . . ,

хп, гх,...гг.

Однако не всякое

алгебра­

ическое

решение

будет

давать

интегральную

поверхность,

так как не всякое

распределение

является

интегральным.

Всякое

одномерное

распределение

всегда

является ин­

тегральным, так как оно сводится

к системе

обыкновенных

дифференциальных

уравнений

вида

dZj = ^.dxu

(99)

dxp

= 0, р = 2,... ,

я,

где х, — одно из

независимых

переменных,

а эта

система

имеет единственное решение (кривую) Шг, проходящее

через

М0 , в силу известной теоремы

существования

для

системы

обыкновенных дифференциальных

уравнений (напомним, что

мы работаем с аналитическими

функциями):

хр=*х%,

г, = / , ( * , ) >

f,(x»)

= z%

(100)

Если система

(S), как алгебраическая система, в инволю­

ции относительно

некоторого

базиса,

т. е. допускает

пост­

роение

регулярной

цепи решений по способу

Кэлера, описан­

ному в §7 , гл. 1, то по интегральной кривой

9Л, мы

можем,

в силу основной теоремы Картана,

построить

интегральную

поверхность 3J}2, для чего в качестве

9ER«+ r -P

можно

взять

любую

поверхность

я - f г — р

измерений,

подобрав

р так,

чтобы соответствующее распределение Р л + Г _ р

содержало рас­

пределение

Рх (99), а в точке

М0

определяло

бы

единст­

венное

векторное подпространство

7 2 , содержащее подпрост­

ранство

Т,, соответствующее

распределению

Рх.

Если в М0 двумерное алгебраическое решение опреде­

ляется с произволом г2= г — р%ах

~r

— (s0-f- s,) параметров, то

р = г2 = г — s0

— sy

поверхность

9ЛЛ + / -_Р

можно задать

в ви де

2

i = ^ i (х)> -^г)»

zf = Ft(Xl,x2),

(101)

где Fu...,

F9

— произвольные

функции, удовлетворяющие

лишь условиям

Fn(xu

* $ ) = / * ( * , ) ,

Л =

I

р.

(102)

Нетрудно

видеть,

что это построение

является

непосредст­

~ s i ~ s 2 произвольных

функций трех аргументов и т . д .

В итоге получается

следущая

Т е о р е м а

(вторая

теорема Картана). Если внешняя

алгебраическая

система с выделенными переменными, в кото­

тема

(5) имеет интегральную поверхность, проходящую через

точку

М0 и определяемую с произволом sn

функций п пере­

именных, если sn=£0, sn-i

функций п—1 переменных, если sn=0

Sn-l Ф0

и т. д.

Si,...,s„

Если

все характеры

системы

(5) равны нулю,

то это означает, что все внешние

дифференциальные уравне­

уравнений

первой

степени,

и система сводится (так как она

считается уже замкнутой)

к вполне интегрируемой системе

sa

уравнений

Пфаффа,

которая

имеет решение, зависящее

от

s0

произвольных постоянных. Поэтому внешнюю дифферен­

циальную

систему,

которая (может быть, после продолжения

—

см. следующий

§)

сводится

к системе, все характеры ко­

вольно, то указанные связи представляют собою новые

(т. е.

не содержащиеся в (S)) конечные уравнения на xi и zj4

Если