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

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

А а я 9 о

V • и " АКАДЕМИЯ НАУК СССР

УРАЛЬСКОЕ ОТДЕЛЕНИЕ БАШКИРСКИЙ НАУЧНЫЙ ЦЕНТР Институт математики с вычислительным центром

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

МАГАДЕЕВ, БОРИС АЛЬБЕРТОВИЧ

УДК 517.95

СТРУКТУРА СШШТИИ ЭВОЛЮЦИОННЫХ УРАВНЕНИИ

(01.01.02 - дифференциальные уравнения)

АВТОРЕФЕРАТ ' диссертации на соискание ученой степени кандидата физико-математических наук

Уфа -4 990

Работа выполнена на кафедре высшей алгеоры и геометрии Башкирского государственного университета имени 40-летия Октября.

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

профессор А.Б.Шабат

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

профессор В.В.Лычагин кандидат физиков- математических наук С.В.Хабиров

Ведущая организация: Математический институт

АН СССР им. В.А.Стеклова

Защита состоится " 1990 г. в_/5^часов на

заседании специализированного совета К 003.59.01 при, Институте математики с Вычислительным центром.Башкирского научного центра Уральского отделения АН СССР ( 450057, Уфа-57, ул'. Тукаева, 50, комн. 12 ).

С диссертацией можно ознакомиться в библиотеке БНЦ УрО АН СССР..

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

1990 Г.

Ученый секретарь специализированного совета, КР. , А.Б.Секерин

к.ф.- м.н.

.'. '¡г:'а

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

•Актуальность проблемы. Теория симметрии дифференциальных уравнений, восходящая к работам С. Ли, интенсивно развивалась в последние двадцать лет в связи с потребностями теоретической и математической физики, и в первую очередь, теории солитонов. После открытия метода обратной задачи началось изучение критериев его применимости к конкретным уравнениям, классификация интегрируемых уравнений и исследование необходимых для нее замен переменных. Оказалось, что все эти вопросы тесно связаны со структурой алгебры симметрии дифференциального уравнения.

Простейшими, с точки зрения теории симметрия, уравнениями с частными производными являются эволюционные уравнения

• = Р(1,х,и,и1,и2,...,ип), (1)

где ^ = Зки/ахк. Структура локальных1 симметрии' таких уравнений, независящих явно от х и г, достаточно хорошо изучена. В диссертации изучаются симметрии уравнений (1), зависящие явно от х и I. Кроме этого, затрагиваются вопросы, возникающие при попытках исследования симметрии нелокальных уравнений и уравнений с болышм числом независимых переменных. Известно, что в этих случаях возникают проблемы с выбором "динамических" переменных, что существенно затрудняет алгебраическую формализацию задачи. В диссертации рассматривается модельный класс нелокальных уравнений, для

Под локальной симметрией уравнения понимается функция, зависящая от независимых переменных X и ^ зависимой переменной и(хД) и всевозможных производных и по. X и I, и удовлетворяющая линеаризации уравнения на каждом его решения и(х.г)

которых указанные трудности удается преодолеть.

Цель работы. Работа посвящена изучению локальных ■симметрия эволюционных уравнений.

В главе 1 изучаются явно зависящие 01 I и ) локальные симметрии некоторых классов эволюционных дифференциальных уравнений с полиномиальной правой частью.

В главе 2 изучаются контактные симметрии эволюционных дифференциальных уравнений общего вида.

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

Научная новизна. Все результаты диссертации являются новыми.

В главе 1 полностью описаны явно зависящие от х и t локальные симметрии достаточно широкого класса эволюционных дифференциальных уравнений с полиномиальной правой частью.

В главе 2 доказано, что эволюционные уравнения, имеющие бесконечномерную алгебру классических симметрий, линеаризуются контактным преобразованием.

• В главе 3 на примере псевдодифференциальных эволюционных уранений, интегрируемость которых методом обратной задачи

о

установлена Двгасперисом и Сантини , показано, что выбор нетрадиционных динамических переменных позволяет применить локальную теорию симметрии к нелокальным уравнениям.

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

Degasperis a., Santini P.m. Linear operator and conservation laws for a class of nonlinear integro differential evolution equations // Phys. Lett. A, 1983, v.98, » 5,6, p. 240 - 244.

