Дифференциальное исчисление функций нескольких

73
Часть 4. Дифференциальное исчисление функций многих переменных
Глава 1. Функции нескольких переменных
При изучении различных явлений окружающего мира часто приходится сталкиваться
с одновременным изменением более чем двух переменных величин. Например, при изучении
процесса распространения тепла в каком-либо неоднородном теле требуется исследовать
величину температуры в разных точках тела в разные моменты времени. Положение точки в
трехмерном пространстве в декартовой системе координат определяется тремя числами
x, y, z . Поэтому фактически в указанном процессе надо изучать совместное изменение пяти
переменных величин: трех координат точки, времени и температуры. Объем цилиндра
фактически зависит от двух переменных: радиуса основания и высоты цилиндра, давление
RT
массы газа можно считать функцией объема и температуры p 
.
V
Можно проследить аналогии между функциями одной и нескольких переменных, что
позволяет считать функции многих переменных обобщением случая одной переменной.
Последовательности точек n - мерного пространства
Определение 1. Всякое множество E , состоящее из некоторых упорядоченных
систем M ( x1 , x2 , ...., xn ) действительных чисел x1 , x2 , ...., xn называется n -мерным
точечным множеством, а его элементы – точками этого множества ( n -мерными точками).
При n  2, n  3 получаем пары ( x, y ) и тройки чисел ( x, y, z ) , которые можно
рассматривать как точку координатной плоскости или координатного пространства.
Известно, что некоторое множество точек можно задать с помощью уравнений или
неравенств, выполняющихся для координат точек этого множества и только для них.
Для n  3 n -мерное пространство представляет собой удобную абстракцию. По
аналогии с тем, как это делается для пространства трех, двух или одного измерения, в случае
произвольного n вводят понятие расстояния между двумя точками.
Определение 2. Расстоянием MN
между точками M ( x1 , x2 , ...., xn ) и
N ( y1 , y 2 , ...., y n ) n -мерного пространства называется число
d  ( x1  y1 ) 2  ( x2  y 2 ) 2  ...  ( xn  y n ) 2 .
Замечание. Определенное таким образом расстояние называют евклидовой метрикой.
По аналогии с плоскостью и пространством в n -мерном пространстве вводятся
понятия параллелепипеда и шара.
Определение 3. n -мерным открытым (замкнутым) параллелепипедом в пространстве
Rn называется множество всех точек этого пространства, координаты которых
удовлетворяют неравенствам ai  xi  bi , i  1, 2, ...., n ( ai  xi  bi , i  1, 2, ...., n ).
Определение 4. n -мерным замкнутым шаром радиуса R ( R  0 ) с центром в данной
точке A(a1 , a 2 , ...., a n ) называется множество всех точек M ( x1 , x2 , ...., xn ) , координаты
( x1  a1 ) 2  ( x2  a2 ) 2  ...  ( xn  an ) 2  R .
Определение 5. n -мерной параллелепипедальной окрестностью данной точки
A(a1 , a 2 , ...., a n ) называется множество точек
M ( x1 , x2 , ...., xn ) , координаты которых
которых удовлетворяют неравенству
удовлетворяют неравенствам xi  ai   i , где  i , i  1, 2,..., n – некоторые действительные
числа.
Определение 6. n -мерной сферической окрестностью данной точки A(a1 , a 2 , ...., a n )
(или открытым шаром радиуса R с центром в этой точке) называется множество всех точек
M ( x1 , x2 , ...., xn ) с координатами, удовлетворяющими неравенству
74
( x1  a1 ) 2  ( x2  a2 ) 2  ...  ( xn  an ) 2  R .
Теорема 1. Для каждой кубической (сферической) окрестности данной точки А
найдется сферическая (кубическая) окрестность этой точки, содержащаяся в данной
кубической (сферической) окрестности.
Определение 7. Предельной точкой данного множества точек пространства Rn
называется такая точка A , в любой окрестности которой имеется хотя бы одна отличная от
нее точка М этого множества.
Предельная точка может как принадлежать, так и не принадлежать множеству.
Определение 8. n -мерное (непустое) точечное множество называется замкнутым,
если оно содержит все свои предельные точки, и незамкнутым, если оно не содержит хотя бы
одной своей предельной точки.
Определение 9. Точка A данного n -мерного множества E называется внутренней
его точкой, если существует такая окрестность этой точки, которая целиком состоит из точек
данного множества.
Определение 10. n -мерное точечное множество называется открытым, если все его
точки являются внутренними.
Замечание 1. Точечное множество может совсем не иметь внутренних точек.
Замечание 2. Существует множество, одновременно и замкнутое и открытое.
Определение 11. Точка M пространства Rn называется граничной для данного
непустого множества E точек этого пространства, если в любой окрестности точки M
имеются точки, как принадлежащие, так и не принадлежащие множеству E .
Совокупность всех граничных точек данного множества E называется его границей.
Относительно границы точечного множества нетрудно доказать следующие
утверждения:
1) при присоединении к данному множеству его границы  образуется замкнутое
множество;
2) если множество E замкнуто, то оно содержит всю границу  . Отсюда в свою
очередь вытекает, что множество E тогда и только тогда замкнуто, когда оно содержит свою
границу.
Определение 11. Множество E точек пространства Rn называется связным, если для
любых двух его точек A, B можно найти такую простую кривую, соединяющую точки A и
B , что все ее точки принадлежат этому множеству E .
Можно обобщить понятие последовательности на случай n -мерного пространства.
Определение 12. Последовательность M m , где M m ( x1m , x2 m , ...., xnm ) , точек n мерного пространства Rn называется сходящейся в этом пространстве к некоторой точке
M ( x1 , x2 , ...., xn ) , если для любого положительного числа R можно указать такое натуральное число N , что при m  N выполняется неравенство: M m M  R .
При этом пишут lim M m M .
m 
Можно показать, что последовательность M m  называется сходящейся к точке
M ( x1 , x2 , ...., xn ) , если каждая из последовательностей координат xim  сходится
соответственно к xi .
Теорема 2. Всякое бесконечное ограниченное множество E пространства Rn имеет
хотя бы одну предельную точку.
Теорема 3. (принцип стягивающихся кубов). Какова бы ни была последовательность
замкнутых кубов, из которых каждый, начиная со второго, «вложен» в предыдущий, и таких,
75
что последовательность длин их ребер стремится к нулю существует одна и только одна
точка пространства, принадлежащая всем кубам.
Теорема 4. (Больцано—Вейерштрасса) Из всякой бесконечной ограниченной
последовательности точек M m  пространства Rn можно выделить сходящуюся
подпоследовательность.
Понятие функции нескольких переменных
Пусть дано некоторое непустое множество D точек пространства Rn .
Определение 13. Если каждой точке M ( x1 , x2 , ...., xn ) множества D поставлено в
соответствие по какому-либо закону некоторое действительное число u , то говорят, что на
множестве D задана функция от переменных x1 , x2 , ...., xn .
Обозначают u  f ( x1 , x2 , ..., xn ) .
Множество D в таком случае называют областью определения функции. Функцию
u  f ( x1 , x2 , ..., xn ) при n  1 называют функцией нескольких переменных, а координаты
x1 , x2 , ...., xn произвольной точки М, принадлежащей D, называют аргументами функции или
независимыми переменными.
Помимо области определения для функции нескольких переменных определяют
множество значений, т.е. множество всех чисел (или других объектов) которые может
принять функция на области определения.
Таким образом, для задания функции нескольких переменных следует определить:
1) область определения D ;
2) закон соответствия, заданный на D ;
3) множество, откуда будут браться значения функции.
Здесь также различают аналитическое, табличное и словесное задание функции.
Если функция задана аналитически, то в таком случае будем считать, что она имеет
так называемую естественную область определения, если не оговорено противное.
Одним из наиболее важных частных случаев является случай функции двух
переменных. Одним из основных его преимуществ является наличие наглядного
геометрического представления. В качестве области определения будем рассматривать часть
плоскости, тогда с геометрической точки зрения функцию можно рассматривать как
множество всех точек трехмерного пространства, аппликата которой есть значение функции,
а абсцисса и ордината – аргументы. (Рис. 44)
Рис 44.
Чаще всего при этом геометрическим образом функции будет некоторая поверхность
(с уравнением z  f ( x, y ) ). Нередко для получения представления о геометрическом
изображении функции z  f ( x, y ) прибегают к построению на плоскости Oxy линий уровня,
76
каждая из которых есть множество всех точек ( x, y ) плоскости Oxy , в которых
рассматриваемая функция принимает заданное постоянное значение c . (Рис. 45)
Рис 45.
Для функций с большим
представления не существует.
числом
переменных
наглядного геометрического
Предел функции нескольких переменных
Пусть A(a1 , a 2 , ...., a n ) – некоторая предельная точка области определения D данной
функции n переменных.
Определение 14. Число I называют пределом функции в точке A , если каково бы ни
было число   0 , можно указать такую окрестность точки A , что для всех точек X этой
окрестности ( X  A ), принадлежащих области определения функции выполняется условие
f ( X )  I   (   0U ( A)X U ( X ) : f ( X )  I   ).
Определение предела функции нескольких переменных можно дать и по Гейне.
Определение 15. Число I называют пределом этой функции в точке A , если для
любой последовательности точек M m , взятых из области определения функции, отличных
от точки A и сходящихся к A , соответствующая последовательность значений функции
 f (M m ) сходится к числу I .
