3530
.pdflim z |
lim [ f (x0 |
x, y0 |
y) |
f (x0 , y0 )] |
0 . |
(4.10) |
|||
x |
x0 |
x |
0 |
|
|
|
|
|
|
y |
y0 |
y |
0 |
|
|
|
|
|
|
Условие (4.10) называют разностной формой условия |
|||||||||
непрерывности функции z |
f (x, y) |
в точке M 0 . |
|
|
|||||
Определение 4. Функция u |
f (M ) , определенная на |
||||||||
множестве |
M , |
называется |
непрерывной |
на |
этом |
||||
множестве, |
если она непрерывна в каждой точке |
M этого |
|||||||
множества. |
|
|
|
|
|
|
|
|
|
2. Свойства непрерывных функций нескольких |
|||||||||
переменных. |
|
|
|
|
|
|
|
||
Доказательства |
перечисленных |
ниже |
|
свойств |
непрерывных функций нескольких переменных аналогичны доказательствам соответствующих свойств функций одной переменной, поэтому они не приводятся.
Арифметические операции над непрерывными функциями.
Если функции u |
|
f (M ) |
|
и v |
g(M ) заданы на одном и |
||||||||
том же множестве |
M |
|
и непрерывны в некоторой точке M 0 |
||||||||||
этого множества, то функции |
f (M ) |
g(M ) , f (M ) |
g(M ) и |
||||||||||
f (M ) / g(M ) |
также |
непрерывны |
в |
точке M 0 |
(в |
случае |
|||||||
частного |
необходимо |
дополнительно |
требовать, |
чтобы |
|||||||||
g(M 0 ) |
0 ). |
|
|
|
|
|
|
|
|
|
|
|
|
Непрерывность сложной функции двух переменных. |
|||||||||||||
Если |
u |
(x, y) |
и |
v |
(x, y) - непрерывные функции в |
||||||||
точке |
M 0 (x0 , y0 ) |
плоскости |
xOy , |
а |
функция |
z |
f (u, v) |
непрерывна в точке u0 (x0 , y0 ) , v0 (x0 , y0 ) плоскости u0v , то сложная функция z f (u, v) f ( (x, y), (x, y)) будет непрерывна в точке M 0 (x0 , y0 ) .
Пример 1. В каких точках непрерывна функция
z exp(sin(x2 2y)) cos xy ?
180
Решение. Эта функция непрерывна всюду, так как она представляет собой сумму двух функций, каждая из которых является композицией непрерывных функций.
Пример 2. В какой области определена функция z tg xy ? Где она непрерывна?
Решение. Частное |
|
|
x |
определено при y |
|
0 , т. е. во всех |
||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||
|
|
y |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
точках плоскости, кроме оси Ox . Предполагая, |
|
что |
|
y 0 , |
||||||||||||||||||||||
видим, |
что |
функция |
определена |
для |
всех |
|
тех |
значений |
||||||||||||||||||
переменных |
x и |
y , для которых отношение |
x |
не является |
||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||
y |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
нечетнократным числу |
|
|
, т. е. |
|
x |
|
|
(2n |
1) , |
|
n |
|
0, |
1, |
2,... |
|||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||
2 |
|
y |
2 |
|
||||||||||||||||||||||
Таким образом, функция |
z tg |
x |
|
определена для всех |
||||||||||||||||||||||
y |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
точек |
M (x, y) , которые не принадлежат прямой |
|
y |
0 |
и ни |
|||||||||||||||||||||
одной из прямых |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
x |
|
y , |
x |
|
3 |
y , . . . , |
|
|
x |
(n |
|
1 |
) y , . . . |
|
|||||||||||
|
2 |
2 |
|
|
2 |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Так как рассматриваемая функция является в этой области композицией непрерывных функций, то она непрерывна всюду, где определена.
3. Дополнение о разрывах непрерывности.
У функций одного аргумента читатель встречался с тремя типами разрывов: бесконечными разрывами, конечными скачками (разрывами первого рода) и точками, в которых функция не стремится к пределу (с одной, либо с обеих сторон). У функций многих переменных такая простая классификация невозможна. У таких функций нарушение непрерывности может происходить не только в уединенных
181
точках, но и вдоль линий или поверхностей (для функций трех и более переменных).
Пример 3. Установить, будет ли непрерывной в точке O (0,0) функция
|
|
|
xy |
|
при |
x2 |
y 2 |
0, |
|
|
|
|
|
|
|
||||
f (x, y) |
|
x2 |
|
y 2 |
|
||||
|
|
|
|
|
|
|
|||
|
0 |
|
|
при |
x2 |
y 2 |
0. |
|
|
Решение. Эта функция непрерывна в точке О(0,0) по |
|||||||||
каждой из переменных x |
и y , т. е. непрерывна на каждой из |
||||||||
координатных осей. Это очевидно, так как на оси |
Oy(x 0) |
||||||||
f (0, y) 0 f (0,0) ; |
на |
оси Ox( y |
0) |
f (x,0) |
0 f (0,0) . |
Однако она непрерывной не является. Действительно, рассмотрим прямые, проходящие через точку О(0,0) вида y kx, (k 0) . В каждой точке такой прямой, за исключением точки О(0,0), функция принимает одно и то же
постоянное значение f (x, y) |
k |
(при фиксированном k ). |
|
||
1 k 2 |
Таким образом, пределы функции для разных прямых (разные k ) различны и, к тому же, не совпадают со значением функции в точке О(0,0). Функция разрывна – на всех рассматриваемых
прямых она испытывает конечный скачок, равный |
|
k |
0 . |
|||
|
|
|||||
|
k 2 |
|||||
|
|
|
1 |
|
||
Пример 4. Найти точки |
разрыва функции |
|
|
|||
f (x, y) |
1 |
. |
|
|
|
|
|
|
|
|
|
||
x2 y 2 |
|
|
|
|
||
Решение. Точками разрыва этой функции будут лишь те, в |
||||||
которых она не определена: x2 |
y2 0 , т. е. начало координат |
О(0,0). При неограниченном приближении точки M (x, y) к началу координат функция неограниченно возрастает (рис. 55). Таким образом, точка О(0,0) – точка бесконечного разрыва функции.
182
z
y
x
Рис. 55
Пример 5. Найти точки разрыва функции
|
x |
y |
|
f (x, y) |
|
|
. |
x3 |
y3 |
Решение. Поскольку числитель и знаменатель – непрерывные функции, то функция может иметь разрывы лишь в точках, в которых знаменатель обращается в нуль. Решая
уравнение |
x3 y3 0 , |
получаем |
y |
x ; т. е. функция имеет |
|
разрывы на этой прямой. |
|
|
|
||
Рассмотрим |
поведение |
функции |
при |
||
M (x, y) |
M 0 (x0 , y0 ), |
x0 0, y0 |
0 , |
когда точка |
M 0 |
принадлежит прямой y x . Имеем:
lim |
x |
y |
lim |
|
1 |
|
|
1 |
|
|
|
1 |
. |
|
|
|
|
|
|
|
|
|
|
|
|||
x x0 x3 |
y3 |
x x0 x2 |
xy y 2 |
|
x2 |
x0 y0 |
y 2 |
|
|
3x2 |
|
||
y y0 |
|
|
y y0 |
|
0 |
|
0 |
|
y0 x0 |
0 |
|
||
|
|
|
|
|
|
183
Значит, точки прямой y x (x 0) - точки устранимого разрыва функции. Рассмотрим теперь характер разрыва в точке О(0,0). Получаем
lim |
x |
y |
lim |
|
1 |
|
. |
|
|
|
|
|
|||
|
|
|
|
|
|||
x 0 |
x3 |
y3 |
x 0 x 2 |
xy y 2 |
|
||
y 0 |
|
|
y 0 |
|
|
|
|
Отсюда следует, что О(0,0) – точка бесконечного разрыва. |
|||||||
4.6. Частные производные функции нескольких |
|||||||
переменных |
|
|
|
|
|
|
|
1. Частные производные функции. |
|
||||||
Если в функции нескольких переменных u |
f (x1,..., xn ) |
дать определенные численные значения из области задания всем независимым переменным, кроме одной, и предоставить
изменяться |
этой |
переменной, |
скажем x1 , |
то |
функция |
|
превратится |
в |
функцию |
одной |
переменной |
||
u(x ) |
f (x |
x0 ,..., x0 ) . В частности, рассматривая функцию |
||||
1 |
1, |
2 |
n |
|
|
|
z f (x, y) двух переменных и |
приписывая |
аргументу y |
||||
определенное значение y y0 , получим функцию z |
f (x, y0 ) |
одной переменной. Геометрическим образом этой функции
является кривая, полученная |
как |
пересечение |
плоскости |
|
y y0 и поверхности z |
f (x, y) (рис. 56). |
|
||
Пусть существует |
производная |
функции z |
f (x, y0 ) |
|
одной переменной в точке x |
x0 . Это значит, что существует |
конечный предел отношения приращения функции к приращению аргумента
lim |
f (x0 |
x, y0 ) |
f (x0 , y0 ) |
|
df (x, y0 ) |
|
. |
|
|
|
|
|
|
||
x 0 |
|
x |
|
|
dx |
|
x x0 |
184
z
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рис. 56 |
|
|
|
|
|
|
|
|
Этот предел называется частной производной функции |
||||||||||||||
z |
f (x, y) |
по х в точке M 0 (x0 , y0 ) |
и обозначается символом |
|||||||||||||
|
f |
|
|
|
|
|
, |
или |
|
|
f (x0 , y0 ) , или |
|
f (M 0 ) |
, |
или |
|
|
x |
|
|
|
|
|
|
|
|
x |
||||||
|
x |
x |
0 |
, y |
y |
0 |
|
|
x |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
f x (x0 , y0 ) . |
(Символ |
читается как «дэ круглое». Его не |
||||||||||||||
следует путать с символом «d»). |
|
|
|
|
|
|||||||||||
|
|
Таким |
|
образом, |
|
частная |
производная функции |
|||||||||
z f (x, y) |
по х |
в точке |
|
M 0 (x0 , y0 ) по определению равна |
||||||||||||
пределу |
|
отношения частного приращения |
функции |
|
по х |
x z f (x0 |
|
x, y0 ) |
f (x0 , y0 ) к приращению аргумента x , |
||||||||
если этот предел существует при |
x 0 : |
|
|
||||||||
|
f |
(M |
0 ) |
lim |
x z f (x0 |
x, y0 ) |
f (x0 |
, y0 ) |
. (4.11) |
||
|
x |
x |
|
|
x |
|
|
||||
|
|
|
x 0 |
|
|
|
Аналогично определяется частная производная функции в
точке M 0 (x0 , y0 ) |
по переменной у: |
|
|
|
|||||
|
f |
(M 0 ) |
lim |
y z |
|
f (x0 , y0 |
y) f (x0 |
, y0 ) |
. (4.12) |
|
y |
y |
|
|
y |
|
|||
|
|
y 0 |
|
|
|
|
185
Отметим: из приведенных выше рассуждений следует, что частная производная функции u f (x1,..., xn ) по аргументу xk
представляет собой обыкновенную производную функции одной переменной xk при фиксированных значениях остальных
переменных. Поэтому вычисление частных производных производится по обычным правилам вычисления производных
функций одной переменной. |
|
|
|
|
|
|||
Пример 1. |
Найти |
частные |
производные |
в точке |
||||
M 0 (2,3) функции |
f (x, y) |
3x3 y |
4xy2 2x |
4y |
5. |
|
||
Решение. Положим y |
3 , получим функцию, зависящую |
|||||||
только от х: |
|
|
|
|
|
|
|
|
f (x,3) 9x3 36x 2x 12 5 9x3 |
34x |
7. |
|
|||||
Производная этой функции по х |
равна |
27x2 |
34 : при |
|||||
x 2 она равна 142. Таким образом, |
|
|
|
|
||||
|
|
f |
(2,3) |
142 . |
|
|
|
|
|
|
x |
|
|
|
|
||
|
|
|
|
|
|
|
|
Для нахождения частной производной функции f (x, y)
по у |
в точке |
|
M 0 (2,3) |
положим x |
2 . |
Получаем функцию |
|||||
переменной у: |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
f (2, y) |
8y2 |
28y |
9. |
|
|
|
Отсюда |
|
найдем |
ее |
производную |
в точке |
y 3 : |
||||
|
|
|
|
|
|
|
|
|
|
||
16y |
28 |
y 3 |
76 . |
|
|
|
|
|
|
||
Следовательно, |
|
f |
(2,3) |
76 . |
|
|
|
||||
|
y |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример |
|
2. |
Найти частные |
производные |
функции |
z arctg(xy2 ) в точке (x, y) .
Решение. Считая у постоянным, находим производную по
х:
186
z |
(arctg(xy2 )) |
|
|
|
(xy2 ) x |
1 |
y 2 |
|
y 2 |
. |
|
|
|
2 |
|
|
|
|
|||||
|
|
|
1 (xy2 )2 |
|
|
||||||
x |
|
|
( xy |
|
) |
|
1 x 2 y 4 |
|
|||
|
При |
вычислении |
производной использовалось |
правило |
дифференцирования сложной функции одной переменной. Индексы показывают по какой «букве» проводится дифференцирование. Аналогично получим частную производную по у в точке (x, y) :
z |
(arctg(xy2 )) |
|
|
|
(xy2 ) y |
2xy |
. |
|
|
|
2 |
|
|
||||
y |
(xy |
) |
1 x2 y 4 |
|||||
|
|
|
|
Аналогично тому, как определялись частные производные функции двух переменных (формулы (4.11) и (4.12)), определяются частные производные функции большего числа аргументов. Например, для функции трех переменных u f (x, y, z) , частные производные в точке M 0 (x0 , y0 , z0 ) определяются как пределы отношений соответствующих приращений, если эти пределы существуют:
u |
(M 0 ) |
lim |
xu |
|
||
x |
x |
|
||||
|
x |
0 |
|
|
||
u |
(M 0 ) |
lim |
yu |
|
||
y |
y |
|
||||
|
y |
0 |
|
|
||
u |
(M 0 ) |
lim |
|
z u |
|
|
z |
|
z |
|
|||
|
z |
0 |
|
|
lim
x 0
lim
y 0
lim
z 0
f (x0 x, y0 , z0 ) f (x0 , y0 , z0 ) , (4.13) x
f (x0 , y0 y, z0 ) f (x0 , y0 , z0 ) , (4.14) y
f (x0 , y0 , z0 z) f (x0 , y0 , z0 ) . (4.15) z
Пример |
3. |
Найти |
частные производные функции |
||||
f (x, y, z) |
|
|
r |
1, где |
|
||
r |
|
|
|
|
x2 |
y 2 z 2 |
, в точке (x, y, z) . |
|
|
|
|||||
r |
Решение. По правилу дифференцирования сложной функции по х, при постоянных y и z, получим:
187
f |
|
|
r |
|
|
|
|
|
|
|
|
|
|
|
|
|
(r |
1)r |
|
r 2 |
|
|
x 2 |
y 2 |
z 2 |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|||||||
x |
x |
|
|
x |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
1 |
|
|
|
|
2x |
|
|
|
|
x |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
r 2 |
2 x 2 |
y 2 |
z 2 |
|
|
|
r 3 |
Аналогично получим частную производную по у (х и z - постоянные) и по z (x и y - постоянные):
|
f |
(r 1)r |
r |
|
y |
, |
f |
(r 1)r |
r |
|
z |
. |
|
|
|
|
|
r3 |
|
|
|
||||||
|
y |
|
y |
|
|
z |
|
|
z |
|
r3 |
||
2. |
Механический |
|
смысл |
и |
|
геометрическое |
истолкование.
Рассмотрим механический смысл частной производной.
В ряде разделов механики, физики и технических дисциплин читатель встречался с функциями нескольких переменных, одной из которых являлась временная переменная t. Например, изучая движение материальной системы, имеющей n степеней свободы, в теоретической механике в
качестве |
характеристических |
функций, |
описывающих |
|||
динамику |
системы, рассматриваются функции |
Лагранжа |
||||
L(t, q, q) |
Eкин |
V |
или Гамильтона H (t, q, p) |
Eкин V , где |
||
q (q1,..., qn ) |
- |
обобщенные |
координаты, |
q |
(q1,..., qn ) - |
обобщенные скорости, p ( p1,..., pn ) - обобщенные импульсы, Eкин и V – кинетическая и потенциальная энергия системы. В
этом случае, как известно из теоретической механики, уравнение движения механической системы содержит частную производную по времени
|
d |
|
n |
|
L |
|
|
|
L |
|
|
|
|
|
qk |
L |
|
. |
|||
|
|
|
|
|
|
|
||||
|
dt |
k |
|
1 |
qk |
|
|
t |
||
|
|
|
|
|
|
|
|
|
||
Другой пример знаком нам из теплотехники. Пусть в |
||||||||||
начальный момент |
|
времени |
t0 |
задано распределение |
188
температуры тела T0 (x, y, z) и задан тепловой режим на его границах. Тогда при t t0 температура тела в точке (x, y, z) будет являться функцией времени T T(t, x, y, z) . Вид
координатной и временной зависимости температуры тела определяется типом теплового режима на границах и дифференциальным уравнением теплопроводности, содержащим частную производную по времени
a 2 |
2T |
|
2T |
|
2T |
|
T |
. |
x2 |
|
y 2 |
|
z 2 |
|
|||
|
|
|
|
t |
Таким образом, уравнения, описывающие механическое движение системы и распределение температуры в теле, содержат величины, характеризующие их изменение во времени. Каждая из величин в правых частях уравнений
является пределом при t |
0 |
соответствующих отношений |
||||||
|
L(t |
t, q, q) |
L(t, q, q) |
или |
|
T (t |
t, x, y, z) T (t, x, y, z) |
|
|
|
t |
|
|
|
t |
||
|
|
|
|
|
|
Каждое выражение представляет собой изменение соответствующей функции, отнесенное к промежутку времени, в течение которого эти изменения произошли. То есть среднюю скорость изменения величины за время t . В пределе, при t 0 , мы получаем мгновенную скорость изменения функции Лагранжа или температуры. В этом заключается механический смысл частной производной некоторой функции
по времени.
u
По аналогии с этим, частные производные функции xk
u f (M ) по переменной xk также трактуются как скорость изменения функции u f (M ) в точке М в направлении оси
Oxk .
Перейдем к выяснению геометрического смысла частных производных функции двух переменных z f (x, y) . Как мы
189