дифференцирования в алгебре функций ■ от динамических переменных.

Теоретическая значимость. Результаты диссертации носят теоретический характер и могут быть использованы в исследованиях по теории солитонов и нелинейным уравнениям в частных производных.

Апробация работы. Результаты диссертации регулярно докладывались на семинаре "Интегрируемые системы" под руководством проф. А.Б.Шабата в Башкирском государственном университете, а также докладывались автором на семинаре под руководством чл'.-корр. АН СССР В.Е.Захарова и Всесоюзной конференции по комплексному анализу и дифференциальным уравнениям (Черноголовка, 1987).

Публикации. Основные результаты диссертации опубликованы в работах [1 - 31. Работа [1] выполнена совместно с В.В".Соколовым. Из результатов этой работы в диссертацию автором включены только те результаты, которые получегш им лично.

Объеи работы. Диссертация состоит из введения, трех глав, разбитых на семь параграфов, и списка литературы, содержащего 30 наименований. Диссертация изложена на 100 страницах.

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

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

иь = Р = ип + Р(и,и,,... ,ип_2), п > 2', (2)

где = аки/<3кк, РЧи.ц,.....ип 2) - полином.

Теореиа 1. Пусть £и,х,и.....х^) - силлетрия-уравнения

(2). Тогда g = е, и,х,и,... .и^ '+ где g1 - полшол

от х, и, ..., Uj^.

Для уравнений (2) без свободного члена, таких, что

Р(0.....0) = 0, (3)

изучаются пространства симметрия ограниченного порядка. Пусть Sym_1 - пространство симметрия вида g(x,t), Syn^ пространство симметрии порядка не выше i.

Теорема 2. Бели уравнение (2), удовлетворяет условию (3), no din Syml/Syml1 < а>. Для нелинейных: уравнений dim Sym^ < а>.

Далее рассматривается вахный класс не.линейных уравнений -однородные уравнения, то есть уравне1шя, инвариантные относительно однопараметрической группы растяжений

í = x x, t = l" i, u ~ 1~a u, (4)

где n - порядок уравнения. Все однородные уравнения вида (2) удовлетворяют условию (3).

Теорема 3. Пусть однородное уравнение вив а (2) не

является формально линеаризуемы . Тогда его алгебра силлетрий порождается, гак линейное пространство, ciuuempuíuu, независяи,гии от х и t, силлетрией n F X + и J + a u,

соответствующей лаытавной группе (А), и силлетрияли

д¥/ди t + 1, если д?/8и - сшиетрия,

<9F/5u1 t + i, если д¥/ди = О, a д?/ди^ - сшиетрия,

х, хг..... х"\ если SF/Ou. = 0 при 0 í 1 { ®, dF/du , ¿ 0.

i r mil

3

Определение формальной линеаризуемое™ ст. Sokclov V.V., Shabat А.В. Classification of integrable evolution equations // IJ.Y. rHarwood Academic PubLiehers. Soviet Scientific Rewiews. Section G. 1984, v.4, - 280.

се неинтегрируемые однородные уравнения (2) удовлетворяют словию теоремы 3. Кроме того, ее условию удовлетворяют многие елинейные интегрируемые уравнения4, в частности уравнение ортевега - де Фриза и модифицированное уравнение Кортевега -е Фриза. Структура симметрия этих уравнений, не зависящих вно от х и хорошо 'известна, поэтому применение теоремы 3 эзволяет немедленно описать все их локальные симметрии.

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

X - зеШ, х = ф(г,х,и,и1), ^фи.х.и.и,), (5)

1е аф/аи1 (и1 аф/аи + аф/ах) = аф/аи1 (и, лр/аи + <Эф/ах).

