Рівняння нескінченних ланцюгів нелінійних осциляторів: задача Коші, періодичні розв’язки, біжучі хвилі

Размещено на http://www.allbest.ru/

Міністерство освіти і науки України

Львівський національний університет імені Івана Франка

УДК 517.97

Рівняння нескінченних ланцюгів нелінійних осциляторів: задача Коші, періодичні розв'язки, біжучі хвилі

01.01.02 - диференціальні рівняння

АВТОРЕФЕРАТ

дисертації на здобуття наукового ступеня кандидата фізико-математичних наук

Бак Сергій Миколайович

Львів 2007

Дисертацією є рукопис.

Роботу виконано у Вінницькому державному педагогічному університеті імені М.М. Коцюбинського, Міністерство освіти і науки України.

Науковий керівник: доктор фізико-математичних наук, професор Панков Олександр Андрійович Вінницький державний педагогічний університет імені М.М. Коцюбинського, професор кафедри математики, м. Вінниця

Офіційні опоненти: доктор фізико-математичних наук, професор Каленюк Петро Іванович Національний університет „Львівська політехніка”, директор інституту прикладної математики та фундаментальних наук, м. Львів

доктор фізико-математичних наук, професор Слюсарчук Василь Юхимович Національний університет водного господарства та природокористування, професор кафедри вищої математики, м. Рівне

Провідна установа: Інститут математики НАН України, м. Київ

Захист відбудеться ” 17 ” травня 2007 року о 15 ³⁰ годині на засіданні спеціалізованої вченої ради К 35.051.07 при Львівському національному університеті імені Івана Франка за адресою: 79000, м. Львів, вул. Університетська, 1

З дисертацією можна ознайомитися у бібліотеці Львівського національного університету імені Івана Франка (м. Львів, вул. Драгоманова, 5)

Автореферат розіслано ” 12 ” квітня 2007 року

Вчений секретар спеціалізованої вченої ради Остудін Б.А.

диференціальний рівняння осцилятор нелінійний

ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ

Актуальність теми дослідження. Нескінченновимірні гамільтонові системи широко використовуються в нелінійній фізиці для моделювання складних оптичних і квантових явищ. Зокрема, останнім часом значну увагу приділяють моделям, дискретним за просторовою змінною.

Однією з найбільш популярних моделей є нескінченний ланцюг лінійно зв'язаних нелінійних осциляторів. Серед таких систем найбільш відома модель Френкеля-Конторової, вивчена в роботах Я. Френкеля та Т. Конторової 1938 року. (Ця система з'являлась і раніше в роботах Л. Прандтля та У. Делінгера 1928 - 29 рр.) Ця та близькі моделі з фізичної точки зору детально вивчені О. Брауном, Ю. Ківшаром, Д. Хеннінгом, Г. Ціронісом та ін. Математична ж сторона питання досліджена досить слабко. Відмітимо, однак, що близький клас систем Фермі-Паста-Улама вивчено досить добре. В значній мірі досліджено дискретні нелінійні рівняння Шредінгера такими математиками як П. Кеврекідс, К. Расмуссен, А. Бішоп, О. Панков, М. Вейнштейн та ін.

Особливу роль в динаміці подібних систем грають періодичні розв'язки, які в фізиці називаються бризерами. Питання про існування бризерів тої чи іншої частоти є однією із актуальних проблем нелінійної фізики.

На даний час у цьому напрямку є окремі часткові результати, отримані методами теорії збурень для однорідних ланцюгів зі слабким зв'язком. Значних результатів досягли такі вчені як С. Обрі та Р. Маккей.

Іншим важливим класом розв'язків є біжучі хвилі. Такі розв'язки виникають в багатьох задачах. Біжучі хвилі для параболічних рівнянь в частинних похідних досить детально досліджено такими математиками як Дж. Смоллер, А. Вольперт та В. Вольперт. Досить детальні результати про біжучі хвилі в ланцюгах Фермі-Паста-Улама можна знайти в роботах О. Панкова. В той же час для ланцюгів осциляторів відома лише одна робота Г. Йосса та К. Кіршгаснера, результати якої отримано методами теорії біфуркацій.

Таким чином, тема даної роботи - дослідження задачі Коші, періодичних по часу розв'язків та біжучих хвиль для ланцюгів лінійно зв'язаних нелінійних осциляторів - представляється актуальною.

