1

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

двух и более независимых переменных. Например, температура тела в данный момент времени t может изменяться от точки к точке, поэтому ее значения будут определяться значениями четырех переменных x , y , z , t , где x , y , z – координаты точки.

Определение 1. Если каждой паре ( )yx, значений двух независимых одна от другой, переменных величин x и y из некоторой области их изменения D соответствует определенное значение величины z , то мы говорим, что z есть функция двух независимых переменных x и y , определенная в области D .

Символически функция двух переменных обозначается ( )yxfz ,= ; ( )yxzz ,= . Функция f двух переменных x и y может быть задана

аналитическим, табличным, графическим и другими способами. Определение 2. Совокупность пар ( )yx, значений x и y , при которых

определена функция ( )yxfz ,= , называется областью определения или областью существования этой функции.

Линию, которая ограничивает данную область, называют границей области. Область определения функции ),( yxfz = есть некоторая совокупность точек на плоскости. В частности, областью определения функции ( )yxfz ,= может быть и вся плоскость. Точки области, не принадлежащие границе области, называются внутренними точками области. Область, которая состоит только из внутренних точек, называется открытой или незамкнутой. Если же к открытой области присоединяются и точки границы, то область называется замкнутой. Область называется ограниченной, если существует такая константа C , что расстояние произвольной точки M области от начала координат O меньше, чем C , т.е.

COM < . Определение функции двух переменных можно обобщить на случай

трех и более переменных. Определение 3. Если каждой совокупности значений переменных 1x ,

2x , …, nx соответствует определенное значение переменной ω , то будем называть ω функцией независимых переменных 1x , 2x , …, nx и писать

( )nxxxF ,...,, 21=ω . Аналогично, как и для функции двух переменных, можно говорить об

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

некоторая совокупность троек чисел ( )zyx ,, , а так как каждая тройка чисел задает некоторую точку ( )zyxM ,, в системе координат Oxyz , то область определения функции трех переменных есть некоторая совокупность точек

2

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

2. График функции двух переменных

Рассмотрим функцию ( )yxfz ,= , определенную в области D на плоскости Oxy (эта область может быть, в частности, и всей плоскостью), и систему прямоугольных декартовых координат Oxyz (рис.1). В каждой точке

),( yx восстановим перпендикуляр к плоскости Oxy , на котором отложим отрезок, равный ( )yxf , .

Рис. 1 Рис. 2 Тогда мы получаем в пространстве точку P с координатами

( ) ( )( )yxfyxzyx ,,,,, = (Рис. 1). Определение. Множество точек P , координаты которых

удовлетворяют уравнению ( )yxfz ,= , называется графиком функции двух переменных.

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

Например, график функции 22 yxz += есть параболоид вращения. Замечание. Функцию трех и более переменных отобразить с помощью

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

определения. Возьмем произвольную точку ( ) DyxM ∈, и придадим x приращение x∆ , а значение y оставим неизменным. Тогда функция

( )yxfz ,= получает приращение ( ) ( ) ( )yxfyxxfyxfz xx ,,, −∆+=∆=∆ ,

y

x

x

z P

y

D

0 y

x

z

0

3

которое называется частным приращением функции ( )yxfz ,= по переменной x в точке ( )yxM , .

Аналогично, считая x неизменной и придавая y приращение y∆ , получаем частное приращение функции ( )yxfz ,= по переменной y в точке

( )yxM , : ( ) ( ) ( )yxfyyxfyxfz yy ,,, −∆+=∆=∆ .

Полным приращением функции ( )yxfz ,= в точке ( )yxM , называется разность

( ) ( ) ( )yxfyyxxfyxfz ,,, −∆+∆+=∆=∆ . Геометрически частные и полное приращения функции zx∆ , zy∆ , z∆

можно изобразить отрезками 11BA , 22BA , 33BA (рис. 3)

Рис. 3

4. Предел функции двух и нескольких переменных Введем понятия δ -окрестности данной точки ( )000 , yxM и понятие

сходящейся последовательности точек плоскости. Определение 1. Множество ( )( )yxM , всех точек плоскости,

координаты x и y которых удовлетворяют неравенству

( ) ( ) δ<−+− 02

0 yyxx , или, короче ( ) δ<MMr 0 , называется δ - окрестностью точки ( )000 , yxM и обозначается ( )0xOδ .

Другими словами, δ -окрестность точки 0M – это все точки, которые находятся внутри круга с центром 0M .

Определение 2. Проколотой окрестностью точки 0M радиуса δ называется множество точек M , которые удовлетворяют неравенству

( ) δ<< MMr 00 ;

y

x

x

z

1A 2B

M

0

3B1B

zx∆

zy∆

z∆

y∆

x∆

3A

A2A

4

( ) ( ){ }δ<<=δ MMrMMOdef

00 0| . Рассмотрим последовательность точек ( )111 , yxM , ( )222 yxM , …,

( )nnn yxM , плоскости Oxy , которую обозначают ( )nM . Для задания последовательности ( )nM необходимо задать две

числовые последовательности ( )nx и ( )ny , так как точка на плоскости определяется двумя координатами.

Определение 3. Последовательность точек ( )nM называется сходящейся к точке ( )000 , yxM , если для каждого 0>ε существует номер такой ( ) 0>εN такой, что для ( )ε> Nn имеет место неравенство ( ) ε<nMMr 0 . При этом точка 0M называется пределом последовательности ( )nM .

Предел 0M последовательности ( )nM , ∞= ,1n обозначают 0lim MMnn=

∞→

или 0MMn → при ∞→n . Понятие сходящейся последовательности точек плоскости является обобщением понятия сходящейся числовой последовательности.

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

Определение 4. Число A называется пределом функции ( )yxfz ,= в точке ( )000 , yxM , если для каждой сходящейся к ( )000 , yxM последовательности точек ( )nnn yxM , , ∞= ,1n ( )( )0MOMn δ∈ соответствующая последовательность ( )1Mf , ( )2Mf , …, ( )nMf , …. значений функции сходится к A . Обозначают это следующим образом

( ) AMfMM

=→ 0

lim или ( ) Ayxfyyxx

=→→

,lim00

.

Символически:

( ) ( ) ( ) ( ) ( ) ( )0000 lim,,lim:,lim0

MfMfyxMyxMyxMMfA nnnnnnnnnMM

def

=⇒=∀⇔∞→∞→→=

. Аналогично, как и для функции одной переменной можно дать

эквивалентное определение предела на языке « δ−ε » (по Коши). Определение 5. Число A называется пределом функции ( )yxfz ,= при 0xx→ , 0yy→ , это значит в точке ( )000 , yxM , если для каждого 0>ε

существует ( ) 0>εδ такое, что для произвольной точки ( ) ( )0, MOyxM δ∈ имеет место неравенство ( ) ε<− Ayxf , .

Символически:

( ) ( ) ( ) ( ) ( )AOMfMOMyxfAyyxx

def

εδ→→

∈⇒∈∀>εδ∃>ε∀⇔= 0:00,lim00

.

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

5

Определение предела функции n переменных при 2>n тождественно определению предела функции двух переменных, если в пространстве n измерений ввести понятие δ -окрестности точки.

Определение 6. В n -мерном пространстве δ -окрестностью точки ( )00

2010 ,, nxxxM называется множество всех точек ( )nxxxM ,...,, 21 , расстояние

каждого из которых от точки 0M меньше чем δ , т.е.

( ) ( ) ( ) δ<−++−+− 202022

2011 ... nn xxxxxx .

Очевидно, что в пространстве трех измерений Oxyz ( 3=n ) δ -окрестностью точки ( )0000 ,, zyxM является множество всех внутренних точек шара с центром в точке 0M и радиусом δ .

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

Пример 1. Найти пределы:

а) yxy

yx

)sin(lim02

→→

; б) yxx

yx +→→

00

lim .

Решение. а) Так как функция не определена в предельной точке, то раскрываем неопределенность так, как и для функции одной переменной:

( ) 212sinlimlim)sin(lim022

02

=⋅=⋅=→→→

→→ xy

xyxyxy

yxx

yx

,

учитывая, что 1sinlim0

=αα

→α.

б)

xyyx

xyx

yx

+=

+ →→

→→

1

1limlim00

00

не существует, так как отношение xy не имеет

определенного предела при произвольном стремлении точки ( )yxM , к точке

( )0,00M . Например, если 0MM → вдоль прямой kxy = , то kxy= , т.е.

зависит от углового коэффициента прямой, по которой движется точка ( )yxM , .

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

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

Определение 1. Пусть на некотором множестве D определена функция ( ) ( )yxfMf ,= , точка ( ) DyxM ∈000 , и каждая δ -окрестность точки 0M

содержит точки множества D . Функция ( ) ( )yxfMfz ,== называется непрерывной в точке

( )000 , yxM , если предел функции в этой точке существует и равен значению функции в этой точке, т.е.

6

( ) ( )00

lim MfMfMM

=→

или ( ) ( )00 ,,lim00

yxfyxfyyxx

=→→

, (5.1)

при этом точка ( )yxM , стремится к точке ( )000 , yxM произвольным образом, оставаясь в области определения функции.

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

0M эквивалентно тому. что для каждой последовательности ( )nM , ( )DMn ∈ , такой, что 0lim MMnn

=∞→

, последовательность ( )( )0Mf сходится и

( ) ( )0lim MfMf nn=

∞→ или ( ) ( )00 ,,lim yxfyxf nnn

=∞→

.

Если обозначить xxx ∆+= 0 , yyy ∆+= 0 , то равенство (5.1) можно переписать так: ( ) ( )0000

00

,,lim yxfyyxxfyx

=∆+∆+→∆→∆

(5.1’)

или ( ) ( ) 0,,lim 0000

00

=−∆+∆+→∆→∆

yxfyyxxfyx

. (5.1”)

Обозначим ( ) ( )22 yxr ∆+∆=∆ . При 0→∆x и 0→∆y 0→∆r , и наоборот, если 0→∆r , то 0→∆x и 0→∆y .

Замечая далее, что выражение, находящееся в скобках в формуле (5.1”), является полным приращением z∆ функции ( )yxfz ,= . Равенство (5.1”) можно записать в виде 0lim

0=∆

→∆z

r. (5.1)

Таким образом, имеем Определение 2. Функция ( )Mfz = называется непрерывной в точке

( )000 , yxM , если ее полное приращение в этой точке есть бесконечно малая при 0MM → функция, т.е. ( ) ( )( )0

00

limlim MfMfzMMMM

−=∆→→

или 0lim0

=∆→∆z

r.

Это условие, очевидно, эквивалентно условию ( ) ( )00

lim MfMfMM

=→

из

определения 1. Сформулируем определение непрерывности функции, используя

определение предела функции в терминах « δ−ε ». Определение 3. Функция ( )Mfz = называется непрерывной в точке

0M , если для каждого 0>ε существует ( ) 0>εδ такое, что всех точке DM ∈ , которые удовлетворяют условию ( ) δ<0,MMr , имеет место неравенство ( ) ( ) ε<− 0MfMf .

Символически: ∀ 0>ε∀ ( ) 0>εδ∃ , DM ∈∀ , ( ) δ<0,MMr : ( ) ( ) ε<− 0MfMf .

Из определения 1 следует, что для непрерывности функции ( ) ( )yxfMf ,= в точке ( )000 , yxM необходимо и достаточно выполнение

следующих условий:

7

1. Функция ( ) ( )yxfMf ,= должна быть определена в точке ( )000 , yxM и некоторой окрестности этой точки.

2. Существует ( )MfMM 0

lim→

.

3. ( ) ( )00

lim MfMfMM

=→

.

Если в точке ( )11, yxN нарушается хотя бы одно из трех выше названных условий, то эта точка называется точкой разрыва функции

( )yxfz ,= . Это может произойти в следующих случаях: 1) ( )yxfz ,= определена во всех точках некоторой окрестности точки

( )yxN , , за исключением самой точки ( )11, yxN ; 2) функция ( )yxfz ,= определена во всех точках окрестности точки

( )11, yxN , но не существует предел ( )yxfyyxx

,lim11

→→

;

3) функция ( )yxfz ,= определена во всех точках окрестности точки ( )11, yxN и существует предел ( )yxf

yyxx

,lim11

→→

, но ( ) ( )11,,lim11

yxfyxfyyxx

≠→→

.

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

Пример 2. Найти точки разрыва функций:

а) ( ) ( )22 211

−+−=

yxz ; б)

22

1yx

z−

= ; в) 1

94

22

22

−++=

zyxu .

Решение. а) Данная функция определена на 2R всюду, кроме точки ( )2,10M , которая является точкой разрыва функции.

б) Функция 22

1yx

z−

= определена для произвольных yx, , таких, что

xy ±≠ . Таким образом, прямые xy ±= есть линии разрыва функции.

в) Функция 1

94

22

22

−++=

zyxu определена для произвольных zyx ,, ,

таких, что 194

222

≠++ zyx . Эллипсоид 194

222

=++ zyx и есть поверхность

разрыва функции. Определение 4. Функция ( )Pfu = называется непрерывной на

множестве D , если она непрерывная в каждой точке этого множества. Аналогично, как и для функции одной переменной, используя данные

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

