Определение функции нескольких переменных. Производные сложных функций нескольких переменных Функции многих переменных основные понятия

При изучении многих закономерностей в естествознании и экономике приходится встречаться с функциями от двух (и более) независимых переменных.

Определение (для функции двух переменных). Пусть X , Y и Z - множества. Если каждой паре (x , y ) элементов из множеств соответственно X и Y в силу некоторого закона f ставится в соответствие один и только один элемент z из множества Z , то говорят, что задана функция двух переменных z = f (x , y ) .

В общем случае область определения функции двух переменных геометрически может быть представлена некоторым множеством точек (x ; y ) плоскости xOy .

Основные определения, относящиеся к функциям нескольких переменных, являются обобщением соответствующих определений для функции одной переменной .

Множество D называется областью определения функции z , а множество E – множеством её значений . Переменные x и y по отношению к функции z называются её аргументами. Переменная z называется зависимой переменной.

Частным значениям аргументов

соответствует частное значение функции

Область определения функции нескольких переменных

Если функция нескольких переменных (например, двух переменных) задана формулой z = f (x , y ) , то областью её определения является множество всех таких точек плоскости x0y , для которых выражение f (x , y ) имеет смысл и принимает действительные значения . Общие правила для области определения функции нескольких переменных выводятся из общих правил для области определения функции одной переменной . Отличие в том, что для функции двух переменных областью определения является некоторое множество точек плоскости, а не прямой, как для функции одной переменной. Для функции трёх переменных областью определения является соответствующее множество точек трёхмерного пространства, а для функции n переменных - соответствующее множество точек абстрактного n -мерного пространства.

Область определения функции двух переменных с корнем n -й степени

В случае, когда функция двух переменных задана формулой и n - натуральное число :

если n - чётное число, то областью определения функции является множество точек плоскости, соответствующих всем значениями подкоренного выражения, которые больше или равны нулю, то есть

если n - нечётное число, то областью определения функции является множество любых значений , то есть вся плоскость x0y .

Область определения степенной функции двух переменных с целым показателем степени

:

если a - положительное, то областью определения функции является вся плоскость x0y ;

если a - отрицательное, то областью определения функции является множество значений , отличных от нуля: .

Область определения степенной функции двух переменных с дробным показателем степени

В случае, когда функция задана формулой :

если - положительное, то областью определения функции является множество тех точек плоскости, в которых принимает значения большие или равное нулю: ;

если - отрицательное, то областью определения функции является множество тех точек плоскости, в которых принимает значения, большие нуля: .

Область определения логарифмической функции двух переменных

Логарифмическая функция двух переменных определена при условии, если её аргумент положителен, то есть, областью её определения является множество тех точек плоскости, в которых принимает значения, большие нуля: .

Область определения тригонометрических функций двух переменных

Область определения функции - вся плоскость x0y .

Область определения функции - вся плоскость x0y .

Область определения функции - вся плоскость x0y

Область определения функции - вся плоскость x0y , кроме пар чисел, для которых принимает значения .

Область определения обратных тригонометрических функций двух переменных

Область определения функции .

Область определения функции - множество таких точек плоскости, для которых .

Область определения функции - вся плоскость x0y .

Область определения функции - вся плоскость x0y .

Область определения дроби как функции двух переменных

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

Область определения линейной функции двух переменных

Если функция задана формулой вида z = ax + by + c , то область определения функции - вся плоскость x0y .

Пример 1.

Решение. По правилам для области определения составляем двойное неравенство

Умножаем всё неравенство на и получаем

Полученное выражение и задаёт область определения данной функции двух переменных.

Пример 2. Найти область определения функции двух переменных .

Лекция 1 Теория функций двух и нескольких переменных (ТФНП). 1. Понятие ФНП. 2. Предел ФНП. 3. Непрерывность ФНП. 4. Частные производные первого порядка. 5. Производная сложной функции. 6. Производная неявной функции. 7. Производные высших порядков.

1. Понятие ФНП. Пусть множество D – область на плоскости. Определение. Если поставлено в соответствие число, то говорят, что на множестве D задана числовая функция D – область определения функции.

Если точка то отображение задается двумя координатами, функция 2 -х переменных Графиком такой функции будет множество точек с координатами x, y, z - поверхность в пространстве.

