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

matanaliz

.pdf
Скачиваний:
18
Добавлен:
15.03.2016
Размер:
1.91 Mб
Скачать

92

Лекция 5. Исследование функций и их графиков

тости,

(¡1; ¡1) è (1; 1) интервалы выпуклости. 4. xp = 0

точка перегиба, (¡1; 0) интервал вогнутости, (0; 1)

интервал выпуклости. 5. xp = 3 точка перегиба, (1; 3) интервал выпуклости, (3; 1) интервал вогнутости. 6. x = ¡1,

y = 2x + 1. 7. x=0, y=x. 8. x=§

2, y

=

x. 9.

y

=

§x:

10. x 6,

 

¼x

 

 

=

y x

3, y= x 3. 11. x=

§

1. 12.y=

 

 

¡

1,

 

 

 

 

2

 

 

 

 

 

= +

¼x

 

 

 

 

 

 

 

 

2¡ 1:13. y= x. 14. y=x:15. ymax=y( 3,5)=-6,25, x

=1, x = 6, y = 0 асимптоты. 16. ymin=y(2)=0, x=§1, y

=x асимптоты:17. (0;0) точка перегиба, x=§3, y = 0

асимптоты: 18.ymin=y(0)= 0, ymax=y(

1

) = =

1

:19.ymin=y(1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

27

 

27

 

 

 

 

p

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

y( 1)

 

p3 , 0); (0,0) точки перегиба; y x

=¡

3 2 ;

 

 

=

3 2 ;

(§

 

 

 

 

 

 

 

 

 

=

 

 

 

ymax=

 

 

 

 

 

 

¡ ¡

 

 

 

=

асимптота:

:

 

(0,0); µ§1, §p2

 

 

 

 

асимптота

 

20.

 

 

 

 

 

1

 

 

 

точки перегиба; y

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ë å ê ö è ÿ 6

ФУНКЦИИ МНОГИХ ПЕРЕМЕННЫХ

6.1. Понятие евклидова пространства

Пусть задано множество X, элементами которого являются

множества упорядоченного наборов (x1, ... xm), состоящих из m действительных чисел. Каждый такой набор будем обозначать одной буквой x = (x1, ... , xm) и называть точкой (элементом)

множества X(x 2 X).

Определение 6.1. Метрическим пространством называется пара (X, ½), состоящая из некоторого множества X

и однозначной, неотрицательной действительной функции ½(x, y), (x 2 X, y 2 X), удовлетворяющий условиям:

1) ½(x, y) = 0 тогда и только тогда, когда x = y, 2) ½(x, y) = ½(y, x) (аксиома симметрии),

3) ½(x, y) 6 ½(x, y) + ½(y, z) (аксиома треугольника).

Функция ½ характеризует расстояние между элементами множества X.

Приведем несколько примеров:

1. Если для элементов произвольного множества X

½(x, y) = ½ 1,

åñëè x 6= y,

то мы получим метрическое

0,

åñëè x = y,

 

пространство изолированных точек.

2. Множество упорядоченных наборов (x1, ... , xm) с расстоя-

íèåì

 

½(x, y) = s m (xi ¡ y1)2 называют арифметическим евкли-

 

P

i=1

довым пространством Em, которым мы и будем пользоваться

при изучении функций многих переменных.

3.Множество всех непрерывных функций на сегменте [a, b] с расстоянием ½(f, q) = sup jq(x) ¡ f(x)j являются метрическим

x2[a,b]

пространством C непрерывных функций.

Обозначим через M точку в евклидовом пространстве Emñ координатами (x1, ... , xm).

G ½ Em:
G присоединены все граничные
x0 ) мерного евклидова пространства
m

94

Лекция 6. Функции многих переменных

Определение

6.2. Множество G ½ E

m называется откры-

m

 

òûì â E , åñëè äëÿ 8M 2 G найдется " окрестность такая, что все ее элементы принадлежат множеству G.

