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

Математический_анализ_2_семестр

.pdf
Скачиваний:
23
Добавлен:
24.05.2015
Размер:
2.05 Mб
Скачать

c xn x0 c b a .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6. Если на отрезке

f x 0 , то f x dx 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x 0 на отрезке, то i f i

 

 

 

 

n

 

 

 

 

 

 

 

 

 

Так как

0, f i xi

0 . Переходя к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

пределу, получим

f x dx 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

7. Если на отрезке

f x g x , то f x dx g x dx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

Так

 

 

 

как

 

 

 

 

 

f x g x

 

 

на

 

 

отрезке,

 

 

 

 

то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i f i

g i , f

i xi g i

xi . Переходя к пределу, получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x dx g x dx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8.

f x dx

 

 

f x

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

b

b

 

 

b

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x

 

f x

 

f x

 

 

 

f

x

 

dx f x dx

 

f x

 

dx

f x dx

 

 

 

f x

 

dx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

a

a

 

 

a

 

 

a

bb

9.f z dz f x dx (переменная интегрирования – «немая» переменная,

aa

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

фиксированных пределах интегрирования это – число. Он определен своими пределами. Поэтому он и называется определенным.

Теорема об оценке определенного интеграла.

Пусть на отрезке a,b m f x M и функция f x интегрируема на отрезке. Тогда

b

m b a f x dx M b a

a

Доказательство. Интегрируя по свойству 7 неравенство m f x M , с учетом свойства 5 получаем требуемое утверждение.

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

2

14 e x2

 

Пример. e x2 dx . Такой интеграл «не берется». Но

1 на

2

e

 

отрезке 2, 2 . Поэтому, учитывая четность подинтегральной функции,

21

 

4

 

2

получим

0,16

e x2 dx 4 . Конечно, это – очень грубая оценка, более

4

 

e

2

 

 

 

точную оценку можно получить, применяя методы численного интегрирования.

Теорема о среднем значении определенного интеграла («теорема о

среднем»).

 

 

f x

непрерывна на отрезке a,b . Тогда существует

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

 

 

b

 

 

c a, b , что

 

f x dx

b

f c

a

 

(или f x dx f c b a ).

 

b a

 

 

 

a

 

 

 

 

Геометрически,

смысл этого соотношения состоит в том, что площадь

криволинейной трапеции равна площади прямоугольника с тем же основанием и высотой f c .

Доказательство. По второй теореме Вейерштрасса функция, непрерывная

на отрезке, достигает

на

нем своей

верхней

 

M sup a,b f x

и нижней

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

m inf a,b f x

грани.

По

теореме

об

оценке

m b a f x dx M b a ,

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

откуда, деля на b a , получим

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x dx

 

 

 

 

 

 

 

 

 

 

 

 

m

a

 

M .

По

второй

теореме

Больцано

– Коши

функция,

b a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

непрерывная на отрезке, принимает на нем

все промежуточные значения

между m и M.

В частности,

существует и такая точка

c a, b , в которой

 

 

 

 

 

 

 

 

 

 

 

b

 

 

b

 

 

 

 

 

 

 

 

 

 

 

f x dx

, т.е. f c

f x dx

функция принимает свое промежуточное значение

 

a

a

 

 

b a

b a

 

 

 

 

 

 

 

 

 

 

 

 

 

Лекция 6. Формула Ньютона – Лейбница.

Интеграл с переменным верхним пределом.

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

Рассмотрим интеграл как функцию верхнего предела интегрирования –

x

интеграл с переменным верхним пределом J x f x dx . Переменная

a

интегрирования по свойству 9 определенного интеграла – «немая переменная», ее можно заменить z или t или каклибо еще. Никакого отношения к верхнему пределу интегрирования она не имеет.

Теорема о производной интеграла по переменному верхнему пределу

(основная теорема математического анализа)

22

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

a,b , пусть

x a, b . Тогда

 

 

 

J x f x .

 

 

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

 

 

 

 

 

J x x J x

 

 

1

x x

 

x

 

 

 

 

 

lim x 0

 

 

 

 

 

 

J x lim x 0

x

 

 

 

 

f x dx f x dx

 

 

 

 

 

 

 

x

a

 

a

 

 

lim

 

f c x x x

lim

 

 

 

f c f x .

 

 

 

 

 

x 0

 

x 0

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При доказательстве

 

 

мы воспользовались

теоремой

 

x x

f x dx

lim x 0

x

 

 

 

 

 

 

x

осреднем

x x

 

 

 

 

 

f x dx

 

и

непрерывностью

функции

 

f c ( x x x), c x, x x

 

x

 

 

 

 

lim x 0 f c f x .

Формула Ньютона – Лейбница.

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

f x непрерывна на отрезке

a, b ,

F x

- некоторая

 

 

 

b

 

 

 

 

первообразная функции f x . Тогда f x dx F b F a .

 

 

 

 

 

a

 

 

 

 

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

Из теоремы о производной интеграла по переменному

верхнему

пределу

 

 

 

J x -

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

следует, что J x f x , т.е.

функции

f x . По теоремам о первообразных две первообразных отличаются

на константу т.е.

J x F x C.

Но J a 0 (свойство 4 определенного

интеграла),

поэтому

F a C 0 C F a .

Тогда

b

 

 

 

 

b

 

 

J b f

x dx F b C F b F a

. Следовательно, f x dx F

b F a .

a

 

 

 

 

a

 

 

Формула Ньютона – Лейбница - это одна из немногих формул - связок, связывающих различные разделы математики воедино. Если бы не было формулы Ньютона – Лейбница, то неопределенные интегралы не нашли бы приложения, а определенные интегралы нельзя было бы вычислить аналитически. Именно эта формула делает интегральное исчисление важнейшим инструментом исследования процессов. Любой процесс описывается дифференциальными или интегральными уравнениями, а они решаются в интегралах.

Мы встречались с такими формулами или теоремами – связками. Например, теорема о связи функции, ее предела и бесконечно малой связывает бесконечно малые и пределы. Теорема Ферма и ее следствия – теоремы о средних значениях связывают дифференциальное исчисление и теорию экстремума. В дальнейшем мы тоже будем встречаться с теоремами – связками, они всегда играют фундаментальную роль, например теоремы Остроградского – Гаусса и Стокса в векторном анализе.

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

23

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

Метод замены переменной.

Пусть

 

 

1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x t , t непрерывны при t , ,

 

 

 

 

 

 

 

 

 

 

2)

