Геометрические исследования специальных типов гиперболических уравнений математической физики тема автореферата и диссертации по математике, 01.01.03 ВАК РФ
Бадьин, Андрей Валентинович
АВТОР
|
||||
кандидата физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Москва
МЕСТО ЗАЩИТЫ
|
||||
1994
ГОД ЗАЩИТЫ
|
|
01.01.03
КОД ВАК РФ
|
||
|
о
московский государственный университет имени м.в.ломоносова
Физический факультет
На правах рукописи УДК 514.8;530.1в2
бадьин андрей валентинович
геометрические исследования специальных типов гиперболических уравнении математической физики.
01.01.03 - математическая физика
АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико - математических наук
Москва - 1994
Работа выполнена на кафедре математики физического факультета Московского государственного университета им. М.В.Ломоносова.
Научный руководитель: доктор физико - математических
наук, профессор Э.Г.Позняк; кандидат физико - математических наук, доцент А.Г.Попов.
Официальные оппоненты: доктор физико - математических
наук, профессор Е.В.Шикин, кандидат физико - математических наук, с.н.с. Е.В'. Ферапонтов.
Ведущая организация: МПГУ ИМ. В.И.ЛеНИНЭ
у Vi!
Защита состоится "/У" <ре£ре<и.г 199 года в/S часов на заседании Специализированного Совета К 053.05.18 при МГУ им. М.В.Ломоносова по адресу 119899, Москва, Ленинские горы, МГУ, физический факультет, аудитория CPA
С диссертацией можно ознакомиться в библиотеке физического факультета МГУ.
Автореферат разослан 'VJ " ^¿а/^л 199->"года.
Ученый секретарь Специализированного Совета К 053.05.18 доктор физико - математических наук,
доцент П.А.Поляков
Общая характеристика работы.
Актуальность теш. Диссертация посвящена исследованию специальных типов гиперболических уравнений математической физики геометрическими методами.
Теория нелинейных дифференциальных уравнений в частных производных гиперболического типа представляет собой важный раздел современной математической физики. Нелинейные гиперболические уравнения второго порядка возникают в теории нелинейных волн, в квантовой теории поля, в некоторых задачах математической метеорологии. Гиперболические системы квазилинейных уравнений первого порядка широко используются в газовой динамике.
Многие уравнения указанного типа допускают естественную геометрическую интерпретацию. В диссертации рассматриваются нелинейные гиперболические дифференциальные уравнения и системы уравнений с точки зрения теории изометрических погружений двумерных метрик отрицательной кривизны в Е3 и в Е4.
Актуальность такого подхода обусловлена двумя причинами.
Во-первых, возникающие в теории поверхностей отрицательной кривизны уравнения совпадают с некоторыми модельными уравнениями математической физики. В качестве примера можно привести уравнения з1пе-вог<Зоп и Монжа - Ампера, а также гиперболические системы квазилинейных уравнений в римановых инвариантах. Сходство уравнений порождает сходство проблем, встающих в дифференциальной геометрии и в математической физике, причем геометрический подход позволяет использовать при решении задачи наводящие.соображения, опирающиеся на геометрическую,интуицию.
Во-вторых, так как задача изометрического погружения всегда тем или иным способом сводится к решению нелинейных дифференциальных уравнений в частных производных, то множество
погружаемых областей конкретного риманова многообразия совпадает с множеством областей существования решения некоторого дифференциального уравнения (или системы) на этом многообразии. Известно, что полное, гомеоморфное Я2, риманово многообразие отрицательной кривизны, допускающее конформную интерпретацию в круге (многообразие типа Л), с кривизной, ограниченной сверху отрицательной константой не допускает регулярного изометрического погружения в Е3. Более того, на многообразии типа Л постоянной кривизны (плоскость Лобачевского) даже полуплоскость не допускает регулярного изометрического погружения в Е3. С другой стороны, каждая компактная и широкий класс некомпактных областей на упомянутых многообразиях регулярно изометрически погружаются в Е3. Таким образом, при погружении в Е3 некомпактных областей на многообразиях типа Л приходится иметь дело с нелинейными дифференциальными уравнениями в областях, в некотором смысле близких к максимально возможным областям существования регулярного решения. Изучение таких ситуаций представляет большой интерес, поскольку позволяет лучше понять природу препятствий к существованию регулярного решения системы нелинейных дифференциальных уравнений.
При повышении размерности объемлющего евклидова пространства, задача изометрического погружения в некотором смысле упрощается: все упомянутые выше многообразия■допускают регулярное изометрическое вложение в евклидовы пространства высокой размерности. Так например плоскость Лобачевского (Л2) можно С03 -гладко погрузить в В5 и вложить в Е6 (Лг не допускает даже С2 -гладкого изометрического погружения в Е3). Можно ли регулярно погрузить Л2 в Е4 в настоящее время (1994) неизвестно. Таким образом, пространство Ел играет некоторую критическую роль,
поэтому, представляет интерес собрать максимум информации об изометрических погружениях в Ел двумерных римановых метрик кривизна которых, по крайней мере в некоторых точках, имеет отрицательное значение.
Целью диссертационной работы является изучение:
1) вопроса существования и узкой гиперболичности решения, а также поведения характеристик гиперболической системы квазилинейных уравнений специального вида;
2) геометрической интерпретации решения системы дифференциальных уравнений, обобщающей известное модельное уравнение математической физики - уравнение sine-Gordon, с помощью поверхности отрицательной кривизны в S3;
3) изометрических погружений двумерных метрик вращения в Ei в виде поверхностей специального вида.
Научная новизна работы. Новыми являются полученные в диссертации необходимые и достаточные- условия существования изометрического погружения метрики вращения на сфере (S2) И' плоскости (Я2) в Я4 в виде поверхности вращения и ее обобщений.
Доказана возможность построения геометрической интерпретации решения системы дифференциальных уравнений, обобщающей уравнение aine-Gordon, с помощью поверхности отрицательной кривизны в Е3, имеющей особенности.
Указан общий алгоритм построения геометрической интерпретации решения уравнения aine-Gordon (являющегося важным модельным уравнением математической физики) с помощью области на двумерном римановом многообразии постоянной отрицательной кривизны.
Получен ряд новых фактов о существовании решения и поведении характеристик некоторых систем квазилинейных уравнений, а также о погружениях в Е3 некомпактных областей на многообразиях типа Л.
В частности, указан новый класс выпуклых некомпактных областей на плоскости Лобачевского (содержащий области, граница которых в интерпретации Пуанкаре касается абсолюта более чем в двух точках с бесконечным порядком касания), допускающих регулярное изометрическое погружение в г3. Доказательство погружаемости сводится к доказательству теоремы существования решения одной гиперболической системы квазилинейных уравнений.
Доказана невозможность осуществления некоторых специальных способов расположения характеристик рассматриваемых систем квазилинейных уравнений. Полученные результаты позволяют делать заключения о характере областей определенности начальных данных при решении задачи Коши для рассматриваемых систем.
Апробация работы. Основные результаты, полученные в диссертации, докладывались на семинаре по геометрии "в целом" (МГУ, 1991, 1993, 1994), на Всероссийской школе-коллоквиуме по стохастическим методам геометрии и анализа (1994, Абрау-Дюрсо), на кафедре математики физического факультета МГУ (1994), на чебышевских чтениях (МГУ, 1994).
Публикации. По теме диссертации автором опубликовано четыре работы.
Структура и объем диссертации. Диссертация содержит страниц и состоит из введения, пяти глав, заключения и списка литературы.
Содержание диссертации.
Во введении поставлены рассматриваемые в диссертации вопросы, обоснована их актуальность, кратко изложены результаты по главам.
В первой главе дан литературный обзор результатов по теории поверхностей, необходимых для изложения основного материала, указано место рассматриваемых вопросов в общей проблематике современной теории поверхностей и математической физики.
л
Во второй главе методами теории обыкновенных дифференциальных уравнений рассматриваются изометрические погружения в £4 метрик вращения на сфере и плоскости в виде поверхностей вращения, и их обобщений.
На плоскости (Я2) рассматривается область 3, где В - один из объектов: Я3; ¡?\СО) (О - начало координат); открытый круг К с центром в 0; К\(0}; открытое кольцо с центром в 0 (либо универсальная накрывающая одного из двух последних объектов). Под метрикой вращения в Б понимается метрика, линейный элемент которой в полярных координатах (и,{) имеет вид:
ей2 = £(и)'(с&г + и2-Л2]. (1)
Под метрикой вращения на сфере (£2) понимается метрика, линейный элемент которой в стереографической проекции в полярных .координатах имеет вид (1). Полагается, что .кривизна метрики на Б2 отрицательна в полюсах и 0г стереографической проекции.
Под погружением в виде поверхности вращения, понимается, погружение Р, определяемое формулами:
^(и^) = г1(и)соз[7^ + //и)]
= г1(и)з1п[т^ + /,(и)]
^(и.П = г2(и)соз(т.^ + /2(и)] (2)
хл(иП) = г\,(и)з1п[т^ + /2(и)]' где г2(и)^0, 71 и тг - фиксированные числа.
Для кавдой метрики вращения вводится функция: Щ'(и)
а(и> = -2ёШ1-
поведение которой, в частности, связано с распределением знаков кривизны метрики. Доказано следующее утверждение I.
1)1) Метрика вращения на Sz с отрицательной кривизной в полюсах 0 и 02 допускает изометрическое погружение в Ел в виде поверхности вращения в классе Ct1•11(S^)HC2(S2\(01,0гУ).
2) В классе C2(S2) необходимым условием существования погружения в виде поверхности вращения является требование:
(а + 1 )2 ^4,
а достаточным: (а + 1 )2 < 4.
Утверждение (I) легко переносится на метрики в D, если или D=K, с отрицательной кривизной в О.
Для метрик в I), невырожденным погружением, обобщающим погружение в виде поверхности вращения, назовем погружение F, определяемое формулами:
x^(u,t) = г(и)cos(7(и)t + /(и)) 3?(u,t) = r(u)sln(7(u)t + /(и))
i?{u,t) '= (и, t) (3)
T4(U,t) = ф£(u,t), где: г(и)^0, 7(и) - кусочно-постоянная функция, квадратичная форма + сЗф| невырождена. Справедливо следующее утверждение (lij.
II) Если существует такая точка (м.б. и,=+«>), что а(и)-м-ю при u-»u„, то не существует невыровненного погружения FeC3(D) вида (3) заданной в 2? метрики вращения в
Погружение F: РеС1(й) назовем погружением в виде
обобщенной поверхности вращения, если оно определяется формулами вида (2), где 71 и 72 - кусочно - постоянные функции и. Справедливо следующее утверждение (IIIJ. Ill J В точках разрывз'тфункций 71 (и) и уг(и) производная
функции а(и) удовлетворяет условию:
а'(и)- [а(и) + 1] = 0. (4)
В третьей главе рассматриваются регулярные изометрические погружения в Е3 двумерных метрик отрицательной кривизны и свойства возникающих в связи с этими погружениями дифференциальных уравнений гиперболического типа.
Первый параграф третьей главы содержит некоторые необходимые определения.
р
Пусть В - открытый круг на Я единичного радиуса с центром в начале координат ,в В задана риманова метрика С^еС4(В) с гауссовой кривизной К<0, - полное пространство.
Предположим, что найдется такое число ц^О, что:
|£5гай—-—| «: я (5)
/йг
(модуль понимается в смысле метрики С^).
Рассмотрим на В область А, изометрически погруженную в В3 с помощью отображения Р: В-»!?3, ?еС5(Л). На множестве А определены два гладких поля единичных асимптотических векторов Г^. В каждой точке векторы ^ и ^ линейно независимы . Интегральную кривую 1а{х) поля а=1,2, проходящую через точку х называют асимптотической кривой. Поля Г^, удовлетворяют системе (6):
Х,а=1,2,
где: 1а = а=1.2; ^ - ковариантная производная; е^ -
дискриминантный тензор; -К .
Если существуют поля Т^ и удовлетворяющие (6), такие, что в каждой точке векторы Г^ и Т^ линейно независимы и имеют единичную длину, то существует и изометрическое погружение Р.
Кривые - характеристики системы (6), а также
возникающей в теории поверхностей отрицательной кривизны системы уравнений в римановых инвариантах: Г, + зг = Р{х,у,г,з)
л. /
(7)
+ гз = Р(.х,у,а,г),
А &
где Р - полином третьей степени от г и а, коэффициенты которого есть линейные комбинации символов Кристоффеля и <2х, 0.у Если существует решение (7), удовлетворяющее условию то существует и погружение Р. Системы - уравнений вида (7) возникают также в газовой динамике (разумеется с другой правой частью).
Во втором параграфе доказывается теорема, характеризующая поведение кривых ^ и Рассмотрим множество Х&В такое, что дВ -простая замкнутая кривая, имеющая одну общую точку N с дВ. Пусть 7)\{М)сА, где А - область, погруженная в Я3. Справедливо утверждение (IV). .
14) Если дс/Т* Щ - число из условия 5), то описанное выше погружение Р не может удовлетворять следующему условию (8):
можно указать такой отрезок Г кривой дЛ\(Ю конечной (в метрике Ц^) длины, что для каждой точки хеВ каздая из кривых I(х) и 1г(х) имеет с I общую точку Р1 и Р2, причем отрезок кривой (1г(х)), соединяющий Р, и х (Р2 и х)
целиком лежит в Б\(Ю.
•Рассмотрим задачу Коши для системы (6) в Б\Ш с начальными данными на некотором отрезке I кривой б£\Ш и условием, что векторные поля У^ и состоят из единичных линейно независимых векторов . Если ее решать методом характеристик в сочетании с методом малого параметра, то естественно ожидать, что решение будет допускать продолжение на некоторую окрестность 1МЮ.
Сформулированная теорема показывает, что D не может быть областью определенности отрезка I.
Отметим, что требование линейной независимости 2^ и Тили требование r/а (узкая гиперболичность (7) на решении (г,s)) весьма существенно (требование единичности 2^ и 2^ не принципиально, т.к. длина î^ и Т^ сохраняется вдоль характеристик Z2 и Z1 и определяется начальными данными). Очевидно, если в некоторой точке Т^ и 2^ линейно зависимы, то без ограничения общности можно считать, что 2^=2^;.
Если 2^=2^, г=з, то группа уравнений (6), соответствующая схИ , совпадает с группой уравнений (6), соответствующей а=2, a первое из уравнений (7) совпадает со вторым. В третьем параграфе для достаточно регулярных решений (впрочем требования к регулярности максимально снижены) (7) доказывается, что если в некоторой точке х: г=з, то 1^{х)=1г(х) и вдоль этих кривых г=з, т.о. выполнение свойства узкой гиперболичности определяется начальными данными (для достаточно регулярного решения). Аналогичное свойство имеет место для широкого класса систем, поведение которых похоже на поведение (6) при 2^=2^ и (7) при г=з (к этому классу, кстати, относятся некоторые уравнения газовой динамики).
В четвертой главе изучаются, с геометрической точки зрения, свойства системы уранений, обобщающей широко используемое в математической физике уравнение sine-Gordon.
3 первом параграфе обсуждается уравнение aine-Gordon и его роль в теории поверхностей постоянной отрицательной кривизны. Уравнение aine-Gordon можно записать в виде:
2 = sin(Z), (9)
здесь Z - угол мевду асимптотическими кривыми на поверхности с
постоянной отрицательной кривизной -1, а х,у - асимптотические координаты.
В том же параграфе приводится выведенная Н.В.Ефимовым и Э.Г.Позняком система уравнений, обобщающая уравнение sine-Gordon на случай поверхности переменной отрицательной кривизны. Система состоит из трех уравнений и записана в асимптотических координатах.
' ( |sln(2).Qx]x - [ §-sln(Z).Qjy = -KegsinCZ) (а)
ey=-(eQy+cos(Z)gQx) (b) (10)
gx=-(£Qx+cos(Z)eQy). (с)
Здесь Z - угол между асимптотическими кривыми на поверхности отрицательной кривизны, К - гауссова кривизна поверхности,
Q=21п(/-К ), |е| и |g| - длины асимптотических векторов.
Уравнение (10,а) (как и уравнение (9), в случае Кз-1) эквивалентно, при условии Ztm, rceZ, формуле Гаусса, выражающей равенство внешней кривизны поверхности и кривизны метрики (имеется в виду, что в формулу Гаусса подставлено выражение для кривизны метрики). Уравнения (10,Ъ) и (10,с) эквивалентны уравнениям Патерсона - Кодацци.
В том же параграфе система (10) приведена к системе уравнений в ковариантной форме <11
2'{l,L2 + LzLz}z " -Ksin(Z) + I1 [sin(Z)I1Qj + I2[sln(Z)i2Q] +
L Z
+ [l,q + cos(z)l2q]-[-|- - sin^)!,«] + L Z
+ [lzQ + cos(Z)!^] • [-£- - sin(2)L2q]; (11,a)
- = м + cos(2)í2q]^ -
- [i2Q + соз(Z)LX qJ Г^; Л=1,2. (11,Ь)
Здесь Z - угол между асимптотическими кривыми на поверхности отрицательной кривизны; - единичные асимптотические векторы
в касательном пространстве к погружаемому многообразию;
1а = ^a'f^l-i ' а~1,2' % ~ кРивизна поверхности; Q = ^ • 1п -К
Уравнение (11,а) эквивалентно уравнению (10,a), a система из двух уравнзний (11,Ъ) эквивалентна системе (10,Ь,с) (в асимптотических кооординатах).
Система (11), при условии Z¿%n, n^z, эквивалентна системе (6), взятой вместе с формулой Гаусса.
В параграфе 2 главы 3 система (11) рассматривается безотносительно к ее происхождению в теории поверхностей отрицательной кривизны. Требование Zf-кп, тъ^г отброшено; Q -некоторая функция, К = - exp{4Q}; - произвольные гладкие
поля линейно независимых векторов.
Пусть - компоненты матрицы, обратной к матрице По заданному решению <Z,T^,T^> системы (11) построим квадратичную форму (12):
% = + соз<2>(^ + + (12)
Обозначим: Za = (-1 )z'a-Z + 2ma(x), где а=1,2, пд(х) -произвольная функция с целочисленными значениями. Обозначим: й}01' = -(-1-)3"a.£ttZ + sln(Za)I3_aQ, + о(-1 )a.exp{2Q>, где osconst, |о|=1. Для произвольно фиксированного aeU,2} рассматривается следующая система уравнений (13):
Vk=<a, <13'а>
Х3.аХк = сов(2а)-т£(а) + аШ(2а).т,^а)
(а)
'г (а)
В(а)
з-а
'г (а)
1 ''на) г т1на)з1п(2а)£а« ~ ^а)соэ(Яа)т£
ЧсЛг Кг "г (а)
(з-а)
(13,Ь) (13,с)
(13, а)
(13,/) (13,в)
к = ттз (по а нет суммирования); относительно функций т^, к=Т73 с начальными
данными (14) в некоторой точке г :
Х*(х0)=Х*, <а)(*0)=т,*(а)0, т£{а,(*дм£(а)0. т§Ц,)*т§0> (14)
где т]^(а)0, Т|^аю, - правый отронормированный Оазис в Е3.
Справедливо утверждение (V).
V) Система (13) с начальными данными (14) имеет единственное решение (при условии выполнения (11), (13) вполне интегрируема), причем функции Ак(х) определяют погружение формы (12) в Е3, для которого векторы - асимптотические.
Таким образом, каждому решению (11) сопоставлена поверхность в г3; в регулярных точках эта поверхность имеет кривизну К = -ехр{4(2}; точки на поверхности, соответствующие точкам, в которых I = ил, Пе2, вообще говоря особые. Система (13) имеет ясный геометрический смысл: вектор - касательный вектор к
асимптотической кривой (на поверхности, а не на многообразии) семейства а; ~ нормаль; т}^ - бинормаль; уравнения (13,с,/)
есть формулы Френе для асимптотических семейства а; уравнения (13,сг,#) неявно содержат формулы Френе для асимптотических
семейства 3-а. Полученная поверхность как бы склеена из асимптотических, восстановленных по кривизне й|а> и кручению , a доказательство утверждения (V) аналогично доказательству теоремы Э.Г.Позняка о геометрической интерпретации решений уравнения sine-Gordon. С другой стороны векторы <т)*(а)» ^(си' ^ обРазУют сопровождающий репер поверхности; уравнения (13) играют роль деривационных формул; уравнения (11) подобны система Гаусса и Петерсона - Кодацци; доказательство утверждения (V) с этой точки зрения аналогично доказательству классической теоремы Бонне. Таким образом, можно сказать, что в главе 4 рассматривается задача изометрического погружения для метрик отрицательной кривизны, обобщенная так, чтобы допустить поверхности с особенностями.
В третьем параграфе главы 4 рассматривается возможность интерпретации решений системы (11) с помощью областей на двумерных многообразиях отрицательной кривизны. Рассмотрение производится на основе той же методики Э.Г.Позняка: восстановление аимдтотических по заданным кривизнам. Однако полученная система уравнений не является, вообще говоря, вполне интегрируемой. Полная интегрируемость достигается в важном частном случае постоянной кривизны. В последнем случае мы получаем строгое доказательство того известного факта, что каждому решению уравнения sine-Gordon соответствует некоторая область на плоскости Лобачевского, возможно накрываемая несколько раз, и метод построения упомянутых областей.
В четвертом параграфе результаты параграфа 3 применены к задаче вычисления геодезической кривизн^ кривой в области изменения параметров системы (11). Ранее эта задача рассматривалась только для случая постоянной кривизны в асимптотических координатах и для кривых специального вида.
Получены обобщения известных формул для геодезической кривизны.
В пятой главе указан новый класс выпуклых областей плоскости Лобачевского (граница которых в интерпретации Пуанкаре имеет более двух точек на абсолюте с бесконечным порядком касания), допускающих регулярнее изометрическое погружение в Е3.
Рассмотрим интерпретацию плоскости Лобачевского в круге Пуанкаре В. Введем на dB параметр функциями ^CtJeG(R), К =1,2. с периодом 1. Рассмотрим разбиения С0,П последовательностями {ап> и iön),
I icn}n-i' i{n}n=i' а1=0 (Дополнительно обозначаем: Oj?+1 =a1+1, и считаем, что если Я=2, то либо Ъл*аг, либо Ь£^а3);
II Ч.С,' «пС,' а1=°- 11шА =
П->+СО
III "»«h = п =
п-»-а> П-»+СО
Соединим 5(un) и £(bn) геодезической I , тогда Z , дуги 5(ibn,an+1]), и {£(0)1, ограничивают множество G . Для каждого п выберем ([bA,an+11).
Фиксируем N: Ne£('(an,bn]) при некотором п в случае (I) (N=|(bn) только если b = и N=£(0) в случаях II и III.
Рассмотрим открытые орикруги 0 и ОNeü, О, р(дО\1Ю,дО^\{Ю) = d, где d = (р вычисляется в метрике
Лобачевского). Проведем геодезическую 1п, соединяющую N и Jfn, обозначим: Р = L ПдО, Р* = I Лд0„. Отметим на дО (дОл) точки 4
п л n XI * * п
U*VjlJ^--(В*) так, что длина дуги CPn,^3, tPn,Bnl (ЕР*,Л*],
СР*,В*]) равна D = —Lr -sti[|j
Определение. Если для кавдого n:ln и I +1 пересекают дуги САп,Вп1 и кривых дО\{Ю и дО^МЮ , то будем говорить, что
О правильно расположен относительно G и
Теорема: пусть LdJ - простая замкнутая кривая, ограничивающая множество С„, ШдВ = IM^ . Пусть для G и (¿Гп> можно указать правильно расположенный относительно них орикруг О,.тогда Gt можно С3 - гладко изометрически погрузить в Е?
Доказательство проводится по следующему плану: строится орикруг 0£: O^cOgcO. орикруг 0g отсекает от "рукава" уходящие на бесконечность. Задача состоит в том, чтобы построить е G решение системы, уравнений Гаусса и Петерсона - Кодацци (или системы(6)). Т.к. каждый орикруг стандартным образом аналитически погружается в Е3, то С?„ГЮе решение системы уравнений (6) заведомо существует. В упомянутых выше "рукавах" решение строится с помощью системы (7) в римановых инвариантах. В достаточно удаленной части "рукавов" успешно используется метод малого параметра З.Г.Позняка в модификации Д.В.Туницкого. Основная задача: построить решение в прилегающей к 0£ части "рукавов" с обеспечением гладкой сшивки с уже имеющимся решением в 0£ и с решением в достаточно удаленной части "рукавов". Последняя задача решается с учетом специального вида, который принимают уравнения (7) в полугеодезической системе координат на плоскости Лобачевского, и числовых значений d и D.
В заключении кратко перечислены основные результаты диссертации.
I) В диссертации рассматриваются геометрические свойства уравнения sine-Gordon, а также системы (11), обобщающей упомянутое уравнение на случай переменной кривизны.
Для системы (11) доказана теорема, Обобщающая известную теорему З.Г.Позняка о геометрической интерпретации решений уравнения aim-Gordon.
Для уравнения sine-Gordon обоснован алгоритм, позволяющий
каждому решению этого уравнения сопоставить область на полном двумерном ориентируемом многообразии постоянной отрицательной кривизны (вообще говоря накрываемую несколько раз).
Полученные результаты использованы для исследования внутренней геометрии поверхностей отрицательной кривизны в В3.
II) На основе использования геометрических методов в диссертации получены новые утверждения с свойствах гиперболических систем квазилинейных уравнений.
Доказана невозможность осуществления некоторых специальных способов расположения (в области существования решения) характеристик систем (6) (система уравнений асимптотических сетей), (7) (основная система уравнений теории поверхностей, отрицательной кривизны в римановых инвариантах). Полученные результаты позволяют делать утверждения о характере областей определенности начальных данных при решении задач Коши для упомянутых систем.
Указаны условия, при которых некоторые гиперболические системы уравнений являются, на фиксированном решении, узко-гиперболическими.
Доказана, одна теорема существования решения для системы (6).
III) На основе методов математической физики получены новые результаты в теории изометрических погружений двумерных римановых метрик в евклидовы пространства.
Найдены необходимые и достаточные условия существования изометрического погружения метрики вращения на сфере и плоскости в Ел в виде поверхности вращения и ее обобщений.
Найден новый класс выпуклых областей плоскости Лобачевского, допускающих регулярное изометрическое погружение в Е3, содержащий области, граница которых в интерпретации Пуанкаре касается
абсолюта более чем в двух точках, с бесконечным порядком касания.
Список работ, опубликованных автором по теме диссертации.
1. Бадьин A.B. "О восстановлении метрики вращения на сфере по заданной кривизне" деп. в ВИНИТИ, рук. » 1980-В91 от 15.05.1991.
2. Бадьин A.B. "Изометрические погружения заданных на сфере метрик вращения в виде поверхностей вращения в Ел", Вестник МГУ, сер.З (физика, астрономия), 1992, Т.33, J62, стр. 24-29.
3. Бадьин A.B. "Изометрические погружения двумерных римановых метрик отрицательной кривизны, в Е3", Вестник МГУ, сер.1 (математика, механика), 1994, HZ, стр. 47-56.
4. Бадьин A.B. "Об изометрическом погружении в В3 области на плоскости Лобачевского с границей, имеющей более' двух точек на абсолюте", в книге тез. док. Всероссийской школы-коллоквиума по стохастическим методам геометрии и анализа (Абрау - Дюрсо, 1994), стр. 10-11.
Типография. ЦНИЭИуголь. Тирая( 100 экз. Заказ Na 176