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

2777

.pdf
Скачиваний:
2
Добавлен:
15.11.2022
Размер:
2.28 Mб
Скачать

2) множеством значений функции x t при t ,

является отрезок a, b ,

 

3)

a и

b , то

 

 

b

 

 

 

f (x)dx

f (t) (t)dt .

a

Доказательство:

Пусть F(x) является первообразной для f(x). По формуле

 

 

 

 

 

b

 

 

 

 

 

Ньютона-Лейбница

 

 

f (x)dx

F (b)

F (a).

Поскольку

 

 

 

 

 

a

 

 

 

 

 

F t

f

t

t ,

 

то

F

t

первообразная для

функции

f t

t

. Тогда

 

 

 

 

 

f (t)

(t)dt F (t)

 

F ( )

F ( )

F (b) F (a)

 

b

 

 

 

 

 

 

 

 

 

 

f (x)dx.

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

При

 

вычислении

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

 

интеграла,

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

Пример 3.6. Вычислить определенный интеграл

1

x 2 1 x 2 dx.

0

Решение:

71

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

sin t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

costdt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x 2

1

 

x 2 dx

 

 

x1

 

 

0, t1

0

 

 

 

 

sin2 t

1 sin2 t cost dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

 

1,

t2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

sin2 t cos2 t dt

1

2

sin2 2t dt

1

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

cos4t dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

8

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

t

 

/ 2

 

 

 

1

 

sin 4t

 

/ 2

 

 

 

 

 

 

 

0

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

16

 

 

 

 

16

 

 

 

 

 

 

 

 

8

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 3.7. Вычислить определенный интеграл

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

1

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

t 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

t, x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8 dx

 

 

dx 3t 2 dt

 

 

 

 

 

 

2 3t 2 dt

 

 

 

 

2 t 2

1 1

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

dt

3

 

(t 1)dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 1

 

 

3 x

 

 

 

x1

0, t1

 

0

 

 

0 1 t

 

 

t 1

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

 

8, t2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

dt

 

 

 

 

3t 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

30

 

 

 

 

 

 

3t

 

 

3ln

t

1

 

 

 

0

 

3ln 3.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t 1

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример3.8.

 

Вычислить

 

 

 

определенный

 

 

интеграл

ln 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e x

1dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e x

1

 

t,

x

