Метад Гауса

З Вікіпедыі, свабоднай энцыклапедыі

Метад Гауса — класічны метад рашэння сістэмы лінейных алгебраічных ураўненняў (СЛАУ). Названы ў гонар нямецкага матэматыка Карла Фрыдрыха Гауса. Гэта метад паслядоўнага выключэння пераменных, калі з дапамогай элементарных пераўтварэнняў сістэма ураўненняў прыводзіцца да раўнасільнай сістэмы трохкутнага выгляду, з якой паслядоўна, пачынаючы з апошніх (па нумары), знаходзяцца ўсе зменныя сістэмы[1].

Гісторыя[правіць | правіць зыходнік]

Хоць у цяперашні час гэты метад паўсюдна называецца метадам Гауса, ён быў вядомы і да К. Ф. Гауса. Першае вядомае апісанне дадзенага метаду — у кітайскім трактаце «Матэматыка ў дзевяці кнігах».[2]

Апісанне метаду[правіць | правіць зыходнік]

Няхай зыходная сістэма выглядае наступным чынам:

Яе можна запісаць у матрычным выглядзе:

дзе

Матрыца называецца асновай матрыцай сістэмы, — слупком свабодных членаў.

Тады, згодна з уласцівасці элементарных пераўтварэнняў над радкамі, асноўную матрыцу гэтай сістэмы можна прывесці да ступеньчатага выгляда (гэтыя ж пераўтварэнні трэба ўжываць да слупка свабодных членаў):

Пры гэтым будзем лічыць, што базісны мінор (ненулявы мінор максімальнага парадку) асноўны матрыцы знаходзіцца ў верхнім левым куце, то ёсць у яго ўваходзяць толькі каэфіцыенты пры зменных [3].

Тады пераменныя называюцца галоўнымі пераменнымі. Усе астатнія называюцца свабоднымі.

Калі хоць бы адно лік , дзе , то разглядаемая сістэма несумесная, г. зн. у яе няма ні аднаго рашэння.

Хай для любых .

Перанясем свабодныя зменныя за знакі роўнасцей і падзелім кожнае з ураўненняў сістэмы на свой каэфіцыент пры самым левым (, дзе — нумар радка):

,

дзе

Калі свабодным пераменным сістэмы (2) надаваць усе магчымыя значэння і вырашаць новую сістэму адносна галоўных невядомых знізу ўверх (гэта значыць ад ніжняга ўраўненні да верхняга), то мы атрымаем усе рашэнні гэтай СЛАУ. Так як гэтая сістэма атрымана шляхам элементарных пераўтварэнняў над зыходнай сістэмай (1), то па тэарэме аб эквівалентнасці пры элементарных пераўтварэннях сістэмы (1) і (2) раўназначныя, то ёсць мноства іх рашэнняў супадаюць.

Вынікі:
1: Калі ў сумеснай сістэме ўсе зменныя галоўныя, то такая сістэма з'яўляецца вызначанай.
2: Калі колькасць зменных у сістэме прэвасходзіць лік уравненій, то такая сістэма з'яўляецца альбо нявызначанай, альбо несумеснай.

Крытэрый сумеснасці[правіць | правіць зыходнік]

Згаданая вышэй ўмова для ўсіх можа быць сфармулявана ў якасці неабходнай і дастатковай ўмовы сумесна:

Нагадаем, што рангам сумеснай сістэмы называецца ранг яе асноўнай матрыцы (альбо пашыранай, так як яны роўныя).

Тэарэма Кронекера — Капелі.
Сістэма сумесна тады і толькі тады, калі ранг яе асноўнай матрыцы роўнырангу яе пашыранай матрыцы.

Вынікі:

  • Колькасць галоўных пераменных роўна рангу сістэмы і не залежыць ад яе вырашэння.
  • Калі ранг сумеснай сістэмы раўняецца колькасці пераменных, то яна вызначана.

Алгарытм[правіць | правіць зыходнік]

Блок схема прадстаўлена на малюнку. Дадзены малюнак адаптаваны для напісання праграмы на мове С/С++, дзе a[0] слупок свабодных членаў.

Алгарытм Гауса для вырашэння САУ

Апісанне[правіць | правіць зыходнік]