Зв'язок роботи з науковими програмами, планами, темами. Дисертація виконана в рамках державної бюджетної теми „Варіаційні методи дослідження нелінійних рівнянь математичної фізики в необмежених областях” (номер державної реєстрації 0103U003236), що є складовою частиною досліджень, передбачених планами наукової роботи кафедри математики Вінницького державного педагогічного університету імені Михайла Коцюбинського.

Мета і завдання дослідження.

1) Дослідження умов існування та єдиності локальних і глобальних розв'язків задачі Коші для рівнянь, що описують динаміку системи лінійно зв'язаних нелінійних осциляторів.

2) Дослідження умов існування періодичних за часом розв'язків для рівнянь, що описують динаміку системи лінійно зв'язаних нелінійних осциляторів та методів їх побудови.

3) Дослідження умов існування біжучих хвиль в ланцюгах лінійно зв'язаних нелінійних осциляторів.

Об'єктом дослідження є нескінченна система диференціальних рівнянь, що описує динаміку нескінченного ланцюга лінійно зв'язаних нелінійних осциляторів.

Предметом дослідження є умови існування та єдиності розв'язків задачі Коші, умови існування періодичних розв'язків та біжучих хвиль для системи осциляторів.

Методи дослідження. В даній роботі розвинуто варіаційний метод відшукання періодичних розв'язків таких систем, метод умовної мінімізації та метод періодичних апроксимацій.

Наукова новизна одержаних результатів. Всі результати, сформульовані і доведені в дисертації, є новими та строго обґрунтованими. У дисертаційній роботі отримано такі результати:

1) Умови існування та єдиності локальних і глобальних розв'язків задачі Коші для рівнянь, що описують динаміку системи лінійно зв'язаних нелінійних осциляторів.

2) Умови існування періодичних за часом розв'язків для рівнянь, що описують динаміку системи лінійно зв'язаних нелінійних осциляторів та досліджено методи їх побудови.

3) Умови існування біжучих хвиль в ланцюгах лінійно зв'язаних нелінійних осциляторів.

Зауважимо, що питання коректності задачі Коші взагалі не розглядалось для таких систем, лише для близького класу систем Фермі-Паста-Улама. Щодо періодичних розв'язків, то на даний час у цьому напрямку є окремі часткові результати, отримані методами теорії збурень для однорідних по простору ланцюгів зі слабким зв'язком. Також для ланцюгів нелінійних осциляторів відома лише одна робота, присвячена питанню існування тільки періодичних біжучих хвиль (Г. Йосса та К. Кіршгаснера). Результати цієї роботи отримано методами теорії біфуркацій для ланцюгів зі слабким зв'язком.

Практичне значення одержаних результатів. Результати дисертаційної роботи мають теоретичний характер і можуть бути застосовані в теорії звичайних диференціальних рівнянь та у нелінійній фізиці.

Особистий внесок здобувача. Основні результати дисертації одержано автором самостійно. У працях [1] та [3] науковому керівнику Панкову О.А. належать формулювання задач та аналіз одержаних результатів.

Апробація результатів дисертації. Результати досліджень, що включено до дисертації, доповідались та обговорювались на:

– VIII всеукраїнській науково-практичній конференції „Молодь, освіта, наука, культура і національна самосвідомість” (Київ, 2005 р.);

– Обласній звітній науково-практичній конференції викладачів та студентів (Вінниця, 2005 р.);

– міжнародній конференції „Математичний аналіз і суміжні питання” (Львів, 2005 р.);

– Обласній звітній науково-практичній конференції викладачів та студентів (Вінниця, 2006 р.);

– ХІ міжнародній науковій конференції імені академіка М. Кравчука (Київ, 2006 р. );

– Львівському міському семінарі з диференціальних рівнянь (Львів, 2006 р.).

Публікації. Основні результати дисертації опубліковано в 8-и працях, з них 5 - у наукових журналах та збірниках наукових праць, 3 - у тезах та матеріалах конференцій. Серед публікацій 4 праці у наукових фахових виданнях з переліку ВАК України.

