Научная статья на тему 'Симплектическая классификация гиперболических операторов Монжа Ампера'

Симплектическая классификация гиперболических операторов Монжа Ампера Текст научной статьи по специальности «Математика»

CC BY
105
29
i Надоели баннеры? Вы всегда можете отключить рекламу.

Аннотация научной статьи по математике, автор научной работы — Кушнер Алексей Гурьевич

Рассматривается проблема классификации операторов Монжа Ампера на двумерных многообразиях, которая восходит к работам Софуса Ли и тесно связана с задачами классификации уравнений Монжа Ампера и эффективных дифференциальных 2-форм. Основная идея работы описание оператора Монжа Ампера общего положения как е-структуры (абсолютного параллелизма) на гладком многообразии 1-джетов. Библиогр. 6.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

SYMPLECTIC CLASSIFICATION OF HYPERBOLIC MONGE AMPERE OPERATORS

A solution of the problem of classification of Monge Ampere operators on 2-dimensional smooth manifolds is presented in the paper. The problem was formulated by Sophus Lie. There exists a connection between this problem and the problem of classification of effective differential 2-forms or Monge Ampere equations on a smooth manifold of 1-jets. The main idea is a description of Monge Ampere operators as e-structures (absolute parallelisms).

Текст научной работы на тему «Симплектическая классификация гиперболических операторов Монжа Ампера»

УДК 514.7

А. Г. Кушнер Астраханский государственный университет

СИМПЛЕКТИЧЕСКАЯ КЛАССИФИКАЦИЯ ГИПЕРБОЛИЧЕСКИХ ОПЕРАТОРОВ МОНЖА - АМПЕРА

Введение

Настоящая работа посвящена решению проблемы классификации операторов Монжа -Ампера на двумерных многообразиях. Эта проблема восходит к работам Софуса Ли [1] и тесно связана с задачами классификации уравнений Монжа - Ампера и эффективных дифференциальных 2-форм [2]. Основной идеей работы является описание оператора Монжа - Ампера общего положения как е-структуры (абсолютного параллелизма) на гладком многобразии

1-джетов. Для уравнений Монжа - Ампера эта идея была реализована автором в [3-5].

Операторы Монжа - Ампера и е-структуры

1. Пусть М - двумерное гладкое многообразие, ю - эффективная дифференциальная

2-форма на кокасательном расслоении Т *М [2, 6], О - симплектическая структура на Т *М . Форма ю определяет поле эндоморфизмов А на Т*М по правилу

АХ ] О = X ] ю,

где X - произвольное векторное поле на Т*М. Допустим, что форма ю гиперболическая и её пфаффиан равен -1. Тогда А порождает на Т*М структуру почти произведения А2 = 1. В каждой точке а є Т *М касательное пространство Та (т *М) распадается в прямую сумму собственных У+(а) и У_(а) подпространств оператора Аа . Это разложение, в свою очередь, порождает разложение в прямую сумму комплекса де Рама:

О * (т *М )= © О р,д,

р+д=*

й = dl о © гі01 © й 2 _1 © й_12,

где Ор,д - модуль дифференциальных (р + д) -форм, состоящий из сумм всевозможных внешних произведений алР, где аєОр(Т*М), Рє Од(т*М) и 2]а = 0, Р]Р = 0 для любых векторных полей Р є в(у+ ) и 2є П(У_), а компоненты внешнего дифференциала действуют

из Ор,д в О р+1,д+1 . Компоненты й2-1 и й_12 являются тензорными полями на Т *М [3].

Определяем векторное поле Ж на Т*М : Ж](ОлО) = 2йю . Тогда Ж = Ж+ + Ж_ , где Ж± є Л(У±). Определим дифференциальные 1-формы: т+ = Ж+ ]О и т_ = Ж_ ]О .

2. Допустим сначала, что трёхмерные распределения кег т+ и кег т_ вполне интегрируемы. Тогда двумерное распределение ^ (Ж+ ,Ж_) тоже вполне интегрируемо, и мы можем определить два функциональных g + и g _ инварианта формы ю:

[Ж+ ,Ж_] = g+Ж+ + g_Ж_ .

Так как распределения кег т+ и кег т_ вполне интегрируемы, то по теореме Фробениуса т± л йц± = 0 . Тогда

т+ л (ж+ ]йц+)=ж+ ](т+ л йт+)=о,

т. е. дифференциальные 1-формы т+ и Ж+ J d|a+ линейно зависимы, и мы можем определить ещё один функциональный инвариант: Ж+ Jdm+= g0т+ . Заметим, что Ж_ Jdm_=_g0т_ . Так как