Определение 6.3. Множество fMg всевозможных то-

÷åê,

 

координаты

которых

удовлетворяют

неравенству

 

 

 

 

 

½(M

,

0

 

 

m

0

2

 

 

, ãäå

(x

1, ... , 0

- координаты

 

 

 

 

 

 

M

) = si=1 (xi ¡ xi ) 6 R

 

 

xm)

радиуса

 

ñ

точки M0,

называется

m

-

мерным

шаром

R

 

P

 

 

 

 

 

 

 

 

 

 

 

центром в точке M0:

 

 

 

 

 

 

 

 

 

 

 

 

 

Если заменить неравенство равенством, то множество fMg

называется m - мерной сферой.

 

 

 

 

 

 

 

 

 

 

Определение 6.4. Множество fMg точек, координаты ко-

торых удовлетворяют неравенствам

 

xi

x0 < di

, (di > 0, i =

 

 

i

 

 

параллеле-

= 1, ... , m) называется m- мерным координатным¯ ¡ ¯

 

 

 

 

 

 

 

 

 

 

 

 

¯

 

¯

 

 

 

 

пипедом. При этом точка M0(x0, ... , x0 ) называется центром

1 m

этого m- мерного параллелепипеда.

Определение 6.5. Будем называть " - окрестностью точки

M0(x0, ... , Em

1

открытый m- мерный шар радиуса " с центром в точке M0:

Определение 6.6. Точка 2 G называется внутренней точ- кой множества G, если существует "-окрестность этой точ- ки, все точки которой принадлежат этому множеству G:

Определение 6.7. Точка M 2 G называется граничной, если любая "-окрестности этой точки содержит как точки,

принадлежащие этому множеству, так и не принадлежащие ему.

Сформулируем еще одно определение открытого множества .

Определение 6.8. Множество G ½ Em называется обла-

стью или открытым множеством в пространстве Em, åñëè

любая его точка является внутрåííåé.

Определение 6.9. Множество G является замкнутым, если к открытому множеству

точки этого множества.

Определение 6.10.Множество G называется связным, если

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

Определение 6.11. Множество G ½ Em называется ограниченным, если для любых точек M1, M2 2 G, d(G) = = sup ½(M1, M2) есть величина конечная. Величину d(G) называют диаметром множества

xm). При этом множество
ñòà-

6.3. Предельное значение функции нескольких переменных

95

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

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

Определение 6.12. Если каждой точке M 2 G, G ½ E

вится в соответствие по известному закону некоторое число u 2 Q, Q 2 E, то говорят, что на множестве G ½ Em задана

