МИНОБРНАУКИ РОССИИ

————————————————–
Санкт-Петербургский государственный электротехнический
университет „ ЛЭТИ “ им. В. И. Ульянова (Ленина)

Н. А. БОДУНОВ А. А. ДОРОДЕНКОВ Н. М. ЧЕРВИНСКАЯ

ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ

Учебное пособие

Санкт-Петербург
Издательство СПбГЭТУ „ ЛЭТИ “
2022
 МИНОБРНАУКИ РОССИИ
————————————————–
Санкт-Петербургский государственный электротехнический
университет „ ЛЭТИ “ им. В. И. Ульянова (Ленина)

Н. А. БОДУНОВ А. А. ДОРОДЕНКОВ Н. М. ЧЕРВИНСКАЯ

ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ

Учебное пособие

Санкт-Петербург
Издательство СПбГЭТУ „ ЛЭТИ “
2022
УДК 517.51(07)
ББК B 161.54я7
Б75

Бодунов Н. А., Дороденков А. А., Червинская Н. М.

Функции нескольких переменных: учеб. пособие. СПб.: Изд-во
Б75
СПбГЭТУ „ЛЭТИ“, 2022. 72 с.
ISBN 978-5-7629-2992-9

Излагаются основы дифференциального исчисления функций несколь-

ких переменных. Включает в себя большое количество примеров.
Предназначено для студентов первого курса всех направлений и спе-
циальностей технических факультетов и ИНПРОТЕХ.

УДК 517.51(07)
ББК В 161.54я7

Рецензенты: кафедра высшей математики ВШТЭ СПбГУПТД;

д-р техн. наук, проф. А. П. Господариков (СПГУ).

Утверждено
редакционно-издательским советом университета
в качестве учебного пособия

ISBN 978-5-7629-2992-9 © СПбГЭТУ „ЛЭТИ“, 2022

 Данное издание предназначено для студентов первого курса всех тех-
нических факультетов, изучивших дифференциальное исчисление функ-
ций одной вещественной переменной, а также основные разделы дисци-
плины «Алгебра и геометрия». Цель пособия – помочь студентам в усво-
ении теоретического материала и приобретении навыков решения задач.
Авторы надеются, что оно окажется полезным и преподавателям, читаю-
щим лекции и ведущим практические занятия. При изложении большин-
ства разделов теории широко используются аппарат линейной алгебры и
геометрическая иллюстрация основных понятий, приводятся примеры ре-
шения задач.

1. ПОНЯТИЕ ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ

1.1. Некоторые обозначения и определения
 
x1
 .. 
Элементы пространства R будем обозначать ~x =  .  или заглав-
n
xn
ными буквами с указанием в скобках координат соответствующего вектора
~x (например, M (x1 , ..., xn )) и называть точками n-мерного пространства.
 
x1
Напомним, что в пространстве Rn для любого вектора ~x =  ...  его
 
xn
норма вычисляется по формуле
q
||~x|| = x21 + x22 + . . . + x2n ,
   
x1 y1
 ..   .. 
а для любых двух векторов ~x =  . , ~y =  .  их скалярное произведе-
xn yn
ние определяется по правилу
(~x, ~y ) = x1 y1 + x2 y2 + . . . + xn yn .
Заметим, что норма векторов пространств R2 и R3 совпадает с длиной
соответствующих геометрических векторов (направленных отрезков).
Пусть M0 (x01 , x02 , . . . , x0n ) – некоторая точка пространства Rn .

Определение 1.1. Множество Kε (M0 ) ( ε > 0 ) называется

ε-окрестностью ( окрестностью радиуса ε ) точки M0 , если оно состо-
ит из таких точек M (x1 , x2 , . . . , xn ) ∈ Rn , для которых выполняется

3
условие
−−−→
q
kM0 M k < ε, т. е. (x1 − x01 )2 + (x2 − x02 )2 + . . . + (xn − x0n )2 < ε.

Определение 1.2. Множество K̊ε (M0 ) называется проколотой

ε-окрестностью точки M0 , если
K̊ε (M0 ) = Kε (M0 ) \ {M0 },
т. е. из множества Kε (M0 ) удаляется (выкалывается) точка M0 .

Пример 1.1. Если точка M0 (x0 ) ∈ R, то ее ε-окрестностью является

интервал: Kε (x0 ) = (x0 − ε, x0 + ε) (рис. 1.1).

Y Kε (M0 ) Z Kε (M0 )
M0 ε z0
y0 M0 ε

Kε (x0 )
x0 − ε x0 x0 + ε O x0 X O y0 Y
x0
X
Рис. 1.1 Рис. 1.2 Рис. 1.3

В случае n = 2 окрестностью радиуса ε точки M0 (x0 , y0 ) является

множество:
q
Kε (M0 ) = {(x, y) ∈ R 2 : (x − x0 )2 + (y − y0 )2 < ε},
т. е. круг радиуса ε с центром в точке M0 (x0 , y0 ) без ограничивающей его
окружности (x − x0 )2 + (y − y0 )2 = ε2 (рис. 1.2).

Если n = 3, то множество
q
Kε (M0 ) = {(x, y, z) ∈ R3 : (x − x0 )2 + (y − y0 )2 + (z − z0 )2 < ε}
представляет собой шар радиуса ε с центром в точке M0 (x0 , y0 , z0 ), исклю-
чая точки ограничивающей его сферы (x − x0 )2 + (y − y0 )2 + (z − z0 )2 = ε2
(рис. 1.3).

Пусть множество D является некоторым подмножеством Rn .

4
 Определение 1.3. Точка M0 называется внутренней точкой мно-
жества D, если M0 ∈ D вместе с некоторой окрестностью Kε (M0 ) этой
точки.
Если все точки множества являются внутренними, то множество
называется открытым.
Покажите самостоятельно, что рассмотренные множества Kε (M0 ) и
K̊ε (M0 ) являются открытыми.
Определение 1.4. Точка M0 называется изолированной точкой
множества D, если M0 ∈ D и существует такая проколотая
ε-окрестность точки M0 (K̊ε (M0 )), которая не содержит точек мно-
жества D, т. е.
K̊ε (M0 ) ∩ D = ∅.

Определение 1.5. Точка M0 называется граничной точкой множе-

ства D, если любая ее ε-окрестность содержит как точки множества
D, так и точки, не принадлежащие множеству D.
Совокупность всех граничных точек множества D называется гра-
ницей D.
Множество D, содержащее все свои граничные точки, называется
замкнутым.

Заметим, что граничная точка множества может как принадлежать,

так и не принадлежать этому множеству.
Очевидно, что изолированные точки множества являются его гранич-
ными точками.

Пример 1.2. Рассмотрим множество

D = {(x, y) ∈ R2 : −2 ≤ x < 4, −2 < y ≤ 3} ∪ {(4, 5)}
(объединение прямоугольника и точки M (4, 5)) (рис. 1.4).
Ясно, что точка M (4, 5) является изолированной точкой множества D.
На рис. 1.4 указана проколотая ε-окрестность этой точки, содержащая точ-
ки множества D (в качестве радиуса такой окрестности достаточно взять,
1
например, ε = ).
2
Граничными точками множества D являются точки, лежащие на сто-
ронах прямоугольника, а также точка M (4, 5). Окрестности произвольного
радиуса ε всех таких точек содержат как точки множества D, так и точки,
не принадлежащие этому множеству.

5
 Y Часть границы множества D на
M ε рисунке изображена штриховой лини-
4
ε ей, а часть – сплошной. Обычно на ри-
ε
сунках штриховой линией отмечают ту
2
часть границы, которая состоит из гра-
ничных точек, не принадлежащих са-
−2 O 2 4X мому множеству, а сплошной – часть
D
−2
границы, которая целиком принадле-
жит этому множеству.
Рис. 1.4

Определение 1.6. Множество D называется связным, если не су-

ществует двух непересекающихся открытых множеств A и B, таких,
что D ⊂ (A ∪ B), при этом D ∩ A 6= ∅ и D ∩ B 6= ∅.
Пример 1.3. Рис. 1.5 иллюстрирует связное множество D (треуголь-
ник). Это множество не может принадлежать никаким двум открытым
непересекающимся множествам.

Y
Y
A B

D1 D2
O X
D O X

Рис. 1.5 Рис. 1.6

На рис. 1.6 изображено множество D = D1 ∪ D2 , не являющееся связ-

ным множеством. Существуют открытые непересекающиеся множества A и
B, которые содержат множества D1 и D2 соответственно (D1 ⊂ A, D2 ⊂ B)
и D ⊂ (A ∪ B).

Определение 1.7. Множество D ∈ Rn называется ограничен-

ным, если существует такая ε-окрестность какой-либо точки M ∈ Rn
(Kε (M )), в частности точки M (0, . . . , 0), в которой целиком содержит-
ся множество D: D ⊂ Kε (M ).
Пример 1.4. Множества D1 и D2 , изображенные на рис. 1.7, яв-
ляются ограниченными множествами, поскольку можно построить такую
ε-окрестность точки (0, 0) (открытый круг x2 +y 2 < ε2 ), которая содержит
множества D1 и D2 .

6
 Y
Y
D2
O εX
D1 1 D

−1 O 1 X

Рис. 1.7 Рис. 1.8

Множество D = {(x, y) ∈ R2 : x ≥ −1, y > 0.5} (рис. 1.8) ограни-

ченным не является.

1.2. Определение функции нескольких переменных.

Линии и поверхности уровня
Пусть множество D является подмножеством пространства Rn .

Определение 1.8. Правило f , по которому каждой точке

M (x1 , . . . , xn ) ∈ D ставится в соответствие одно вещественное число
y, называется функцией n переменных с областью определения D. При
этом пишут:
f : D ⊂ Rn → R,
а также используют обозначения:
y = f (~x), или y = f (M ), или y = f (x1 , . . . , xn ).
Числа x1 , . . . , xn называют аргументами функции f , а число
y = f (x1 , . . . , xn ) – значением функции f в точке M (x1 , ..., xn ).
Если размерность пространства Rn невелика, то аргументы функции
f чаще обозначают различными буквами. Например, при n = 2 пишут
z = f (x, y), а при n = 3 используют обозначение u = f (x, y, z).
Введенные таким образом функции называют также скалярными
функциями n переменных, функционалами, функциями нескольких или
функциями многих переменных. При этом говорят, что функция f задает
на множестве D скалярное поле.
Выберем в пространстве некоторую декартову прямоугольную систему
координат OXY Z и рассмотрим функцию двух переменных z = f (x, y) с
областью определения D ⊂ R2 .
Определение 1.9. Множество точек
Γ = {(x, y, z) ∈ R3 : (x, y) ∈ D, z = f (x, y)}
7
называется графиком функции z = f (x, y).
График функции z = f (x, y) на-
Z зывают также поверхностью, задан-
ной уравнением z = f (x, y).
Рис. 1.9 иллюстрирует график
Y функции z = −x2 + y 2 , называ-
0
емый гиперболическим параболои-
X
дом. Для этой функции множество D
совпадает с пространством R2 .
При изучении функций двух пе-
Рис. 1.9 ременных часто используют так на-
зываемые линии уровня.
Определение 1.10. Линией уровня S функции f ( f : D ⊂ R2 → R )
называется множество точек, в которых функция f принимает задан-
ное постоянное значение C:
S = {(x, y) ∈ D : f (x, y) = C}.

Если функция f задает распределе-

Y ние температуры в точках области D, то
ее линии уровня называют изотермами.
В школьном курсе физики использовались
−2 2
также изобары и изохоры.
−1 0 1
На рис. 1.10 построены линии уровня
1 O X−1 функции z = xy, на которых эта функция
2 −2 принимает значения −2; −1; 0; 1; 2. Для
значений C, равных −2; −1; 1; 2, линии
уровня, описываемые уравнением xy = C,
C
являются гиперболами y = . Для C = 0
Рис. 1.10 x
(xy = 0) линии уровня – это координатные
оси: x = 0; y = 0.

Линию уровня S можно рассматривать как проекцию на плоскость

z = 0 пересечения графика функции z = f (x, y) плоскостью z = C.

Пример 1.5. Рассмотрим функцию z = 16 − x2 − y 2 . Найдем ее

p

область определения (множество точек (x, y), при которых данное выра-
жение имеет смысл), построим эскиз графика функции и изобразим на
плоскости линии уровня, на которых данная функция принимает значения
√
0; 2; 3; 4. Установим, на какой линии уровня находится точка M (1, 6).

8
 Ясно, что область определения данной функции задается неравен-
ством 16 − x2 − y 2 ≥ 0. Значит, множество D – круг x2 + y 2 ≤ 16.
Заметим, что
(
z ≥ 0,
q
z = 16 − x2 − y 2 ⇔
x + y + z 2 = 16.
2 2

(Запись A ⇔ B означает, что A равносильно B.)

Z Y4
4

3 M
4
D O 4X
O 4Y
X 4 2
0

Рис. 1.11 Рис. 1.12

Значит, графиком рассматриваемой функции является верхняя часть

сферы радиуса 4. Центр сферы находится в начале координат (рис. 1.11).
Получим уравнение линии уровня, во всех точках которой функция
принимает значение, равное C:
(
C ≥ 0,
q
16 − x2 − y 2 = C ⇔ (C−заданное число).
x + y 2 = 16 − C 2
2

Уравнение √описывает семейство окружностей с центром в точке (0, 0) ра-

диуса R = 16 − C 2 . Ясно, что 0 ≤ C ≤ 4.
Запишем уравнения линий уровня, на которых функция принимает
значения 0; 2; 3; 4:
1) C = 0: x2 + y 2 = 16;
2) C = 2: x2 + y 2 = 12;
3) C = 3: x2 + y 2 = 7;
4) C = 4: x2 + y 2 = 0.
На рис. 1.12 изображены
√ описанные линии уровня.
В точке
√ M (1, 6) заданная функция принимает значение, равное 3
(f (M ) = 16 − 1 − 6 = 3), а значит, C = 3. Следовательно, точка M
лежит на окружности x2 + y 2 = 7.

9
 Рассмотрим теперь функцию трех переменных u = f (x, y, z) с обла-
стью определения D.
Определение 1.11. Поверхностью уровня P функции f
( f : D ⊂ R3 → R ) называется множество точек, в которых функция
f принимает заданное постоянное значение C:
P = {(x, y, z) ∈ D : f (x, y, z) = C}.

Например, если функция f задает потенциал электростатического по-

ля u = f (x, y, z), то поверхность уровня f (x, y, z) = C этой функции явля-
ется хорошо известной из курса физики эквипотенциальной поверхностью.

2. ПРЕДЕЛ ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ

Определение 2.1. Точка M0 называется предельной точкой мно-

жества D, если пересечение любой ее проколотой ε-окрестности и мно-
жества D не является пустым множеством:
K̊ε (M0 ) ∩ D 6= ∅.

Ясно, что любая внутренняя точка множества всегда является его пре-
дельной точкой.
Пример 2.2. Рассмотрим множество
D = {(x, y) ∈ R2 : 0 < x2 + y 2 < 4}.
Найдем предельные точки этого множества.
На рис. 2.1 изображено множество D и
Y 2 M4 ε построены проколотые окрестности радиуса ε
M3 для четырех точек.
ε Точка M1 является внутренней точкой
множества D и, значит, также является его
ε M2
предельной точкой.
O 2 X
ε Точки M2 (начало координат) и M3 (ле-
M1
жит на окружности, ограничивающей область
D D) не являются элементами множества D.
Очевидно, что для каждой из этих точек пере-
Рис. 2.1 сечение любой проколотой ε-окрестности этой
точки и множества D не будет пустым множе-
ством.

10
 Таким образом, любая точка множества D является его предельной
точкой, а также предельными будут точки, лежащие на границах данного
множества, т. е. на окружности x2 + y 2 = 4 в начале координат – точка
(0, 0).
Точка M4 не является предельной точкой множества D. Для нее мож-
но построить такую ε-окрестность, пересечение которой с множеством D
будет пустым (рис. 2.1).
Таким образом, для множества D все его предельные точки образуют
множество
D0 = {(x, y) ∈ R2 : x2 + y 2 ≤ 4}.

Рассмотрим функцию n переменных f : D ⊂ Rn → R. Пусть

M0 – предельная точка множества D.
Определение 2.2. Число a называется пределом функции
f (M ) = f (x1 , . . . , xn ) в точке M0 (x01 , . . . , x0n ) (говорят, при M , стремя-
щейся к M0 ), если для любой ε-окрестности точки a существует такая
проколотая δ-окрестность точки M0 , что для всех точек
M (x1 , . . . , xn ) ∈ K̊δ (M0 ) (и входящих в область определения функции)
f (M ) ∈ Kε (a), т. е. выполняется неравенство
|f (x1 , . . . , xn ) − a| < ε.
При этом пишут:
lim f (x1 , . . . , xn ) = a, или lim f (x1 , . . . , xn ) = a, или
M →M0 x1 →x01
...
xn →x0n
   
x1 x01
lim f (~x) = a, где ~x =  ...  , ~x0 =  ...  , или
   
~x→~x0
xn x0n
−−−→
lim f (x1 , . . . , xn ) = a (ρ = kM0 M k = k~x − ~x0 k).
ρ→0

Различные обозначения предела объясняются равносильностью следу-

ющих условий:

 x1 → x01 ,

M → M0 ⇔ ... ⇔ ρ → 0.
 xn → x
 0
n
Отметим, что в точке M0 функция может принимать конкретное зна-
чение или может быть не определена. Значение функции в этой точке не
используется в определении предела.
11
 Данное определение предела функции нескольких переменных на язы-
ке окрестностей абсолютно совпадает с определением предела для функ-
ции одной переменной. Кроме того, для функции нескольких переменных
справедливы основные теоремы теории пределов, которые доказывались
для функции одной переменной.
В частности, сохраняются следующие свойства пределов.
Если
lim f (x1 , . . . , xn ) = A, lim g(x1 , . . . , xn ) = B,
M →M0 M →M0
то

1) lim f (x1 , . . . , xn ) + g(x1 , . . . , xn ) = A + B;
M →M0


2) lim f (x1 , . . . , xn )g(x1 , . . . , xn ) = A · B;
M →M0
f (x1 , . . . , xn ) A
3) lim = (B 6= 0).
M →M0 g(x1 , . . . , xn ) B

Замечание 1. Если предел функции нескольких переменных f в точ-