Структура дисертації. Робота складається зі вступу, трьох розділів (перший містить п'ять підрозділів, другий - шість підрозділів і третій - сім підрозділів), висновків та списку використаних джерел, що містить 72 найменування. Повний обсяг роботи - 142 сторінки, з яких 135 сторінок основного змісту та 7 сторінок використаних джерел.

ОСНОВНИЙ ЗМІСТ РОБОТИ

У вступі обґрунтовується актуальність теми, формулюється мета роботи та основні задачі, вказано наукову новизну одержаних результатів.

В першому розділі розглянуто огляд літератури та основні результати дисертації.

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

(2.1 )

Рівняння такого вигляду описують нескінченний ланцюг нелінійних осциляторів, розміщених в точках цілочисельної решітки . Змінна q_n є узагальненою координатою

n-го осцилятора в момент часу t, а U_n (r) - його потенціал. Таким чином, при відсутності взаємодії між осциляторами динаміка кожного із них задається рівнянням вигляду

Якщо ж в системі осциляторів є лінійна взаємодія між будь-якими двома найближчими сусідами, то рівняння руху такої системи мають вид (2.1). Розглядаються такі розв'язки системи (2.1), що

(2.2)

тобто осцилятори знаходяться в стані спокою на нескінченності.

В потенціалі зручно виділити квадратичну частину та записати його у вигляді

r²+V_n(r).

Покладемо також

b_n=c_n-a_n-a_n-1.

Тоді рівняння руху (2.1) набудуть вигляду

(2.3)

Систему рівнянь (2.1) або, що теж саме, (2.3) зручно розглядати як диференціально-операторне рівняння в просторі l² дійсних двохсторонніх послідовностей , а саме, як рівняння вигляду

=Aq-B(q), (2.4)

де лінійний оператор A задається формулою

а нелінійний оператор B -

B(q)_n=V'_n(q_n). (2.5)

Оператори виду (Aq)_n - різницеві оператори другого порядку, для яких є повна теорія. Вибір простору l² в як основного пояснюється двома міркуваннями. По-перше, l²є гільбертовим простором, що дозволяє застосовувати багато абстрактних результатів. По-друге, елементи цього простору автоматично задовольняють співвідношенню (2.2). При застосуванні до розглядуваної задачі це співвідношення є звичайною крайовою умовою на нескінченності.

Скрізь далі під розв'язком рівняння (2.4) розуміється C²-функція від t зі значеннями в l², що задовольняє це рівняння при всіх допустимих значеннях t. Іноді, які технічний засіб використовуються слабкі розв'язки.

Розділ 2 присвячений питанню коректності задачі Коші для рівняння (2.4). Скрізь в цьому розділі припускається, що виконуються умови

(i₁) послідовності {a_n} і{c_n} дійсних чисел обмежені;

(ii₁) V_n(r) - функція класу C¹ на , V_n(0)=V'_n(0)=0 і для будь-якого R>0 існує таке C=C(R)>0, що для всіх

Задача Коші для рівняння (2.4) полягає у знаходженні розв'язку, що задовольняє початкові умови

(2.8)

Розв'язок може бути визначеним на деякому інтервалі навколо нуля (локальний розв'язок), або ж на всій осі (глобальний розв'язок).

Рівняння (2.4) можна записати як рівняння першого порядку в просторі l² l²

=Gy, (2.7)

де y=(q, p) і Gy=(p, Aq-B(q))

(стандартний прийом приведення рівняння другого порядку до системи першого порядку). Оператор G є неперервним за Ліпшицем в просторі l² l².

Як наслідок стандартного результату існування та єдиність локального розв'язку для будь-яких q⁽⁰⁾, q⁽¹⁾l² випливає із стандартних результатів про диференціальні рівняння в банаховому просторі. Тобто має місце теорема

Теорема 2.1.1. Нехай виконуються умови (i₁) та(ii₁). Тоді для будь-яких q⁽⁰⁾, q⁽¹⁾l² рівняння (2.3) має єдиний розв'язок класу C² який визначений на деякому інтервалі (-t₀; t₀) і задовольняє початкові умови (2.8).

В підрозділі 2.2 отримано умови існування глобальних розв'язків задачі Коші.

Оскільки рівняння (2.4) може бути записане у вигляді еквівалентного рівняння (2.7), то наступне твердження про існування та єдиність глобальних розв'язків випливає з відомих результатів.

Теорема 2.2.1. Нехай виконуються умови (i₁) та (ii₁) з константою C, що не залежить від R. Тоді для будь-яких q⁽⁰⁾, q⁽¹⁾l² задача (2.4), (2.6) має єдиний розв'язок визначений при всіх t

Однак, така посилена умова (ii₁) не виконується у більшості цікавих прикладів.

Далі для отримання результатів про глобальні розв'язки використовується гамільтонова структура рівняння (2.4). Дійсно, рівняння (2.4) є гамільтоновою системою з гамільтоніаном

H(p, q)=(Aq, q)} +(q_n)