8

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

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

Теорема 1. Если функция ( ) ( )yxfMfz ,== непрерывна в замкнутой ограниченной области, то она ограниченная в этой области, т.е. существует число C такое, что для всех точек области имеет место неравенство ( ) CMf ≤ .

Теорема 2. Если функция ( ) ( )yxfMfz ,== непрерывна в замкнутой и ограниченной области D , то она достигает в этой области, по крайней мере, один раз своего наибольшего значения M и наименьшего значения m .

Теорема 3. Если функция ( )Mfz = непрерывна в области, то она принимает все промежуточные значения между двумя произвольными своими значениями, это значит, если BCA << , где A и B – определенные значения функции ( )Mf в данной области, то в этой области существует точка 0M , такая, что ( ) CMf =0 .

Отсюда, в частности, следует, что если 1M и 2M – точки данной области и ( ) 01 <Mf , а ( ) 02 >Mf , то в области существует точка 0M , такая, что ( ) 00 =Mf .

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

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

геометрический смысл Определение 1. Частной производной функции ( )yxfz ,= по

переменной x в точке ( )000 , yxM называется предел отношения частного приращения функции zx∆ к соответствующему приращению аргумента x∆ , если x∆ произвольным образом стремится к нулю:

( ) ( )x

yxfyxxfx ∆

−∆+→∆

0000

0

,,lim .

Частная производная функции ( )yxfz ,= по переменной x в

произвольной точке ( )yxM , обозначается xz∂∂ , xz′ , x

f∂∂ , xf ′ ,

( )xyxf

∂∂ , , ( )

xyxz

∂∂ , ,

( )yxfx ,′ , ( )yxzx ,′ . Таким образом, по определению:

. Определение 2. Частной производной функции ( )yxfz ,= по

переменной y в точке ( )000 , yxM называется предел отношения частного

9

приращения функции zy∆ к соответствующему приращению аргумента y∆ , если y∆ произвольным образом стремится к нулю:

( ) ( )y

yxfyyxfy ∆

−∆+→∆

0000

0

,,lim .

Частная производная функции ( )yxfz ,= по переменной y в

произвольной точке ( )yxM , обозначается yz∂∂ , yz′ , y

f∂∂ , yf ′ ,

( )yyxf

∂∂ , , ( )

yyxz

∂∂ , ,

( )yxf y ,′ , ( )yxzy ,′ . Таким образом, по определению

( ) ( )y

yxfyyxfyz

yz

y

y

y

def

∆−∆+

=∆∆

=∂∂

→∆→∆

0000

00

,,limlim .

Частные приращения и частные производные функции n переменных в точке 0M при 2>n определяются и обозначаются аналогично. Например, для функции трех переменных ( )zyxfu ,,= частная производная по переменной x в точке ( )0000 ,, zyxM

( ) ( )x

zyxfzyxxfxu

xu

x

x

x ∆−∆+

=∆∆

=∂∂

→∆→∆

000000

00

,,,,limlim .

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

Пример 3. Найти частные производные функции yxz arctg= .

Решение. Частную производную xz∂∂ находим как производную данной

функции по x , считая y неименной. Тогда

222

1

1

1yxy

yyxx

z+

=⋅

⎟⎟⎠

⎞⎜⎜⎝

⎛+

=∂∂ .

Аналогично

2222

1

1

1yxx

yx

yxy

z+

−=⎟⎟⎠

⎞⎜⎜⎝

⎛−⋅⋅

⎟⎟⎠

⎞⎜⎜⎝

⎛+

=∂∂ .

10

Отметим, что частные производные xz∂∂ ,

yz∂∂ функции ( )yxfz ,= мы

определили в такой точке M , в окрестности которой функция определена, т.е. во внутренней точке области определения функции. Если ( )yxM , – граничная точка области определения функции, то zx∆ ( zy∆ ) может быть не определена, так как точки ( )yxxM ,1 ∆+ , ( )yyxM ∆+,2 могут не принадлежать области определения функции ни при каких 0≠∆x ( 0≠∆y ). Это, например, имеет место для точки 0M на рис. 4.

Рис. 4.

В этом случае, если существует частная производная xz∂∂ во внутренних

точках M области и существует ( )MzxMM′

→ 0

lim , то на основании определения

считают ( ) ( )MzMz xMMx ′=′

→ 0

lim0 .

Аналогично определяется ( )0Mzy′ .

Выясним геометрический смысл частной производной xz∂∂ функции

( )yxfz ,= . График функции ( )yxfz ,= есть некоторая поверхность ( )σ . На поверхности ( )σ ей соответствует точка ( )0000 ,, zyxP . Пусть плоскость 0yy = пересекает график данной функции, т.е. поверхность ( )σ . В результате пересечения получаем кривую ( )0, yxfz = (на рис. 5 это кривая BAP0 ), которую можно рассматривать как график функции одной переменной

( )0, yxfz = в плоскости 0yy = .

0M

0

y

x

11

Рис. 5.

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

одной переменной значение частной производной xz∂∂ функции ( )yxfz ,= в

точке ( )000 , yxM равно тангенсу угла α , который образован положительным направлением оси Ox и касательной, проведенной в точке ( )0000 ,, zyxP к линии пересечения поверхности ( )yxfz ,= и плоскости 0yy = (см. рис. 5).

7. Частные производные высших порядков

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

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

( ) xxxx fyxfxz

xz

xxxz

′′=′′=∂∂

=⎟⎠⎞

⎜⎝⎛∂∂

∂∂

=∂

⎟⎠⎞

⎜⎝⎛∂∂

∂,

2

2

,

( ) yyyy fyxfyz

yz

yyyz

′′=′′=∂∂

=⎟⎟⎠

⎞⎜⎜⎝

⎛∂∂

∂∂

=∂

⎟⎟⎠

⎞⎜⎜⎝

⎛∂∂

∂,2

2

,

( ) yxyx fyxfxyz

yz

xxyz

′′=′′=∂∂

∂=⎟⎟

⎠

⎞⎜⎜⎝

⎛∂∂

∂∂

=∂

⎟⎟⎠

⎞⎜⎜⎝

⎛∂∂

∂,

2

,

0

0M

z

y

x

( )σ

α

0y

N

0PB

12

( ) xyxy fyxfyxz

xz

yyxz

′′=′′=∂∂

∂=⎟

⎠⎞

⎜⎝⎛∂∂

∂∂

=∂

⎟⎠⎞

⎜⎝⎛∂∂

∂,

2

.

Частные производные от частных производных второго порядка называются частными производными третьего порядка.

Функция имеет восемь частных производных третьего порядка

3

3

xz

∂∂ ,

yxz∂∂

∂2

3

, xyxz∂∂∂

∂3

, 2

3

yxz∂∂∂ ,

2

3

xyz∂∂∂ ,

yxyz∂∂∂

∂3

, xyz∂∂

∂2

3

, 3

3

yz

∂∂ .

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

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

Пример 4. Найти смешанные частные производные второго порядка 43yxz = . Решение. Находим частные производные первого порядка:

423 yxxz=

∂∂ , 334 yx

yz=

∂∂ .

Затем находим частные производные второго порядка:

( ) 32422

123 yxyxyz

yyxz

y =′=⎟⎟

⎠

⎞⎜⎜⎝

⎛∂∂

∂∂

=∂∂

∂ ,

( ) 32332

124 yxyxyz

xxyz

x =′=⎟⎟

⎠

⎞⎜⎜⎝

⎛∂∂

∂∂

=∂∂

∂ .

Заметим здесь, что смешанные частные производные yxz∂∂

∂2

и xyz∂∂

∂2

,

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

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

В частности, для функции двух переменных ( )yxfz ,= имеем

xyz

yxz

∂∂∂

=∂∂

∂ 22

.

8. Полный дифференциал функции

13

Определение 1. Функция ( )yxfz ,= называется дифференцируемой в точке ( )yxM , , если ее полное приращение z∆ можно представить в виде ( )yxyBxAz ∆∆ω+∆⋅+∆⋅=∆ , , (8.1) где x∆ и y∆ – произвольные приращения аргументов x и y в некоторой окрестности точки ( )yxM , ; A и B – константы (т.е. величины, не зависящие от x∆ и y∆ ); ( )yx ∆∆ω , – бесконечно малая более высокого порядка малости,

чем расстояние ( ) ( )22 yxr ∆+∆=∆ между точками ( )yxM , и

( )yyxxM ∆+∆+ ,1 (это значит, что ( ) 0,lim0

=∆∆∆ω

→ ryx

r).

Таким образом, если функция ( )yxfz ,= дифференцируема в данной точке, то на основании формулы (8.1) ее полное приращение в этой точке состоит из главной части приращения yBxA ∆⋅+∆⋅ , линейной относительно x∆ и y∆ , и нелинейной части ( )yx ∆∆ω , более высокого порядка малости, чем

главная часть приращения. Определение 2. Главная часть приращения функции ( )yxfz ,= ,

линейная относительно приращений ее аргументов x∆ и y∆ , называется полным дифференциалом этой функции и обозначается символом dz или

( )yxdf , , т.е. yBxAdz ∆⋅+∆⋅= . (8.2)

В выражении для дифференциала yBxA ∆⋅+∆⋅ величины A и B не зависят от x∆ и y∆ , но зависят от точки ( )yxM , , в которой рассматривается этот дифференциал. Другими словами, A и B есть функции x и y . Вид этих функций устанавливает следующая теорема.

Теорема 1 (необходимые условия дифференцируемости). Если функция ( )yxfz ,= в точке ( )yxM , дифференцируема (т.е. имеет дифференциал

yBxA ∆⋅+∆⋅ ), то она имеет в точке ( )yxM , первые частные производные xz∂∂

и yz∂∂ , при этом A

xz=

∂∂ , B

yz=

∂∂ .

Доказательство. Так как по условию теоремы функция ( )yxfz ,= дифференцируема в

точке ( )yxM , , то ее полное приращение z∆ в этой точке выражается по формуле (8.1), которая имеет место для произвольных достаточно малых x∆ и y∆ . Возьмем 0=∆y , а 0≠∆x . Но тогда приращение функции z∆ становится частным приращением zx∆ и формула (8.1) примет вид

ω+∆⋅=∆ xAzx . Разделяя обе части этого равенства на x∆ и переходя к пределу при 0→∆x . получаем

14

xA

xz

x

x

x ∆ω

+=∆∆

→∆→∆ 00limlim .

Покажем, что 0lim0

=∆ω

→∆ xx. В самом деле, так как 0=∆y , то

( ) ( ) xyxr ∆=∆+∆=∆ 22 . Следовательно,

0limlimlim000

=∆ω

±=∆ω

±=∆ω

→∆→∆→∆ rxx rxx.

Таким образом, xzx

x ∆∆

→∆ 0lim существует и равен A . Но

xz

xzx

x ∂∂

=∆∆

→∆ 0lim , и

поэтому частная производная xz∂∂ в точке ( )yxM , существует и равна A .

Аналогично можно показать, что частная производная yz∂∂ в точке ( )yxM ,

существует и равна B . Заменяя теперь в формулах (8.1) и (8.2) A и B частными

производными xz∂∂ и

yz∂∂ , получаем

( )yxyyzx

xzz ∆∆ω+∆⋅

∂∂

+∆⋅∂∂

=∆ , , (8.3)

yyzx

xzz ∆⋅

∂∂

+∆⋅∂∂

=∆ .

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

Теорема 2 (достаточные условия дифференцируемости). Если функция ( )yxfz ,= имеет частные производные в некоторой окрестности точки

( )yxM , и эти производные непрерывны в самой точке ( )yxM , , то функция ( )yxfz ,= дифференцируема в этой точке. Доказательство. Придадим переменным x и y настолько малые

приращения x∆ и y∆ , чтобы точка ( )yyxxM ∆+∆+ ,1 не вышла за границы указанной окрестности точки M .

Представим полное приращение функции в следующем виде: ( ) ( ) ( ) ( )( )

( ) ( )( )yxfyyxfyyxfyyxxfyxfyyxxfz

,,,,,,

−∆+++∆+−∆+∆+=−∆+∆+=∆

Выражение ( ) ( )yyxfyyxxf ∆+−∆+∆+ ,, можно рассматривать как приращение функции ( )yyxf ∆+, одной переменной x (второй аргумент имеет постоянное значение, равное yy ∆+ ).

15

Так как по условию теоремы эта функция имеет производную ( )yyxfx ∆+′ , , то на основании теоремы Лагранжа имеем

( ) ( ) ( ) xyyxxfyxfyyxxf x ∆⋅∆+∆⋅θ+′=−∆+∆+ ,,, 1 , 10 1 <θ< . Рассуждая аналогично, для выражения ( ) ( )yxfyyxf ,, −∆+ имеем

( ) ( ) ( ) yyyxfyxfyyxf y ∆⋅∆⋅θ+′=−∆+ 2,,, , 10 2 <θ< . Производные xf ′ и yf ′ непрерывны в точке ( )yxM , , поэтому

( ) ( )yxfyyxxf xxyx

,,lim 100

′=∆+∆θ+′→∆→∆

,

( ) ( )yxfyyxf yyyx

,,lim 200

