Агрегативно-ітеративні алгоритми для лінійних рівнянь з обмеженими операторами
Знакосталість компонента матриці A та вектора b. Алгоритми з розв’язання систем лінійних алгебраїчних рівнянь як багатократних агрегативно-ітеративних. Умови збіжності ітераційного процесу. Спектральне представлення лінійного компактного оператора.
Рубрика | Математика |
Вид | автореферат |
Язык | украинский |
Дата добавления | 05.01.2014 |
Размер файла | 200,4 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Размещено на http://www.allbest.ru
Размещено на http://www.allbest.ru
Львівський Державний Університет імені Івана Франка
Автореферат
дисертації на здобуття наукового ступеня кандидата
фізико-математичних наук
«Агрегативно-ітеративні алгоритми для лінійних рівнянь з обмеженими операторами»
Петрович Роман Йосипович
Львів-1999
Загальна характеристика роботи
Досліджені в дисертації алгоритми вписуються в клас методів ітеративного агрегування, які виникли в шістдесяті роки. Ці методи досліджували Л.М. Дудкін, Е.Б. Єршов, Б.А. Щенніков, Л.А. Хіздер, І.М. Ляшенко, М.В. Калініна, В.Я. Стеценко, А.А. Бабаджанян. Як для загальних багато параметричних алгоритмів так і для одно параметричного варіанту методу ітеративного агрегування для систем лінійних рівнянь вигляду:
.
Одним з основних обмежень, які фігурують в цих роботах, є вимога про знакосталість компонент матриці A та вектора b. Серед інших обмежень, які у цих дослідженнях гарантують збіжність методів, фігурує також вимога, щоб норма матриці A була меншою за 1/2 або й за 1/3. Для одно параметричного випадку М.А. Красносельским, Є.А. Ліфшицьом і А.В. Островським отримано умови збіжності, які містять вимогу, щоб спектральний радіус матриці А був менший за одиницю при додатніх компонентах матриці A та вектора b. В тій же книжці зазначено, що на практиці одно параметричний варіант методу ітеративного агрегування “збігається й у ряді випадків, зокрема якщо спектральний радіус матриці системи A більший за одиницю. Для багато параметричного варіанту методу умови збіжності невідомі“. В 1990-1995-х роках Б.А. Шуваром запропонована методика побудови і дослідження агрегативно-ітеративних методів, яка не вимагає знакосталості компонент матриці A і вектора b за припущень, які не обов'язково містять вимогу, щоб спектральний радіус матриці A був меншим за одиницю.Отже, дослідження умов збіжності методів ітеративного агрегування з теоретичного і практичного погляду є актуальною задачею.
Мета і задачі дослідження. Метою роботи є побудова на основі методики Б.А. Шувара багатократних агрегативно-ітеративних алгоритмів, побудова агрегативно-ітеративних аналогів ітераційних методів: методу послідовної верхньої релаксації, чебишевського методу, методу найшвидшого спуску, а також дослідження збіжності запропонованих алгоритмів.
Наукова новизна одержаних результатів. На основі теоретичних і експериментальних досліджень, проведених в дисертаційній роботі:
- запропоновані і досліджені алгоритми розв'язання систем лінійних алгебраїчних рівнянь, названі багатократними агрегативно-ітеративними алгоритмами;
- досліджена збіжність цих алгоритмів за припущень, які не містять вимог про знакосталість коефіцієнтів матриць і вільних членів;
- встановлені умови збіжності ітераційного процесу можуть справджуватися і тоді, коли спектральний радіус відповідної матриці переходу методу більший за одиницю;
- запропоновані і досліджені алгоритми, які поєднують ідеї агрегативно-ітеративних методів з іншими ітераційними методами (послідовної верхньої релаксації, найшвидшого спуску, чебишевським методом, методом простої ітерації);
- для лінійних рівнянь в банаховому просторі досліджені аналоги багатократних агрегативно-ітеративних алгоритмів.
На захист виносяться такі результати:
Методика побудови алгоритмів багатократного ітеративного агрегування.
Методика побудови алгоритмів, що поєднують ітеративне агрегування з методами послідовної верхньої релаксації, чебишевським ітераційним методом, методом найшвидшого спуску, методом простої ітерації.
Результати про збіжність і оцінки похибок запропонованих агрегативнно-ітеративних алгоритмів.
Практичне значення одержаних результатів. Проаналізовано можливість побудови нових наближених методів ітераційного типу, які природним чином можна поєднувати з багатьма відомими наближеними методами, розширюючи можливості застосування таких методів. Одержані результати можна використати при дослідженні реальних процесів, математичні моделі яких описуються лінійними рівняннями.
Особистий внесок здобувача. Всі наукові результати, включені в дисертацію, одержані здобувачем особисто. У спільних публікаціях Б.А. Шувару належить постановка задачі і участь в обговоренні результатів.
Апробація результатів дисертації. Основні результати, одержані в дисертаційній роботі, доповідалися на семінарі "Числові методи для диференціальних і інтегральних рівнянь" (ДУ "Львівська політехніка"), на всеукраїнській науковій конференції "Розробка та застосування математичних методів в науково-технічних дослідженнях", присвяченій 70-річчю від дня народження професора П.С. Казімірського (5-7 жовтня 1995р.), на Другій Українській конференції з автоматичного керування "Автоматика-95" 26-30 вересня 1995р., на міжнародній науково-технічній конференції "Сучасні проблеми автоматизованої розробки і виробництва радіоелектронних засобів, застосування засобів зв'язку та підготовки інженерних кадрів" (27 лютого - 3 березня 1996р.), на Українській конференції "Моделирование и исследование устойчивости систем" 20-24 травня 1996р., Київ, на науковій конференції "Нелінійні проблеми аналізу" Івано-Франківськ, 1996.
Публікації. Результати, що включені до дисертації, опубліковані в 15 роботах, в тому числі у трьох статтях, які надруковані у виданнях, що входять в перелік ВАКу, одному препринті, трьох депонованих статтях, восьми тезах доповідей на конференціях.
1. Основний зміст роботи
У вступі поданий стислий опис досліджуваної проблеми, обґрунтована актуальність задач, які становлять предмет розгляду, сформульована мета, наукова новизна, а також основні положення, які виносяться на захист.
В першому розділі зроблено огляд літератури за темою дисертації.
У другому розділі побудовані і досліджені багатократні агрегативно-ітеративні алгоритми для знаходження наближеного розв'язку систем лінійних алгебраїчних рівнянь.
В підрозділі 2.1 на прикладі однопараметричного агрегування описана методика дослідження методів ітеративного агрегування. Докладніший опис використаного тут підходу зводиться до наступного.
У дійсному скінченновимірному просторі розглядається система лінійних алгебраїчних рівнянь, подана у вигляді:
, (1)
де (i,j=1,...,N) - квадратна матриця і . Вважаємо, що для власних чисел матриці A справджуються співвідношення
, . (2)
Нехай задані , , , які будемо трактувати як наближення в тому чи іншому розумінні до значень власного числа і відповідних йому власних векторів матриць і . Утворимо матрицю:
,
де під добутком розуміємо тензорний добуток, і подамо матрицю у вигляді:
. (3)
Запровадимо нове невідоме і до системи (1) приєднаємо рівняння:
. (4)
Запровадимо до розгляду множину:
. (5)
Будуємо ітераційний процес:
, (6)
, (7)
де , , . Ітераційний процес (6),(7) в просторі можна подати у вигляді:
, (8)
де:
,
,
.
Позначимо:
,
.
Алгоритм (6), (7), матрицю переходу C та множину початкових наближень (5) пов'язують такі властивості:
Вектор є власним вектором матриці , що відповідає власному числу .
Якщо вектор:
,
є розв'язком системи лінійних алгебраїчних рівнянь:
, (9)
то є розв'язком системи (1).
Якщо - розв'язок рівняння (9), то .
Якщо початкове наближення вибрано із множини , то всі наступні наближення (n=1,2,...), отримані за формулами (6), (7) також належать до множини .
Це означає, що за вибору початкового наближення із (5) вектор похибки ортогональний до власного підпростору матриці , що відповідає власному значенню .
Теорема 1. Нехай дійсна матриця має спектральне представлення:
,
і для її власних значень справджуються нерівності:
,
Тоді, якщо початкове наближення вибране із множини (5), то ітераційний процес (6), (7) збігається до розв'язку системи (1),(4), причому:
. (10)
Зв'язок між власними значеннями матриць A і C можна встановити, подавши C у вигляді:
.
2. Теореми Бауера - Файка про спектр суми матриць
Теорема 2. Нехай для власних значень матриці A справджуються співвідношення (2), а ітераційні параметри у методі (6), (7) вибрані за формулами:
,
.
Якщо для векторів , і числа справджується нерівність:
,
де:
,
- діагональна матриця і початкове наближення вибране із множини (5), то агрегативно-ітеративний алгоритм (6), (7) збігається.
Власні значення матриці C , можна розглядати як збурені власні значення , матриці A. Згідно твердження теореми 1 збіжність алгоритму (6), (7) залежить від власного значення матриці C і не залежить від . Тому можна говорити, що однопараметричний агрегативно-ітеративний алгоритм (6), (7) усуває вплив найбільшого за величиною модуля власного значення матриці A на збіжність ітераційного процесу.
В підрозділі 2.2 запропоновані багатократні агрегативно-ітеративні алгоритми, що дозволяють усунути вплив m дійсних власних чисел матриці A системи (1) на збіжність ітераційного процесу. Розглядається випадок, коли A є матрицею простої структури, для власних чисел якої справджуються нерівності:
(11)
Вважаємо також заданими числа , (i=1,...m) і вектори (i=1,...,m) та (i=1, ...,m), для яких справджуються співвідношення:
Матрицю A подамо у вигляді (3), де:
.
Утворимо матрицю розміру , стовпцями якої є вектори (i=1,...,m), матрицю:
та матрицю розміру , стовпцями якої є вектори (i=1,...,m). Запровадимо нові невідомі ,...,. Позначивши , доповнимо систему (1) рівнянням:
. (12)
Запровадимо до розгляду множину:
. (13)
Запропоновано ітераційний процес:
, (14)
, (15)
де - матриця розміру , a - матриця розміру , і:
.
Ітераційний процес (14),(15) у просторі можна подати у вигляді:
, (16)
де:
,
,
- вектор з нульовими компонентами,
. (17)
Теорема 3. Нехай матриця C має спектральне представлення:
(18)
і для її власних чисел справджуються нерівності:
,
Тоді, якщо початкове наближення належить до множини (13), то ітераційний процес (14),(15) збігається до розв'язку системи (1),(12), причому:
. (19)
Умова збіжності алгоритму, запропонована в теоремі 3, важко перевіряється, оскільки важко оцінити величину . Тому для важливого часткового випадку пропонується інша умова збіжності.
Теорема 4. Нехай у агрегативно-ітеративному алгоритмі (14), (15) параметри і вибрано:
, , (20)
де - нульова матриця розміру , а матриця має спектральне представлення (18). Тоді, якщо спектральний радіус матриці:
(21)
Менший за одиницю, то ітераційний процес (14), (15) за умови вибору початкового наближення із (13) збігається.
Теорема 4 дає можливість оцінити , оскільки:
.
В підрозділі 2.3 досліджуються багатократні агрегативно-ітеративні алгоритми для систем вигляду (1), матриці яких мають кратні власні значення. Нехай матрицю A можна подати у вигляді:
, (22)
де: - жорданова клітка розміру:
,
,
p - число жорданових кліток. Вважаємо відомими , - наближення до власних чисел матриці A, що відповідають жордановим кліткам , (i=1,...,k, k<p) матриці A у представленні (22). Крім того, вважаємо заданими вектори:
- деякі наближення до власних і кореневих векторів матриці A, що утворюють перших m стовпців матриці V у (22), а також вектори - наближення до векторів, що утворюють перші m рядків матриці у (22). Для векторів , (i,j=1,...,m) справджуються рівності . Через позначимо матрицю розміру , стовпцями якої є вектори (i=1,...,m), через - матрицю розміру , рядками якої є вектори , (i=1,...,m). Матрицю A подамо у вигляді (3), де , J - блочно-діагональна матриця розміру , утворена жордановими клітками . Запровадимо нові невідомі.
Побудуємо ітераційний процес:
, (23)
, (24)
де - матриця розміру , a - матриця розміру , i:
.
Ітераційний процес у просторі можна подати у вигляді:
.
Теорема 5. Нехай для власних значень матриці C справджуються нерівності:
,
Тоді, якщо початкове наближення вибране із множини, то ітераційний процес збігається до розв'язку системи (1),(23) і для кожного ,
,
справджується оцінка:
. (25)
За допомогою схожої методики досліджуються багатократні агрегативно-ітеративні алгоритми, які дозволяють усунути вплив на збіжність ітераційного процесу комплексно-спряженої пари домінуючих власних значень, а також вплив кількох пар комплексно-спряжених власних значень матриці системи рівнянь (1). Розглядається випадок, коли дійсна матриця A має дійсні та комплексні власні значення.
Якщо клітка є розміру, то вона містить дійсне власне число матриці A, якщо ж клітка є розміру , то, де - комплексні власні числа матриці A. Вважаємо відомими - наближення до власних чисел матриці A, що відповідають кліткам, (i=1,...,k, k<p) матриці A у представленні. Крім того, вважаємо заданими вектори - деякі наближення до векторів, що утворюють перших m стовпців матриці V у, а також вектори - наближення до векторів, що утворюють перші m рядків матриці у. Для векторів, (i,j=1,...,m) справджуються рівності. Через позначимо матрицю розміру, стовпцями якої є вектори (i=1,...,m), через - матрицю розміру, рядками якої є вектори, (i=1,...,m). Матрицю A подамо у вигляді (3), де, J - блочно-діагональна матриця розміру, утворена клітками.
Теорема 6. Нехай для власних значень матриці C справджуються нерівності
Тоді, якщо початкове наближення вибране із множини, то ітераційний процес збігається до розв'язку системи (1), і для кожного .
Результати другого розділу використовуються для побудови агрегативно-ітеративних аналогів відомих методів знаходження розв'язку систем лінійних алгебраїчних рівнянь вигляду:
. (26)
Будь-який стаціонарний одно кроковий ітераційний метод для системи має вигляд:
, (27)
де A - матриця переходу методу. Система рівнянь:
,
еквівалентна в сенсі розв'язку. Шляхом застосування до неї алгоритмів, описаних в розділі 2, отримуються агрегативно - ітеративні аналоги відомих методів.
Побудований агрегативно - ітеративний аналог методу простої ітерації. Для системи лінійних алгебраїчних рівнянь (34), де B - позитивно визначена матриця розміру:
,
,
метод простої ітерації запишеться у вигляді, де:
,
,
M i m - оцінки найбільшого і найменшого власних значень матриці B.
.
Вважаємо заданими наближення до m власних чисел (i=1,...,m) і вектори (i=1,...,m) та (i=1,...,m), причому . Утворимо матрицю:
,
а також матрицю розміру , стовпцями якої є вектори (i=1,...,m), матрицю:
,
та матрицю розміру , стовпцями якої є (i=1,...,m). Застосувавши методику, і вибравши ітераційні параметри (20), одержимо агрегативно-ітеративний аналог методу простої ітерації:
, (28)
, (29)
де:
.
Множина початкових наближень запишеться у вигляді:
. (30)
Ітераційний процес у просторі можна подати у вигляді:
, (31)
де:
,
,
.
Теорема 7. Якщо для власних чисел матриці C справджуються співвідношення:
,
,
то за умови вибору початкового наближення із множини ітераційний процес збігається до розв'язку, і для кожного ,
,
справджується оцінка:
. (32)
Для випадку, коли матриця системи є симетричною, отримані видозміни формули так, щоб перехідна матриця агрегативно-ітеративного алгоритму також була симетричною. Оцінка у випадку реалізації симетричного варіанту алгоритму, набуває вигляду:
. (33)
З (33) випливає така оцінка кількості ітерацій, необхідної для зменшення похибки в разів:
. (34)
Для звичайного методу простої ітерації замість (33) справджується оцінка:
,
а для кількості ітерацій правдива оцінка:
. (35)
Запропонований агрегативно-ітеративний аналог методу найшвидшого спуску. Суть алгоритму можна пояснити наступним чином:
1. В просторі будується рівняння:
, (36)
знайшовши розв'язок якого отримуємо і розв'язок рівняння.
2. Матриця побудована так, що є відомими її m () власних значень і відповідних їм власних векторів .
3. Будується множина початкових наближень:
, (37)
де:
,
- матриця розміру , стовпцями якої є (i=1,...,m).
4. До рівняння застосовується метод найшвидшого спуску з вибором початкового наближення із множини.
Відомо, що швидкість збіжності наближень, отриманих методом найшвидшого спуску, оцінюється так:
, (38)
де i - відповідно мінімальне і максимальне власні числа матриці B, - початкове наближення.
Теорема 8. Нехай для рівняння (34) у просторі побудована система, де - симетрична позитивно визначена матриця, для власних значень якої справджується нерівності:
,
,
p+q=m.
Якщо початкове наближення вибране із множини, то метод найшвидшого спуску, застосований до системи (44) у просторі , збігається до розв'язку , причому:
.
Спосіб побудови матриці дозволяє в багатьох випадках зробити відношення більшим, ніж . Це забезпечує швидшу збіжність розглянутого тут алгоритму у порівнянні з методом найшвидшого спуску, застосованим до системи.
Запропонований агрегативно-ітеративний аналог чебишевського ітераційного методу. Використовуючи методику попереднього підрозділу побудуємо матрицю розміру і будемо розглядати систему лінійних алгебраїчних рівнянь (44). Для побудованої матриці відомі m власних значень а також m власних векторів , що їм відповідають. Утворимо матрицю:
,
та матрицю розміру , стовпцями якої є (i=1,...,m). Запровадимо множину початкових наближень (45). Застосуємо до (44) чебишевський ітераційний метод з вибором початкових наближень із множини:
,
,
, (39)
де - певним чином вибраний корінь многочлена Чебишева.
Теорема 9. Нехай для власних чисел матриці справджуються співвідношення:
,
,
,
p+q=m.
Тоді агрегативно-ітеративний аналог чебишевського ітераційного методу (47) з вибором початкових наближень із множини початкових наближень (45) збігається до розв'язку і для похибки справджується оцінка:
, (40)
де:
,
,
,
. (41)
Для кількості ітерацій справджується оцінка:
,
. (42)
В підрозділі 3.4 для систем лінійних алгебраїчних рівнянь із симетричними і узгоджено впорядкованими матрицями запропонований агрегативно-ітеративний аналог методу послідовної верхньої релаксації. В матричному вигляді метод послідовної верхньої релаксації можна подати у вигляді:
, (43)
де:
,
,
D - блочно-діагональна матриця, , - строго нижня і верхня трикутні матриці, причому:
.
Вважаємо заданими числа , (i=1,...,m) і вектори (i=1,...,m) та (i=1,...,m), причому:
.
Утворимо матрицю:
,
а також матрицю розміру , стовпцями якої є вектори (i=1,...,m), матрицю:
,
та матрицю розміру , стовпцями якої є (i=1,...,m). Одержимо агрегативно-ітеративний аналог методу послідовної верхньої релаксації:
, (44)
, (45)
де:
.
Множина початкових наближень приймає вигляд:
(46)
Дослідження ефективності побудованих в попередніх параграфах алгоритмів на системах лінійних рівнянь, отриманих шляхом застосування методу скінчених різниць до ряду краєвих задач вигляду:
,
,
де - границя області G. Наведемо результати тестування на прикладі однієї з шести тестових задач.
Тестовий приклад. Усталений розподіл температури в однорідній квадратній пластині зі сторонами довжини 1, на краях якої підтримуються постійні температури u=0 і u=1, задовольняє рівнянню Лапласа:
При кроку сітки рівному 1/33 розмірність отриманої системи рівнянь N=1024. Результати тестування наведені у таблицях 1-4. В першій лінійці кожної таблиці наводяться кількості ітерацій для відомих ітераційних методів (друга колонка) та для їх агрегативно-ітеративних аналогів певної кратності, вказаної у підзаголовку колонки (починаючи з третьої колонки). В наступній лінійці наводиться час в секундах, який виконувалась програма, що реалізувала відповідний алгоритм. В останній лінійці наводяться проценти, які складає час виконання агрегативно-ітеративного методу по відношенню до часу виконання його неагрегованого аналогу. Критерій припинення ітерацій та початкове наближення вибирались однаковими.
Таблиця 1. Результати розв'язування методом простої ітерації та агрегативно-ітеративним аналогом методу простої ітерації
Метод простих ітерацій |
Агрегативно-ітеративний аналог методу простих ітерацій кратності m |
||||||
m = 2 |
m = 6 |
m = 12 |
m = 20 |
m = 30 |
|||
К-сть ітерацій |
316 |
111 |
98 |
53 |
48 |
31 |
|
Час виконання |
119,84 |
42,31 |
38,34 |
22,85 |
20,17 |
16,58 |
|
Процент |
100% |
35,3% |
32% |
9,1% |
16,9% |
13,8% |
Таблиця 2. Результати розв'язування методом найшвидшого спуску та агрегативно-ітеративним аналогом методу найшвидшого спуску
Метод найшвидшого спуску |
Агрегативно-ітеративний аналог методу найшвидшого спуску кратності m |
||||
m = 2 |
m = 4 |
m = 12 |
|||
К-сть ітерацій |
377 |
159 |
131 |
70 |
|
Час виконання |
280 |
128 |
117 |
79 |
|
Процент |
100% |
45,7% |
41,8% |
29,3% |
Таблиця 3. Результати розв'язування чебишевським методом та агрегативно-ітеративним аналогом чебишевського методу
Чебишевський метод |
Агрегативно-ітеративний аналог чебишевського методу кратності m |
||||
m = 2 |
m = 4 |
m = 12 |
|||
К-сть ітерацій |
184 |
82 |
65 |
57 |
|
Час виконання |
69.37 |
44,57 |
30,64 |
38,28 |
|
Процент |
100% |
64,6% |
48,1% |
55,2% |
При розв'язуванні системи методом послідовної верхньої релаксації вибиралася оптимальна величина релаксаційного параметру .
Таблиця 4. Результати розв'язування методом послідовної верхньої релаксації та агрегативно-ітеративним аналогом методу послідовної верхньої релаксації
Метод ПВР |
Агрегативно-ітеративний аналог методу ПВР кратності m |
|||||
m = 1 |
m = 2 |
m = 3 |
m = 6 |
|||
К-сть ітерацій |
37 |
28 |
28 |
23 |
21 |
|
Час виконання |
14.94 |
12,19 |
12.58 |
10,71 |
10,8 |
|
Процент |
100% |
81,6% |
84,2% |
71,7% |
67,6% |
Абстрактна схему однопараметричних та багатократних агрегативно-ітеративних алгоритмів для наближеного розв'язання рівняння (1) в банаховому просторі. Вважаємо, що A - компактний оператор, який допускає спектральне представлення:
,
де - власні значення, - власні проектори оператора A, причому справджуються нерівності:
,
<1. (47)
Нехай задані , , , i=1,...m і справджуються співвідношення:
.
Побудуємо проектори:
і подамо оператор A у вигляді (3), де:
.
ітеративний агрегативний лінійний рівняння
Запровадимо нові змінні ,,...,. Позначимо через вектор-стовпець . Позначимо через лінійний компактний оператор, що переводить довільний елемент в елемент за законом , і=1,...,m. Рівняння (1) занурюємо у ширший простір:
шляхом приєднання рівняння:
. (48)
де:
,
.
Побудуємо лінійний компактний оператор , що переводить вектор в елемент за законом:
,
,
i=1,...,m,
і оператор , для яких справджується:
.
Запровадимо до розгляду множину:
. (49)
Запропоновано алгоритм:
, (50)
. (51)
У просторі:
алгоритм (50), (51) можна подати у вигляді:
,
де:
,
,
.
Теорема 10. Нехай лінійний компактний оператор має спектральне представлення:
, (52)
де: - власні значення, - власні проектори оператора C і для його власних значень справджуються співвідношення:
,
<1. (53)
Тоді, якщо початкове наближення вибране з множини, то ітераційний процес, збігається до розв'язку системи (1), причому:
,
(54)
Для всякого ,
і ,
де - розв'язок системи (1),(56).
Умова збіжності алгоритму, запропонована в теоремі 10, важко перевіряється, оскільки важко оцінити величину . Тому для важливого часткового випадку пропонується інша умова збіжності.
Теорема 11. Нехай у агрегативно-ітеративному алгоритмі (58), (59) параметри і вибрано:
,
, (55)
де - нульовий оператор, а лінійний компактний оператор має спектральне представлення (60). Тоді, якщо спектральний радіус оператора менший за одиницю.
, (55)
де - нульовий оператор, то ітераційний процес (58), (59) збігається за умови вибору початкового наближення із (57).
Теорема 11 дає можливість оцінити , оскільки:
.
Висновки
Запропоновані різновидності методів ітеративного агрегування - багатократні агрегативно-ітеративні алгоритми. Досліджено їх збіжність за припущень, які не містять вимог про знакосталість коефіцієнтів матриць і вільних членів.
Встановлені умови збіжності для багатократних агрегативно-ітеративних алгоритмів можуть справджуватися і тоді, коли спектральний радіус відповідної матриці переходу ітераційного методу більший за одиницю. Отримані результати поширені на лінійні рівняння з обмеженими операторами у банаховому просторі.
Запропоновані і досліджені нові алгоритми, які поєднують ідеї агрегативно-ітеративних методів з іншими ітераційними методами (послідовної верхньої релаксації, найшвидшого спуску, чебишевським методом, методом простої ітерації).
За допомогою прикладів проілюстровано застосовність досліджених алгоритмів до реальних задач та ефективність використання цих алгоритмів.
Література
1. Петрович Р.Й., Шувар Б.А. Однопараметричний агрегативно-ітеративний алгоритм для систем лінійних алгебраїчних рівнянь // Вісник Державного університету "Львівська політехніка", сер. Прикладна математика. - Львів, 1996. - N 299. - с. 180-183.
2. Петрович Р.Й. Параметризація методу найшвидшого спуску // Вісник Державного університету "Львівська політехніка", сер. Прикладна математика. - Львів, 1997. - N 320. - с. 111-113.
3. Петрович Р.Й. Багатократний агрегативно-ітеративний алгоритм для систем лінійних алгебраїчних рівнянь // Вісник Державного університету "Львівська політехніка", сер. Прикладна математика. - Львів, 1996. - N 299. - с. 183-185.
4. Петрович Р.Й. Про достатні умови збіжності деяких алгоритмів ітеративного агрегування. - Львів, 1996. - 43с. (Препр. / НАН України. І-нт прикл. проблем механіки і математики ім. Я.С. Підстригача; 3-96).
5. Петрович Р.Й., Шувар Б.А. Метод багатократного ітеративного агрегування для лінійних рівнянь з обмеженими операторами. // "Математика та психологія у педагогічній системі "Технічний університет". Збірник статей по матеріалах 1-ї Міжнародної науково-практичної конференції, Ч1. Одеса, 1996. - с. 108-109.
6. Петрович Р.Й., Шувар Б.А. Агрегативно-ітеративні алгоритми для розв'язування рівнянь в банахових просторах // Всеукраїнська наукова конференція "Розробка та застосування математичних методів в науково-технічних дослідженнях" присвячена 70-річчю від дня народження професора П.С. Казімірського (5-7 жовтня 1995р) Тези доповідей Ч 3, Львів, 1995, с. 142-143.
7. Петрович Р.Й. Метод багатократного ітеративного агрегування для систем лінійних алгебраїчних рівнянь // Українська конференція "Моделирование и исследование устойчивости систем". Тезисы докладов конференции.20-24 мая 1996г., Київ, 1996. - с. 107.
Размещено на Allbest.ru
...Подобные документы
Сумісність лінійних алгебраїчних рівнянь. Найвищий порядок відмінних від нуля мінорів матриці. Детермінант квадратної матриці. Фундаментальна система розв’язків та загальний розв'язок системи лінійних однорідних рівнянь. Приклади розв’язання завдань.
курсовая работа [86,0 K], добавлен 15.09.2008Історія створення теорії алгебраїчних рівнянь. Сутність системи лінійних алгебраїчних рівнянь в лінійній алгебрі. Повна характеристика методів розв'язання рівнянь: точні, ітераційні та ймовірнісні. Особливості теорем Гауса-Жордана та Габріеля Крамера.
реферат [543,7 K], добавлен 23.04.2015Розв’язання систем лінійних рівнянь методом Жордана-Гауса. Еквівалентні перетворення системи, їх виконання як елемент методів розв’язування системи рівнянь. Базисні та вільні змінні. Лінійна та фундаментальна комбінації розв’язків, таблиці коефіцієнтів.
контрольная работа [170,2 K], добавлен 16.05.2010Лінійні діофантові рівняння. Невизначені рівняння вищих порядків. Невизначене рівняння Ферма. Приклади розв’язання лінійних діофантових рівнянь та системи лінійних діофантових рівнянь. Алгоритми знаходження всіх цілочисельних розв’язків рівнянь.
курсовая работа [1,7 M], добавлен 29.12.2010Системи лінійних алгебраїчних рівнянь, головні означення. Коротка характеристика головних особливостей матричного способу, методу Жордано-Гаусса. Формули Крамера, теорема Кронекера-Капеллі. Практичний приклад розв’язання однорідної системи рівнянь.
курсовая работа [690,9 K], добавлен 25.04.2013Визначення системи лінійних рівнянь та її розв’язання. Поняття рангу матриці, правило Крамера та види перетворень з матрицею. Способи знайдення оберненої матриці А–1 до невиродженої матриці А. Контрольні запитання та приклади розв’язування задач.
задача [73,5 K], добавлен 25.03.2011Метод простої ітерації Якобі і метод Зейделя. Необхідна і достатня умова збіжності методу простої ітерації для розв’язання системи лінейних рівнянь. Оцінка похибки. Діагональне домінування матриці як умова збіжності ітерації. Основні переваги цих методів.
презентация [79,9 K], добавлен 06.02.2014Застосування методу Гауса (або методу послідовного виключення невідомих) для розв'язання систем лінійних рівнянь. Економний спосіб запису за допомогою компактної схеми Гауса. Алгоритм знаходження рангу матриці, метод Гауса з вибором головного елемента.
курсовая работа [879,9 K], добавлен 02.10.2010Класифікація та типи чисельних методів розв’язування систем лінійних рівнянь і обернення звернення матриць точні, ітераційні та комбіновані. Їх порівняльна характеристика та умови використання в окремих випадках. Вектори та операції над ними, норми.
презентация [85,6 K], добавлен 06.02.2014Огляд складання програми на мові програмування С++ для обчислення чотирьох лінійної системи рівнянь матричним методом. Обчислення алгебраїчних доповнень до елементів матриці. Аналіз ітераційних методів, заснованих на використанні повторюваного процесу.
практическая работа [422,7 K], добавлен 28.05.2012Дослідження системи лінійних алгебраїчних рівнянь на стійкість. Одержання характеристичного многочлена методом Левур’є, в основу якого покладено обчислювання слідів степенів матриці А. Приклад перевірки на стійкість систему Аx=B за допомогою програми.
курсовая работа [33,0 K], добавлен 29.08.2010Прийоми розв’язання задач в першому і другому степені на Далекому Сході та Греції. Досягнення арабських математиків в області алгебраїчних рівнянь. Розв'язання похідного кубічного рівняння. Найвидатніші теореми про радикали вищих степенів, їх розв’язання.
курсовая работа [536,1 K], добавлен 23.02.2014Основні поняття чисельних методів розв’язання систем лінійних алгебраїчних рівнянь. Алгоритм Гаусса зведення системи до східчастого виду послідовним застосуванням елементарних перетворень. Зворотній хід методу Жордана-Гаусса. Метод оберненої матриці.
курсовая работа [165,1 K], добавлен 18.06.2015Умова існування цілих розв’язків лінійних діофантових рівнянь, алгоритм Евкліда. Розв’язування лінійних рівнянь з двома змінними в цілих числах. Методика вивчення діофантових рівнянь в загальноосвітніх школах. Діофантові рівняння вищих порядків.
курсовая работа [758,4 K], добавлен 15.05.2019Запис системи рівнянь та їх розв'язання за допомогою методів оберненої матриці та Гауса. Поняття вектора-стовпця з невідомих та вільних членів. Пошук оберненої матриці до даної. Послідовне виключення невідомих за допомогою елементарних перетворень.
контрольная работа [115,2 K], добавлен 16.07.2010Поняття математичного моделювання. Форми завдання моделей: інваріантна; алгоритмічна; графічна (схематична); аналітична. Метод ітерацій для розв’язку систем лінійних рівнянь, блок-схема. Інструкція до користування програмою, контрольні приклади.
курсовая работа [128,6 K], добавлен 24.04.2011Графічний спосіб розв'язку рівнянь. Комбінований метод пошуку та відокремлення коренів. Метод Ньютона (метод дотичних або лінеаризації). Процедура Ейткена прискорення збіжності. Метод половинного поділу та простих ітерацій уточнення коренів рівняння.
лекция [1,9 M], добавлен 27.07.2013Поняття лінійного оператора, алгебраїчні операції над ним та базові властивості. Лінійні перетворення (оператори) із простору V в W. Матриця лінійного оператора. Перетворення матриці оператора при заміні базису. власні значення і власні вектори.
курсовая работа [452,3 K], добавлен 25.03.2011Розв'язання системи лінійних рівнянь методом повного виключення змінних (метод Гаусса) з використанням розрахункових таблиць. Будування математичної моделі задачі лінійного програмування. Умови для застосування симплекс-методу. Розв'язка спряженої задачі.
практическая работа [42,3 K], добавлен 09.11.2009Чисельні методи розв’язання систем нелінійних рівнянь: лінійні і нелінійні рівняння, метод простих ітерацій, метод Ньютона. Практичне використання методів та особливості розв’язання систем нелінійних рівнянь у пакеті Mathcad, Excel та на мові С++.
курсовая работа [2,0 M], добавлен 30.11.2010