
существуют и обращаются в нуль не только в т. (0,0), но и всюду на
координатных осях, а сама функция не имеет в т. (0,0) предела (см. тему 4).
Заметим, что в одномерном случае из существования производной следовала
непрерывность функции.
Таким образом, мы приходим к необходимости ввести более сильное
условие, чем существование частных производных, чтобы оно было аналогом
дифференцируемости функции одной переменной. Это условие должно быть
связано с полным приращением функции в точке.
9.6.2. Дифференцируемость функции нескольких переменных
Определение 2. Функция u=f(x
1
, ..., x
m
) называется дифференцируемой в точке
M(x
1
, ..., x
m
), если ее полное приращение в этой точке может быть представлено в
виде
f(x
1
+∆x
1
, ..., x
m
+∆x
m
) - f(x
1
, ..., x
m
) ≡
≡ ∆u = A
1
∆x
1
+ A
2
∆x
2
+ ... + A
m
∆x
m
+ α
1
∆x
1
+ ... + α
m
∆x
m
,
где А
1
, А
2
, ..., А
m
- некоторое, не зависящие от ∆x
1
, ..., ∆x
m
, числа,
а
α
1
, α
2
, ..., α
m
- бесконечно малые при ∆x
1
→0, ..., ∆x
m
→0 функции, равные 0 при
∆x
1
=∆x
2
=...=∆x
m
=0.
Если положить
22
1
...
m
xx ∆++∆=
ρ
, то условие дифференцируемости может
быть записано в виде:
∆u = A
1
∆x
1
+ A
2
∆x
2
+ ... + A
m
∆x
m
+ 0(ρ) (1)
Оба представления эквивалентны и означают, что приращение функции
представимо в виде линейной части (по ∆x
1
, ..., ∆x
m
) и членов более высокого
порядка (по
∆x
1
, ..., ∆x
m
или ρ).
Теорема 1. Если функция u=f(x
1
, ..., x
m
) дифференцируема в точке
M(x
1
, ..., x
m
), то в этой точке существуют частные производные по всем
аргументам, причем
i
i
A
x
u
=
∂
, где А
i
определяются из условия
дифференцируемости.
Доказательство: Положим в условии дифференцируемости все приращения,
кроме
∆x
k
, равными нулю, тогда для частного приращения справедливо
представление
∆x
k
u = A
k
∆x
k
+ α
k
⋅∆x
k
Отсюда
kk
k
k
A
x
ux
α
+=
∆
и т.к. α
k
→ 0 при ∆x
k
→ 0, то
k
kk
k
x
A
x
u
x
ux
k
==
∆
=
→∆
∂
0
lim .
Следствие. Условие дифференцируемости функции в данной точке можно
записать в виде:
)(0...
1
1
ρ
∂
∂
+∆=++∆=∆
m
m
x
x
u
x
x
u
u
Замечание 1. Существование частных производных в точке не достаточно для
дифференцируемости функции в этой точке.