Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

10294

.pdf
Скачиваний:
0
Добавлен:
25.11.2023
Размер:
4.78 Mб
Скачать

37.5. Касательная плоскость и нормаль к поверхности. Пусть поверхность задана уравнением F (x, y, z) 0 . Будем предполагать, что в

точке

поверхности

M 0 (x0 , y0 ,z0 ) частные производные

 

F

 

F

 

,

 

,

 

 

 

 

 

x 0

 

y 0

 

F

существуют, непрерывны и хотя бы одна из них отлична от нуля.

 

 

 

z 0

 

 

 

 

 

 

Рассмотрим на поверхности некоторую кривую L , проходящую через точку M 0 . Пусть она задана параметрическими уравнениями

x x(t)

 

 

 

 

 

 

 

y y(t) ,

M 0

(x0 , y0 , z0 ) M 0 (x(t0 ), y(t0 ), z(t0 )) .

 

 

 

 

 

z z(t)

 

 

 

Будем предполагать,

что функции x(t), y(t), z(t) дифференцируемы при

значении параметра

t t0 , соответствующем точке

M 0 . Поскольку кривая

L принадлежит

поверхности, то имеем тождество

F (x(t), y(t), z(t)) 0 ,

левая часть которого дифференцируема в точке

t t0 как сложная функция.

Дифференцируя это тождество, получаем

 

F dx

F

dy

F

dz

0 .

(37.4)

 

 

 

 

x dt

y dt

z dt

 

Рассмотрим два вектора

gradF (x , y , z ) F i

0 0 0

x 0

 

F

 

F

 

 

 

j

 

k

 

y 0

 

x 0

 

и

l x (t0 )i y (t0 ) j z (t0 )k .

Вектор

l это касательный вектор к кривой

L

в точке M 0 .

Тождество

(1.5)

показывает, что эти два вектора

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

поверхности и проходящей через точку M 0 . Итак,

касательный вектор к

любой кривой на поверхности, проходящей

через точку

M 0 ,

перпендикулярен к фиксированному вектору gradF (x0 , y0 , z0 ) . Поэтому все

эти векторы лежат в одной плоскости. Эта плоскость называется касательной плоскостью к поверхности в данной точке (см. рис. 37.5).

270

Рис. 37.5

Уравнение касательной плоскости к поверхности, заданной уравнением F (x, y, z) 0 , имеет вид

Fx 0

 

F

 

F

 

(x x0 )

 

( y y0 )

 

(z z0 ) 0 .

 

y 0

 

z 0

 

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

Заметим, что вектор gradF (x0 , y0 , z0 ) можно рассматривать в качестве направляющего вектора нормали. Напишем её канонические уравнения

x x0

Fx 0

y y0

Fy 0

 

z z0

.

 

 

 

F

 

 

 

 

 

z 0

Если поверхность задана в виде z f (x, y) , то уравнения касательной плоскости и нормали приобретают вид

 

f

 

f

( y y0 ) (z z0 ) 0 ,

 

 

(x x0 )

 

 

x 0

 

y 0

 

x x0

Fx 0

 

y y0

 

z z0

.

 

F

 

 

 

 

1

 

 

 

 

 

 

 

 

x 0

 

 

 

271

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

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

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

функции в этой точке. Если функция y f (x) дифференцируема в точке x0 , то её приращение в этой точке может быть представлено в виде

y f (x0 ) x ( x) x ,

где ( x) 0 при x 0 . Более подробная запись этой формулы y y0 f (x0 )(x x0 ) ( x) x

272

«раскрывает» и геометрическое содержание свойства дифференцируемости: в окрестности точки x0 кривая y f (x) отличается

от своей касательной в этой точке

Y y0 f (x0 )(x x0 )

на бесконечно малую величину более высокого порядка, чем x (см. рис.

38.1).

Рис. 38.1

Как перенести это свойство на функции двух переменных? Нельзя ли

функцию

z f (x, y) , имеющую в точке