Алгарытм рашэння СЛАУ метадам Гауса падзяляецца на два этапы.

  • На першым этапе ажыццяўляецца так званы прамы ход, калі шляхам элементарных пераўтварэнняў над радкамі сістэму прыводзяць да ступеньчатай або трохкутнай форме, альбо азначаюць, што сістэма несумесная. А менавіта, сярод элементаў першага слупка матрыцы выбіраюць ненулявы, перамяшчаюць яго на крайняе верхняе становішча перастаноўкай радкоў і адымаюць атрыманы пасля перастаноўкі першы радок з астатніх радкоў, дамножыўшы яе на велічыню, роўную адносінах першага элемента кожнай з гэтых радкоў да першага элементу першай радкі, абнуляючы тым самым слупок пад ім. Пасля таго, як названыя пераўтварэнні былі здзейсненыя, першы радок і першы слупок у думках выкрэсліваюць і працягваюць пакуль не застанецца матрыца нулявога памеру. Калі на якой-небудзь з ітэрацый сярод элементаў першага слупка не знайшоўся ненулявы, то пераходзяць да наступнага слупка і праводзяць аналагічную аперацыю.
  • На другім этапе ажыццяўляецца так званы зваротны ход, сутнасць якога заключаецца ў тым, каб выказаць усе атрыманыя базісныя зменныя праз нябазісныя і пабудаваць фундаментальную сістэму рашэнняў, альбо, калі ўсе зменныя з'яўляюцца базіснымі, то выказаць у лікавым выглядзе адзінае рашэнне сістэмы лінейных ураўненняў. Гэтая працэдура пачынаецца з апошняга ўраўнення, з якога выказваюць адпаведную базісную зменную (а яна там усяго адна) і падстаўляюць у папярэднія ўраўненні, і гэтак далей, паднімаючыся па «прыступках» наверх. Кожнай радку адпавядае роўна адна базісная пераменная, таму на кожным кроку, акрамя апошняга (самага верхняга), сітуацыя ў дакладнасці паўтарае выпадак апошняй радкі.

Метад Гауса патрабуе арыфметычных аперацый.

Гэты метад абапіраецца на:

Тэарэма (аб прывядзенні матрыц да ступенчатага выгляда).
Любую матрыцу шляхам элементарных прэабразаванняў толькі над радкамі можна прывесці да ступенчатага выгляда.

Найпросты выпадак[правіць | правіць зыходнік]

У найпростым выпадку алгарытм выглядае так:

  • Прамы ход:
  • Зваротны ход. З апошняга ненулявога ўраўнення выказваем базісную пераменную праз нябазісныя і падстаўляем у папярэднія ўраўненні. Паўтараючы гэтую працэдуру для ўсіх базісных пераменных, атрымліваем фундаментальнае рашэнне.

Прыклад[правіць | правіць зыходнік]

Пакажам, як метадам Гауса можна вырашыць наступную сістэму:

Абнулім каэфіцыенты пры у другім і трэцім радках. Для гэтага дададзім да іх першы радок, памножаны на і , адпаведна:

Цяпер абнулім каэфіцыент пры у трэцім радку, аднімем з яе другі радок, памножаны на :

У выніку мы прывялі зыходную сістэму да трохвугольнага выгляду, тым самым скончым першы этап алгарытму.

На другім этапе дазволім атрыманыя ўраўненні ў зваротным парадку. Маем:

з трэцяга;
з другога, падставіўшы атрыманае
з першага, падставіўшы атрыманыя і .

Такім чынам, зыходная сістэма вырашана.

У выпадку, калі лік ураўненняў ў сумеснай сістэме атрымаўся меншы за колькасць невядомых, то тады адказ будзе запісвацца ў выглядзе фундаментальнай сістэмы рашэнняў.

Прымяненне і мадыфікацыі[правіць | правіць зыходнік]

