ВВЕДЕНИЕ В ВЫЧИСЛИТЕЛЬНУЮ МАТЕМАТИКУ Лекция 5 6 октября 2009 ВЫЧИСЛИТЕЛЬНАЯ ЛИНЕЙНАЯ АЛГЕБРА
2. Вычислительная линейная алгебра Неявные итерационные методы Метод Якоби Представим матрицу А в виде А = L + D + U, где L и U нижняя и верхняя треугольные матрицы с нулевыми элементами на главной диагонали, D диагональная матрица. Рассматриваемая СЛАУ может быть переписана в следующем эквивалентном виде Lu + Du + Uu = f
2. Вычислительная линейная алгебра Lu k + Du k+1 + Uu k = f u k+1 = –D –1 (L+U)u k + D –1 f
2. Вычислительная линейная алгебра
Каноническая форма записи
2. Вычислительная линейная алгебра Теорема (достаточное условие сходимости метода Якоби). Итерационный метод Якоби сходится к решению соответствующей СЛАУ, если выполнено условие диагонального преобладания
2. Вычислительная линейная алгебра Доказательство. Выполненные условия диагонального преобладания означает, что в любой строке матрицы перехода
2. Вычислительная линейная алгебра сумма модулей элементов меньше единицы. В этом случае по крайней мере одна из норм матрицы В меньше единицы. Тогда выполняется достаточное условие сходимости метода простых итераций.
2. Вычислительная линейная алгебра Теорема (критерий сходимости итерационного метода Якоби). Для сходимости итерационного метода Якоби необходимо и достаточно, чтобы все корни уравнения по модулю не превосходили единицы
2. Вычислительная линейная алгебра Доказательство
2. Вычислительная линейная алгебра Метод Зейделя Lu k+1 + Du k+1 + Uu k = f u k+1 = –(D+L) –1 Uu k +( D+L) –1 f
2. Вычислительная линейная алгебра Каноническая форма
2. Вычислительная линейная алгебра Компонентная форма
2. Вычислительная линейная алгебра Теорема (достаточное условие сходимости метода Зейделя, без доказательства). Пусть А вещественная, симметричная, положительно определенная матрица. В этом случае итерационный метод Зейделя сходится.
2. Вычислительная линейная алгебра Метод релаксации
2. Вычислительная линейная алгебра Вариационные методы Функционал энергии
2. Вычислительная линейная алгебра Теорема Пусть А = А* > 0. В этом случае существует единственный элемент, придающий наименьшее значение функционалу энергии, являющийся решением СЛАУ Аu = f.
2. Вычислительная линейная алгебра
Докажем, что верно и обратное утверждение. Если элемент доставляет минимальное значение функционалу энергии, то он является решением системы линейных уравнений
2. Вычислительная линейная алгебра Метод наискорейшего спуска
2. Вычислительная линейная алгебра
Метод минимальных невязок Итерационный параметр τk на каждой итерации выбирается так, чтобы минимизировать, евклидову норму невязки
2. Вычислительная линейная алгебра Метод минимальных невязок
2. Вычислительная линейная алгебра Идея метода сопряженных градиентов Оптимизируем градиентный метод, выбирая параметры τ таким образом, чтобы на последующем шаге невязка была ортогональна всем предыдущим. На первом шаге ищем аналогично методу наискорейшего спуска. Получим невязки, образующие ортогональный базис. На последнем шаге невязка становится равна нулю, так как пространство конечномерно, и единственный элемент, ортогональный всем базисным векторам конечномерного пространства нулевой. Получаем точное решение за конечное число шагов (прямой метод). Однако этот метод работает не всегда, так как при плохой обусловленности матрицы он становится вычислительно неустойчивым.
2. Вычислительная линейная алгебра Идея метода сопряженных градиентов
2. Вычислительная линейная алгебра
Вопросы?