Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
раздел 4 конспекта лекций.pdf
Скачиваний:
80
Добавлен:
18.04.2015
Размер:
752.06 Кб
Скачать

Пример 4.4.9

Какую работу нужно затратить, чтобы поднять, для того, чтобы тело массы m поднять с поверхности Земли, радиус которой R , на высоту h ? Чему равна работа, если тело удаляется в бесконечность?

Решение

Работа

A переменной

силы

f (x), действующей

 

вдоль

оси Ox

на отрезке [a;b],

выражается интегралом

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A = f (x)dx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

С другой стороны , по закону всемирного тяготения силаF ,

действующая на тело массой

m , равна

 

 

 

 

 

 

 

 

mM

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F = k

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где M – масса земли, r – расстояние от массы

 

m до центра Земли, k

– гравитационная

постоянная.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку на поверхности земли, т.е. при r = R ,

вполняется

 

F = mg . то можно записать

mg = k

mM

, откуда можно найти kM = gR2 . Поэтому F = mg

R2

.

 

 

 

 

R2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r2

 

 

 

 

 

Следовательно, искомая работа равна

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R +h

 

 

R +h

 

R2

 

 

2

 

1

 

R +h

 

 

 

h

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A = Fdr =

mg

 

dr = mgR

 

 

 

 

= mgR

 

 

.

 

 

r2

 

 

R

 

 

 

 

R

 

 

R

 

 

 

 

 

r

 

 

 

 

R +h

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При h → ∞ A = lim mgR

 

h

 

= mgR .

 

 

 

 

 

 

 

 

 

 

 

 

R +h

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4.5. Несобственные интегралы

Несобственные интегралы первого и второго рода. Главное значение. Признаки сходимости. Свойства несобственных интегралов.

b

В определении интеграла f (x)dx предполагалось, что: a

промежуток интегрирования [a;b] конечен.

функция f (x) определена и непрерывна на [a;b].

Такой определенный интеграл называется собственным (слово собственный обычно опускается).

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

Выясним смысл этого нового понятия для двух простейших случаев.

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

+∞

 

b

Этот интеграл по определению равен f (x)dx =

lim

f (x)dx . Несобственный интеграл

a

b→+∞

a

 

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

случае интеграл называется расходящимся.

Если F(x) – первообразная функция для подынтегральной функции f (x) , то

33

 

 

 

 

+∞

 

 

 

 

 

 

 

 

 

 

 

 

[F(b) F(a)]= F(+∞) F(a),

 

 

 

 

 

 

 

 

f (x)dx =

lim

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

b→+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где F(+∞) =

lim

F(b)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b→+∞

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

+∞

 

 

 

 

c

 

 

 

 

 

 

 

+∞

 

 

 

 

 

f (x)dx =

lim

 

 

f (x)dx и

f (x)dx =

f (x)dx + f (x)dx .

 

 

 

−∞

 

 

 

a

→−∞

a

 

 

 

−∞

 

 

 

 

−∞

 

 

 

 

 

 

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 4.5.1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞ dx

 

 

 

 

Установить, при каких значениях α сходится интеграл

 

 

 

 

.

 

 

 

 

 

x

α

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

Решение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

dx

 

+∞

 

 

x1−α

 

 

+∞

 

 

 

 

 

 

 

x1α

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

еслиα >1 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

x−αdx =

 

 

 

 

 

 

 

=

 

lim

 

 

 

 

1

 

=

 

 

=

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

1 α

α 1

α

 

 

 

 

 

 

 

 

 

 

1 α

 

1

α

 

1

x

1

1 −α

 

1

 

 

 

 

 

x→+∞

 

 

 

,

 

 

 

если

α <1.

 

 

 

+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞ dx

= ln

 

x

 

= ∞. Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если α =1 , то

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

dx

 

сх при. α > 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

α 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

x

 

расх при.

 

 

 

 

 

 

 

 

 

 

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

Теорема 1 (Признак сравнения)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

Если для всех x a выполняется неравенство 0 f (x) g(x)

и если g(x)dx сходится,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

 

 

 

+∞

+∞

то f (x)dx тоже сходится, причем

f (x)dx g(x)dx . Если же f (x)dx расходится, то

a

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

a

a

+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g(x)dx – тоже расходится.

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 4.5.2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

 

dx

 

 

 

 

Исследовать сходится ли интеграл

 

 

 

.

 

x

2

x

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