функция u = f(M) (y = f(x1, ... , G называется областью определения функции u = f(M), à Q 2 E

областью значений.

1.

Областью

 

определения функции

Пример 6.1.

 

u = arcsin(x + y)

 

является

множество G 2 E2, G =

= (x, y) 2 E2 : y > ¡1 ¡ x, y 6 1 ¡ x

ª

. Областью значений при

этом является отрезок

[¡¼=

2;

 

2 .

 

 

©

 

 

 

¼= ]

 

 

q

 

 

 

 

 

 

 

 

 

 

2. Пусть u = 4 ¡ x2 ¡ x2 ¡ ... ¡ x2

1 2 m . Областью определения служит m - мерный шар радиуса 2 с центром в точке O(0, ... , 0)

множеством значений является сегмент [0, 2].

6.3. Предельное значение функции нескольких переменных

Рассмотрим последовательность fMng точек в евклидовом пространстве Em.

Определение 6.13. Последовательность fMng точек евкли- дова пространства Em называется сходящейся, если суще-

ствует точка A такая, что для 8" > 0 9N > 0 такая, что

ïðè n > N выполнено неравенство ½(Mu, A) < ". При этом точка A называется пределом последовательности fMng è

обозначается nlim Mn = A èëè

Mn ! A ïðè

n ! 1,

èëè

 

 

 

!1

 

 

 

 

lim ½(Mn, A) = 0:

 

 

 

n!1

 

 

Для того чтобы последовательность точек

Лемма 6.1.

 

m

 

 

m необходимо и доста-

fMng ½ E сходилась к точке A 2 E

n

n

точно, чтобы последовательности координат fx1 g , ... , fxmg

точек Mn сходились к числам a1, ... ,am, которые являются

координатами точки A 2 Em:

 

 

 

Ä î ê à ç

а т е л ь с т в о. Необходимость. Пусть

A =

nlim Mn

тогда для 8" > 0, 9N > 0 :

½(MnA) < "

 

!1

 

 

 

 

 

 

ïðè

n > N.

Принимается

во внимание

неравенство

 

 

 

 

 

 

 

 

 

 

m

(xin ¡ ai)2 < " имеем jxin ¡ aij < " ,i = 1, ... , m.

½(MnA) = si=1

 

 

P

 

 

 

 

 

96

 

 

 

Лекция 6. Функции многих переменных

 

 

Иными

словами

последовательности fxing координат

точки

Mn сходятся

ê

числам

ai(i = 1, ... , m),

 

которые являются

координатами точки A 2 Em.

 

 

 

 

 

Достаточность. Пусть ai = nlim!1 xi, i = L, ... , m, тогда для

8" >

0

1

 

0, ... , N

 

> 0 такие, что

n

>

N1, ... , n

>

N

 

9N >

 

 

m n

"

 

 

 

m

выполнены неравенства jxi

¡ aij <

p

 

но тогда при n > N =

m

= max(N1, ... , N2) выполнено неравенство ½(Mn, A) < ".¤

 

 

Сформулируем определение фундаментальной последователь-

ности точек в m-мерном евклидовом пространстве.

 

 

Определение

 

6.14.

 

Последовательность

fMng

точек

 

 

m

называется

фундаментальной

 

 

(fMng ½ E )

или последова-

тельностью Коши, если для 8k > 0, 8" > 0, 9N > 0 выполнено неравенство ½(Mn+k, Mn) < " ïðè n > N:

Справедлив критерий сходимости последовательности fMng. Критерий Коши.

Теорема 6.1. Для того чтобы последовательность fMng ½ ½ Em была сходящейся необходимо и достаточно, чтобы она

была фундаментальной.

 

 

 

 

 

 

 

 

 

Теорему легко доказать, используя лемму 1.1 и критерий Ко-

ши для числовых последовательностей (лекция 1). Предлагается

самостоятельно.

 

 

 

 

 

 

 

 

 

 

Следует отметить, что с помощью леммы 1.1 можно доказать

теоремы, которые доказаны для обычных числовых последова-

тельностей. В качестве примера докажем одну из них.

 

 

Теорема 6.2. (теорема Больцано - Вейерштрасса) Из любой

ограниченной последовательности fMng можно выделить схо-

дящуюся последовательность.

 

 

 

 

 

 

 

 

Д о к а з а т е л ь с т в о. Так как последовательность

fMng ограничена, то существует

конечное число

A

такое, что

 

n

 

 

 

 

 

½(O, Mn) < A, но тогда тем более jxi j < A, i = 1, ... , m. Следо-

вательно, в соответствии с теоремой Больцано Вейерштрасса

для числовых последовательностей из

последовательностей

n

 

 

 

nk

 

fxi g

можно выделить сходящиеся подпоследовательности fxi

g, êî-

торые сходятся к некоторым числам ai, i = 1, ... , m, но тогда

последовательность

 

m, координатами которой являются

 

 

 

nk

fMng ½ E

 

 

 

 

 

 

 

 

элементы xi сходятся к точке A с координатами ai, i = 1, ... , m.

Принимая во внимание, чтоnпоследовательности fxink g выделены

из последовательностей fxi

g, которые являются координатами

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

,

делаем

вывод, что

последователь-

f

© g

k

ª

 

fMng

 

 

 

 

 

 

 

 

 

 

является подпоследовательностью последовательно-

ность

Mn

 

ñòè Mn .¤

 

 

 

 

 

 

 

 

 

 

 

6.3. Предельное значение функции нескольких переменных

97

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

Определение 6.15. Число b называется предельным значе- нием функции u = f(M) в точке A (или пределом функции при M ! A), если для любой сходящейся к A последовательности

fMng, элементы которой отличны от A, соответствующие последовательности ff(Mn)g значений функции сходятся к b:

Определение 6.16. Число b называется предельным значе- нием функции u = f(M) в точке A, åñëè äëÿ 8" > 0 > 0, таких, что для всех точек M из области определения функции, удовлетворяющих условию ½(M, A) < ±, выполняется неравен-

ñòâî jf(M) ¡ bj < ":

Сформулируем определение предельного значения функции при стремлении точки M к бесконечности.

Определение 6.17. Число b называется предельным значе- нием функции u = f(M) ïðè M ! 1, åñëè äëÿ 8" > 0 9´ > 0 такая, что для всех M из области определения функции из

неравенства ½(O, M) > ´ следует jf(M) ¡ bj < ":

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

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

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

Если функции f(M) è q(M) имеют в точке A предель-

ные значения b è c, то функции f(M) § q(M), f(M) ¢ q(M) è

f(M)

(c 6= 0) имеют предельное значения равные соответственно

q(M)

b § c, b ¢ c, b/c.

 

 

 

 

 

 

 

 

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

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

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

нескольких переменных есть одна особенность, которую следует

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

вычисляя последовательно пределы для каждой из координат.

 

 

 

y) = ( x

xy

 

 

 

 

Пример 6.2.

f(x

,

2 + y2 , åñëè x2 + y2 6= 0

 

 

0, åñëè x2 + y2 = 0

 

Имеем lim lim f(x, y) = lim f(0) = 0,

 

 

 

 

y!0 x!0

 

 

y!0

 

 

 

 

lim(lim f(x³, y)) = lim f´(0) = 0, однако f(0, y) = f(x, 0) = 0,

x!0 y!0

 

 

x!0

 

 

,

 

0 по прямой

1 ïðè

 

 

0, т.е. если устремить

 

 

à f(x, x) = 2

x 6=

 

 

(x

 

y) !

 

4 Цыкунов А. М.

98 Лекция 6. Функции многих переменных

y = x, то получим последовательность, раскрывая которую полу-

чим значение

1

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

2

 

 

 

 

 

 

 

 

 

 

 

Следующий пример демонстрирует, что вычисленные повтор-

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

вычисления.

 

 

 

 

 

 

 

 

 

 

 

Пример 6.3. f(x, y) = 8 ¡

 

 

, åñëè

6

x2 + y2

 

 

 

<

 

0,

åñëè x2 + y2 = 0,

 

 

 

 

 

x2 ¡ y2

 

x2 + y2 = 0,

x!0 µy!0

:

 

x2

 

 

¡

y!0 x!0

x!0 µ x2

 

 

 

 

 

¡

 

 

 

 

 

³

´

lim lim f(x, y)

= lim

 

 

 

 

=

 

1, lim

lim f(x, y) =

 

 

 

= y!0 µy2

 

 

 

 

 

 

lim

 

 

y2

 

= 1:

 

 

 

 

 

 

 

 

 

В то же время не существует предела при (x, y) ! 0.

Действительно, если взять

2

 

 

1

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x = k ,

y = k и устремить k ! 1

ò.å. x è y одновременно стремятся к нулю, тогда получим

 

 

 

 

 

4

 

 

 

1

 

 

 

 

 

 

 

 

 

klim ¡

 

k2

¡ k2

= klim ¡3 = ¡3:

 

4

 

 

 

1

 

!1

 

 

 

 

 

 

 

+

 

!1

 

5

 

5

 

 

 

k2

k2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

С другой стороны при

 

 

 

 

 

 

 

1

 

 

 

1

 

 

k >

0 имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x = k , y = pk ,

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

k2

¡ k

 

= lim

 

 

1 ¡ k

= 1:

 

 

1

 

 

 

 

 

 

k!1 ¡

 

 

+

1

 

 

 

k!1 ¡

1 + k

 

 

 

 

k2

 

 

 

k2

 

 

 

 

 

 

 

 

 

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

Теорема 6.3. Если существует (конечный или бесконеч- ный) двойной предел lim f(x, y) = A и для любого y èç

x!a,y!b

области определения (или любого x из области определения)

существует (конечный) простой предел '(y) = lim (Ã(x) =

x!a

= lim f(x, y))), то существует повторный предел

y!b

lim '(y) = lim lim f(x, y) (lim Ã(x) = lim lim f(x, y))

y!b

y!b x!a

x!a

x!a y!b

6.4. Контрольные вопросы

99

èон равен двойному.

Äо к а з а т е л ь с т в о. Так как существует двойной предел A, òî äëÿ 8" > 0 9± > 0 такое, что, как только

½(M, M0) < ± ) jf(x, y) ¡ Aj < ", где точки M è M0 имеют координаты соответственно x, y è a, b, то будут справедливы неравенства jx ¡ a j < ± , jy ¡ bj < ±.