значения x t ,

t , не выходят за границы a,b ,

 

 

 

 

3) a, b ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

f

t

 

t dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда f x dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d t F F F b F a

 

b

 

 

f t

t dt f t

f x dx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

2

 

 

 

 

1

 

4

 

 

 

1

 

e4 1 .

 

 

 

 

 

 

 

 

 

 

 

Пример xex2 dx

 

 

 

et dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t x2 , dt 2xdx

 

 

 

 

 

 

 

 

 

 

 

Упражнение. Найдите ошибки в применении теоремы о замене

 

переменной.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

1

 

dx

 

 

1

 

 

 

 

dx

 

 

d tgx

 

 

0

dt

arctgt |0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x cos2

x

 

 

 

1 tg

2 x cos2 x

 

1 tg 2 x

 

 

1 t 2

0

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

0

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

0

 

 

 

0

 

 

 

t tgx

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

Пусть функции u x , u x , v x , v x непрерывны на a,b . Тогда

b

 

b

u x v x dx u x v x |a

v x u x dx

 

b

 

 

 

a

 

a

Доказательство остается тем же, что для неопределенного интеграла, только интегрирование проводится в пределах от a до b.

Интегрирование четных и нечетных функций на отрезке, симметричном относительно начала координат.

a

0

a

0

a

a

a

 

f x dx

f x dx f x dx f t dt f x dx f x dx f x dx

a

a

0

a

0

0

0

 

 

 

t x, dx dt

 

 

 

24

b

 

b

 

 

2 f x dx,

f x четная

 

f x f x dx

 

 

a

 

, так как

a

0,

f x нечетная

 

 

 

 

 

 

f x f x 2 f x ,

f x четная

 

f x f x

 

.

f x f x 0,

f x нечетная

 

 

 

Интегрирование периодических функций на отрезке длины, кратной периоду.

Два свойства периодических функций.

1)Если f x - периодическая функция с периодом T, то f x -

периодическая функция с периодом T .

 

 

 

 

T

 

 

 

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

 

 

f x T f x .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому период sin 2x равен , период cos

x

равен 8 и т.д.

 

 

 

 

 

 

4

 

 

 

2)

Если f x - периодическая функция с периодом T, то

 

a T

T

 

 

 

 

 

 

 

 

 

f x dx f x dx

 

 

 

 

 

 

 

 

a

0

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

a T

T

a T

 

 

T

a

T

 

 

f x dx f x dx

f x dx f x dx f

y dy f

x dx

a

a

T

 

 

a

0

0

 

 

 

 

 

 

y x T

 

x y

 

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

 

 

 

2

 

2

 

Заметим,

что

sin x dx 0,

cosx dx 0 . Поэтому, например,

 

 

 

0

 

0

2

 

 

 

 

 

 

sin x dx 0,

sin 4x dx 0,

cos8x dx 0 .

4

 

0

 

 

 

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

Лекции 7, 8 Несобственные интегралы.

