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