Дифференцируемость функции нескольких переменных в точке. Достаточное условие дифференцируемости функции
Опр: Функция определенная в окрестности называется дифференцируемой в этой точке, если ее приращение Δf в :
=–=+ , что
Необходимое условие дифференцируемости:
Если функция дифференцируема в , то,
1.Она непрерывна в этой окрестности.
2.Существуют частные производные , i=1,...,m; причем
Док-во:
Если дифф.,то =+ + ,
lim lim (при и )=
Следовательно, непрерывна в .
Докажем, что в сущ. =0.
–=+, НО lim =0, . Значит, lim =0 (аналог предела по направлению для функции m переменных)
–=+, где .
(–)/
Тогда в пределе при существует что и требовалось доказать.
Достаточное условие дифференцируемости
Пусть существуют и непрерывны для функции в для функции m переменных. Тогда дифференцируема в .
Док-во.
Доказываем при m=2, (в общем случае аналогично, но более громоздко)
Т.к.,непрерывны в , то они определены в => f(x,y) определена в . Рассмотрим ∆х, ∆у такие, что принадлежит .
––+=
Рассмотрим — дифф. по х на ,
– дифф. по у на ,. По теореме Лагранжа:
= +
(или наоборот, в зависимости от знаков ∆х,∆у)
Пусть и . В силу непрерывности соответствующих функций двух переменных:
, ;
;
; , можно считать, что
+(B++
Доопределим: x'(0,0)=, (0,0)=
По теореме о двух милиционерах следует, что функции ,x' непрерывны по ∆х,∆y в (0,0), (x,у) и (х,у)
непрерывны по х и у в (0,0), по теореме о суперпозиции непрерывных функций.
.
, то есть умножается на функцию от ∆х,∆y, которая стремится к нулю, при
. что и требовалось доказать.