О С-спектральной последовательности эволюционных уравнений тема автореферата и диссертации по математике, 01.01.04 ВАК РФ

Хорькова, Нина Григорьевна АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Москва МЕСТО ЗАЩИТЫ
1991 ГОД ЗАЩИТЫ
   
01.01.04 КОД ВАК РФ
Автореферат по математике на тему «О С-спектральной последовательности эволюционных уравнений»
 
Автореферат диссертации на тему "О С-спектральной последовательности эволюционных уравнений"

) ^ ■ >

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ имени М.В.ЛОМОНОСОВА

Механико-математический факультет

О С-СПЕКТРАЛЬНОИ ПОСЛЕДОВАТЕЛЬНОСТИ ЭВОЛЮЦИОННЫХ УРАВНЕНИИ

01.01.04 - геометрия и топология

Автореферат диссертации на соискание ученой степени кандидата физико-математических наук

На правах рукописи

ХОРЬКОВА НИНА ГРИГОРЬЕВНА

УДК 514.763.8

МОСКВА, 1991

Работа выполнена на кафедре высшей геометрии и топологии механико-математического факультета МГУ им. М.В.Ломоносова

Научный руководитель - доктор физико-математических наук

Официальные оппоненты: доктор физико-математических наук

в 16 час 05 мин на заседании специализированного Совета Д.0Ь3.05.05 по математике при МГУ им.М.В.Ломоносова по адресу: 119 899, Москва, Ленинские горы, МГУ, механико-математический факультет, ауд. 14-08.

С диссертацией можно ознакомиться в библиотеке механико-математического факультета МГУ (14 этаж).

доцент А.М.Виноградов

доцент Д.В.Алексеевский кандидат технических наук И.С.Красильщик

Ведущее предприятие - Тартуский университет

Защита диссертации состоится

Автореферат разослан

.1991 г.

Ученый секретарь специализированного Совета Д.053.05.05

В.Н.ЧуОариков

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность теш. Дифференциальные уравнения в частных производных играют важную роль в современном естествознании, причем сейчас уже можно считать общепризнанной ту идеологию, которая призывает при исследовании системы (нелинейных) дифференциальных уравнений ( далее "система д.у.", "д.у." или "уравнение") искать не только ее точные решения, но и те или иные характеристики рассматриваемого д.у., которые позволяют получать полезную для приложений информацию оС объекте, описываемом данным уравнением. Одной из важнейших характеристик д.у. является наличие у него локальных симметрий, которые широко используются при исследовании конкретного уравнения 1)_3). Однако развитие геометрической теории дифференциальных уравнений показало ограниченность локальной точки зрения и привело к появлении новых средств исследования д.у., таких как, например, псевдопогенциалы и структуры продолжения Уолквисгэ - Эстабрука, преобразования

1). Овсянников Л.В. Групповой анализ дифференциальных уравнений/ /М.:Наука, 1978.

2). Ибрагимов Н.Х. Группы преобразований s математической физике//М.:Наука, 1983.

3). Виноградов A.M., Лычагин Ь.В., Красильщик 14.<J. Введение в геометрию нелинейных дифференциал!них уравнений//

М.: Наука, 198В.

/ -///У

Беклунда и др.41,5). После выхода работ А.Ы.Виноградова и И.С.Красильщика б),7) стало ясно, что эти новые конструкции являются фрагментами теории накрытие и нелокальных симметрия 61,7). Нелокальные симметрии при исследовании уравнений могут быть использованы так хе, как и локальные, и потому задача нахождения нелокальных симметрии для заданного уравнения представляет интерес.

Содержательную информацию о геометрических, инвариантах дифференциального уравнения несет также С-спектральная последовательность {Е£,ч(3>ю),й£'4} бесконечно продолженного уравнения У003), введенная А.М.Виноградовым а). Так, например, группы Е^'^ЧЗу отождествляются с грушами к-мерных

4). Олвер П. Приложения групп Ли к дифференциальным уравнениям/ /М.:Мир, 1989.

5). АОловиц М., Сигур X. Солитоны и метод обратной зада-

чи/УМ.:Мир, 1987.

6). Krasllschchlk I.S., Vinogradov A.M. Nonlocal symmetries

and the theory ol covering//Acta Appl. Math. - 1984.

V.2, 110.1, P.79-96.

7). Krasllschchlk I.S., Vinogradov A.M. Nonlocal trends In

the geometry oi dlXIerentlal equation: symmetries,

conservation laws and Backlund transfonnatlon/v'Acta

Appl. Math. - 1989. 7.15.- P.161-209.

