Теорема о независимости смешанной производной от порядка дифференцирования.
Опр: Для функции двух переменных :
,если эти производные существуют.
Теорема о независимости смешанной частной производной от порядка дифференцирования.
Пусть f(x, у) такова, что в существуют , причем непрерывны в . Тогда
Док-во:
Рассмотрим выражение: =--
Рассмотрим функцию .Она дифференцируема на
== по т.Лагранжа = ;
-
=,-диф. На.
По th Лагранжа:
=, ,
W,
По теореме о двух милиционерах:
lim, lim
Доопределим .Получим функции непрер. в (0,0), т. к. непрерывна в точке , то
lim W
Если преобразование W начать с переменной х:
, Ф(x)=то аналогично:
=;
Следовательно, при
Отсюда следует утверждение теоремы. ЧТД.