Геометрическая интерпретация f(x, y). D– некоторая часть плоскости 0 ХY z D – проекция графика функции f(x, y) на плоскость 0 ХY z f О x D x y y График функции – поверхность в пространстве.

2. Предел функции двух переменных. Пусть точка Множество точек называется таких, что - окрестностью точки

Определение. Пусть точка Если то точка P называется внутренней точкой множества D. Определение. Если все точки D внутренние для этого множества, то оно называется открытым. Определение. Всякое открытое множество, содержащее точку называется её окрестностью.

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

Пусть функция окрестности точки определена в некоторой (не обязательно в самой точке Число А называется пределом функции при стремлении если

Обозначение. Замечание. Стремление может происходить по любому закону и направлению, при этом все предельные значения существуют и равны А.

Пример. Рассмотрим функцию Рассмотрим стремление проходящим через т. (0, 0): по прямым, значение А зависит от того как.

3. Непрерывность ФНП. Функция непрерывной в точке называется, если Если хотя бы одно из условий 1 -3 нарушено, то - точка разрыва.

Точки разрыва могут быть изолированными, образовывать линии разрыва, поверхности разрыва. Пример. а) Точка разрыва – (изолированная) б) - линия разрыва

Определение. Разность называется полным приращением функции. Определение. Пределы называются частными производными функции (при условии, что они существуют).

Правила вычисления частных производных ФНП совпадают с соответствующими правилами для функции одной переменной. Замечание. При вычислении производной ФНП по одной из переменных все остальные рассматриваются как постоянные. Пример.

Определение. Главная (линейная) часть полного приращения функции в точке называется полным дифференциалом функции в этой точке.

5. Производная сложной функции. Рассмотрим функцию где т. е. z – сложная функция x, y. Частные производные сложной функции по переменным x и y вычисляются так: (как и в случае сложной функции одной переменной).

Полная производная а) где т. е. z – сложная функция одного аргумента t. Тогда - полная производная функции по аргументу t.

(лекция 1)

Функции 2-х переменных.

Переменная z называется функцией 2х переменных f(x,y), если для любой пары значений (x,y) G ставится в соответствие определенное значение переменной z.

Опр. Окрестностью точки р 0 называется круг с центром в точке р 0 и радиусом. = (х-х 0 ) 2 +(у-у 0 ) 2

сколь угодно малого числа можно указать такое число ()>0, что при всех значениях х и у, для которых расстояние от т. р до р0 меньше выполняется неравенство: f(x,y) А, т.е. для всех точек р, попадающих в окрестность точки р 0 , с радиусом, значение функции отличается от А меньше чем на по абсолютной величине. А это значит, что когда точка р приблизится к точке р 0 по любому

Непрерывность функции.

Пусть задана функция z=f(x,y), р(х,у)-текущая точка, р 0 (х 0 ,у 0)- рассматриваемая точка.

Опр.

3)Предел равен значению функции в этой точке: = f(x 0 ,y 0);

Lim f(x,y) = f(x 0 ,y 0 );

pp 0

Частное производной.

Дадим аргументу х приращение х; х+х, получим точку р 1 (х+х,у), вычислим разность значений функции в точке р:

х z = f(p1)-f(p) = f(x+x,y) - f(x,y) частное приращение функции соответствующее приращению аргумента х.

z = Lim x z

z = Lim f(x+x,y) - f(x,y)

X x0 X

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

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

Например , изучая физическое состояние какого-либо тела, приходится наблюдать изменение его свойств от точки к точке. Каждая точка тела задается тремя координатами: x, y, z. Поэтому, изучая, скажем, распределение плотности, заключаем, что плотность тела зависит от трех переменных: x, y, z. Если физическое состояние тела к тому же еще и меняется с течением времени t, то та же плотность будет зависеть уже от значений четырех переменных: x, y, z, t.

Другой пример : изучаются издержки производства на изготовление единицы некоторого вида продукции. Пусть:

x - затраты по материалам,

y - расходы на выплату заработной платы работникам,

z - амортизационные отчисления.

Очевидно, что издержки производства зависят от значений названных параметров x, y, z.

Определение 1.1 Если каждой совокупности значений "n" переменных

из некоторого множества D этих совокупностей соответствует своё единственное значение переменной z, то говорят, что на множестве D задана функция

"n" переменных.