′=∆θ++′→∆→∆

.

Из последних равенств, согласно с определением предела, следует, что ( ) ( ) ( )yxyxfyyxxf xx ∆∆α+′=∆+∆θ+′ ,,,1 , ( ) ( ) ( )yxyxfyyxf yy ∆∆β+′=∆θ+′ ,,, 2 ,

где ( )yx ∆∆α , и ( )yx ∆∆β . – бесконечно малые функции при 0→∆x , 0→∆y . Подставляя полученные выражения в формулу для z∆ , находим ( ) ( ) ( ) ( ) yyxxyxyyxfxyxfz yx ∆⋅∆∆β+∆⋅∆∆α+∆⋅′+∆⋅′=∆ ,,,, , (8.5) а это и означает, что функция ( )yxfz ,= дифференцируема в точке M .

Следствие. Из непрерывности частных производных следует непрерывность самой функции.

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

Как и в случае функции одной переменной, для приращения независимых переменных x и y имеют место равенства dxx =∆ , dyy =∆ .

Тогда выражение для дифференциала функции двух переменных примет вид

dyyzdx

xzdz ⋅

∂∂

+⋅∂∂

=

или ( ) ( )dyyxfdxyxfdz yx ,, ′+′= .

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

( )zyxzzuy

yux

xuu ∆∆∆ω+∆

∂∂

+∆∂∂

+∆∂∂

=∆ ,,

при условии, что 0lim0

=∆ω

→ rr, ( ) ( ) ( )222 zyxr ∆+∆+∆=∆ , а ее полный

дифференциал имеет вид

16

dzzudy

yudx

xudu ⋅

∂∂

+⋅∂∂

+⋅∂∂

= .

Пример 5. Найти полный дифференциал функции 32 yxez += .

Решение. Замечая, что частные производные 32

2 yxexxz +⋅=∂∂ ,

3223 yxeyyz +⋅=∂∂

непрерывны при всех значениях x , y , z , находим

( )dyyxdxedyyzdx

xzdz yx 232

32

+=∂∂

+∂∂

= + .

9. Применение полного дифференциала в приближенных вычислениях

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

( ) ( ) ( )yxyyxfxyxfz yx ∆∆ω+∆⋅′+∆⋅′=∆ ,,, ,

( )yx ∆∆ω , стремится к нулю быстрее, чем ( ) ( )22 yxr ∆+∆=∆ . Поэтому при малых r , т.е. при малых x∆ и y∆ слагаемые ( )yx ∆∆ω , можно отбросить и писать

( ) ( ) yyxfxyxfz yx ∆⋅′+∆⋅′≈∆ ,, , это значит, приращение функции приближенно можно заменить ее полным дифференциалом.

Так как для функции ( )yxfz ,= ( ) ( )yxfyyxxfz ,, −∆+∆+=∆ ,

то, подставляя сюда вместо z∆ его приближенное значение, получаем ( ) ( ) ( ) ( ) yyxfxyxfyxfyyxxf yx ∆⋅′+∆⋅′≈−∆+∆+ ,,,, ,

откуда ( ) ( ) ( ) ( ) yyxfxyxfyxfyyxxf yx ∆⋅′+∆⋅′+≈∆+∆+ ,,,, .

Последней формулой можно пользоваться для приближенных вычислений значений функции двух переменных в точке ( )yyxxM ∆+∆+ 00 , , близкой к точке ( )000 , yxM , если известны значения функции и ее частных производных в самой точке ( )000 , yxM : ( ) ( ) ( ) ( ) yyxfxyxfyxfyyxxf yx ∆⋅′+∆⋅′+≈∆+∆+ 00000000 ,,,, . (9.1)

Аналогичные формулы имеют место для функции n переменных при 2>n . Например, при 3=n

( )( ) ( ) ( ) ( ) .,,,,,,,,

,,

000000000000

000

zzyxfyzyxfxzyxfzyxfzzyyxxf

zyx ∆⋅′+∆⋅′+∆⋅′+≈≈∆+∆+∆+