Мы строили определенный интеграл по отрезку a, b , где a, b - конечные

числа, т.е. по конечному промежутку числовой оси.

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

25

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

Несобственные интегралы от непрерывной функции по бесконечному промежутку (первого рода).

Пусть отрезок a,b числовой оси неограничен. Это возможно в трех случаях: , b , a, , , . Определим несобственные интегралы как пределы

b

 

b

 

 

 

 

 

 

 

 

f x dx lim a

f x dx ,

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

f x dx lim b

f x dx ,

 

 

 

 

 

 

 

 

a

 

a

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

f x dx lim a ,

f x dx . В последнем интеграле a и b независимо друг от

 

b

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

друга стремятся к

. Если

 

a

 

 

 

b

 

, то предел в правой части последнего

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

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

Если сходятся интегралы от функций f x , g x , то сходятся интегралы от функций f x , f x g x . Это следует из теорем о пределах.

 

 

 

 

 

1

 

 

 

 

 

 

b

 

1

 

 

 

 

 

 

1

|b 1, интеграл сходится.

Пример.

 

dx lim b

 

dx lim b

2

2

x

 

 

 

 

 

1

x

 

 

 

 

1

 

x

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

dx lim b ln x|

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример.

 

 

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

 

 

 

 

 

 

 

 

 

 

 

1

x

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример.

a x dx сходится при a 1 и расходится при a 1 . Проверьте это.

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

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

 

dx .

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

lim b b1 n 1

,

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

dx n 1 lim b

 

 

 

 

x1 n |

 

 

 

 

 

 

1

 

 

, n 1

.

 

x

n

1

n

1 n

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При n 1

 

1

dx lim

 

 

ln x 1 , интеграл расходится.

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

Итак, несобственный интеграл Дирихле первого рода

 

 

 

dx сходится

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

26

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

1 признак.

Теорема. Пусть

при x a

выполнено

неравенство

0 f x g x .

 

 

 

 

 

 

 

 

 

 

 

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

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

f x dx сходится.

 

a

 

a

 

 

 

 

 

 

 

 

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

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

g x dx расходится.

 

a

 

 

a

 

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

0 f x g x на отрезке

a,b , b a ,

 

 

 

 

 

b

b

 

 

 

 

0 f x dx

g x dx . Так как

обе функции

на

отрезке

имеют только

a

a

 

 

 

 

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

 

 

 

 

 

 

Если

g x dx сходится

( g x dx = I), то

при любом

b > a

 

a

 

a

 

 

b

b

 

 

 

 

0 f x dx g x dx

g x dx = I (I – конечное число).

 

a

a

a

 

 

 

 

b

 

 

 

 

Поэтому f x dx -

монотонно возрастающая,

ограниченная

функция

a

верхнего предела интегрирования b. Следовательно, по теореме Вейерштрасса этот интеграл как функция b имеет предел

b

 

 

lim b f x dx J I , т.е. интеграл

f x dx сходится.

a

a

 

 

 

Пусть теперь f x dx расходится.

Если

g x dx сходится, то по

a

 

a

доказанному и f x dx сходится, противоречие. Теорема доказана.

a

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

2 признак сравнения. Теорема.

существует конечный предел lim x

Пусть при x>a f x 0, g x 0 . Если

f x

 

 

K 0 , то интегралы

f x dx ,

g x

 

 

a

 

 

 

27

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g x dx ,

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

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

другой сходится, если один расходится, то и другой расходится).

 

 

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

 

 

 

 

 

Из

 

 

определения

 

предела

следует

 

 

 

 

 

 

f x

K

 

K

f x

K

 

0 0 : x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g x

 

 

 

 

 

 

g x

 

 

 

K g x f x

K g x

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

f x dx

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

первому

признаку сравнения

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходится

интеграл

 

 

K g x dx ,

а,

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

сходится

интеграл

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g x dx .

Если

 

 

 

интеграл

 

 

 

g x dx

сходится,

 

то

сходится

интеграл

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

K g x dx ,

а,

 

следовательно, по

первому признаку сравнения

сходится

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

интеграл

f x dx .

 

Пусть

 

интеграл

f x dx

 

расходится.

Если

интеграл

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g x dx

сходится,

то

по

первому признаку

сравнения

сходится

интеграл

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x dx ,

противоречие.

Пусть

интеграл

g x dx

расходится.

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

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x dx

сходится,

то

по

первому признаку

сравнения

сходится

интеграл

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g x dx , противоречие. Теорема доказана.

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Эталонами служат обычно интегралы Дирихле или интегралы от

показательной функции.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 cos3 x x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример.

 

 

 

 

 

 

 

 

 

dx

сходится

по второму признаку сравнения,

 

 

 

x2

1 x

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

интеграл сравнения

 

 

