Розв’язність двоточкових крайових задач у критичному випадку

Обґрунтування вимог до критичного та некритичного випадків побудови розв’язків звичайних диференціальних рівнянь. Моделювання алгебраїчної системи лінійних неоднорідних відповідей для крайових задач. Доведення теореми лінійно незалежних розв’язків.

Рубрика Математика
Вид реферат
Язык украинский
Дата добавления 28.10.2016
Размер файла 46,4 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

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

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

Державний вищий навчальний заклад

Ужгородський національний університет

Кафедра диференціальних рівнянь та математичної фізики

Розв'язність двоточкових крайових задач у критичному випадку

Ужгород, 2016 року

Зміст

Вступ

1. Псевдообернена матриця та ортопроектори

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

Висновки

Перелік посилань

Вступ

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

1. Псевдообернена матриця та ортопроектори

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

Означення 1. Матриця G(+) розмірності (nm), яка задовольняє умови:

(GG) + G = G

G + (GG) = G

(GG) + T = (GG)

(G + G) T = G + G

- називається псевдооберненою за Муром-Пенроузом для (mn) - вимірної матриці G.

Означення 2. Множина всіх розв'язків однорідного рівняння Gx = 0 утворює підпростір Ker(G), Rn і називається ядром (mn) - вимірної матриці:

Через GT будемо позначати транспоновану до G матрицю.

Означення 3. Ядро Ker (GT) матриці GT називається коядром матриці G - i позначається Coker (G).

Ядро Ker (G) та коядро Coker (G) матриці G зв'язані наступним співвідношенням:

Ker (G) = Coker ? (GT)

Означення 4. Ортопроектором PG до (mn) - вимірної матриці G називається (mm) - вимірна матриця, яка проектує простір Rn на ядро Ker (G) матриці G:

PG ? Rn - Ker (G), Ker (G) = P - GRn

Означення 5. Ортопроектором до (nm) - вимірної матриці GT називається (mm) - вимірна матриця PG, яка проектує (GT) матриці GT:

(P) - (G + T) ? Rm - Ker (GT)

Ker (GT) = (P) - (G + T) R + m

Означення 6. Через:

(P) - (G + T)

Дe:

k = n - rank (G)

Будемо позначати (rk) - вимірну матрицю, яка складається з k лінійно незалежних стовпців ортопроектора PG,тобто її стовпці утворюють повний базис ядра Ker (G).

Означення 7. Через:

(P) - (G - r + T)

Де:

r = m - rank (G)

Будемо позначати (rm) - вимірну матрицю, рядки якої є лінійно незалежними рядками ортопроектора:

(P) - (G + T)

Тобто утворюють повний базис ядра Ker (GT).

Для побудови псевдооберненої матриці G(+) та ортопроекторів PG і (P) - (G + T) можна скористатися наступним алгоритмом (3).

Нехай f1,..., fk - n-вимірні вектор-стовпці, ац1, ц, rm - вимірні вектор-стовпці, які утворюють базис ядра Кеr (G) та базис ядра Кer (GT) відповідно. З допомогою цих векторів утворимо неособливі симетричні відповідно (k ? k), та (r ? r) - вимірні матриці Грама:

Де через fi, fj позначено скалярний добуток у відповідних евклідових просторах.

Тоді ортопроектори:

PG ? (P) - (G + T)

- обчислюються згідно формули:

Псевдообернена за Муром-Пенроузом (пm) - вимірна матриця G(+) визначається наступним чином:

При цьому, матриця G(+) зв'язана з ортопроекторами:

PG (P) - (G + T)

З співвідношеннями:

Де:

Еn - одинична матриця розмірності п.

Розглянемо задачу знаходження умов існування та побудови розв'язків лінійних неоднорідних алгебраїчних систем рівнянь вигляду:

G ? x = b (1)

Де:

G - стала (mn) - вимірна матриця;

b - заданий вектор-стовпець.

Теорема. Алгебраїчна система (1) є розв'язною тоді і тільки тоді, коли виконується умова:

(P) - (G - r + T) b = 0 (2)

І при цьому має k параметричну:

k = п - rапk (G) 1 ? k ? n

- сім'ю розв'язків вигляду:

Х = (о?R) + k (3)

Наслідок 1. Якщо:

rапk (G) = m P - (G - r + T) = 0

Тоді система (1) є розв'язною тоді і тільки тоді, коли виконується умова (2) і при цьому має єдиний розв'язок вигляду:

х = G + b

Наслідок 2. Якщо:

rапk (G) = m P - (G - r + T) = 0

І умова (2) завжди виконується. Тоді система (1) є розв'язною при довільних значеннях вектора Rm і при цьому має розв'язок вигляду (3).

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

Розглянемо лінійну неоднорідну систему диференціальних рівнянь:

Яка задовольняє крайові умови:

lх ? (х) = б (5)

Де:

l - лінійний вектор-функціонал визначений на просторі;

n - виміри, неперервних на (а, b) вектор-функцій.

Теорема 1. Згідно теореми Ф. Рісса, для будь-якого лінійного функціонала l, заданого на просторі неперервних на (аb) функцій, існує неперервна зліва матрично-значна функція С (t) обмеженої варіації така, що лінійний функціонал можемо записати за допомогою інтеграла Рімана-Стілтьєса:

Тоді, крайові умови (4) можемо записати у вигляді:

Загальний розв'язок лінійної неоднорідної системи рівнянь (4) має вигляд:

x (t) = X (t) c + X (t) ? - 0 + tX + (-1) (s) f (s) ds (6)

Де:

X(t) - фундаментальна матриця відповідної (4) лінійної однорідної системи рівнянь, сn - вимірний вектор-стовпець довільних сталих.

Підставляючи загальний розв'язок лінійної неоднорідної системи диференціальних рівнянь (4) вигляду (6) в крайові умови (5), одержимо наступну алгебраїчну відносно с систему рівнянь:

Де:

G - (n ? n)

- вимірна матриця, яка одержується при підстановці фундаментальної матриці X (t) в крайові умови (5):

Змінюючи в системі (7) порядок інтегрування та позначаючи:

Q (s) = ? - s + b ((а (dC (t)) X (t) X + (-1) (s)))

Можемо записати алгебраїчну суму (7) у вигляді:

G - c = б - ? - a + b (Q (s) f (s) ds.) (8)

Некритичний випадок. Нехай лінійна однорідна крайова задача:

dx ? dt = A (t) x (t) lx (х) = 0 (9)

Має тільки тривіальний розв'язок, тобто detG0. Тоді алгебраїчна система матиме єдиний розв'язок вигляду:

с = G + (-1) (б - ? - a + bQ (s) f (s) ds)

Підставляючи його в (6) одержимо загальний розв'язок лінійної неоднорідної задачі (4), (5):

x (t) = X (t) G + (-1) (б - ? - a + b (Q (s) f (s) ds) + X (t) ? - a + t (X + (-1) (s) f (s) ds)) (10)

Справедливою є наступна теорема.

Теорема 2. Нехай лінійна однорідна крайова задача (9) має тільки тривіальний розв'язок. Тоді лінійна неоднорідна крайова задача (4), (5) має єдиний розв'язок вигляду (10).

Критичний випадок. Нехай лінійна однорідна крайова задача (9) має k лінійно незалежних розв'язків, тобто:

rank G = n - k 1 ? k ? n

Тоді алгебраїчна система буде розв'язною тоді і тільки тоді, коли виконується умова:

P - (G - k + T) (б - ? - a + b (Q (s) f (s) ds) = 0 (11)

Де:

P - (G - k + T) - (k ? n)

- вимірна матриця, складається з k лінійно незалежних рядків матриці-ортопроектора:

P - (G + T)

І при цьому матиме k-параметричну сім'ю розв'язків вигляду:

с = P - (G - k) о + G + + (б - ? - a + bQ (s) f (s) ds) = 0 (12)

Де:

G - єдина псевдообернена за Муром -Пенроузом до G матриця;

(n ? k) - вимірна матриця яка складається з k-лінійно незалежних стовпців матриці ортопроектора PG.

Підставляючи в (6) значення c вигляду (12) одержимо загальний розв'язок лінійної неоднорідної крайової задачі (4), (5):

x (t,о) = X (t) P - (G - k) + X (t) G + + (б - ? - a + bQ (s) f (s) ds) + X (t) ? - a + t (X + (-1) (s) f (s) ds)) (13)