гассические симметрии уравнения (1) соответствуют однопараме-шческим грушам преобразований (5), действующим на множестве ¡тений этого уравнения, и часто называются контактными [мметриями. Основным результатом второй главы является

Теорема 4. Если сигебра контактных силлетрий юмэционного уравнения (1) бесконечнолернато конмштил еобразованиел (5) его ложно превратить в линейное уравнение.

Доказательство теоремы 4 основано на изучении ряда далгебр в алгебре Ли Ву эволюционных векторных полей. Пусть 0 - подалгебра векторных полей с генераторами вида 11(3:,и,и )

См., например, описки интегрируемых, уравнений в обзоре хаПлов Л.В., Соколов В.В., Шабат А.Б. СимметриАшй подход к эссификации интегрируемых уравнений. В кн. 1!нтегрируемость и этические уравнения для политопов. Киев: Наукова думка,

59.

(зависимость от t мы временно опускаем). По каждому генератор;

Fix.u.u,.....un) , € Ev (6) '

определяются три подалгебры в EvQ:

5р - лножество hix.u.u,) € EvQ, таких, что [P,hl t EvQ, ЬТ - лножество hix.u.u,) е Ev0, таких, что [F,hl е 5F, t q„ - лнохество h(x,u,u,) е таких, что (ad F)kh е Ev

£ 1 (J

при всех k е IN. Легко видеть, что э i) а ар. Удаетс описать все генераторы (6), такие, что dim 5р = <»:

Теорема 5. Пусть ord F £2. Для бесконечнолерносп алгебра необходило и достаточно, чтобы контактнь

преобразование* Р ложно Оьио превратить в один ив следугщ генераторов (с точностью до произвольного слагаелого из EvQ):

1) aF4 + pP3+7F2

где а, р, 7 = const,

F4 = u4/u4 - 10 u,u3/u5 - 5 u^/u5 + 45 u^ug/u6,

F3 = u3/u3 - 6 u^/u4 + б ut3/u5,

F2 = a/u2 - 2 u^/u3, причел 5f - алгебра всех функций вида h = g(x) u1 + g' (x) u;

n-1

2) u+J]a.(x)u,

1=2

\

причел при п 2 3 как линейное пространство порождает

элелегтали g(x), и, и, если вй±/дх = 0 для всех 1, элеленжии g(x), и в противнол случае, а при п = 2 состс из элелентов вида h = X и, + g(x,u), А. = const;

3) '- 3/2 и2г/и1 + а(х) Ug,

причел как линейное пространство порождается элелент.

g(u), u( если да/дх = О, и элементами g(u) в проливном случае. Применение теоремы 5 позволяет доказать'следующие утверждения: Теореме 6. Если dim t>F = <», по контактным преобразованием генератор F лохно превратить в линейный генератор вида

' и 4П£а.(х) u. + i(x). (7)

V 1=0

Теореыа 7. Для любого генератора F вида (б), не сводящегося контактны* преобразованиях к линейному генератору (7), илеет лесто неравенство dim «р $ ord Р + 3.

В основе доказательства теоремы 4 лежит тот факт, что подалгебра ContQ симметрия вида h(t.x.u.uj) в алгебре контактных симметрия является подмножеством алгебры Ьр, которая, согласно теореме б, конечномерна, если уравнение не линеаризуется контактным преобразованием. Однако, при доказательстве теорем 5 - 7 не учитывалась зависимость генераторов от t, и потому доказана лишь конечномерность алгебры Ър над полем ¥ функций от t, откуда, вообще говоря, не следует конечномерность алгебры ContQ над полем констант. Преодолеть это затруднение помогает

Теорема 8. Пусть S - произвольное пространство (над С) силлетрий зво.кционного уравнения (1), а Н. - конечномерное пространство над полем U, содержаще S. Тогда dlm^ S ^ dim^ Н. В третьей главе изучаются симметрии эволюционных систем г u.= w Т и

* (8) t v = и Т v,

u = w Т"1и

* , (9)

v = w Т V,

где w2 + u v = 7г = const, и некоторых редукций этих систем. Действие псевдодаТференципльных' операторов Т и Т-1 на бы^троубнвающие Функции ф(х) определяется соотношениями

ии

Т <р(х) = - V.р. Г ■п

ф(б) (18

аь(5(х-в))

00

1 г <р(в) <18

I Г цдв

Т 1 <р(х) = - - у.р. —— V ■>

Теореиа 9. Системы (8) и (9) илеют бесконечные серии коллушруюцих высших сшиетрий. Эти силлетрии являются рациональным функциями переменных и1 = Б^и и у1 = где - дифференцирование в силу соответствующей системы, и совпадают с высшли симметриями дифференциальной систем.

и?У + 2 и.У,и и2у

1и = и_ + -р-1-1* ^ 2(т г- и V)

о ? (Ю)

ути + 2 и.У.У У и

-IV = У. + ' 11

2 2(7г - и у)

Симметрии редукций систем (8) и (9) совпадают с симметриями соответствующих редукций системы (10).

Далее в диссертации рассматривается уравнение

и{ = I ч2, (11).

которое является нетривиальной редукцией системы (8), и, по-Видимому, изучается впервые. Высшие симметрии этого уравнения совпадают с симметриями модифицированного уравнения Кортевега - де Фриза

и, = + 6 иЧ- (12)

Тот факт, что уравнения (11) и (12) имеют общие решения, позволяет построить п-солитонные решения уравнения (11) (отметим, что в" отличие от систем (8) и (9), при попытке получить п-солитонные решения ' уравнения .(11) стандартными

2

метода™ возникают затруднения, которые преодолеваются благодаря наличию симметрии (12)). В параметры, задающие фазы всех солитонов п-солитоннсго решения и^.т) уравнения (12), удается включить зависимость от дополнительной переменной х так, что полученная функция и(г,т:,х) удовлетворяет уравнению (11). 'Так, общее для• уравнений (11) и (12) двухсолитонное решение имеет вид

(а^ + ) (а1 сЬ Аг + а2 ей А,)

и(х,г,т) = --,

(а^ + с|) с1г А1 сЬ А2 + 2 а1 аг (1 - 8)1 А1 зП Аг)

где Ак = *Л) х - о^ г - с£ т - рк, ак.|Зк е с.

