19. Первая вариация и производная Гато нелинейного оператора
Рассмотрим нелинейный оператор с областью определения в банаховом пространстве
и со значениями в банаховом пространстве
.
Определение. Если для всех существует предел
, то этот предел называется первой вариацией оператора в точке
.
Отметим, что вообще говоря нелинейный оператор, действующий из
в
. Однако…
Определение 2. Пусть оператор имеет в точке
первую вариацию следующего вида:
, где
-линейный ограниченный оператор, тогда говорят, что оператор
дифференцируем в точке
в смысле Гато. При этом
называется производной Гато оператора
в точке
.
Заметим, что из дифференцируемости в смысле Фреше следует его дифференцируемость в смысле Гато. Действительно, , где
, тогда при
, где
и переходя к пределу
Но из дифференцируемости по Гато не следует дифференцируемость по Фреше.
Пример. Функция :
если
в остальных точках
, эта функция разрывная, а следовательно не дифференцируема по Фреше. Однако производная по Гато равна нулю.
Можно привести пример оператора имеющего первую вариацию но не имеющего производной Гато: при
,
.
< Предыдущая | Следующая > |
---|