3.3.3. Метод Гаусса

Метод основан на приведении исходной СЛАУ с произвольной матрицей (3.6), с помощью преобразований, не меняющих решение, к СЛАУ с верхней треугольной матрицей вида:

. (3.7)

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

Решение системы с верхней треугольной матрицей (3.7), как легко видеть, находится по формулам, называемым обратным ходом метода Гаусса:

(3.8)

Сначала из последнего уравнения (3.7) находится x_n, затем, зная x_n, из предпоследнего находится x_n–1 и т. д.

Прямой ход метода Гаусса осуществляется следующим образом: вычтем из каждогоm-го уравнения(m = 2 ... n) первое уравнение, умноженное наи вместоm-го уравнения оставим полученное. В результате в матрице системы исключаются все коэффициенты первого столбца ниже диагонального. Затем, используя второе полученное уравнение, аналогично исключим элементы второго столбца(m = 3 ... n) ниже диагонального и т. д. Такое исключение называетсяциклом метода Гаусса. Проделывая последовательно эту операцию с расположенными нижеk-го уравнениями (k = 1, 2, ..., n–1), приходим к системе вида (3.7). При указанных операциях решение СЛАУ не изменяется.

На каждом k-м шаге преобразований прямого хода элементы матриц изменяются поформулам прямого хода метода Гаусса:

(3.9)

Элементы называютсяглавными. Заметим, что если в ходе расчетов по данному алгоритму на главной диагонали окажется нулевой элемент, то произойдет сбой в ЭВМ. Чтобы этого избежать, следует каждый цикл поkначинать с перестановки строк: среди элементовk-го столбцанаходят номер pглавного, т. е. наибольшего по модулю, и меняют местами строкиkиp. Такой выбор главного элемента значительно повышает устойчивость алгоритма к ошибкам округления, так как в формулах (3.9) при этом производится умножение на числаменьшие единицы, и ошибка, возникшая ранее, уменьшается.

Проиллюстрируем метод Гаусса на решении СЛАУ 3-го порядка:

Первый цикл: вычтем из второго уравнения первое, умноженное на , а из третьего – первое, умноженное наполучим:

Второй цикл: вычтем из третьего уравнения второе, умноженное на a_3,2/a_2,2 = 0,5; получим систему с треугольной матрицей вида:

Обратный ход: из последнего уравнения находим , подставляя во второе, находим, подставляя в первое, находим.

Таким образом, получен вектор решения

Определитель матрицы (detA) не изменяется при вышеприведенных преобразованиях прямого хода метода Гаусса, однако изменяется его знак.

Как известно, определитель треугольной матрицы равен произведению ее диагональных элементов. Для нашего примера det A = 249 = 72.

3.3.4. Решение задачи на собственные значения

Рассмотрим задачу III с матричным оператором А

(3.10)

Значения , , при которых выполняется (3.10) называются собственным значением и соответствующим ему собственным вектором матрицыА. Множество всех собственных значений называется спектром матрицы А.

Система является однородной (здесьI – единичная матрица), и следовательно имеет ненулевое решение только тогда, когда определитель матрицы системы равен нулю:

.

Этот определитель представляет собой многочлен степени n относительно , который называется характеристическим. Соответствующее характеристическое уравнение получается после приведения подобных членов и имеет стандартный вид:

. (3.11)

Характеристическое уравнение (3.11) имеет n корней ₁,…_n, среди которых могут быть одинаковые (кратные). Эти корни и являются собственными значениями матрицы.

Для нахождения собственных векторов требуется при каждом ₁,…_n решать однородную систему уравнений:

(3.12)

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

.

В качестве примера найдем собственные значения и собственные векторы матрицы:

.

Составляем характеристическое уравнение:

;.

Построим график P(), найдем приближенное значение каждого корня, после этого решаем уравнение P() = 0 численно, находим

{₁ = –4.284, ₂ = 3.762, ₃ = 5.522}.

При ₁ = –4.284, получим систему:

Определитель этой однородной системы равен нулю, поэтому она имеет бесконечное множество решений. Одну из переменных можно взять произвольно, например, x₃ = c₁ и отбросить одно из уравнений. Тогда получим

.

Действуя аналогично, при ₂ = 3.762, x₁ = c₂, получим .

При ₃ = 5.522, x₃ = c₃, получим .