Численное решение систем линейных алгебраических уравнений
2.6. Вариационные итерационные методы
2.6.1. Связь между вариационной задачей и задачей решения СЛАУ
Пусть , где Ln есть n -мерное евклидово пространство. Рассмотрим квадратичный функционал от , называемый функционалом энергии:
где — линейный оператор, , c — константа. Этот функционал совпадает с квадратичным функционалом , где — сопряженный к оператор. Действительно, по определению сопряженного оператора и в силу коммутативности скалярного произведения. Тогда
Без ограничения общности предположим, что оператор — самосопряженный, В противном случае будем рассматривать задачу с оператором
при решении вариационной задачи.Будем также считать, что — положительный оператор, т.е. , это означает, что для любого ненулевого вектора выполнено
Поставим задачу об отыскании элемента , придающего наименьшее значение функционалу :
Теорема. Пусть В этом случае существует единственный элемент , придающий наименьшее значение квадратичному функционалу , являющийся решением СЛАУ
Доказательство.
СЛАУ имеет единственное решение , поскольку является невырожденным оператором в силу его положительной определенности. Покажем, что в этом случае при для любого вектора имеет место , т.е. при достигается минимум квадратичного функционала
Действительно,
т.е. при и любом имеет место Докажем, что верно и обратное утверждение. Если элемент доставляет минимальное значение функционалу энергии, то он является решением системы линейных уравнений Из курса математического анализа известно, что в точке минимума должно выполняться условие Вычисляя градиент, приходим к условию минимума функционала Таким образом установлена эквивалентность вариационной задачи (отыскание элемента, придающего минимум ) и задачи о нахождении решения СЛАУ.
Заметим, что СЛАУ с самосопряженным и положительно определенным оператором представляют собой важный класс задач в математической физике, в частности, они возникают при решении краевых задач для эллиптических уравнений. При необходимости можно произвести симметризацию по Гауссу исходной системы.