Материал: Методичка 1

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

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

Определение 7.3. Пусть функция f кусочно-непрерывна на R. Если

 

 

 

 

 

 

a

 

+∞

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

R

 

R

+

 

 

 

 

 

 

−∞

 

a

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

 

 

 

 

 

 

 

R

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

f(x) dx и полагают

 

 

 

 

 

 

 

 

−∞

 

 

+∞

a

 

 

+∞

 

 

 

Z

f(x) dx = Z

 

f(x) dx + Z

f(x) dx.

 

 

−∞

−∞

 

 

a

 

 

При этом функция f называется интегрируемой на R.

Åñëè æå

 

a

 

a R +

 

 

 

 

 

 

существует

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

 

 

R

 

 

 

 

 

ных интегралов

 

R

 

 

 

 

 

 

−∞

 

a

 

 

 

 

 

 

 

 

+∞

 

 

 

 

 

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

R

 

 

 

 

 

f(x) dx расходится.

 

−∞

Замечание 7.1. Теоремы 7.1 , 7.3 и определение 7.2 остаются справед-

ливыми при соответствующих изменениях формулировок и для несобствен-

ных интегралов

a

f(x) dx,

+∞

R

f(x) dx, а теорема 7.2 справедлива и для

 

 

R

 

−∞

 

−∞

a

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

−∞

Определение 7.4. Пусть f кусочно-непрерывна на R. Если сущест-

 

A

 

 

вует конечный lim

R

f(x) dx, то он называется главным значением

A→+∞−A

+∞

+∞

 

 

R

R

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

f(x) dx и обозначается v.p. f(x) dx.

 

 

−∞

−∞

Замечание 7.2. Из определений 7.3 и 7.4 следует, что если сходится

+∞

несобственный интеграл R f(x) dx, то существует и главное значение этого

−∞

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

65

1/x, x (−∞, −1],

Например, для функции f : R → R, f(x) = x, x (−1, 1),

1/x, x [1, +∞)

 

−∞

A→+∞

Z

x

 

 

Z

 

 

Z

x

=

 

v.p. +∞f(x) dx =

 

 

−1

 

 

1

 

 

A

 

 

 

 

 

lim

−A

 

1

dx +

x dx +

1

dx

 

 

 

 

 

 

 

 

=

R

 

1

1

−1

 

 

1

 

 

 

A→+∞ ln | − 1| − ln | −

 

| +

2

2

+ ln |

 

| − ln |1| = 0

 

 

lim

 

A

 

 

 

 

 

 

 

 

A

 

 

 

 

,

и главное значение существует. С другой стороны, несобственный интеграл

+∞f(x) dx =

+∞

dx

расходится (пример 7.1) и, следовательно, расходится

 

+R

R

x

 

 

 

 

 

 

1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

f(x) dx.

 

 

 

 

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

7.2. Несобственный интеграл по конечному промежутку

Определение 7.5. Пусть функция f

кусочно-непрерывна на [ a, b).

 

 

 

 

 

 

 

 

β

 

Если существует конечный

 

lim f(x) dx, то он называется несобст-

 

 

 

 

 

 

β→b−0 a

 

венным интегралом от функции fRпо [ a, b) и обозначается

 

 

 

b

 

 

 

 

β

 

 

 

 

f

 

x

 

dx

lim

f(x) dx.

 

 

 

Za

(

 

)

 

= β→b−0 Za

 

При этом говорят, что несобственный интеграл сходится, а функция f

 

 

β

интегрируема на [ a, b). Если

lim f(x) dx не существует или бесконе-

 

 

β→b−0 a

чен, то говорят, что

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

 

R

Пусть функция f кусочно-непрерывна на (a, b ]. Если существует ко-

b

 

 

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

α→a+0 α

 

 

 

 

 

 

 

функции f наR(a, b ] и обозначается

 

b

 

 

 

 

 

 

b

f

 

x

 

dx

 

lim

f(x) dx.

Za

(

 

)

 

=

α→a+0 Zα

 

При этом говорят, что несобственный интеграл сходится, а функция f

66

 

 

 

 

b

 

 

 

 

 

интегрируема на (a, b ]. Если

lim f(x) dx не существует или бесконе-

 

 

α→a+0 α

 

 

 

 

 

чен, то говорят, что

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

 

 

 

 

R

 

 

 

 

 

Пример 7.2. Интегралы Za

b

, Za

b

 

 

dx

 

dx

λ < 1 è

 

 

 

 

 

 

(x − a)λ

(b − x)λ сходятся при

расходятся при λ ≥ 1. Покажем это для первого несобственного интеграла:

b

 

 

 

 

 

 

 

(x − α)1−λ

b , λ = 1

 

 

 

(b

 

 

 

α)1−λ

 

 

 

a)1−λ

 

 

dx

 

 

 

 

 

 

α

 

6

=

 

 

 

 

 

 

 

 

 

, λ 6= 1

 

 

λ

=

 

1 − λ

 

 

 

 

 

 

 

 

 

1

λ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x a)

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln(b

a)

ln(α

a), λ = 1.

 

 

 

 

 

 

ln |x − a| α, λ = 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

a)

1

 

λ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

, λ < 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

lim

 

 

 

=

 

 

1

λ

 

 

 

 

 

 

 

 

и значит

 

(x

 

a)

λ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α→a+0 Z

 

 

 

 

 

 

 

 

 

 

 

 

 

λ

 

 

1

 

 

 

 

 

 

 

 

 

 

 

α

 

 

 

 

 

+