Зафиксируем y так, чтобы было выполнено jy ¡ bj < ±. Тогда

в силу существования конечного предела

'(y) = lim(f(x, y)),

 

 

 

 

 

x!a

 

получим, что для 8" > 0 9± > 0такое, что, если jx ¡ aj < ±, òî

 

j'(y) ¡ f(x, y)j < ", íî òàê êàê jy ¡ bj < ±, то получим

¤

j'(y) ¡ Aj < "

, откуда следует

lim '(y) = lim lim f(x, y).

 

A = y b

y

!

b x b

 

 

!

 

!

 

Также как и для функции одной переменной для функции нескольких

переменных справедлив критерий Коши.

Теорема 6.4. Для того чтобы функция f(M) имела ко-

нечное предельное значение в точке M = A 2 Em, необходимо и достаточно, чтобы функция f(M) удовлетворяла условию Коши, т.е. для 8" > 0 9± > 0 такое, что для любых двух точек M1èM2 èç m-мерного евклидова пространства, удовлетворяющих условиям ½(M1, A) < ±,

½(M2, A) < ± было выполнено неравенство jf(M1) ¡ f(M2)j <

< ":

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

6.4.Контрольные вопросы

1.Сформулируйте определение метрического пространства.

2.В каком случае метрическое пространство является Евклидовым?

