
308
а это и означает непрерывность функции [см. формулу (25.15)].
Напомним, что для функции о д н о г о аргумента y = f(x)
существование производной равносильно дифференцируемости.
Однако для функции н е с к о л ь к и х аргументов аналогичное
утверждение, вообще говоря, не верно. Из существования част-
ных производных по всем аргументам не следует, что функция
дифференцируема, и даже не следует, что она непрерывна. Мож-
но показать (мы этого делать не будем), что функция
z
xy
x y
x y
x y
=
+
+ ≠
= =
2 2
2 2
0
0 0 0
, ,
, , ,
если
если
не является дифференцируемой (и не является непрерывной) в
точке O(0, 0). Тем не менее в этой точке (и во всех других точках)
указанная функция имеет частные производные по x и y.
Итак, существования частных производных, вообще говоря,
недостаточно для дифференцируемости функции нескольких пе-
ременных.
Д о с т а т о ч н ы е условия дифференцируемости дает следу-
ющая теорема (приведем ее без доказательства).
Т е о р е м а 26.4. Если функция z = f(x, y) имеет частные про-
изводные f ′
x
(x, y) и f ′
y
(x, y) в некоторой окрестности точки M и
эти производные н е п р е р ы в н ы в точке M, то данная функция
дифференцируема в точке M.
Дифференциалы высших порядков
Пусть в области D задана функция z = f (x, y), имеющая непре-
рывные частные производные первого порядка. Тогда, как мы уже
знаем, дифференциалом dz называется следующее выражение:
где dx, dy – дифференциалы независимых аргументов x и y, или,
что то же самое, произвольные приращения этих аргументов.
Очевидно, dz также является некоторой функцией от x, y.
Если функция z имеет непрерывные частные производные вто-
рого порядка, то дифференциал dz имеет непрерывные частные