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

10546

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

Пример. Найти объём тора («баранки»). Тор можно получить, вра-

щая относительно оси Ox окружность

x2 + (y a)2 = r2

y

 

 

 

 

 

y

2

= a + r2

x2

 

 

 

 

 

y1 = a r2 x2

a

r

x

Рис. 35.4

Интересующий нас объём равен разности объёмов, полученных при вращении кривых y1 и y2 . Поскольку фигура симметричная, то можно вычислять половину объёма

 

1

r

 

 

r

 

r

 

 

 

 

 

 

 

 

 

V = π(y22 y12)d x = π(y1 + y2)(y1 y2)d x = 4aπr2 x2 d x

2

0

 

 

0

 

0

 

 

 

 

 

 

 

 

 

 

 

Применим подстановку x = rsint . Тогда будем иметь

 

 

 

 

 

 

 

 

 

 

π

 

π

 

 

 

 

 

 

1

 

2

 

2

 

 

 

 

 

 

V = 4aπr2 cos2 (t)d t = 2aπr2

(1+ cos2t)dt =

 

 

2

 

 

 

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

= 2aπr2 (t +

1

sin2t)

2 = aπ2r2 .

V

= 2π2ar2.

 

 

 

 

 

 

 

 

2

 

 

тора

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

35.3. Несобственные интегралы. Вводя определённый интеграл как

предел интегральных сумм

 

 

 

 

 

 

b

 

 

 

n

 

 

 

 

 

 

f (x)dx = lim

f (xk ) xk , λ = max xk ,(35.1)

 

 

 

 

a

n→∞

k=1

k

 

 

 

 

 

λ→0

 

 

 

 

 

251

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

f (x) непрерывна, а

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

b

c

b

f (x)dx = f (x)dx + f (x)dx ,

a

a

c

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

f (x)

a

c

b

Рис. 35.5

При этом и геометрическое значение интеграла как площади остаётся в силе.

Иначе обстоит дело, когда функция имеет разрыв второго рода в какой либо точке внутри интервала интегрирования или на одном из его концов. Начнём с примера. Так, формально написанный интеграл

1 dx (35.2)

0 x

не существует в обычном смысле, т.к. подынтегральная функция «уходит в бесконечность» на левом конце промежутка интегрирования (см. рис. 35.6).Попытаемся придать вполне определённый смысл интегралу (35.2), а значит, и понятию площади соответствующей бесконечной фигуры. Проведем прямую x = ε и рассмотрим полученную криволинейную трапецию. Ее площадь равна интегралу

1

dx .

ε x

252

y

f (x) = 1

x

1

ε

O ε

1

Рис. 35.6

Определим интересующую нас площадь бесконечной фигуры с помощью предельного перехода

1

dx

 

 

 

 

1

 

 

 

lim

 

= lim2

x

 

= lim2(1− ε) = 2.

 

 

 

 

ε→0

x

 

ε→0

 

 

ε

ε→0

ε

 

 

 

 

 

 

 

 

В нашем примере предел оказался конечным. Таким образом, мы придали смысл интегралу

1

dx

1

dx

 

 

 

= lim

 

= 2.

 

 

 

 

 

 

 

 

0

 

x

 

ε→0 ε

x

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

Если в промежутке [a,b] функция f (x) непрерывна, за исключением крайней точки (пусть для определённости это будет точкаb), то несобственный интеграл с бесконечными разрывами определяется как предел

bb−ε

f (x)dx = lim

f (x)dx, ε > 0 .

ε→0

 

aa

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

существует или расходится.

Для сходимости несобственного интеграла разрывной функции необходимо, чтобы эта функция «достаточно быстро» стремилась к беско-

253

нечности, когда аргумент стремится к точке разрыва. Что такое «достаточно быстро» поясним на следующем примере. Рассмотрим несобственные

1

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

интегралы вида

 

с параметром p > 0.Найдем

 

 

xp

 

 

 

0

 

 

 

 

 

 

1

 

 

 

 

 

 

1 (1p),

p <1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1p

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

lim x

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

1p ε→0

 

 

ε

,

p >1

 

 

 

 

lim

 

 

=

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

ε→0

ε

x

 

 

 

 

1

= ∞,

p =1

 

 

 

 

 

 

 

 

 

 

 

 

limln x

 