Основные результаты диссертации опубликованы в следующих работах:

1. Магадеев Б.А., Соколов В.В. О полной алгебре Ли-Беклунда уравнения Коргевега-де Фриза // Динамика сплошной среды, 1981, вып.52, с.48 - 55.

. 2. Магадеев Б.А. 0 нелокальных эволюционных уравнениях, связанных со спектральной задачей Захарова - Шабата // Теор.и мат.физ., 1987, т.72, * 2, с.313 - 317.

3. Магадеев Б.А. Об алгебре контактных симметрий эволюционных уравнений//25 с. Деп. в ВИНИТИ. 1990. Я 2505-В90.

Автор выражает глубокую благодарность своему научному руководителю профессору А.Б.Шабату, а так ке В.В.Соколову и С.И.Свшюлупову, оказавшим значительную помощь в работе.

Соискатель Магадеев'Б.А.

П07178.ТНР.100. Sax.fi 353

У0П БЕЦ УрО АН СССР

- :

МОСКОВСКИЙ ОРДЕНА ЛЕНИНА, ОРДЕНА ОКТЯБРЬСКОЙ РЕВОЛЮЦИИ И ОРДЕНА ТРУДОВОГО КРАСНОГО ЗНАМЕНИ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. М. В. ЛОМОНОСОВА

Факультет вычислительной математики и кибернетики

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

ДЖУРАЕВ АБУБАКИР МУХТАРОВИЧ

УДК 517.919

РАЗВИТИЕ МЕТОДА РЕГУЛЯРИЗАЦИИ ДЛЯ ЗАДАЧ С КРАТНЫМ СПЕКТРОМ

01.01.02 — дифференциальные уравнения и математическая физика

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

Москва 1989

// */ («У

Работа выполнена на кафедра специальных курсов высшей математики Московского ордена Ленина и ордена Октябрьской Революции Энергетического института.

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

профессор С.А.Ломов

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

профессор А.Б.Васильева, кандидат физико-математических наук Ю.П.Губин.

Ведущая организадия - Казахский государственный университет.

Защита состоится в 15 час.30 мш>

на заседании специализированного совета Д.053.05.37 в Московской государственной университете им.и.В.Ломоносова па адресу: 119899, Москва, В-234, Ленинские горы, фанультет вычислительной математики и кибернетики, ауд. 685.

С диссертацией мокно ознакомиться в библиотека факультета ВМ и К ЧТУ.

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

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

Е.И.Моисеев

: .j -з -

'" ;' i