ке M0 существует, то его значение не зависит от того, как точка M
стремится к точке M0 .
Если же предел функции зависит от способа приближения точки
M к точке M0 , то это означает, что предел функции f в точке M0 не
существует.
x2 − y 2
Пример 2.1. Рассмотрим функцию f (x, y) = и покажем,
x2 + y 2
что предел этой функции в точке (0, 0) не существует.
Рассмотрим различные прямые y = kx,
Y проходящие через точку (0, 0) (рис. 2.2).
y = k2 x Будем вычислять пределы функции
f (x, y) при стремлении M (x, y) к M0 (0, 0) по
y = k1 x этим прямым:
O X x2 − y 2 x2 − k 2 x2
lim = lim 2 =
x→0 x2 + y 2 x→0 x + k 2 x2
y→0
y = k3 x
1 − k2 1 − k2
= lim = .
Рис. 2.2 x→0 1 + k 2 1 + k2
Как видно, для различных прямых полу-
чаются различные значения пределов. Отсюда следует, что предел данной
функции в точке (0, 0) не существует.
12
 Замечание 2. Вычисление предела функции двух переменных
lim f (x, y)
x→x0
y→y0

в общем случае нельзя свести к вычислению так называемых повторных

пределов, т. е. пределов вида
lim ( lim f (x, y)), lim ( lim f (x, y)).
x→x0 y→y0 y→y0 x→x0

Покажем это на примере.

(x − y)2
Пример 2.2. Рассмотрим функцию 2 .
x + y2
Найдем сначала повторные пределы:
(x − y)2 x2
lim ( lim ) = lim 2 = 1;
x→0 y→0 x2 + y 2 x→0 x

(x − y)2 (−y)2
lim ( lim ) = lim = 1.
y→0 x→0 x2 + y 2 y→0 y 2
Оба предела существуют и равны 1.
Рассмотрим теперь, как и в предыдущем примере, различные прямые
y = kx, проходящие через точку (0, 0). Будем вычислять пределы на ука-
занных прямых:
(x − y)2 (x − kx)2 x2 (1 − k)2 (1 − k)2
lim = lim 2 = lim 2 = .
x→0 x2 + y 2 x→0 x + k 2 x2 x→0 x (1 + k 2 ) 1 + k2
y→0

Поскольку для различных k получаются разные значения предела,

(x − y)2
предел функции 2 в точке (0, 0) не существует.
x + y2
Таким образом, из существования и даже равенства повторных пре-
делов функции в некоторой точке в общем случае не следует, что предел
функции в этой точке существует.
Данное утверждение справедливо и для функций большего числа пе-
ременных.

13
3. НЕПРЕРЫВНОСТЬ ФУНКЦИИ НЕСКОЛЬКИХ
ПЕРЕМЕННЫХ
Рассмотрим функцию n переменных f : D ⊂ Rn → R.
Определение 3.1. Функция f (x1 , . . . , xn ) называется непрерывной
в точке M0 (x01 , . . . , x0n ), если она определена в некоторой окрестности
этой точки и выполняется условие
lim f (x1 , . . . , xn ) = f (x01 , . . . , x0n ),
M →M0

т. е. предел функции f (x1 , . . . , xn ) в точке M0 равен значению функции в

этой точке.
Определение 3.2. Функция f (x1 , . . . , xn ) называется непрерывной
на множестве D, если она непрерывна в каждой точке этого множе-
ства.
Как видно, определение непрерывности функции нескольких перемен-
ных полностью совпадает с определением непрерывности функции одной
переменной, поэтому для функций нескольких переменных сохраняются
основные свойства непрерывных функций одной переменной.

Если функция n переменных задана с помощью конечного числа ариф-

метических операций над этими переменными и (или) с помощью извест-
ных элементарных функций одной переменной (sin, cos, ln и т. д.), а также
конечного числа суперпозиций этих функций, то такую функцию будем
называть элементарной функцией n переменных.
Элементарные функции нескольких переменных непрерывны в их об-
ласти определения.
Приведем без доказательства две теоремы, которые имеют важное зна-
чение для анализа непрерывных функций одной и нескольких переменных.
Теорема 3.1(Вейерштрасса). Если функция f (x1 , . . . , xn ) непре-
рывна на некотором ограниченном замкнутом множестве D, то
1) она ограничена на этом множестве (это означает, что для всех точек
M (x1 , . . . , xn ) из множества D значения |f (M )| не превосходят некото-
рого положительного числа C);
2) на множестве D функция f достигает своего наименьшего и наиболь-
шего значений , т. е. существуют такие точки M1 ∈ D и M2 ∈ D, что
для всех точек M ∈ D справедливы неравенства:
f (M1 ) ≤ f (M ), f (M2 ) ≥ f (M ).

14
 Теорема 3.2(Больцано–Коши). Если функция f (x1 , . . . , xn ) непре-
рывна на некотором связном множестве D и существуют две точки
M1 ∈ D и M2 ∈ D, в которых функция f принимает значения разных
знаков (f (M1 ) · f (M2 ) < 0), то существует такая точка M0 ∈ D, в
которой функция обращается в ноль: f (M0 ) = 0.

Точки, в которых нарушаются условия непрерывности функции

f (x1 , . . . , xn ), называются точками разрыва функции. Множество точек
разрыва функции f может содержать отдельные точки, а также может
иметь более сложную структуру.
Пример 3.1. Рассмотрим несколько функций.
x+y
Функция f (x, y) = 2 имеет одну точку разрыва (0, 0).
x + y2
x+y
Множество точек разрыва функции f (x, y) = 2 – окруж-
x + y2 − 4
ность x2 + y 2 = 4.
x+y
Точки разрыва функции f (x, y, z) = образуют плоскость
x+y−z−1
x + y − z − 1 = 0.
Задача исследования поведения функций нескольких переменных в
окрестности ее точек разрыва значительно сложнее, чем для функций од-
ной переменной, поэтому для точек разрыва функций нескольких перемен-
ных отсутствует какая-либо классификация.

4. ЧАСТНЫЕ ПРОИЗВОДНЫЕ
Рассмотрим функцию n переменных f : D ⊂ Rn → R.
Пусть точка M0 (x01 , . . . , x0n ) принадлежит множеству D вместе с неко-
торой ее окрестностью.
Введем функцию одной переменной x1 :
f1 (x1 ) = f (x1 , x02 , . . . , x0n ).

Определение 4.1. Если существует производная функции f1 (x1 )

в точке x01 :
0 0 f1 (x1 ) − f1 (x01 )
f1 (x1 ) = lim =
x1 →x01 x1 − x01
f (x1 , x02 , . . . x0n ) − f (x01 , x02 , . . . , x0n )
= lim ,
x1 →x01 x1 − x01

15
то она называется частной производной функции f (x1 , . . . , xn ) по пере-
менной x1 в точке M0 и обозначается
∂f 0
(x1 , . . . , x0n ) или fx0 1 (x01 , . . . , x0n ).
∂x1

Аналогично (рассматривая функции f2 (x2 ) = f (x01 , x2 , x03 , . . . , x0n ), . . .

. . ., fn (xn ) = f (x01 , x02 , . . . , x0n−1 , xn )) определяются частные производные
функции f (x1 , . . . , xn ) в точке M0 по остальным переменным. Для них
соответственно используют обозначения:
∂f
(x01 , . . . , x0n ) или fx0 k (x01 , . . . , x0n ), k = 2, . . . , n.
∂xk

Определение 4.2. Если в точке M (x1 , . . . , xn ) существуют все

частные производные функции f (x1 , . . . , xn ), то матрица-строка вида
" #
∂f ∂f ∂f
f 0 (x1 , . . . , xn ) = (x1 , . . . , xn ) (x1 , . . . , xn ) . . . (x , . . . , xn )
∂x1 ∂x2 ∂xn 1
называется производной функции f в точке M (x1 , . . . , xn ), а также мат-
рицей Якоби функции f в этой точке. Матрицу Якоби часто обозначают
J(x1 , . . . , xn ).
Если эту матрицу транспонировать, то получится матрица-стол-
бец (вектор), которая называется градиентом функции f в точке
M (x1 , . . . , xn ) и обозначается
 
∂f
 ∂x (x1 , . . . , xn ) 
 1
.

grad f (x1 , . . . , xn ) = 
 .
. .

 ∂f
 
(x1 , . . . , xn )

∂xn
Кроме того, для обозначения градиента функции часто используют
так называемый оператор Гамильтона ∇:
 
∂
 ∂x 
 1
∇ =  ...  .
 
 ∂ 
 
∂xn
Если, например, f (x, y, z) – функция трех переменных, то
∂f ∂f ∂f
grad f (x, y, z) = ∇f (x, y, z) = ~i (x, y, z) + ~j (x, y, z) + ~k (x, y, z),
∂x ∂y ∂z
16
 ∂ ∂ ∂
где ∇ = ~i + ~j + ~k .
∂x ∂y ∂z
Приведем пример вычисления частных производных.
Пример 4.1. Рассмотрим функцию
f (x, y, z) = x2 z + 3yz 4 .

Найдем сначала частную производную по переменной x. Функцию f

будем рассматривать как функцию одной переменной x, а y и z считаем
постоянными:
∂f
(x, y, z) = (x2 z + 3yz 4 )0x = 2xz.
∂x
При нахождении частной производной по переменной y заданная функ-
ция рассматривается как функция переменной y, при этом x и z считаются
постоянными:
∂f
(x, y, z) = (x2 z + 3yz 4 )0y = 3z 4 .
∂y
Найдем теперь частную производную по переменной z. Теперь счи-
таем, что x и y – постоянные, а f (x, y, z) является функцией переменной
z:
∂f
(x, y, z) = (x2 z + 3yz 4 )0z = x2 + 12yz 3 .
∂z
Таким образом, производная функции f (x, y, z) (матрица Якоби) и
градиент имеют вид
h i
0 4
f (x, y, z) = 2xz 3z x + 12yz ,2 3
 
2xz
grad f (x, y, z) =  3z 4 .
 
2
x + 12yz 3

Рассмотренный пример показывает, что частные производные функ-

ции n переменных являются, в свою очередь, функциями n переменных,
хотя некоторые переменные в выражениях этих производных могут отсут-
ствовать.
Замечание. Функция одной переменной f : D ⊂ R → R является
частным случаем функции нескольких переменных (n = 1). Ее частная
∂f
производная совпадает с ее обычной производной по единственному
∂x
скалярному аргументу, и поэтому всюду в дальнейшем для функции од-
∂f
ной переменной f будем писать не , а использовать традиционное обо-
∂x
df
значение или f 0 .
dx
17
5. ДИФФЕРЕНЦИРУЕМОСТЬ ФУНКЦИИ НЕСКОЛЬКИХ
ПЕРЕМЕННЫХ
Напомним, как вводится понятие дифференцируемости функции од-
ной переменной f : D ⊂ R → R (см. [1]).
Пусть точка x0 принадлежит множеству D вместе с некоторой окрест-
ностью.
Определение 5.1. Функция f (x) называется дифференцируемой в
точке x0 , если существует такое число A, что функцию f (x) можно
представить в виде
f (x) = f (x0 ) + A(x − x0 ) + o(x − x0 ). (5.1)

Отметим, что символом o(x − x0 ) обозначается бесконечно малая при

x → x0 функция, для которой выполняется условие
o(x − x0 )
lim = 0.
x→x0 x − x0

Если функция одной переменной f (x) дифференцируема в точке x0 ,

то существует f 0 (x0 ), при этом A = f 0 (x0 ). Справедливо обратное утвер-
ждение: если существует f 0 (x0 ) в точке x0 , то f (x) дифференцируема в
этой точке и выполняется равенство
f (x) = f (x0 ) + f 0 (x0 )(x − x0 ) + o(x − x0 ),
которое называется формулой Тейлора 1-го порядка функции f (x) в
точке x0 .

Рассмотрим теперь функцию n переменных f : D ⊂ Rn → R.

Пусть точка M0 (x01 , . . . , x0n ) принадлежит множеству D вместе с неко-
торой ее окрестностью.
Определение 5.2. Функция f (x1 , . . . , xn ) называется дифференци-
руемой в точке M0 , если существует такая матрица-строка
A = [a1 , . . . , an ], что для точек M (x1 , . . . , xn ) ∈ D функция f (x1 , . . . , xn )
представима в виде
f (x1 , . . . , xn ) = f (x01 , . . . , x0n ) + a1 (x1 − x01 ) + . . . + an (xn − x0n ) + o(ρ), (5.2)
−−−→ q
где ρ = kM0 M k = (x1 − x01 )2 + . . . + (xn − x0n )2 .
Последнее равенство можно записать кратко, обозначая аргумент
функции f в векторной форме:
f (~x) = f (~x0 ) + A(~x − ~x0 ) + o(k~x − ~x0 k), (5.3)
18
    
x1 x01
где ~x =  .  , ~x0 =  ...  .
 ..   
xn x0n
Отметим, что (5.3) полностью совпадает с формулой (5.1), описыва-
ющей условие дифференцируемости функции одной переменной. Отличие
заключается в том, что в (5.3) используются векторные величины и A яв-
ляется матрицей.
Теорема 5.1. Если функция f (x1 , . . . , xn ) дифференцируема в точке
M0 (x01 , . . . , x0n ) (т. е. справедливы формулы (5.2), (5.3 )), то функция
f (x1 , . . . , xn ) непрерывна в этой точке.
Доказательство. Ясно, что ρ → 0 при  M → M0 . Кроме того, условие
 x1 → x01 ,

ρ → 0 равносильно выполнению условий ... поэтому, используя
 xn → x ,
 0
n
(5.2), получаем:
lim f (M ) = lim f (x1 , . . . , xn ) = lim (f (x01 , . . . , x0n ) +
M →M0 M →M0 x1 →x01
...
xn →x0n

+ a1 (x1 − x01 ) + . . . + an (xn − x0n ) + o(ρ)) = f (x01 , . . . , x0n ) = f (M0 ),

что и означает непрерывность функции f (x1 , . . . , xn ) в точке M0 .
Теорема 5.2. Если функция f (x1 , . . . , xn ) дифференцируема в точке
M0 (x01 , . . . , x0n ) (т. е. справедливы формулы (5.2), (5.3 )), то в этой точ-
∂f ∂f
ке существуют все частные производные , . . ., , а матрица A
∂x1 ∂xn
является производной функции f (x1 , . . . , xn ) в точке M0 :
" #
∂f 0 ∂f
A = f 0 (x01 , . . . , x0n ) = (x1 , . . . , x0n ) . . . (x01 , . . . , x0n )
∂x1 ∂xn
т. е. в окрестности точки M0 формула (5.2) принимает вид
f (x1 , . . . , xn ) = f (x01 , . . . , x0n ) +
∂f 0 ∂f
+ (x1 , . . . , x0n )(x1 − x01 ) + . . . + (x01 , . . . , x0n )(xn − x0n ) + o(ρ). (5.4)
∂x1 ∂xn
Равенство (5.4) называют формулой Тейлора 1-го порядка функции
f (x1 , . . . , xn ) в точке M0 (x01 , . . . , x0n ) с остаточным членом в форме Пеа-
но.
19
 Для дифференцируемой функции двух переменных f (x, y) формула
Тейлора 1-го порядка (5.4) в точке M0 (x0 , y0 ) имеет вид
∂f ∂f
f (x, y) = f (x0 , y0 ) + (x0 , y0 )(x − x0 ) + (x , y )(y − y0 ) + o(ρ), (5.5)
∂x ∂y 0 0
где o(ρ) = (x − x0 )2 + (y − y0 )2 .
p

Отметим, что (5.4) можно кратко записать в матрично-векторной фор-

ме
f (~x) = f (~x0 ) + f 0 (~x0 )(~x − ~x0 ) + o(k~x − ~x0 k).

Доказательство. Пусть функция f (x1 , . . . , xn ) дифференцируема в

точке M0 , т. е. выполняется (5.2).
Для точек M (x1 , x02 , . . . , x0n ) формула (5.2) имеет вид

f (x1 , x02 . . . , x0n ) = f (x01 , x02 . . . , x0n ) + a1 (x1 − x01 ) + o(|x1 − x01 |).
Это равенство означает, что функция f1 (x1 ) = f (x1 , x02 . . . , x0n ) одной
переменной x1 дифференцируема в точке x01 . Отсюда следует (см. начало
раздела), что
∂f 0
a1 = f10 (x1 ) = (x1 , . . . , x0n ).
∂x1
Аналогично доказывается, что
∂f 0 ∂f
a2 = (x1 , . . . , x0n ), ..., an = (x01 , . . . , x0n ).
∂x2 ∂xn

Замечание. Ранее отмечалось, что если для функции одной пере-

менной f (x) в некоторой точке x0 существует f 0 (x0 ), то функция f
дифференцируема в точке x0 .
Для функции нескольких переменных в общем случае подобное утвер-
ждение неверно.
Проиллюстрируем это на примере.
Пример 5.1. Покажем, что функция
√
f (x, y) = 3 xy
имеет в точке (0, 0) обе частные производные, но при этом не дифферен-
цируема в этой точке.
Ясно, что функция f (x, y) непрерывна в точке (0, 0) и f (0, 0) = 0.

20
 По определению:
√
3
∂f f (x, 0) − f (0, 0) x·0−0 0
(0, 0) = lim = lim = lim = 0,
∂x x→0 x−0 x→0 x x→0 x
√
3 0·y−0
∂f f (0, y) − f (0, 0) 0
(0, 0) = lim = lim = lim = 0.
∂y y→0 y−0 y→0 y y→0 y
∂f ∂f
Таким образом, частные производные (0, 0) и (0, 0) существуют.
∂x ∂y
Если бы функция f (x, y) была дифференцируемой в точке (0, 0), то
для нее выполнялась бы формула Тейлора 1-го порядка (5.5), т. е. с учетом
∂f ∂f
равенств f (0, 0) = 0, (0, 0) = 0 и (0, 0) = 0 функция f (x, y) была бы
√ ∂x ∂y
представима в виде 3 xy = o(ρ).
Это означает, что должно выполняться равенство
√3 xy
lim = 0. (5.6)
ρ→0 ρ