Также можно показать эквивалентность указанных определений.
Непрерывность функции нескольких переменных
Введем понятие непрерывности функций нескольких переменных.
Определение 16. Функция u  f ( x1 , x2 , ..., xn ) с областью определения D называется
непрерывной в данной предельной точке A(a1 , a 2 , ...., a n ) , принадлежащей множеству E
( E  D ), если имеет место соотношение lim f ( x1 , x2 , ...., xn )  f (a1 , a 2 , ...., a n ) .
xi ai
i 1, 2,.. n
Очевидно, что если функция не является непрерывной в точке, то она терпит разрыв в
указанной точке.
Определение 17. Если функция u  f ( x1 , x2 , ..., xn ) непрерывна в каждой точке
множества E, то говорят, что она непрерывна на этом множестве Е.
Для непрерывных функций нескольких переменных справедливы теоремы о
непрерывности суммы, произведения, отношения функций, непрерывности сложной
функции.
77
Определение 18. Говорят, что функция u  f ( x1 , x2 , ..., xn ) относительно множества
D непрерывна в предельной точке A(a1 , a 2 , ...., a n ) по аргументу xi , i  1, 2,..., n , если
lim f (a1 , a2 , ...., xi ,..., an )  f (a1 , a2 , ...., an ) .
xi ai
Справедливо утверждение.
Теорема 5. Функция, непрерывная в точке, непрерывна в этой точке по каждому из
аргументов.
Обратное утверждение в общем случае не верно.
Будем рассматривать функцию u  f ( x1 , x2 , ..., xn ) с областью определения D в
точках линий xi   i (t ), i  1, 2,..., n , где t принадлежит некоторому отрезку  ;   . В
результате получим сложную функцию. Если функции xi   i (t ), i  1, 2,..., n непрерывны на
 ;  ,