8). Виноградов A.M. Одна спектральная последовательность, связанная с дифференциальным уравнением, и алгеСро-геометрические основания лагранжевой теории поля со свя-ЗЯМИ//ДАН СССР.- 1978. Т.238, * 5.- с.1028-1031.

горизонтальных когомологий де Рама 3', среда которых груша Й"-1 (Ут), где п - число независимых переменных, - груша законов сохранения 9). Группа е] ,п~1 для регулярных уравнений 9) может быть отождествлена с кегТ^, где звездочка обозначает операцию формального сопряжения оператора. Как известно, кегГ* содержит все производящие функции законов сохранения, причем дифференциал сопоставляет закону сохранения его производящую функцию, а условие й] ,п~1 (<|>)=0 выделяет те функции фекег1^, которые являются производящими функциями законов сохранения 9). Элементы группы {уа) при р^2 могут трактоваться как законы сохранения для семейств решений д.у. 101.

Приведенное описание групп (3>ю) показывает, что

знание их может оказаться полезным при исследовании дифференциального уравнения.

Цель работы - исследование уравнений, определяющее нелокальные симметрии, построение новых серий нелокальных симметрии для уравнений, имэодих оператор рекурсии А), развитие методов вычисления групп (ую), р>1 с-спектраль-ной последовательности дифференциального уравнения.

Научная новизна. В диссертации доказано существование серий нелокальных симметрий ряда уравнений, имеющих опера-

9). Vinogradov A.M. C-Spectral Sequence, Lagrangian Formalism and Conservation Laws//J. ol Math. Anal, and Appl.-1984. V.100, no. 1«— P.1-129.

10).Tsujlshlta T. Formal geometry of systems of differential equatlon/ZSugaku Expositions AHF.- 1989. V.2.

J-///V

тор рекурсии; предложен метод вычисления группы (¿>да)

для эволюционных уравнений, проведено вычисление группы ,п"1 (З'оо) ляя некоторых эволюционных уравнений с одной пространственной переменной, в том числе для уравнения Бюр-герса, уравнений КдФ, МКдФ, ШдФ; порчены теоремы тривиальности групп , р?-2 для некоторого класса уравнений, имеющих бесконечное число симметрия.

Приложения. Полученные в диссертации результаты могут найти применение при исследовании уравнений математической физики.

Апробация. Результата диссертации докладывались и обг-сукдались на заседании кафедры высшей геометрии и топологии МГУ им.М.В.Ломоносова, на научных семинарах кафедры высшей геометрии и топологии под руководством А.М.Ьиногргдова, на международной конференции по дифференциальной геометрии и ее приложениям ( Чехословакия, г.Врио, 1У8У г.), а также ка научном семинаре кафедры геометрии Тартуского университета.

Публикации, '.'снсвные результаты диссертации опубликованы е работах И 1-14), приведенных в конце автореферата.

Структура диссертации. Работа состоит из введения и

двух глаЕ. осъеч - 77 страниц, в списке литературы 23

ч

наименования.

КРАТНОЕ СОДЕРЖАНИЕ РАБОТЫ

Во введении дан краткий обзор результатов диссертации.

ГлаЕа 1 посвящена вопросам существования нелокальных симметрия.

В 5' дается краткая сводка используемых понятий и фактов из теории накрытий и нелокальных симметрия '' .

Определение 1.б) Накрытие уравнения у есть тройка ( 5\С,т), где у - некоторое бесконечномерное многообразие, С - п-мер-ное распределение на у, удовлетворяющее условиям классической теоремы Фробениуса, а т - такое регулярное отображение у на уа, что для любой точки уО> касгтельное стобрахениэ т^ у есть изоморфизм плоскости Су на картанов-скую плоскость9' уравнения в точке г (у).

Локально накрытие г: у —► уа задается набором векторных полей на у

Ь> ЕЛ , К1«1. (1)

1 1 3-1 3 а

где ^,...я - координаты в слое проекции г (нелокальные

. /V

переменные), а функции Х*еС (У) удовлетворяют условиям

51(х^) = 5ух*), 1а,к«г. (2)

Алгебра нелокальных симметрия уравнения типа т; определяется как алгебра локальных симметрия накрывающего уравнения у. Имеет место следующее предложение. Предложение 1. Любая нелокальная симметрия типа т уравнения у={?=0} является эволюционным дифференцированием91 вида

Эа,В= V <3>

где а=(а1,. ...е^), В=(Ь,,...,Ьн), а^.Ь^С®^), причем функции а^, удовлетворяют уравнениям

1у(а)=0, (4)

53(Ь1)= Эа<в(Х^), ККН. (5)