x = ρ cos(ϕ),
Перейдем к полярной системе координат ϕ ∈ [0, 2π).
y = ρ sin(ϕ),
Тогда
√3 xy
p
3
p
3
ρ cos(ϕ)ρ sin(ϕ) cos(ϕ) sin(ϕ)
lim = lim = lim √3 ρ
.
ρ→0 ρ ρ→0 ρ ρ→0
p3
π cos(ϕ) sin(ϕ)
Если ϕ 6= k (k ∈ Z) , то при ρ → 0 функция √3ρ
неогра-
2
ничена и, следовательно, предел не существует.
Значит, условие (5.6) не выполняется и f (x, y) не дифференцируема в
точке (0, 0).

С дифференцируемостью функции в точке связано часто используемое

понятие дифференциала функции.
Пусть функция f (x1 , . . . , xn ) дифференцируема в точке
M0 (x01 , . . . , x0n ). Тогда в окрестности точки M0 справедливо равенство
f (x1 , . . . , xn ) − f (x01 , . . . , x0n ) =
∂f 0 ∂f
= (x1 , . . . , x0n )(x1 − x01 ) + . . . + (x01 , . . . , x0n )(xn − x0n ) + o(ρ).
∂x1 ∂xn
Обозначим: ∆f = f (x1 , . . . , xn )−f (x01 , . . . , x0n ) – приращение функции
в точке M0 , ∆x1 = x1 − x01 , . . . , ∆xn = xn − x0n – приращения независимых
переменных.
21
 Из курса анализа функций одной переменной известно, что диффе-
ренциал независимой переменной равен ее приращению, т. е.
dxi = ∆xi , i = 1, . . . , n.

Определение 5.3. Дифференциалом (полным дифференциалом)

функции f (x1 , . . . , xn ) в точке M0 называется линейная функция
∂f 0 ∂f
df (x01 , . . . , x0n ) = (x1 , . . . , x0n )(x1 −x01 )+. . .+ (x01 , . . . , x0n )(xn −x0n ) =
∂x1 ∂xn
∂f 0 ∂f
= (x1 , . . . , x0n )dx1 + . . . + (x01 , . . . , x0n )dxn .
∂x1 ∂xn

Кратко дифференциал функции f в некоторой точке записывают без

указания аргументов функции:
∂f ∂f
df = dx1 + . . . + dxn .
∂x1 ∂xn

5.1. Достаточные условия дифференцируемости функции

Теорема 5.3 (достаточные условия дифференцируемости
функции). Пусть f : D ⊂ Rn → R. Если все частные производные
∂f
(x , . . . , xn ) (i = 1, . . . , n) существуют в некоторой окрестности точ-
∂xi 1
ки M0 (x01 , . . . , x0n ) и непрерывны в M0 , то функция f (x1 , . . . , xn ) диффе-
ренцируема в точке M0 и, следовательно, справедлива формула Тейлора
первого порядка (5.4).
Доказательство. Докажем эту теорему для функции двух перемен-
∂f ∂f
ных f (x, y). Предположим, что частные производные (x, y) и (x, y)
∂x ∂y
существуют в некоторой окрестности точки M0 (x0 , y0 ) и непрерывны в M0 .
Покажем, что f (x, y) представима в виде (5.5).
Пусть M (x, y) – произвольная точка из окрестности точки M0 (x0 , y0 ).
Рассмотрим разность f (x, y) − f (x0 , y0 ). Вычтем и прибавим f (x0 , y):
f (x, y) − f (x0 , y0 ) = [f (x, y) − f (x0 , y)] + [f (x0 , y) − f (x0 , y0 )].
Рассмотрим первое слагаемое f (x, y)−f (x0 , y) как функцию одной пе-
ременной x в окрестности точки x0 . Согласно условиям теоремы эта функ-
∂f
ция в окрестности точки x0 имеет производную, совпадающую с (x, y).
∂x

22
По теореме о среднем (Лагранжа) существует такая точка a, расположен-
ная между точками x0 и x (a = x0 + Θ1 (x − x0 ), 0 < Θ1 < 1), что выпол-
няется равенство
∂f
f (x, y) − f (x0 , y) = (a, y)(x − x0 ).
∂x
Аналогично, для второго слагаемого f (x0 , y)−f (x0 , y0 ), рассматривае-
мого как функция переменной y, по теореме о среднем (Лагранжа) следует
существование такой точки b, лежащей между точками y0 и y
(b = y0 + Θ2 (y − y0 ), 0 < Θ2 < 1), что
∂f
f (x0 , y) − f (x0 , y0 ) = (x , b)(y − y0 ).
∂y 0
Таким образом, получим:
∂f ∂f
f (x, y) − f (x0 , y0 ) = (a, y)(x − x0 ) + (x , b)(y − y0 ). (5.7)
∂x ∂y 0
Заметим,
 что a → x0 при x → x0 и b → y0 при y → y0 , а условия
x → x0 ,
ρ→0и равносильны.
y → y0
∂f
В связи с этим из непрерывности частных производных (x, y) и
∂x
∂f
(x, y) в точке M0 (x0 , y0 ) следует, что
∂y
∂f ∂f ∂f ∂f
lim (a, y) = (x , y ), lim (x0 , b) = (x , y ). (5.8)
ρ→0 ∂x ∂x 0 0 ρ→0 ∂y ∂y 0 0
Равенства (5.8) означают, что
∂f ∂f ∂f ∂f
(a, y) = (x , y ) + α(ρ), (x0 , b) = (x , y ) + β(ρ),
∂x ∂x 0 0 ∂y ∂y 0 0
где α(ρ) и β(ρ) – бесконечно малые функции при ρ → 0.
Теперь, с учетом полученных равенств, формулу (5.7) можно записать
в виде  
∂f
f (x, y) − f (x0 , y0 ) = (x , y ) + α(ρ) (x − x0 )+
∂x 0 0
 
∂f ∂f ∂f
+ (x0 , y0 ) + β(ρ) (y − y0 ) = (x0 , y0 )(x − x0 ) + (x , y )(y − y0 )+
∂y ∂x ∂y 0 0
+α(ρ)(x − x0 ) + β(ρ)(y − y0 ). (5.9)

23
 x − x0 y − y0
Из оценок ≤1и ≤ 1 следует, что
ρ ρ
α(ρ)(x − x0 ) + β(ρ)(y − y0 ) x − x0 y − y0
 
lim = lim α(ρ) + β(ρ) = 0,
ρ→0 ρ ρ→0 ρ ρ
поскольку каждое слагаемое под знаком предела есть произведение беско-
нечно малой функции на ограниченную функцию.
Равенство нулю рассмотренного предела означает, что
α(ρ)(x − x0 ) + β(ρ)(y − y0 ) = o(ρ). (5.10)
Из (5.9) и (5.10) следует справедливость формулы (5.5).
Аналогично доказывается теорема для функции n переменных.

Замечание. Теорема 5.3 дает достаточные условия дифференцируе-

мости функции, но они не являются необходимыми, т. е. из дифференци-
руемости функции нескольких переменных f (x1 , . . . , xn ) в точке не сле-
дует, что ее частные производные непрерывны в этой точке.
Пример 5.2. Рассмотрим функцию
  
1
xy cos , x2 + y 2 =
6 0,

f (x, y) = x2 + y 2
0 , x = y = 0.


Покажем, что функция дифференцируема в точке (0, 0), но частные

∂f ∂f
производные (x, y) и (x, y) не являются непрерывными функциями
∂x ∂y
в точке (0, 0).
Сначала покажем, что f (x, y) = o(ρ), где ρ = x2 + y 2 . Найдем
p
 
f (x, y) xy 1
lim = lim cos .
ρ→0 ρ ρ→0 ρ x2 + y 2

x = ρ cos(ϕ),
Перейдем к полярной системе координат ϕ ∈ [0, 2π):
y = ρ sin(ϕ),
 
2 1
ρ cos(ϕ)ρ sin(ϕ) cos
f (x, y) ρ2
lim = lim =
ρ→0 ρ ρ→0 ρ
 
1
= lim (ρ cos(ϕ) sin(ϕ) cos 2 ) = 0.
ρ→0 ρ
 
1
Поскольку | cos(ϕ) sin(ϕ) cos 2 | ≤ 1 (ρ 6= 0), то последний предел ра-
ρ
вен нулю, как предел произведения бесконечно малой на ограниченную
функцию.
24
 f (x, y)
Таким образом, limρ→0 = 0, т. е. f (x, y) = o(ρ). Полученное
ρ
равенство означает, что функция f (x, y) представима в виде (5.2):
f (x, y) = f (0, 0) + 0 · x + 0 · y + o(ρ).
Следовательно, она дифференцируема в точке (0, 0). По теореме 5.2 в этой
точке существуют обе частные производные и при этом:
∂f ∂f
(0, 0) = 0, (0, 0) = 0.
∂x ∂y
∂f ∂f
Покажем теперь, что частные производные (x, y) и (x, y) не
∂x ∂y
являются непрерывными функциями в точке (0, 0).
Находим:
2x2 y
   
∂f 1 1
(x, y) = y cos + 2 sin .
∂x x2 + y 2 (x + y 2 )2 x2 + y 2
∂f
Для вычисления предела (x, y) в точке (0, 0) перейдем к полярной
 ∂x
x = ρ cos(ϕ),
системе координат ϕ ∈ [0, 2π):
y = ρ sin(ϕ),
"  #
∂f
 
1 3 2
2ρ cos (ϕ) sin(ϕ) 1
lim (x, y) = lim ρ sin(ϕ) cos 2 + sin =
x→0 ∂x ρ→0 ρ ρ4 ρ2
y→0
   
1 2 1
= lim (ρ sin(ϕ) cos 2 ) + lim ( cos2 (ϕ) sin(ϕ) sin 2 ).
ρ→0 ρ ρ→0 ρ ρ
 
1
Так как | sin(ϕ) cos 2 | ≤ 1 (ρ 6= 0), то первый предел равен нулю,
ρ
как предел произведения бесконечно малой на ограниченную функцию.
Рассмотрим второй предел.  
1 2
Поскольку | cos2 (ϕ) sin(ϕ) sin 2 | ≤ 1 (ρ 6= 0), а функция не
ρ ρ
ограничена при ρ → 0, то этот предел не существует и, следовательно,
∂f ∂f
lim (x, y) 6= (0, 0),
x→0 ∂x ∂x
y→0
∂f
т. е. (x, y) не является непрерывной в точке (0, 0).
∂x
∂f
Аналогично можно показать, что (x, y) также не является непре-
∂y
рывной в этой точке.
25
5.2. Геометрический смысл частных производных
функции двух переменных
Рассмотрим непрерывную в области D функцию двух переменных
f : D ⊂ R2 → R. Пусть в некоторой точке M0 (x0 , y0 ) ∈ D существуют
∂f ∂f
частные производные (x0 , y0 ) и (x , y ).
∂x ∂y 0 0
График функции z = f (x, y) представляет собой некоторую поверх-
ность в пространстве R3 . Точке M0 (x0 , y0 ) ∈ D соответствует точка
M1 (x0 , y0 , z0 ) (z0 = f (x0 , y0 )), лежащая на этой поверхности.
Согласно определению, частная производная
∂f f (x, y0 ) − f (x0 , y0 )
(x0 , y0 ) = lim
∂x x→x0 x − x0
находится как производная функции f (x, y0 ) одной переменной x (значение
второй переменной фиксируется y = y0 ).
Z

y = y0

z0 z = f (x, y)

M1 (x0 , y0 , z0 )

O y0 Y

M0 (x0 , y0 )
x0

X α ∂f (x0 , y0 )
tg(α) =
∂x

Рис. 5.1

Нетрудно заметить, что график функции z = f (x, y0 ) одной перемен-

ной x лежит в плоскости y = y0 , параллельной координатной плоскости
OXZ. График является линией пересечения поверхности z = f (x, y) и
плоскости y = y0 . Ясно, что точка M1 (x0 , y0 , z0 ) лежит на этой кривой
(рис. 5.1).
Из определения производной функции одной переменной следует гео-
метрический смысл этой производной: значение частной производной
∂f
(x , y ) равно тангенсу угла наклона касательной (лежащей в плоскости
∂x 0 0
26
y = y0 ), проведенной к графику функции z = f (x, y0 ) в точке x0 :
∂f
(x , y ) = tg(α),
∂x 0 0
где α – угол, который образует касательная к кривой z = f (x, y0 ) с осью,
проходящей через точку (x0 , y0 , 0) параллельно оси OX (рис. 5.1).
Z

x = x0

z0 z = f (x, y)

M1 (x0 , y0 , z0 )

O y0 Y

M0 (x0 , y0 ) β
x0
∂f (x0 , y0 )
tg(β) =
∂y
X

Рис. 5.2
Аналогично получаем, что
∂f f (x0 , y) − f (x0 , y0 )
(x0 , y0 ) = lim = tg(β),
∂y y→y0 y − y0
где β – угол, который образует касательная к кривой z = f (x0 , y) с осью,
проходящей через точку (x0 , y0 , 0) параллельно оси OY . Ясно, что кривая
z = f (x0 , y) и касательная к ней в точке y0 лежат в плоскости x = x0
(рис. 5.2).

6. ВЕКТОРНАЯ ФУНКЦИЯ НЕСКОЛЬКИХ

ПЕРЕМЕННЫХ
6.1. Определение векторной функции нескольких переменных
Пусть множество D является подмножеством пространства Rn .
Определение 6.1. Правило f~, по которому каждой точке  
y1
 .. 
M (x1 , . . . , xn ) ∈ D ставится в соответствие вектор ~y =  .  ∈ Rm ,
ym

27
называется векторной (векторно-значной) функцией n переменных с об-
ластью определения D. При этом пишут:
f~ : D ⊂ Rn → Rm ,
а также используют обозначения:
 
f1 (x1 , . . . , xn )
~y = f~(~x), или ~y = f~(M ), или ~y =  ..
. .
 
fm (x1 , . . . , xn )

Числа x1 , . . . , xn называются  аргументами векторной функции f~, а

f1 (x1 , . . . , xn )
..
вектор ~y =  .  – значением векторной функции f~ в точке
 
fm (x1 , . . . , xn )
M (x1 , . . . , xn ). Функции fi (x1 , . . . , xn ), i = 1, . . . , m называются коорди-
натными функциями векторной функции f~.
Таким образом, векторная функция представляет собой упорядочен-
ный набор скалярных функций нескольких переменных с общей областью
определения D.
Векторную функцию называют также вектор-функцией n перемен-
ных, функцией (отображением) из Rn в Rm и кроме того говорят, что
векторная функция задает векторное поле.
Приведем несколько примеров векторных функций.
Пример 6.1.
Часто пространственные кривые зада-
Z ют с помощью уравнений:

 x = x(t),
y = y(t),

z = z(t), t ∈ D,
O
которые представляют
  собой векторную
X Y x(t)
функцию ~r(t) = y(t) скалярного аргу-

z(t)
мента t (~r : D ⊂ R → R3 ).
Рис. 6.1 Например, векторная функция скаляр-
ного аргумента

 x = 2 cos(t),
y = 2 sin(t),

z = t, t ∈ R

28
описывает траекторию движущейся в пространстве точки по поверхности
цилиндра радиуса 2 (рис. 6.1). Эту траекторию называют винтовой линией.
Возможен другой способ записи рассматриваемой векторной функции,
в котором используется разложение по стандартному базису:
~r(t) = 2 cos(t)~i + 2 sin(t)~j + t~k.

Пример 6.2.
Многие поверхности в пространстве можно
задать системой уравнений:
 Z
 x = x(u, v),
y = y(u, v),
Y

z = z(u, v), (u, v) ∈ D,
где x(u, v), y(u, v), z(u, v) – координатные функ-
0 X
ции векторной функции ~r(u, v)
(~r : D ⊂ R2 → R3 ). Рис. 6.2
Например, векторная функция ~r(u, v) двух
переменных: 
 x = ρ cos(ϕ),
y = ρ sin(ϕ),

z = ρ, (ρ, ϕ) ∈ D
(D = {(ρ, ϕ) : ρ ≥ 0, 0 ≤ ϕ < 2π}) задает конус второго порядка
z 2 = x2 + y 2 при z ≥ 0 (рис. 6.2).

6.2. Предел, непрерывность и дифференцируемость

векторной функции нескольких переменных
Рассмотрим векторную функцию
 
f1 (x1 , . . . , xn )
f~(x1 , . . . , xn ) =  ..
.
 

fm (x1 , . . . , xn )

n переменных (f~ : D ⊂ Rn → Rm ).
Пусть M0 (x01 , . . . , x0n ) – предельная точка множества D.
Определение 6.2. Если в точке M0 для каждой координатной
функции fi (x1 , . . . , xn ) существует предел:
lim fi (x1 , . . . , xn ) = ai , i = 1, . . . , n,
x1 →x01
...
xn →x0n

29
  
a1
 .. 
то вектор ~a =  .  называется пределом векторной функции f~ в точке
an
M0 .
Определение 6.3. Векторная функция f~(x1 , . . . , xn ) называется
непрерывной в точке M0 , если в этой точке непрерывны все координат-
ные функции fi (x1 , . . . , xn ), i = 1, . . . , n. Это означает, что
lim f~(M ) = f~(M0 ).
M →M0

Если векторная функция f~ непрерывна в каждой точке некоторого

множества D, то она называется непрерывной на этом множестве.
Определение 6.4. Если в некоторой точке M (x1 , . . . , xn ) ∈ D
существуют все частные производные координатных функций
∂fi
(x , . . . , xn ), i = 1, . . . , m, j = 1, . . . , n, то матрица размера m × n
∂xj 1
вида  
∂f1 ∂f1 ∂f1
(x1 , . . . , xn ) (x , . . . , xn ) . . . (x , . . . , xn ) 
 ∂x1 ∂x2 1 ∂xn 1




.
.. 

 ∂fm ∂fm ∂fm
 
(x1 , . . . , xn ) (x1 , . . . , xn ) . . . (x1 , . . . , xn )

∂x1 ∂x2 ∂xn
называется производной векторной функции f~(x1 , . . . , xn ) и обозначается
f~ 0 (x1 , . . . , xn ).
Нетрудно видеть, что строками данной матрицы являются производ-
ные скалярных функций fi (x1 , . . . , xn ), i = 1, . . . , m.
Матрицу f~ 0 (x1 , . . . , xn ) называют также матрицей Якоби векторной
функции f~(x1 , . . . , xn ) и обозначают J(x1 , . . . , xn ).
Определение 6.5. Если m = n (f~ : D ⊂ Rn → Rn ), то матрица
Якоби J(x1 , . . . , xn ) является квадратной матрицей, а ее определитель
называется Якобианом и обозначается |J(x1 , . . . , xn )|.
Пример 6.3. Рассмотрим функцию (отображение)
f~ : D ⊂ R2 → R2 , описывающую переход от полярной к декартовой
системе координат: 
x = ρ cos(ϕ),
y = ρ sin(ϕ).