де p=, а і - норма і скалярний добуток в l², відповідно. Тому H(, q) є константою на розв'язках рівняння (2.4).

Основним загальним результатом є наступна теорема

Теорема 2.2.2. Додатково до умов (i₁) та (ii₁) припустимо, що оператор А недодатний, тобто для будь-якого l². Крім того, нехай виконується одна із наступних умов: (a) для всіх і

(b) існує така неспадна функція що і для всіх і

Тоді задача Коші для рівняння (2.4) має єдиний глобальний розв'язок для будь-яких початкових даних q⁽⁰⁾, q⁽¹⁾l².

Наступний наслідок дозволяє зняти умову недодатності оператора A.

Наслідок 2.2.2. Нехай виконуються умови(i₁), (ii₁) та умова (b) теореми 2.2.2, де

Тоді задача Коші для рівняння (2.4) має єдиний глобальний розв'язок для будь-яких початкових даних із l² .

Далі в цьому розділі вивчається важливий випадок кубічного потенціалу, який не задовольняє умовам теореми 2.2.2, а саме

де послідовність d_n обмежена.

В підрозділі 2.3 отримано умови існування та єдиності глобальних розв'язків у випадку кубічного потенціалу.

Покладемо

(2.12)

(2.13)

Основним результатом підрозділу 2.3 є теорема:

Теорема 2.3.1. Нехай оператор A від'ємно визначений і і l² такі, що



Тоді задача Коші з початковими даними q⁽⁰⁾, q⁽¹⁾ має єдиний глобальний розв'язок.

В теоремі 2.3.1 описується деяка достатньо велика множина початкових даних, для яких задача Коші (2.4), (2.8) з даним кубічним потенціалом має єдиний глобальний розв'язок. Тут припускається, що оператор від'ємно визначений. Зокрема, це так для всіх початкових даних q⁽⁰⁾, q⁽¹⁾ з достатньо малою - нормою (наслідок 2.3.1):

Наслідок 2.3.1. Нехай оператор A від'ємно визначений. Тоді існує таке , що для будь-яких q⁽⁰⁾, q⁽¹⁾l² з і задача Коші має єдиний глобальний розв'язок.

В наступному підрозділі 2.4 також розглядається випадок кубічного потенціалу та вивчається питання про існування глобальних розв'язків. Рівняння (2.1) в даному випадку приймає вигляд

(2.14)

Оператор A припускається недодатним, тобто

(Aq, q) qєl².

Основний результат цього підрозділу - теорема 2.4.1 - стверджує, що для достатньо великої множини початкових даних глобальний розв'язок не існує:

Теорема 2.4.1. Нехай оператор недодатний і нехай початкові дані q⁽⁰⁾, q⁽¹⁾l² задовольняють умовам



(q⁽⁰⁾, q⁽¹⁾)>0 (2.15)

E(0)=<0. (2.16)

Тоді розв'язок рівняння (2.14) з початковими даними q⁽⁰⁾ та q⁽¹⁾ має скінченний максимальний інтервал існування.

Далі наводяться більш явні умови неіснування глобальних розв'язків. Щоб виключити тривіальний випадок, припускається, що хоча б для одного . Відмітимо, що в тривіальному випадку, коли , нелінійність відсутня і E(0) не може бути від'ємним. В цьому випадку, як слідує із загальної теорії лінійних диференціальних рівнянь в банаховому просторі, глобальні розв'язки існують для будь-яких початкових даних. Покладемо

Відмітимо, що в нетривіальному випадку хоча б одна множина або не порожня.

Наслідок 2.4.1. Нехай і такі, що для будь-якого , хоча б для одного , і для . Тоді існує таке , що для будь-якого розв'язок задачі Коші для рівняння (2.14) з початковими даними і має скінченний максимальний інтервал існування.

Останній підрозділ (2.5) цього розділу присвячений прикладам. Зокрема, для кубічного дискретного рівняння Клейна-Гордона

