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

книги из ГПНТБ / Определенные и неопределенные интегралы учебное пособие для студентов Н. А. Фролов Министерство высшего и среднего специального образования РСФСР, Московский ордена Ленина энергетический институт. 1960- 4 Мб

.pdf
Скачиваний:
16
Добавлен:
29.10.2023
Размер:
4.16 Mб
Скачать

Из второй формулы (X') следует:

I

у ds = yl.

о

Умножив обе части этого равенства на 2л,

получим:

i

 

2п Jyds = 2яу/,

 

о

 

ИЛИ

 

S = I-2лу,

(XI)

где S есть площадь поверхности, образуемой вращением кри­

вой АВ вокруг оси ох. В правой части 2п,у равняется длине

окружности, описываемой точкой С(х, у) при вращении во­ круг оси ох.

Отсюда видно, что формула (XI) служит доказательством

следующей теоремы.

Теорема Гульдена. Площадь поверхности, образуемой вра­ щением плоской кривой вокруг не пересекающей ее оси, ле­

жащей в плоскости кривой, равна про-

xz"‘

X

взведению

длины

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

длину окружности, описываемой при

X С"

\

вращении кривой ее центром тяжести.

/

\

Пример. Найти

центр тяжести

I----------- ----------- J

однородной

массы,

распространенной

О

37.

вдоль полуокружности

радиуса г.

ЧеРт-

Решение. Искомый центр тяже­

сти С, очевидно, находится на радиусе, перпендикулярном к диаметру полуокружности (черт. 37). Если h—расстояние от центра полуокружности до центра тяжести, то по теореме Гульдена

лг • 2лЛ — *4яг

(пг—длина данной полуокружности, а 4 *«г — площадь по­ верхности шара, образуемой вращением этой полуокруж­ ности вокруг диаметра).

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

Я

119

Упражнения

56. Найти центр тяжести однородной массы, распростра­

ненной: ~ а) вдоль дуги гипоциклоиды

3

L

2

з

з

— а

расположенной над осью ох;

б) вдоль 1-й четверти окружности

х=а cos t, у—a sin t.

ГЛАВА V

НЕСОБСТВЕННЫЕ ИНТЕГРАЛЫ

1. Интегралы с бесконечными пределами

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

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

область интегрирования, являясь отрез­

ком, всегда ограничена.

 

 

 

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

раниченных

областях:

в

бесконечных

полуинтервалах вида

[а, +<») или (—оо,

/>]

и в

бесконечном интервале (—оо,-фоо).

Поэтому

понятие

 

определенного

интеграла

следует

распространить и на случаи неограниченных областей интег­

рирования.

Но для этого

нужны новые определения,

точно

устанавливающие, что понимать под

 

 

 

 

+оо

 

b

 

+оо

 

 

 

J f(x)dx,

^f(x)dx и

^f(x)dx.

 

 

 

а

—оо

 

—оо

 

 

Пусть функция f(x)

определена и

непрерывна

в

облас-

ти х > а.

ь

 

при

b -+4~°° имеет

конечный

Если J f(x) dx

 

а

 

 

 

 

 

 

предел, то этот предел и

будем

понимать под интегралом

+оо

 

 

 

 

 

 

 

J f (х) dx.

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

Таким образом, по определению

 

 

 

 

+00

 

 

b

 

 

 

 

f f(x) dx=lim С/ (х) dx.

 

 

 

J

 

**+ooJ

a

 

 

 

 

a

 

 

 

 

 

121

 

-i-oo

 

 

 

 

 

существует,

или, как

Если

J f(x) dx в этом смысле

говорят,

а

 

 

 

 

 

 

 

 

сходится, то его называют несобственным интегралом,

Если при

 

 

ь

 

 

 

 

 

интеграл j

f(x) dx не

имеет

конечного

 

*4оо

 

 

а

 

 

 

 

 

предела,

 

имеет

 

смысла.

В этом случае

то J /(х) dx не

 

 

а

 

 

 

 

 

 

 

 

говорят,

4оо*

 

 

 

 

 

 

 

 

что J f (х) dx расходится,

 

 

 

 

а

 

 

 

 

 

 

 

 

Аналогично

определяется

 

несобственный

интеграл

 

 

ь

 

 

 

ь

 

 

 

 

 

j /(х) «Zx=lim

 

f (х) dx.

 

 

 

 

J

 

а->—оо J

а

 

 

 

 

 

—оо

 

 

 

 

 

 

Наконец, по определению, полагают

 

 

 

+оо с

 

 

+оо

 

 

 

 

 

 

J f(x) dx =

 

f(x)dx± J f (

x) dx.

 

 

—00

 

—00

 

 

с

 

 

где с — любое число.

 

 

 

 

 

 

 

Это же означает, что

 

 

 

 

 

 

 

 

 

+00

 

 

 

b

 

 

 

 

 