Одержані результати можна сформулювати у вигляді наступної теореми.

Теорема 3. Нехай лінійна однорідна крайова задача (9) має k лінійно незалежних розв'язків, тобто:

rank G = n - k 1 ? k ? n

Тоді лінійна неоднорідна крайова задача (4), (5) є розв'язною тоді і тільки тоді, коли виконується умова (11).

Розглянемо задачу керування: знайдемо таке значення б?R, n при якому лінійна неоднорідна крайова задача (4), (5) буде розв'язною при довільних неоднорідностях f(t).

Теорема 4. Нехай лінійна однорідна крайова задача (9) має k лінійно незалежних розв'язків, тобто:

rank G = n - k 1 ? k ? n

Тоді при довільних неоднорідностях f(t) завжди можна вказати таке значення:

б? ? R + n

При якому лінійна неоднорідна крайова задача (4), (5) буде розв'язною. При цьому б має вигляд:

P - (N - k) о ? + N + T N (? - a + bQ (s) f (s) ds) (14)

Де:

диференціальний рівняння алгебраїчний

N = P - (G - k + T) N

- єдина псевдообернена за Муром-Пенроузом до N матриця.

P - (N - k)

- вимірна матриця, яка складається з kлінійно незалежних стовпців ортопроектора PN матриці:

N k = n - k о ??R + k

- вектор довільних сталих.

Доведення. Лінійна неоднорідна крайова задача (4), (5) є розв'язною тоді і тільки тоді, коли виконується умова (11). розглянемо цю умову як алгебраїчну відносно б систему з (kn) - вимірною матрицею N:

Nб = N (? - a + bQ (s) f (s) ds) (15)

Теорему доведено.

Висновки

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

Перелік посилань

1. Турбин А.Ф. Формы для вычисления полуобратной и псевдообратной матрицы // Жури, вычислит. матем. и мат. физики. - 1974. - Т. 14. №3. - 772-776 С.

2. Маринець В.В., Рего В.Л. Теорія крайових задач для звичайних диференціальних рівнянь. - Ужгород: Вид-во УжНУ, 2006. - 144 с.

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

...