задача Коші має глобальний розв'язок для будь-яких початкових даних при Відмітимо, що - одновимірний дискретний оператор Лапласа. Якщо ж то питання про існування глобальних розв'язків залишається відкритим і, можливо, має негативну відповідь.

Для квадратного дискретного рівняння Клейна-Гордона

де m²>0 глобальний розв'язок задачі Коші існує для всіх початкових даних з достатньо малою l²- нормою, незалежно від знаку a. Існування глобальних розв'язків при m=0 залишається відкритим.

Розділ 3 присвячений періодичним за часом розв'язкам рівняння (2.1) з крайовими умовами (2.2), точніше, рівняння (2.4) в l². В цьому розділі накладаються наступні умови:

(i₂) коефіцієнти a_n і c_n є N-періодичними, тобто і A- додатно визначений в l², тобто існує таке що

(Aq, q)qє l²;

(ii₂) для будь-якого n функція V_n(r) неперервно диференційовна, V_n(0)=V'_n(0)=0, V'_n(r)=o(r) при і виконується умова -періодичності (iii₂) існує таке що

Для побудови періодичних розв'язків використовується варіаційний підхід, а саме, теорема про гірський перевал. При цьому рівняння (2.1) розглядається не тільки з граничними умовами (2.2), але й з періодичними по умовами

(3.6)

де - фіксоване ціле число. Остання задача інтегрується як рівняння

(3.7)

в скінченновимірному гільбертовому просторі , що складається із -періодичних послідовностей. Норма і скалярний добуток в цьому просторі позначаються і , відповідно. Оператори і задаються тими ж формулами (3.2) та (3.3), тільки застосовуються до -періодичних послідовностей.

В підрозділі 3.1 подається варіаційна постановка цих задач. Точніше, з ними пов'язуються функціонали

відповідно. Ці функціонали визначені на деяких гільбертових просторах і відповідно. Критичні точки цих функціоналів є -періодичними розв'язками відповідних задач. В цьому підрозділі також наводяться деякі оцінки для критичних точок та критичних значень функціоналів і

Підрозділ 3.2 містить деякі допоміжні відомості про стаціонарні розв'язки, тобто про розв'язки, що не залежать від часу.

В підрозділі 3.3 доводиться існування -періодичних розв'язків рівняння (2.1) з умовами просторової періодичності (3.6), тобто рівняння (3.7). Ця задача має незалежний інтерес, однак в наступному підрозділі результати про існування її розв'язків будуть використані для доведення існування -періодичних розв'язків рівняння (2.1) з крайовими умовами (2.2) на нескінченності, тобто рівняння

(3.1)

Для побудови шуканих розв'язків, в силу леми 3.1.4, достатньо знайти нетривіальні критичні точки функціоналу в просторі З цією метою використано теорему про гірський перевал.

Щодо теореми про гірський перевал, то важливою в ній є наступна умова (так звана умова Пале-Смейла):

Нехай - така послідовність елементів гільбертового простору , що послідовність обмежена і Тоді містить збіжну підпослідовність.

Теорема 3.3.1 (Про гірський перевал). Нехай - -функціонал на гільбертовому просторі з нормою , що задовольняє умові Пале-Смейла. Припустимо, що існує і такі, що і



Нехай

Тоді - критичне значення функціоналу і

В підрозділі 3.3 встановлено наступний результат про існування -періодичних розв'язків задачі (2.1), (3.6) або, що теж саме, рівняння (3.7):

Теорема 3.3.2. Нехай виконуються умови (i₂) - (iii₂) Тоді для будь-якого та будь-якого натурального рівняння (3.7) має ненульовий -періодичний розв'язок. Більше того, існує таке яке не залежить від , що при побудований розв'язок не є сталим.

Доведення цієї теореми полягає в перевірці умов теореми про гірський перевал для функціоналу Важливим фактом є те, що функціонал задовольняє так звану умову Пале-Смейла.

Підрозділ 3.4 присвячений періодичним розв'язкам задачі (2.1), (2.2). Тут встановлено основний результат другого розділу:

Теорема 3.4.1. Нехай виконуються умови (i₂) - (iii₂). Тоді для будь-якого задача (2.1), (2.2) має ненульовий -періодичний розв'язок. При цьому існує таке що при цей розв'язок не є сталим.