а функция u  f ( x1 , x2 , ..., xn ) непрерывна на D , то по теореме о непрерывности
сложной функции получившаяся функция будет также непрерывной на  ;   .
Рассмотрим ряд теорем о свойствах непрерывных функций.
Теорема 6. Функция u  f ( x1 , x2 , ..., xn ) непрерывная на замкнутом и ограниченном
множестве ограничена на этом множестве.
Теорема 7. (Вейерштрасса). Функция n переменных, непрерывная на замкнутом и
ограниченном множестве E , принимает на E как наибольшее, так и наименьшее значения.
Теорема 8. Если функция u  f ( x1 , x2 , ..., xn ) , непрерывная на данной связной
области D , принимает в этой области два каких-либо различных значения A и B ( A  B ),
то она принимает в этой области, хотя бы один раз, и всякое промежуточное значение C .
78
Глава 2. Дифференцирование функций нескольких переменных
Частные производные
Пусть дана функция u  f ( x1 , x2 , ..., xn ) , определенная в некоторой области D .
Возьмем какую-либо точку A( x1 , x2 , ...., xn ) этой области и дадим xi приращение xi ,
оставляя значения остальных аргументов неизменными, т. е. перейдем от точки
A( x1 , x2 , ...., xn ) к точке A( x1 , x2 , ...., xi  xi , xn ) . Тогда и сама функция получит некоторое
 xi f  f ( x1 , x 2 ,..., xi  xi ,..., x n )  f ( x1 , x 2 ,..., xi ,..., x n ) . Составим
