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

Lesn3_Integraly

.pdf
Скачиваний:
9
Добавлен:
11.05.2015
Размер:
3.63 Mб
Скачать

Глава II. Определенный интеграл

2.Метод парабол (Симпсона)

Воснове метода парабол лежит замена функции f(x) на малом отрезке некоторой квадратичной функцией.

Отрезок [a; b] разбивается на n = 2m равных отрезков

длины

x

1

(b a) точками a = x0, …, xi, ... , xn = b.

 

 

 

 

 

 

n

 

 

 

 

Вычисляются значения функции в этих точках: yi

f (xi ) .

Рассматривается отрезок двойной

длины

[x2i 2; x2i].

y

 

 

 

 

 

y = f(x)

На нем функция

y = f(x)

 

 

 

 

 

заменяется квадратичной

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y x2 x ,

 

 

 

 

 

 

 

 

 

график которой (парабола)

 

 

 

 

 

 

 

 

 

проходит через

точки

 

 

 

 

 

 

 

 

 

A2i-2, A2i-1, A2i. Коэффици-

O

a

 

 

 

 

b

x

 

 

 

 

енты

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

 

 

 

 

 

 

 

 

 

однозначно. Сначала доказывается равенство

 

 

x2i

 

 

 

 

 

 

( x2 x )dx 13 x( y2i 2 4 y2i 1 y2i ) .

 

x2i 2

Затем суммированием по всем отрезкам получается равенство:

b

 

 

m 1

m

 

 

f (x)dx

b a

y0

yn 2 y2i 4 y2i 1

.

(5)

3n

a

 

i 1

i 1

 

 

 

 

 

 

Формула (5) называется формулой парабол (Симпсона).

Пусть

M

4

sup | f (4)

(x) | . Тогда абсолютная погреш-

 

 

 

x [a; b]

 

ность Rn приближенного равенства (5) оценивается неравенством

 

| R |

 

 

(b a)

5

M

 

.

(6)

 

 

 

 

4

 

 

 

 

 

n

 

 

180n4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Оценка погрешности формулы парабол пропорциональна

1

, а формулы трапеций -

1

. Поэтому при больших значениях

n4

n2

 

 

 

 

 

 

 

 

n метод Симпсона дает более точное приближение интеграла.

50

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

Лекция 6

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

Вычисляя определенный интеграл, мы предполагали, что функция f(x) непрерывна на конечном отрезке [a; b]. Исследуем случаи, когда эти условия нарушаются. Рассмотрим сначала интеграл с бесконечным промежутком интегрирования.

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

(Интегралы с бесконечным промежутком интегрирования)

ачнем с рассмотрения промежутков вида [a; + ). Как возникают несобственные интегралы в этом случае, нам поможет понять решение следующей задачи.

Задача о площади плоской области.

Вычислить площадь S области, заключенной между осью Ox и графиком функции y x12 на промежутке [a; + ), где a > 0.

Область такого вида будем также называть криволинейной трапецией функции f(x) на промежутке [a; + ).

Возьмем на оси Ox произвольную точку b > a и построим криволинейную трапецию функции f(x) на отрезке [a; b]. Вычислим площадь Sb этой трапеции:

b

 

 

 

 

b

 

 

 

 

Sb

dx

1

1

 

1

.

 

a

b

2

x

a

x

 

 

 

a

 

 

 

 

 

 

 

 

 

y

O a

b x

Переходя в этом равенстве к пределу при b , получим

S lim

S

 

lim

1

1

 

1

.

Итак, S

1

, задача решена.

 

b

b

 

b a

b

 

a

 

a

 

Задача решена, по сути дела, вычислением предела опре-

51

Глава II. Определенный интеграл

b

деленного интеграла S lim 1 dx . Предельный переход тако- b a x2

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

Определение 1. Пусть функция f(x) определена на промежутке [a; + ) и интегрируема на любом конечном отрезке [a; b].

 

 

b

Тогда предел определенного интеграла

lim

f (x)dx

 

b a

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

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

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

Обозначение: f (x)dx . a

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

 

 

b

 

 

f (x)dx =

lim

f (x)dx .

(1)

a

 

b a

 

налогично определяются несобственные интегралы и для бесконечных промежутков двух других видов:

b

 

 

 

b

 

 

 

f (x)dx

=

lim

f ( x)dx ;