Множество D, указанное в определении 1.1, называется областью определяния или областью существования этой функции.

Если рассматривается функция двух переменных, то совокупности чисел

обозначаются, как правило, (x, y) и интерпретируются как точки координатной плоскости Oxy, а область определения функции z = f (x, y) двух переменных изобразится в виде некоторого множества точек на плоскости Oxy.

Так, например, областью определения функции

является множество точек плоскости Oxy, координаты которых удовлетворяют соотношению

т. е. представляет собой круг радиуса r с центром в начале координат.

Для функции

областью определения служат точки, которые удовлетворяют условию

т. е. внешние по отношению к заданному кругу.

Часто функции двух переменных задаются в неявном виде, т. е. как уравнение

связывающее три переменные величины. В этом случае каждую из величин x, y, z можно рассматривать как неявную функцию двух остальных.

Геометрическим изображением (графиком) функции двух переменных z = f (x, y) является множество точек P (x, y, z) в трехмерном пространстве Oxyz, координаты которых удовлетворяют уравнению z = f (x, y).

Графиком функции непрерывных аргументов, как правило, является некоторая поверхность в пространстве Oxyz, которая проектируется на координатную плоскость Oxy в область определения функции z= f (x, y).

Так, например, (рис. 1.1) графиком функции

является верхняя половина сферы, а графиком функции

Нижняя половина сферы.

Графиком линейной функции z = ax + by + с является плоскость в пространстве Oxyz, а графиком функции z = сonst служит плоскость, параллельная координатной плоскости Oxyz.

Заметим, что функцию трех и большего числа переменных изобразить наглядно в виде графика в трехмерном пространстве невозможно.

В дальнейшем будем в основном ограничиваться рассмотрением функций двух или трех переменных, так как рассмотрение случая большего (но конечного) числа переменных производится аналогично.

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

(лекция 1)

Переменная u называется f(x,y,z,..,t), если для любой совокупности значений (x,y,z,..,t) ставится в соответствие вполне определенное значение переменной u.

Множество совокупностей значение переменной называют областью определения ф-ции.

G - совокупность (x,y,z,..,t) - область определения.

Функции 2-х переменных.

Переменная z называется функцией 2х переменных f(x,y), если для любой пары значений (x,y) Î G ставится в соответствие определенное значение переменной z.

Предел функции 2-х переменных.

Пусть задана функция z=f(x,y), р(х,у)-текущая точка, р 0 (х 0 ,у 0)- рассматриваемая точка.

Опр. Окрестностью точки р 0 называется круг с центром в точке р 0 и радиусом r. r = Ö (х-х 0 ) 2 +(у-у 0 ) 2 Ø

Число А называется пределом функции |в точке р 0 , если для любого

сколь угодно малого числа e можно указать такое число r (e)>0, что при всех значениях х и у, для которых расстояние от т. р до р0 меньше r выполняется неравенство: ½f(x,y) - А½0, с радиусом r, значение функции отличается от А меньше чем на e по абсолютной величине. А это значит, что когда точка р приблизится к точке р 0 по любому пути, значение функции неограниченно приближается к числу А.

Непрерывность функции.

Пусть задана функция z=f(x,y), р(х,у)-текущая точка, р 0 (х 0 ,у 0)- рассматриваемая точка.

Опр. Функция z=f(x,y) называется непрерывной в т. р 0 , если выполняются 3 условия:

1)функция определена в этой точке. f(р 0) = f(x,y);

2)ф-я имеет предел в этой точке.

3)Предел равен значению функции в этой точке: b = f(x 0 ,y 0);

Lim f(x,y) = f(x 0 ,y 0 ) ;

p à p 0

Если хотя бы 1 из условий непрерывности нарушается, то точка р называется точкой разрыва. Для функций 2х переменных могут существовать отдельные точки разрыва и целые линии разрыва.

Понятие предела и непрерывности для функций большего числа переменных определяется аналогично.

Функцию трех переменных невозможно изобразить графически, в отличие от функции 2х переменных.

Для функции 3х переменных могут существовать точки разрыва, линии и поверхности разрыва.

Частное производной.

Рассморим функцию z=f(x,y), р(х,у)- рассматриваемая точка.

Дадим аргументу х приращение Dх; х+Dх, получим точку р 1 (х+Dх,у), вычислим разность значений функции в точке р:

D х z = f(p1)-f(p) = f(x+Dx,y) - f(x,y) - частное приращение функции соответствующее приращению аргумента х.

Опр. Частное производной функции z=f(x,y) по переменной х называется предел отношения частного приращения этой функции по переменной х к этому приращению, когда последнее стремится к нулю.

¶ z = Lim D x z

චz = Lim f(x+ D x,y) - f(x,y)

¶ x D x ® 0 D x

Аналогично определяем частное производной по переменной у.

Нахождение частных производных.

При определении частных производных каждый раз изменяется только одна переменная, остальные переменные рассматриваются как постоянные. В результате каждый раз мы рассматриваем функцию только одной переменной и частная производной совпадает с обычной производной этой функции одной переменной. Отсюда правило нахождения частных производных: частноя производная по рассматриваемой переменной ищется как обычная производнаяфункции одной этой переменной, остальные переменные расстатриваются как постоянные величины. При этом оказываются справедливыми все формулы дифференцирования функции одной переменной (производноя суммы, произведения, частного).

Понятие функции нескольких переменных

Если каждой точке X = (х 1 , х 2 , …х n) из множества {X} точек n–мерного пространства ставится в соответствие одно вполне определенное значение переменной величины z, то говорят, что задана функция n переменных z = f(х 1 , х 2 , …х n) = f (X).

При этом переменные х 1 , х 2 , …х n называют независимыми переменными или аргументами функции, z - зависимой переменной , а символ f обозначает закон соответствия . Множество {X} называют областью определения функции (это некое подмножество n-мерного пространства).

Например, функция z = 1/(х 1 х 2) представляет собой функцию двух переменных. Ее аргументы – переменные х 1 и х 2 , а z – зависимая переменная. Область определения – вся координатная плоскость, за исключением прямых х 1 = 0 и х 2 = 0, т.е. без осей абсцисс и ординат. Подставив в функцию любую точку из области определения, по закону соответствия получим определенное число. Например, взяв точку (2; 5), т.е. х 1 = 2, х 2 = 5, получим
z = 1/(2*5) = 0,1 (т.е. z(2; 5) = 0,1).

Функция вида z = а 1 х 1 + а 2 х 2 + … + а n х n + b, где а 1 , а 2 ,…, а n , b - по стоянные числа, называют линейной . Ее можно рассматривать как сумму n линейных функций от переменных х 1 , х 2 , …х n . Все остальные функции называют нелинейными .

Например, функция z = 1/(х 1 х 2) – нелинейная, а функция z =
= х 1 + 7х 2 - 5 – линейная.

Любой функции z = f (X) = f(х 1 , х 2 , …х n) можно поставить в соответствие n функций одной переменной, если зафиксировать значения всех переменных, кроме одной.

Например, функции трех переменных z = 1/(х 1 х 2 х 3) можно поставить в соответствие три функции одной переменной. Если зафиксировать х 2 = а и х 3 = b то функция примет вид z = 1/(аbх 1); если зафиксировать х 1 = а и х 3 = b, то она примет вид z = 1/(аbх 2); если зафиксировать х 1 = а и х 2 = b, то она примет вид z = 1/(аbх 3). В данном случае все три функции имеют одинаковый вид. Это не всегда так. Например, если для функции двух переменных зафиксировать х 2 = а, то она примет вид z = 5х 1 а, т.е. степенной функции, а если зафиксировать х 1 = а, то она примет вид , т.е. показательной функции.

Графиком функции двух переменных z = f(x, у) называется множество точек трёхмерного пространства (х, у, z), аппликата z которых связана с абсциссой х и ординатой у функциональным соотношением
z = f (x, у). Этот график представляет собой некоторую поверхность в трехмерном пространстве (например, как на рисунке 5.3).

Можно доказать, что если функция – линейная (т.е. z = ax + by + c), то ее график представляет собой плоскость в трехмерном пространстве. Другие примеры трехмерных графиков рекомендуется изучить самостоятельно по учебнику Кремера (стр. 405-406).

Если переменных больше двух (n переменных), то график функции представляет собой множество точек (n+1)-мерного пространства, для которых координата х n+1 вычисляется в соответствии с заданным функциональным законом. Такой график называют гиперповерхностью (для линейной функции – гиперплоскостью ), и он также представляет собой научную абстракцию (изобразить его невозможно).