частное приращение
отношение
 xi f
. Это отношение для данной точки можно рассматривать как некоторую
x i
функцию аргумента xi . Может случиться, что эта функция имеет предел при xi  0 , т. е.
 xi f
что lim
существует.
xi 0 x
i
Определение 1. Частной производной функции по переменной xi в точке A
 xi f
называется конечный предел lim
.
xi 0 x
i
f
Частную производную обозначают следующим образом: f x,
.
x
Так как при определении какой-либо частной производной все аргументы, кроме
выбранного, считаются постоянными, то соответствующая частная производная может быть
найдена как обычная производная функции одной переменной, которая получится из данной,
если в ней все аргументы, кроме выбранного, считать постоянными.
Рассмотрим геометрический смысл частой производной функции двух переменных.
z
α
x0
x
O
y
Рис 46.
Рассмотрим поверхность, которая является графиком функции двух переменных (Рис.
46). Проведем плоскость с уравнением x  x0 . Эта плоскость пересечет данную поверхность
по некоторой кривой. В результате уравнение этой кривой будет иметь вид z ( y)  f ( x0 , y) .
Обычная производная от такой функции совпадает с частной производной исходной
функции, вычисленной при x  x0 . Таким образом, зная геометрический смысл
обыкновенной производной, получаем, что частная производная функции f ( x, y ) по
переменной y , вычисленная в точке x0 , y0  , равна угловому коэффициенту касательной в
точке x0 , y0 , z0  к плоской кривой пересечения данной поверхности и плоскости x  x0 .
79
Частные производные высших порядков
Пусть функция u  f ( x1 , x2 , ..., xn ) имеет в некоторой области определения D
частную производную по одной из переменных. Тогда эту производную
можно
рассматривать как функцию тех же переменных, определенную в области D . Может
случиться, что полученная функция имеет в некоторой области определения частную
производную по той же переменной или по другой переменной. Полученные таким образом
частные производные называются частными производными второго порядка или просто
вторыми частными производными функции. В общем случае дифференцирование можно
повторять несколько раз, в результате получаем частные производные высших порядков.
Следует отметить, что особый интерес представляют частные производные, которые
были найдены по различным переменным, такие производные называют смешанными.
Обозначение частных производных высших порядков рассмотрим на примере
функции двух переменных. Пусть дана функция f ( x, y ) , тогда частные производные первого
f f
порядка имеют вид:
. Продифференцируем каждую из частных производных по
,
x y
каждой из переменных. В результате получим четыре частные производные второго порядка:
2 f 2 f 2 f 2 f
. Обратим внимание на получившиеся смешанные частные
,
,
,
x 2 xy yx y 2
производные, можно показать справедливость следующей теоремы.
Теорема 1. Если в некоторой окрестности точки и в самой точке M ( x0 , y0 ) функция
f ( x, y ) имеет производные первого порядка, смешанные частные производные второго
порядка и смешанные производные непрерывны в самой точке, то они в этой точке равны.
Данную теорему можно обобщить на случай любого числа переменных и смешанных
производных любого порядка.
Теорема 2. Смешанные частные производные любого порядка при условии их
непрерывности не зависят от порядка дифференцирования.
Полное приращение функции нескольких переменных
Полный дифференциал функции нескольких переменных
Рассмотрим функцию f ( x, y ) , определенную в некоторой области D . Пусть
M ( x0 , y0 ) – внутренняя точка данной области. Придадим каждой из переменных x и y
некоторое приращение x и  y соответственно, причем так, что точка ( x0  x, y0  y)
также принадлежит области определения.
Определение 3. Полным приращением функции z  f ( x, y ) в точке M ( x0 , y0 )
называется приращение функции, которое она получает при произвольных приращениях
обеих переменных z  f ( x0  x, y0  y)  f ( x0 , y0 ) .
Определение 4. Функция называется дифференцируемой в точке M ( x0 , y0 ) , если ее
полное приращение можно представить в виде z  Ax  By  x  y , где A, B не
зависят от x и  y ,  (x, y )  0,  (x, y )  0 при x  0 , y  0 .
Определение 5. Сумму Ax  By называют главной частью приращения z .
Определение 6. Главная часть приращения z дифференцируемой в точке M ( x0 , y0 )
функции называется ее полным дифференциалом (или просто дифференциалом) в этой
точке.
Обозначается дифференциал dz .
80
Установим, как связано понятие дифференцируемой функции и частные
производные.
Теорема 3. Если функция z  f ( x, y ) имеет в точке M ( x0 , y0 ) и в ее окрестности
частные производные и они непрерывны как функции двух переменных в этой точке, то
полное приращение функции может быть записано в следующем виде:
u  f x( x0 , y0 )x  f y ( x0 , y0 )y  x  y .
Замечание. Условие непрерывности частных производных в точке является
существенным.
Следствие. Если функция дифференцируема в некоторой точке, то функция
непрерывна в этой точке.
Из указанной теоремы следует, что полный дифференциал функции можно найти по
формуле: dz  f x( x0 , y0 )dx  f y ( x0 , y0 )dy .
Можно показать, что полный дифференциал обладает свойством инвариантности, т.е.
не меняет своей формы, если переменные являются функциями двух переменных.
Дифференциалы высших порядков
Как и в случае функций одной переменной можно ввести понятие дифференциала
порядка выше первого. Пусть x и y являются независимыми переменными.
Определение 2. Дифференциалом второго порядка от функции z  f ( x, y )
называется дифференциал от полного дифференциала d 2 z  d (dz ) .
Его вычисление производится в предположении, что dx, dy остаются постоянными.
Можно показать, что для дифференциала второго порядка справедлива формула
2 f
2 f
2 f
d 2 z  2 dx 2  2
dxdy  2 dy 2 .
x
xy
y
Аналогичным образом определяется дифференциал порядка n . Можно показать, что
формула для дифференциала порядка n напоминает формулу для разложения двучлена в
степень n по правилу бинома Ньютона.
Справедливо утверждение: для сложных функций дифференциалы порядка выше
первого не обладают неизменной формой и выражения для них более сложные, чем
полученные ранее формулы.
Формула Тейлора
Формулу Тейлора для функции одного переменного можно обобщить на случай
функций двух переменных.
Для функции f (t ) формула Тейлора имеет вид
f (t0 )
f (t0 )
f ( n) (t0 )
f ( n1) (c)
f (t )  f (t0 ) 
(t  t0 ) 
(t  t0 ) 2  ... 
(t  t0 ) n 
(t  t0 ) n1 ,
1!
2!
n!
(n  1)!
где c – промежуточная точка между a и t .
Формулу Тейлора можно записать несколько в ином виде
1
1
1
1
f (t0 )  df (t0 )  d 2 f (t0 )  ...  d n f (t0 ) 
d n1 f (t0  dt ) ,
1!
2!
n!
(n  1)!
где t  t0  t и f (t0  t )  f (t0 )  f (t0 ) .
Тогда для функции двух переменных z  f ( x, y ) формулу Тейлора можно записать в
виде
1
1
1
1
f ( x0 , y0 )  df ( x0 , y0 )  d 2 f ( x0 , y0 )  ...  d n f ( x0 , y0 ) 
d n1 f ( x0  x, y0  y) ,
1!
2!
n!
(n  1)!
81
где f ( x0  x, y0  y)  f ( x0 , y0 )  f ( x0 , y0 ) .
Неявные функции
Пусть дано уравнение вида F ( x, y )  0 .
Определение 7. Пусть функция F ( x, y ) определена на некотором множестве
изменения переменных x, y и пусть на каком-либо множестве значений x существует такая
функция y  f (x) , которая, будучи поставлена вместо y в уравнение F ( x, y )  0 обращает
его на этом множестве в тождество относительно x . Тогда говорят, что на данном множестве
функция y  f (x) задана неявно уравнением F ( x, y )  0 .
Не всякое уравнение такого вида может являться неявной функцией. Возникает
вопрос, в каких случаях такого рода выражение задает неявную функцию. Ответ на него дает
следующая теорема.
Теорема 4. (существования дифференцируемой неявной функции). Пусть функция
F ( x, y )  0 удовлетворяет следующим условиям:
1) определена и имеет непрерывные частные производные Fx, Fy в некотором
прямоугольнике x0  a  x  x0  a, y0  b  y  y0  b ;
2) в точке x0 , y 0  обращается в нуль, причем частная производная Fy не обращается
в нуль в данной точке.
Тогда уравнение F ( x, y )  0 в некоторой окрестности x0   , x0    точки x 0
определяет неявную функцию y  f (x) , такую что y 0  f ( x0 ) . Эта функция в названной
F
окрестности точки x 0 имеет непрерывную производную, причем y    x .
Fy
Будем рассматривать выражение вида F ( x, y, z )  0 . Если для каждой пары значений
независимых переменных из какой-либо области на плоскости существует только одно
значение z , которое удовлетворяет указанному уравнению, то говорят, что такое уравнение
определяет неявную функцию. Можно сформулировать аналогичную теорему для
определения условий существования неявной функции, частные производные которой
находятся по формуле
Fy
F
.
z x   x , z y  
Fz
Fz
Аналогичным образом можно определить неявные функции большего числа
переменных.
Касательная и нормаль к плоской кривой, заданной неявно
Рассмотрим уравнение F ( x, y )  0 , где функция имеет непрерывные частные
производные. В общем случае такое уравнение определяет на плоскости множество точек.
Пусть в некоторой точке хотя бы одна из частных производных не равна нулю. Если
множество точек, удовлетворяющих уравнению не пусто и не содержит ни одной точки, в
которой обе производные были бы равны нулю одновременно, то в таком случае говорят, что
уравнение определяет на плоскости кривую, заданную неявно. Уравнения касательной и
Fy
F
( x  x0 ) .
нормали к ней в некоторой точке имеют вид. y  y 0   x ( x  x0 ) , y  y 0 
Fy
Fx
Касательная плоскость и нормаль к поверхности
82
Пусть поверхность задана уравнением F ( x, y, z )  0 .
Определение 8. Касательной плоскостью к поверхности в точке M называется
плоскость, в которой находятся касательные, проведенные в этой точке ко всем возможным
кривым, лежащим на поверхности и проходящим через точку M .
Можно показать, что уравнение касательной находится следующим образом
Fx ( x0 , y 0 , z 0 )( x  x0 )  Fy ( x0 , y 0 , z 0 )( y  y 0 )  Fz( x0 , y 0 , z 0 )( z  z 0 )  0 ,
если функция задана неявно. Для случая явного задания уравнение касательной имеет вид
f x ( x0 , y 0 )( x  x0 )  f y ( x0 , y 0 )( y  y 0 )  ( z  z 0 )  0 .
Направление, перпендикулярное к касательной плоскости, есть нормаль к
поверхности. Уравнение нормали соответственно задается следующим образом
( x  x0 )
( y  y0 )
( z  z0 )
(для неявного функции),


