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

МА_Метода

.pdf
Скачиваний:
56
Добавлен:
02.07.2019
Размер:
637.1 Кб
Скачать

< ε. Отсюда следует, что при любом способе выбора точек ξk [ xk, xk+1 ] формула

 

 

 

 

n−1

 

 

 

 

 

Xk

 

 

 

SΠξ (f) = h

 

f(ξk)

 

 

 

 

 

=0

 

есть квадратурная формула.

 

 

 

 

Выбирая

ξr следующими

тремя

способами:

1) ξk = xk (ðèñ. 6.3);

 

 

 

0

 

xk + xk+1

(рис. 6.5), получим три

2) ξk = xk+1

(ðèñ. 6.4); 3) ξk

= xk =

 

 

y . .

 

 

y . .

2

y . .

 

 

 

 

 

.

f(xk+1) ............

.

 

.

 

. .

 

 

.

 

. .

 

 

.

 

. .

 

f(xk) ......... .

 

. .

 

.

.

 

 

.

.

 

. .

 

 

 

 

 

. .

 

. .

 

. . .

. . .

..... .....

0 xk xk+1

.x

0 xk xk+1

.x

 

Ðèñ. 6.3

 

Ðèñ. 6.4

 

 

 

 

.

 

f(x0

 

 

.

 

 

) ...........

 

k

 

. .

 

 

 

 

.

 

 

 

 

. .

 

 

 

 

. .

 

 

 

 

.

 

 

 

 

. . .

 

 

 

 

.

 

 

 

 

.

 

 

 

 

. . .

 

 

 

 

.

 

 

 

 

. . .

.

 

 

 

.

......

 

0

xk x0 xk+1

.x

 

k

 

Ðèñ. 6.5

квадратурные формулы:

 

n−1

 

 

 

 

 

nkP1

 

 

 

 

1) S ëåâ(f) = h

f(xk) формула левых прямоугольников;

 

n

=0

 

 

 

 

 

 

 

 

 

 

 

 

x

+ x

 

 

 

 

nP1

 

 

 

2) S ïð(f) = h

 

f(xk+1) формула правых прямоугольников ;

 

n

k=0

 

 

 

 

 

 

 

 

 

 

 

 

 

3) S ñð(f) = h

f(

k

 

k+1

) формула средних прямоугольников.

P

 

 

 

Названия эти

 

 

 

 

 

f

n

k=0

 

 

2

 

 

 

 

 

 

 

 

 

 

связаны с тем, что для положительной функции фор-

ìóëû S ëåâ(f), S ïð(f), S ñð(f) дают площади ступенчатых фигур (см. рис.

n

n

n

6.3 6.5).

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

 

 

 

xk+1

 

 

 

 

 

 

 

 

не интеграла

 

f(x) dx на интеграл от линейной функции, задающей

уравнение

 

 

R

 

 

 

 

 

(xk, f(xk)) è (xk+1, f(xk+1)):

 

 

 

 

xk

 

 

 

 

 

 

 

 

 

 

прямой, которая проходит через точки

 

 

 

xk+1

 

k

 

 

xk+1

 

xk

 

2

k

Z

 

 

 

 

 

f(x

) +

 

(f(xk+1) − f(xk))(x − xk)

 

 

dx =

f(xk) + f(xk+1)

h = sòð.

xk

 

 

 

 

 

 

 

 

 

 

 

 

Суммируя эти интегралы, получим формулу

 

 

 

 

 

 

 

 

 

f(x0) + f(xn)

n−1

f(xk)!.

 

 

 

 

 

 

Sn = h

 

 

 

 

+

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

òð

 

 

 

 

Xk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=1

 

 

 

60

Полученная формула

называет-

ся формулой трапеций, так

êàê (ïðè

f(x) > 0)

 

y . .

f(xk+1) ............................

 

 

 

 