: ; : ОБЦАЯ ХАРАКТЕРИСТИКА РАБОТЫ

-

Актуальность темы. Создание математических моделей реальных процессов в эпоху научно-технической революции является важным направлением современной прикладной математики. Для анализа этих модален используются различные приближенные методы. На пракгине большой интерес представляют уравнения о малым пара-негром. Поэтому, естественно, наряду с численными методами используются асимптотические методы. В настоящее время асимптотический анализ для дифференциальных операторов имеет развитую теорию в основном для случая регулярных возмущений. Что же касается сингулярно возмущенных задач, т.е. задач с малыш параметрами при старшей производной, они привлекли внимание математиков после известных работ А.Н.Тихонова, в которых были доназа-ны теоремы о предельном перехода. На основе этих работ А.Б.Васильевой и еэ учениками был разработан метод асиыпготичесного интегрирования нелинейных сингулярно возмущенных задач. 8тот метод позволяет решать задачи в не колебательном случае. Для исследования задач в колебательном случае был разработан метод усреднения, получивший развитие в трудах Н.М.Крылова, Н.Н.Боголюбова, Ю.А.Штропольского, А.Н.Филатова, М.М.Хапаева и других исследователей. Однако ни тот, ни другой метод не используются в задачах, когда спбктр содеркит как мнимые точки, тан и точки, на леаащие на мнимой оси. К задачам со смешанный спектром применяется метод регуляризации Ломова СЛ. Путей ввделення существенно особых многообразий по спектру предельного оператора метод Ломова С.А. позволяет с единой точки зрения изучить сингулярно возмущенные задачи. Поэтому развитие этого метода на сингулярно

- f -

возмущенных задач с кратный спйигрой является актуальный.

/ Цель работы. В настоящей работе изучаются линейные сингу-

/

| лярно возмущенные задачи для систем обыкновенных дидференциаль-

\ ных уравнении, в случае тождественно кратных корней харакхе-

| ристичесного уравнения. Целью работ являются получение точных

! теорем о гладкости по иалоыу параметру решений задачи Кош

\ и развитие аягоритиов асимптотического интегрирования для краевых

I задач на основа метода регуляризации Лонова С.А.

!

; Научная новлзна и практическая ценность. В диссертацион-

ной рабом получены следующие новые результаты.

1. Получены необходимые условия обычно 11 сходимости решений сингулярно возмущенной задачи Коти с иратным спектром к точный решениям.

2. Построено регуляризованное асимптотическое решение сингулярно возмущённой краевой задачи с кратным спектром. Задача изучена в услошях стабильности спектра и при нарушении стабильности спектра предельного оператора.

S. Для краевой задачи проведено обоснование асимптотической сходимости.

Результаты диссертации id гут быть применены к задачам теории гироскопов, теории оптимального управления, к различным задачам радиотехники.

Апробация работы. Результаты работы докладывались на Всесоюзном научном совещаний "Методы малого параметра" (Нальчик, 198? !••), на конференции математиков и механиков Киргизии (Фрунве, 1987г.), на школе-семинаре ВМК МГУ (Черноголовка, 1988 г.), на

научно-технической конференции МЭИ (Москва, 1985 г.), на школе-семинаре молодых ученых МЭИ (Фирсановка, 1986 г.), на семинарах проф. Васильевой А.Б. и проф. Хапаева М.М. и на научном семинаре по теории возмущений МЭИ (руководитель - профессор С.А.Ломов).

Публикации. По теме диссертации опубликовано 5 статей.

Объем и структура работы. Диссертация состоит из введения, трех глав и списка литературы из 80 названий. Объем диссертации составляет 90 страниц машинописного текста.

СОДЕРЖАНИЕ ДИССЕРТАЦИИ

В первой главе диссертации рассматривается сингулярно возмущенная задача Коши