Рисунок 5.3 – График функции двух переменных в трехмерном пространстве

Поверхностью уровня функции n переменных называется множество точек в n–мерном пространстве, таких, что во всех этих точках значение функции одно и то же и равно С. Само число С в этом случае называется уровнем .

Обычно для одной и той же функции можно построить бесконечно много поверхностей уровня (соответствующих различным уровням).

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

Например, рассмотрим z = 1/(х 1 х 2). Возьмем С = 10, т.е. 1/(х 1 х 2) = 10. Тогда х 2 = 1/(10х 1), т.е. на плоскости линия уровня примет вид, представленный на рисунке 5.4 сплошной линией. Взяв другой уровень, например, С = 5, получим линию уровня в виде графика функции х 2 = 1/(5х 1) (на рисунке 5.4 показана пунктиром).

Рисунок 5.4 - Линии уровня функции z = 1/(х 1 х 2)

Рассмотрим еще один пример. Пусть z = 2х 1 + х 2 . Возьмем С = 2, т.е. 2х 1 + х 2 = 2. Тогда х 2 = 2 - 2х 1 , т.е. на плоскости линия уровня примет вид прямой, представленный на рисунке 5.5 сплошной линией. Взяв другой уровень, например, С = 4, получим линию уровня в виде прямой х 2 = 4 - 2х 1 (на рисунке 5.5 показана пунктиром). Линия уровня для 2х 1 + х 2 = 3 показана на рисунке 5.5 точечной линией.

Легко убедиться, что для линейной функции двух переменных любая линия уровня будет представлять собой прямую на плоскости, причем все линии уровня будут параллельны между собой.

Рисунок 5.5 - Линии уровня функции z = 2х 1 + х 2

Функции многих переменных

§1. Понятие функции многих переменных.

Пусть имеется n переменных величин . Каждый набор
обозначает точку n - мерного множества
(п -мерный вектор).

Пусть даны множества
и
.

Опр . Если каждой точке
ставится в соответствие единственное число
, то говорят, что задана числовая функция n переменных:

.

называют областью определения,
- множеством значений данной функции.

В случае n =2 вместо
обычно пишут x , y , z . Тогда функция двух переменных имеет вид:

z = f (x , y ).

Например,
- функция двух переменных;

- функция трех переменных;

Линейная функция n переменных.

Опр . Графиком функции n переменных называется n - мерная гиперповерхность в пространстве
, каждая точка которой задается координатами

Например, графиком функции двух переменных z = f (x , y ) является поверхность в трехмерном пространстве, каждая точка которой задается координатами (x , y , z ) , где
, и
.

Поскольку график функции трех и более переменных изобразить не представляется возможным, в основном мы будем (для наглядности) рассматривать функции двух переменных.

Построение графиков функций двух переменных является довольно сложной задачей. Существенную помощь в ее решении может оказать построение так называемых линий уровня.

Опр . Линией уровня функции двух переменных z = f (x , y ) называется множество точек плоскости ХОУ , являющихся проекцией сечения графика функции плоскостью, параллельной ХОУ. В каждой точке линии уровня функция имеет одно и то же значение. Линии уровня описываются уравнением f (x , y )=с , где с – некоторое число. Линий уровня бесконечно много, и через каждую точку области определения можно провести одну из них.

Опр . Поверхностью уровня функции n переменных y = f (
) называется гиперповерхность в пространстве
, в каждой точке которой значение функции постоянно и равно некоторому значению с . Уравнение поверхности уровня: f (
)=с.

Пример . Построить график функции двух переменных

.

.

При с=1:
;
.

При с=4:
;
.

При с=9:
;
.

Линии уровня – концентрические окружности, радиус которых уменьшается с ростом z .

§2. Предел и непрерывность функции многих переменных.

Для функций многих переменных определяются те же понятия, что и для функции одной переменной. Например, можно дать определения предела и непрерывности функции.

Опр . Число А называется пределом функции двух переменных z = f (x , y ) при
,
и обозначается
, если для любого положительного числа найдется положительное число , такое, что если точка
удалена от точки
на расстояние меньше , то величины f (x , y ) и А отличаются меньше чем на .