30
 Матрица Якоби этой функции имеет вид
 
∂x ∂x  
0  = cos(ϕ)
 ∂ρ ∂ϕ  − ρ sin(ϕ)
f~ (ρ, ϕ) = 
 ∂y ∂y  .
sin(ϕ) ρ cos(ϕ)
∂ρ ∂ϕ
Найдем Якобиан:
det f~ 0 (ρ, ϕ) = |J(ρ, ϕ)| = ρ.
Определение 6.6. Векторная функция f~(x1 , . . . , xn ) называется
дифференцируемой в точке M0 (x01 , . . . , x0n ) ∈ D, если в этой точке диффе-
ренцируемы все координатные функции fi (x1 , . . . , xn ), i = 1, . . . , m, т. е.
для каждой из них справедливы равенства:
f1 (x1 , . . . , xn ) = f1 (M0 ) + a11 (x1 − x01 ) + . . . + a1n (xn − x0n ) + o1 (ρ),
..
.
fm (x1 , . . . , xn ) = fm (M0 ) + am1 (x1 − x01 ) + . . . + amn (xn − x0n ) + om (ρ),
где aij – числа (i = 1, . . . , m, j = 1, . . . , n) и
q
ρ = (x1 − x01 )2 + (x2 − x02 )2 + . . . + (xn − x0n )2 .
Эти уравнения удобно записать в векторно-матричной форме:
f~(~x) = f~(~x0 ) + A(~x − ~x0 ) + ~o(k~x − ~x0 k), (6.1)
 
a11 . . . a1n
где A =  ..
.  – матрица размера m × n;
 
a . . . amn
  m1  
x1 x01
~x =  ...  ; ~x0 =  ...  .
   
xn x0n
Формула (6.1) является обобщением формулы (5.3), описывающей усло-
вие дифференцируемости скалярной функции n переменных.
Теорема 6.1. Если векторная функция f~(x1 , . . . , xn ) дифференциру-
ема в точке M0 (x01 , . . . , x0n ), то в этой точке существуют все частные
∂fi
производные , i = 1, . . . , m, j = 1, . . . , n, а матрица A является про-
∂xj
изводной векторной функции f~(x1 , . . . , xn ) в точке M0 :
A = f~ 0 (x01 , . . . , x0n )
и (6.1) принимает вид
f~(~x) = f~(~x0 ) + f~ 0 (~x0 )(~x − ~x0 ) + ~o(k~x − ~x0 k). (6.2)
31
 Равенство (6.2) называют формулой Тейлора 1-го порядка векторной
функции n переменных в точке ~x0 с остаточным членом в форме Пеано.
Доказательство этой теоремы следует из аналогичной теоремы 5.2,
сформулированной для скалярной функции. Формула (6.2) является след-
ствием формулы (5.4), которая выполняется для каждой координатной
функции f1 (x1 , . . . , xn ), . . ., fm (x1 , . . . , xn ).
Теорема 6.2 (достаточные условия дифференцируемости век-
торной функции). Пусть f~ : D ⊂ Rn → Rm . Если все частные про-
∂fi
изводные (x , . . . , xn ), i = 1, . . . , m, j = 1, . . . , n, существуют в
∂xj 1
некоторой окрестности точки M0 (x01 , . . . , x0n ) и непрерывны в M0 , то
векторная функция f~(x1 , . . . , xn ) дифференцируема в точке M0 и в этой
точке справедлива формула Тейлора 1-го порядка.
Доказательство теоремы следует из теоремы 5.3.

7. ДИФФЕРЕНЦИРУЕМОСТЬ СЛОЖНОЙ ФУНКЦИИ

НЕСКОЛЬКИХ ПЕРЕМЕННЫХ
Пусть X ⊂ Rn и Y ⊂ Rm . Элементы множеств X и Y будем обозна-
чать ~x и ~y соответственно.
Определение 7.1. Пусть заданы функции
f~ : X ⊂ Rn → Y ⊂ Rm ,
~g : Y ⊂ Rm → Rk .
Функция ~h (~h : X ⊂ Rn → Rk ), значения которой вычисляются по пра-
вилу ~h(~x) = ~g (f~(~x)), называется сложной функцией или суперпозицией
функций ~g и f~ и обозначается ~h = ~g ◦ f~.
Теорема 7.1. Если функция f~ дифференцируема в точке ~x0 ∈ X,
а функция ~g дифференцируема в точке ~y 0 = f~(~x0 ) ∈ Y , то сложная
функция ~h = ~g ◦ f~ дифференцируема в точке ~x0 ∈ X и
h0 (~x0 ) = ~g 0 (f~(~x0 ))f~ 0 (~x0 ). (7.1)

Заметим, что правило нахождения производной суперпозиции (7.1)

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

32
 Доказательство. Запишем формулы Тейлора 1-го порядка для функ-
ций f~(~x) и ~g (~y ) в точках ~x0 и ~y 0 соответственно:
f~(~x) = f~(~x0 ) + f~ 0 (~x0 )(~x − ~x0 ) + ~o(k~x − ~x0 k),
~g (~y ) = ~g (~y 0 ) + ~g 0 (~y 0 )(~y − ~y 0 ) + ~o(k~y − ~y 0 k).
Подставим ~y = f~(~x) и ~y 0 = f~(~x0 ) в формулу Тейлора для функции ~g :
~g (f~(~x)) = ~g (f~(~x0 )) + ~g 0 (f~(~x0 ))(f~(~x) − f~(~x0 )) + ~o(kf~(~x) − f~(~x0 )k).
Учитывая, что
f~(~x) − f~(~x0 ) = f~ 0 (~x0 )(~x − ~x0 ) + ~o(k~x − ~x0 k),
получим
~g (f~(~x)) = ~g (f~(~x0 )) + ~g 0 (f~(~x0 ))f~ 0 (~x0 )(~x − ~x0 ) + ~r(k~xk), (7.2)
где ~r(k~xk) = ~g 0 (f~(~x0 ))~o(k~x − ~x0 k) + ~o(kf~(~x) − f~(~x0 )k).
Можно показать, что ~r(k~xk) = ~o(k~x − ~x0 k).
Тогда (7.2) записывается в виде
~g (f~(~x)) = ~g (f~(~x0 )) + ~g 0 (f~(~x0 ))f~ 0 (~x0 )(~x − ~x0 ) + ~o(k~x − ~x0 k),
т. е.
~h(~x) = ~h(~x0 ) + ~g 0 (f~(~x0 ))f~ 0 (~x0 )(~x − ~x0 ) + ~o(k~x − ~x0 k).
Последнее равенство означает, что функция ~h(~x) дифференцируема в
точке ~x0 и
~h0 (~x0 ) = ~g 0 (f~(~x0 ))f~ 0 (~x0 ).

Если условия теоремы выполнены для всех ~x0 ∈ D (D ⊂ Rn ), то все

производные f~0 (~x0 ), ~g 0 (f~(~x0 )) и ~h0 (~x0 ) являются функциями n переменных
и (7.1) записывают в виде
~h0 (~x) = ~g 0 (f~(~x))f~ 0 (~x), (7.3)
где ~x ∈ D.

Рассмотрим подробнее правило (7.3) вычисления производной слож-

ной функции.

33
 Запишем матрицы Якоби ~h0 (~x), ~g 0 (~y ), f~ 0 (~x):
 
∂h1
∂x (~x) . . . ∂h
∂x
1 (~ x) . . . ∂h1
∂xn (~
x)
 1 j
 .. .. .. 

 . . . 
∂hi ∂hi ∂hi
 
~h0 (~x) = 
 ∂x (~x) . . . ∂x (~x) . . . ∂xn (~
x ) ,

 1 j
 .. .. .. 

 . . . 
 ∂hk ∂hk ∂hk 
∂x (~ x) . . . ∂x (~x) . . .
1 j ∂x n
(~
x )
 
∂g1 ∂g1
∂y (~y ) . . . ∂y (~y )
 1 m
 .. .. 

 . . 
∂g ∂g
~g 0 (~y ) = 
 i (~ i (~

 ∂y1 y ) . . . ∂ym y ),
 .. .

 . ..  
 ∂g ∂gk

k (~y ) . . . (~
y )
∂y1 ∂ym
 
∂f1 ∂f1 ∂f1
(~
x ) . . . (~ x) . . . (~x )
 ∂x1 ∂xj ∂xn
. . .

~ 0
f (~x) =  .
 . .
. .
. .

 ∂f ∂fm ∂fm 
m (~
x ) . . . (~x ) . . . (~
x )
∂x 1 ∂x j ∂x
n

∂hi
С учетом (7.3) элемент (~x) матрицы ~h0 (~x), стоящий в i-й строке
∂xj
и j-м столбце, определяется
" по правилу умножения # матриц. Для его на-
∂gi ∂gi
хождения i-я строка: (~y ) . . . (~y ) матрицы ~g 0 (~y ), где ~y = f~(~x),
∂y1 ∂ym
 
∂f1
(~x) 
 ∂xj


умножается на j-й столбец 
 ..  матрицы f~ 0 (~x):

 . 
 ∂fm 
 (~x)
∂xj

∂hi ∂g ∂f ∂gi ~ ∂fm

(~x) = i (f~(~x)) 1 (~x) + . . . + (f (~x)) (~x).
∂xj ∂y1 ∂xj ∂ym ∂xj

Пример 7.1. Пусть заданы дифференцируемая функция

f (~x) = f (x1 , . . . , xn ) переменных x1 , . . . , xn и n дифференцируемых функ-
ций переменной t: x1 = x1 (t), x2 = x2 (t), . . . , xn = xn (t) (т. е. дана

34
  
x1 (t)
 .. 
векторная функция ~x(t) =  . ).
xn (t)
Рассмотрим сложную функцию h(t) = (f ◦ ~x)(t) – суперпозицию  ска-
x1 (t)
 .. 
лярной функции f (x1 , . . . , xn ) и векторной функции ~x(t) =  . :
xn (t)

h(t) = f (x1 (t), . . . , xn (t)).

По правилу вычисления производной сложной функции (7.3):
h0 (t) = f 0 (~x(t)) · ~x0 (t).
В матричной форме, без указания аргументов, это равенство прини-
мает вид  
dx1
  " # 
 dt

dh ∂f ∂f ∂f .. 
= ... · .  .
dt ∂x1 ∂x2 ∂xn  dx 

n
dt
Перемножая матрицы, получим:
dh ∂f dx1 ∂f dx2 ∂f dxn
= + + ... + . (7.4)
dt ∂x1 dt ∂x2 dt ∂xn dt
Пусть, например, даны скалярная
 функция

2 3
f (x, y, z) = x − 2y − 3z 2 f : R → R и векторная функция ~r(t) пе-
3

ременной t, координаты которой задаются формулами:


 x = t,
  
y = e , 2t ~r : R → R .3
 z = e−2t


Рассмотрим сложную функцию h(t) = f (x(t), y(t), z(t)) (h : R → R).

По формуле (7.4) (x1 = x, x2 = y, x3 = z)
dh ∂f dx ∂f dy ∂f dz
= + + . (7.5)
dt ∂x dt ∂y dt ∂z dt
Находим:
∂f ∂f ∂f
= 2x, = −6y 2 , = −6z,
∂x ∂y ∂z

35
 dx dy dz
= 1, = 2e2t , = −2e−2t .
dt dt dt
Подставим значения производных в (7.5):
dh
= 2x − 12y 2 e2t + 12ze−2t .
dt
Учитывая, что x = t, y = e2t , z = e−2t , в итоге получим:
dh
= 2t − 12e6t + 12e−4t .
dt

Пример 7.2. Пусть заданы дифференцируемая функция n перемен-

ных f (x1 , . . . , x
n ) и дифференцируемая
 векторная функция двух перемен-
x1 (u, v)
ных ~x(u, v) =  ..
. .
 
xn (u, v)
Рассмотрим сложную функцию
h(u, v) = (f ◦ ~x)(u, v) = f (x1 (u, v), . . . , xn (u, v)).
Формула (7.1) принимает вид
h0 (u, v) = f 0 (~x(u, v))~x0 (u, v).
Не указывая аргументы u, v запишем последнюю формулу в развер-
нутом виде
 
∂x1 ∂x1
 ∂u ∂v 
 " #  ∂x ∂x2 

∂h ∂h ∂f ∂f ∂f  2 
= ... ·  ∂u ∂v  .
 
∂u ∂v ∂x1 ∂x2 ∂xn  ... .. 
. 

 ∂x ∂xn 
n
∂u ∂v
Учитывая правило умножения матриц, получаем:
∂h ∂f ∂x1 ∂f ∂x2 ∂f ∂xn
= + + ... + ,
∂u ∂x1 ∂u ∂x2 ∂u ∂xn ∂u
∂h ∂f ∂x1 ∂f ∂x2 ∂f ∂xn (7.6)
= + + ... + .
∂v ∂x1 ∂v ∂x2 ∂v ∂xn ∂v
Пусть, например, заданы скалярная функция f (x, y) = x3 y и вектор-
ная функция: 
x = u cos(v),
y = u sin(v).
36
 Составим суперпозицию
h(u, v) = f (x(u, v), y(u, v)).
Находим все частные производные:
∂f ∂f
= 3x2 y, = x3 ,
∂x ∂y
∂x ∂x ∂y ∂y
= cos(v), = −u sin(v), = sin(v), = u cos(v).
∂u ∂v ∂u ∂v
Согласно формулам (7.6):
∂h ∂f ∂x ∂f ∂y
= + = 3x2 y cos(v) + x3 sin(v) =
∂u ∂x ∂u ∂y ∂u
= 3u3 cos3 (v) sin(v) + u3 cos3 (v) sin(v) = 4u3 cos3 (v) sin(v);
∂h ∂f ∂x ∂f ∂y
= + = 3x2 y(−u sin(v)) + x3 u cos(v) =
∂v ∂x ∂v ∂y ∂v
= −3u4 cos2 (v) sin2 (v) + u4 cos4 (v).

Замечание. Формулы нахождения частных производных сложных

функций вида (7.4), (7.6) обычно называют цепным правилом.

8. НЕЯВНО ЗАДАННЫЕ ФУНКЦИИ

Пусть D ⊂ R, E ⊂ R. Определим множество D × E – прямое произ-
ведение множеств D и E:

D × E = (x, y) : x ∈ D, y ∈ E .
Пусть имеется функция двух переменных F : D × E → R.
Предположим, для любого x ∈ D уравнение
F (x, y) = 0 (8.1)
относительно второй переменной имеет единственное решение y ∈ E. Тогда
на множестве D определена такая функция f : D → E, что F (x, f (x)) = 0.
При этом говорят, что уравнение (8.1) задает неявно функцию y = f (x).
Пример 8.1. Рассмотрим уравнение x2 + y 2 − 9 = 0, являющееся
уравнением окружности радиуса 3 с центром в начале координат.
На множестве [−3, 3] × [0, 3] данное уравнение задает неявно функцию
f1 : [−3, 3] → [0, 3], так как для любого x ∈ [−3, 3] данное уравнение
√ отно-
сительно переменной y имеет единственное решение y = f1 (x) = 9 − x2 .

37
 Y Аналогично, на множестве
3
[−3, 3]×[−3, 0] это уравнение
√ задает неяв-
√
y= 9 − x2 но функцию y = − 9 − x (рис. 8.1).
2
Графиком первой функции являет-
ся верхняя часть окружности (y ≥ 0),
−3 x
O 3 X график второй функции – нижняя часть
√ окружности (y ≤ 0).
y = − 9 − x2
−3 Отметим, что рассматриваемое урав-
нение x2 + y 2 − 9 = 0 на множестве
[−3, 3] × [−3, 3] не определяет неявно
Рис. 8.1
функцию y = f (x), поскольку для любого
√ x ∈ (−3, 3) это уравнение относительно y
имеет 2 решения y = ± 9 − x2 .
Теорема 8.1. Пусть точка M0 (x0 , y0 ) принадлежит множеству
D × E и пусть F (x0 , y0 ) = 0.
Если функция F (x, y) имеет в некоторой окрестности точки
∂F ∂F
M0 (x0 , y0 ) непрерывные частные производные (x, y), (x, y) и
∂x ∂y
∂F
(M0 ) 6= 0, то
∂y
1) существует такое число ε > 0, что на множестве
Kε (x0 ) × Kε (y0 ) уравнение F (x, y) = 0 определяет неявно функцию
f : Kε (x0 ) → Kε (y0 );
2) функция y = f (x) дифференцируема на множестве Kε (x0 );
∂F
(M0 )
0
3) f (x0 ) = − ∂x . (8.2)
∂F
(M0 )
∂y
Доказательство. Доказательство утверждений 1) и 2) в данном из-
дании не приводим (см. [2]). Докажем только справедливость (8.2).
Согласно утверждениям 1) и 2) на интервале Kε (x0 ) = (x0 − ε, x0 + ε)
существует такая дифференцируемая функция f (x), что f (x0 ) = y0 и для
всех x ∈ (x0 − ε, x0 + ε) справедливо тождество F (x, f (x)) ≡ 0. Тогда
dF
очевидно: (x , f (x0 )) = 0.
dx 0
К последнему равенству применим цепное правило вычисления про-
изводной сложной функции:
∂F dx ∂F dy
(x0 , y0 ) (x0 ) + (x0 , y0 ) (x0 ) = 0.
∂x dx ∂y dx

38
 dx dy df
Учитывая, что (x0 ) = 1 и (x0 ) = (x0 ) = f 0 (x0 ), получим:
dx dx dx
∂F ∂F
(x0 , y0 ) + (x0 , y0 )f 0 (x0 ) = 0.
∂x ∂y
Отсюда
∂F (M )
0 ∂x 0
f (x0 ) = − ∂F .
∂y (M0 )
Поясним геометрический смысл рассмотренной теоремы. Предполо-
жим, что уравнение F (x, y) = 0 определяет на плоскости некоторую кри-
вую (рис. 8.2), и пусть точка M0 (x0 , y0 ) лежит на этой кривой
(F (x0 , y0 ) = 0). Если выполняются условия теоремы, то она гарантирует
существование такого ε > 0, что для всех x ∈ Kε (x0 ) уравнение F (x, y) = 0
имеет единственное решение y ∈ Kε (y0 ), т. е. оно неявно задает функцию
f : Kε (x0 ) → Kε (y0 ). График функции y = f (x) на рисунке выделен жир-
ной линией.
Y