ε

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ε→0

 

 

 

 

 

 

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

 

p <1

интеграл сходится, а при

p ≥1 – расходится.

Этот пример показывает, что несобственный интеграл с бесконечным разрывом оказывается сходящимся, если подынтегральная функция «уходит» в бесконечность не медленнее, чем функция xp с p <1.

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

A

f (x)dx = Alim→ ∞ f (x)dx,

aa

b

 

b

f (x)dx =

lim

f (x)dx,

−∞

B→ − ∞

B

 

+∞

 

c

f (x)dx = f (x)dx +

a < A < +∞ ,

− ∞ < B < b,

+∞

f (x)dx.

−∞

−∞

c

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

Пример 1. Найдем площадь фигуры, заключённой между кривой y =1/(1+ x2 ) и осью абсцисс (см. рис. 35.7).

1.5

 

 

 

A

dx

 

 

 

 

 

 

 

 

1

 

 

 

2

 

 

y=1/(1+x2)

 

 

0

1+ x

 

 

 

 

 

 

 

 

 

0.5

 

 

 

 

 

 

 

-4

-3

-1

0

1 A

 

3

4

254

Рис. 35.7

Задача сводится к вычислению несобственного интеграла

+∞

 

 

dx

 

 

+∞

dx

 

 

A

dx

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

= 2

 

= 2 lim

 

= 2 lim arctgx

 

= 2 lim arctgA = π.

 

 

+ x

2

1+ x

2

1+ x

2

 

−∞

1

 

 

0

 

A→ ∞

0

 

A→ ∞

0

A→ ∞

 

 

 

 

 

 

 

 

 

 

 

 

Интеграл оказался сходящимся, поэтому можно считать, что площадь этой

бесконечной фигуры равна

π ≈ 3.14кв.ед.

 

 

 

 

 

 

 

Пример 2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

dx

 

 

A

dx

 

 

 

 

 

A = 2 lim

 

 

 

= lim

 

= lim 2

x

 

 

A

= +∞.

 

 

 

 

 

 

 

 

0

 

x A→+∞

0

 

x A→+∞

 

 

0

A→+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Этот несобственный интеграл – расходящийся.

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

dx

«достаточно быстро», показывают несобственные интегралы вида

1 xp

с параметром p > 0.Найдем

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

lim x1p

 

A

1 (p 1), p >1

 

A

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

1

p A→∞

 

 

1

, p <1

 

 

 

 

lim

 

 

=

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

A→∞

1

x

 

 

lim ln x

 

A

= ∞,

p =1

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A→∞

 

 

 

 

 

 

 

Итак, при p >1 интеграл сходится, а при p ≤1 – расходится. Таким образом, несобственный интеграл с бесконечным пределом оказывается сходящимся, если подынтегральная функция стремится к нулю не медленнее, чем функция xp с p >1.

255

Раздел 7 . Математический анализ. Дифференциальное исчисление функций многих переменных

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

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

Если каждой точке(x, y), принадлежащей некоторому множеству

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

В символической записи это выглядит следующим образом:

z = f (x, y), (x, y) D .

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

 

Пусть

S – площадь прямоугольника с размерами

x и y . Тогда

можно определить функцию двух переменных

 

 

 

 

S = x y, D ={(x, y):x >0, y >0}.

 

 

 

 

 

 

 

 

Пусть

функция определена формулой z = 1x2 y2 . Если функ-

ция

задается формулой без указания области определения, то предполага-

ется

«естественная» область определения, т.е. та область, где данная фор-

мула существует. В данном случае это замкнутый круг

x2 + y2 ≤ 1.

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

z = 1x2 y2 .

256

Эта функция легко получается из уравнения сферы x2 + y2 + z2 =1,поэтому её геометрический образ – полусфера радиуса R= 1 с центром в начале координат, расположенная над плоскостью xOy.

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

f (x, y) = C,

C = const .

Эта кривая есть проекция на плоскость

xOyточек пересечения поверхно-

сти z = f (x, y) и плоскости z = C .По картине линий уровня можно получить представление о поверхности. Например, если линии уровня замкнуты в окрестности некоторой точки, то в этом месте поверхность имеет либо вершину, либо впадину. По «густоте» линий уровня можно судить о крутизне склонов поверхности (см. рис. 36.1).

10

5

0

-5

-10 4