Опр . Если функция z = f (x , y ) определена в точке
и имеет в этой точке предел, равный значению функции
, то она называется непрерывной в данной точке.

.

§3. Частные производные функции многих переменных.

Рассмотрим функцию двух переменных
.

Зафиксируем значение одного из ее аргументов, например , положив
. Тогда функция
есть функция одной переменной . Пусть она имеет производную в точке :

.

Данная производная называется частной производной (или частной производной первого порядка) функции
по в точке
и обозначается:
;
;
;
.

Разность называется частным приращением по и обозначается
:

Учитывая приведенные обозначения, можно записать

.

Аналогично определяется

.

Частной производной функции нескольких переменных по одной из этих переменных называется предел отношения частного приращения функции к приращению соответствующей независимой переменной, когда это приращение стремится к нулю.

При нахождении частной производной по какому-либо аргументу другие аргументы считаются постоянными. Все правила и формулы дифференцирования функций одной переменной справедливы для частных производных функции многих переменных.

Заметим, что частные производные функции являются функциями тех же переменных. Эти функции, в свою очередь, могут иметь частные производные, которые называются вторыми частными производными (или частными производными второго порядка) исходной функции.

Например, функция
имеет четыре частных производных второго порядка, которые обозначаются следующим образом:

;
;

;
.

и
- смешанные частные производные.

Пример. Найти частные производные второго порядка для функции

.

Решение.
,
.

,
.

,
.

Задание .

1. Найти частные производные второго порядка для функций

,
;

2. Для функции
доказать, что
.

Полный дифференциал функции многих переменных.

При одновременном изменении величин х и у функция
изменится на величину , называемую полным приращением функции z в точке
. Так же, как и в случае функции одной переменной, возникает задача о приближенной замене приращения
на линейную функцию от
и
. Роль линейного приближения выполняет полный дифференциал функции:

Полный дифференциал второго порядка:

=
.

=
.

В общем виде полный дифференциал п -го порядка имеет вид:

Производная по направлению. Градиент.

Пусть функция z = f (x , y ) определена в некоторой окрестности точки M(x , y ) и - некоторое направление, задаваемое единичным вектором
. Координаты единичного вектора выражаются через косинусы углов, образуемых вектором и осями координат и называемых направляющими косинусами:

,

.

При перемещении точки M(x , y ) в данном направлении l в точку
функция z получит приращение

называемое приращением функции в данном направлении l .

Если ММ 1 =∆l , то

Т

О

Производная по направлению характеризует скорость изменения функции в данном направлении. Очевидно, что частные производные и представляют собой производные по направлениям, параллельным осям Ox и Oy . Нетрудно показать, что

Пример . Вычислить производную функции
в точке (1;1) по направлению
.

Опр . Градиентом функции z = f (x , y ) называется вектор с координатами, равными частным производным:

.

Рассмотрим скалярное произведение векторов
и
:

Легко видеть, что
, т.е. производная по направлению равна скалярному произведению градиента и единичного вектора направления .

Поскольку
, то скалярное произведение максимально, когда векторы одинаково направлены. Таким образом, градиент функции в точке задает направление наискорейшего возрастания функции в этой точке, а модуль градиента равен максимальной скорости роста функции.

Зная градиент функции, можно локально строить линии уровня функции.

Теорема . Пусть задана дифференцируемая функция z = f (x , y ) и в точке
градиент функции не равен нулю:
. Тогда градиент перпендикулярен линии уровня, проходящей через данную точку.

Таким образом, если, начиная с некоторой точки, строить в близких точках градиент функции и малую часть перпендикулярной ему линии уровня, то можно (с некоторой погрешностью) построить линии уровня.

Локальный экстремум функции двух переменных

Пусть функция
определена и непрерывна в некоторой окрестности точки
.

Опр . Точка
называется точкой локального максимума функции
, если существует такая окрестность точки , в которой для любой точки
выполняется неравенство:

.

Аналогично вводится понятие локального минимума.

Теорема (необходимое условие локального экстремума) .

Для того, чтобы дифференцируемая функция
имела локальный экстремум в точке
, необходимо, чтобы все ее частные производные первого порядка в этой точке были равны нулю:

Итак, точками возможного наличия экстремума являются те точки, в которых функция дифференцируема, а ее градиент равен 0:
. Как и в случае функции одной переменной, такие точки называются стационарными.