При доведенні цієї теореми розв'язки шукаються як критичні точки функціоналу . Цей функціонал не задовольняє умову Пале-Смейла, хоча і задовольняє всім іншим умовам теореми про гірський перевал. Тому остання теорема не може бути використана. Замість цього розв'язок в теоремі 2.2.2 знаходиться як границя в деякому смислі розв'язків з теореми 3.3.2 при Цей метод, відомий як метод періодичних апроксимацій, успішно використовувався в багатьох інших задачах.

В підрозділі 3.5 розглядається випадок потенціалу виду

де і - -періодична послідовність. Тут -періодичні розв'язки задачі (2.1), (2.2) будуються за допомогою методу умовної мінімізації.

Введемо функціонали

Для розглянемо задачу мінімізації

(3.43)

Доведено, що ця задача має розв'язок , тобто і Більше того, при достатньо великих цей розв'язок несталий.

В силу правила множників Лагранжа існує таке (множник Лагранжа), що Більше того, для множника Лагранжа маємо формулу

Покладемо Тоді рівняння разом із визначенням функціоналів та , показує, що - критична точка функціоналу і, отже, розв'язок задачі (2.1), (2.2).

В останньому підрозділі 3.6 встановлені вище теореми застосовуються до рівняння

Отримані результати уточнюють та узагальнюють відомі результати.

Розділ 4 присвячений питанню існування біжучих хвиль в однорідних за просторовою змінною ланцюгах (). В даному випадку і рівняння (2.1) набуде вигляду

(4.1)

,

- одновимірний дискретний оператор Лапласа.

Нагадаємо, що біжучою хвилею називається розв'язок виду

(4.2)

де - функція неперервного аргументу Функція називається профілем хвилі. Константа є швидкістю хвилі. Якщо , то хвиля рухається вправо, а якщо , то вліво. Інтерес представляють нетривіальні хвилі, тобто хвилі з профілем тотожно не рівним нулю.

Підстановка розв'язку виду (4.2) в рівняння (2.1) дає рівняння виду

(4.3)



В даному розділі розглядаються біжучі хвилі двох типів: періодичні та відокремлені. Для періодичної хвилі профіль є періодичною функцією від Надалі період позначається через - дійсне число. Профіль відокремленої хвилі перетворюється в нуль на нескінченності. Відмітимо, що для періодичного профілю сам розв'язок , заданий формулою (4.2), є -періодичною функцією. Періодичність по виникає тільки у випадку раціонального

У випадку періодичних біжучих хвиль для знаходження профілю хвилі достатньо знайти розв'язок рівняння (4.3) з умовою періодичності

(4.4)

Профіль відокремленої хвилі є розв'язком рівняння (4.3) з крайовою умовою на нескінченності

(4.5)

В обох випадках розв'язок може бути знайдено варіаційним методом, використовуючи теорему про гірський перевал.

Скрізь далі припускається, що потенціал задовольняє умови які в нашому випадку приймають вигляд:

функція

Размещено на http://www.allbest.ru/

неперервно диференційовна, і при та існує таке що

Відзначимо, що в рівняння (4.3) швидкість входить тільки в квадраті. Звідки слідує, що якщо функція задовольняє рівнянню (4.3), то існують дві біжучі хвилі з даним профілем і швидкостями Одна з них рухається вправо, інша - вліво.

В підрозділі 4.2, в залежності від крайових умов (4.4) або (4.5), розглядаються функціонали та на просторах та відповідно, які визначаються формулами

(4.6)

(4.7)

Норми в цих просторах задаються рівностями

відповідно.

Тут показано, що критичні точки функціоналів та є -розв'язками рівняння (4.3), що задовольняють умови (4.4) і (4.5) відповідно.

В підрозділі 4.3 розглянуто допоміжні леми.

В підрозділі 4.4 за допомогою теореми про гірський перевал встановлено існування нетривіальних біжучих хвиль з періодичним профілем. Для цього достатньо встановити існування нетривіальних критичних точок функціоналу . Зазначимо, що завжди є тривіальною критичною точкою та дає тривіальну біжучу хвилю, яка тотожньо рівна нулю.

Основним результатом даного підрозділу є наступна теорема

Теорема 4.4.1. Нехай виконується умова і Тоді для будь-яких і рівняння (4.3) має розв'язок , що задовольняє умові (4.4). Тим самим, існують дві біжучі хвилі з профілем та швидкостями Більше того, існують такі константи і які не залежать від , що