-лещ = Л аъ у (с, (1 >

При ¿->(7. Здесь предельный оператор^С^) действует из ^-мерного гильбертова пространства Н в ¡-¡и имеет точдественно кратный спектр. Для задачи (I) получены условия, при которых ре-гуляризованное асимптотическое решение, построенное А.Г.Елисеевым для данной задачи, является рядом Лорана. С этой целью в соответствии с методом р е гу л я р и э я ц и и *' в в о д я т с я регуляризующие функции

■тк = £ ¡('ЛЫ/уГ^т) с... у

о

(^..../г^-т, (Ж,..., у*;,)-- ^,/4

Ломов С.А. Введение в обиуп теория сингулярных ропмудп-нкй. - М.: Паука, 19ПГ. - 400с.

- И. -нратноа собственной значение оператора -ЛС^), и-вмьсто задачи (I) рассиагриваатся "расширенная" задача:

гд9

Определяя решниа задачи (а) в виде рада

со

И-Ц/С,^/Ч^ОЦС^Л (4)

с коэфЗицибнтаии из

v. <=л.

П-

||иЦ=Упсюс X II и-

получим итерационные аадачи

^^ ' и- =

(5)

,Г-с

Последовательно решая итерационные задачи (5) (Георемы об однозначной разрешимости итерационных задач (5) в Л/ доказаны А.Г.Ели-оеевш) в X/" опрзделик всо гааф^ицианты

Основной результат первой главы дается в видо следующего утверждения-

- 7 -

Теорема I. (стр. 16-23). Пусть выполнены условия:

2) Оператор Л(±) пе меняет структуру на С0)^1"]»

3) АтС^ШЖН^Шс^Т), и) , где ад -пространства линейных ограниченных операторов из й в И;

5) Оператор АЩ и правая часть таковы, :то решения,

однозначно определенные в Т/~ по задачам (5), удовлетворяют неравенствам:

Н^И^ >»-5'1<оьС)С55СпС.>03

