Слабый дифференциал (дифференциал Гато)

Пусть снова F есть отображение, действующее из X в У. Слабым дифференциалом или дифференциалом Гато отображения F в точке х (при приращении h) называется предел

DF(x,h)=_t=0=,

где сходимость понимается как сходимость по норме в пространстве У.

Иногда, следуя Лагранжу, выражение DF(x,h) называют первой вариацией отображения F в точке х.

Слабый дифференциал DF(x,h) может и не быть линеен по h. Если же такая линейность имеет место, т. е. если

DF (х, h) = F_c (х) h,

где F_c (х) -- ограниченный линейный оператор, то этот оператор называется слабой производной (или производной Гато).

Заметим, что для слабых производных теорема о дифференцировании сложной функции, вообще говоря, неверна.