,

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходится при λ < 1 и расходится при λ ≥ 1. •

 

 

 

(x − a)λ

 

 

a

Теорема 7.4. Пусть функции f и g интегрируемы на [ a, b) и α, β R, тогда функция αf + βg интегрируема на [ a, b) и справедливо равенство

 

b

b

b

Za

(αf + βg) (x) dx = α Za

f(x) dx + β Za

g(x) dx.

Теорема 7.5. Пусть a < d < b и функция f кусочно-непрерывна на

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

 

b

 

b

 

R

 

R

[a, b), тогда несобственные интегралы

 

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

 

 

 

 

 

 

 

a

 

d

 

 

 

 

 

 

сходятся, то

 

Z

b

d

f(x) dx + Z

b

 

f(x) dx = Z

f(x) dx.

 

a

 

a

 

 

 

 

d

 

Теорема 7.6 1. Если F

- первообразная к функции f на [a, b), то

остается справедливой формула Ньютона-Лейбница в виде

Z

b

 

 

 

=

lim F (x) − F (a).

f(x) dx = F (x) b

ax→b−0

a

67

2. Пусть функции u и v непрерывно дифференцируемы на [ a, b). Ес-

 

 

 

 

 

 

 

 

b

 

 

 

 

b

 

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

u(x)v0 (x) dx è

u0

(x)v(x) dx, òî

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

частям

R

 

 

 

 

 

 

 

 

 

a

 

 

 

 

a

 

Za

b

)

( )

 

= x→b−0

( (

)

( )) −

( )

(

 

b

 

 

(

 

 

) − Za

u0 (x)v(x) dx.

 

u

x

v0 x

dx

lim

u

x

v x

u a

v

a

 

3. Пусть функция f непрерывна на [ a, b) (b может быть +∞) a функция ϕ : [ α, β) → [ a, b) непрерывно дифференцируема на [ α, β) (β

может быть +∞), причем ϕ(α) = a, lim ϕ(t) = b, тогда справедлива

t→β

формула замены переменной

b

β

ZZ

f(x) dx = f (ϕ(t)) ϕ0 (t) dt.

a

α

Доказательства этих теорем повторяют доказательства аналогичных теорем из 7.1.

Замечание 7.3. Теоремы 7.4 , 7.5 и 7.6 остаются справедливыми при соответствующих переформулировках и для несобственных интегралов по

(a, b].

Определение 7.6. Пусть функция f кусочно-непрерывна на (a, b).

c

b

Если при всех c (a, b) несобственные интегралы R f(x) dx è

R f(x) dx

a

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

и полагают

b

c

f(x) dx + Z

b

 

 

Z

f(x) dx = Z

f(x) dx.

c b

R

f(x) dx

a

a a c

При этом функция f называется интегрируемой на (a, b). Если же су-

b

c (a, b)

 

c

fb(x) dx è

 

Ra

ществует

 

такое, что хотя бы один из интегралов

 

R

R

 

 

 

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

f(x) dx

c

 

 

 

a

расходится.

 

 

 

Определение 7.7. Пусть функция f кусочно-непрерывнаc

íà [a, b]\

\{c}, где c (a, b). Если сходятся несобственные интегралы

Ra

f(x) dx è

68

b

 

 

 

 

 

 

 

 

 

 

 

b

R

 

 

 

 

 

 

 

 

 

 

 

R

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

f(x) dx

c

 

 

 

 

 

 

 

 

 

 

 

a

и полагают

b

 

c

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Za

 

f(x) dx = Za

f(x) dx + Zc

f(x) dx.

 

 

 

 

При этом функция f

называется интегрируемой на [a, b] \ {c}. Если же

 

 

 

 

 

c

 

 

 

b

 

 

 

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

Ra

f(x)bdx è Rc

f(x) dx расхо-

 

 

 

 

интеграл

f(x) dx расходится.

дится, то говорят, что несобственныйc−ε

 

 

Ra

b

 

 

, òî îí íà-

Если существует конечный

lim

f(x) dx

+c+ε

f(x) dx

 

 

ε→0+0

a

 

 

 

 

 

 

 

 

R

 

 

 

R

 

 

b

 

зывается главнымb

значением несобственного интеграла

Ra

f(x) dx è

обозначается v.p. R f(x) dx.

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

Так же, как и в случае несобственного интеграла по бесконечному про-

b

межутку, из сходимости несобственного интеграла R f(x) dx следует су-

a

ществование главного значения, а обратное неверно.

7.3. Признаки сходимости несобственных интегралов

Сходимость или расходимость несобственного интеграла от неотрицательной функции можно установить, сравнивая его с каким-нибудь другим несобственным интегралом от неотрицательной функции, о сходимости которого все известно.

Теорема 7.7 (признак сравнения). Пусть функции f и g кусочнонепрерывны на [ a, +∞) и пусть x [ a, +∞) 0 ≤ f(x) ≤ g(x), тогда:

+∞

 

 

 

 

 

 

+∞

 

 

 

 

1) если сходится

g

x

 

 

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

Ra

f(x) dx;

 

 

Ra + (

 

)

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ra

 

 

 

 

расходится

 

 

 

2) если расходится

f(x) dx, òî

A

 

 

Ra g(x) dx.A

Доказательство. Функции F (A) =

f(x) dx è G(A) =

g(x) dx íå

 

 

+

 

 

Ra

 

 

 

 

 

a

 

 

 

 

 

 

AR

убывают. Если сходится

Ra

g(x) dx,

òî

èç

неравенства

Ra

f(x)dx ≤

69