2

4

0

2

 

 

0

-2

-2

 

-4

-4

 

Рис. 36.1

36.2. Предел и непрерывность функции двух переменных. Приведем предварительно определениеε -окрестности точки M0 (x0, y0 ) как совокупность точек M (x, y) , удовлетворяющих неравенству

(x x0 )2 + (y y0 )2 < ε2 . Будем говорить, что последовательность точек

(x1, y1),(x2, y2 ),,(xn , yn ),

стремится или сходится к точке M0 (x0, y0 ) , если расстояние

257

(xn x0 )2 + (yn y0 )2

между n -м членом этой последовательности и точкой M0 стремится к нулю при n → ∞.

Отметим, что в дальнейшем мы будем применять одну их эквивалент-

ных записей

 

 

 

 

 

x x

 

x 0

M M

 

 

0

 

y 0

0 .

y y0

 

 

 

Определение предела функции двух переменных по форме ничем не отличается от определения предела функции одной переменной: число A называется пределом функции z = f (x, y) если для любой последова-

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

(x1, y1),(x2, y2 ),,(xn , yn ),сходящейся к точке

(x0, y0 ),

соответствующая

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

функции zn = f (xn , yn )

сходится к A. Символически это записывается так

 

 

 

lim f (x, y) = A.

 

 

 

 

xx0

 

 

 

 

yy0

 

 

 

В качестве примера приведем функцию z =

2xy

,у которой

не су-

x2 + y2

 

 

 

 

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

Рис.36.2

258

Действительно, пусть точка (x, y) движется к началу координат по прямой y = kx, 0 < k < +∞ . Тогда

lim

2xkx

=

 

2k

,

x2 + (kx)2

 

+ k2

x0

1

 

y0

 

 

 

 

 

т.е. при стремлении аргументов к началу координат по разным направлениям получаются различные «предельные» значения функции (см. рис. 36.2).

Понятие предела даёт возможность

определить непрерывность функ-

ции в данной точке. А именно, функция

z = f (x, y) непрерывна в точке

(x0, y0 ), если

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

xx0 yy0

Если подробно «прочесть» это равенство, то непрерывность означает, что

функция определена в данной точке и некоторой её окрестности;

существует предел функции в этой точке;

предел функции равен значению функции в этой точке.

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

lim[ f (x0 + x, y0 + y) f (x0 , y0 )] = 0 ,

x0 y0

т.е. непрерывность означает, что «малым» изменениям аргументов соответствуют «малые» изменения функции. Ясно, что эти понятия легко распространить на функции многих переменных.

Если функция непрерывна в любой точке некоторой области, то говорят, что она непрерывна в этой области. Убедитесь, пользуясь определением непрерывности, что функция z = x2 + y2 непрерывна в любой точке плоскости.

36.3. Частные производные, производная по направлению. Для функции одной переменной производная в данной точке равна пределу отношения приращения функции к приращению аргумента, когда последнее стремится к нулю. В случае функции двух переменных приращения аргументов ( x, y) из данной точки M0 (x0, y0 ) в точку M(x0 + x, y0 + y) могут быть сделаны в любом направлении на плоскости. Это приводит к понятию производной функции по направлению, которая характеризует скорость изменения функции в выбранном направлении.

259

Начнем с простейшего случая, когда приращения происходят в направлении оси абсцисс, т.е. когда x 0, y = 0. В этом случае предел

lim

f (x0 +

x, y0 ) f (x0, y0 )

=

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

)

 

 

x0

x

x

x

0 0

 

 

 

 

называется частной производной функции f (x, y) по переменной x в

точкеM0 (x0, y0 ) . Аналогично можно определить частную производную по переменной y

lim

f (x0 , y0 +

y) f (x0 , y0 )

=

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

 

 

y0

y

y

y 0 0

 

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

z =

x

,

z =

1

,

z = −

x

.

 

y

x y

y

y2

Выясним геометрический смысл частных производных. Пусть в некоторой окрестности точки M0 (x0, y0 ) задана функция z = f (x, y) , у которой в этой точке существуют частные производные. Зафиксируем одну из переменных, например, переменную x .

zz(x) = f (x, y0 )

z = f (x, y)

z(y) = f (x0, y)

M0

y

B β

(x0, y0 )

α

x A

Рис. 36.3

260

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