Пример 6. Вычислить приближенно 1,04)(arctg .

17

Решение. Используем формулу (9.1). Здесь ( ) xxf arctg= , 10 =x ,

04,0=∆x , ( )201

1x

xf+

=′ .

Тогда

!746805,002,0785,002,04

04,011

11arctg)04,1(arctg 02 ≈≈+≈+

π≅⋅

++≈ .

10. Дифференцирование сложной функции

Пусть ( )vufz ,= – функция двух переменных, каждая из которых в свою очередь есть функция независимых переменных x и y :

( )yxuu ,= , ( )yxvv ,= . Тогда ( ) ( )( ) ( )yxFyxvyxufz ,,,, == – сложная функция двух

независимых переменных x и y , а переменные u и v – промежуточные аргументы.

Теорема. Если функция ( )vufz ,= дифференцируемая в точке ( ) yvuP ∈000 , , а функции ( )yxuu ,= , ( )yxvv ,= дифференцируемые в точке ( ) ( )fDyxM ∈000 , , то сложная функция ( )vufz ,= , где ( )yxuu ,= , ( )yxvv ,=

дифференцируема в точке ( ) ( )fDyxM ∈000 , , а ее частные производные находятся по формулах:

xv

vz

xu

uz

xz

∂∂⋅

∂∂

+∂∂⋅

∂∂

=∂∂ , (10.1)

yv

vz

yu

uz

yz

∂∂⋅

∂∂

+∂∂⋅

∂∂

=∂∂ ,

или, используя более короткую запись xvxux vzuzz ′⋅′+′⋅′=′ , yvyuy vzuzz ′⋅′+′⋅′=′ .

Доказательство. Докажем первую из формул (10.1). В точке ( )000 , yxP переменной x придадим приращение x∆ , сохраняя значение y неизменным. Тогда функции u и v получают частные приращения ux∆ , vx∆ , а функция z полное приращение z∆ (так как ux∆ , vx∆ – приращения по обеим промежуточным аргументам). Функция ( )vufz ,= , дифференцируема в точке

( )000 ,vuM , поэтому ее приращение в этой точке можно представить в виде

( ) ( ) vvuuvuvvzu

uzz xxxxxxxx ∆⋅∆∆β+∆⋅∆∆α+∆⋅

∂∂

+∆⋅∂∂

=∆ ,, .

Разделим обе части этого равенства на 0≠∆x :

( ) ( ) vvux

uvuxx

vvz

xu

uz

xz

xxxxxxxx ∆⋅∆∆β⋅

∆+∆⋅∆∆α⋅

∆+

∆∆⋅

∂∂

+∆∆⋅

∂∂

=∆∆ ,1,1 .

Если 0→∆x , то 0→∆ ux и 0→∆ vx на основании непрерывности функций ( )yxu , и ( )yxv , . Но тогда ( )vu xx ∆∆α , и ( )vu xx ∆∆β , также стремятся к нулю. Переходя к пределу при 0→∆x , получаем

18

xu

xux

x ∂∂

=∆∆

→∆ 0lim ,

xv

xvx

x ∂∂

=∆∆

→∆ 0lim ,

xz

xz

x ∂∂

=∆∆

→∆ 0lim ,

( ) 0,lim0

=∆∆⋅∆∆α

→∆ xuvu x

xxx, ( ) 0,lim

0=

∆∆⋅∆∆β

→∆ xvvu x

xxx,

и, следовательно,

xv

vz

xu

uz

xz

∂∂⋅

∂∂

+∂∂⋅

∂∂

=∂∂ .

Аналогично можно доказать, что

yv

vz

yu

uz

yz

∂∂⋅

∂∂

+∂∂⋅

∂∂

=∂∂ .

Рассмотрим функцию трех переменных ( )tvuf ,,=ω , каждая из которых в свою очередь есть функция независимых переменных x , y , z :

( )zyxuu ,,= , ( )zyxvv ,,= , ( )zyxtt ,.,= . Тогда функция ( ) ( ) ( )( ) ( )zyxFzyxtzyxvzyxuf ,,,,,,,,,, ==ω является

сложной функцией трех независимых переменных x , y , z , а переменные u , v , t называются промежуточными. Частные производные этой функции находятся по формулах

xtxvxux tvu ′⋅ω′+′⋅ω′+′⋅ω′=ω′ , ytyvyuy tvu ′⋅ω′+′⋅ω′+′⋅ω′=ω′ ,

ztzvzuz tvu ′⋅ω′+′⋅ω′+′⋅ω′=ω′ . Рассмотрим частные случаи задания сложной функции ( )tvuf ,,=ω . 1. Пусть ( )tvuf ,,=ω , ( )yxuu ,= , ( )yxvv ,= , ( )yxtt ,= . Тогда ( ) ( ) ( )( ) ( )yxFyxtyxvyxuf ,,,,,, ==ω является сложной функцией только двух

аргументов, и, следовательно, имеем две частные производные x∂ω∂ ,

y∂ω∂ .

2. Пусть ( )uyxfz ,,= , ( )xyy = , ( )xuu = . Очевидно, что ( ) ( )( ) ( )xFxuxyxfz == ,, является функцией одной переменной x , и можно

ставить вопрос о нахождении dxdz .

Эта производная находится по первой из формул (10.1):

xu

uz

xy

yz

xx

xz

dxdz

∂∂⋅

∂∂

+∂∂⋅

∂∂

+∂∂⋅

∂∂

= .

Так как ( )xyy = , ( )xuu = – функции только одной переменной x , то их частные производные превращаются в обыкновенные производные. Кроме

того, 1=∂∂xx , поэтому имеем

xu

uz

xy

yz

xz

dxdz

∂∂⋅

∂∂

+∂∂⋅

∂∂

+∂∂

= . (10.2)

19

Производная dxdz сложной функции ( ) ( )( )xuxyxfz ,,= , найденная по

формуле (10.2), называется полной производной. Между частной xz∂∂ и

полной dxdz производными, которые входят в формулу (10.2) есть

существенная разница. Полная производная dxdz – это обыкновенная

производная от z как функция x , а xz∂∂ есть частная производная от z по

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

Для функции трех переменных ( )zyxFu ,,= , где ( )txx = , ( )tyy = , ( )tzz = , имеем

dtz

zu

dty

yu

dtx

xu

dtdu ∂

⋅∂∂

+∂⋅

∂∂

+∂⋅

∂∂

= . (10.2)

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

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

переменных 22 vuz ⋅= , где yxu += 2 , yxv = .

Решение. Имеем 22uvuz=

∂∂ , 22vu

vz=

∂∂ , 2=

∂∂xu , 1=

∂∂yu ,

yxv 1=

∂∂ , 2y

xyv −=

∂∂ .

Используя формулы (10.1), получаем:

( )

( ) ( )yxyxyx

yyx

yxyx

yx

yuvuv

yvuvu

xv

vz

xu

uz

dxdz

+⋅+=

=⎟⎟⎠

⎞⎜⎜⎝

⎛ +++=⎟⎟

⎠

⎞⎜⎜⎝

⎛+=⋅+⋅⋅=

∂∂⋅

∂∂

+∂∂⋅

∂∂

=

322

222221222

2

22

( ) ( ) ( ).22222

2212

3

3

2

2222

yxyx

yyxx

yxyx

yx

yuxvuv

yxvuvu

yv

vz

yu

uz

dydz

+−=⎟⎟⎠

⎞⎜⎜⎝

⎛ +−+=

=⎟⎟⎠

⎞⎜⎜⎝

⎛−=⎟⎟

⎠

⎞⎜⎜⎝

⎛−⋅+⋅⋅=

∂∂⋅

∂∂

+∂∂⋅

∂∂

=

Пример 8. Найти полную производную сложной функции ( )yx eez −+= ln , где 2tx = , 3ty = .

Решение. Имеем yx

x

eee

xz

−+=

∂∂ , yx

y

eee

yz

−

−

+−=

∂∂ , t

dtdx 2= , 23t

dtdy

= .

Используя формулу (10.2), получаем

20

tee

eteee

dty

yz

dtx

xz

dxdz

yx

y

yx

x

32 ⋅+

=⋅+

=∂⋅

∂∂

+∂⋅

∂∂

=−

−

−.

Учитывая, что 2tx = , 3ty = , находим

( )32

3232

3

32

2

3232 2 tttttt

t

tt

t

teeeett

eeet

eee

dxdz −

−−

−

−−

+=⋅

+−⋅

+= .

11. Инвариантность формы полного дифференциала

Как известно, для дифференциала функции одной переменной ( )xfy = имеет место инвариантность его формы. Это означает, что выражение для дифференциала ( )dxxfdy ′= остается правильным независимо от того, является x независимой переменной или функцией некоторой переменной

( )tx ϕ= . Найдем теперь полный дифференциал сложной функции

( ) ( )( )yxvyxufz ,,,= в точке ( )000 , yxM . Подставим выражения xz∂∂ ,

yz∂∂ ,

определенные равенствами (10.1) в формулу полного дифференциала сложной функции двух переменных

dyyzdx

xzdz ⋅

∂∂

+⋅∂∂

= . (11.1)

Получаем

dyyv

vz

yu

uzdx

xv

vz

xu

uzdz ⎟⎟

⎠

⎞⎜⎜⎝

⎛∂∂⋅

∂∂

+∂∂⋅

∂∂

+⎟⎠⎞

⎜⎝⎛

∂∂⋅

∂∂

+∂∂⋅

∂∂

=

или

⎟⎟⎠

⎞⎜⎜⎝

⎛∂∂

+∂∂

∂∂

+⎟⎟⎠

⎞⎜⎜⎝

⎛∂∂

+∂∂

∂∂

= dyyvdx

xv

vzdy

yudx

xu

uzdz .

Так как dudyyudx

xu

=∂∂

+∂∂ , dvdy

yvdx

xv

=∂∂

+∂∂ , то dv

vzdu

uzdz ⋅

∂∂

+⋅∂∂

= (11.2).

Сравнивая формулы (11.1) и (11.2), замечаем, что форма записей полного дифференциала функции двух переменных не зависит от того, являются u и v независимыми переменными или функциями других независимых переменных. отсюда и следует инвариантность формы первого дифференциала функции нескольких переменных.

12. Производная от функции, заданной неявно

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

Теорема. Пусть некоторая функция ( )xfy = задана неявно уравнением ( ) 0, =yxF , (12.1)

21

где ( )yxF , , ( )yxFx ,′ , ( )yxFy ,′ – непрерывные функции в некоторой области D , которая содержит точку ( )yx, , координаты которой удовлетворяют уравнению (12.1), кроме того в этой точке ( ) 0, ≠′ yxFy .

Тогда функция y от x имеет производную

( )( )yxFyxFy

y

xx ,

,′′

−=′ . (12.2)

Доказательство. Пусть некоторому значению x соответствует определенное значение функции y . При этом ( ) 0, =yxF .

Придадим независимой переменной x приращение x∆ , тогда функция y получит приращение y∆ , т.е. значению аргумента xx ∆+ соответствует значение функции yy ∆+ . На основании уравнения ( ) 0, =yxF будем иметь

( ) 0, =∆+∆+ yyxxF . Следовательно, ( ) ( ) 0,, =−∆+∆+ yxFyyxxF . Так как левая часть последнего равенства есть полное приращение

функции двух переменных, то его можно на основании (8.5) записать так:

( ) ( ) ( ) ( ) yyxxyxyyFx

xFyxFyyxxF ∆⋅∆∆β+∆⋅∆∆α+∆⋅

∂∂

+∆⋅∂∂

=−∆+∆+ ,,,, ,

где ( )yx ∆∆α , и ( )yx ∆∆β , стремятся к нулю при стремлении к нулю x∆ и y∆ . Так как левая часть последнего равенства равна нулю, можно записать:

( ) ( ) 0,, =∆⋅∆∆β+∆⋅∆∆α+∆⋅∂∂

+∆⋅∂∂ yyxxyxy

yFx

xF .

Разделив обе части последнего равенства на x∆ , выразим xy

∆∆ :

( )

( )yxyF

yxxF

xy

∆∆β+∂∂

∆∆α+∂∂

−=∆∆

,

,.

Переходя к пределу при 0→∆x в последнем равенстве и учитывая, что

при этом ( )yx ∆∆α , и ( )yx ∆∆β , также стремятся к нулю и что 0≠∂∂yF , в

результате получаем

yFxF

dxdy

∂∂∂∂

−= .

Мы доказали и существование производной dxdy от функции, заданной

неявно, и нашли формулу для ее вычисления. Рассмотрим теперь уравнение вида

22

( ) 0,, =zyxF . (12.3) Если каждой паре чисел x , y из некоторой области соответствует одно

или несколько значений z , которые удовлетворяют уравнению (12.3), то это уравнение неявно определяет одно или несколько значений однозначных функций z от x и y .

Например, уравнение 02222 =−++ Rzyx неявно определяет две непрерывные функции z от x и y , которые можно выразить явно, разрешая уравнение относительно z ; в этом случае мы получаем

222 yxRz −−= и 222 yxRz −−−= .

Найдем частные производные xz∂∂ и

yz∂∂ неявной функции z от x и y ,

определенной уравнением (12.3). Если мы находим xz∂∂ , то считаем y

неизменным. Поэтому здесь можно использовать формулу (12.2), если только считать x независимой переменной, а функцией z . Следовательно,

zFxF

xz

∂∂∂∂

−=∂∂ .

Таким же образом находим

zFyF

yz

∂∂∂∂

−=∂∂ .

При этом считаем, что 0≠∂∂zF .

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

Замечание. Все рассуждения этого параграфа проводились при допущении, что уравнение ( ) 0, =yxF определяет некоторую функцию одной переменной ( )xy ϕ= ; уравнение ( ) 0., =zyxF определяет некоторую функцию двух переменных ( )yxfz ,= . Приведем без доказательства теорему, которая определяет, каким условиям должна удовлетворять функция ( )yxF , , чтобы уравнение ( ) 0, =yxF определяло бы функцию ( )xy ϕ= .

Теорема. Пусть функция ( )yxF , непрерывна в окрестности точки ( )00 , yx и имеет там непрерывные частные производные, причем ( ) 0, ≠′ yxFy и пусть ( ) 0, 00 =yxF . Тогда существует окрестность, которая содержит точку ( )00 , yx , в которой уравнение ( ) 0, =yxF определяет однозначную функцию

( )xy ϕ= .

23

Аналогичная теорема имеет место и для условий существования неявной функции, которая определяется уравнением ( ) 0,, =zyxF .

Замечание. Все рассуждения этого параграфа проводились при допущении, что уравнение ( ) 0, =yxF определяет некоторую функцию двух переменных ( )yxfz ,= . Приведем без доказательства теорему, которая определяет, каким условиям должна удовлетворять функция ( )yxF , , чтобы уравнение ( ) 0, =yxF определяло бы функцию ( )xy ϕ= .

Теорема. Пусть функция ( )yxF , непрерывна в окрестности точки ( )00 , yx и имеет там непрерывные частные производные, причем ( ) 0, ≠′ yxFy и пусть ( ) 0, 00 =yxF . Тогда существует окрестность, которая содержит точку ( )00 , yx , в которой уравнение ( ) 0, =yxF определяет однозначную функцию

( )xy ϕ= . Аналогичная теорема имеет место и для условий существования

неявной функции, которая определяется уравнением ( ) 0,, =zyxF . Замечание. При выводе правил дифференцирования неявных функций

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

Пример 9. Найти производную функции, заданной неявно уравнением ( ) 0sin 2 =−− yxexy xy .

Решение. Имеем ( ) ( ) yxexyyxF xy 2sin, −−= , ( ) xyyexyyxF xy 2cos −−=∂∂ ,

xyyexyxyF xy 2)cos( −−=∂∂ , ( ) 2cos xxexyx

yF xy −−=∂∂ .

Тогда получаем

( )( )

( )( )( )( )xexyx

xxyeyxxexyxxyxyyye

yFxF

dxdy

xy

xy

xy

xy

−−+−

=−−+−

=

∂∂∂∂

−=cos

coscos

2cos2 .

Пример 10. Найти частные производные неявной функции 02242 2 =++−+ zxz

Решение. Имеем ( ) 02242,, 222 =++−+−= zxzyxzyxF , 42 −=∂∂ xxF ,

yyF 4−=∂∂ , 22 +=

∂∂ zzF .

Следовательно,

12

2242

+−

=+−

−=

∂∂∂∂

−=∂∂

zz

zx

zFxF

xz , ( )

12

224

+=

+−

−=

∂∂∂∂

−=∂∂

zy

zy

zFyF

yz .

24

13. Скалярное поле 13.1 Скалярное поле и его геометрическое изображение Определение. Скалярным полем называется часть пространства (или

все пространство), каждой точке M которой соответствует численное значение некоторой скалярной величины u .

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

( )Mfu = . Эта функция называется функцией поля. Если в пространстве выбрана система координат Oxyz , то скалярная величина u является функцией координат x , y , z , т.е.

( ) ( )zyxfMfu ,,== Наоборот, каждая функция трех переменных ( )zyxfu ,,= задает

некоторое скалярное поле. Геометрическим изображением скалярного поля являются поверхности

уровня. Определение. Поверхностью уровня (или эквипотенциальной

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

Уравнение поверхности уровня имеет вид: ( ) CzyxF =,, .

Придавая C разные значения, получаем семейство поверхностей уровня. Например, если поле задано функцией 222 zyxu ++= , то поверхностями уровня являются сферы 2222 Czyx =++ с центром в начале координат. Если скалярное поле есть поле распределения температуры в некоторой части пространства, то поверхностями уровня будут изотермические поверхности, т.е. поверхности, на каждой из которых температура неизменная.

Наряду со скалярными полями в пространстве рассматриваются также плоские скалярные поля. Плоское скалярное поле определяется как часть плоскости (или вся плоскость), каждой точке ( )yxM , которой соответствует численное значение скалярной величины z . Функция плоского скалярного поля зависит от двух переменных: ( )yxfz ,= . Плоские скалярные поля геометрически изображается с помощью т.н. линий уровня. Линии уровня определяются как множество точек плоскости, в которых функция плоского скалярного поля имеет одно и то же значение. Для функции ( )yxfz ,= плоского скалярного поля уравнение линии уровня имеет вид

25

( ) Cyxf =, , где C – константа.

Например, для плоского скалярного поля, заданного функцией 22 yxz −= , линиями уровня являются равнобочные гиперболы Cyx =− 22

(рис. 6).

Рис. 6

При 0=C получаем 022 =− yx или ( ) ( ) 0=+⋅− yxyx . Это означает, что асимптоты гипербол xy = и xy −= (биссектрисы координатных углов) также являются линиями уровня данного поля.

13.2 Производная по направлению Пусть задана дифференцируемая функция скалярного поля ( )zyxfu ,,= . Рассмотрим точку ( )zyxM ,, этого поля и произвольный

единичный вектор kji ⋅γ+⋅β+⋅α= coscoscos ,

который выходит из точки N , а α , β , γ – углы вектора с осями координат. Для характеристики скорости изменения функции в точке ( )zyxM ,, по

направлению вектора введем понятие производной по направлению. Для этого проведем через точку M луч так, чтобы одно из направлений на нем совпадало с направлением вектора . Пусть ( )zzyyxxM ∆+∆+∆+ ,,1 – какая-нибудь другая точка этого луча.

Разность значений функции u скалярного поля в точках M и 1M назовем приращением этой функции по направлению и обозначим через u∆ . Тогда

( ) ( )zyxfzzyyxxfu ,,,, −∆+∆+∆+=∆ . Обозначим через ∆ расстояние между точками M и 1M : 1MM=∆ .

0

y

x

26

Определение. Предел отношения ∆∆ u при 0→∆ ( MM →1 ), если он

существует, называется производной функции ( )zyxfu ,,= в точке ( )zyxM ,,

по направлению вектора и обозначается ∂∂u , это значит

∂∂

=∆∆

→∆

uu0

lim .

Заметим, что если производная функции u в точке ( )zyxM ,, по данному направлению положительная, то функция u по этому

направлению возрастает, если же 0<∂∂u , то функция u по направлению

убывает. Можно говорить, что производная ∂∂u дает скорость изменения

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

Заметим, что приращения x∆ , y∆ , z∆ координат точки M связаны с длиной отрезка ∆=1MM и направляющими косинусами вектора следующими соотношениями (рис. 7):

α⋅∆=∆ cosx , β⋅∆=∆ cosy , γ⋅∆=∆ cosz .

Рис. 7.

Так как функция u по условию дифференцируемая, то ее приращение u∆ в точке ( )zyxM ,, направлении можно представить в виде

( ) ( ) ( ) ( )zyxzzyxfyzyxfxzyxfu zyx ∆∆∆ω+∆⋅′+∆⋅′+∆⋅′=∆ ,,,,,,,, ,

причем ω стремится к нулю быстрее, чем ( ) ( ) ( )222 zyxr ∆+∆+∆=∆ , т.е.

0lim0

=∆ω

→∆ rr.

x

0 y

z

α

y∆x∆

z∆

1M

Mβ

γ

27

Тогда имеем ( ) ( ) ( ) ω+γ⋅∆⋅′+β⋅∆⋅′+α⋅∆⋅′=∆ cos,,cos,,cos,, zyxfzyxfzyxfu zyx .

Разделяя обе части этого равенства на ∆ и переходя к пределу при 0→∆ , получаем

( ) ( ) ( )( )∆ω

+γ⋅′+β⋅′+α⋅′=∆∆

=∂∂

→∆→∆→∆ 000limcos,,cos,,cos,,limlim zyxfzyxfzyxfuu

zyx .

Но ( )zyxfx ,,′ , ( )zyxf y ,,′ , ( )zyxfz ,,′ и направляющие косинусы не

зависят от ∆ , и так как 0limlim00

=∆ω=

∆ω

→∆→∆ rr, то окончательно имеем

( ) ( ) ( ) γ⋅′+β⋅′+α⋅′=∂∂ cos,,cos,,cos,, zyxfzyxfzyxfu

zyx . (13.1)

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

Из формулы (13.1) очевидно, что если вектор совпадает с одним из ортов i , j , k , то производная u по направлению совпадает с соответствующей частной производной этой функции. Например, если i= , то 1cos =α , 0cos =β , 0cos =γ , и, следовательно,

( )zyxfux ,,′=

∂∂ .

Если скалярное поле плоское, то функция поля, как уже было сказано, зависит от двух переменных: ( )yxfz ,= . Вектор в этом случае находится в плоскости Oxy ( )0cos =γ и ji ⋅β+⋅α= coscos или ji ⋅α+⋅α−= sincos , так как α=β sincos (рис. 8). Формула (13.1) для производной по направлению в случае плоского скалярного поля имеет следующий вид:

( ) ( ) α⋅′+α⋅′=∂∂ sin,cos, yxfyxfz

yx . (13.2)

Рис. 8.

0

y

x

y∆

x∆Mα

28

Пример 11. Найти производную функции 22 2 yxzxu +−= в точке ( )1,2,11 −M по направлению от точки 1M до точки ( )3,4,22 −M .

Решение. Находим вектор ( ) ( ) ( ) kjikjiMM 2213241221 −+=+−+−+−=

и соответствующий ему единичный вектор

( )kjikji

MMMM

32

32

31

22122

22221

21 −+=−++

−+== .

Таким образом, вектор имеем следующие направляющие косинусы:

31cos =α ,

32cos =β ,

32cos −=γ .

Найдем частные производные функции 22 2 yxzxu +−=

( ) zxyxzxxu

x 222 22 −=′+−=∂∂ , ( ) yyxzx

yu

y 22 22 =′+−=∂∂ ,

( ) xyxzxyu

z 22 22 −=′+−=∂∂

и их значения в точке ( )1,2,11 −M :

( ) 4221

1

=−=∂∂

MM

zxxu , ( ) 4222

1

1

=⋅==∂∂

M

M

yyu , 2122

1

1

−=⋅−=−=∂∂

MM

xzu .

Подставляя в формулу (13.1) найденные значения частных производных и направляющих косинусов, получаем искомую производную:

( )3

16322

324

314 =⎟

⎠⎞

⎜⎝⎛−⋅−+⋅+⋅=

∂∂u .

Пример 12. Найти производную от функции ( )yxz 2ln += в точке

( )2,11M , которая принадлежит параболе 2

2xy = по направлению касательной

к этой параболе. Решение. Находим частные производные от функции

( ) ( )yxyxf 2ln, += .

( )yx

yxfx 21,+

=′ , ( )yx

yxfx 21,+

=′

и их значения в точке ⎟⎠⎞

⎜⎝⎛

21,11M :

21

2121

121,1 =

⋅+=⎟

⎠⎞

⎜⎝⎛′xf , 1

2121

221,1 =

⋅+=⎟

⎠⎞

⎜⎝⎛′xf .

Для того, чтобы найти αcos и αsin , которые входят в формулу (13.2),

найдем угловой коэффициент касательной в точке ⎟⎠⎞

⎜⎝⎛

21,11M :

29

12

tg1

1

2

==′⎟⎠

⎞⎜⎝

⎛=′=α==

=

x

x

Mxxyk .

Таким образом, 1tg =α , откуда получаем два значения α : 451 =α и 2252 =α , которые соответствуют двум взаимно перпендикулярным

направлениям касательной.

При 451 =α имеем 2245coscos 1 ==α ,

2245sinsin 1 ==α .

Следовательно, по формуле (13.2) получаем

423

221

22

21

=⋅+⋅=∂∂u .

При 2252 =α аналогично имеем 4

23−=

∂∂u .

13.3 Градиент скалярного поля При изучении скалярных полей наравне с функцией поля ( )zyxfu ,,=

рассматривается некоторый вектор, который тесно связан с этой функцией – градиент скалярного поля.

Определение. Градиентом в точке ( )zyxM ,, скалярного поля, заданного дифференцируемой функцией ( )zyxfu ,,= , называется вектор, координаты которого равны соответствующим частным производным ( )zyxfx ,,′ , ( )zyxf y ,,′ , ( )zyxfz ,,′ в точке ( )zyxM ,, :

( ) ( ) ( )kzyxfjzyxfizyxf zyx ,,,,,, ′+′+′ . Градиент функции ( )zyxfu ,,= обозначается одним из символов ( )zyxfgrad ,, , ( )Mfgrad . Следовательно, по определению

( ) ( ) ( ) ( )kzyxfjzyxfizyxfzyxfgrad zyx ,,,,,,,, ′+′+′= , или короче

kzuj

yui

xuugrad

∂∂

+∂∂

+∂∂

= . (13.3)

Таким образом, каждой точке ( )zyxM ,, скалярного поля, заданного дифференцируемой функцией ( )zyxfu ,,= , соответствует не только значение этой функции, но и совершенно определенный вектор ( )Mfgrad .

Между градиентом функции ( )zyxfu ,,= в данной точке и

производной по направлению ∂∂u в той же точке существует связь, которая

выражается следующей теоремой.

30

Теорема. Проекция вектора ugrad на единичный вектор kji ⋅γ+⋅β+⋅α= coscoscos равна производной функции u в направлении

:

∂∂

=uugradnp . (13.4)

Доказательство. Пусть ( )zyxuu ,,= . Из векторной алгебры известно, что проекция какого-нибудь вектора на единичный вектор равна скалярному произведению этих векторов. Но

( ) ( ) ( )kzyxfjzyxfizyxfugrad zyx ,,,,,, ′+′+′= . Поэтому

( ) ( ) ( ) ( )∂∂

=γ′+β′+α′==uzyxfzyxfzyxfugradugradnp zyx cos,,cos,,cos,,, ,

что и требовалось доказать.

Учитывая, что производная по направлению ∂∂u выражает скорость

изменения скалярного поля ( )zyxfu ,,= по этому направлению, формулу (13.4) можно прочитать и так: проекция ugrad на единичный вектор равна скорости изменения поля ( )zyxfu ,,= по направлению вектора .

Обозначим через ϕ угол между единичным вектором и ugrad . Тогда

ϕ⋅= cosugradugradnp . Поэтому на основании формулы (13.4) имеем

ϕ⋅=∂∂ cosugradu .

Очевидно, когда направления векторов и ugrad совпадают )0( =ϕ ,

то производная по направлению ∂∂u имеет наибольшее значение, равное

ugradugrad =⋅ 0cos . Таким образом, мы приходим к следующему выводу: ugrad есть

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

Отсюда следует, что ugrad функции скалярного поля ( )zyxfu ,,= определяется самим полем и не зависит от системы координат, в которой рассматривается функция поля.

Выясним взаимное размещение ( )zyxfgradugrad ,,= в данной точке ( )0000 ,, zyxM и поверхности уровня, которая проходит через эту точку. Пусть

уравнение поверхности имеет вид ( ) 0,, Czyxf = или ( ) 0,, 0 =−Czyxf . (13.5)

31

Рассмотрим кривую L , которая лежит на поверхности (13.5) и проходит через точку 0M (рис. 9). Допустим, что эта кривая задана уравнениями

( )txx = , ( )tyy = , ( )tzz = , 0Tt∈ , где ( )tx , ( )ty , ( )tz – дифференцируемые функции параметра t , причем

( )00 txx = , ( )00 tyy = , ( )00 tzz = .

Рис. 9

Каждая точка кривой имеет координаты ( )tx , ( )ty , ( )tz , которые удовлетворяют уравнению (13.5) поверхности уровня, так как кривая L полностью лежит на этой поверхности. Таким образом, должно выполняться тождество

( ) ( ) ( )( ) 0,, 0 =−Ctztytxf . Дифференцируя обе части этого тождества по t , получаем (на

основании формулы для производной сложной функции)

( ) ( ) ( ) 0=′⋅∂∂

+′⋅∂∂

+′⋅∂∂ tz

zFty

yFtx

xF .

В частности, при 0tt = имеем ( ) ( ) ( ) ( ) ( ) ( ) 0,,,,,, 000000000000 =′⋅′+′⋅′+′⋅′ tzzyxFtyzyxFtxzyxF zyx .

Левая часть последнего равенства есть скалярное произведение вектора ( ) ( ) ( ) ( ) kzyxFjzyxFizyxFMugrad zyx ⋅′+⋅′+⋅′= 0000000000 ,,,,,, и вектора

( ) ( ) ( ) ( ) ktzjtyitxtr ⋅′+⋅+⋅′=′ 0000 , который направлен по касательной к кривой L .

Таким образом, ( ) ( )( ) 0, 00 =′ trMugrad . (13.6)

Допустим, что ( ) 00 ≠Mugrad . Тогда из равенства (13.6) следует, что ( )0Mugrad перпендикулярен к вектору ( )0tr ′ , который направлен по

касательной к кривой L в точке 0M . Так как эта кривая была выбрана произвольно, то мы приходим к следующему заключении. Если скалярное

x

0

z

y

0M

( )0tr ⋅

90

( )0Mfgrad

L

32

поле задано дифференцируемой функцией ( )zyxfu ,,= , то все касательные, приведенные в точке 0M к линиям, лежащим на поверхности уровня и проходящим через точку 0M , расположены в одной плоскости, перпендикулярной к вектору ( )0Mfgrad , при условии, что этот вектор не равен нулю.

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

( ) ( ) ( ) jyxfiyxfyxfgrad yx ⋅′+⋅′= ,,, .

Его связь с произвольной по направлению ∂∂z выражается равенством

∂∂

=zzgradnp или ϕ⋅=

∂∂ coszgradz ,

где ϕ – угол между единичным вектором и zgrad . Можно показать, что если поле задано дифференцируемой функцией ( )yxfz ,= , то вектор

( )00 , yxfgrad перпендикулярен к касательной, которая проведена к линии уровня в точке ( )000 , yxM .

Пример 13. Найти градиент функции 423 222 −−+= zyxu в точке ( )0,1,10M . Решение. Обозначим ( ) 423,, 222 −−+= zyxzyxf . Тогда ( ) xzyxfx 2,, =′ ,

( ) yzyxf y 6,, =′ , ( ) zzyxfz 4,, −=′ , 2120

=⋅=′Mx

f , 6160

=⋅=′My

f , 0040

=⋅−=′Mz

f .

Пользуясь формулой (13.3), получаем ( ) ( ) ( ) ( ) kjikMfjMfiMfMugrad zyx ⋅+⋅+⋅=⋅′+⋅′+⋅′= 0620000 .

Пример 14. Найти наибольшую скорость возрастания функции 32 5yyxz −= в точке ( )1,20M .

Решение. Наибольшая скорость возрастания функции равна модулю градиента этой функции.

Находим

xyxz 2=∂∂ , 22 15yx

yz

−=∂∂ , 4122

0

=⋅⋅=∂∂

Mxz , 111152 22

0

−=⋅−=∂∂

Myz .

В точке ( )1,20M jizgrad 114 −= . Следовательно, наибольшая скорость возрастания функции в данной точке равна

137114 22

0=+=

Mxgrad .

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

( ) 0,, =zyxF , (13.7) левая часть которого есть дифференцируемая в некоторой области функция.

33

Эта функция ( )zyxfu ,,= определяет скалярное поле, для которого данная поверхность (13.7) является одной из поверхностей уровня (это значит, где 0== cu ), Пусть в точке ( )0000 ,, zyxM ( )zyxFgrad ,, не равен нулю. Тогда, на основании параграфа 13.3. все касательные, проведенные в точке 0M к линиям, лежащим на поверхности (13.7) и проходящим через точку 0M , расположены в одной плоскости, которая перпендикулярна к вектору ( )0MFgrad . Эта плоскость называется касательной к поверхности ( ) 0,, =zyxF в точке ( )0000 ,, zyxM (рис. 10)

Рис. 10.

Найдем уравнение этой плоскости. Искомая плоскость, очевидно, проходит через точку ( )0000 ,, zyxM , поэтому ее уравнение имеет вид

( ) ( ) ( ) 0000 =−+−+− zzCyyBxxA . Так как вектор

( ) ( ) ( ) ( ) kzyxFjzyxFizyxFMFgrad zyx ⋅′+⋅′+⋅′= 0000000000 ,,,,,, по условию перпендикулярен касательной плоскости, то его можно считать нормальным вектором этой плоскости, это значит, положить

( )000 ,, zyxFA x′= , ( )000 ,, zyxFB y′= , ( )000 ,, zyxFC z′= . Тогда уравнение касательной плоскости к поверхности (13.7) имеет вид ( ) ( ) ( ) ( ) ( ) ( ) 0,,,,,, 000000000000 =−⋅′+−⋅′+−⋅′ zzzyxFyyzyxFxxzyxF zyx .

Пусть поверхность (13.7) имеет в некоторой ее точке 0M касательную плоскость. Прямая, проходящая через точку ( )0000 ,, zyxM , перпендикулярная этой касательной плоскости, называется нормалью к поверхности (13.7) в точке ( )0000 ,, zyxM . Вектор ( )0MFgrad , очевидно, направлен вдоль нормали, и поэтому его можно взять в качестве направляющего вектора прямой. Таким образом, каноническое уравнение нормали имеет следующий вид:

( ) ( ) ( )000

0

000

0

000

0

,,,,,, zyxFzz

zyxFyy

zyxFxx

zyx ′−

=′

−=

′− . (13.9)

0

z

y

0M

( )000 ,, zyxFgrad

( ) 0,, =zyxF

касательная плоскость

34

Рассмотрим теперь случай, когда поверхность задана уравнением ( )yxfz ,= . (13.10)

Этот случай можно свести к предыдущему, записывая уравнение в виде ( ) 0, =− zyxf

и считая ( ) ( )zyxFzyxf ,,, =− . Тогда ( ) ( )yxfzyxF xx ,,, ′=′ , ( ) ( )yxfzyxF yy ,,, ′=′ , ( ) 1,, =′ zyxFz и,

следовательно, ( ) ( ) ( ) ( )

( ) ( ) .,,

,,,,,,,,

0000

000000000000

kjyxfiyxf

kzyxFjzyxFizyxFzyxFgrad

yx

zyx

−⋅′+⋅′=

=⋅′+⋅′+⋅′=

Поэтому уравнение касательной плоскости в точке ( )0000 ,, zyxM запишется в виде

( ) ( ) ( ) ( ) ( ) 0,, 0000000 =−−−⋅′+−⋅′ zzyyyxfxxyxf yx или ( ) ( ) ( ) ( )0000000 ,, yyyxfxxyxfzz yx −⋅′+−⋅′=− , (13.11) а уравнение нормали к поверхности в виде

( )( )

( )( )

( )1,,

0

00

0

00

0

−−

=′−

=′− zz

yxfyy

yxfxx

yx

. (13.12)

Пример 15. Найти уравнения касательной плоскости и нормали к однополостному гиперболоиду

052 222 =−−+ zyx в точке ( )1,1,20 −M . Решение. Так как ( ) 52,, 222 −−+= zyxzyxF , ( ) 4222

20 =⋅==′=xx xMF ,

( ) ( ) 414410 −=−⋅==′

−=yy yMF , ( ) 212210 −=⋅−=−=′=zz zMF , то

( ) ( ) ( ) ( ) kjikMFjMFiMFMFgrad zyx ⋅−⋅−⋅=⋅′+⋅′+⋅′= 2440000 . Поэтому уравнение касательной плоскости к данной поверхности

запишется в виде ( ) ( ) ( ) 01221424 =−−+−− yx или 0522 =−−− zyx ,

а уравнение нормали в виде

21

41

42

−−

=−+

=− zyx или

11

21

22

−−

=−+

=− zyx .

Пример 16. Найти уравнение касательной плоскости и нормали к

эллиптическому параболоиду 2

22 yxz += в точке ( )3,2,10 −M .

Решение. Считая ( )yxfyx ,2

22 =+ , получаем

( ) xyxfx 2, =′ , ( ) yyxf y =′ , , ( ) 22,1 =−′xf , ( ) 22,1 −=−′yf . Тогда, пользуясь формулами (13.11) и (13.12), запишем уравнение

касательной плоскости ( ) ( )22123 +−−=− yxz или 0322 =−−− zyx ,

35

и нормали

13

22

21

−−

=−+

=− zyx .

13.5 Геометрический смысл полного дифференциала функции двух

переменных Пусть функция ( )yxfz ,= имеет в точке ( )000 , yxM дифференциал

( ) ( ) yyxfxyxfdz yx ∆′+∆′= 0000 ,, или ( ) ( ) ( ) ( )000000 ,, yyyxfxxyxfdz yx −⋅′+−⋅′= . (13.13)

Рассмотрим в этой точке уравнение касательной плоскости ( ) ( ) ( ) ( )0000000 ,, yyyxfxxyxfzz yx −⋅′+−⋅′=− . (13.14)

Очевидно, что правая часть этого равенства совпадает с правой частью выражения (13.13) для дифференциала dz . Следовательно, и левые части этих равенств также равны.

Но в равенстве (13.13) левая часть есть дифференциал функции ( )yxfz ,=

в точке ( )000 , yxM , а в равенстве (13.14) левая часть есть соответствующее приращение аппликаты касательной плоскости, проведенной к поверхности

( )yxfz ,= . Мы приходим к следующему выводу, который выясняет

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

приращению аппликаты касательной плоскости к поверхности, заданной уравнением этой функции (рис. 11)

y

x

z

( )000 , yxM

0

( )0000 ,, zyxP

dz z∆

y∆ x∆

N

( )zyxP ,,

36

Рис. 11.

14. Дифференциалы высших порядков В параграфе 8 было введено понятие дифференцируемой в точке M

функции ( )Mfz = и получена формула ( ) ( )dyyxfdxyxfdz yx ,, ′+′= .

Будем называть dz дифференциалом первого порядка. Пусть функции ( )yxfx ,′ и ( )yxf y ,′ дифференцируемы в точке M . Будем

рассматривать dx и dy в выражении для dz представляет собой функцию только переменных x и y , дифференцируемую в точке M , и ее дифференциал имеет вид:

( ) ( ) ( )( )

( ) ( )( ) ( ) ( )( ) dydyyxfdxyxfdxdyyxfdxyxf

dyyxfdxyxfddzd

yyxxyx

yx

⋅′′+′+⋅′′+′=

=′+′=

,,,,

,, (14.1)

Дифференциал ( )dzd от дифференциала dz в точке M называется дифференциалом второго порядка функции ( )Mfz = в точке M и обозначается dz . В свою очередь дифференциал ( )zdd 2 от zd 2 называется дифференциалом третьего порядка функции ( )Mfz = и обозначается zd 3 и т.д. Дифференциал ( )zdd n от дифференциала zd n 1− называется дифференциалом n -ого порядка функции ( )Mfz = и обозначается zd n .

Таким образом, для дифференциала n -ого порядка функции ( )Mfz = имеет место формула

( )zddzd nn 1−= . С помощью формулы (14.1) найдем выражение для дифференциала

второго порядка: ( ) ( ) ( ) ( )

( )2

22

dyfdxdyf

dydxfdxfdydyfdxfdxdyfdxfdzdzd

yyyx

xyxxyyxxyx

⋅′′+⋅⋅′′+

+⋅⋅′′+⋅′′=⋅′′+′+⋅′′+′==

Если xyf ′′ и yxf ′′ непрерывны, то слагаемые dydxfxy ⋅⋅′′ и dxdyf yx ⋅⋅′′ равны, так что

( ) ( )222 2 dyfdydxfdxfzd yyxyxx ⋅′′+⋅⋅′′+⋅′′= . Аналогично

( ) ( ) ( ) ( )322333223 33 dyfdydxfdydxfdxfzdyxyyxx⋅′′′+⋅⋅′′′+⋅⋅′′′+⋅′′′=

… ( ) ( ) ( ) ( ) ( ) ( )( ) ( ) ( ) ( )( ) ( )nny

kknnyx

nnyx

nnx

n

dyf

dydxfk

knnndydxfndxfzd

n

kknnn

⋅++

+⋅−−−

++⋅+⋅= −−−−

...!

1...1...11

37

Формула для zd n напоминает разложения двучлена в n -ой степени по формуле Ньютона. Поэтому выражение для zd n символически можно записать в виде, более удобном для запоминания:

( )yxfdyy

dxx

zdn

n ,⎟⎟⎠

⎞⎜⎜⎝

⎛∂∂

+∂∂

= . (14.2)

Пример 17. Найти zd 2 для функции yxz arctg= .

Решение. Имеем 22 yxyfx +

=′ , 22 yxxf y +

−=′ , ( ) yxxy fyxyxf ′′=

+−

=′′ 222

22

,

( )222

22

yxxyf

x +−=′′ , ( )222

2yxxyf yz +

=′′ .

( ) ( ) ( )( )222

22222 222

yxdyxydydxyxdxxyzd

+⋅+⋅−+⋅−

= .

15. Формула Тейлора для функции двух переменных

Аналогично функции одной переменной функцию двух переменных можно представить в виде суммы многочлена n -ой степени и некоторого остаточного члена. Докажем следующую теорему.

Теорема. Пусть функция ( )yxfz ,= непрерывна вместе со всеми частными производными до ( )1+n -ого порядка включительно в некоторой окрестности точки ( )yxM , . Пусть точка ( )yyxxM ∆+∆+ ,1 принадлежит этой окрестности. Тогда приращение ( ) ( )MfMff −=∆ 1 этой функции в точке M можно представить в следующем виде:

( ) ( ) ( ) ( )( )!1

,!

,...!2

,,12

+∆θ+∆θ+

++++=∆+

nyyxxfd

nyxfdyxfdyxdff

nn

. (15.1)

Формула (15.1) называется формулой Тейлора для функции ( )yxfz ,= . Доказательство. Для доказательства введем вспомогательную функцию

( ) ( )ytyxtxftF ∆⋅+∆⋅+= , , которая является сложной функцией независимой переменной t , [ ]1,0∈t и имеет ( )1+n -ую производную по t на отрезке [0,1].

Дифференцируя функцию ( )tF по t , получаем ( ) ( ) ( )

( ),,

,,

ytyxtxfyy

xx

yytyxtxfxytyxtxftF yx

∆+∆+⎟⎟⎠

⎞⎜⎜⎝

⎛∆

∂∂

+∆∂∂

=

=∆∆⋅+∆⋅+′+∆∆⋅+∆⋅+′=′

( ) ( )( ) ( )

( )( ) ( ).,,

,2,2

2

2

ytyxtxfyy

xx

yytyxtxf

yxytyxtxfxytyxtxftF

yy

xyxx

∆+∆+⎟⎟⎠

⎞⎜⎜⎝

⎛∆

∂∂

+∆∂∂

=∆∆⋅+∆⋅+′′+

+∆∆∆⋅+∆⋅+′′+∆∆⋅+∆⋅+′′=′′

По индукции найдем

38

( ) ( ) ( )ytyxtxfyy

xx

tFn

n ∆+∆+⎟⎟⎠

⎞⎜⎜⎝

⎛∆

∂∂

+∆∂∂

= , ;

( ) ( ) ( )ytyxtxfyy

xx

tFn

n ∆+∆+⎟⎟⎠

⎞⎜⎜⎝

⎛∆

∂∂

+∆∂∂

=+

+ ,1

1 .

С другой стороны, используя для функции ( )tF , как функции одной переменной t , формулу Маклорена и считая 1=t , получаем

( ) ( ) ( ) ( ) ( )( ) ( )( )!1!

0...!20

!1001

)1(

+θ

+++′′

+′

+=−

nF

nFFFFF

nn

, 10 <θ< . (15.2)

Но ( ) ( ) ( )1,1 MfyyxxfF =∆+∆+= ,

( ) ( ) ( )MfyxfF == ,0 ,

( ) ( ) ( )yxdfyxfyy

xx

F ,,0 =⎟⎟⎠

⎞⎜⎜⎝

⎛∆

∂∂

+∆∂∂

=′ ,

( ) ( ) ( )yxfdyxfyy

xx

F ,,0 2

2

=⎟⎟⎠

⎞⎜⎜⎝

⎛∆

∂∂

+∆∂∂

=′′ ,

…

( ) ( ) ( ) ( )yxfdyxfyy

xx

F n

n

n ,,0 =⎟⎟⎠

⎞⎜⎜⎝

⎛∆

∂∂

+∆∂∂

= ,

( )( ) ( ) ( )yyxxfdyyxxfyy

xx

F n

n

n ∆θ+∆θ+=∆θ+∆θ+⎟⎟⎠

⎞⎜⎜⎝

⎛∆

∂∂

+∆∂∂

= +

+

+ ,,0 1

1

1 .

Учитывая эти равенства, из формулы (15.2) имеем

( ) ( ) ( ) ( ) ( ) ( ) ( )

( )( ) ,10,

!1,

!,...

!2,,01

1

2

1

<θ<+

∆θ+∆θ++

++++=−=−

+

nyyxxfd

nyxfdyxfdyxdfMfMfFF

n

n

т.е. получена формула (15.1). Формула Тейлора для функции двух переменных напоминает формулу

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

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

Замечание. При 0=n из (15.1) получается формула Лагранжа (или формула конечных приращений) для функции двух переменных

( ) ( ) ( ) yyyxxfxyyxxfyyxxdff yx ∆∆θ+∆θ+′+∆∆θ+∆θ+′=∆θ+∆θ+=∆ ,,, , 10 <θ<

39

из которой, в частности, следует, что если 0≡′=′ yx ff , то полное приращение функции тождественно равно нулю и функция ( )yxf , является постоянной.

16. Экстремум функции двух переменных

16.1 Определение экстремума. Необходимые условия экстремума Пусть функция ( )yxfz ,= определена в некоторой окрестности точки

0M . Определение. Говорят, что функция ( )yxfz ,= имеет в точке 0M

локальный максимум, если существует такая окрестность точки 0M , что для всех точек ( )yxM , этой окрестности, отличных от 0M , выполняется неравенство ( ) ( )MfMf <0 .

Точки локального максимума и локального минимума называются точками экстремума.

Из определения следует, что если функция ( )yxfz ,= имеет экстремум в точке 0M , то полное приращение ( ) ( )1MfMfz −=∆ этой функции в точке

0M удовлетворяет в некоторой окрестности точки 0M одному из следующих условий:

0≤∆z (в случае локального максимума), 0≥∆z (в случае локального минимума).

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

Теорема (необходимые условия экстремума). Если функция ( )yxfz ,= имеет в точке ( )000 , yxM экстремум и имеет в точке 0M частные производные первого порядка, то в этой точке частные производные первого порядка равны нулю, это значит ( ) ( ) 0,, 0000 =′=′ yxfyxf yx . (16.1)

Доказательство. Докажем, например, равенство нулю частной производной ( )00 , yxfx′ . Для этого рассмотрим в окрестности точки 0M только те точки, для которых 0yy = . Получена функция ( )0, yxf одной переменной x которая имеет в точке 0xx = экстремум и в точке 0xx = производную ( )00 , yxfx′ . Следовательно, в этой точке выполняется необходимое условие экстремума функции одной переменной: ( ) 0, 00 =′ yxfx , что и требовалось доказать. Аналогично, рассматривая функцию ( )yxf ,0 одной переменной y , находим ( ) 0, 00 =′ yxf y .

Условие (16.1) не является достаточным условием экстремума. Например, частные производные функции 22 yxz −= равны нулю в точке ( )0,0O , однако эта функция не имеет экстремума в точке O , так как ( ) 00,0 =z

и ни в какой окрестности точки ( )0,0O не сохраняется знак: если 0=x , то

40

0<z , а если 0=y , то 0>z . График функции 22 yxz −= есть гиперболический параболоид.

Заметим, что функция может иметь экстремум также в тех точках, где не существует в конечном виде хотя бы одна из частных производных. Например, функция 22 yxz += , очевидно, имеет минимум в точке ( )0,0O , но не имеет конечных частных производных в этой точке.

Точки, в которых первые частные производные ( )yxfx ,′ и ( )yxf y ,′ функции ( )yxfz ,= равны нулю или не существуют. называются критическими или стационарными точками этой функции.

16.2 Достаточные условия экстремума Теорема. Пусть в критической точке ( )000 , yxM и некоторой ее

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

( ) ( )( ) ( )0000

0000

,,,,yxfyxfyxfyxf

yyxy

xyxx

′′′′′′′′

=∆ .

Тогда: а) если 0>∆ , то в точке 0M функция имеет экстремум, причем при

( ) 0, 00 <′′ yxfxx – локальный максимум, при ( ) 0, 00 >′′ yxfxx – локальный минимум;

б) если 0<∆ , в точке 0M нет экстремума. Доказательство. а) Пусть 0>∆ . Введем следующие обозначения:

( ) Ayxfxx =′′ 00 , , ( ) Byxfxy =′′ 00 , , ( ) Cyxf yy =′′ 00 , . По условию ( ) ( ) 0,, 0000 =′=′ yxfyxf yx , 0>A (или 0<A ). По формуле Тейлора (15.1), взятой для 1=n , полное приращение

функции ( )yxf , в точке 0M можно записать в виде

( ) ( )( )22 2!2

1 yCyxBxAf ∆⋅′+∆⋅∆⋅′+∆⋅′=∆ , (16.2)

где ( )yyxxfA xx ∆θ+∆θ+′′=′ 00 , , ( )yyxxfB xy ∆θ+∆θ+′′=′ 00 , , ( )yyxxfC yy ∆θ+∆θ+′′=′ 00 , , 10 <θ< .

Из непрерывности частных производных второго порядка в точке следует:

( ) 0,lim 0000

>=′′=′→∆→∆

AyxfA xxyx

(или 0<A ),

а также ( ) ( ) ( ) ( )( ) 0,,,lim 2

0000002

00

>∆=′′−′′⋅′′=′−′′→∆→∆

yxfyxfyxfBCA xyyyxxyx

.

Поэтому для достаточно малых x∆ и y∆ имеем 0>′A (или 0<′A ), 02 >∆′=′−′′ BCA .