3.Сформулируйте определение внутренней и граничной точек множества

4.Сформулируйте определение связного множества.

5.Сформулируйте определение ограниченного множества.

6.Сформулируйте определение функции многих переменных.

7.Сформулируйте определение предела последовательности.

8.Сформулируйте определение необходимые и достаточные условия сходимости последовательности.

9.Сформулируйте определение предела функции.

10.Какими свойствами обладают пределы функции при выполнении арифметических операций?

4*

100

Лекция 6. Функции многих переменных

6.5.Методические указания по решению задач

1.Найти область определения функции z = ln ¡y2 ¡ x + 4¢

Решение:

 

 

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

 

 

öèè

z = ln t

задается

íåðà-

 

 

венством t > 0. Следовательно,

 

 

для исходной функции имеем

 

 

y2 ¡ x + 4 > 0 () x < y2 + 4

 

 

Это левая часть от параболы

 

 

рис. 6.1. Область определения

 

 

заштрихована.

 

 

 

 

 

 

 

Ðèñ. 6.1.

2.

Найти поверхности уров-

 

 

ня для функции u =

x2 + y2

:

 

 

 

 

 

Решение: Для

 

 

 

z

 

 

получения

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

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

различные уравнения поверхностей. Пусть u = c

является кон-

стантой Тогда получим уравнение параболоида z = 1

