![]() |
4. Понятие нормальной СЛАУ. Обоснование метода невязкиПусть рассматривается система уравнений Ax=b, тогда u=b-Ax - невязка.
(Комментарий. 1. Нелинейный оператор F:X→Y непрерывен в точке x∈X, если
Нелинейный оператор F:X→Y дифференцируем по Фреше в точке x∈X, если существует линейный ограниченный оператор F'X:X→Y (производная Фреше в точке или сильная производная), такой, что F(x+h)-F(x)=F'X*h+v(x,h) причём Производная Фреше нелинейного оператора F:X→Y - это оператор F'X:→Y:X→Y, действующий как функция от х. В частном случае нелинейного функционала φ:X→R совокупность всех таких функционалов, определённых на X, образует сопряжённое пространство E*, поэтому производная Фреше φ'(x) функционала φ:X→R - это вектор из E*: φ(x+Δx)-φ(x)=(φ'(x),Δx)+0(||Δx||). Его называют градиентом Фреше: ∇φ(x)=gradφ(x).
Дифференциал Гато (слабый дифференциал) - это предел по норме Производная Фреше в точке совпадает с производной Гато в точке x. Производная Гато в точке совпадает с производной Фреше в точке x, если производная Гато непрерывна по в этой точке.
2. Дифференцируемость всегда сводится к возможности линейной аппроксимации F(x+h)-F(x)=F'X*Δx+o(||Δx||). В одномерном случае F'X - обычная производная, в случае n переменных F'X - градиент, а F'Xdx - скалярное произведение, для оператора F(x)={F1(x),...,Fn(x)} F'X - матрица Якоби Введем понятие нормальной системы. Пусть f=||u||2=(b-Ax,b-Ax). Тогда, приравнивая дифференциал Фреше к нулю, получим df=2(-Adx,b-Ax)=-2(Adx,b-Ax)=-2(dx,A*b-A*Ax)=0. Тогда исходная система равносильна системе уравнений A*Ax=A*b. Определение. Система уравнений A*Ax=A*b называется нормальной, а переход от заданного СЛАУ Ax=b к равносильной системе уравнений A*Ax=A*b называется нормализацией СЛАУ. Очевидно, что нормальная СЛАУ минимизирует невязку, так как d2f=d(-2(dx,A*b-A*Ax))=(dx,A*Adx)=(Adx,Adx)=||Adx||2>0. Таким образом, минимум невязки реализуется на решении нормального уравнения, метод наименьших квадратов просто один из вариантов метода невязки. Любое решение, минимизирующее невязку, называется псевдорешением. Если же оно получено нормализацией СЛАУ, оно называется нормальным псевдорешением. |
![]()
|
|||
![]() |
|||||
© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник: http://mathemlib.ru/ 'Математическая библиотека' |