f(xk) + f(xk+1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

sk =

 

 

 

 

h

 

 

 

 

 

 

 

 

 

 

f(xk)

.........

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

òð

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

есть площадь трапеции, боковую сторону

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

.

 

 

 

 

которой

образует

отрезок,

 

 

соединяю-

 

 

 

 

 

 

 

 

.

 

 

. .

 

 

 

 

 

 

 

 

 

 

 

....

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 xk

 

 

 

 

.

 

 

 

щий точки (xk, f(xk)) è

(xk+1, f(xk+1))

 

 

 

 

 

 

xk+1 x

 

 

 

 

 

 

 

 

 

 

 

Ðèñ. 6.6

 

 

 

(ðèñ.6.6).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Полученная формула является квадратурной, поскольку

 

 

 

 

 

 

 

 

 

 

 

S òð =

 

1

(S ëåâ + S ïð),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

2

 

n

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а формулы S ëåâ(f) è S ïð(f)

являются квадратурными и, следовательно

 

 

 

 

n

n

 

 

 

 

 

 

b − a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ε > 0

 

δ > 0, такое что

 

n >

 

 

 

S òð

J

|

< ε.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

δ

 

 

|

 

n

 

 

 

 

 

 

 

 

 

 

 

 

Если подынтегральная функция дважды непрерывно дифференцируе-

ма на промежутке [a, b], то справедливо следующее предложение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Предложение 6.2. Пусть J =

Ra

f

 

x

 

dx, M

 

 

sup

|

f

00 (x) . Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

)

 

 

 

 

2 = x [a,b]

 

 

|

 

 

 

 

 

 

 

 

 

S òð

J

M2(b − a)3

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

12n2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Сначала

оценим

 

 

-модуль разности между инте-

 

 

 

h

 

 

 

 

 

 

 

f(0)+f(h)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

гралом J = R0

f(x) dx è S òð = h

. Напишем уравнение прямой,

 

 

 

 

 

 

2

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ïðî-

ходящей через точки (0, f(0)) è (h, f(h)): y

= f(0) + (f(h) − f(0))

 

è

h

рассмотрим дважды дифференцируемую функцию

 

 

 

 

 

 

 

 

 

 

ϕ(x) = f(x) − y − Kx(x − h) = f(x) − f(0) − (f(h) − f(0))

x

− Kx(x − h).

 

 

h

Подстановкой легко проверяется, что ϕ(0) = ϕ(h) = 0. Возьмем произвольную точку ξ (0, h) и потребуем, чтобы ϕ(ξ) = 0. Это справедливо, если

K(ξ) = h (f(ξ) − f(0)) − ξ (f(h) − f(0)). hξ(ξ − h)

Èòàê, äëÿ 0 < ξ < h ϕ(0) = ϕ(ξ) = ϕ(h) = 0. Применяя к функции ϕ(x)

теорему Ролля 4.5 на отрезках [0, ξ] è [ξ, h], получаем, что существуют точки c1 (0, ξ) è c2 (ξ, h) такие, что ϕ0 (c1) = ϕ0 (c2) = 0. Òàê êàê

61

A→+∞ a
0 = ϕ00 (c) = f 00 (c) − 2K,

ϕ0 (x) - дифференцируемая функция, то по теореме Ролля 4.5 получим, чтоc (c1, c2) (0, h) такая, что ϕ00 (c) = 0. Значит

откуда K =

f 00 (c)

и, следовательно, c (0, h):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f(ξ) − y = ϕ(ξ) + K(ξ)ξ(ξ − h) = K(ξ)ξ(ξ − h) =

 

 

f 00 (c)

− h).

 

 

 

 

 

 

 

 

 

 

 

ξ(ξ

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

Тогда, в силу произвольности ξ, x (0, h)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|

f(x)

y

|

=

|f 00 (c)|

x(x

h)

| ≤

M2

|

x(x

h)

|

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

|

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

è

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

h (f(x)

 

 

y) dx

 

 

h M2

 

 

x(x

 

 

h)

dx =

 

M2

hx(h

 

 

 

x) dx =

M2h3

.

Z

 

2

|

 

2

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

|

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

12

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

a

 

Рассмотрим

теперь промежуток

 

 

 

 

 

 

, разобьем его на n частей

 

 

 

 

 

 

 

 

 

[a, b]

h =

n

и применим на каждом промежутке [xk, xk+1] полученную

выше оценку:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S òð

J

 

 

 

n−1

M2

 

(b − a)3

 

=

M2(b − a)3

n−1 1 =

 

M2(b − a)3

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

=0

12

 

 

n3

 

 

 

 

 

 

 

12n3

=0

 

 

 

 

 

12n2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Xk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Xk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

7.1. Несобственный интеграл по бесконечному промежутку Определение 7.1. Пусть функция f кусочно-непрерывна на [ a, +∞).

 

 

 

 

 

A

 

) и обозначается