Тогда задача (3) имеет единственное аналитическое по /*-решение , полученное в виде ряда (4), сходящегося в

некоторой области равномерно по -¿. и С. . Ряд

(4) при /С = ('¿^ (р = \/Р ) является решением задачи (3) (при У-ЬеСр,Т^ в области о < & << С н

равномерно ограниченным по £ ).

В качестве иллюстрации полученных в глава I результатов рассмотрены две задачи Коши (стр.24-28). Показано, что при выполнении условий теоремы I первая задача имеет единственное аналитическое по ук (¡к- решения в области о «< !/*(< £ • При нарушении условия 5) теоремы I вторая задача на имеет аналитических по /и решений.

Во второй главе рассматривается краевая задача

е^- JL(tày.= ht), (â)

где предельный оператор Jh(t) подобен кордановой матрице порядка (Т. , - Целая часть. При ¿-^О для задачи (б)

строится регулярпэованное асимптотическое решение.

В соответствии с методом регуляризации Лошва С.А. для описания существенно особых многообразий задачи (б) вводятся новые

регуляризующие фикции -fc

о 4.

где Я(-L) - единственное собственное значение оператора /L(é). Вместо искомого решения задачи (6) рассматривается "расширенная" задача:

К=1 - w-w*^-

решение которой определяется в виде степенного ряда

(7)

(8)

где = , (<c0.. ,/Ch>'CJ (Yu.. 0,

XLe = JXC (о, По, il)> oUt - fC^il).

Определяя решение задачи (7) в вида ряда (8), получки итерационные задача

^-и..»,^ о,

Л/ ri"i

Здесь введены обозначения

£ н » =>

Oh - символ Кронанора. Зги задачи решаются в пространства 1

Справедливы следующие утверждения о разрешимости итерационных задач.

Теорема 2. (стр. 36-37). Пусть вшолнейы условия 1)-;|) теоремы I (л'зС) и Т17 . Тогда для разрешимости в ТУ уравнения необходимо и достаточно, чтобы правая . часть была ортогональна (тондесг-енно по ^ ) ядру оператора со пр'яав иного я .

Георгия 3. (стр. 37-42). Пусть дола яадача

Хг*.^ о, о (ю)

и .выполнены условия 1)-'+) теоремы I ( при Т=1 ),

6) = о Уь€[Ь»£\;

и функции » являются корнями следующих

уравнений тондественно по

(И)

где Тогда:

1) существует решение в "V системы уравнений

»-I

скоНь - ^¡К^. э

И-1

2) задача (10) имеет только нулевое решение, если выполнено условие (ц-* £ Ои^-ЙГ*^

С0-иг о, 9 О»^«^*)=о} 5=е, а .

В плаве доказывается следующий результат.

Теорема 4- (сгр. 51). Пусть выполнены условия 1)-4) теоремы I и условия б),7) теоремы 3. Тогда суяоиие ряда (8) является асимптотическим рядом при £->о для решения краевой задачи (б),

т.е. для достаточно иапых (о^"] справедлива оценка /V I М+л.

В третьей глава рассматривается сингулярно возмущенная краевая задача (б), при нарушении условий стабильности спектра предельного оператора. Разрабатывается алгоритм построения рагуляризо-ванного асимптотического решения этой задачи.

По спектру пучка оператора вводятся основные регуля-

.ризующие переменные по формулам; -ь

о

1.

Для описания существенно особых сингулярностей, содержащихся в решении задачи (б) при нарушении условия стабильности, введен дополнительные независимые пз ременные по формулам:

- в \ С. СЬ; = у~ц,к&ЧЬЩ".

4.

Вместо искомого решения задачи (б) рассматривается "расрираняая"

задача

К. *

%,-и=у ^^^-^е^-чл (12)

Где оС^го^П, (э- - операторы, определенные в

Определяя решение задачи (12) в виде ряда (4), получим итерационные задачи

к

^о^ - = X %¿^Лч^о^Т&г.

Справедливы следующие утверждения о нормальной и об однозначной разрешимости итерационных задач (13): Теорема 5 (стр. 61-63). Пусть в

и

дано уравнен на

где

- оператор, определенный в (9) и пусть выполнэ-

пы условия 2)-4) теоремы I и условие

Тогда для разрешимости уравнения (14) в ХГ необходимо и достаточно, чтобы 4.. <4., у**?«} ~ О,

где - скалярное произведение на гг^Т/ (стр. 58),

система векторов сопряженного оператора .

«г

Теореиа 6. Пусть в Т/~ дана задача (10), выполнены условия 2.)-Ь) георагч I, условия б),7) теоремы 3, условие 8) теоремы 5 условия

Ут. И-ь .

10) О и ©гнкциа ^(^ун^'ТЯ

определяются из уравнений (II). Тогда:

1) существует в решение системы уравнений

Ч 1 -I

2) задача (10) имеет только нулевое решение, если выполнено

условие

<

< X < О, ,

г

Используя теоремы 5 и б можно построить асимптотическое решение 8адачи (б). Основное обоснование алгоритма асимптотического интонирования дается в виде утвэркдания об оценка остаточного члена.

Теорема 7. (стр. 81). Пусть выполнены условия теоремы б. Тогда сужение ряда (4) является асимптотическим рядом при £->о для решения краевой задачи (10), то есть для достаточно малых справедлива оценка

/V 8 у

|||\

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

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

1. Днуравв A.M. Разработка метода регуляризации для некоторых задач с кратным спектром. - В кн.: Тезисы докладов Всесоюзного научного совещания по методам малого параметра.-Нальчик,1987.-С.54.

2. Джураев А.П., Лонов С.А. Ряди Лорана для решений сингулярно возмущенных: задач. В кн.: Тезисы донладов конференции математиков и механиков Киргизии. - Фрунзе: Илим, 1987. - С.26.

3. Дкураев A.M., Елисеев А.Г. Асимптотическое интегрирование краевой задачи с кратным спектром с особенностью. - Фрунзе: Илии, 1987. - С.26.

джураев А.!,!. Разработка метода регуляризации для некоторых задач с кратным спектром. - т.: LBil, вып.141, 1^87. -

5. Дкураав A.I.I., Ломов С.А. Об аналитических решениях сингулярно возмущенных задач с кратным спектром. - В кн. :Исследования по интегро-дисйаренциальным уравнениям. - ¡1рунзв;11лим, 1980. -Вып.21. С.2ЗД-2Н.

Погммсмо к «вчап 22.03.89 г.-Формвт. бумага 6Ш90Т/ Об*ем I i.x. J-00130. 3skis 129.. Тираж ICO эк», г. ipyase,. т»аогр*$*)Т Акщеыии тук Я*рг**скоВ СОГ

ул. Цуик««,. IW»