41

Так как 0≠′A , то соотношение (16.2) можно переписать в виде

( ) ( )( )222 21!2

1 yCAyxBAxAA

f ∆⋅′′+∆⋅∆⋅′′+∆⋅′′

⋅=∆ ,

или, дополняя до полного квадрата

( ) ( ) ( )( )2221!2

1 yBCAyBxAA

f ∆⋅′−′′+∆⋅′+∆⋅′′

⋅=∆ .

Выражение в скобках неотрицательное, поэтому, если 0>′A ( ( ) 0, 00 >′′ yxfxx ), то 0≥∆f , и, следовательно, в точке 0M локальный минимум, если же 0<′A ( ( ) 0, 00 <′′ yxfxx ), то 0≤∆f , и, следовательно, в точке 0M локальный максимум, что и требовалось доказать.

б) Пусть теперь 02 <−=∆ BAC и по-прежнему ( )00 , yxfA xx′′= , ( )00 , yxfB xy′′= , ( )00 , yxfC yy′′= . Рассмотрим многочлен 22 CxBxA ++ . Так как

02 >− ACB , то можно найти два числа 1x и 2x такие. что 02 2

11 >++ CxBxA , 02 222 <++ CxBxA .

Полное приращение функции ( )yxf , в точке 0M как и в параграфе а) запишем в виде 16.2. На основании непрерывности частных производных второго порядка