ln(t 2

1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

2t

 

 

 

 

 

 

 

 

 

 

 

 

 

e x

1dx

 

 

 

 

 

dx

 

 

 

dt,

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

1

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

0, t1

 

0, x2

 

ln 2, t2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

72

1

t 2

1 1

1

1

 

 

dt

 

1

 

 

 

2

dt 2

dt

 

 

2 t arctgt

2 1

 

.

t 2

1

1

t 2

0

4

0

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

3.9. Несобственные интегралы. Несобственные интегралы первого рода

Определенные интегралы от непрерывных функций по конечному отрезку называются собственными интегралами.

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

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

Рассмотрим функцию f x , непрерывную на промежутке

a, , и выделим отрезок a, N .

 

Несобственным

интегралом

от функции f x по

бесконечному промежутку

a,

называют предел интеграла

по промежутку a, N

при N

 

:

 

 

 

N

 

f (x)dx

lim

f (x)dx .

a

 

N

a

 

 

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

расходящимся.

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

 

dx

.

 

 

 

1

x 2

 

 

 

Решение:

73

 

dx

lim

N dx

lim

1

 

 

 

 

 

 

 

 

x

2

1 x

2

x

1

N

N

 

 

 

 

 

 

 

 

 

 

N

lim

1

1 1.

 

 

 

 

 

 

 

 

N

 

1

N

 

 

 

 

 

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

 

 

 

 

 

 

 

Пример

 

3.10.

 

Вычислить

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

 

 

 

xdx

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

x2 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xdx

 

 

N

xdx

 

 

 

1

 

 

 

 

N

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

lim

 

ln

x 2

1

 

 

1 x

2

1

 

 

x

2

1

2

 

N

 

N

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

lim

ln N 2

 

1

 

ln 2

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 N

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Предел не существует, следовательно, интеграл расходится. Геометрическая интерпретация сходящегося

несобственного интеграла при f x 0 - площадь бесконечно длинной криволинейной трапеции (рис 7).

y

y f x

O a

x

Рис. 7.

Большинство свойств определѐнного интеграла (кроме оценки и теоремы о среднем) для несобственных интегралов сохраняются.

74

Если f(x) непрерывна на промежутке , a , то аналогичным образом может быть определен несобственный

интеграл первого рода на промежутке

 

, a :

a

 

a

 

f ( x)dx

lim

 

f ( x)dx .

 

N

N

 

 

 

 

Если f(x) непрерывна на всей числовой оси, то

 

a

 

 

f (x)dx

f (x)dx

f (x)dx .

 

 

 

a

В этом случае интеграл

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

оба интеграла в правой части.

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

Теорема. (Признак сравнения) Если на промежутке a,

непрерывные функции

x и f x подчиняются неравенству

0

x f x , то из сходимости интеграла f (x)dx следует

 

 

a

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

(x)dx , а из расходимости интеграла

 

 

a

 

(x)dx следует расходимость интеграла f (x)dx .

a

 

a

 

Доказательство:

 

75

Докажем

первую

часть

теоремы, т.е.

если

 

f (x)dx

 

 

 

 

 

 

 

 

 

 

a

сходится,

то сходится

и интеграл

 

(x)dx . Проинтегрируем

 

 

 

 

 

 

a

 

 

 

 

неравенство

0

x

f x

в

пределах

от

a

до N:

N

N

 

 

 

 

 

 

 

 

 

(x)dx

f (x)dx .

 

 

 

 

 

 

 

 

a

a

 

 

 

 

 

 

 

 

 

Возьмем пределы при N

 

от левой и правой части

неравенства:

 

 

 

 

 

 

 

 

 

 

 

 

 

N

 

 

N

 

 

 

 

 

 

lim

(x)dx

lim

f (x)dx .

 

 

 

 

 

N

a

 

N

a

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку правый предел есть конечное число,

так как

 

 

 

 

 

 

 

N

 

 

 

интеграл

f (x)dx сходится, то интеграл

(x)dx

ограничен.

 

a

 

 

 

 

 

a

 

 

 

 

N

 

 

 

 

 

 

 

 

 

Интеграл

(x)dx

как

функция

N

является возрастающей

a

функцией и ограничен. Это означает, что существует конечный

 

 

 

 

 

N

 

 

предел

lim

 

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

(x)dx

 

 

 

N

a

 

a

 

 

 

 

 

 

сходится.

 

 

 

 

 

Вторая часть теоремы доказывается по аналогии.

 

 

 

Пример

3.11. Исследовать на сходимость

интеграл

 

 

dx

 

.

 

 

 

 

 

 

 

 

 

 

1

x2

1

e x

 

 

 

 

 

 

 

 

 

 

76

 

 

 

 

Решение: Сравним данный интеграл с известным

сходящимся

 

 

 

 

интегралом

 

 

 

 

dx

.

 

 

 

 

Так

 

как

 

 

 

при

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

x 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

1

 

 

 

 

 

 

1

 

 

 

 

 

 

 

1

 

 

, то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2 1

e x

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

dx

.

 

 

 

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

интеграл

является

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

x 2 1

e x

 

 

1

 

 

x 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходящимся.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема.

 

 

Если

 

 

 

 

существует

 

 

предел

 

lim

 

f x

 

k ,

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

0

k

 

 

 

 

 

 

 

 

 

 

 

f

 

x

0,

 

 

 

x

0 ,

 

 

 

 

то

интегралы

f (x)dx

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

(x)dx

одновременно оба сходятся или оба расходятся (без

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

доказательства).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример

 

 

3.12.

 

 

 

 

Исследовать

 

 

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

 

 

 

 

x3

11

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln

 

 

 

 

 

 

 

 

 

 

dx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x3

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение: Рассмотрим для сравнения интеграл

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

x3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

N dx

1

lim

 

 

1

 

1

 

1

 

. Поскольку интеграл

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

1 x

 

 

 

 

 

 

 

2 x

 

 

 

 

 

N 2

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сравнения сходится, а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln

 

x3

11

 

 

 

 

 

 

 

 

ln(1

 

 

 

 

 

6

 

)

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

lim

 

x3

5

 

 

 

 

 

lim

 

 

 

x3

5

 

lim

 

x3

5

 

 

6

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

1

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

x

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x3

 

 

 

 

 

 

 

 

 

 

x3

 

 

 

 

 

 

 

77

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

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

Пусть функция f x определена и непрерывна на промежутке a,b, а в точке b терпит бесконечный разрыв или разрыв II рода (рис. 8).

y

 

y

f x

 

 

O

a

b

x

 

 

 

 

 

 

Рис. 8.

 

 

 

 

 

 

b

Тогда, если существует конечный предел lim

f x dx ,

 

 

 

0

a

( >0), то его называют несобственным интегралом второго

b

рода и обозначают f x dx . Если предел не существует или

a

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

Аналогично определяется интеграл с особенностью подынтегральной функции на нижнем пределе. Пусть f x

непрерывна на промежутке

a,b ,

а при x a имеет разрыв II

рода, тогда

 

 

b

 

b

f (x)dx

lim

f (x)dx.

a

0 a

 

78

Если функция y f x испытывает разрыв второго рода

во внутренней точке

c

отрезка

a, b , то несобственный

интеграл второго рода определяется формулой

b

 

c

 

b

f

x dx

f x

dx

f x dx .

a

 

a

 

c

Несобственный интеграл слева сходится, если сходятся каждый из несобственных интегралов, расположенных справа.

 

Если

f x

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

b

 

 

 

 

 

 

 

 

 

 

 

 

 

f x

dx

интерпретируется

геометрически

как

 

площадь

a

 

 

 

 

 

 

 

 

 

 

 

 

 

бесконечно высокой криволинейной трапеции.

 

 

 

 

 

 

 

Для

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

интегралов

второго

 

рода

используются признаки сходимости.

 

 

 

 

 

 

 

 

 

Теорема. Если на промежутке

a,b

функции

f x

и

x

непрерывны, а при

x

b испытывают разрыв второго

рода

и

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

условию

0 f

x

x ,

то

из

 

 

 

b

 

 

 

 

 

 

 

 

 

 

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

x dx следует сходимость интеграла

 

 

 

a

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

b

 

 

 

 

 

 

f x

dx ,

а из

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

f

x dx

следует

a

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

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

x dx (без доказательства).

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

Теорема. Если на промежутке

a,b

функции

f x

и

x

непрерывны, а при

x

b испытывают разрыв второго

рода,

и, кроме того, существует конечный предел lim

f

x

 

k ,

 

x

 

 

 

 

 

 

 

 

x

b

 

где 0 < k < , то оба интеграла одновременно сходятся или одновременно расходятся.

79

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

1

dx

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

sin 2

 

 

 

0

x

 

 

 

 

 

 

 

 

 

1

dx

 

 

Решение: Рассмотрим интеграл сравнения

 

. Можно

 

x 2

 

 

0

 

 

 

 

 

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

 

 

 

 

 

1 dx

 

1

dx

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

lim 1

 

 

 

.

 

 

 

 

 

 

0 x

2

 

x

2

 

 

 

 

 

 

 

 

 

 

 

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обе подынтегральные функции испытывают разрыв

второго

 

рода

 

 

при

 

 

x

0 .

Так

как

предел

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

lim sin

2

x

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

1 ,

 

то

оба

интеграла ведут себя

 

 

 

2

 

 

x 0

1

 

x 0 sin

x

 

 

 

 

 

 

 

 

 

 

 

x 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

3.11. Абсолютная и условная сходимость несобственных интегралов.

Если функция f x непрерывна на a,

или a,b и

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

сходящимся, если сходится интеграл от функции f (x) . Сама

функция f(x) называется при этом абсолютно интегрируемой на соответствующем промежутке.

80

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