y0 + ε y = f (x)
y M0
y0 F (x, y) = 0

y0 − ε

O x0 − ε x x0 x0 + ε X

Рис. 8.2

Теорема 8.1 не только гарантирует существование функции

f : Kε (x0 ) → Kε (y0 ), но и позволяет находить значение производной этой
функции без явного задания y как функции переменной x.
Замечание. Формула (8.2) позволяет записать формулу Тейлора
1-го порядка для функции f в точке x0 :
∂F
(M0 )
f (x) = f (x0 ) − ∂x (x − x0 ) + o(x − x0 ).
∂F
(M0 )
∂y

Кроме того, из (8.2) следует, что уравнение касательной к графику

39
функции f в точке x0 имеет вид
∂F
(M0 )
y = y0 − ∂x (x − x0 ).
∂F
(M0 )
∂y
∂F
Умножим обе части уравнения на (M0 ) и преобразуем его к виду
∂y
∂F ∂F
(M0 )(x − x0 ) + (M0 )(y − y0 ) = 0. (8.3)
∂x ∂y
График неявной функции y = f (x) при x ∈ (x0 − ε, x0 + ε) совпадает
с кривой, заданной уравнением F (x, y) = 0, поэтому можно утверждать,
что (8.3) задает касательную к кривой F (x, y) = 0 в точке M0 (x0 , y0 ).
Пример 8.2. Рассмотрим функцию F (x, y) = x2 + y 2 − 9 и урав-
нение F (x, √
y) = 0, задающее окружность (см. пример 8.1). Выберем точ-
ку M0 (1, − 8), лежащую на данной окружности. Частные производные
∂F ∂F
(x, y) = 2x, (x, y) = 2y непрерывны в любой окрестности точки
∂x ∂y
√ ∂F √ √
M0 (1, − 8), и при этом (1, − 8) = −2 8 6= 0.
∂y
Согласно (8.2) для функции y = f (x), определяемой уравнением
x + y 2 − 9 = 0 в окрестности точки M0 :
2

2x 2 1
f 0 (1) = − = − √ = √ .
2y (1,−√8) −2 8 8
∂F √ ∂F √ √
Поскольку (1, − 8) = 2, (1, − 8) = −2 8, с учетом (8.3)
∂x ∂y
уравнение касательной к окружности x2 + y 2 − 9 = 0 в точке M0 имеет вид
√ √ 1 9
2(x − 1) − 2 8(y + 8) = 0 ⇔ y = √ x − √ .
8 8
Заметим, что в рассматриваемом простейшем случае из уравнения
x + y 2√− 9 = 0 можно получить явное выражение для функции f (x)
2
(y = − 9 − x2 ) и, следовательно,
 p 0 x 1
f 0 (1) = − 9 − x2 = √ =√ .
x=1 9 − x2 x=1 8

Пусть теперь D ⊂ R2 , E ⊂ R и
D × E = (x, y, z) : (x, y) ∈ D, z ∈ E – прямое произведение множеств D
и E.
40
 Рассмотрим функцию трех переменных F : D × E → R и уравнение
F (x, y, z) = 0. (8.4)
Предположим, что для любых (x, y) ∈ D уравнение F (x, y, z) = 0
относительно неизвестной z имеет единственное решение z ∈ E. Тогда на
множестве D определена такая функция f : D → E, что
F (x, y, f (x, y)) = 0. При этом говорят, что уравнение (8.4) на множестве
D × E неявно задает функцию двух переменных z = f (x, y).
График функции z = f (x, y) называют поверхностью, заданной урав-
нением F (x, y, z) = 0.
Теорема 8.2. Пусть для точки M0 (x0 , y0 , z0 ) выполняется условие
F (x0 , y0 , z0 ) = 0.
Если функция F (x, y, z) имеет в некоторой окрестности точки
∂F ∂F
M0 (x0 , y0 , z0 ) непрерывные частные производные (x, y, z), (x, y, z),
∂x ∂y
∂F ∂F
(x, y, z) и (M0 ) 6= 0, то
∂z ∂z
1) существует такое число ε > 0, что на множестве
Kε (x0 , y0 ) × Kε (z0 ) уравнение F (x, y, z) = 0 неявно определяет функцию
f : Kε (x0 , y0 ) → Kε (z0 );
2) функция z = f (x, y) дифференцируема на множестве Kε (x0 , y0 );
∂F (M ) ∂F (M )
∂f ∂x 0 ∂f ∂y 0
3) (x0 , y0 ) = − ∂F , (x0 , y0 ) = − ∂F . (8.5)
∂x (M0 ) ∂y (M0 )
∂z ∂z
Доказательство. Доказательство утверждений 1), 2) теоремы не при-
водим. Справедливость формул (8.5) устанавливается так же, как была
получена формула (8.2) в теореме 8.1.
Пример 8.3. Рассмотрим уравнение x2 + y 2 + z 2 − 6 = 0. Здесь
F (x, y, z) = x2 + y 2 + z 2 − 6.
Выберем точку M0 (−1, 1, −2), такую, что F (M0 ) = 0.
Частные производные
∂F ∂F ∂F
(x, y, z) = 2x, (x, y, z) = 2y, (x, y, z) = 2z
∂x ∂y ∂z
непрерывны в любой окрестности точки M0 (−1, 1, −2), и при этом
∂F
(−1, 1, −2) = −4 6= 0.
∂z
По теореме 8.2, уравнение x2 + y 2 + z 2 − 6 = 0 в некоторой окрестности
точки M0 (−1, 1, −2) неявно задает функцию двух переменных z = f (x, y),
дифференцируемую в точке (−1, 1).
41
 Используя формулы (8.5) найдем частные производные этой функции:
∂F (−1, 1, −2)
∂f ∂x −2 1
(−1, 1) = − ∂F =− =− ,
∂x (−1, 1, −2) −4 2
∂z
∂F (−1, 1, −2)
∂f ∂y 2 1
(−1, 1) = − ∂F =− = .
∂y (−1, 1, −2) −4 2
∂z

9. УРАВНЕНИЯ КАСАТЕЛЬНОЙ ПЛОСКОСТИ

И НОРМАЛИ К ПОВЕРХНОСТИ
Выберем в пространстве некоторую декартову прямоугольную систему
координат OXY Z и рассмотрим поверхность, заданную уравнением
z = f (x, y), где f : D ⊂ R2 → R.
Возьмем точку (x0 , y0 ) ∈ D. Точка M0 (x0 , y0 , f (x0 , y0 )) лежит на рас-
сматриваемой поверхности (рис. 9.1).
Определение 9.1. Плоскость
z = f (x0 , y0 ) + a1 (x − x0 ) + a2 (y − y0 ),
проходящая через точку M0 (x0 , y0 , z0 ) (z0 = f (x0 , y0 )), называется каса-
тельной к поверхности z = f (x, y) в этой точке, если в окрестности
точки (x0 , y0 ) справедливо равенство
(9.1)


f (x, y) − f (x0 , y0 ) + a1 (x − x0 ) + a2 (y − y0 ) = o(ρ),
p
где ρ = (x − x0 )2 + (y − y0 )2 .
Перепишем (9.1) в виде
f (x, y) = f (x0 , y0 ) + a1 (x − x0 ) + a2 (y − y0 ) + o(ρ).
Последнее равенство является условием дифференцируемости функ-
ции f (x, y) в точке (x0 , y0 ), и, следовательно, по теореме 5.2
∂f ∂f
a1 = (x , y ), a2 = (x , y ).
∂x 0 0 ∂y 0 0
Таким образом, уравнение касательной плоскости имеет вид
∂f ∂f
z = f (x0 , y0 ) + (x0 , y0 )(x − x0 ) + (x , y )(y − y0 ). (9.2)
∂x ∂y 0 0

Определение 9.2. Прямая, проходящая через точку M0 поверх-

ности перпендикулярно касательной плоскости, называется нормалью к
поверхности в точке M0 .

42
 Говорят, что эта прямая перпен- Z
дикулярна поверхности в точке M0 . z = f (x, y)
Выведем уравнение нормали к f (x , y ) = z
0 0 0
поверхности, используя уравнение M0 (x0 , y0 , z0 )
(9.2). Для этого преобразуем его к
виду
O
∂f ∂f y0 Y
(x0 , y0 )(x−x0 )+ (x , y )(y−y0 )−
∂x ∂y 0 0 X
x0 (x0 , y0 )

−(z − f (x0 , y0 )) = 0.
 T Рис. 9.1
∂f ∂f
Вектор ~n = (x , y ) (x , y ) − 1
∂x 0 0 ∂y 0 0
является нормальным вектором этой плоскости и одновременно направля-
ющим вектором для нормали.
Тогда канонические уравнения нормали в точке M0 (x0 , y0 , f (x0 , y0 ))
записываются в виде
x − x0 y − y0 z − f (x0 , y0 )
= = .
∂f ∂f −1
(x , y ) (x , y )
∂x 0 0 ∂y 0 0
На рис. 9.1 изображены часть касательной плоскости и нормаль, про-
ходящие через точку M0 , лежащую на поверхности z = f (x, y).

Пусть теперь поверхность задается уравнением

F (x, y, z) = 0,
и пусть точка M0 (x0 , y0 , z0 ) лежит на этой поверхности (F (x0 , y0 , z0 ) = 0).
Выведем уравнения касательной плоскости и нормали в этом случае.
Будем предполагать, что для функции F (x, y, z) выполнены условия тео-
ремы 8.2 о неявно заданной функции: функция F (x, y, z) имеет непрерыв-
ные частные производные в некоторой окрестности точки M0 (x0 , y0 , z0 ) и
∂F
(M0 ) 6= 0. Тогда уравнение F (x, y, z) = 0 в окрестности точки
∂z
M0 (x0 , y0 , z0 ) неявно задает дифференцируемую функцию z = f (x, y), при-
чем
∂F (M ) ∂F (M )
∂f ∂x 0 ∂f ∂y 0
(x0 , y0 ) = − ∂F , (x0 , y0 ) = − ∂F .
∂x (M0 ) ∂y (M0 )
∂z ∂z
Подставим эти выражения в (9.2). С учетом того, что f (x0 , y0 ) = z0 ,

43
(9.2) преобразуется к виду
∂F ∂F ∂F
(M0 )(x − x0 ) + (M0 )(y − y0 ) + (M0 )(z − z0 ) = 0. (9.3)
∂x ∂y ∂z
Вектор
Z  
∂F (M )
0
 ∂x 
 ∂F
~n = grad F (M0 ) ~n = grad F (M0 ) =  ∂y (M0 )

 
∂F (M )
M0 ∂z 0

F (x, y, z) = 0 (рис. 9.2) является нормальным вектором

O
данной плоскости. Одновременно он яв-
Y
X ляется направляющим вектором для нор-
мали к рассматриваемой поверхности в
Рис. 9.2 точке M0 , поэтому канонические уравне-
ния нормали записываются в виде
x − x0 y − y0 z − z0
= = . (9.4)
∂F ∂F ∂F
(M0 ) (M0 ) (M0 )
∂x ∂y ∂z
Можно также эту нормаль задать параметрическими уравнениями:



 x = x0 + ∂F
∂x (M0 ) · t,

y = y0 + ∂F
∂y (M0 ) · t,


 z = z + ∂F (M ) · t, t ∈ R.

0 ∂z 0

Пример 9.1. Рассмотрим поверхность, заданную уравнением

z = − x + 4x − y 2 ). Возьмем точку M0 (1, 2, −1) на этой поверхности.
p
2
Получим уравнения касательной плоскости и нормали к заданной по-
верхности в точке M0 , используя (9.3) и (9.4) соответственно.
Уравнение поверхности можно записать в виде
z 2 − x2 − 4x + y 2 = 0.
В данном случае F (x, y, z) = z 2 − x2 − 4x + y 2 .
Найдем ~n = grad F (x, y, z):
 
∂F (x, y, z)  
 ∂x  −2x − 4
grad F (x, y, z) =  ∂F (x, y, z) =  2y  .
 
∂y

∂F (x, y, z)
 2z
∂z

44
Вычислим  
−6
grad F (M0 ) =  4  .
−2
Запишем уравнение касательной плоскости (9.3):
−6(x − 1) + 4(y − 2) − 2(z + 1) = 0 ⇔ −6x + 4y − 2z − 4 = 0 ⇔
⇔ −3x + 2y − z − 2 = 0,
а также канонические уравнения нормали (9.4):
x−1 y−2 z+1
= = .
−3 2 −1
Параметрические уравнения этой нормали имеют вид

 x = 1 − 3t,
y = 2 + 2t,

z = −1 − t, t ∈ R.

10. ПРОИЗВОДНАЯ ПО НАПРАВЛЕНИЮ. ГРАДИЕНТ

Рассмотрим функцию n переменных f : D ⊂ Rn → R.
Пусть M0 (x01 , . . . , x0n ) – некоторая внутренняя точка множества D.
Зададим
  единичный вектор
e1 x2
 .. 
~e =  .  ∈ R (||~e|| = 1) и рассмот-
n
~e
en M0
~x0
рим в окрестности точки M0 такие точки M
M (x1 , . . . , xn ), для которых выполняется ра- ~x
венство
~x = ~x0 + t~e, t ∈ R, (10.1) ~x − ~x0 = t~e, t ∈ R
    O x1
x1 x01
где ~x =  ... , ~x0 =  ... . Рис. 10.1
   
xn x0n
Заметим, что если n = 2 или n = 3, то
(10.1) является параметрическим уравнением
прямой с направляющим вектором ~e, прохо-
дящей через точку M0 (x01 , . . . , x0n ), т. е. все точки M (x1 , . . . , xn ) лежат на
этой прямой (рис. 10.1).
Определение 10.1. Если существует предел
f (~x0 + t~e) − f (~x0 )
lim ,
t→0 t
45
то его называют производной функции f (x1 , . . . , xn ) в точке ~x0 (M0 ) по
∂f 0 ∂f
направлению вектора ~e и обозначают (~x ) (или (M0 )).
∂~e ∂~e
Замечание. Производная по направлению произвольного
(необязательно единичного) вектора ~a пространства Rn определяется
~a
как производная по направлению единичного вектора ~e = , имеющего
k~ak
то же направление, что и вектор ~a.
Теорема 10.1. Если функция f : D ⊂ Rn → R дифференцируема
в точке ~x0 , то в этой точке существует
  производная по направлению
e1
 .. 
любого единичного вектора ~e =  .  ∈ Rn , при этом
en
∂f 0 ∂f 0 ∂f 0

0

(~x ) = (~x )e1 + . . . + (~x )en = grad(f (~x )), ~e .
∂~e ∂x1 ∂xn

Доказательство. Поскольку функция f (x1 , . . . , xn ) дифференциру-

ема в точке ~x0 , для нее справедлива формула Тейлора 1-го порядка:
f (~x) = f (~x0 ) + f 0 (~x0 )(~x − ~x0 ) + o(k~x − ~x0 k). (10.2)
" #
∂f 0 ∂f
Напомним, что f 0 (~x0 ) = (~x ) . . . (~x0 ) – матрица Якоби функ-
∂x1 ∂xn
ции f (x1 , . . . , xn ) в точке ~x0 .
Подставляя в (10.2) ~x = ~x0 + t~e, получим:
f (~x0 + t~e) = f (~x0 ) + f 0 (~x0 )t~e + o(kt~ek).
Тогда
!
f (~x0 + t~e) − f (~x0 ) o(|t|k~e k)
lim = lim f 0 (~x0 )~e + =
t→0 t t→0 t
!
o(|t|) ∂f 0 ∂f
= lim f 0 (~x0 )~e + = f 0 (~x0 )~e = (~x )e1 + . . . + (~x0 )en .
t→0 t ∂x1 ∂xn
Поскольку f 0 (~x0 )T = grad f (~x0 ), производную по направлению векто-
ра ~e функции f в точке ~x0 можно записать в виде скалярного произведения
векторов grad f (~x0 ) и ~e:
∂f 0 
0

(~x ) = grad f (~x ), ~e .
∂~e
46
 Замечание. Если рассматривается произвольный вектор ~a 6= ~0, то
производная по направлению этого вектора в точке ~x0 находится по пра-
вилу
!  0

∂f 0 ~a grad f (~x ), ~a
(~x ) = grad f (~x0 ), = . (10.3)
∂~a ||~a|| ||~a||
Следствие. Если функция f дифференцируема в точке ~x0 , то для
любого ненулевого вектора ~a
1) справедлива оценка
∂f 0
(~x ) ≤ || grad f (~x0 )||;
∂~a
2) если grad f (~x0 ) 6= ~0, то по направлению вектора ~a1 = grad f (~x0 )
выполняется равенство
∂f 0
(~x ) = || grad f (~x0 )||,
∂~a1

а по направлению вектора ~a2 = − grad f (~x0 ):

∂f 0
(~x ) = −|| grad f (~x0 )||.
∂~a2
Доказательство. 1) Выберем произвольный ненулевой вектор ~a. Най-
дем производную по направлению этого вектора, применив (10.3), и вос-
пользуемся неравенством Коши–Буняковского–Шварца. В результате по-
лучим оценку:
!
∂f 0 ~a
(~x ) = grad f (~x0 ), =
∂~a ||~a||
 
grad f (~x0 ), ~a
k grad f (~x0 )kk~ak
= ≤ = k grad f (~x0 )k,
||~a|| k~ak
из которой следует, что
∂f 0
−k grad f (~x0 )k ≤ (~x ) ≤ k grad f (~x0 )k. (10.4)
∂~a
2) Найдем производную по направлению вектора ~a1 = grad f (~x0 ):
!
∂f 0 0
grad f (~x )
(~x ) = grad f (~x0 ), =
∂~a1 k grad f (~x0 )k

47
  
grad f (~x0 ), grad f (~x0 ) k grad f (~x0 )k2
= = = k grad f (~x0 )k.
k grad f (~x0 )k 0
k grad f (~x )k
Следовательно, с учетом (10.4) grad f (~x0 ) является вектором, по на-
правлению которого производная принимает наибольшее значение.
Аналогично вычислим производную по направлению вектора
~a2 = − grad f (~x0 ):
!
∂f 0 0
− grad f (~x )
(~x ) = grad f (~x0 ), =
∂~a2 k − grad f (~x0 )k
 