( ) 022lim 211

211

00

>++=′+′+′→∆→∆

CxBxAxCxBAyx

.

Следовательно, существует δ -окрестность точки 0M такая. что если точка ( )yyxxM ∆+∆+ 00 , принадлежит этой окрестности, то 02 2

11 >′+′+′ xCxBA . (16.3) Рассмотрим теперь произвольную δ′-окрестность точки 0M такую, что

δ≤δ′ . Можно выбрать число 0>t настолько малым, что точка ( )11 , txytxM ++ будет принадлежать δ′-окрестности точки 0M .

Положим в (16.2) tx =∆ , 1txy =∆ . Поэтому на основании (16.3) получаем

( ) ( ) ( ) 0221,, 2

112

0000 >′+′+′=−∆+∆+=∆ xCxBAtyxfyyxxff .

Рассуждая аналогично по отношению к переменной 2x , получим. что в произвольной δ′-окрестность точки 0M существует точка ( )yyxxM ∆+∆+ ,2 , для которого

( ) ( ) 0,, 0000 =−∆+∆+=∆ yxfyyxxff . Это означает, что приращение функции ( )yxf , в любой сколь угодно

малой окрестности точки 0M не сохраняет знак, и, следовательно, в точке 0M нет экстремума.

Замечание. Если 0=∆ , то функция ( )yxf , в критической точке 0M может иметь экстремум, но может и не иметь его.

Пример 18. Найти экстремумы функции yxxyxz 18303 23 −−+= .

42

Решение. Находим первые частные производные ( ) 3033, 22 −+=′ yxyxfx , ( ) 186, −=′ xyyxf y .

Приравнивая эти производные к нулю, имеем

⎩⎨⎧

==+.62

1522

xyyx

Складывая и отнимая почленно уравнения системы, получаем

⎩⎨⎧

=+−

=++

42162

22

22

yxyxyxyx

или ⎩⎨⎧

±=−±=+

.24

yxyx

Разрешив эту систему (эквивалентную исходной), находим четыре критические точки

( )1,31M , ( )3,12M , ( )3,13 −−M , ( )1,34 −−M . Теперь находим вторые частные производные данной функции

xfxx 6=′′ , yfxy 6=′′ , xf yy 6=′′ и получаем выражение

( ) ( ) ( ) ( )( ) ( )222 36 yxMfMfMfM xyyyxx −=′′−′′⋅′′=∆ . Очевидно. что: 1) ( ) 01 >∆ M , ( ) 01 >′′ Mfxx , 1M – точка локального минимума; 2) ( ) 02 <∆ M , в точке 2M нет экстремума; 3) ( ) 03 <∆ M , в точке 3M нет экстремума; 4) ( ) 04 <∆ M , ( ) 01 <′′ Mfxx , 4M – точка локального максимума. Таким образом, данная функция имеет два экстремума; в точке 1M –

локальный минимум, ( ) 721 −=Mf , в точке 4M – локальный максимум, ( ) 724 =Mf .

16.3 Наибольшее и наименьшее значения функции двух

переменных Пусть функция ( )yxfz ,= непрерывна в ограниченной замкнутой

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

достигаются или внутри области, или на его границе. Если свои наибольшее или наименьшее значения функция принимает во внутренних точках области G , то эти точки, очевидно, будут точками экстремума функции ( )yxfz ,= . Таким образом, точки, в которых функция имеет наибольшее или наименьшее значения, будут или точками экстремума функции, или граничными точками области G .

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

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

значения этой функции в критических точках области, а также ее

43

наименьшее и наибольшее значения на границе области G . Наибольшее из всех этих значений и будет наибольшим значением функции ( )yxfz ,= в области G . Наименьшее из этих значений функции будет ее наименьшим значением в области G .

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

Пример 19. Найти наибольшее и наименьшее значения функции ( )yxxyz −−= 4 в треугольнике, который образован линиями 0=x , 0=y ,

6=+ yx (рис. 12).

Рис. 12.

Находим критические точки данной функции, которые принадлежат области D . Так как

224 yxyyxz

−−=∂∂ , xyxx

yz 24 2 −−=∂∂ ,

то для определения критических точек получаем следующую систему уравнений:

( )( )⎩

⎨⎧

=−−=−−

024024

yxxyxy

Так как первому уравнению системы удовлетворяет значение 0=y , то, подставляя его в другое уравнение системы, получаем: 04 =− x , 4=x , т.е.

( )0,41M – критическая точка данной функции, принадлежащая области D . Так как второму уравнению системы удовлетворяет значение 0=x , то,

подставляя его в первое уравнение, имеем 04 =− y , 4=y , т.е. ( )4,02M – критическая точка, принадлежащая области D . Точка ( ) DO ∈0,0 и также является критической, так как ее координаты удовлетворяют полученной системе уравнений.

Если 0≠x , 0≠y , то имеем систему

⎩⎨⎧

=−−=−−

024024

yxyx

или ⎩⎨⎧

=+=+

,4242

yxyx

0

y

x

2M

A

4M

3M

B

1M

44

откуда находим 34

=x , 34

=y , т.е. точка DM ∈⎟⎠⎞

⎜⎝⎛

34,

34

3 является критической.

Вычислим значения функции в точках 1M , 2M , 3M : ( ) 00,4 =z ,

( ) 04,0 =z , ( ) 00,0 =z , 2764

34,

34

=⎟⎠⎞

⎜⎝⎛z .

Исследуем функцию на каждой из линий, которые образуют границу области D .

На отрезке OA , где 0=y , имеем 0=z . На отрезке OB , где 0=x , также 0=z . Уравнение прямой AB : xy −= 6 . Подставляя это выражение в

функцию ( )yxxyz −−= 4 , получаем: ( ) ( )( ) ( ) xxxxxxxxz 12262646 2 −=−−=−−−−= .

Тогда 124 −=′ xzx , 0124 =−x , это значит [ ]6,03∈=x является критической точкой функции xxz 122 2 −= , а ( ) 3363 =−=y .

Таким образом, ( )3,34M принадлежит отрезку AB и является критической точкой исходной функции, а ( ) ( ) 18334333,3 −=−−⋅=z .

Вычисляя значения функции на концах отрезка AB , имеем ( ) ( ) 00,66,0 == zz .

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

2764

34,

34

. =⎟⎠⎞

⎜⎝⎛

наибz , ( ) 183,3. −=наимz .

16.4 Условный экстремум Во многих задачах на отыскание локальных максимумов и минимумов

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

Рассмотрим такую задачу. Из данного куска фанеры площадью a2 нужно сделать закрытый ящик в форме прямоугольного параллелепипеда, который имеет наибольший объем. Обозначим длину, ширину и высоту ящика через x , y и z . Задача сводится к отысканию максимума функции

zyxv ⋅⋅= при условии. что ayzxzxy 2222 =++ .

Здесь мы имеем задачу на условный экстремум; переменные x , y , z связаны условием

ayzxzxy 2222 =++ . Изучим метод решения таких задач. Рассмотрим сначала вопрос об условном экстремуме функции двух

переменных, если эти переменные связаны одним условием.

45

Пусть необходимо найти максимумы и минимумы функции ( )yxfz ,= при условии, что x и y связаны между собой уравнением связи ( ) 0, =ϕ yx . (16.4)

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

( )( ) ( )xxyxfz ψ== , и в результате имели бы задачу: исследовать на экстремум функцию одной переменной.

Решим поставленную задачу, не решая уравнение ( ) 0, =ϕ yx относительно x или y . Для этого используют метод множителей Лагранжа. Суть этого метода состоит в следующем.

Функция ( )yxfz ,= может иметь локальный максимум или локальный минимум при тех значениях x , при которых производная от z по

переменной x равна нулю. Найдем полную производную dxdz :

dxdy

yf

xf

dxdz

⋅∂∂

+∂∂

= .

Следовательно, в точках экстремума имеем

0=⋅∂∂

+∂∂

dxdy

yf

xf . (16.5)

Дифференцируя уравнение связи ( ) 0, =ϕ yx по x , получаем

0=⋅∂ϕ∂

+∂ϕ∂

dxdy

yx. (16.6)