венным интегралом от функции fRïî [ a, +

 

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

 

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

 

 

 

A→+∞ a

 

+∞

 

 

 

 

 

 

 

 

 

 

A

 

 

Za

(

x

)

dx

= A→+∞ Za

f(x) dx.

f

 

 

lim

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

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

A

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

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

R

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

62

Пусть

функция f кусочно-непрерывна на

(−∞, a ].

Если существует

a

 

 

 

 

 

 

 

 

 

конечный

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

B→−∞ B

 

, a ] и обозначается

 

 

 

от функции f поR(

−∞

 

 

 

 

 

a

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(

x

)

dx

lim

f(x) dx.

 

 

 

 

Z

 

 

= B→−∞ Z

 

 

 

 

 

−∞

 

 

 

 

B

 

 

 

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

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

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

→−∞ B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

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

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞ dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 7.1.

 

 

 

сходится при λ > 1 и расходится при λ

 

1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R1

xλ

 

A

 

dx

 

 

 

1

λ A

1

λ

− 1

 

 

 

 

 

Действительно, при λ = 1,

 

 

 

=

 

x

 

 

 

=

A

 

. Следователь-

íî,

 

 

 

xλ

 

1 −

λ 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

1

 

 

 

 

 

 

 

 

 

1 − λ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1. Åñëè λ > 1, òî

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

A1−λ = 0

 

 

 

lim

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xλ = λ − 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A→+∞

 

 

 

 

A→+∞ Z1

 

 

 

 

 

 

и значит

+∞ dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

xλ сходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.

Åñëè

λ < 1, òî

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

A1−λ = +

 

 

 

 

 

 

lim

 

 

 

= +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A→+∞

 

 

 

A→+∞ Z1

xλ

 

 

 

 

 

 

 

 

 

+∞ dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

è

R1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xλ

 

расходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3. Åñëè λ = 1, имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

x

 

= A→+∞

 

| | 1

 

A→+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A→+∞ Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

dx

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

lim

 

 

ln x

 

 

=

lim ln A = +

 

 

,

 

 

 

 

 

 

+∞ dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

значит

 

R1

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

63

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

+∞

+∞

+∞

Za

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

Za

f(x) dx + β

Za

g(x) dx.

Доказательство следует из определения 7.1 и линейности определенного интеграла и предела.

Теорема 7.2 Пусть b > a, тогда несобственные интегралы

+∞

+∞

RR

f(x) dx è

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

a

b

 

 

 

 

 

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

 

 

 

+∞

Z

b

+∞

 

Z

f(x) dx =

f(x) dx +

Z

f(x) dx.

 

a

 

a

 

b

 

Доказательство следует из аддитивности определенного интеграла по промежутку.

Теорема 7.3 1. Если F первообразная к функции f на [ a, +∞), то остается справедливой формула Ньютона-Лейбница в виде

+∞

+∞

Z

f

x

)

dx

=

F

x

) a

lim F (x)

F (a).

(

 

 

(

 

= x→+∞

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

+∞

 

 

 

+∞

 

 

 

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

 

u(x)v0 (x) dx è

 

u0 (x)v(x) dx,

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

по частям

 

R

 

 

 

 

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

 

 

+∞

 

 

 

 

 

+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Za

u x

v0

x

 

dx

 

lim

(u(x)v(x))

u

a v

a

) − Za

u0

x

v

x

 

dx.

 

( )

(

 

)

 

= x→+∞

 

(

) (

 

(

)

(

 

)

 

 

Доказательство следует из формулы Ньютона-Лейбница и формулы

интегрирования по частям для определенного интеграла.

 

 

 

 

 

+∞

Определение 7.2.

Если сходится

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

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

+∞

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

a

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

a

f(x) dx ñõî-

дится абсолютно. Функция называется абсолютно интегрируемой на

[ a, +∞).

64

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

Определение 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

Соседние файлы в предмете Математический анализ