(4.21)

(4.22)

В підрозділі 4.5 доводиться існування відокремлених біжучих хвиль з тими ж припущеннями, з якими встановлено існування періодичних хвиль. Біжучі хвилі в даному випадку знаходяться як критичні точки функціоналу . Функціонал задовольняє частині умов теореми про гірський перевал. Однак, умова Пале-Смейла для цього функціоналу не виконується. Тому критичні точки в даному випадку будуються іншим способом - за допомогою переходу до границі в критичних точках функціоналу при

Теорема 4.5.1. Нехай виконується умова і Тоді для будь-якого рівняння (4.3) має розв'язок , (отже, він задовольняє умові (4.5)). Таким чином, існують дві відокремлені біжучі хвилі з профілем та швидкостями

В підрозділі 4.6 вивчається поведінка розв'язків задачі (4.3), (4.5) на нескінченності і при відповідних припущеннях доводиться експоненціальна оцінка для розв'язку. Рівняння (4.3) можна подати у вигляді



(4.29)

(4.30)

і Відносно функції зробимо наступне, більш слабше, ніж , припущення.

неперервна на , при і при

Тут розглядаються розв'язки, що лежать в просторі

Нехай - такий розв'язок. Покладемо

(якщо то за означенням). Із умови слідує, що

Тоді рівняння (4.29) набуде вигляду

До останнього рівняння застосуємо перетворення Фур'є

Отримуємо

Відмітимо, що функція продовжується до цілої функції

Тут показано, що якщо і , то існує таке що функція не має нулів в смужці (Лема 4.6.1).

Теорема 4.6.1. Нехай виконується умова і Якщо - розв'язок рівняння (4.3), то для будь-якого де із леми 4.6.1, існує таке що

(4.37)

Оскільки умова сильніша, ніж умова , то із теореми 4.6.1 випливає

Наслідок 4.6.1. В умовах теореми 4.6.1 (з умовою замість ) для розв'язку виконується експоненціальна оцінка (4.37) для будь-якого В останньому підрозділі 4.7 встановлені вище теореми застосовуються до рівняння

ВИСНОВКИ

Дисертація присвячена побудові класів існування та єдиності розв'язків гамільтонових систем, що описують нескінченні ланцюги лінійно зв'язаних нелінійних осциляторів.

У дисертації отримано такі результати:

1) умови існування та єдиності локальних і глобальних розв'язків задачі Коші для рівнянь, що описують динаміку системи лінійно зв'язаних нелінійних осциляторів;

2) умови існування періодичних за часом розв'язків для рівнянь, що описують динаміку системи лінійно зв'язаних нелінійних осциляторів та досліджено методи їх побудови;

3) умови існування біжучих хвиль в ланцюгах лінійно зв'язаних нелінійних осциляторів.

Отримані в дисертації результати є поширенням вже відомих для подібних систем. Для обгрунтування результатів в даній роботі розвинуто варіаційний метод відшукання періодичних розв'язків таких систем, метод умовної мінімізації та метод періодичних апроксимацій.

Результати дисертаційної роботи мають теоретичний характер і можуть бути застосованими в теорії звичайних диференціальних рівнянь та в нелінійній фізиці.

Автор висловлює щиру подяку своєму науковому керівникові доктору фізико-математичних наук, професору Панкову Олександру Андрійовичу за допомогу та постійну увагу до роботи.

ПУБЛІКАЦІЇ АВТОРА ЗА ТЕМОЮ ДИСЕРТАЦІЇ

1. Бак С.Н., Панков А.А. О периодических колебаниях бесконечной цепочки линейно связанных нелинейных осцилляторов //Доповіді НАН України. - 2004. -№9. - C.13-16.

2. Бак С.Н. Метод условной минимизации в задаче о колебаниях цепочки нелинейных осцилляторов //Математическая физика, анализ, геометрия. - 2004. - №3. - Т.11. - С. 263-273.

3. Бак С.Н., Панков А.А. О динамических уравнениях системы линейно связанных нелинейных осцилляторов //Український математичний журнал. - 2006. - №6. - Т. 58. - C.723-729.

4. Бак С.М. Задача Коші для ланцюга нелінійних осциляторів //Актуальні проблеми виробничих та інформаційних технологій, економіки і фундаментальних наук: Збірник наукових праць. - Випуск 2. - Вінниця, 2005. - С. 59-61.