Подобные документы

  • Розгляд крайової задачі для нелінійного рівняння другого порядку. Вивчення різницевого методу розв'язання крайових задач для звичайних диференціальних рівнянь. Метод прогонки - окремий випадок методу Гауса. Програма на алгоритмічній мові Turbo Pascal.

    курсовая работа [49,7 K], добавлен 10.04.2011

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

    курсовая работа [419,2 K], добавлен 29.08.2010

  • Розв’язання систем лінійних рівнянь методом Жордана-Гауса. Еквівалентні перетворення системи, їх виконання як елемент методів розв’язування системи рівнянь. Базисні та вільні змінні. Лінійна та фундаментальна комбінації розв’язків, таблиці коефіцієнтів.

    контрольная работа [170,2 K], добавлен 16.05.2010

  • Аналіз найвідоміших методів розв’язування звичайних диференціальних рівнянь і їх систем, користуючись рекомендованою літературою. Розробка відповідної схеми алгоритму. Розв’язання системи звичайних диференціальних рівнянь в за допомогою MathCAD.

    лабораторная работа [412,4 K], добавлен 21.10.2014

  • Сумісність лінійних алгебраїчних рівнянь. Найвищий порядок відмінних від нуля мінорів матриці. Детермінант квадратної матриці. Фундаментальна система розв’язків та загальний розв'язок системи лінійних однорідних рівнянь. Приклади розв’язання завдань.

    курсовая работа [86,0 K], добавлен 15.09.2008

  • Задача Коші і крайова задача. Двоточкова крайова задача для диференціального рівняння другого порядку. Види граничних умов. Метод, заснований на заміні розв’язку крайової задачі розв’язком декількох задач Коші. Розв'язування систем нелінійних рівнянь.

    презентация [86,2 K], добавлен 06.02.2014

  • Лінійні діофантові рівняння. Невизначені рівняння вищих порядків. Невизначене рівняння Ферма. Приклади розв’язання лінійних діофантових рівнянь та системи лінійних діофантових рівнянь. Алгоритми знаходження всіх цілочисельних розв’язків рівнянь.

    курсовая работа [1,7 M], добавлен 29.12.2010

  • Умова існування цілих розв’язків лінійних діофантових рівнянь, алгоритм Евкліда. Розв’язування лінійних рівнянь з двома змінними в цілих числах. Методика вивчення діофантових рівнянь в загальноосвітніх школах. Діофантові рівняння вищих порядків.

    курсовая работа [758,4 K], добавлен 15.05.2019

  • Визначення системи лінійних рівнянь та її розв’язання. Поняття рангу матриці, правило Крамера та види перетворень з матрицею. Способи знайдення оберненої матриці А–1 до невиродженої матриці А. Контрольні запитання та приклади розв’язування задач.

    задача [73,5 K], добавлен 25.03.2011

  • Прийоми розв’язання задач в першому і другому степені на Далекому Сході та Греції. Досягнення арабських математиків в області алгебраїчних рівнянь. Розв'язання похідного кубічного рівняння. Найвидатніші теореми про радикали вищих степенів, їх розв’язання.

    курсовая работа [536,1 K], добавлен 23.02.2014

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

    контрольная работа [723,3 K], добавлен 07.01.2016

  • Розгляд теоретичних основ рівнянь з параметрами. Основні види даних рівнянь. Аналітичний та графічний методи розв’язування задач із використанням формул, властивостей функцій. Ознайомлення із системою розв’язування задач з параметрами для 9 класу.

    курсовая работа [605,9 K], добавлен 29.04.2014

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

    дипломная работа [1,1 M], добавлен 24.01.2012

  • Системи лінійних алгебраїчних рівнянь, головні означення. Коротка характеристика головних особливостей матричного способу, методу Жордано-Гаусса. Формули Крамера, теорема Кронекера-Капеллі. Практичний приклад розв’язання однорідної системи рівнянь.

    курсовая работа [690,9 K], добавлен 25.04.2013

  • Теорія графів та її використання у різних галузях. У фізиці: для побудови схем для розв’язання задач. У біології: для розв’язання задач з генетики. Спрощення розв’язання задач з електротехніки за допомогою графів. Математичні розваги і головоломки.

    научная работа [2,1 M], добавлен 10.05.2009

  • Загальні властивості диференціальних рівнянь Ріккаті. Прості випадки інтегрованості в квадратурах. Побудова загального розв’язку у випадку, коли відомий один частинний розв’язок. Структура загального розв’язку, коли відомо два або три частинних розв’язки.

    курсовая работа [134,0 K], добавлен 22.01.2013

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

    курсовая работа [7,8 M], добавлен 21.11.2011

  • Теоретичні основи розв’язування рівнянь з параметрами. Функція пряма пропорційність. Загальне поняття про аналітичний та графічний метод. Дробово-раціональні рівняння з параметрами, що зводяться до лінійних. Система розв’язування задач для 9 класу.

    курсовая работа [596,8 K], добавлен 21.03.2013

  • Історія створення теорії алгебраїчних рівнянь. Сутність системи лінійних алгебраїчних рівнянь в лінійній алгебрі. Повна характеристика методів розв'язання рівнянь: точні, ітераційні та ймовірнісні. Особливості теорем Гауса-Жордана та Габріеля Крамера.

    реферат [543,7 K], добавлен 23.04.2015

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

    отчет по практике [143,9 K], добавлен 02.03.2010

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.