0 0
− grad f (~x ), grad f (~x ) −k grad f (~x0 )k2
= 0
= 0
= −k grad f (~x0 )k.
k grad f (~x )k k grad f (~x )k
Из (10.4) следует, что производная по направлению вектора
(− grad f (~x0 )) принимает наименьшее значение (−k grad f (~x0 )k).
Таким образом, вектор grad f (~x0 ) указывает направление максималь-
ного (говорят, наискорейшего) возрастания, а вектор − grad f (~x0 ) – направ-
ление максимального (говорят, наискорейшего) убывания функции f (~x) в
точке ~x0 .
Для функций двух и трех переменных справедлива следующая теорема.
Теорема 10.2 (геометрический смысл градиента).
Если функция z = F (x, y) (F : D ⊂ R2 → R) дифференцируема в
точке M0 (x0 , y0 ) (M0 ∈ D), то вектор grad(F (x0 , y0 )) перпендикулярен
линии уровня F (x, y) = C, проходящей через точку M0 (x0 , y0 ).
Если функция u = F (x, y, z) (f : D ⊂ R3 → R) дифференцируема в
точке M0 (x0 , y0 , z0 ) (M0 ∈ D), то вектор grad(F (x0 , y0 , z0 )) перпендику-
лярен поверхности уровня F (x, y, z) = C в точке M0 (x0 , y0 , z0 ).
Доказательство. Для функции двух переменных z = F (x, y) рас-
смотрим линию уровня F (x, y) = C, проходящую через точку M0 (x0 , y0 )
(C = F (x0 , y0 )). Преобразуем уравнение этой линии к виду F (x, y) − C = 0
и напишем уравнение касательной к ней в точке M0 (x0 , y0 ) (8.3):
∂F ∂F
(x0 , y0 )(x − x0 ) + (x , y )(y − y0 ) = 0,
∂x ∂y 0 0
где (x, y) – точки, лежащие на касательной.
Заметим,
 чтолевая часть уравнения есть скалярное произведение век-
∂F (x , y )  
∂x 0 0 x − x 0 , лежащего на касательной.
тора  ∂F  и вектора
y − y
∂y (x0 , y0 )
0

48
 Из равенства нулю этого скалярного произведения следует, что вектор
 
∂F (x , y )
∂x 0 0 
grad F (x0 , y0 ) =  ∂F
∂y (x0 , y0 )
перпендикулярен касательной, проведенной к линии уровня F (x, y) = C в
точке M0 (x0 , y0 ). При этом говорят, что данный вектор перпендикулярен
линии уровня в точке M0 (x0 , y0 ).
Рассмотрим теперь функцию трех переменных u = F (x, y, z). Пусть
точка M0 (x0 , y0 , z0 ) принадлежит области определения функции. Если
F (x0 , y0 , z0 ) = C, то уравнение F (x, y, z) = C является уравнением по-
верхности уровня, проходящей через выбранную точку. Запишем уравне-
ние этой поверхности в виде F (x, y, z) − C = 0 и уравнение касательной
плоскости к ней в точке M0 :
∂F ∂F ∂F
(M0 )(x − x0 ) + (M0 )(y − y0 ) + (M0 )(z − z0 ) = 0.
∂x ∂y ∂z
Из этого уравнения следует, что вектор
 
∂F (x , y , z )
 ∂x 0 0 0 
grad F (x0 , y0 , z0 ) =  ∂F (x0 , y0 , z0 )
 
 ∂y 
∂F (x , y , z )
∂z 0 0 0
является вектором нормали касательной плоскости, проведенной к поверх-
ности уровня F (x, y, z) = C в точке M0 (x0 , y0 , z0 ), т. е. вектор перпендику-
лярен поверхности уровня F (x, y, z) = C в точке M0 (x0 , y0 , z0 ).
Пример 10.1. Рассмотрим функцию трех переменных f (x, y, z), диф-
ференцируемую в точке M0 (x0 , y0 , z0 ). Найдем значения производных этой
функции в точке M0 по направлениям векторов ~i, ~j, ~k.
Длины векторов ~i, ~j, ~k равны единице. Воспользуемся формулой (10.3):
 
∂f
 ∂x (M0 )   
∂f    ∂f  1 ∂f
~  (M0 )   
(M0 ) = grad f (M0 ), i = ( ∂y , 0 ) = (M0 ),
∂~i 
 ∂f  0
 ∂x
(M0 )
∂z
 
∂f
 ∂x (M0 ) 0
 
∂f    ∂f
 , 1) = ∂f (M0 ),
(M0 ) = grad f (M0 ), ~j = (

∂y (M0 )
∂~j 


 0 ∂y
∂f
∂z (M0 )

49
  
∂f
∂x (M0 )
 
 0

∂f    ∂f
 , 0) = ∂f (M0 ).