dx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример.

 

 

 

 

 

 

dx сходится по первому признаку, интеграл сравнения

 

 

 

 

 

 

 

 

 

2

 

 

 

x 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e x dx .

2

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

28

Функция может терпеть разрыв на левом конце отрезка a,b , на правом

конце или в некоторой внутренней точке с отрезка.

a,b за исключением точки

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

непрерывна на отрезке

x= a, тогда несобственным

интегралом

второго

рода

от функции

f x по

b

 

 

b

 

b

 

отрезку a,b f x dx называется предел lim 0 f x dx = f x dx

 

a

 

 

a

 

a

 

.

 

 

 

a,b за исключением точки

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

непрерывна на отрезке

x= b, тогда несобственным

интегралом

второго

рода

от функции

f x по

b

 

 

b

 

b

 

отрезку a,b f x dx называется предел

lim 0

f x dx = f x dx .

 

a

 

 

a

a,b

a

 

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

непрерывна на отрезке

за исключением точки

x= c a, b , тогда несобственным интегралом второго рода от функции

f x по

отрезку a,b называется

b

c

b

 

 

 

f x dx = f x dx f

x dx

(интегралы в

правой

 

a

a

c

 

 

 

части определены выше).

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

Если сходятся интегралы от функций f x , g x , то сходятся интегралы от функций f x , f x g x . Это следует из теорем о пределах.

Пример.

1

1

dx

0

 

1

 

dx

1

1

dx lim

 

 

1

dx lim

 

1 1

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

x2

x2

0

x2

0

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

0

 

 

 

 

1

 

 

 

 

 

 

 

1

 

 

lim

 

 

 

 

 

1

1

 

 

 

 

 

 

 

 

 

 

 

lim 0

 

 

 

|

 

0

 

 

|

 

Интеграл

расходится,

так как пределы в

 

 

 

 

 

 

 

x

1

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

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

Заметим, если здесь формально применить формулу Ньютона-Лейбница (она неприменима, т.к. функция разрывна), получим ответ 2. Еще раз убеждаемся, что теоремы следует применять, внимательно проверяя условия их применимости.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

1

 

 

Рассмотрим несобственный интеграл Дирихле второго рода

 

dx .

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

1

 

 

 

1

 

 

1

b1 n lim 0 1 n

,

n 1

 

 

 

 

 

 

b

 

 

 

 

 

 

 

dx n 1

lim 0

 

x1 n |

 

 

 

 

b1 n

n 1

.

 

n

1 n

1 n

0

x

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

xn

 

 

x

 

 

 

1 n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При

n 1

b 1

dx lim

 

b

1

dx lim

 

ln b ln ,

 

 

интеграл

 

 

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

расходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

1

 

 

 

 

 

 

Итак, несобственный интеграл Дирихле второго рода

 

 

dx

сходится

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при n 1,

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

29

Замечание. Интегралы Дирихле первого и второго рода расходятся при n=1. При n>1 интеграл Дирихле первого рода сходится, а интеграл Дирихле второго рода расходится. При n<1 интеграл Дирихле первого рода расходится, а интеграл Дирихле второго рода сходится.

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

5

 

 

 

 

 

dx

 

 

 

 

 

Примеры.

 

 

 

 

 

 

 

 

сходится

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2 1

x3

 

 

0

5 x

 

 

 

 

 

 

 

 

5

 

dx

 

 

 

 

5

 

 

интегралом Дирихле

 

 

 

(n=

1) по

второму признаку сравнения.

5

 

 

 

2

x

 

 

 

 

0

 

 

 

 

 

Вспомните, что сумма бесконечно малых функций в знаменателе эквивалентна при x 0 бесконечно малой наинизшего порядка малости. Можно доказать эквивалентность непосредственным вычислением предела.

x2 x 1 3

 

dx

 

 

 

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

 

 

по второму

x x4

x

 

 

1

 

 

1

 

 

признаку сравнения.

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

До сих пор при анализе сходимости несобственных интегралов мы предполагали, что подинтегральная функция принимает только положительные значения. Откажемся от этого предположения. Будем исследовать сходимость

 

 

несобственных интегралов первого рода вида f x dx , где

f x может

a

 

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

Интеграл f x dx называется абсолютно сходящимся, если сходится

a

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

a

Теорема. Если интеграл f x dx абсолютно сходится, то он сходится.

a

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

x

1

 

 

f x

 

f x , x

 

1

 

 

f x

 

f x .

Эти функции принимают

только

 

 

 

 

 

 

2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

положительные значения.

Кроме того, x

 

f x

 

, x

 

f x

 

. По первому

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

признаку сравнения из

абсолютной сходимости интеграла f x dx ,

т.е. из

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

| f x | dx следует

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

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

30