Fx ( x0 , y 0 , z 0 ) Fy ( x0 , y 0 , z 0 ) Fz( x0 , y 0 , z 0 )
( x  x0 )
( y  y0 )
( z  z0 )
(для явной функции).


f x ( x0 , y 0
f y ( x0 , y 0 )
1
Экстремум функций нескольких переменных
Пусть функция f ( x1 , x2 ,..., xn ) нескольких переменных определена в некоторой
замкнутой области и a1 , a 2 ,..., a n  есть некоторая внутренняя точка этой области.
Определение 9. Говорят, что функция f ( x1 , x2 ,..., xn ) имеет максимум (минимум) в
точке a1 , a 2 ,..., a n , если существует такая окрестность этой точки, что значение данной
функции в данной точке будет не меньше (не больше) значения этой функции в любой
другой точке из окрестности.
Максимумы и минимумы объединяют в понятие экстремумы. Как и для случая
функции одной переменно не следует смешивать понятия максимума (минимума) и
наибольшего (наименьшего) значения функции.
Возникает вопрос в каких случаях можно говорить о существовании в точке
максимума (минимума). Необходимое условие выражается теоремой
Теорема 5. Если функция f ( x1 , x2 ,..., xn ) , заданная в некоторой области D , имеет
экстремум в какой-либо ее точке a1 , a 2 ,..., a n , то все частные производные первого порядка
данной функции в этой точке (если они существуют) равны нулю.
Замечание. Необходимые условия экстремума могут быть сформулированы в
следующем виде: если в некоторой точке дифференцируемая функция имеет экстремум, то
полный дифференциал этой функции, вычисленный в указанной точке, равен нулю.
Замечание. Функция может иметь экстремум и в тех точках, в которых по крайней
мере одна из частных производных не существует.
Достаточные условия существования экстремума
Исследование функции нескольких переменных на экстремум в общем случае
является довольно сложной задачей по сравнению с аналогичным исследованием для
функции от одной переменной. Поэтому рассмотрим достаточные условия максимума и
минимума функции двух независимых переменных.
Теорема 6. Если функция z  f ( x, y ) в некоторой окрестности точки имеет частные
производные до второго порядка включительно, причем первые производные равны нулю, а
вторые частные производные непрерывны в точке, то функция в этой точке:
83
1) при   0,   f x2 f y2  ( f xy ) 2 имеет экстремум, именно максимум, если f x2  0 , и минимум, если f x2  0 ;
2) при А < 0 не имеет экстремума.
Замечание. Если   0 , то нужно проводить дополнительное исследование.
Чтобы найти точки экстремума данной функции двух независимых переменных x и
y , следует:
1. найти первые частные производные функции и определить действительные решения
 f x( x, y)  0
системы 
;

f
(
x
,
y
)

0
y

2. из всех решений взять только те, которые определяют внутренние точки области, в
которой задана функция;
3. найти все вторые частные производные от данной функции и вычислить их значения
для каждого решения системы;
4. составить   f x2 f y2  ( f xy ) 2 ;
5. при   0 функция имеет экстремум, а именно: максимум, если f x2  0 , или минимум, если f x2  0 ;
6. при А < 0 не имеет экстремума.