f f(x) dx=[im Cf (х) dx.

 

 

 

 

J

 

i->+oo J

 

 

 

 

 

—oo

 

a-» —oo a

 

 

 

 

 

 

 

 

 

+0O

 

 

 

В качестве примера рассмотрим I

—,

где a>0.

 

 

 

 

 

 

J

X

 

 

По определению

 

 

 

а

 

 

 

 

 

 

b

 

 

 

 

 

+оо

 

 

 

 

 

 

 

 

С dx

 

 

 

frfx

 

 

 

 

 

J Xе

Zj-»+ooJ Xs

 

 

 

 

 

a

 

 

 

a

 

 

 

Пусть a =# 1.

Тогда

 

 

 

,

 

 

 

 

b

,

 

b

 

____,al—*

 

 

Гdx _ ■?—

I

 

 

 

 

J x“ “ 1 - a

 

1 - a

1 - a

 

 

a

 

 

0

 

 

 

 

 

122

Поэтому, если а> 1,

то

,

 

 

 

 

 

 

..

ь

 

 

..

а1

а1

0

 

 

Cdx

 

b1 "

 

 

lim

I

= hm

-------------------=-------

 

 

+

а

х

ft->+ool—а

1—а

а — 1

 

 

если же а<Г 1,

то

 

 

ь

 

 

 

 

 

 

 

 

 

 

1-

 

 

 

 

 

 

 

 

 

 

Cdx

 

 

 

 

 

 

 

 

 

 

11Ш

I— = ао.

 

 

 

 

 

 

 

 

 

&-»+ooJ X

 

 

 

 

 

 

Пусть а = 1.

Тогда

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

b ь

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ь

 

откуда видно,

что

и

в этом случае

интеграл

Cdx

 

-а- стремит-

ся к бесконечности,

когда /?->4-оо.

 

 

 

а

 

 

 

+оо

 

 

 

 

 

 

 

 

 

 

 

 

 

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

несобственный интеграл

(

dx

сущест-

I

-1—

 

 

 

 

 

 

 

 

 

J

 

 

вует, если а >> 1, причем

в этом случае

 

а

 

 

 

 

 

 

 

 

 

 

+<ю ■

.

 

 

 

 

 

 

 

 

 

 

Г dx_ _ а‘~а

 

 

 

 

 

 

 

 

 

 

J Ха ~«-1

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

.

 

 

+ 00

 

 

 

 

 

 

 

 

то

f dx

 

 

 

 

 

 

 

если же а< 1,

I

— расходится.

 

 

 

 

 

а

Эти результаты имеют простой геометрический смысл. Рассмотрим область D, которая слева ограничена прямой

х—а, снизу — осью ох, а

сверху — кривой у— —

(черт. 38).

Вправо эта область простирается без конца.

 

 

 

Условимся, что

вполне естественно, под

площадью

всей .бесконечной области D

понимать

предел

площади

конечной ее части до

прямой х — b

при

 

что

Тогда

полученные выше результаты

будут

означать,

если

область D

сверху

ограничена

кривой,

соответствующей

а>1 [расположенной справа

от 7И(1,1)

под гиперболой

у — — ],

то область D

имеет

конечную

площадь,

если

123

же верхняя граница области D есть гипербола у —— или

кривая, соответствующая а <’1 [расположенная справа от

Л1(1,1) над гиперболой у — —j, то область D бесконеч­

ной площади.

2. Абсолютно сходящиеся интегралы

Пусть функция f(x) определена и непрерывна в облас­ ти х > а.

 

+со

 

 

 

Интеграл j f (х) dx называется

абсолютно сходящимся

 

а

+ оо

 

 

 

сходится

 

 

если

интеграл J |f(x)| dx.

 

 

 

а

 

 

Это определение учитывает тот

факт, что из

сходимос-

ти

интеграла

+СО

 

интеграла

J [ f(x)\ dx вытекает сходимость и

а

+оо

J /(х) dx.

а

124

В самом деле, пусть существует I \f(x)\dx — К.

Так как

- |/(х)| < f(x) < |f(x)|,

то,

0<f(x) + l/(x)| < 2|f(x)|.

ь

Отсюда следует, что интеграл j [f (х) 4~ )I/G*

I ] dx при

а

 

Ь-у-\-оо возрастает, как интеграл от неотрицательной функции, и ограничен сверху, так как

 

J[/(x)4- lf()l]*

dx< 2j|f (x)|rfx<2 j \f(x)\dx =»2K-

 

a

 

 

a

 

a

 

 

 

 

 

 

b

 

 

 

Поэтому при b -►4-00 интеграл j [/(x) 4- | f (x) | ] dx

имеет

конечный предел.

Но

 

a

 

 

 

 

 

 

 

 

 

 

f(x) = [/(X) 4-1

ftx) I

] — I *K)

I

 

 

 

 

 

 

b

 

 

 

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

интеграл

(x) dx при

d->4-°°

также

 

 

 

 

 

a

+oo

 

 

 

 

 

 

то

есть

 

 

имеет

конечный

предел,

j /(х) dx сходится.

 

 

 

 

 

 

а

 

 

Аналогичным образом определяется абсолютная

сходи-

мость

 

 

Ь

 

+00

 

 

интегралов j f (х) dx и J f (х) dx.

 

 

 

 

 

—00

 

—со

 

 

 

Пример,

рассмотренный

в

предыдущем параграфе, поз­

воляет

нам

сформулировать следующий признак абсолютной

сходимости интеграла

4-о°

j f (х) dx.

d

125

Пусть функция /(х) определена

и непрерывна

в области

х> а. Если существует такое а>1,

что

для всех достаточно

больших х

 

 

 

 

 

 

 

 

 

 

(1)

 

 

 

 

4-оо

 

где М не зависит от х,

то интеграл

J f (х) dx сходиЛся

абсолютно.

 

 

 

а

 

 

 

 

 

 

В самом деле, пусть

условие (1)

выполнено

для всех

ь

f(x)\dx, возрастающий при Ь-►-(-<х> ,

ограничен

x>atyO. J|

а,

как

 

 

 

 

сверху, так

 

 

 

 

и поэтому при &-+-+00

он имеет конечный предел.

Отсю-

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

 

ь

равный

сумме

интеграл J |f (x)\dx,

а,

b

 

а

 

 

 

 

имеет конечный

Jl

+Jl f(x) \dx, при d->-{-co также

a

а,

+oo

 

 

 

предел, то есть

 

 

 

J \f(x)\dx сходится.

 

 

 

 

а

 

 

 

 

Пример, рассмотренный в предыдущем параграфе, позво­

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

 

 

 

 

+00

 

 

 

 

 

J f (х) dx .

 

 

 

 

 

а

 

 

 

Если для всех достаточно больших х

 

 

 

 

fW > X ,

 

(2)

 

М > 0 не зависит

+оо

 

 

где

от х, то j /(х) dx расходится.

а

126

В самом деле, пусть

условие (2)

выполнено

для

всех

Х> О4>0.

 

 

 

 

 

 

 

 

Тогда

 

 

 

 

 

 

 

 

ь

 

 

ь

 

 

 

 

 

Jf (х) dx > М

.

 

 

 

 

От

 

 

а{

 

 

 

 

 

Но

 

ь

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

ия-f-oo.

 

 

 

 

 

+ooJZ>* -

X

 

 

 

 

 

 

 

 

а,

 

 

 

 

 

 

 

 

 

h

 

 

вместе с

 

Поэтому при д->-|-оо

интеграл J/(x)rfx,

а

ним

b

 

 

О,

 

 

+оо

 

 

 

 

 

 

 

J f (х) dx

и р (л) dx не имеет конечного предела,

то есть

а

 

 

 

 

 

а

 

 

расходится.

 

 

 

 

 

 

 

 

3. Интегралы от неограниченных функций

 

Выше было доказано,

что

необходимым

условием

суще-

ft

 

 

является ограниченность

функ-

ствования интеграла аf f

(x)dx

ции /(х) на отрезке [а,

Ь].

Однако при помощи новых опреде­

лений понятие интеграла распространяется и на такие случаи,

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

Эти определения следующие.

Пусть функция f(x) непрерывна в полуинтервале

[а, д]

и неограничена в

интервале

(Ь — г, Ь), где е>0 как уГОД-

но мало. Если

ft—е

 

 

интеграл

^f(x)dx при е->0 имеет

ко-

 

а

 

 

нечный предел, то по определению полагают

 

*

f (х) dx ■— lim

ft—s

 

 

f f (x) dx.

 

a

 

«—>o

J

 

 

 

a

 

127

Если

b

этом

смысле существует, или,

как

Jf (x) dx в

 

а

 

 

 

 

 

 

говорят, сходится, то его

называют несобственным

ин­

тегралом.

 

Ь—Е

 

 

 

Если

при s -> 0

 

 

конечно-

интеграл

J/(x)dx не

имеет

 

b

 

 

а

 

 

 

 

 

 

 

 

 

 

го предела, Tojf(x)dx не

имеет смысла.

В этом

случае

 

а

 

 

 

 

 

 

 

b

 

 

 

 

 

 

говорят, что J/ (х) dx расходится,

 

 

 

 

а

 

 

 

 

 

 

Аналогично определяется несобственный интеграл

 

 

 

ь

 

 

ь.

 

 

 

 

I f (х) dx = lim

f (х) dx,

 

 

 

 

J

 

«-»o

J

 

 

 

 

a

 

 

a-f-s

 

 

 

когда функция f(x) непрерывна в полуинтеграле (а, b] и не-

ограничена в интервале

(a, a-J-e).

 

 

 

Ь) и

Если функция f (х)

непрерывна

в

интервале (а,

неограничена в интервалах (a, a -f- г') и (b—s", b), то

'по­

лагают

 

 

 

 

 

 

 

bob

dx,

 

J/(x) dx=

(x) dx-j-)*(•

 

a

 

a

 

 

c

 

 

где c — любая точка интервала (a,

b).

 

 

Это же означает, что

 

 

 

 

 

 

ь

 

 

b —e'

 

 

 

\ f (х) dx ==■ iim

J

dx.

 

J

 

s'-0

 

 

 

a

 

»"-»0

a+s"

 

 

 

Пример. Вычислить несобственный интеграл

 

 

('dx

.

n

 

 

 

 

l

—, a

>

0.

 

 

 

 

0

 

 

 

 

 

 

128

Соседние файлы в папке книги из ГПНТБ