В §2 устанавливается связь между элементами одномерной группы горизонтальных когомологий де Рама Я1 (У^) и накрытиями. А именно, сопоставим накрытию, задаваемому полями (1), где Х*€С|ЯО>00). набор горизонтальных 1-форм на ут

V ^ 3,1.....(6)

Условия (2) в данном случае имеют вид З^ш =0, 3=1.....N.

Поэтому формы ш1,... порождают некоторые элементы }, ...Лш^] групш й1 0>м). Обратно, набору из N горизонтальных замкнутых 1 -форм (6) на Уа, являющихся представителями классов когомологий 1.....Сш^кН1 (Ую), соответствует Л-мерное

накрытие уравнения Уа. локально задаваемое полями (1).

Далее в §2 приводится конструкция универсального абе-лева накрытия.

7)

Рассмотрим сумму Уитни одномерных накрытий , определяемых элементами базиса пространства Н1 О^). Это накрытие обозначим через : у11}—» ут. Возьмем сумму Уитни всех одномерных накрытий над 5>(1), определяемых элементами базиса пространства Н1 {у^ ]). Получим накрытие г2 1: у1г)— над УП), которое определяет накрытие *сг=т1,"т2 1 :у(2)—» Уа над ут. Продолжая этот процесс, получим башню накрытий над Ую

Пусть у *- проективный предел этой цепочки, а т*: у *—» уа-

соответствувдая проекция. Накрытие т*: у *—» уа искомое.

Нелокальные симметрии в универсальном абелэвом накрытии описывает следующая теорема.

* ~ *

Теорема 1. Пусть т: у -» у^ - универсальное аСелево

накрытие уравнения у = £Р=0). Тогда для любой вектор-функции а=(а1,...,ат), а1е Сю(;у *), удовлетворяющей уравнению. 1р(а)=0, где волна над знаком оператора обозначает его поднятие в накрытие х*, существует набор таких

функций Б = ( Ь1), Ь € С™ (¿у ), что векторное поле

л* /у а

эа В = эа + Ь1 • гда ~ координата в слое проекции д

1* (нелокальные переменные) есть нелокальная симметрия типа *

а уравнения у.

Теорема 1 утверждает, что в случае универсального абе-лева накрытия любая вектор-функция на накрывающем уравнении, лежащая в ядре оператора 1р, порождает некоторую нелокальную симметрию уравнения у.

В §3 строятся серии нелокальных симметрия для уравнений, имеющих оператор рекурсии. Предлогеняе 2. Пусть дифференциальное уравнение вида

У = (и^ Бх(в(х,г,и,и1,...,ик))}, из=

имеет оператор рекурсии И= Гк Б^, г^с*). Тогда

для любой симметрии Эа в в накрытии т* существует симметрия Эа,в,, где а'= Н(а), И= *к

Предложение 3. Пусть уравнение у и его оператор рекурсии Е удовлетворяют условиям предложения 2.. Предположим также, что существует локальная симметрия <р уравнения у, порождающая с помощью оператора Н бесконечную серию локальных симметрия 5={ Ипф|п=0,1,...), причем 5. Пусть Н(П - поднятие оператора И в накрытие ■х1: у1Л)—» ут, ассоциированное со всеми локальными законами сохранения уравнения у, - нелокальные переменные в накрытии . Тогда, если Ф=

«V

=2Фк»к+Фекег1?; где под знаком суммы отлично от нуля только конечное число членов, <рке5, Ф€Ссо(3^оо>, то И!15(Ф)еСго( и имеет аналогичный вид.

Отметим, что условиям предлохений 2 и 3 удовлетворяет популярное уравнение КдФ.

В §4 приводятся примеры уравнений, к которым предложение 2 формально применить нельзя, но тем не менее в накрытии -х* у этих уравнений возникают дополнительные серии нелокальных симметрия. Среди них уравнение з 1т?-Гордон, модифицированное уравнение Кортевега ле Фриза (МКдФ) и др.

В §5 проводится исследование уравнений (4),(5). определяющих нелокальные симметрии в произвольном накрытии и у —► уа. Доказана следующая теорема. Теорема 2. Для любого накрытия х: 5' —* У^ уравнения ую существует такое накрытие г3: ух —► у —► ут, что любая вектор-функция ф=(ф1,...,ф ), ср±€ С™ (Я,.), удовлетворяющая уравнению 1р(<р)=0, где - поднятие оператора 1г, на Ух, порождает нелокальную симметрию уравнения ух типа г3.

Отметим здесь работу К.К1зо 11>, в которой доказан аналогичный результат для эволюционных уравнений с одной пространственной переменной. Подчеркнем, что теорема 2 справедлива, для произвольных систем д.у..

Глава 2 посвящена развитию методов вычисления члена Е*,п~1(3^) С-спектральной последовательности в случае одного дифференциального уравнения в одномерном линейном расслоении.

В §1 приводится конструкция С-спектральной последовательности 9>, а также полученное на основе результатов этой

11).К1ао К. Раеи<1оро1еп1;1а1 ап! аутшегг1еа оГ ето1и11оп equations//Pгepгlnt.EMme ип17егз11у.1985.

работы описание групп в случае одного дифферен-

циального уравнения в одномерном линейном расслоении.

В §2 дано удобное для вычислений описание группы ^•»-'(У«,) Л"51 эволюционного уравнения: Теорема 3. Если

.Уги^К^х.и.....иа,.. ),х=(х1,....хп_1 ),и=и(х1,...,хп_,,1)-