Акрамя аналітычнага рашэння СЛАУ, метад Гауса таксама ўжываецца для:

  • знаходжання матрыцы, зваротнай да дадзенай (да матрыцы справа прыпісваецца адзінкавая такога ж памеру, што і зыходная: , пасля чаго прыводзіцца да выгляду адзінкавай матрыцы метадам Гауса—Жордана; у выніку на месцы першапачатковай адзінкавай матрыцы справа аказваецца зваротная да зыходнай матрыца: );
  • вызначэння рангу матрыцы (паводле следства з тэарэмы Кронекера—Капеллі ранг матрыцы роўны ліку яе галоўных зменных);
  • колькаснага рашэння СЛАУ у тэхнічных дадатках (для памяншэння хібнасці вылічэнняў выкарыстоўваецца Метад Гауса з вылучэннем галоўнага элемента, сутнасць якога заключана ў тым, каб на кожным кроку ў якасці галоўнай пераменнай выбіраць тую, пры якой сярод чарговых радкоў і слупкоў, якія засталіся пасля выкрэслівання, стаіць максімальны па модулю каэфіцыент).

Годнасці метаду[правіць | правіць зыходнік]

  • Для матрыц абмежаванага памеру менш працаёмкі па параўнанні з іншымі метадамі.
  • Дазваляе адназначна азначыць, сумесная сістэма або не, і калі сумесная, знайсці яе рашэнне.
  • Дазваляе знайсці максімальны лік лінейна незалежных ураўненняў — ранг матрыцы сістэмы[4].

Устойлівасць метаду Гауса[правіць | правіць зыходнік]

Метад Гауса для дрэнна абумоўленых матрыц каэфіцыентаў з'яўляецца вылічальна няўстойлівым. Напрыклад, для матрыц Гільберта метад прыводзіць да вельмі вялікіх памылак нават пры невялікай памернасці гэтых матрыц. Паменшыць вылічальную памылку можна з дапамогай метаду Гауса з вылучэннем галоўнага элемента, які з'яўляецца ўмоўна устойлівым [5]. Шырокае прымяненне метаду Гауса звязана з тым, што дрэнна абумоўленыя матрыцы сустракаюцца на практыцы адносна рэдка.

Неаптымальнасць метаду Гауса[правіць | правіць зыходнік]

У 1969 годзе Штрасен даказаў, што вялікія матрыцы можна перамнажаць за час [6]. Адсюль вынікае, што зварот матрыц і рашэнне СЛАУ можна ажыццяўляць алгарытмамі асімптатычна больш хуткімі па парадку, чым метад Гауса. Такім чынам, для вялікіх СЛАУ метад Гауса не аптымальны па хуткасці.

Гл. таксама[правіць | правіць зыходнік]

Зноскі[правіць | правіць зыходнік]

  1. Н. Ш. Кремер, 2.3. «Метод Гаусса», стр. 44
  2. Grcar Joseph F. How ordinary elimination became Gaussian elimination // Historia Mathematica. — В. 2. — Т. 38. — DOI:10.1016/j.hm.2010.06.003arΧiv:0907.2397
  3. Такого расположения минора можно добиться перестановкой столбцов основной матрицы и соответствующей перенумерацией переменных.
  4. Н. Ш. Кремер, 2.4. «Система m линейных уравнений с n переменными», стр. 49
  5. УСТОЙЧИВОСТЬ И ТОЧНОСТЬ ПРЯМЫХ МЕТОДОВ(недаступная спасылка)
  6. Strassen V. Gaussian Elimination is not Optimal // Numer. Math / F. BrezziSpringer Science+Business Media, 1969. — Vol. 13, Iss. 4. — P. 354–356. — ISSN 0029-599X; 0945-3245doi:10.1007/BF02165411

Літаратура[правіць | правіць зыходнік]

  • Метад Гауса — артыкул з Матэматычнай энцыклапедыі
  • Ильин В. А., Позняк Э. Г. Линейная алгебра: Учебник для вузов. — 6-е изд., стер. — М., 2004.
  • Амосов А. А., Дубинский Ю. А., Копченова Н. П. Вычислительные методы для инженеров. — М.: Мир, 1998.
  • Бахвалов Н. С., Жидков Н. П., Кобельков Г. Г. Численные методы. — 8-е изд. — М.: Лаборатория Базовых Знаний, 2000.
  • Волков Е. А. Численные методы. — М.: Физматлит, 2003.
  • Справочник по математике для научных работников и инженеров. — М.: Наука, 1970. — С. 575-576.
  • Кремер Н. Ш., Путко Б. А., Тришин И. М., Фридман М. Н. Высшая математика для экономистов / Под ред. Н. Ш. Кремера. — 3-е изд. — М.: ЮНИТИ-ДАНА, 2007. — 479 с. — ISBN 5-238-00991-7.