Равенство (16.6) выполняется при всех x и y , которые удовлетворяют уравнению (16.4), это значит для точек которые находятся на линии L , которая задается уравнением связи ( ) 0, =ϕ yx . Умножая все слагаемые равенства (16.6) на неизвестный пока коэффициент A и прибавляя к ним соответствующие слагаемые равенства (16.5), получаем

0=⎟⎟⎠

⎞⎜⎜⎝

⎛⋅

∂ϕ∂

+∂ϕ∂

λ+⎟⎟⎠

⎞⎜⎜⎝

⎛⋅

∂∂

+∂∂

dxdy

yxdxdy

yf

xf

или

0=⎟⎟⎠

⎞⎜⎜⎝

⎛ ϕ⋅λ+

∂∂

+⎟⎠⎞

⎜⎝⎛ ϕ

⋅λ+∂∂

dxdy

dyd

yf

dxd

xf . (16.7)

Равенство (16.7) выполняется во всех точках локального экстремума, которые находятся на линии L . Выберем число λ так, чтобы для значений x и y , которые соответствуют экстремуму функции ( )yxfz ,= , выполнялось равенство

46

0=λ⋅∂ϕ∂

+∂∂

yyf

(для определенности будем считать, что в критических точках 0≠∂ϕ∂y

).

Но тогда при этих значениях x и y из равенства (16.7) следует равенство

0=λ⋅∂ϕ∂

+∂∂

xxf .

Таким образом, получается, что точки экстремума. которые находятся ни линии L (она задается уравнением связи ( ) 0, =ϕ yx ) должны удовлетворять следующим условиям:

( )⎪⎪⎪

⎩

⎪⎪⎪

⎨

⎧

=ϕ

=∂ϕ∂

⋅λ+∂∂

=∂ϕ∂

⋅λ+∂∂

0,

0

0

yxyy

fxx

f

(16.8)

Разрешив систему (16.8), найдем критические точки и число A , которое играет вспомогательную роль.

Система уравнений (16.8) представляет собой необходимые условия существования условного экстремума: не всякая критическая точка

( )000 , yxM , координаты 0x , 0y которой удовлетворяют системе уравнений (16.8), будет точкой условного экстремума. Для исследования характера критической точки необходимо провести дополнительный анализ знака приращения z∆ в окрестности критической точки 0M , которая находится на линии L .

Заметим, что левые части уравнений (16.8) являются частными производными функции ( ) ( ) ( )yxyxfyxF ,,,, ϕλ+=λ , (16.9) которая называется функцией Лагранжа по переменным x , y , λ .

Введение вспомогательной функции Лагранжа позволяет сформулировать правило нахождения точек условного экстремума. Для того, чтобы определить точки условного экстремума функции ( )yxfz ,= , которые удовлетворяют уравнению связи ( ) 0, =ϕ yx , необходимо:

1) записать функцию Лагранжа ( ) ( ) ( )yxyxfyxF ,,,, ϕλ+=λ ; 2) вычислить частные производные функции Лагранжа по x , y , λ ; 3) записать систему уравнений (16.8), решить ее и определить

координаты критических точек M возможного условного экстремума;

47

4) определить знак приращения z∆ в окрестностях критических точек по тем точкам окрестности, которые удовлетворяют уравнению ( ) 0, =ϕ yx , т.е. находятся на линии L .

Если получается, что ( ) ( )( ) ( ) ( ) 000 >−=∆⇒∈∈∀ δ MfMfzMOMLM ∩ ,

то ( )000 , yxM – точка условного минимума; если же ( ) ( )( ) ( ) ( ) 000 <−=∆⇒∈∈∀ δ MfMfzMOMLM ∩ ,

то ( )000 , yxM – точка условного максимума. Рассмотренный метод распространяется на исследование на экстремум

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

условии, что переменные 1x , 2x , …, nx связаны m ( nm < ) уравнениями ( ) 0,...,, 211 =ϕ nxxx

( ) 0,...,, 212 =ϕ nxxx (16.10) …………………. ( ) 0,...,, 21 =ϕ mm xxx .

Для того, чтобы найти значения 1x , 2x , …, nx , при которых могут быть условные экстремумы функции ( )nxxxfu ,...,, 21= , нужно записать вспомогательную функцию ( ) ( ) ( ) ( )

( ),,...,,...,...,,,...,,,...,,,...,,,,...,,

21

21222111212121

nmm

nnnmn

xxxxxxxxxxxxfxxxF

ϕλ+++ϕλ+ϕλ+−λλλ

приравнять к нулю ее частные производные по 1x , 2x , …, nx :

0...11

11

1

=∂ϕ∂

λ++∂ϕ∂

λ+∂∂

xxxf m

m ;

0...22

11

2

=∂ϕ∂

λ++∂ϕ∂

λ+∂∂

xxxf m

m ; (16.11)

……………………………….

0...11 =

∂ϕ∂

λ++∂ϕ∂

λ+∂∂

n

mm

nn xxxf

и из nm + уравнений (16.10) и (16.11) определить 1x , 2x , …, nx и вспомогательные неизвестные 1λ , 2λ , …, nλ . Вопрос о том, будет ли при найденных значениях неизвестных рассматриваемая функция иметь максимум или минимум или совсем не будет иметь экстремума, мы оставляем открытым. При решении конкретных задач этот вопрос мы будем выяснять на основании дополнительных соображений.

Пример 20. Вернемся к задаче, сформулированной в начале параграфа 16.4: найти максимум функции xyzv = при условии 0=−++ zyzxzxy ( )0,0,0 >>> zyx (16.12)

Решение. Запишем вспомогательную функцию ( ) ( )ayzxzxyxyzzyxF −++λ+=λ,,, .

48

Найдем ее частные производные по всем переменным и приравняем их к нулю:

( )( )( )⎪

⎩

⎪⎨

⎧

=+λ+=+λ+=+λ+

000

yxxyzxxzzyyz

(16.13)

Задача сводится к решению системы четырех уравнений (16.12) и (16.13) с четырьмя неизвестными первое из уравнений (16.13) на x , второе – на y , третье – на z и сложим их. Принимая во внимание равенство (16.12), находим

axyz2

3−=λ .

Подставляя в уравнения (16.13) найденные значения λ , получаем

( )

( )

( )⎪⎪⎪

⎩

⎪⎪⎪

⎨

⎧

=⎟⎠⎞

⎜⎝⎛ +−⋅

=⎟⎠⎞

⎜⎝⎛ +−⋅

=⎟⎠⎞

⎜⎝⎛ +−⋅

0231

0231

0231

yxazxy

zxayxz

zyaxyz

(16.14)

Так как x , y , z по смыслу задачи отличны от нуля, то из системы уравнений (16.14) имеем

( ) 13=+ zy

ax , ( ) 13

=+ zxay , ( ) 13

=+ yxaz .

Однако из первых двух уравнений находим yx = , со второго и третьего уравнений – аналогично zy = . Но в таком случае из уравнения (16.12) получаем значения

3azyx === ,

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

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

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

ребро которого равно 3a .

17. Метод наименьших квадратов

49

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

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

x 1x 2x 3x … nx y

1y 2y 3y … ny Установим теперь вид функции ( )xfy = по характеру размещения на

координатной плоскости экспериментальных точек. Пусть, например, точки, взятые из таблицы, размещены так, как показано на рис. 12. В данном случае естественно допустить. что между x и y существует линейная зависимость, которая выражается формулой baxy += . (17.1)

Рис. 12.

Ограничимся случаем линейной зависимости. Так как точки ( )11, yx , ( )22 , yx , …, ( )nn yx , не лежат точно на прямой. а только вблизи нее, то формула (17.1) является приближенной.

Поэтому, подставляя значения координат точек в выражение baxy += , получаем равенства

( ) 111 δ=+− baxy , ( ) 222 δ=+− baxy , …, ( ) nnn baxy δ=+− , где 1δ , 2δ , …, nδ – некоторые числа, которые назовем погрешностями.

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

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

( )( ) ∑∑==

δ=+−n

ii

n

iii baxy

1

2

1

2

0

y

x

ny

iy

2y 3y 1y

1x 2x 3x ix nx

50

имела наименьшее значение. Так как ix , iy – заданные числа (известные из

эксперимента), то ∑=

δn

ii

1

2 является функцией параметров a и b :

( ) ( )( ) ∑∑==

δ=+−=n

ii

n

iii baxybaS

1

2

1

2, , (17.2)

которые нужно исследовать на экстремум. Найдем значения параметров a и b , при которых ( )baS , имеет минимум.

Имеем

( )( )∑=

+−−=∂∂ n

iiii xbaxy

aS

12 , ( )( )∑

=

+−−=∂∂ n

iii baxy

bS

12 .

Приравнивая эти частные производные к нулю, получаем линейную систему двух уравнений с неизвестными a и b :

⎪⎩

⎪⎨

⎧

⋅+=

+=

∑∑

∑∑∑

==

===

.11

11

2

1

bnxay

xbxayx

n

ii

n

ii

n

ii

n

ii

n

iii

(17.3)

Из этой системы находим числа a и b и, подставляя их в уравнение (17.1), получаем уравнение искомой прямой.

Тот факт, что функция ( )baS , в найденной точке ( )baM , имеет минимум, легко проверяется с помощью частных производных второго порядка. Имеем

∑=

=∂∂ n

iixa

S1

22

2

2 , ∑=

=∂∂

∂ n

iixba

S1

2

2 , nbS 22

2

=∂∂ .

Следовательно, 2

11

2

22

2

2

2

2

24 ⎟⎠⎞⎜

⎝⎛−=⎟

⎠

⎞⎜⎝

⎛∂∂

∂−

∂∂⋅

∂∂

=∆ ∑∑==

n

ii

n

ii xxn

baS

bS

aS .

Это выражение можно записать в виде ( )∑∑= =

−=∆n

i

n

jji xx

1 1

22 , откуда

следует, что 0>∆ . Так как 02

2

>∂∂aS , то в точке ( )baM , функция ( )baS , имеет

минимум. Если экспериментальные данные такие, что при построении графика

они приблизительно размещаются на квадратной параболе, то можно искать приближенную зависимость в форме cbxaxy ++= 2 . Для нахождения значений коэффициентов a , b , c необходимо найти минимум выражения

( ) ( )∑=

−++=n

iiii ycbxaxcbaS

1

22,, .

Нахождение минимума функции трех переменных ( )cbaS ,, сводится к решению системы трех уравнений первой степени

51

⎪⎪⎪

⎩

⎪⎪⎪

⎨

⎧

=⋅++

=++

=++

∑∑∑

∑∑∑∑

∑∑∑∑

===

====

====

n

ii

n

ii

n

ii

n

iii

n

ii

n

ii

n

ii

n

iii

n

ii

n

ii

n

ii

yncxbxa

yxxcxbxa

yxxcxbxa

111

2

111

2

1

3

1

2

1

2

1

3

1

4

,

(17.4)

из которой определяется неизвестные параметры a , b , c . Пример. Пусть в результате эксперимента получены пять значений

искомой функции при разных значениях независимой переменной. x 0 1 1,5 2,1 3 y 2,9 6,3 7,9 10,0 13,2

Построив соответствующие точки, убедимся, что они размещены приблизительно на одной прямой. Это означает, что зависимости между x и y близка к линейной: baxy += . Используя метод наименьших квадратов, найдем неизвестные параметры a и b . Составим соответствующую таблицу.

ix iy 2ix ii yx Sy y∆

1 0 2,9 0,00 0,00 2,86 0,04 2 1,0 6,3 1,00 6,30 6,28 0,02 3 1,5 7,9 2,25 11,85 7,99 0,09 4 2,1 10,0 4,41 21,00 10,04 0,04 5 3,0 13,2 9,00 39,00 13,12 0,08 7,6 40,3 16,66 78,75

Разместим вычисления, как показано в таблице, и составим систему уравнений вида (17.3)

⎩⎨⎧

=+=+

,3,4056,775,786,766,16

baba

разрешая которую, находим 42,3=a , 86,2=b . Таким образом, получаем 86,242,3 += xy . (17.5)

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

52

СОДЕРЖАНИЕ I. Определение функции нескольких переменных. Область определения 2. График функции двух переменных 3. Частное и полное приращения функции двух переменных 4. Предел функции двух и нескольких переменных 5. Непрерывность функции нескольких переменных 6. Частные производные функции нескольких переменных и их геометрический смысл 7. Частные производные высших порядков 8. Полный дифференциал функции 9. Применение полного дифференциала в приближенных вычислениях 10. Дифференцирование сложной функции 11. Инвариантность формы полного дифференциала 12. Производная от функции, заданной неявно 13. Скалярное поле

13.1 Скалярное поле и его геометрическое изображение 13.2 Производная по направлению 13.3 Градиент скалярного поля 13.4 Касательная плоскость и нормаль к поверхности 13.5 Геометрический смысл полного дифференциала функции двух переменных

14. Дифференциалы высших порядков 15. Формула Тейлора для функции двух переменных 16. Экстремум функции двух переменных

16.1 Определение экстремума. Необходимые условия экстремума 16.2 Достаточные условия экстремума 16.3 Наибольшее и наименьшее значения функции двух переменных 16.4 Условный экстремум

17. Метод наименьших квадратов