(1')

 

 

a a

 

 

 

 

 

c

 

 

 

 

f (x)dx

=

f (x)dx +

f (x)dx .

(1'')

 

 

 

 

c

 

В последнем случае точка

c R берется произвольно и

интеграл f (x)dx считается сходящимся, когда сходятся оба

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

52

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

Наряду с такой сходимостью для интеграла f (x)dx рас-

сматривают еще сходимость в смысле главного значения:

 

 

 

a

 

 

f (x)dx =

lim

f (x)dx .

(2)

 

a

a

 

ходящийся несобственный интеграл I рода обладает основными свойствами определенного интеграла: линейности, аддитивности, монотонности. Это вытекает из того, что данными свойствами обладают и определенный интеграл, и предел функции, которые согласно равенствам (1), (1'), (1'') задают несобственный интеграл I рода.

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

Для него имеет место аналог формулы Ньютона-Лейбница. Действительно, пусть F(x) – любая первообразная для f(x). Тогда

 

b

f (x)dx lim F(b) F(a) = F( ) F(a) .

 

 

f (x)dx = lim

 

a

b a

b

 

 

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

 

 

 

 

 

f (x)dx = F( ) F(a) .

(3)

a

Формула (3) называется формулой Ньютона-Лейбница

для несобственного интеграла I рода.

Аналогичные формулы имеют место и для несобственных интегралов вида (1'), (1'').

Пример 1.

Вычислим интеграл a xdx , где a, R, a > 0.

Рассмотрим сначала случай, когда = 1. Тогда

53

Глава II. Определенный интеграл

dx

 

dx

 

 

 

ln | a | .

 

 

 

 

x

 

 

x

= ln | x |

 

a

 

 

 

a

 

 

a

 

 

 

 

 

Следовательно, в данном случае интеграл расходится.

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

 

 

 

 

 

 

 

x1

 

 

 

 

a1

 

 

 

 

dx

 

x dx

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1

.

 

 

a

x

 

a

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если же > 1, то интеграл сходится:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

1

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1 )x 1

 

 

= 0

(1 )a 1

 

 

( 1)a 1

.

a

 

x

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

, если

1;

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

( 1)a

 

 

 

 

 

 

(4)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

x

,

 

 

 

 

 

если 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Другими словами, при a > 0

 

интеграл (4) сходится тогда и толь-

ко тогда, когда

> 1. Интеграл (4) называют эталонным интегралом.

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

При решении прикладных задач часто возникают ситуации, когда относительно несобственного интеграла I рода достаточно знать, что он сходится, а конкретное его значение не важно. Для исследования сходимости несобственного интеграла используются различные признаки.

Рассмотрим некоторые признаки для случая, когда функция f(x) определена на промежутке [a; + ) и интегрируема на любом конечном отрезке [a; b]. В двух других случаях они рассматриваются аналогично.

Отметим предварительно свойства интеграла, вытекающие из свойств линейности и аддитивности.

54

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

Для любого числа c 0 имеет место эквивалентность

 

 

 

 

интеграл c f (x)dx

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

f (x)dx .

a

 

 

a

Для любого числа b > a выполняется эквивалентность

 

 

 

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

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

f ( x)dx .

a

 

b

 

 

 

 

Второе свойство означает, что если функция f(x) удовлетворяет на промежутке [a; + ) указанным условиям, то сходимость интеграла не зависит от выбора нижнего предела интегрирования и определяется свойствами функции при x + .

Рассмотрим теперь необходимое условие сходимости.

Теорема 1. (Необходимое условие сходимости).

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

 

 

 

жутке

[a; + ). Тогда если интеграл

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

 

 

a

то f(x)

является бесконечно малой при x + .

Доказательство опустим.

Исследуем некоторые признаки сравнения несобственных интегралов I рода.

Теорема 2. (Признак сравнения в конечной форме).

Пусть функции f(x), g(x) непрерывны на промежутке [a; + ) и удовлетворяют на нем неравенству

 

0 f(x) g(x).

 

(5)

 

 

 

 

Тогда если

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

f (x)dx .

 

a

 

a

 

 

 

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

 

g(x)dx .

a

 

 

a

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

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

55

Глава II. Определенный интеграл

ственного интеграла от неотрицательной функции и сравнения

y

 

 

 

 

 

y = g(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y = f(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

O

a

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

площадей криволинейных трапеций функций f(x)

и g(x).

 

 

 

 

Пример 2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

(1 x)

 

 

 

 

 

 

 

 

 

 

 

 

x 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

Сравним функцию

f ( x)

 

 

 

 

с функцией

 

g(x)

 

 

 

.

(1 x)

x 2

 

 

x3 / 2

На промежутке

[1; + )

имеет место неравенство

0 f (x) g(x) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Интеграл g(x)dx

dx

является эталонным с

3

1 . Так как

x3/ 2

2

1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

он сходится, то сходится и интеграл от меньшей функции

 

dx

 

 

.

(1 x)

 

 

x 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

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

Пусть функции f(x) и g(x) непрерывны на промежутке [a; + ), и существует конечный ненулевой предел

 

 

 

 

 

 

lim

f (x)

c .

 

(6)

 

 

 

 

 

 

 

 

 

 

 

 

x g(x)

 

 

 

 

 

 

 

 

 

 

 

Тогда интегралы

f (x)dx

и g(x)dx оба сходятся или

 

 

 

 

a

 

a

 

 

 

оба расходятся.

 

 

 

 

 

 

 

 

 

Доказательство. Рассмотрим

сначала

случай,

когда

g(x) > 0 на [a; + )

и c

положительно: 0 c .

 

 

Согласно определению предела (6) имеем: 0

0

 

 

 

f ( x)

 

 

 

 

x |

x U ( )

 

c

.

Последнее

неравенство рав-

 

 

 

 

g( x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

56

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

носильно такому

f ( x)

c , то есть

c

f (x)

c .

 

 

 

g( x)

 

g(x)

Так как g(x) 0 в окрестности U ( ) , то в этой окрестности выполняется неравенство

(c )g(x) f (x) (c )g(x) .

(*)

Не умаляя общности, можем считать

U ( ) [a; ) .

Выберем таким, чтобы выполнялось неравенство с 0 .

 

 

 

Предположим теперь, что интеграл

g(x)dx

сходится.

a

Тогда сходится и интеграл (c )g(x)dx . Из второго неравен- a

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

Если же g(x)dx расходится, то расходится и интеграл a

(c )g(x)dx . Из первого неравенства в (*) и теоремы 2 следу- a

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

В случае, когда c , сначала проводятся аналогичные рассуждения относительно сходимости интеграла

 

 

 

 

 

 

 

 

 

 

 

 

f (x) dx , а затем - интеграла

f (x)dx .

 

 

a

 

 

a

 

 

 

 

 

 

 

 

Пример 3.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

.

 

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

 

 

 

 

 

 

 

 

 

 

 

(1 x)

x 2

 

 

 

 

1

 

 

 

 

 

 

 

 

Подынтегральная функция

f ( x)

1

 

 

 

при x являет-

 

(1 x)

 

x 2

57

Глава II.

Определенный интеграл

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ся бесконечно

малой функцией, эквивалентной

бесконечно

малой

g(x)

1

 

. То есть, имеет место предел

lim

 

f ( x)

1 . Так как инте-

 

 

 

 

 

x3 / 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x g( x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

.

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

грал

g ( x)dx

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

3/ 2

 

 

 

 

 

1

 

 

 

1

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

(1 x)

 

x 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следствие.

Пусть функция

f(x)

 

 

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

 

[a; + ) , a > 0, и при

x является бесконечно малой

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

порядка

 

относительно

 

1

.

Тогда интеграл

 

f (x)dx

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

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

1.

 

 

 

 

 

 

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

Согласно условию следствия для некоторого

R +

существует предел

lim

 

f (x)

c , где

c 0,

c .

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

Функция

g(x)

1

непрерывна и положительна на про-

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

межутке [a; + ). Поэтому все условия теоремы 3 выполнены.

Эталонный интеграл dx сходится при > 1 и расходит- a x

ся при 1. Тогда согласно теореме 3 интеграл f (x)dx также

 

 

 

 

 

 

 

 

 

 

 

a

 

 

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

1.

 

 

 

Пример 4.

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

x2dx

 

.

 

 

 

 

 

 

2 x3

x 1

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Подынтегральная функция

f ( x)

x2

 

 

 

при x является

2 x3 x 1

 

бесконечно малой порядка

1

относительно бесконечно малой

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

x2dx

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно, интеграл

 

расходится.

 

 

 

 

 

 

2 x3 x 1

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

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

58

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

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

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

Прежде, чем обратиться к интегралам этого вида, рассмотрим пример.

Пример 5.

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

 

2

dx

1

 

 

2

2 0 .

 

 

 

 

 

 

 

тельный результат:

 

( x 1)2

 

x 1

 

 

0

 

0

 

 

 

 

 

 

 

 

 

 

 

Что явилось причиной возникновения ошибки?

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

Рассмотрим, как в этом случае исследуются интегралы.

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

непрерывна на полуинтервале [a; b) и

неограниченна в окрестности

 

 

 

 

 

 

точки b. Тогда функция

f(x)

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для любого : 0 b a

не-

 

 

 

 

 

 

прерывна на отрезке [a;

b ]

 

y=f(x)

 

 

 

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

 

 

 

 

 

 

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

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

f (x)dx .

 

 

 

 

 

 

 

 

O

a b- b

x

a

 

Определение 2. Пусть функция f(x) непрерывна на полуинтервале [a; b) и неограниченна в окрестности точки b.

 

 

b

Тогда предел

lim

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

 

0

0

 

 

интегралом второго рода.

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

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

59

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