5. Бак С.М. Біжучі хвилі в ланцюгах осциляторів //VIII всеукраїнська науково-практична конференція "Молодь, освіта, наука, культура і національна самосвідомість". Матеріали конференції. - Київ, 2005. - С.92-95.

6. Бак С.М. Про глобальні розв'язки для нескінченної системи нелінійних осциляторів //Міжнародна конференція „Математичний аналіз і суміжні питання”. Тези доповідей. - Львів, 2005 . - С. 5.

7. Бак С.М. Про періодичні розв'язки нескінченної системи нелінійних осциляторів //Одинадцята міжнародна наукова конференція імені академіка М. Кравчука. Матеріали конференції. - Київ, 2006. - С. 311.

8. Бак С.М. Біжучі хвилі в ланцюгах осциляторів //Математичні студії. - 2006. - Т. 26, №2. - С. 140-153.

АНОТАЦІЇ

Бак С.М. Рівняння нескінченних ланцюгів нелінійних осциляторів: задача Коші, періодичні розв'язки, біжучі хвилі. - Рукопис.

Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.01.02 - диференціальні рівняння. - Вінницький державний педагогічний університет імені Михайла Коцюбинського, Вінниця, 2007.

Робота присвячена дослідженню нескінченних систем диференціальних рівнянь, які описують нескінченні ланцюги лінійно зв'язаних нелінійних осциляторів. Такі системи представляють собою нескінченно вимірні гамільтонові системи в гільбертовому просторі l².

Перш за все в роботі отримано результати про існування та єдиність глобальних розв'язків задачі Коші, а також результати про неіснування глобальних розв'язків.

Далі вивчаються періодичні за часом розв'язки. Такі розв'язки описуються нелінійними різницевими рівняннями, які мають варіаційну структуру. За допомогою теореми про гірський перевал встановлено достатні умови існування періодичних розв'язків. У випадку степеневих потенціалів показано, що такі розв'язки можуть бути отримані за допомогою методу умовної мінімізації.

У випадку просторово однорідних ланцюгів встановлено існування розв'язків, що мають вигляд біжучих хвиль. Показано, що профіль таких хвиль експоненціально спадає на нескінченності.

Ключові слова: нескінченні системи диференціальних рівнянь, гамільтонові системи, нелінійні осцилятори, періодичні розв'язки, теорема про гірський перевал, критичні точки, біжучі хвилі.



Бак С. Н. Уравнения бесконечных цепочек нелинейных осцилляторов: задача Коши, периодические решения, бегущие волны. - Рукопись.

Диссертация на соискание учёной степени кандидата физико-математических наук по специальности 01.01.02 - дифференциальные уравнения. - Винницкий государственный педагогический университет имени Михаила Коцюбинского, Винница, 2007.

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

Прежде всего в работе получены результаты о существовании и единственности глобальных решений задачи Коши, а также результаты о несуществовании глобальных решений.

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

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

Ключевые слова: бесконечные системы дифференциальных уравнений, гамильтоновы системы, нелинейные осцилляторы, периодические решения, теорема о горном перевале, критические точки, бегущие волны.



Bak S.M. Equations of infinite chains of nonlinear oscillators: Cauchy problem, periodical solutions, traveling waves. - Manuscript.

Thesis for the Candidate of science degree in the field 01.01.02 - differential equations. - Vinnitsya State Pedagogical Mikhailo Kotcubinskiy University, Vinnitsya, 2007.

The thesis deals with infinite systems of differential equation that describe infinite chains of linearly coupled nonlinear oscillators. Such systems are infinite dimensional Hamiltonian systems in the Hilbert space l².

First of all, it is obtained results on existence and uniqueness of global solutions to the Cauchy problem, as well as nonexistence results for such solutions.

Next, it is considered time periodic solutions that are described by certain difference equations having variational structure. By means of the mountain pass theorem, it is obtained sufficient conditions for the existence of such solutions. In the case of pure power potential it is shown that periodic solutions can be found by means of a constrained minimization approach.

In the case of spatially homogeneous chains it is shown the existence of travelling wave solutions whose profile function decays exponentially at infinity.

Key words: infinite systems of differential equations, Hamiltonian systems, nonlinear oscillators, periodic solutions, mountain pass theorem, critical points, travelling waves.

Размещено на Allbest.ru

...