(x0 , y0 )

непрерывные частные

производные,

представить приближённо

в виде линейной функции двух

переменных, т.е. чтобы её приращение в точке (x0 , y0 ) имело вид

 

 

f

 

 

f

 

 

 

 

(38.1)

 

z

x

 

y ( x, y) ,

 

 

x 0

 

y

0

 

 

 

 

 

 

 

 

 

где

x2

y2 , а величина

( x, y) 0 при x 0 и y 0 , т.е.

при 0 .

Другими словами,

нельзя ли в окрестности точки (x0 , y0 )

поверхность

z f (x, y)

«приблизить» плоскостью

 

 

 

 

f

(x x0 )

 

f

y0 ) (z

z0 ) 0 ?

 

 

 

 

 

( y

 

 

 

x 0

 

 

 

 

y 0

 

 

Оказывается, можно, если функция «достаточно хороша».

Дадим теперь определение дифференцируемой функции двух переменных. Функция z f (x, y) дифференцируема в точке (x0 , y0 ) , если

её приращение в этой точке может быть представлено в виде (38.1). Ясно, что из дифференцируемости следует непрерывность. Действительно,

перейдя в равенстве (38.1) к пределу, получим lim z 0 , что и означает

0

свойство непрерывности.

273

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

(x0 , y0 )

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

 

f

 

 

f

 

, то формально

 

 

 

,

 

 

 

 

 

x 0

 

y 0

 

уравнение плоскости можно написать, но назвать её касательной плоскостью в указанном выше смысле нельзя. Например, непрерывная функция

z = | x | | y |

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

 

 

 

 

 

 

 

 

 

 

f lim

 

| x | 0 0

0,

f lim

 

0 | y | 0

0 .

 

 

 

 

x

x 0

x

y

y 0

y

 

 

 

 

 

 

 

 

 

 

Приращение этой функции в начале координат равно z = x y . Но эта величина не является бесконечно малой более высокого порядка, чем

x2 y2 . Действительно, если x y , то отношение

 

 

| x | | y |

 

1

 

 

 

 

 

 

 

 

 

 

 

 

x2 y2

2

не стремится к нулю при 0 . Поэтому плоскость z 0 нельзя считать касательной плоскостью к этой поверхности в точке (0,0) (см. рис. 38.2).

Рис. 1.12

2

1.5

1

0.5

0

1

0.5

0

 

1

 

 

0.5

-0.5

 

0

 

 

-0.5

 

-1

-1

 

 

Рис. 38.2

274

Дифференциалом функции

z f (x, y)

в точке M 0 (x0 , y0 )

называют

главную, линейную относительно приращений аргументов x и

y часть

приращения функции

z в этой точке

 

 

 

 

(dz)0

 

f

 

f

 

 

 

 

x

y .

 

 

 

 

x 0

 

y 0

 

Поскольку точка

M 0 (x0 , y0 )

произвольная, то запишем формулу для

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

dz fx dx fy dy .

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

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

z (dz)0

 

f

 

f

y .

 

 

x

 

 

 

x 0

 

y 0

 

Рис. 38.3

275

38.2. Производные и дифференциалы высших порядков. Для функции двух переменных производные и дифференциалы высших порядков определяются аналогично соответствующим понятиям для функции одной переменной. А именно, вторая частная производная, например, по x определяется как частная производная по x от частной производной по x , т.е.

2 z

 

 

z

x

2

 

 

.

 

 

 

x

x

Читается это так: «дэ два зет по дэ икс квадрат». Последовательность, в которой вычисляются смешанные производные, если они существуют и непрерывны, не имеет значения. Например,

 

2 z

 

 

z

 

 

 

z

 

2 z

.

 

 

 

 

 

 

 

 

 

 

 

 

 

x y

 

y

y x

 

 

x y

 

 

x

 

 

Дифференциал второго порядка определяется как дифференциал от

дифференциала, т.е.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

dx

f

dy

 

 

 

d 2 z d (dz) d

 

 

 

.

 

 

 

 

 

 

 

 

x

 

 

y

 

 

Отсюда следует, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d 2 z

2 z dx2

2

2 z

dxdy

2 z dy2

 

 

 

 

 

x2

 

x y

 

 

 

y2

 

 

 

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

38.3. Экстремумы функции многих переменных. Рассмотрим сначала функцию двух независимых переменных z f (x, y) , определённую

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

некоторой внутренней точке (x0 , y0 ) D, если значения функции во всех точках некоторой -окрестности точки (x0 , y0 ) меньше, чем значение

функции в этой точке, т.е.

f (x, y) f (x0 , y0 ) .

276

Геометрически такому максимуму соответствует вершина на поверхности (см. рис. 38.4)

zmax=f(x0,y0)

z=f(x,y)

(x0,y0)

Рис. 38.4

 

Аналогично минимум определяется неравенством f (x, y) f (x0 , y0 )

 

в некоторой окрестности точки

(x0 , y0 ) и соответствует «ямке»

на

поверхности (см. рис. 38.4).

 

 

Для функции большего числа

переменных понятия максимума

и

минимума определяется аналогично, только уже нельзя дать геометрической иллюстрации. Функция u f (x, y, ) имеет в точке

(x0 , y0 , ) максимум (минимум), если она в некоторой окрестности этой

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

(x0 , y0 , )

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

непременно должны быть выполнены в точке

M 0 (x0 , y0 ,

),

если функция

имеет в этой точке экстремум.

 

 

 

Для того, чтобы дифференцируемая функция

u f (x, y, z, )

имела экстремум в точке M 0 (x0 , y0 , ),

необходимо,

чтобы все ее

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

277

fx (x0 , y0 , z0 ,

) 0

 

f y (x0 , y0 , z0 ,

) 0

 

 

fz (x0 , y0 , z0 ,

(38.2)

 

) 0

 

 

 

 

 

 

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

зафиксируем, например, переменные

y y0 ,

z z0 ,

и будем

рассматривать функцию в окрестности точки

M 0

как функцию

f (x, y0 , z0 , ), зависящую только от x .

Тогда она имеет экстремум при

x x0 , а необходимым условием такого экстремума является равенство

fx (x0 , y0 , z0 ,

) 0 .

В случае дифференцируемой функции двух переменных z f (x, y) z f (x, y) это необходимое условие имеет простой геометрический смысл: функция может иметь в точке M 0 (x0 , y0 ) экстремум лишь в том случае, если поверхность z f (x, y) имеет в этой точке касательную плоскость, параллельную плоскости xOy. Рассмотрим, например, функцию z xy .

Необходимые условия показывают, что начало координат – точка, подозрительная на экстремум. Однако в окрестности этой точки функция принимает как положительные, так и отрицательные значении, смотря по тому, в какой четверти берётся точка. Стало быть, в точке (0,0) функция

экстремума не имеет.

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

называют критическими. Например, рассмотрим функции z x2 y2 ,

z 3x2 y2 , графики которых получаются при вращении вокруг оси Oz

кривых z | y | и z 3 y2 , соответственно (см. рис. 38.5). Очевидно, что обе эти функции имеют минимум в начале координат.

M k (xk , yk , zk )

Рис. 38.5

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

Пример. Дана система n материальных точек с массами mk . Из физических соображений ясно, что момент инерции этой

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

n

I (x, y, z) m (x

k 1

k

x )2

( y y

)2 (z z

)2 .

k

k

k

 

Необходимое условие экстремума даёт возможность найти координаты этой точки. Для этого нужно решить систему уравнений

Ix 2 mkI y 2 mkIz 2 mk

(x xk ) 0 ( y yk ) 0 (z zk ) 0

Убеждаемся, что искомая точка является центром масс (центром тяжести) данной совокупности материальных точек

x

mk xk

, y

mk yk

, z

mk zk

.

mk

mk

mk

 

 

 

 

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

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

279

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]