(1 + e

 

 

 

Решение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

1

+∞

1

 

 

 

 

 

 

 

Поскольку

 

 

 

 

 

 

 

<

 

 

и

 

dx – сходится, то данный интеграл сходится.

x

2

(1 + e

x

)

2

 

2

 

 

 

 

 

 

x

1

 

x

 

 

 

 

 

 

Теорема 4.5.2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

Если интеграл

 

f (x)

 

dx

сходится,

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

f (x)dx . В этом случае

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

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

34

Пример 4.5.3

 

 

 

 

 

 

 

 

 

+∞

sin x

 

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

dx .

3

 

 

 

 

 

 

 

 

1

x

Решение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin x

 

 

1

 

 

+∞

1

 

 

 

 

 

 

 

 

 

 

Так как

 

 

 

и

dx сходится, то данный интеграл сходится абсолютно.

3

 

3

 

 

3

 

x

 

x

 

 

1

x

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 4.5.4 (Предельный признак сравнения)

Если для всех х а функции f (x) 0 и g(x) 0 , причем

f (x) ~ g(x) , то интегралы

 

 

 

 

 

 

 

 

x→+∞

 

 

+∞

 

 

+∞

 

 

 

 

 

 

 

f (x)dx и

g(x)dx одновременно сходятся или одновременно расходятся.

 

 

a

 

 

a

 

 

 

 

 

 

 

Пример 4.5.4

 

 

 

 

 

 

 

+∞

x 1

ехdx сходится, так как

x 1

ех

~ ех

 

+∞

 

+∞ < ∞

и

ехdx = −ех

 

 

 

1

x

 

x

x→+∞

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

сходится.

Пример 4.5.5

+∞

x 1

ехdx расходится, так как

x 1

ех

~ ех

 

+∞

 

+∞

и

ехdx = ех

 

x

 

x

 

 

1

1

 

 

x→+∞

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= ∞ ― расходится.

Несобственный интеграл от разрывной функции

Пусть f (x) непрерывна при а х < c и имеет точку разрыва при x = c . Тогда несобственный интеграл

c

 

b

f (x)dx =

lim

f (x)dx

a

bc0

a

 

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

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

 

 

 

 

b

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

f (x)dx = lim

 

f (x)dx (разрыв в точке a )

 

 

 

 

 

с

 

ac+0

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

x0

 

 

 

 

b

 

 

 

 

 

 

 

и f (x)dx =f (x)dx + f (x)dx (разрыв в точке x0 ).

Пример 4.5.6

 

a

 

 

 

 

 

 

 

 

a

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

dx

 

 

 

a

 

 

 

 

1m

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

(x a)m d(x a)=

(x a)

 

 

 

=

 

 

 

 

 

 

m

 

 

 

0 (x a)

0

 

 

 

 

1 m

 

0

 

 

 

 

 

 

 

 

 

 

lim

 

(x a)1m

 

 

(a)1m

сходится при m <1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

1m

 

1m

>1.

 

x

a

 

 

 

 

 

расходится при m

a

dx

 

 

 

 

 

 

 

 

 

 

a = ∞

 

 

 

 

 

 

 

 

Если m =1, то

= ln

 

x a

 

 

 

расходится.

 

 

 

 

 

 

x a

 

0

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

35

a

dx

сходится при m <1,

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

=

(x a)m

0

расходится при m 1.

b dx

Например, интеграл a(x b)p является сходящимся.

Рассмотрим теоремы, устанавливающие признаки сходимости несобственных интегралов от

разрывной функции.

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 4.5.5. (Признак сравнения)

 

 

 

 

 

 

 

 

 

 

 

Если

на отрезке

[а; с]

функции

f (x)

и g(x)

разрывные

в

точке

с, причем

 

c

 

 

 

c

 

 

 

 

 

 

 

 

c

g(x) f (x) 0 и g(x)dx

сходится,

то

f (x)dx тоже

 

сходится.

Если же f (x)dx

 

a

 

 

 

a

 

 

 

 

 

 

 

 

a

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

расходится, то g(x)dx тоже расходится.

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 4.5.6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

 

 

 

 

 

 

Если

f (x) разрывная функция в точке

с

и интеграл

 

f (x)

 

dx

сходится,

то интеграл

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

c

f (x)dx тоже сходится и такая сходимость называется абсолютной. a

Теорема 4.5.7

Если на отрезке [а; с] функции f (x) и g(x) разрывные в точке с, причем f (x) 0 и

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

с

g(x) 0

и

f (x) ~ g(x) , то интегралы

f (x)dx

 

и

g(x)dx одновременно сходятся или

 

 

 

 

 

xс

 

a

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

одновременно расходятся.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 4.5.7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

 

1

 

 

 

 

1

 

 

1

dx

 

 

 

 

dx сходится, так как

 

 

~

 

 

 

и

сходится.

х

+ 4х

2

х +

4х

2

 

1

 

1

 

 

 

 

x0 x

 

 

 

0 x

 

 

 

0

 

 

 

2

 

 

2

36