18. Нелинейные операторы.
Производная Фреше нелинейного оператора. Рассмотрим нелинейный оператор с областью определения в банаховом пространстве и со значениями в банаховом пространстве . Предположим, что оператор определён в некоторой окрестности точки .
Определение. Оператор называется дифференцируемым в точке (в смысле Фреше), если существует линейный ограниченный оператор , такой, что для любых
Оператор называется производной (Фреше) оператора в точке и обозначается или . Можно записать в виде ,
Где , при .
Определение. Если оператор дифференцируем в точке , то выражение
Называется дифференциалом Фреше, т. е дифференциал это значение на элементе .
Свойства.
1.
2.
3. ,
Пример.
Производная нелинейного оператора в конечномерном случае.
: , т. е
, ,..,
Производная Фреше это матрица Якоби (матрица первых производных). Производная суперпозиции получается как произведение матриц.
Формула конечных приращений Лагранжа.
Теорема. Пусть оператор непрерывно дифференцируемый в окрестности точки , тогда в справедлива формула Лагранжа:
Доказательство. По формуле дифференцирования суперпозиции
Интегрируя это тождество от 0 до 1, получим искомую формулу.
Определение. Будем говорить, что удовлетворяет на условию Липшица (с постоянной ), если :
Лемма 1. Пусть непрерывно диффренцируемый на выпуклом множестве , причём на , тода удовлетворяет на условию Липшица с постоянной Липшица .
Доказательство.
Оценим норму
Лемма 2. Пусть непрерывнодифференцируем на выпуклом множестве , причём
, тогда справедлива оценка
Доказательство.
< Предыдущая | Следующая > |
---|