(M0 ) = grad f (M0 ), ~k = (
 ∂y (M0 )
∂~k ∂z

  1
∂f
∂z (M0 )
Частные производные функции являются производными по направле-
ниям векторов стандартного базиса.
Пример 10.2. Рассмотрим функцию f (x, y, z) = z 2 y − x3 + xy. Най-
дем значение производной данной функции в точке M0 (−1, 1, −2) по на-
правлению вектора ~a = −1~i − 2~j + 2~k.
Нормируем вектор ~a:
 
1 −1 1 2 2 T
 
~a
= −2 = − ; − ; .
||~a|| 3 2 3 3 3

Находим
 
−3x2 + y
 
−2
grad f (x, y, z) =  z + x  и grad f (−1, 1, −2) =  3  .
 2 
2zy −4

Вычислим значение производной функции f (x, y, z) в точке

M0 (−1, 1, −2) по направлению вектора ~a:
   
∂f ~a −2 1 −1
(M0 ) = (grad f (M0 ), ) = ( 3  , −2) = −4.
∂~a ||~a|| −4 3 2
Заметим, что это же значение производной можно получить по фор-
муле    
∂f (grad f (M0 ), ~a) 1 −2 −1
(M0 ) = = ( 3 , −2 ) = −4.
∂~a ||~a|| 3 −4 2

10.1. Геометрический смысл производной по направлению

для функции двух переменных
Рассмотрим функцию двух переменных f : D ⊂ R2 → R.
Пусть точка M0 (x0 , y0 ) ∈ D и функция f (x, y) дифференцируема в
точке M0 . Графиком функции z = f (x, y) является поверхность, а точке
M0 (x0 , y0 ) ∈ D соответствует точка M1 (x0 , y0 , z0 ) (z0 = f (x0 , y0 )), лежа-
щая на этой поверхности (рис. 10.2).

50
  
e
Пусть ~e = 1 ∈ R2 – некоторый единичный вектор (||~e|| = 1).
e2
Z

z = g(t)

z0 z = f (x, y)

M1 (x0 , y0 , z0 )

O y0 Y

M0 (x0 , y0 )
x0 0 ∂f
~e tg(α) = (M0 )
∂~e
X
L α

t
Рис. 10.2
Построим в области определения функции f прямую L, проходящую
через точку M0 : 
x = x0 + te1 ,
y = y0 + te2 , t ∈ R.
Прямую L будем рассматривать
  как числовую ось, направление которой
e
задает вектор ~e = 1 , а начало координат совпадает с точкой M0 .
e2
При вычислении производной функции f (x, y) в точке M0 по направ-
лению вектора ~e используются только те точки M (x, y) из окрестности
точки M0 , которые лежат на оси L. На множестве этих точек определе-
на функция одной переменной z = g(t), где g(t) = f (x0 + te1 , y0 + te2 ),
причем g(0) = f (x0 , y0 ). Графиком функции z = g(t) является линия пе-
ресечения поверхности z = f (x, y) и плоскости P , проходящей через ось L
перпендикулярно плоскости OXY (рис. 10.2).
По определению производной по направлению 10.1:
∂f f (x0 + te1 , y0 + te2 ) − f (x0 , y0 ) g(t) − g(0)
(M0 ) = lim = lim = g 0 (0).
∂~e t→0 t t→0 t
Напомним, что для функции одной переменной значение производной
в точке равно тангенсу угла между касательной, проведенной к графику
функции в этой точке, и числовой осью.

51
 Таким образом становится понятным геометрический смысл производ-
ной функции нескольких переменных по направлению заданного вектора.
∂f
А именно, значение производной (M0 ) равно тангенсу угла наклона ка-
∂~e
сательной, проведенной в точке M0 к графику функции z = g(t) (линии,
лежащей на поверхности z = f (x, y) в плоскости P , положение которой
определяется вектором ~e):
∂f
(M0 ) = tg(α),
∂~e
где α – угол, который образует эта касательная с осью L (см. рис. 10.2).

11. ЧАСТНЫЕ ПРОИЗВОДНЫЕ ВЫСШИХ ПОРЯДКОВ

Рассмотрим функцию n переменных f (x1 , . . . , xn ).
Предположим, что в некоторой области D ⊂ Rn существуют все част-
∂f
ные производные (x , . . . , xn ), i = 1, . . . , n. Они в свою очередь являют-
∂xi 1
ся функциями n переменных и также могут иметь частные производные.
Определение 11.1. Пусть в некоторой точке M0 (x01 , . . . , x0n ) ∈ D
существует частная производная
!
∂f
∂
∂xi
(x01 , . . . , x0n ).
∂xk
Она называется частной производной второго порядка функции
f (x1 , . . . , xn ) по переменным xi и xk в точке M0 (x01 , . . . , x0n ).
Если k 6= i, то частную производную называют смешанной и исполь-
зуют обозначение (аргументы функций опускаем):
!
∂f
∂
∂xi ∂ 2f
= .
∂xk ∂xi ∂xk

Если k = i, то обозначают:
!
∂f
∂
∂xk ∂ 2f
= .
∂xk ∂x2k

52
 Если в некоторой точке M (x1 , . . . , xn ) существуют все частные произ-
водные второго порядка функции f (x1 , . . . , xn ), то можно составить квад-
ратную матрицу:
 2 
∂ f ∂ 2f ∂ 2f
 ∂x21 (x1 , . . . , xn ) ∂x1 ∂x2 (x1 , . . . , xn ) . . . ∂x1 ∂xn (x1 , . . . , xn )
 2
∂ 2f ∂ 2f

 ∂ f (x , . . . , x ) (x , . . . , x ) . . . (x , . . . , x )
 ∂x ∂x 1 n ∂x 2 1 n ∂x ∂x 1 n 
 2 1 2 2 n .
..
.
 
 
 ∂ 2f 2
∂ f ∂ f2 
∂x ∂x (x1 , . . . , xn ) ∂x ∂x (x1 , . . . , xn ) . . .
n 1 n 2 ∂x2 1
(x , . . . , xn )
n

Эта матрица называется второй производной функции f (x1 , . . . , xn ) или

матрицей Гессе и обозначается f 00 (x1 , . . . , xn ) или H(x1 , . . . , xn ).
В этой матрице cтрока с номером i содержит частные производные
∂f
функции (x , . . . , xn ) по всем переменным от x1 до xn .
∂xi 1
Аналогично определяются частные производные 3-го и более высоких
порядков.
Теорема 11.1. Если в некоторой окрестности точки M0 (x01 , . . . , x0n )
2
существуют смешанные частные производные ∂x∂ ∂x
f
(x1 , . . . , xn ) и
k i
∂ 2f
∂xi ∂xk (x1 , . . . , xn ), непрерывные в точке M0 , то их значения в точке M0
совпадают:
∂ 2f ∂ 2f
(x01 , . . . , x0n ) = (x01 , . . . , x0n ).
∂xk ∂xi ∂xi ∂xk
Из теоремы следует, что если существуют все смешанные частные про-
∂ 2f
изводные (x , . . . , xn ), k = 1, . . . , n, i = 1, . . . , n, k 6= i в некоторой
∂xk ∂xi 1
окрестности точки M0 , непрерывные в точке M0 , то матрица Гессе явля-
ется симметричной в этой точке.

Замечание. Если в некоторой окрестности точки M0 существуют

смешанные частные производные функции f (x1 , . . . , xn ), но они не явля-
ются непрерывными в точке M0 , то их значения в этой точке могут
зависеть от порядка переменных, по которым они вычисляются.
Пример 11.1. Рассмотрим функцию

 x2 − y 2
xy , x2 + y 2 =
6 0,

f (x, y) = x2 + y 2
0

, x = y = 0.

53
 ∂ f ∂ f 2 2
Покажем, что в точке (0, 0) смешанные частные производные ∂x∂y и ∂y∂x
существуют, но не равны друг другу.
Используя определение, найдем значения частных производных задан-
ной функции в точке (0, 0):
∂f f (x, 0) − f (0, 0) 0−0
(0, 0) = lim = lim = 0;
∂x x→0 x−0 x→0 x
∂f f (0, y) − f (0, 0) 0−0
(0, 0) = lim = lim = 0.
∂y y→0 y−0 y→0 y
Найдем теперь частные производные функции f (x, y) в точках, для
которых x2 + y 2 6= 0:
∂f y(x4 − y 4 + 4x2 y 2 ) ∂f x(x4 − y 4 − 4x2 y 2 )
(x, y) = ; (x, y) = .
∂x (x2 + y 2 )2 ∂y (x2 + y 2 )2
В справедливости полученных формул убедитесь самостоятельно.
∂f ∂f
Учитывая, что (0, y) = −y при y 6= 0 и (x, 0) = x при x 6= 0,
∂x ∂y
∂ 2f ∂ 2f
по определению вычислим значения частных производных ∂x∂y и ∂y∂x в
точке (0, 0):
∂f ∂f
2
∂ f (0, y) − (0, 0) −y − 0
(0, 0) = lim ∂x ∂x = lim = −1;
∂x∂y y→0 y−0 y→0 y
∂f ∂f
2 (x, 0) − (0, 0)
∂ f ∂y ∂y x−0
(0, 0) = lim = lim = 1.
∂y∂x x→0 x−0 x→0 x
∂ f 2 ∂ f 2
Частные производные ∂x∂y (0, 0) и ∂y∂x (0, 0) существуют, но принима-
ют разные значения. Для заданной функции
∂ 2f ∂ 2f
(0, 0) 6= (0, 0).
∂x∂y ∂y∂x
∂ 2f ∂ 2f
Это связано с тем, что смешанные частные производные и
∂x∂y ∂y∂x
рассматриваемой функции разрывны в точке (0, 0).
∂f ∂f
Убедимся в этом. В области x2 + y 2 6= 0 функции и имеют
∂x ∂y
непрерывные частные производные по переменным y и x соответственно,
причем
∂ 2f ∂ 2f x6 − y 6 + 9x4 y 2 − 9x2 y 4
(x, y) = (x, y) = .
∂x∂y ∂y∂x (x2 + y 2 )3
54
 ∂ 2f ∂ 2f
Будем вычислять предел функции (x, y) ( (x, y)) в точке
∂x∂y ∂y∂x
(0, 0) по различным прямым y = kx, проходящим через точку (0, 0):
x6 − y 6 + 9x4 y 2 − 9x2 y 4 x6 − k 6 x6 + 9k 2 x6 − 9k 4 x6
lim = lim =
x→0 (x2 + y 2 )3 x→0 (x2 + k 2 x2 )3
y→0

x6 (1 − k 6 + 9k 2 − 9k 4 ) 1 − k 6 + 9k 2 − 9k 4
= lim = .
x→0 x6 (1 + k 2 )3 (1 + k 2 )3
Видим, что предел зависит от k, т. е. на разных прямых получаются
разные значения предела. Это означает, что предел в точке (0, 0) не су-
∂ 2f ∂ 2f
ществует. Следовательно, функции (x, y) и (x, y) разрывны в
∂x∂y ∂y∂x
точке (0, 0).

12. ДВАЖДЫ ДИФФЕРЕНЦИРУЕМОСТЬ ФУНКЦИИ

НЕСКОЛЬКИХ ПЕРЕМЕННЫХ
Рассмотрим функцию n переменных f : D ⊂ Rn → R. Пусть точка
M0 (x01 , . . . , x0n ) является внутренней точкой множества D.
Предположим, что в некоторой окрестности точки M0 существуют все
∂f
частные производные (x , . . . , xn ), i = 1, . . . , n функции f (x1 , . . . , xn ).
∂xi 1
∂f
Определение 12.1. Если каждая функция (x , . . . , xn ),
∂xi 1
i = 1, . . . , n является дифференцируемой в точке M0 , то функция
f (x1 , . . . , xn ) называется дважды дифференцируемой в точке M0 .
Теорема 12.1(достаточные условия дважды дифференцируе-
мости функции). Если все частные производные второго порядка
∂ 2f
(x , . . . , xn ), i = 1, . . . , n, k = 1, . . . , n существуют в некоторой
∂xi ∂xk 1
окрестности точки M0 (x01 , . . . , x0n ) и непрерывны в точке M0 , то функ-
ция f (x1 , . . . , xn ) дважды дифференцируема в точке M0 , при этом
f (x1 , . . . , xn ) представима в виде
∂f ∂f
f (x1 , . . . , xn ) = f (M0 ) + (M0 )(x1 − x01 ) + . . . + (M0 )(xn − x0n ) +
∂x1 ∂xn
n n
1 X X ∂ 2f
+ (M0 )(xk − x0k )(xi − x0i ) + o(ρ2 ), (12.1)
2 ∂xk ∂xi
k=1 i=1

55
 q
где ρ = (x1 − x01 )2 + (x2 − x02 )2 + . . . + (xn − x0n )2 .
Равенство (12.1) называют формулой Тейлора 2-го порядка функции
f (x1 , . . . , xn ) в точке M0 (x01 , . . . , x0n ) с остаточным членом в форме Пеано
и записывают также в матрично-векторной форме:
0 0 0 0 1  00 0 
f (~x) = f (~x ) + f (~x )(~x − ~x ) + f (~x )(~x − ~x ), (~x − ~x ) + o(k~x − ~x0 k2 ),
0 0
2
где f 0 (~x0 ) – матрица Якоби (производная функции f в точке ~x0 );
f 00 (~x0 ) – матрица Гессе (вторая производная функции f в точке ~x0 ).
Если f (x, y) – функция двух переменных, то формула Тейлора 2-го
порядка в точке M0 (x0 , y0 ) принимает вид
∂f ∂f
f (x, y) = f (x0 , y0 ) + (x0 , y0 )(x − x0 ) + (x , y )(y − y0 )+
∂x ∂y 0 0
1 ∂ 2f 2 ∂ 2f
+ (x0 , y0 )(x − x0 ) + 2 (x , y )(x − x0 )(y − y0 ) +
2 ∂x2 ∂x∂y 0 0
!
2
∂ f
+ 2 (x0 , y0 )(y − y0 )2 + o(ρ2 ), (12.2)
∂y
где ρ =
p
(x − x0 )2 + (y − y0 )2 .

Доказательство. Если выполнены условия теоремы, то все частные

∂f
производные функций (x , . . . , xn ), i = 1, . . . , n существуют в некото-
∂xi 1
рой окрестности точки M0 (x01 , . . . , x0n ) и непрерывны в точке M0 . Тогда
из теоремы 5.3 (о достаточных условиях дифференцируемости функции)
следует, что они являются дифференцируемыми в точке M0 функциями.
Значит, функция f (x1 , . . . , xn ) дважды дифференцируема в точке M0 .
Докажем теперь, что при этом для функции f (x1 , . . . , xn ) справедлива
формула Тейлора 2-го порядка (12.1).
Доказательство этого утверждения теоремы выполним для функции
двух переменных f (x, y), т. е. покажем, что справедлива (12.2).
Пусть функция f (x, y) имеет в окрестности точки M0 (x0 , y0 ) частные
производные второго порядка, непрерывные в точке M0 .
Считая y неизменным (постоянным), запишем для функции f (x, y)
формулу Тейлора 1-го порядка в точке x0 с остаточным членом в форме
Лагранжа:
∂f 1 ∂ 2f
f (x, y) = f (x0 , y) + (x , y)(x − x0 ) + (a, y)(x − x0 )2 , (12.3)
∂x 0 2 ∂x2
56
где a лежит между x0 и x, т. е. a = x0 + Θ(x − x0 ), 0 < Θ < 1
(|a − x0 | < |x − x0 |).
По формуле Тейлора 2-го порядка в точке y0 :
∂f 1 ∂ 2f
f (x0 , y) = f (x0 , y0 )+ (x0 , y0 )(y−y0 )+ 2
(x0 , y0 )(y−y0 )2 +o((y−y0 )2 ).
∂y 2 ∂y
(12.4)
∂f
По формуле Тейлора 1-го порядка для (x , y) в точке y0 :
∂x 0
∂f ∂f ∂ 2f
(x0 , y) = (x0 , y0 ) + (x , y )(y − y0 ) + o(y − y0 ). (12.5)
∂x ∂x ∂x∂y 0 0
Из непрерывности частных производных следует, что
∂ 2f ∂ 2f
(a, y) = (x0 , y0 ) + α(a, y), (12.6)
∂x2 ∂x2
где α(a, y) → 0 при a → x0 и y → y0 , т. е.
α(a, y) → 0 при ρ → 0.
Подставим разложения (12.4), (12.5), (12.6) в (12.3):
∂f 1 ∂ 2f
f (x, y) = f (x0 , y0 )+ (x0 , y0 )(y−y0 )+ 2
(x0 , y0 )(y−y0 )2 +o((y−y0 )2 )+
∂y 2 ∂y
∂f ∂ 2f
+ (x , y )(x − x0 ) + (x , y )(y − y0 )(x − x0 ) + (x − x0 )o(y − y0 )+
∂x 0 0 ∂x∂y 0 0
1 ∂ 2f 2 + 1 α(a, y)(x − x )2 .
+ (x 0 , y0 )(x − x0 ) 0
2 ∂x2 2
Преобразуем правую часть:
∂f ∂f
f (x, y) = f (x0 , y0 ) + (x0 , y0 )(x − x0 ) + (x , y )(y − y0 )+
∂x ∂y 0 0
1 ∂ 2f 2 ∂ 2f
+ (x0 , y0 )(x − x0 ) + 2 (x , y )(x − x0 )(y − y0 ) +
2 ∂x2 ∂x∂y 0 0
!
∂ 2f
+ 2 (x0 , y0 )(y − y0 )2 + β(x, y), (12.7)
∂y
1
где β(x, y) = o((y − y0 )2 ) + (x − x0 )o(y − y0 ) + α(a, y)(x − x0 )2 . Покажем,
2
что β(x, y) = o(ρ ) (ρ = (x − x0 ) + (y − y0 ) ).
2
p
2 2

57
 Из очевидных неравенств |x − x0 | ≤ ρ, |y − y0 | ≤ ρ следует, что x → 0
x − x0 y − y0
и y → 0 при ρ → 0 и справедливы оценки ≤ 1, ≤ 1.
ρ ρ
Заметим, что в полученном разложении o(y − y0 ) и o((y − y0 )2 ) не зависят
от x. Тогда
β(x, y) o((y − y0 )2 ) (x − x0 )o(y − y0 )
lim = lim + +
ρ→0 ρ2 ρ→0 ρ2 ρ2

1
α(a, y)(x − x0 )2  o((y − y0 )2 ) (y − y0 )2
+2 2
 = lim +
ρ  ρ→0 (y − y0 )2 ρ2
!
o(y − y0 ) y − y0 x − x0 1 (x − x0 )2
+ + α(a, y) = 0.
y − y0 ρ ρ 2 ρ2
Предел каждого слагаемого равен нулю как предел произведения беско-
нечно малой на ограниченную функцию.
Таким образом, β(x, y) = o(ρ2 ).
Это означает, что (12.7) является формулой Тейлора 2-го порядка
функции f (x, y) в точке M0 (x0 , y0 ).

Замечание 1. При выполнении условий теоремы 12.1 матрица Гессе

f 00 (~x0 ) симметричная и является матрицей квадратичной формы пере-
менных x1 , . . ., xn :
n Xn
X ∂ 2f 0 0

00 0 0 0

(M0 )(xk − xk )(xi − xi ) = f (~x )(~x − ~x ), (~x − ~x ) .
∂xk ∂xi
k=1 i=1

Замечание 2. В теореме 12.1 условие непрерывности частных про-

изводных второго порядка функции f (x1 , . . . , xn ) в точке M0 является
существенным. В общем случае только из существования всех частных
производных второго порядка функции f (x1 , . . . , xn ) в окрестности точ-
ки M0 (без предположения об их непрерывности в точке M0 ) не следует
дважды дифференцируемость этой функции в точке M0 .
Пример 12.1. Рассмотрим функцию

 x2 y 2

f (x, y) = 2 2
, x2 + y 2 =
6 0,
x + y
0

, x = y = 0.

58
 Покажем, что в точке (0, 0) данная функция имеет все частные произ-
водные второго порядка, но она не является дважды дифференцируемой в
этой точке.
Очевидно, что f (0, 0) = 0.
Вычислим сначала значения частных производных данной функции в
точке (0, 0) по их определению:
x 2 · 02
∂f f (x, 0) − f (0, 0) 2 + 02
−0 0
(0, 0) = lim = lim x = lim = 0;
∂x x→0 x−0 x→0 x x→0 x
02 · y 2
−0
∂f f (0, y) − f (0, 0) 02 + y 2 0
(0, 0) = lim = lim = lim = 0.
∂y y→0 y−0 y→0 y y→0 y
Найдем теперь частные производные данной функции в точках (x, y),
для которых x2 + y 2 6= 0:
∂f 2xy 2 2x3 y 2 2xy 4
(x, y) = 2 − = 2 ;
∂x x + y 2 (x2 + y 2 )2 (x + y 2 )2
∂f 2x2 y 2x2 y 3 2x4 y
(x, y) = 2 − = .
∂y x + y 2 (x2 + y 2 )2 (x2 + y 2 )2
С учетом полученных равенств находим:
∂f ∂f
∂ 2f ∂x (x, 0) − ∂x (0, 0) = lim 0 = 0;
(0, 0) = lim
∂x2 x→0 x−0 x→0 x
∂f ∂f
∂ 2f (0, y) − ∂x (0, 0) 0
(0, 0) = lim ∂x = lim = 0;
∂x∂y y→0 y−0 y→0 y
∂f ∂f
∂ 2f ∂y (x, 0) − ∂y (0, 0) 0
(0, 0) = lim = lim = 0;
∂y∂x x→0 x−0 x→0 x
∂f ∂f
∂ 2f ∂y (0, y) − ∂y (0, 0) 0
(0, 0) = lim = lim = 0.
∂y 2 y→0 y−0 y→0 y
Функция f (x, y) будет дважды дифференцируемой в точке (0, 0), ес-
ли каждая частная производная первого порядка этой функции является
∂f ∂f
дифференцируемой функцией в точке (0, 0), т. е. для (x, y) и (x, y)
∂x ∂y
справедливы представления в виде (5.2):
∂f ∂f
(x, y) = (0, 0) + a1 x + a2 y + o(ρ);
∂x ∂x
59
 ∂f ∂f
q
(x, y) = (0, 0) + b1 x + b2 y + o(ρ), ρ= x2 + y 2 ,
∂y ∂y
2 2 2 2
при этом a1 = ∂∂xf2 (0, 0), a2 = ∂x∂y
∂ f ∂ f
(0, 0), b1 = ∂y∂x (0, 0) b2 = ∂∂yf2 (0, 0).
С учетом найденных значений частных производных в точке (0, 0)
a1 = a2 = b1 = b2 = 0. Следовательно, должны выполняться равенства:
∂f ∂f
(x, y) = o(ρ), (x, y) = o(ρ), т. е.
∂x ∂y
∂f ∂f
(x, y) ∂y (x, y)
lim ∂x =0 и lim = 0.
ρ→0 ρ ρ→0 ρ
Рассмотрим предел
2xy 4
∂f
(x, y) (x2 + y 2 )2 2xy 4
lim ∂x = lim = lim 5
ρ→0 ρ ρ→0 ρ ρ→0 ρ
и
 покажем, что он не равен нулю. Переходя к полярной системе координат
x = ρ cos(ϕ),
ϕ ∈ [0, 2π), находим:
y = ρ sin(ϕ),
∂f
(x, y) 2 cos(ϕ) sin4 (ϕ)ρ5
lim ∂x = lim 5
= 2 cos(ϕ) sin4 (ϕ).
ρ→0 ρ ρ→0 ρ
Полученное выражение зависит от ϕ, а следовательно, предел не равен
нулю (не существует).
Таким образом, функция f (x, y) не является дважды дифференциру-
емой в точке (0, 0).

13. ЭКСТРЕМУМ ФУНКЦИИ НЕСКОЛЬКИХ

ПЕРЕМЕННЫХ
Рассмотрим функцию n переменных f : D ⊂ Rn → R.
Определение 13.1. Пусть точка M0 (x01 , . . . , x0n ) принадлежит мно-
жеству D. Если существует такое число ε > 0, что для всех точек
M (x1 , . . . , xn ) ∈ K̊ε (M0 ) выполняется неравенство
f (M ) < f (M0 ) или f (M ) > f (M0 ),
то M0 соответственно называют точкой максимума или точкой мини-
мума функции f (x1 , . . . , xn ).
Если в точке M0 функция f (x1 , . . . , xn ) имеет максимум или мини-
мум, то M0 называют также точкой экстремума этой функции.
60
 Заметим, что в точке максимума (минимума) функция принимает наи-
большее (наименьшее) значение только в некоторой окрестности этой точ-
ки. Во всей области определения функции могут быть точки, в которых
функция принимает большее (меньшее) значение, чем в точке максимума
(минимума), поэтому точки экстремума функции называют также точками
локального экстремума функции.
Теорема 13.1. Пусть M0 (x01 , . . . , x0n ) – внутренняя точка множе-
ства D и пусть для всех точек M (x1 , . . . , xn ) ∈ Kε (M0 ) (ε > 0) выпол-
няется неравенство:
f (M ) ≤ f (M0 ) или f (M ) ≥ f (M0 ).

Если в точке M0 существуют все частные производные

∂f 0
(x1 , . . . , x0n ), i = 1, . . . , n, то
∂xi
 
0
∂f 0  .. 
(x1 , . . . , x0n ) = 0, i = 1, . . . , n, т. е. 0 0
grad f (x1 , . . . , xn ) =  .  .
∂xi
0

Доказательство. Докажем теорему для случая, когда для всех точек

M (x1 , . . . , xn ) ∈ Kε (M0 ) выполняется неравенство f (M ) ≤ f (M0 ).
Рассмотрим в этой ε-окрестности точки M0 (x01 , . . . , x0n ) функцию
f1 (x1 ) = f (x1 , x02 , . . . , x0n ) одной переменной x1 . Из условий теоремы сле-
∂f 0
дует, что существует производная f 0 (x01 ) = (x1 , . . . , x0n ).
∂x1
Повторим рассуждения, использованные при доказательстве теоремы
Ферма для функции одной переменной (см. [1]).
Поскольку для всех точек M (x1 , x02 , . . . , x0n ) ∈ Kε (M0 ) выполняется
неравенство f (x1 , x02 , . . . , x0n ) − f (x01 , x02 , . . . , x0n ) ≤ 0, то
f1 (x1 ) − f1 (x01 ) f (x1 , x02 , . . . , x0n ) − f (x01 , x02 , . . . , x0n )
lim = lim ≤ 0,
x1 →x01 +0 x1 − x01 x1 →x01 +0 x1 − x01
f1 (x1 ) − f1 (x01 ) f (x1 , x02 , . . . , x0n ) − f (x01 , x02 , . . . , x0n )
lim = lim ≥ 0.
x1 →x01 −0 x1 − x01 x1 →x01 −0 x1 − x01
∂f 0
Из полученных неравенств следует, что f 0 (x01 ) = (x1 , . . . , x0n ) = 0.
∂x1
Аналогично доказывается, что
∂f 0 ∂f
(x1 , . . . , x0n ) = 0, . . . , (x01 , . . . , x0n ) = 0.
∂x2 ∂xn
61
 Определение 13.2. Если в некоторой точке M0 (x01 , . . . , x0n ) суще-
ствуют все частные производные функции f (x1 , . . . , xn ) и они равны ну-
лю:
∂f 0
(x1 , . . . , x0n ) = 0 (i = 1, . . . , n),
∂xi
то M0 называется стационарной точкой этой функции.
Следствие. Из теоремы 13.1 следует, что если M0 – точка экстре-
мума функции f (x1 , . . . , xn ) и в этой точке существуют все частные
производные функции, то она является стационарной точкой функции
f (x1 , . . . , xn ).
Однако если какая-то точка является стационарной точкой функ-
ции, то из этого не следует, что в данной точке функция достигает
экстремума.
Пример 13.1. Рассмотрим две функции f1 (x, y) = x2 + y 2 и
f2 (x, y) = x2 + y 3 . Покажем, что в их общей стационарной точке M0 (0, 0)
первая функция имеет экстремум, а вторая не имеет экстремума.
Найдем частные производные функ-
ции f1 (x, y):
Z
∂f1 ∂f1
(x, y) = 2x, (x, y) = 2y.
∂x ∂y
Y 
2x = 0,
Система уравнений имеет
2y = 0
0 X 
x = 0,
единственное решение
Рис. 13.1 y = 0.
Точка M0 (0, 0) – единственная стаци-
онарная точка f1 (x, y). Очевидно, что для
всех точек (x, y), не совпадающих с точ-
кой M0 (0, 0), выполняется неравенство
x2 + y 2 > 0 (f1 (x, y) > f1 (0, 0)).
Следовательно, стационарная точка M0 (0, 0) является точкой минимума
функции f1 (x, y) = x2 + y 2 . Рис. 13.1 иллюстрирует график функции
f1 (x, y) = x2 + y 2 в окрестности точки (0, 0).
Рассмотрим теперь вторую функцию f2 (x, y) = x2 + y 3 .
Найдем ее частные производные:
∂f2 ∂f2
(x, y) = 2x, (x, y) = 3y 2
∂x ∂y

62
и решим систему уравнений
( 
2x = 0, x = 0,
2 ⇔
3y = 0 y = 0.

Функция f2 (x, y) = x2 + y 3 , как и

первая функция, имеет одну стационар- Z
ную точку M0 (0, 0) и f2 (0, 0) = 0.
Исследуем функцию в окрестности
этой точки.
Рассмотрим точки (0, y), лежащие на
оси OY . Ясно, что Y
f2 (0, y) = y > 0 при y > 0 и
3 0
X
f2 (0, y) = y 3 < 0 при y < 0.
На рис. 13.2 изображен график
Рис. 13.2
функции f2 (x, y) = x2 + y 3 в окрестно-
сти точки M0 (0, 0).
Функция f2 (x, y) принимает значения разных знаков в любой проколо-
той окрестности стационарной точки. Значит, экстремума в точке M0 (0, 0)
нет.

Функция f (x1 , . . . , xn ) может иметь экстремум не только в стационар-

ных точках, а также в точках, в которых одна или несколько ее частных
производных не существуют.
Пример 13.2. Рассмотрим функцию f (x, y) = x2 + y 2 .
p

Ее график (часть конуса 2-го поряд-

ка x + y 2 − z 2 = 0, соответствующая зна-
2
Z
чениям z ≥ 0) изображен на рис. 13.3. Яс-
но, что точка (0, 0) является точкой мини-
мума этой функции. Y
Найдем частную производную функ-
ции f (x, y) = x + y 2 по переменной x
p
2
0 X
в точке (0, 0) по определению:
∂f f (x, 0) − f (0, 0) Рис. 13.3
(0, 0) = lim =
∂x x→0 x−0
√
x2 + 02 |x|
= lim = lim .
x→0 x x→0 x
Видим, что
|x| x
lim = lim = 1,
x→0+0 x x→0+0 x

63
 |x| −x
lim = lim = −1.
x→0−0 x x→0−0 x
Пределы справа и слева принимают разные значения. Следовательно,
∂f
частная производная (0, 0) не существует.
∂x
∂f
Аналогично показывается, что (0, 0) также не существует, т. е. в
∂y
точке минимума (0, 0) обе частные производные функции f (x, y) = x2 + y 2
p

не существуют.
Таким образом, любая функция n переменных f (x1 , . . . , xn ) может
иметь экстремум в точках, в которых все частные производные функции
существуют и равны нулю, или в точках, в которых какие-либо частные
производные функции не существуют. Все такие точки называют критиче-
скими точками функции.

13.1. Достаточные условия экстремума функции

Напомним некоторые понятия, связанные с квадратичными формами
(см. [3], [4], [5]).
Рассмотрим квадратичную форму
  (A~x, ~x), где A – симметричная квад-
x1
 .. 
ратная матрица порядка n, ~x =  .  ∈ Rn .
xn
Квадратичная форма (A~x, ~x) (и ее матрица A) называется
1) положительно определенной, если для любых ~x 6= ~0 (A~x, ~x) > 0. Это
равносильно тому, что все собственные числа матрицы A положительны:
λi > 0 (i = 1, . . . , n);
2) отрицательно определенной, если для любых ~x 6= ~0 (A~x, ~x) < 0. Это
равносильно тому, что все собственные числа матрицы A отрицательны:
λi < 0 (i = 1, . . . , n);
3) знакопеременной, если квадратичная форма принимает значения
как положительные, так и отрицательные. Это равносильно тому, что сре-
ди собственных чисел матрицы A есть как положительные, так и отрица-
тельные.
Если квадратичная форма является положительно определенной, то
для всех ~x ∈ Rn справедлива оценка
(A~x, ~x) ≥ λ||~x||2 , где λ = min{λ1 , . . . , λn }, λ > 0. (13.1)
Если квадратичная форма является отрицательно определенной, то
для всех ~x ∈ Rn выполняется неравенство
(A~x, ~x) ≤ λ||~x||2 , где λ = max{λ1 , . . . , λn }, λ < 0. (13.2)
64
 Сформулируем теперь достаточные условия экстремума функции n