эволюдаонное уравнение, то группа Кр1*-11У«,) изоморфна линейному пространству, состоящему из С-дифференциальных операторов Лгс"^)—► С°°(ут) вида

удовлетворяющих уравнению 1*» Д - 4*« 1р, где ? = рп-

Г(х,р0.....р0,...), или системе уравнений

Д^-Д

иг(Д) + й°Ту| 1*«д -= о, где С4(Д) - ^.Д).

В приводятся результаты вычислений груш для ряда эволюционных уравнений с одной пространственной переменной, основные результаты этого параграфа содержатся в теоремах 4 и Ь.

Теорема 4. Если уравнение имеет вид

^ш^-и^ од/б'и / О,

то = О.

Теорема 5. Пусть у - 1 и^ = -и + Згг ) - потенциальное ураЕнение Кортевега-де Фриза (ПКдф). Тогда группа Ь"^'1 есть двумерное векторное пространство над в?, порожденное операторами

§§4-6 посзящены вычислению групп Ц'^) при р>з.

с

Пусть у = i F=0 }, Р е c®(Jk(ic)), - регулярное дифференциальное уравнение в одномерном линейном расслоении

%'. Е11*1-. Мп.

Выделим два класса уравнений приводимыми ниже условиями DC1 и DC2.

Условие DG1. Подаодуль Ку модуля CDlii(C°°(3;oo) ) 9\

порожденный операторами ввда v°lp, обладает прямым дополнением в CDlir(С®(3;ю),С°°())), т.е. существует такой подмодуль о с cMmc^yj.c00^)), что

Ш1Г(СС0(У<о),С00(У<о)) = Крф о. Условие DG2. Подмодуль К^, обладает прямым дополнением, причем модуль О может быть выбран так, что любой оператор из О, обращающийся в нуль на ker 1р, тождественно равен нулю.

Отметим, что если дифференциальное уравнение в частных производных удовлетворяет условию D02, то это уравнение обладает бесконечным числом симметрия.

Имеют место следующие теоремы. Теорема 6. Предположим, что регулярное уравнение y=lF=Q)

в одномерном линейном расслоении u: Е1141-» Мп удовлетво-

р0.а-1

ряет условию DC2 и для некоторого р0>1 Е^

Тогда (Ую)~0 для любого Р>Р0-

Теорема 7. Предположим, что эволюционное уравнение

3> = {ut=i(x,u,5u/ax.....a^i/ax*)}

удовлетворяет следующим условиям:

1 > Е^•1 (Уа) - конечномерное векторное пространство над к; 2) Уравнение у имеет симметрии сколь угодно высокого порядка.

Тогда для любого р>3 1(Ут) = О-

Из теоремы 7 вытекает, в частности, тривиальность при р^З груш Щ'1 (3>м) для таких уравнений как уравнение Бвр-герса. уравнений Кдф, ПКдФ и МКдФ.

СПИСОК ОПУБЛИКОВАННЫХ РАБОТ ПО ТШЗ ДИССЕРТАЦИИ

Ш. Хорькова Н.Г.Об операторах рекурсии для дифференциальных уравнений в частных производных//Геоме трия, дифференциальные уравнения и механика.- Изд-во МГУ,1986.-с.156-158.

12].Хорькова Н.Г. Законы сохранения и нелокальные симмэт-рии//Математически8 заметки.- 1938. Т.44, вып.1. -с.134-144.

[31.Хорькова H.F. Законы сохранения и нелокальные симмет-

. рш//Труды МВТУ .- 1988. *Б12, С.105-119. [4].Хорькова Н.Г. О С-спекгральной последовательности эволюционных уравнений//Математачвские заметки. - 1991. Т.49, вып.6.