x2 + y2 :

 

 

 

Äëÿ

äâóõ

c

значений

 

 

 

¡

 

¢

 

 

константы

 

c поверхности

 

 

представлены на рис 6.2.

 

 

 

Если функция двух пе-

 

 

ременных, то вместо по-

 

 

верхностей

будут

ïîëó-

 

 

чаться линии уровня. Они

 

 

являются

проекциями ли-

 

 

íèè

пересечения

поверх-

 

 

ности и плоскости па-

 

 

раллельной

координатной

 

 

плоскости xOy íà ïëîñ-

Ðèñ. 6.2.

кость xOy:

 

 

 

 

 

 

 

3. Найти линии уровня

для функции z = x2 ¡ y:

 

 

 

 

 

 

 

 

 

 

 

Решение: Это уравнениие поверхности, изображенной на

рис. 6.3. Пусть z = ñ является константой.

 

Тогда

получа-

ем уравнение

y = x2 ¡ c. Придавая

различные

значения для

величины c,

получим набор

уравнений,

которые

описывают

6.6. Примеры для самостоятельного решения

101

линии уровня для данной функции. В данном случае по-

лучаются

параболы

вершины, которых смещены по оси Oy

4. Вычислить

 

lim

 

x2 + y2

 

 

 

 

 

 

 

 

 

 

 

 

 

1.

 

 

 

x 0

p

x2 + y2 + 1

¡

 

 

 

y

! 0

 

 

 

 

 

 

 

!

 

 

 

 

 

Решение:

Äëÿ

нахождения

 

 

 

пределов

äëÿ

 

функции двух

 

 

 

переменных lim

 

 

f(x,

 

y)

 

 

 

 

x ! x0

 

 

 

 

 

 

 

y ! y0

 

 

 

 

 

 

удобно переходить

ê

полярным

 

 

 

координатам

путем

замены:

 

Ðèñ. 6.3.

x ¡ x0 = ½cos ', y ¡ y0 = ½sin '. Â

 

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

 

 

 

 

 

 

lim x ! 0

y ! 0

 

lim f(x,

y) = f(x0 + ½cos ',

 

x ! x0

 

 

 

 

 

 

 

 

y ! y0

 

1

=

¯

y = ½sin '

¯

=

 

x2 + y2 + 1

¡

 

x2 + y2

 

 

¯

x = ½cos '

¯

 

p

 

 

 

 

¯

 

¯

 

 

 

 

 

 

¯

 

¯

 

y0 + ½sin '):

½!0 p½2 + 1 ¡ 1 = h

0

=

0i

lim

½2

 

 

 

 

 

 

 

 

2½

 

 

 

 

 

 

= lim

 

 

= lim 2

½2+1 = 2:

½

 

 

 

 

 

 

p

½!0

 

 

 

 

½!0

p

 

 

½2+1

 

5. Вычислить

lim

 

xy

 

 

 

 

x2+y2

 

 

 

 

 

x ! 0

 

 

 

 

 

y ! 0

 

 

 

 

Решение:

¯

 

 

 

¯

 

 

!

0

xy

x = ½cos '

 

y

 

0 x2+y2

¯

y = ½sin '

¯

=

xlim

= ¯

¯

 

!

 

 

¯

 

 

 

¯

 

lim

½2cos 'sin '

= cos 'sin ':

½2

 

½!0

 

 

Зависимость величины предела от ' означает, что предела не существует.

6.6. Примеры для самостоятельного решения

Найти и изобразить области определения следующих функций. p p

1. u = 1 ¡ x2 ¡ y2 . 2. u =1+ 4 ¡ (x ¡ y)2 . 3. u =ln(x + y).

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