т+ е О1,0, то

й?т+ = ^,0^+ + ^дМ-+ + ^1,2М-+ .

По соображениям размерности т+ л d10т+ = 0 . Тогда т+ л dm+ = т+ л d01ц+ + т+ л d_12т+ . Так как т+ л dm+ = 0, т+ л d01т+ е о 21 и т+л d_12т+ е о1,2 , то т+л d01т+ = 0 и т+л d_12т+ = 0. А так как d_12m+еО0,2, то последнее равенство реализуется тогда и только тогда, когда d_12т+ = 0 . Тогда dm+ = d10т+ + d01т+ . Аналогично можно показать, что dm_ = d10т_ + d01т_ . Тогда получаем, что d 01т+ = т+ лу_ для некоторой однозначно определённой дифференциальной 1-формы у_ е О0,1. Аналогично, d10т_ = т_ лу+ для у+ е О10.

Определим векторные поля: Х+ и X_ : X± JО = у± .

Можно показать, что у_ (Ж_) = g + и у+ (Ж+) = _g_ . Кроме того, т+ л у+ л т_ л у_ = = g+g_W л О . Вследствие этого векторные поля Ж+, Ж_, Х+, Х_ линейно независимы в точке а е Т *М тогда и только тогда, когда g + (а) g_ (а) Ф 0 .

Далее полагаем, что это условие выполняется в некоторой фиксированной точке а . Тогда в некоторой её окрестности векторные поля Ж+, Ж_, Х+, Х_ образуют свободный базис модуля

векторных полей. Нормируем этот базис: Х1 = Ж+, Х2 = g_1 Х+ , Х3 = Ж_, Х4 = g+1 Х_ и построим свободный базис дифференциальных 1-форм на Т*М : 01 =_Х2 JО, 02 = Х1JО , 03 = _ Х 4 JО, 04 = Х 3 JО. Эти базисы дуальны.

Мы получаем следующее каноническое представление дифференциальных 2-форм О и ю в окрестности точки а :

О = 01 л 02 + 03 л 04,

Ю = 01 л 02 _ 03 л 04 .

В связи с этим проблема локальной симплектической эквивалентности дифференциальных

2-форм ю и ю сводится к проблеме эквивалентности е-структур (01, к, 04) и I 01, к, 04 I, кото-

рая решается известными методами.

В силу того, что эффективная дифференциальная е-форма ю определяет нелинейный дифференциальный оператор Монжа - Ампера Лю [1], мы получаем решение проблемы симплектической эквивалентности операторов Монжа - Ампера.

Приведём координатное описание инвариантов формы ю и построенной е-структуры. Можно показать, что для вполне интегрируемых распределений кег т+ и кег т_ существует симплектическое преобразование, переводящее форму ю в форму

ю1 = _2/ dq1 л dq2 + dq1 л dp1 _ dq2 л dp2.

Здесь q1, q2, р1, р2 - канонические координаты на Т *М .

Для формы ю получаем: т+ = _2/^ dq1, т_ = 2/^ dq2, а распределения У+ и У_ порож-

дены парами векторных полей

|А+/А. 1 и /А+/А ,_Э_ 1

[ ^1 Ф2 Ф1{Эq2 Эр1 Эр2

соответственно. Векторные поля Ж± имеют вид Ж+ = 2/ , Ж_ = _2/ ——. Тогда

ЭЛ р1 Эр 2

[ж+, ] = 4 ~_4.

р р Эр1 "р- "'Эрз

Мы получаем следующие функциональные инварианты:

_ = '1І'2 Р2 _ = '^f Р2 їР1Р1 _ = 2 г

&+ г ">&_ г ’<50 У Р1Р2 '

У р У р

Р2 •'А

Укажем канонический свободный базис векторных полей:

д_ др1

Х1 = 2ЇР2—,

1 Э ї їр Р2 + їд Р1 Э ї Э

2Д Э^1 2їр2 їр1 р1 ЭР1 ЭР2

X 3 =_2 ї —,

3 Р1 Эр2 ’

1 Э , ї їР1Р2 + їЪ Р2 Э , ї Э

2Д Э^2 їїр2 ЭР1 2їР1 ЭР1

Тензорные поля й2 _1 и й_12 для формы ю1 имеют следующий вид:

й2 _1 = Л (ад1лйР1 _ї лйЧі ,

ЭР 2

й_12 = їр2 ^2 л йР2 + ї л ^2 )^^^ .

2 Эр1

Следующая теорема указывает необходимые и достаточные условия локальной линеаризации операторов Монжа - Ампера.

Теорема. Пусть ю - эффективная гиперболическая дифференциальная 2-форма на Т * М с пфаффианом -1. Форма ю локально симплектически эквивалентна форме

К>1 = _2(Ар1 + Вр2 + С) йд1 л йд2 + йд1 л йр1 _ йд2 л йр2

для некоторых функций А, В, С от д1, д2 тогда и только тогда, когда в этой окрестности функции g0, g+ и g_ - тождественные нули. Соответствующий форме ю1 оператор Монжа -Ампера имеет вид

ДЮ1 М = (\д2 _ А\ _ ВУЧ2 _ С) ^1 л ^2 .

Допустим, что векторные поля X1, ..., X4 образуют четырёхмерную алгебру Ли над полем вещественных чисел, т. е.

4

к. Xl\_ х С^Jx,

к

к

к =1

где /,] = 1, к,4 и Ск}- е ^ - структурные константы алгебры Ли. Тогда С13 = g + , С^ = g_