переменных.
Теорема 13.2(достаточные условия экстремума функции).
Пусть M0 (x01 , . . . , x0n ) является стационарной точкой функции
f (x1 , . . . , xn ) и пусть все частные производные второго порядка
∂ 2f
(x , . . . , xn ), k = 1, . . . , n, i = 1, . . . , n существуют в некоторой
∂xk ∂xi 1
окрестности точки M0 и непрерывны в M0 . Обозначим через λ1 , . . . , λn
собственные числа матрицы Гессе f 00 (~x0 ). Тогда:
1) если все λi > 0 (i = 1, . . . , n) , то M0 является точкой минимума
функции f (x1 , . . . , xn );
2) если все λi < 0 (i = 1, . . . , n) , то M0 является точкой максимума
функции f (x1 , . . . , xn );
3) если среди собственных чисел матрицы Гессе f 00 (~x0 ) имеются как
положительные, так и отрицательные , то M0 не является точкой экс-
тремума функции f (x1 , . . . , xn ).
Доказательство. При выполнении условий теоремы для функции
f (x1 , . . . , xn ) в точке M0 (x01 , . . . , x0n ) справедлива формула Тейлора 2-го
порядка:
0 0 0 0 1  00 0 
f (~x) = f (~x ) + f (~x )(~x − ~x ) + f (~x )(~x − ~x ), (~x − ~x ) + o(k~x − ~x0 k2 ).
0 0
2
 
00
Функция f (~x )(~x − ~x ), (~x − ~x ) является квадратичной формой
0 0 0

переменных x1 , . . ., xn . Ее матрица f 00 (~x0 ) – симметричная матрица Гессе.

Поскольку M0 – стационарная точка функции f (x1 , . . . , xn )
∂f 0
( (x1 , . . . , x0n ) = 0, i = 1, . . . , n), то формула Тейлора 2-го порядка в
∂xi
этой точке принимает вид
0 1  00 0 
f (~x) = f (~x ) + f (~x )(~x − ~x ), (~x − ~x ) + o(k~x − ~x0 k2 ).
0 0 (13.3)
2
Обозначим ∆~x = ~x − ~x0 , тогда
0 1  00 0 
f (~x) − f (~x ) = f (~x )∆~x, ∆~x + o(k∆~xk2 ).
2
 
1) Пусть все λi > 0, i = 1, . . . , n (квадратичная форма f 00 (~x0 )∆~x, ∆~x
положительно определена). Тогда для всех ∆~x выполняется неравенство
(13.1):
 
00
f (~x )∆~x, ∆~x ≥ λ||∆~x||2 , где λ = min{λ1 , . . . , λn }, λ > 0
0

65
и, следовательно,
!
λ λ o(k∆~xk2 )
f (~x) − f (~x0 ) ≥ ||∆~x||2 + o(k∆~xk2 ) = ||∆~x||2 + . (13.4)
2 2 k∆~xk2
Поскольку
o(k∆~xk2 ) o(k∆~xk2 )
lim = lim =0
k∆~xk→0 k∆~xk2 ~x→~x0 k∆~xk2
и λ > 0, то при малых значениях k∆~xk (k∆~xk =
6 0):
λ o(k∆~xk2 )
+ > 0.
2 k∆~xk2
Из полученной оценки и неравенства (13.4) следует, что
f (~x) − f (~x0 ) > 0.
Другими словами, существует такое число ε > 0, что для всех
~x ∈ K̊ε (~x0 ) (0 < k∆~xk < ε) выполняется неравенство
f (~x) > f (~x0 ).
Следовательно, ~x0 является точкой минимума функции f (~x).
2) Аналогично, с учетом неравенства (13.2), доказывается второе утвер-
ждение теоремы.
3) Пусть среди собственных чисел матрицы Гессе f 00 (~x0 ) имеются как
положительные,
  так и отрицательные (квадратичная форма
f 00 (~x0 )∆~x, ∆~x знакопеременная).
Предположим, для определенности, что λ1 > 0 и λ2 < 0. Пусть этим
собственным числам соответствуют собственные нормированные векторы
~e1 и ~e2 :
f 00 (~x0 )~e1 = λ1~e1 , k~e1 k = 1 и f 00 (~x0 )~e2 = λ2~e2 , k~e2 k = 1.
Будем рассматривать в окрестности точки ~x0 точки ~x = ~x0 +t~e1 , t ∈ R.
Запишем для них формулу Тейлора 2-го порядка (13.3):
0 0 1  00 0 
f (~x + t~e1 ) = f (~x ) + f (~x )(t~e1 ), (t~e1 ) + o(kt~e1 k2 ).
2
Преобразуем это равенство:
1 2  00 0 
f (~x + t~e1 ) − f (~x ) = t f (~x )~e1 , ~e1 + o(t2 k~e1 k2 ).
0 0
2

66
  
Поскольку f 00 (~x0 )~e1 , ~e1
= (λ1~e1 , ~e1 ) = λ1 (~e1 , ~e1 ) = λ1 k~e1 k2 , то учи-
тывая, что k~e1 k = 1, получаем:
1
f (~x0 + t~e1 ) − f (~x0 ) = t2 λ1 + o(t2 ),
2
или !
λ1 o(t ) 2
f (~x0 + t~e1 ) − f (~x0 ) = t2 + 2 .
2 t
Поскольку
o(t2 )
=0 lim
t→0 t2
и λ1 > 0, то при малых значениях t (t 6= 0):
λ1 o(t2 )
+ 2 >0
2 t
и, следовательно,
f (~x0 + t~e1 ) − f (~x0 ) > 0. (13.5)
Рассмотрим теперь в окрестности точки ~x0 точки ~x = ~x0 + t~e2 , t ∈ R
(вектор ~e2 соответствует собственному числу λ2 < 0). Запишем для них
формулу Тейлора 2-го порядка (13.3):
1  00 0 
f (~x0 + t~e2 ) = f (~x0 ) + f (~x )(t~e2 ), (t~e2 ) + o(kt~e2 k2 ).
2
С учетом того, что k~e2 k = 1, f 00 (~x0 )~e2 = λ2~e2 , равенство преобразуется
к виду !
λ o(t 2)
2
f (~x0 + t~e2 ) − f (~x0 ) = t2 + 2 .
2 t
Поскольку
o(t2 )
lim =0
t→0 t2
и λ2 < 0, то при малых значениях t (t 6= 0):
λ2 o(t2 )
+ 2 <0
2 t
и, следовательно,
f (~x0 + t~e2 ) − f (~x0 ) < 0. (13.6)
Из (13.5), (13.6) следует, что в любой окрестности точки ~x0 имеются
точки ~x = ~x0 + t~e1 , для которых f (~x0 + t~e1 ) > f (~x0 ), и точки ~x = ~x0 + t~e2 ,
для которых f (~x0 + t~e2 ) < f (~x0 ), поэтому в точке ~x0 экстремума нет.
67
 Пример 13.3. Рассмотрим функцию f (x, y) = 2x3 + 6xy + 3y 2 . Ис-
следуем ее на экстремум.
Найдем сначала стационарные точки функции, т. е. точки, в которых

 ∂f

 (x, y) = 0,
∂x

∂f
 ∂y (x, y) = 0.




∂f ∂f
Для данной функции (x, y) = 6x2 + 6y, (x, y) = 6x + 6y.
∂x ∂y
Решим систему уравнений:
( (
2

6x + 6y = 0, y = −x, y = −x,
⇔ 2 ⇔
6x + 6y = 0 x −x=0 x(x − 1) = 0.

Из второго уравнения находим x = 0 или x = 1. После подстановки в

первое уравнение получаем 2 решения системы:
 
x = 0, x = 1,
, ,
y = 0 y = −1
которые соответствуют стационарным точкам: M1 (0, 0), M2 (1, −1).
Исследуем теперь функцию f (x, y) в окрестности этих точек.
Найдем матрицу Гессе:
 
2
∂ f 2
∂ f
(x, y) (x, y) 
 ∂x2
 
00 ∂x∂y  12x 6
f (x, y) =  = .
 2
 ∂ f 2
∂ f
 6 6
(x, y) (x, y)

∂y∂x ∂y 2
Определим знаки собственных чисел этой матрицы в стационарных
точках.  
0 6
1. Рассмотрим точку M1 (0, 0). Для нее f 00 (M1 ) = .
6 6
Собственные числа матрицы Гессе f 00 (M1 ) являются корнями ее ха-
рактеристического уравнения:
 
0 − λ 6
det(f 00 (M1 ) − λI) = 0 ⇔ det =0 ⇔
6 6−λ

⇔ λ2 − 6λ − 36 = 0.

68
 Для определения знаков собственных чисел матрицы воспользуемся
теоремой Виета: 
λ1 λ2 = −36,
λ1 + λ2 = 6.
Произведение собственных чисел отрицательное. Это означает, что
собственные числа λ1 , λ2 матрицы f 00 (M1 ) имеют разные знаки. Следо-
вательно, точка M1 (0, 0) не является точкой экстремумафункции f (x, y).
12 6
2. Рассмотрим точку M2 (1, −1). Для нее f 00 (M2 ) = .
6 6
Решим характеристическое уравнение матрицы f 00 (M2 ):
 
12 − λ 6
det(f 00 (M2 ) − λI) = 0 ⇔ det =0
6 6−λ

⇔ (12 − λ)(6 − λ) − 62 = 0 ⇔ λ2 − 18λ + 36 = 0.

Воспользуемся теоремой Виета:

λ1 λ2 = 36,
λ1 + λ2 = 18.
Произведение λ1 λ2 > 0, значит, собственные числа имеют одинаковые
знаки. Их сумма λ1 + λ2 > 0, поэтому собственные числа λ1 , λ2 матри-
цы Гессе f 00 (M2 ) больше нуля. Следовательно, точка M2 (1, −1) является
точкой минимума заданной функции.
Ранее отмечалось, что точки экстремума функции носят локальный
характер, т. е. в своей области определения функция n переменных может
принимать значения, большие (меньшие) ее значений в точках максимума
(минимума).
Рассмотренная в данном примере функция f (x, y) = 2x3 + 6xy + 3y 2 в
точке минимума M2 (1, −1) принимает значение f (1, −1) = −1. При этом
в области определения функции имеются точки, в которых она принимает
меньшие значения, например, f (−1, 0) = −2. Это означает, что в точке
M2 (1, −1) функция f (x, y) имеет локальный минимум.
Пример 13.4. При исследовании на экстремум функции двух пе-
ременных иногда используют правило, являющееся следствием теоремы
13.2. Пусть M0 (x0 , y0 ) – стационарная точка функции f (x, y). И пусть для
функции f (x, y) выполняются условия теоремы 13.2.
Обозначим:
∂ 2f ∂ 2f ∂ 2f ∂ 2f
A= (x0 , y0 ), B= (x , y ) = (x , y ), C = 2 (x0 , y0 ).
∂x2 ∂x∂y 0 0 ∂y∂x 0 0 ∂y

69
 Тогда матрицу Гессе f 00 (x0 , y0 ) можно записать в виде
 
00 A B
f (x0 , y0 ) = .
B C
Собственные числа матрицы f 00 (x0 , y0 ) являются корнями ее характе-
ристического уравнения:
 
A − λ B
det(f 00 (x0 , y0 ) − λI) = 0 ⇔ det =0 ⇔
B C −λ
⇔ (A − λ)(C − λ) − B 2 = 0 ⇔ λ2 − (A + C)λ + AC − B 2 = 0.
По теореме Виета:
(
λ1 λ2 = AC − B 2 ,
λ1 + λ2 = A + C.
Пусть (AC − B 2 ) > 0 (AC > B 2 ), тогда если A > 0, то и C > 0, если
A < 0, то и C < 0. Кроме того, при условии (AC − B 2 ) > 0 собственные
числа λ1 и λ2 имеют одинаковые знаки.
Отсюда, с учетом теоремы 13.2, следует, что
1) если AC −B 2 > 0 и A > 0, то M0 (x0 , y0 ) является точкой минимума
функции f (x, y) (λ1 λ2 > 0, λ1 + λ2 > 0, т. е. λ1 > 0 и λ2 > 0);
2) если AC −B 2 > 0 и A < 0, то M0 (x0 , y0 ) является точкой максимума
функции f (x, y) (λ1 λ2 > 0, λ1 + λ2 < 0, т. е. λ1 < 0 и λ2 < 0);
3) если AC − B 2 < 0, то M0 (x0 , y0 ) не является точкой экстремума
функции f (x, y) (λ1 λ2 < 0, т. е. λ1 и λ2 имеют разные знаки).

Список литературы
1. Математический анализ (функции одной вещественной перемен-
ной): yчеб. пособие / А. Л. Белопольский, А. С. Бондарев, М. Л. Доценко
и др. СПб.: Изд-во СПбГЭТУ«ЛЭТИ», 2013. 104 с.
2. Боревич Е. З., Жукова Е. Е., Челкак С. И. Дифференциальное ис-
числение функций многих вещественных переменных: учеб. пособие. СПб.:
Изд-во СПбГЭТУ „ЛЭТИ“, 2001. 132 с.
3. Линейная алгебра: учеб. пособие / А. Л. Белопольский, Н. А. Боду-
нов, А. Л. Меркулов, А. П. Щеглова. СПб.: Изд-во СПбГЭТУ „ЛЭТИ“,
2012. 140 с.
4. Алгебра и геометрия в примерах и задачах: учеб. пособие: в 2 ч.
Ч. 1 / Н. А. Бодунов, А. А. Дороденков, С. А. Колбина, Н. М. Червинская.
СПб.: Изд-во СПбГЭТУ „ЛЭТИ“, 2020. 64 с.
5. Алгебра и геометрия в примерах и задачах: учеб. пособие: в 2 ч.
Ч. 2 / Н. А. Бодунов, А. А. Дороденков, С. А. Колбина, Н. М. Червинская.
СПб.: Изд-во СПбГЭТУ „ЛЭТИ“, 2021. 80 с.
70
 ОГЛАВЛЕНИЕ

1. ПОНЯТИЕ ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ . 3

1.1. Некоторые обозначения и определения . . . . . . . . . . . . . . . 3
1.2. Определение функции нескольких переменных.
Линии и поверхности уровня . . . . . . . . . . . . . . . . . . . . 7
2. ПРЕДЕЛ ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ . . . 10
3. НЕПРЕРЫВНОСТЬ ФУНКЦИИ НЕСКОЛЬКИХ
ПЕРЕМЕННЫХ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
4. ЧАСТНЫЕ ПРОИЗВОДНЫЕ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
5. ДИФФЕРЕНЦИРУЕМОСТЬ ФУНКЦИИ НЕСКОЛЬКИХ
ПЕРЕМЕННЫХ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
5.1. Достаточные условия дифференцируемости функции . . . . . . 22
5.2. Геометрический смысл частных производных
функции двух переменных . . . . . . . . . . . . . . . . . . . . . . 26
6. ВЕКТОРНАЯ ФУНКЦИЯ НЕСКОЛЬКИХ
ПЕРЕМЕННЫХ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
6.1. Определение векторной функции нескольких переменных . . . . 27
6.2. Предел, непрерывность и дифференцируемость
векторной функции нескольких переменных . . . . . . . . . . . . 29
7. ДИФФЕРЕНЦИРУЕМОСТЬ СЛОЖНОЙ ФУНКЦИИ
НЕСКОЛЬКИХ ПЕРЕМЕННЫХ . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
8. НЕЯВНО ЗАДАННЫЕ ФУНКЦИИ. . . . . . . . . . . . . . . . . . . . . . . . .37
9. УРАВНЕНИЯ КАСАТЕЛЬНОЙ ПЛОСКОСТИ
И НОРМАЛИ К ПОВЕРХНОСТИ . . . . . . . . . . . . . . . . . . . . . . . . . . 42
10. ПРОИЗВОДНАЯ ПО НАПРАВЛЕНИЮ. ГРАДИЕНТ . . . . . 45
10.1.Геометрический смысл производной по направлению
для функции двух переменных . . . . . . . . . . . . . . . . . . . 50
11. ЧАСТНЫЕ ПРОИЗВОДНЫЕ ВЫСШИХ ПОРЯДКОВ . . . . 52
12. ДВАЖДЫ ДИФФЕРЕНЦИРУЕМОСТЬ ФУНКЦИИ
НЕСКОЛЬКИХ ПЕРЕМЕННЫХ . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
13. ЭКСТРЕМУМ ФУНКЦИИ НЕСКОЛЬКИХ
ПЕРЕМЕННЫХ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
13.1. Достаточные условия экстремума функции . . . . . . . . . . . 64
Список литературы . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
 Бодунов Николай Александрович
Дороденков Александр Александрович
Червинская Нина Михайловна

ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ

Учебное пособие

Редактор Э. К. Долгатов

Подписано в печать 13.04.22. Формат 60×84 1/16. Бумага офсетная.

Печать цифровая. Гарнитура „Times New Roman“. Печ. л. 4,5.
Тираж 551 экз. Заказ .
Издательство СПбГЭТУ „ЛЭТИ“
197022, С.-Петербург, ул. Проф. Попова, 5Ф