и С2 = g0, т. е. g+ , g_ и g0 - константы. Как и выше, предположим, что g+g_ Ф 0 . Мы получаем однозначно определённую алгебру Ли с точностью до константы. Ей отвечает следующая эффективная дифференциальная 2-форма:

ю = _2(р1 + к р2 )2 dq1 л dq2 + dq1 л dp1 _ dq2 л dp2.

Соответствующий оператор Монжа - Ампера имеет вид

3. Допустим теперь, что распределение ker m+ n ker m_ не является вполне интегрируемым. Тогда векторные поля W+ , W_, Q+, Q_ образуют свободный базис модуля векторных полей. Здесь Q = W+ ,W_] и Q = Q++ Q_ - естественное разложение.

Определим два функциональных инварианта формы w:

r+ =W(W+, Q) и r_ =W(W_, Q).

Из невырожденной симплектической структуры на распределениях V+ и V_ следует, что функции r+ и r_ не обращаются в нуль, поэтому мы можем определить новый свободный базис модуля векторных полей:

X! = W+ , X 2 = r+_Q+ , Xз = W_, X 4 = r__Q_

и дуальный базис дифференциальных 1-форм 0j,..., 04 . Тогда получаем следующее каноническое представление 2-форм W и w :

W = 01 Л 02 + 03 А 04 ,

w = 01 л 02 _ 03 л 04 .

Так же, как и в предыдущем случае, мы свели задачу симплектической эквивалентности операторов Монжа - Ампера к задаче эквивалентности е-структур.

Заключение

Представляет интерес распространить предложенный метод построения е-структуры на многообразия более высокой размерности. Некоторые результаты по классификации операторов Монжа - Ампера в размерности 3 получены в [6].

СПИСОК ЛИТЕРА ТУРЫ

1. Lie S. Gesamette Ahandlungen. - Leipzig - Oslo, 1922-1935. - Vol. 1-7.

2. Лычагин В. В. Контактная геометрия и нелинейные дифференциальные уравнения второго порядка. -1979. - Т. 34, № 1. - С. 101-171.

3. Кушнер А. Уравнения Монжа - Ампера и e-структуры // Докл. РАН. - 1998. - Т. 361, № 5. - С. 595-596.

4. Kushner A. Classification of Mixed Type Monge - Ampere Equations // Geometry in Partial Differential Equations. - Singapore: World Scientific, 1993. - P. 173-188.

5. Kushner A. Symplectic Geometry of Mixed Type Equations // The Interplay between Differential Geometry and Differential Equations. - Ed. V. V. Lychagin, American Math. Soc. Translation., 1996. - Ser. 2, Vol. 167. - P.131-142.

6. Kushner A., Lychagin V., Rubtsov V. Contact Geometry and Non-linear Differential Equations. - Cambridge University Press, 2007. - 496 p.

Получено 15.11.2006

SYMPLECTIC CLASSIFICATION OF HYPERBOLIC MONGE - AMPERE OPERATORS

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

A. G. Kushner

A solution of the problem of classification of Monge - Ampere operators on 2-dimensional smooth manifolds is presented in the paper. The problem was formulated by Sophus Lie. There exists a connection between this problem and the problem of classification of effective differential 2-forms or Monge - Ampere equations on a smooth manifold of 1-jets. The main idea is a description of Monge - Ampere operators as e-structures (absolute parallelisms).

i Надоели баннеры? Вы всегда можете отключить рекламу.