Вы находитесь на странице: 1из 153

Российский государственный университет нефти и

газа имени И. М. Губкина

Кафедра высшей математики

В.В. Калинин, И.В. Петрова, В.Т. Харин

МАТЕМАТИКА
в нефтегазовом образовании

ТЕОРИЯ И ЗАДАЧИ

ВЫПУСК 3. Часть 1.
Неопределенные и определенные интегралы

Москва 2005
В.В. Калинин, И.В. Петрова, В.Т. Харин

МАТЕМАТИКА
в нефтегазовом образовании

ТЕОРИЯ И ЗАДАЧИ
ВЫПУСК 3. Часть 1.
Неопределенные и определенные интегралы

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

РГУ нефти и газа им. И.М. Губкина


Москва 2005
УДК 517.9:516:512.8:622.27
К 18

Калинин В.В., Петрова И.В., Харин В.Т.


К 18 Математика в нефтегазовом образовании. Теория и задачи: Учеб. пособие. − М.: РГУ
нефти и газа им. И.М. Губкина, 2005. Вып. 3. Часть 1: Неопределенные и определенные
интегралы. − 117с.

Пособие продолжает серию учебно-методических изданий по курсу


высшей математики. Третий выпуск посвящен одному из фундаментальных
понятий математики – понятию интеграла. В пособии подробно изучены
всевозможные приложения интегрального исчисления, разобраны
многочисленные примеры, приведены теоретические вопросы и задачи для
самостоятельного решения.
Пособие предназначено для студентов всех специальностей
нефтегазового образования, а также магистрантов, аспирантов, занимающихся
исследованиями, связанными с применениями математических методов.
Издание подготовлено на кафедре высшей математики РГУ нефти и газа им.
И.М. Губкина.

Рецензенты:
проф. кафедры высшей математики РГУ нефти и газа им. И.М.
Губкина Т.С. Соболева,
проф. кафедры математики МИФИ (технический университет)
д.ф.-м.н. Н.В. Мирошин

© Калинин В.В.,
Петрова И.В.,
Харин В.Т., 2005

© Издательство «Нефть и газ»


РГУ нефти и газа им. И.М. Губкина,
2005
Из предисловия к выпуску 2.

Пособие «Математика. Теория и задачи», выпущенное на кафедре


высшей математики РГУ нефти и газа им. И.М. Губкина, представляется
изданием, которое позволит читателю (студенту, аспиранту, специалисту,
преподавателю) остановиться, чтобы осмыслить великую и «ужасную» науку −
МАТЕМАТИКУ. Пособие уникально в том смысле, что оно может быть
полезно и для тех читателей, кто в данное время изучает вузовский курс
высшей математики, и для тех из них, которые этот курс формально (давно или
недавно) завершили и даже получили вполне устраивающие их оценки, но при
этом хотят понять: чему же их, собственно, обучали на заре их студенческой
юности − на первом-втором курсах. Несомненна польза этой книги при
подготовке к аспирантуре и магистратуре: ведь многим в процессе дальнейшего
обучения предстоит решать задачи, связанные с серьезным математическим
аппаратом. А уж специалисты, профессионально работающие в математике −
преподаватели, исследователи − несомненно, найдут для себя много новых,
нестандартно представленных подходов, и получат истинное удовольствие от
прочтения рукописи.
Это издание задумал и начал воплощать в жизнь замечательный человек
и ученый, заведующий кафедрой высшей математики РГУ нефти и газа им.
И.М. Губкина, профессор Виталий Тимофеевич Харин. В книге представлен
результат его многолетнего опыта преподавания математики в нашем
университете и в институтах зарубежных стран.

1
Предисловие к выпуску 3.

Мы предлагаем читателю третий выпуск пособия «Математика в


нефтегазовом образовании. Теория и задачи». Этот выпуск посвящен одному из
самых фундаментальных понятий в математике – понятию интеграла. Термин
«интегральное исчисление» впервые был введен в обиход И. Бернулли в самом
конце XVII века, а его современное обозначение ∫ обязано своим
происхождением Лейбницу. Это, кстати, было частью компромисса между
двумя великими учеными: Лейбниц отказался от названия “calculus
summatorius” в пользу “calculus integralis”, введенного И. Бернулли, но зато
сохранил свое обозначение – стилизованное латинское «S».
С тех пор понятие интеграла является широко востребованным в самых
разных разделах математики: математическом анализе, дифференциальных
уравнениях, функциональном анализе, etc. О важности этого понятия знал даже
Лев Толстой. В "Анне Карениной" он писал: "Когда бы в университете мне
сказали, что другие понимают интегральное вычисление, а я не понимаю, –
тут самолюбие. Но тут надо быть убежденным прежде, что нужно иметь
известные способности для этих дел и, главное, в том, что все эти дела важны
очень."
Авторы надеются, что настоящее пособие будет востребовано людьми
творческими, желающими узнать предмет больше и глубже, не ограничиваясь
лишь формальным и сухим изложением втузовского учебника, имеющими, как
герой Л. Толстого, самолюбие, чтобы овладеть им, или, при возникновении
такой необходимости, повторить аппарат интегрального исчисления и его
приложений.
В ходе подготовки к печати выпуска 3 пособия «Математика в
нефтегазовом образовании. Теория и задачи» авторы столкнулись с тем, что
объем представленного материала по разделу «Интегральное исчисление»
оказался достаточно большим, что создавало определенные сложности в
использовании книги. Кроме того, интегральное исчисление в курсе высшей

2
математики обычно изучается студентами в течение нескольких семестров, а
некоторая его часть остается вообще за пределами вузовской программы у ряда
специальностей, не требующих особо глубокой математической подготовки.
Поэтому было принято решение разбить выпуск 3 пособия на две части. Часть 1
выпуска содержит материал по неопределенным, определенным,
несобственным интегралам и интегралам, зависящим от параметра. В части 2
излагается теория, связанная с кратными (двойными и тройными),
криволинейными и поверхностными интегралами.

Материалы, связанные с данным изданием, можно найти на сайте


кафедры высшей математики РГУ нефти и газа им. И.М. Губкина:

http://kvm.gubkin.ru/index.html

3
ОГЛАВЛЕНИЕ

Из предисловия к выпуску 2 1
Предисловие к выпуску 3 1
Оглавление 4

Глава 1. Неопределенный интеграл. 5


1.1. Первообразная и неопределенный интеграл 5
1.2. Интегрирование рациональных дробей 19
1.3. Рационализация интегралов 30
Теоретические вопросы к главе 1. 36
Задачи к главе 1. 37

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


2.1. Понятие определенного интеграла 41
2.2. Вычисление определенного интеграла 54
2.3. Геометрические приложения определенного интеграла 61
Теоретические вопросы к главе 2. 85
Задачи к главе 2. 86

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


зависящие от параметра. 89
3.1. Несобственные интегралы с бесконечными пределами
интегрирования 89
3.2. Свойства несобственных интегралов 92
3.3. Признаки сходимости несобственных интегралов с
бесконечными пределами интегрирования 93
3.4. Несобственные интегралы от неограниченных функций 101
3.5. Интегралы, зависящие от параметра 108
Теоретические вопросы к главе 3. 114
Задачи к главе 3. 114

4
Глава 1. Неопределенный интеграл.

1.1. Первообразная и неопределенный интеграл.

Изучая дифференциальное исчисление, мы, в частности, рассматривали


следующую задачу: на интервале числовой оси задана функция, надо найти ее
производную. Приступая к интегральному исчислению, начнем с обратной за-
дачи: по заданной на интервале производной найти саму функцию (ту, произ-
водная которой задана).
Где может возникнуть такая задача? Например, если нужно по известной
зависимости скорости движения от времени найти закон движения точки по
прямой.

Итак, пусть на интервале I числовой оси R задана числовая функция

f ( x ) . Функция F ( x ) , определенная на том же интервале, называется первооб-

разной функции f ( x ) , если на I выполнено условие

F ′( x ) = f ( x ) (1)

1
Например, при x > 0 функция ln x есть первообразная для .
x

Какой должна быть функция f ( x ) : I → для того, чтобы существовала


ее первообразная? Достаточное условие для этого дает

Теорема 1. Непрерывная на интервале функция имеет на нем первооб-


разную.

К этой теореме мы вернемся несколько позже.

В отличие от задачи дифференцирования, обратная задача – нахождение


первообразной – имеет не одно, а много решений.

5
Теорема 2. Функция f ( x ) : I → либо вовсе не имеет первообразной,

либо имеет множество первообразных. Все это множество выражается в виде


F ( x ) + C , где F ( x ) какая-либо первообразная, а C − произвольная постоянная.

Доказательство. Пусть F ( x ) – какая-либо первообразная для f ( x ) ,

т.е. F ′ ( x ) = f ( x ) на интервале I. Тогда, взяв любое фиксированное число С,

мы видим, что ( F ( x ) + C )′ = F ′( x ) + C ′ = f ( x ) , т.е. F ( x ) + C тоже первообраз-

ная для f ( x ) . Итак, все функции вида F ( x ) + C − первообразные для f ( x ) .

Других функций в множестве первообразных нет. В самом деле, если Φ ( x )

первообразная для f ( x ) , то функция g ( x) = F ( x) − Φ ( x) для любого значения

x обладает свойством g ′( x) = F ′( x) − Φ′( x) = f ( x) − f ( x) = 0 . Теперь, применив


теорему Лагранжу для функции g (x) на некотором отрезке [a, x] , получим
g ( x) − g (a ) = g ′(ξ ) ⋅ ( x − a ) , ξ ∈ (a, x) . Но g ′(ξ ) = 0 , поэтому g ( x) = g (a ) для
любого x, т.е. g ( x) = F ( x) − Φ ( x ) есть постоянная на I.

Определение. Совокупность всех первообразных функции f ( x ) на ин-

тервале I называется неопределенным интегралом этой функции на этом ин-


тервале и обозначается символом ∫ f ( x)dx . Учитывая теорему 2, можно напи-
сать

∫ f ( x)dx = F ( x) + C , x ∈ I , (2)

где F (x) – какая-либо первообразная функции f (x).

Причина столь сложного и непонятного обозначения неопределенного


интеграла прояснится несколько позже.

Приведем несколько простейших примеров вычисления неопределенного


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

6
1
ПРИМЕР 1. ∫ 0dx = C = const , x∈ .ƒ( )

ПРИМЕР 2. ∫ 1 ⋅ dx = x + C , x∈ .ƒ

α xα +1
ПРИМЕР 3. ∫ x dx = + C , (α ≠ −1) , x > 0 , или x < 0 , или x ∈
α +1
(в зависимости от показателя степени α ).
1
+1 n +1
n xn
В частности, при x > 0 : ∫ n x dx = +C = x n +C. ƒ
1 n +1
+1
n
1 1
ПРИМЕР 4. ∫ x dx = ln x + C (при x > 0), ∫ x dx = ln( − x ) + C (при x < 0),

1
или, короче, ∫ x dx = ln x + C , x ≠ 0 . ƒ

ax
ПРИМЕР 5. ∫ a dx = x
+ C , ( a > 0, a ≠ 1) , x ∈ ,
ln a
x x
в частности, ∫ e dx = e + C , x ∈ .ƒ

ПРИМЕР 6. ∫ sin xdx = − cos x + C , ∫ cos xdx = sin x + C , x ∈ .ƒ

dx π π
ПРИМЕР 7. ∫ = tg x + C , + kπ < x < + ( k + 1)π , k ∈ ,
cos2 x 2 2
dx
∫ = − ctg x + C , kπ < x < ( k + 1)π , k ∈ . ƒ
sin 2 x
dx
ПРИМЕР 8. ∫ = arctg x + C , x∈ .ƒ
1 + x2
dx
ПРИМЕР 9. ∫ = arcsin x + C , − 1 < x < 1. ƒ
2
1− x

1
( ) Знаком „ здесь и далее обозначается завершение решения примера.

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

Теорема 3. 1) Пусть функция f ( x ) имеет первообразную на интервале

I, и α = const ≠ 0. Тогда α f ( x ) также имеет первообразную на I, причем

∫ α f ( x)dx = α ∫ f ( x)dx . (3)

2) Если функции f ( x ) и g ( x ) имеют первообразные на интервале I, то сумма

f ( x ) + g ( x) также имеет на нем первообразную, причем

∫ [ f ( x) + g ( x)] dx = ∫ f ( x)dx + ∫ g ( x)dx . (4)

Доказательство. 1) Пусть F ( x ) − какая-либо первообразная для функ-

ции f ( x ) . Тогда aF ( x ) есть первообразная для af ( x ) , поскольку [ aF ( x ) ]′ =

= aF ′( x) = a f ( x ) . Поэтому левая часть (3) есть множество всех функций вида

aF ( x ) + C1 , где C1 произвольная постоянная, а правая часть – это множество

всех функций вида a [ F ( x) + C2 ] = aF ( x) + aC2 , где C2 − произвольная посто-

янная. Ясно, что оба эти множества совпадают, и утверждение (3) доказано.

2) Пусть теперь F ( x ) и G ( x ) первообразные для функций f ( x ) и g ( x ) ,

соответственно. Тогда F ( x ) + G ( x) − первообразная для f ( x ) + g ( x) , т.к.

[ F ( x ) + G ( x )]′ = F ′( x ) + G ′( x ) = f ( x ) + g ( x ) .
Таким образом, слева в (4) записано множество вида F ( x ) + G ( x) + C1 , а справа

– множество вида ( F ( x) + C2 ) + ( G ( x) + C3 ) = F ( x ) + G ( x) + C4 , где все значе-

ния С с индексами – произвольные постоянные. Поэтому означенные множе-


ства совпадают, что и требовалось доказать.

8
Теорема 3 позволяет несколько расширить класс функций, для которых
неопределенные интегралы могут быть найдены на основе таблицы производ-
ных основных элементарных функций:

⎛ 5 1 2 ⎞
ПРИМЕР 10. ∫ ⎜ 4 x − x + 2 ⎟ dx =
⎝ sin x ⎠

dx dx 2
= 4 ∫ x 5dx − ∫ + 2 ∫ 2 = x 6 − ln x − 2ctg x + C . ƒ
x sin x 3

Теорема 4 (интегрирование по частям). Пусть функции u(x) и v(x)


непрерывно дифференцируемы на интервале I. Тогда на этом интервале имеет
место следующая формула интегрирования по частям:

∫ u ( x) v′( x)dx = u ( x) v( x) − ∫ v( x)u ′( x)dx . (5)

Иногда эту формулу записывают в виде

∫ u ( x)d v( x) = u ( x) v( x) − ∫ v( x)du ( x) ,
используя выражение дифференциала функции через ее производную.

Доказательство. Левая часть равенства (5) – это множество функций,


имеющих на интервале I производную u ( x) v′( x) . Правая часть есть множество

функций, имеющих на интервале I производную

[u ( x) v( x)]′− v( x)u ′( x) = [u′( x) v( x) + u ( x) v′( x)] − v( x)u′( x) ,


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

Спрашивается, какой смысл заменять вычисление ∫ u ( x ) v′( x)dx вычисле-

нием ∫ v( x)u ′( x)dx . Ответ прост: часто случается, что первый из интегралов мы

не умеем вычислять, а второй – умеем.

9
ПРИМЕР 11. Вычислить интеграл ∫ ln x dx, ( x > 0) .

Перепишем его в виде ∫ 1 ⋅ ln xdx и положим ln x = u ( x) , 1 = v′( x) . Тогда в

качестве v( x) можно взять x. По формуле (5) имеем

1
∫ ln xdx = x ln x − ∫ x ⋅ x dx = x ln x − x + C .
Можно представить наши рассуждения в этом примере следующим образом:
u = ln x, d v = dx,
1
∫ ln xdx = du = 1 dx, v = x = x ln x − ∫ x ⋅ x dx =
x
= x ln x − x + C = x ( ln x − 1) + C. ƒ .
ПРИМЕР 12.

2 x u = x 2 , d v = e x dx,
∫ x e dx = = x 2 e x − ∫ 2 xe x dx = x 2 e x − 2 ∫ xe x dx . ƒ
du = 2 xdx, v = e x
К последнему интегралу снова примéним интегрирование по частям:

x u = x, d v = e x dx,
∫ xe dx = = xe x − ∫ e x dx = xe x − e x + C .
du = dx, v = e x
В результате получаем:

∫ x e dx = x e − 2 ( xe − e + C ) = ( x − 2 x + 2 ) e + C1,
2 x 2 x x x 2 x

где C1 – произвольная постоянная. ƒ

Из двух последних примеров видно, что интегрирование по частям "в


сторону понижения степени" полезно, в частности, при интегрировании функ-

ций вида x m a x , x m cos x , x m sin x при натуральных m. Конечно, только этим


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

10
cos x
u = x, d v = dx,
x cos x sin 3 x
ПРИМЕР 13. ∫ dx = =
sin 3 x du = dx, v = −
1
2sin 2 x
x 1 dx x 1
=− + ∫ = − − ctg x + C . ƒ
2sin 2 x 2 sin 2 x 2
2sin x 2

ПРИМЕР 14. Вычислить интегралы

I1 = ∫ eax cos bxdx ; I 2 = ∫ eax sin bxdx .

Решение. Вычисляем интеграл I1 по частям:

u = eax , d v = cos bxdx,


I1 = ∫ eax cos bxdx = 1 =
du = aeax dx, v = sin bx
b
1 a 1 a
= eax sin bx − ∫ eax sin bxdx = e ax sin bx − I 2 .
b b b b
Аналогично вычисляем интеграл I 2 :

u = eax , d v = sin bxdx,


I 2 = ∫ eax sin bxdx = 1 =
ax
du = ae dx, v = − cos bx
b
1 a 1 a
= − eax cos bx + ∫ eax cos bxdx = − eax cos bx + I1 .
b b b b
Подставим этот результат в результат предыдущей выкладки. При этом учтем,
что выражения для I1 в первой и второй выкладках различаются на произволь-

ную постоянную. В первом случае I1 = F ( x) + C1 , где F ( x) – некоторая перво-

образная для eax cos bx , а C1 – произвольная константа, то во втором это

I1 = F ( x) + C2 , где C2 – произвольная константа, значения которой не обязаны


зависеть от значений C1 . В результате получаем уравнение для I1 :

1 a⎛ 1 a ⎞
I1 = eax sin bx − ⎜ − eax cos bx + Ι1 + C2 ⎟ .
b b⎝ b b ⎠

11
Отсюда
eax ( b sin bx + a cos bx )
I1 = +C.
a 2 + b2
Теперь легко выписать и второй искомый интеграл:

eax ( a sin bx − b cos bx )


I2 = +C. ƒ
2 2
a +b

Теорема 5 (интегрирование методом замены переменной, или


подстановки). Пусть непрерывно дифференцируемая функция x = ϕ (t ) опре-

делена на интервале I числовой оси Ot (рис.1), а её значения заполняют интер-


вал J числовой оси Ox. Пусть, кроме того, на интервале J задана непрерывная
функция f ( x) . Тогда

∫ f ( x )dx = ∫ f (ϕ (t ) )ϕ ′(t )dt . (6)

x = ϕ (t )
J

O
I t
Рис.1. К теореме 5.

Другими словами, если в левом интеграле (6) переменную x заменить ее выра-


жением через t и то же сделать с дифференциалом dx , то полученное множест-
во первообразных как функций переменной t, определенных на интервале I
совпадает с множеством первообразных функции f ( x) , определенных на ин-

тервале J.

Доказательство. Пусть F ( x) – некоторая первообразная для f ( x) на

интервале J, т.е. F ′( x ) = f ( x ) на этом интервале. Тогда по теореме о производ-

12
ной сложной функции F (ϕ (t )) будет первообразной для функции f (ϕ (t ) )ϕ ′(t )

на I. В самом деле:

⎡⎣ F (ϕ (t ) ) ⎤⎦ ′ = F ′ (ϕ (t ) ) ⋅ ϕ ′(t ) = f (ϕ (t ) ) ⋅ ϕ ′(t ) .
Тем самым F ( x) + C (левая часть (6)) и F (ϕ (t )) + C (правая часть) совпадают,

если x и t связаны равенством x = ϕ (t ) .

ПРИМЕР 15. Вычислить интеграл ∫ ctgx dx (на любом интервале, где оп-

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


cos x
Сначала напишем: ∫ ctg x dx = ∫ dx . Теперь замечаем, что выражение
sin x
cos xdx представляет собой дифференциал выражения sin x , а оставшаяся по-
1
дынтегральная функция также зависит только от sin x . Поэтому берем в
sin x
качестве новой переменной t = sin x . Получим тогда
dt
∫ ctgxdx = ∫ t = ln t + C .
Возвращаясь от переменной t к x, получаем окончательно

∫ ctgxdx = ln sin x + C .
Аналогично вычисляется интеграл ∫ tgxdx = − ln cos x + C . ƒ
Заметим, что в этом примере обозначения переменных переставлены по
сравнению с общей формулой (6).

α
ПРИМЕР 16. Вычислить интеграл ∫ ( ax + b ) dx при α ≠ −1, a ≠ 0 .

Введем новую переменную t = ax + b . Ясно что dt = a dx , поэтому

α 1 1 ⎛ tα +1 ⎞ 1 ( ax + b )α +1
∫ ( ax + b ) dx = ∫ tα dt = ⎜ +C⎟ = + C1 . ƒ
a a ⎜⎝ α + 1 ⎟ a
⎠ α + 1

13
ПРИМЕР 17. Если в предыдущем примере α = −1 , то с той же заменой
dx 1 dt 1 1
переменной имеем ∫ ax + b = a ∫ t = a ln t + C1 = a ln ax + b + C1 . ƒ

Обобщив два последних примера, можно сказать, что при a ≠ 0


1
∫ f (ax + b)dx = a ∫ f (t )dt , где t = ax + b . (7)

dx
ПРИМЕР 18. Вычислить интеграл ∫ , a > 0.
x2 + a2
Интеграл легко сводится к интегралу из примера 8, если положить x = at.
Тогда dx = adt , и мы получаем

dx adt 1 dt 1 1 x
∫ =∫ = ∫ = arctg t + C = arctg + C . ƒ
x2 + a2 a 2t 2 + a 2 a t2 +1 a a a

C помощью такой же замены x = at легко вычисляется интеграл


dx x
∫ = arcsin +C.
a2 − x2 a

dx
ПРИМЕР 19. Вычислить интеграл ∫ 2 2
.
x −a
Сначала с помощью уже знакомой замены x = at сводим интеграл к виду

dx dt
∫ =∫ . Затем вводим еще одну замену t = chu , (u > 0) , получая
2 2 2
x −a t −1
dx shudu
dt = (chu )′du = shu du . После этого ∫ =∫ = ∫ du = u + C .
2 2 2
x −a ch u − 1
Чтобы теперь вернуться от переменной u к переменной x, запишем снача-

ла связь между u и t в виде


2
(
1 u
)
e + e−u = t и выразим u через t, полагая

1
eu = α . Получим равенство α+ = 2t , или квадратное уравнение
α

α 2 − 2tα + 1 = 0 . Отсюда eu = α = t ± t 2 − 1 . Знак "−" следует отбросить, т.к.

14
⎛x x2 ⎞
eu > t при u > 0 . Тогда u = ln ⎛⎜ t + t 2 − 1 ⎞⎟ = ln ⎜ + − 1 ⎟ и, окончательно,
⎝ ⎠ ⎜a 2 ⎟
⎝ a ⎠
dx ⎛ 2 2⎞
∫ 2 2 = ln ⎜⎝ x + x − a ⎟⎠ + C . ƒ
x −a

ПРИМЕР 20. Аналогично вычисляется интеграл


dx
∫ = ln ⎛⎜ x + x 2 + a 2 ⎞⎟ + C ,
x2 + a2 ⎝ ⎠

если вместо подстановки t = ch u использовать подстановку t = sh u . ƒ

dx
ПРИМЕР 21. Вычислить интеграл I = ∫ .
2 2
x −a
Решение. Попробуем представить подынтегральную функцию в виде
1 A B
= + ,
x2 − a2 x−a x+a
где A и B – неизвестные пока константы. Чтобы определить их, приведем ра-
венство к общему знаменателю и, поскольку он одинаков для правой и левой
частей, запишем тождественное равенство числителей:
1 ≡ A( x + a ) + B( x − a ) = ( A + B) x + ( A − B) a
Для выполнения тождества необходимо и достаточно, чтобы коэффици-
енты при одинаковых степенях переменной x в левой и правой частях совпада-
ли. Это приводит к системе двух уравнений для A и B:
A+ B = 0, A − B = 1/ a .
Решая ее, находим A = 1/(2a ) , B = −1/(2a ) . В результате получаем
⎡ 1 1 ⎤
I = ∫⎢ − ⎥ dx =
⎣ 2a ( x − a ) 2a ( x + a ) ⎦
1 dx 1 dx 1 1
= ∫ − ∫ = ln x − a − ln x + a + C ,
2a x − a 2a x + a 2a 2a
или, окончательно,
dx 1 x−a
I =∫ = ln +C. ƒ
x2 − a2 2a x + a

15
Подведем промежуточные итоги настоящего раздела. Мы дали определе-
ние первообразной и неопределенного интеграла, установили, что операция ин-
тегрирования функции в каком-то смысле обратна операции дифференцирова-
ния. Были рассмотрены основные методы вычисления неопределенных инте-
гралов, а именно:

1) непосредственное обращение таблицы производных основных элемен-


тарных функций (примеры 1 – 9);

2) использование теорем 3 – 5, являющихся следствием известных теорем


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

Заметим, что применение теорем 4, 5 (интегрирование по частям и с по-


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

Один известный профессор математики так объяснял студентам разницу


между интегрированием и дифференцированием. Он говорил, что найти произ-
водную функции − это все равно, что найти дитя, если знаешь мать. А интегри-
рование уже сродни поиску матери, если известно дитя (это более сложная за-
дача!). Правда, как-то раз на лекции умудренная опытом студентка-вечерница
задала уважаемому профессору вопрос: а как, зная дитя, найти его отца? Един-
ственное, что смог ответить лектор, это что заданный вопрос выходит за рамки
курса дифференциального и интегрального исчислений.

16
1− x
ПРИМЕР 22. Вычислить интеграл I =∫ dx .
x ( x + 1)
1
Заметим, во-первых, что – это почти производная от x (не хватает
x
множителя 1/ 2 , который легко "создать"). После этого было бы неплохо, чтобы
оставшаяся часть подынтегрального выражения содержала переменную интег-

( x)
2
рирования только в виде комбинации x . Осталось догадаться, что x = .

Всё – замена найдена: t = x ! Итак

t= x
1− x 1− t dt 2tdt
I =∫ dx = dx = 2 ∫ 2 dt = 2 ∫ 2 −∫ 2 .
x ( x + 1) dt = t +1 t +1 t +1
2 x
С первым интегралом все ясно:
dt
∫ 2
= arctg t + C = arctg x + C .
t +1
Во втором интеграле надо опять заметить, что 2t – это производная от t 2 + 1 ,

после чего замена u = t 2 + 1 дает

u = t2 + 1
2tdt du
∫ 2 = =∫ = ln u + C = ln(t 2 + 1) + C = ln( x + 1) + C .
t + 1 du = 2tdt u

В результате имеем

I = 2 arctg x − ln( x + 1) + C . ƒ

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


таких, к которым достаточно часто сводится вычисление других, более слож-
ных интегралов. Естественно, было бы неразумно каждый раз проводить заново
однотипные выкладки. Проще выписать наиболее часто встречающиеся инте-
гралы в специальную таблицу. Такие интегралы и будут называться таблич-
ными. Их следует знать наизусть, как таблицу умножения. Для удобства в таб-
лицу занесены и такие интегралы, которые не были разобраны выше (их спра-

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

Таблица неопределенных интегралов.

I. ∫ 0 dx = C .
II. ∫ dx = x + C .
α xα +1
III. ∫ x dx = α + 1 + C , α ≠ −1 ,

в частности:
dx
III’. ∫ x = 2 x +C.

dx
IV. ∫ x = ln x + C .
V. ∫ sin xdx = − cos x + C .
VI. ∫ cos xdx = sin x + C .
dx
VII. ∫ = tg x + C.
cos2 x
dx
VIII. ∫ = − ctg x + C.
sin 2 x
IX. ∫ tgx dx = − ln cos x + C .
X. ∫ сtgx dx = ln sin x + C .
x ax
XI. ∫ a dx = ln a + C , a > 0, a ≠ 1,
в частности:

18
x x
XI’. ∫ e dx = e + C .
dx 1 x
XII. ∫ = arctg + C .
a2 + x2 a a

dx 1 x−a
XIII. ∫ = ln +C.
x2 − a2 2a x + a

dx x
XIV. ∫ = arcsin +C.
a2 − x2 a

dx
XV. ∫ = ln ⎜⎛ x + x 2 ± a 2 ⎟⎞ + C .
x2 ± a2 ⎝ ⎠

dx x
XVI. ∫ sin x = ln tg 2 + C .

dx ⎛ ⎞ x π
XVII. ∫ cos x = ln tg ⎜ 2 + 4 ⎟ + C .
⎝ ⎠
2
2 x 2
2 2 a
XVIII. ∫ x ± a dx = x ±a ± ln x + x 2 ± a 2 + C .
2 2
2
2 2x 2 2 a x
XIX. ∫ a − x dx = a −x + arcsin + C .
2 2 a

1.2. Интегрирование рациональных дробей.

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


P ( x)
f ( x) = m , (1)
Dn ( x)
где Pm ( x) – многочлен степени m, а Dn ( x) – многочлен степени n. Функции
такого вида часто встречаются в приложениях. Кроме того, что не менее важно,
к интегрированию рациональных дробей сводится интегрирование многих дру-
гих видов функций. Поэтому задача об интегрировании рациональных дробей
имеет существенное значение.

19
Начинать решение такой задачи следует со сравнения степеней m и n в
числителе и знаменателе дроби (1). Если m ≥ n , т.е. дробь неправильная, сле-
дует осуществить деление многочлена на многочлен, т.е. получить тождество
Pm ( x ) R ( x)
= Tm − n ( x ) + s , (2)
Dn ( x ) Dn ( x )
в котором Tm − n ( x) есть многочлен степени m – n, а Rs ( x) – многочлен степе-
ни s < n . (Операция представления неправильной дроби (1) в виде суммы (2)
многочлена и правильной дроби называется выделением целой части).
Поскольку интегрирование многочлена не есть проблема, равенство (2)
сводит интегрирование неправильной рациональной дроби к интегрированию
правильной рациональной дроби.

x4 − 3
ПРИМЕР 1. Выделить целую часть дроби .
2
x + 2x + 1
Замечаем, что под знаком интеграла находится неправильная рациональная
дробь: m = 4 , n = 2 < 4 . Поэтому делим числитель дроби на знаменатель, на-
пример, "уголком":
4
− x4 − 3 3 x2 + 2 x + 1
x + 2 x + x2 x2 − 2 x + 3
3 2
− −2 x 3 − x 2− 3
−2 x − 4 x − 2 x
2
− 3x 2 + 2 x − 3
3x + 6 x + 3
− 4x − 6
Таким образом,

x4 − 3 4x + 6
= x2 − 2 x + 3 − .ƒ
x2 + 2 x + 1 x2 + 2 x + 1

Рассмотрим теперь общий метод интегрирования правильных дробей (1),

где теперь считаем m < n . Будем предполагать, что коэффициент при x n мно-

20
гочлена Dn ( x) равен единице, чего легко добиться, умножив дробь (1) на над-
лежащее число.
Первый этап метода – разложение многочлена Dn ( x) на множители как
можно более низких степеней. Степень этой возможности определяется сле-
дующей теоремой.

ТЕОРЕМА 1. Всякий многочлен Dn ( x) степени n со старшим коэффи-


циентом, равным единице, может быть представлен в виде

( x − x2 )k2 ... ( x − x p )
k1 kp
Dn ( x) = ( x − x1 ) T ( x) , (3)

где x1 , x2 ,..., x p − различные действительные корни многочлена Dn ( x) , а

k1 , k2 ,..., k p – кратности соответствующих корней. Многочлен T ( x) действи-

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

( ) ( ) ( )
A1 A2 Ar
T ( x) = x 2 + p1x + q1 x 2 + p2 x + q2 ... x 2 + pr x + qr , (4)

где все квадратные трехчлены в скобках имеют отрицательные дискриминанты,


а A 1 , A 2 ,..., A r − натуральные числа. При этом

k1 + k2 + ... + k p + 2(A 1 + A 2 + ... + A r ) = n .

Доказывать эту теорему мы не будем.

x3 + 6 x 2 + 13 x + 6
ПРИМЕР 2. Вычислить интеграл ∫ dx .
x 4 + 4 x3 − 16 x − 16

Решение. Непосредственно убеждаемся, что под знаком интеграла уже


находится правильная рациональная дробь. Поэтому вначале нужно разложить
знаменатель на множители. В общем случае это непростая задача. Но иногда её
удается решить с помощью группировки членов. В нашем случае имеем:

( ) (
x 4 + 4 x3 − 16 x − 16 = x 4 − 16 + 4 x3 − 16 x = )

21
( )( ) (
= x2 − 4 x2 + 4 + 4 x x2 − 4 = x2 − 4 x2 + 4 + 4 x =) ( )( )
2 3
= ( x − 2 )( x + 2 )( x + 2 ) = ( x − 2 )( x + 2 ) .
Таким образом,

x3 + 6 x 2 + 13x + 6 x3 + 6 x 2 + 13x + 6
∫ dx = ∫ dx .
4 3 3
x + 4 x − 16 x − 16 ( x − 2 )( x + 2 )
Вспоминая теорему 1, видим, что в нашем случае x1 = 2 , x2 = −2 , k1 = 1 ,

k2 = 3 , p = 2 , T ( x ) ≡ 1. ƒ

Вычисление этого интеграла будет завершено позже. А пока предполо-


жим, что знаменатель правильной рациональной дроби (1) уже разложен на
множители надлежащим образом. Что делать дальше?
Второй этап метода – представление дроби в виде суммы слагаемых сле-
дующего вида:
k
1) если знаменатель Dn ( x ) дроби (1) содержит множитель ( x − a ) , то в

указанную сумму должны входить слагаемые


A1 A2 Ak
+ + ... + ; (5)
x − a ( x − a )2 ( x − a) k

( )
A
2) если тот же знаменатель содержит множитель x 2 + px + q , то в сум-

му должны входить слагаемые


B1 x + C1 B2 x + C2 BA x + CA
+ + ... + . (6)
(x ) (x )
A
x 2 + px + q 2
+ px + q
2 2
+ px + q

Числа A, B и C с различными индексами – это константы, которые следует най-


ти.
Все слагаемые в выражениях (5) и (6) называются простейшими рацио-
нальными дробями.

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

x4 − 3
ПРИМЕР 3. Вычислить интеграл ∫ dx .
x2 + 2 x + 1
Подынтегральная функция рассматривалась в примере 1. Тогда

x4 − 3 4x + 6
∫ dx = ∫ ( x 2 − 2 x + 3)dx − ∫ dx =
x2 + 2 x + 1 x2 + 2 x + 1
x3 4x + 6
= − x 2 + 3x − ∫ dx.
3 2
x + 2x + 1
2x + 3
Нам осталось вычислить интеграл ∫ 2
dx . Очевидно, разложение
x + 2x + 1
2
знаменателя подынтегральной дроби имеет вид x 2 + 2 x + 1 = ( x + 1) . Поэтому

дробь представляется в виде суммы простейших дробей следующим образом:


2x + 3 A1 A2
= + .
x2 + 2 x + 1 x + 1 ( x + 1)2

Как искать числа A1 , A2 ? Приведем последнее равенство к общему знаменате-


лю и отбросим знаменатель. Получится:
2 x + 3 = A1 ( x + 1) + A2 .
Это − равенство двух многочленов первой степени.
Как известно, два многочлена тождественно равны тогда и только тогда,
если равны коэффициенты при одинаковых степенях переменной. Приравнива-
ние коэффициентов дает два уравнения относительно чисел A1 , A2 :

x1 : 2 = A1 ;
x0 : 3 = A1 + A2 .

Решая их, находим A1 = 2 , A2 = 1 ; после чего искомый интеграл приводится к


виду

23
2x + 3 dx dx
∫ dx = 2 ∫ +∫ .
x2 + 2 x + 1 x + 1 ( x + 1) 2

Интегралы в правой части легко берутся, что позволяет окончательно вычис-


лить искомый интеграл:

x4 − 3 x3 2
∫ 2 dx = − x 2 + 3 x − 4 ln x + 1 + +C. ƒ
x + 2x + 1 3 x + 1

ПРИМЕР 4. Вернемся к примеру 2, в котором вычисление заданного ин-

x3 + 6 x 2 + 13x + 6
теграла свелось к вычислению интеграла ∫ 3
dx .
( x − 2 )( x + 2 )
Нам уже понятно, что разложение подынтегральной функции на сумму
простейших дробей должно иметь вид

x3 + 6 x 2 + 13x + 6 A1 A A3 A4
= + 2 + + .
( x − 2 )( x + 2 )3 x − 2 x + 2 ( x + 2) 2 ( x + 2)3

Для нахождения чисел A1 , A2 , A3 , A4 приводим это равенство к общему зна-


менателю и отбрасываем его:
3 2
x 3 + 6 x 2 + 13x + 6 = A1 ( x + 2 ) + A2 ( x − 2 )( x + 2 ) +
+ A3 ( x − 2 )( x + 2 ) + A4 ( x − 2 ) .
В правой части раскрываем скобки и располагаем члены по убывающим степе-
ням x:

x3 + 6 x 2 + 13 x + 6 = ( A1 + A2 ) x3 + (6 A1 + 2 A2 + A3 ) x 2 +
+ (12 A1 − 4 A2 + A4 ) x + (8 A1 − 8 A2 − 4 A3 − 2 A4 ).
Теперь приравняем коэффициенты при одинаковых степенях x слева и справа,
получая следующую систему уравнений относительно искомых чисел:

x3 : A1 + A2 = 1;
x2 : 6 A1 + 2 A2 + A3 = 6;
x1 : 12 A1 − 4 A2 + A4 = 13;
x0 : 8 A1 − 8 A2 − 4 A3 − 2 A4 = 6.

24
Решая систему, находим: A1 = 1 , A2 = 0 , A3 = 0 , A4 = 1 .
Таким образом, интеграл примера 2 принимает вид

x3 + 6 x 2 + 13 x + 6 dx dx 1
∫ dx = ∫ +∫ = ln x − 2 − +C. ƒ
( x − 2 )( x + 2 )3 x−2 ( x + 2) 3
2( x + 2) 2

До сих пор в примерах нам встречались лишь простейшие дроби вида


A
(выражение (5)). Их интегрирование проблем не вызывало, ибо при
k
( x − a)
k = 1 очевидным образом имеем
A
∫ x − a dx = A ln x − a + C , (7)

а при k = 2,3,... не менее очевидным образом получаем


1− k
A A( x − a)
∫ dx = +C. (8)
( x − a )k 1− k

Bx + C
Однако, к интегрированию простейших дробей вида (выраже-
(x )
2 k
+ px + q

ние (6)) мы пока не готовы.


Рассмотрим сначала случай k = 1, т.е. будем вычислять интеграл
Bx + C
I1 = ∫ dx . (9)
2
x + px + q
Для этого, прежде всего, выделим в знаменателе полный квадрат:
2
2 p p2
2 p2 ⎛ p⎞
x + px + q = x + 2 x ⋅ + +q− = ⎜ x + ⎟ + m2 ,
2 4 4 ⎝ 2⎠

где m = 4q − p 2 2 > 0 .

Теперь выполним в интеграле (9) замену переменной:

25
p
=t x+
2
Bx + C Bx + C p
I1 = ∫ dx = ∫ dx = x = t − =
x 2 + px + q ⎛ p⎞
2
2
2
⎜ x + ⎟ + m dx = dt
⎝ 2⎠

Bp
Bt + C −
2 dt = B t ⎛ Bp ⎞ dt
=∫ ∫ 2 2 dt + ⎜ C − ⎟∫ .
t 2 + m2 t +m ⎝ 2 ⎠ t 2 + m2
Первый из интегралов справа берется с помощью уже знакомого нам
приема внесения под знак дифференциала:

t
2
1 d t +m 1 2 (
2 1 2 )
∫ 2 2 dt = 2 ∫ 2 2 = 2 ln t + m = 2 ln x + px + q + C .
t +m t +m
Второй интеграл − табличный:
p
x+
dt 1 t 1 2 +C ,
∫ = arctg + const = arctg
t 2 + m2 m m m m
Тогда, окончательно,
B 2C − B 2x + p
I1 = ln x 2 + px + q + arctg +C.
2 4q − p 2
4q − p 2

Покончив с интегралом (9), рассмотрим случай интегрирования простей-


Bx + C
ших дробей вида при k = 2,3,... :
(x )
2 k
+ px + q

Bx + C
Ik = ∫ dx . (10)
2 k
( x + px + q)
Действуя аналогично предыдущему случаю (k = 1), с теми же обозначениями,
приводим интеграл (10) к виду
tdt ⎛ Bp ⎞ dt
Ik = B ∫ + ⎜C − ⎟ ∫ .
(t 2 + m 2 ) k ⎝ 2 ⎠ (t 2 + m 2 )k

26
Ясно, что

tdt 1 d (t 2 + m 2 ) (t 2 + m 2 )1− k ( x 2 + px + q )1− k


∫ = ∫ = = +C ,
(t 2 + m 2 ) k 2 (t 2 + m 2 ) k 2(1 − k ) 2(1 − k )

и дело сводится к вычислению интеграла


dt
Jk = ∫ , k = 2,3,... . (11)
2 2 k
(t + m )
Преобразуем этот интеграл следующим образом:

1 (t 2 + m 2 ) − t 2 1 dt 1 t 2 dt
Jk = ∫ dt = ∫ − ∫ =
2 2 2 k 2 2 2 k −1 2 2 2 k
m (t + m ) m (t + m ) m (t + m )

1 1 t 2 dt
= J k −1 − ∫ . (12)
m2 m 2 (t 2 + m 2 )k
Последний интеграл в (12) запишем так:

t 2 du 1 d (t 2 + m 2 )
t dt
∫ 2 2 k = ∫t ⋅ 2 2 k = 2 ∫t⋅ 2 2 k =
(t + m ) (t + m ) (t + m )
1 ⎛ 1 ⎞
=− ∫ ⎜ 2 2 k −1 ⎟⎟ .
t d ⎜
2(k − 1) ⎝ (t + m ) ⎠
Проведя теперь интегрирование по частям, будем иметь:

t 2 dt 1 ⎡ t dt ⎤
∫ =− ⎢ − ∫ 2 2 k −1 ⎥ .
(t 2 + m 2 ) k 2(k − 1) ⎣⎢ (t 2 + m 2 )k −1 (t + m ) ⎦⎥
Подставим это выражение в (12). Тогда получим:
1 t 1
Jk = J k −1 + − J k −1 ,
2 2 2 2 k −1 2
m 2m (t + m ) (k − 1) 2(k − 1)m
или, после приведения подобных членов,
t 2k − 3
Jk = + J k −1 . (13)
2m 2 (k − 1)(t 2 + m 2 ) k −1 2m 2 (k − 1)

Таким образом, мы получили рекуррентную формулу (13) для вычисления


интеграла (11), которая позволяет шаг за шагом понижать индекс k, пока дело

27
не дойдет до вычисления табличного интеграла J1 . На практике, конечно, не
обязательно на каждом шагу проводить выкладки, ведущие от (11) к (13), а дос-
таточно воспользоваться готовой рекуррентной формулой (13).

2 x3 + 3 x 2 + 3 x + 2
ПРИМЕР 5. Вычислить интеграл I = ∫ dx .
( x 2 + x + 1)( x 2 + 1)
Раскладываем интегрируемую дробь на простейшие:

2 x3 + 3 x 2 + 3 x + 2 B1x + C1 B x + C2
= + 2 .
( x 2 + x + 1)( x 2 + 1) x2 + x + 1 x2 + 1
Приводим это равенство к общему знаменателю и приравниваем числители:

2 x3 + 3 x 2 + 3 x + 2 = ( B1x + C1 )( x 2 + 1) + ( B2 x + C2 )( x 2 + x + 1) .
Равенство коэффициентов при одинаковых степенях x дает систему:

⎧ B1 + B2 = 2
⎪C + B + C = 3
⎪ 1 2 2

⎪ B1 + B2 + C2 = 3
⎪⎩C1 + C2 = 2

После несложных алгебраических выкладок находим ее решение:


B1 = C1 = B2 = C2 = 1 .
Тогда искомый интеграл принимает вид
x +1 x +1
I =∫ dx + ∫ dx .
2 2
x + x +1 x +1
Вычисляем первый из полученных интегралов:
1 1
(2 x + 1) +
x +1 2 dx = 1 2x + 1 1 dx
∫ dx = ∫ 2 ∫ dx + ∫ =
x2 + x + 1 x2 + x + 1 2 x2 + x + 1 2 x2 + x + 1
1 d ( x 2 + x + 1) 1
= ∫
2 x2 + x + 1
+ ∫
dx 1
= ln x 2 + x + 1 +
2 x2 + 2 x ⋅ 1 + 1 + 3 2
( )
2 4 4

28
1
2( x + )
1 dx 1 2 2 +C =
+ ∫ = ln x 2 + x + 1 + ⋅ arctg
2 2 2 2 3 3
⎛ 1⎞ ⎛ 3⎞
⎜ x + ⎟ ⎜+ ⎟
⎝ 2⎠ ⎝ 2 ⎠
3 2x + 1
= ln x 2 + x + 1 + arctg + C.
3 3
Теперь вычислим второй интеграл:
1 1
(2 x + 1) +
x +1 2 2 1 d ( x 2 + 1) 1 dx
∫ 2 dx = ∫ 2
dx = ∫
2 2
+ ∫
2 2
=
x +1 x +1 x +1 x +1
1 1
= ln( x 2 + 1) + arctgx + C.
2 2
В итоге получаем

3 2x + 1 1
I = ln x 2 + x + 1 + arctg + ln x 2 + 1 + arctgx + C . ƒ
3 3 2

x 4 + 4 x3 + 11x 2 + 12 x + 8
ПРИМЕР 6. Вычислить интеграл I =∫ dx .
( x 2 + 2 x + 3)2 ( x + 1)
На этот раз разложение рациональной дроби на простейшие таково:

x 4 + 4 x3 + 11x 2 + 12 x + 8 A B x + C1 B2 x + C2
= + 1 + .
( x 2 + 2 x + 3) 2 ( x + 1) x + 1 x 2 + 2 x + 3 ( x 2 + 2 x + 3)2

Обычным образом находим неизвестные коэффициенты: A = 1, B1 = 0, C1 = 0,


B2 = 1, C2 = −1. Поэтому
dx ( x − 1)dx
I =∫ +∫ .
x + 1 ( x 2 + 2 x + 3)2

Первый из интегралов − почти табличный, он равен ln x + 1 + C .

Вычисляем второй:
1
(2 x + 2) − 2
( x − 1)dx 2 1 d ( x 2 + 2 x + 3)
∫ 2 =∫ dx = ∫ −
( x + 2 x + 3)2 ( x 2 + 2 x + 3) 2 2 ( x 2 + 2 x + 3)2

29
dx 1 dx
−2∫ =− − 2∫ .
2 2 2 2 2 2
[( x + 2 x + 1) + 2] 2( x + 2 x + 3) [( x + 1) + ( 2) ]
Последний интеграл после замены x + 1 = t принимает вид (11) с k = 2 ,

m = 2 . Используя рекуррентную формулу (13), имеем


dx x +1 1 dx
∫ = + ∫ =
[( x + 1) 2 + ( 2)2 ]2 2 ⋅ 2 ⋅1 ⋅ [( x + 1)2 + 2] 2 ⋅ 2 ( x + 1) 2 + ( 2) 2

x +1 1 x +1
= + arctg +C.
4( x 2 + 2 x + 3) 4 2 2
В итоге получаем:
1 x +1 2 x +1
I = ln x + 1 − − − arctg +C =
2( x 2 + 2 x + 3) 2( x 2 + 2 x + 3) 4 2
x+2 2 x +1
= ln x + 1 − − arctg + C. ƒ
2( x 2 + 2 x + 3) 4 2

Завершая настоящий раздел, отметим, что любая рациональная дробь мо-


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

1.3. Рационализация интегралов.

Под рационализацией неопределенного интеграла мы будем понимать


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

Рассмотрим наиболее распространенные типы интегралов, которые до-


пускают рационализацию.

30
1. Интегралы вида ∫ R(sin x,cos x) dx , (1)

где R – рациональная функция переменных sin x, cos x . Другими словами, по-


дынтегральная функция в (1) – это результат конечного числа операций сложе-
ния, вычитания, умножения и деления, производимых над переменными
sin x, cos x и числами.

Для рационализации данного интеграла рекомендуется, так называемая,


универсальная тригонометрическая подстановка:
x
t = tg . (2)
2
Реализуя ее в интеграле (1), получаем

x 2 x
2 tg 1 − tg
2dt 2 2t 2 1 − t2
x = 2arctg t , dx = , sin x = = , cos x = = .
1+ t2 2 x 1 + t2 2 x 1 + t2
1 + tg 1 + tg
2 2

Тогда
⎛ 2t 1 − t 2 ⎞ 2dt
∫ R(sin x,cos x ) dx = ∫ R ⎜⎜ 2 , 2 ⎟⎟ 2 .
⎝1+ t 1+ t ⎠1+ t
Ясно, что под знаком последнего интеграла возникает рациональная функция
от переменной t.

sin x + cos x
ПРИМЕР 1. Провести рационализацию интеграла ∫ sin x − cos x dx .
Применяя универсальную тригонометрическую подстановку, получаем:

2t 1 − t2
+
sin x + cos x 1 + t2 1 + t 2 2dt = 2 − t 2 + 2t + 1
∫ sin x − cos x dx = ∫ ∫ 2 dt .
2t 1 − t2 1 + t2 (t + 2t − 1)(1 + t 2 )
2

1+ t 1 + t2
Рационализация интеграла закончена. ƒ

31
Хотя универсальная подстановка (2) позволяет взять любой интеграл ви-
да (1), но есть частные случаи, в которых интеграл (1) можно рационализиро-
вать значительно проще, чем с помощью этой подстановки. Рассмотрим эти
случаи.

Случай 1а. В случае интеграла ∫ R (sin x) cos x dx удобно применять под-

становку t = sin x . Интеграл превратится в ∫ R (t ) dt .

Случай 1б. Аналогично, интеграл ∫ R (cos x) sin x dx с помощью подста-

новки t = cos x превращается в − ∫ R (t ) dt .

sin 3 x
ПРИМЕР 2. Вычислить интеграл I = ∫ dx .
2 + cos x
Имеем

sin 2 x 1 − cos2 x
I =∫ sin x dx = ∫ sin x dx .
2 + cos x 2 + cos x
Теперь видно, что это интеграл вида 1б. Полагая t = cos x , получаем

1− t2
I = −∫ dt . ƒ
2+t

Случай 1в. Интеграл ∫ R (tg x ) dx берется с помощью подстановки


dt dt
t = tg x , x = arctg t , dx = , которая сводит его к интегралу ∫ R (t ) .
1+ t2 1+ t2
В частности, такую подстановку можно было бы выполнить в примере 1:
⎛ sin x ⎞
cos x ⎜ + 1⎟
sin x + cos x ⎝ cos x ⎠
∫ sin x − cos x dx = ∫ ⎛ sin x ⎞
dx =
cos x ⎜ − 1⎟
⎝ cos x ⎠
tg x = t ,
tg x + 1 t + 1 dt
=∫ dx = x = arctg t , =∫ ⋅ .
tg x − 1 t−1 1 + t2
dx = dt /(1 + t 2 )

32
Рационализация интеграла также удалась, причем проще, чем при ис-
пользовании универсальной тригонометрической подстановки.

Случай 1г. Интегралы вида ∫ R(sin 2 x, sin x cos x, cos2 x ) dx , (3)

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


лизированы с помощью подстановки t = tg x .
Интегралы (3) представляют собой частный случай интегралов (1), когда
функции sin x и cos x входят в подынтегральное выражение только в четных
степенях. Известные тригонометрические тождества
1 1 1
= 1 + tg2 x, = 1+ . (4)
cos2 x sin 2 x tg2 x
позволяют в этом случае рациональным образом выразить подынтегральную
функцию в (3) через переменную t.

dx
ПРИМЕР 3. Вычислить интеграл ∫ sin 2 x + 4sin x cos x − 5cos2 x .
Здесь можно непосредственно применить тригонометрические формулы
(4). Однако есть более простой прием, основанный на внесении множителя
1 dx
под знак дифференциала ( = d (tg x) ):
cos 2 x cos 2 x
dx dx
I =∫ =∫ =
sin 2 x + 4sin x cos x + 5cos 2 x ⎛ sin 2 x 4sin x ⎞ 2
⎜⎜ 2
+ + 5 ⎟⎟ cos x
⎝ cos x cos x ⎠
d tg x dt
=∫ = tg x = t = ∫ .
( 2
tg x + 4 tg x + 5 ) 2
t + 4t + 5

В результате получен рассматривавшийся в 1.2. интеграл от простейшей функ-


ции, содержащей квадратный трехчлен:
dt dt
I =∫ =∫ = arctg(t + 2) + C = arctg(tg x + 2) + C . ƒ
t 2 + 4t + 5 (t + 2) 2 + 1

33
2. Интегралы вида ∫ R( x m1 / n1 , x m2 / n2 ,…, x mk / nk ) dx , (5)

где R – рациональная функция своих аргументов.

Фактически подынтегральная функция в (5) представляет собой иррацио-


нальность, которая содержит конечное число радикалов степеней n1, n2, …, nk
от переменной x.
Для сведения задачи (5) к интегрированию рациональной функции доста-
точно выполнить замену переменной

x = t n , t = n x , dx = nt n −1dt ,
где n − наименьшее общее кратное чисел n1, n2,…, nk:
n = НОК (n1, n2,…, nk),
или, говоря другими словами, n − наименьший общий знаменатель дробей
m1 m2 m
, , …, k .
n1 n2 nk

dx
ПРИМЕР 4. Вычислить ∫ x+3x
.

Поскольку x = x1/ 2 , 3 x = x1/ 3 , а наименьшим общим кратным знаме-


нателей дробей 1/2 и 1/3 , стоящих в показателях степени, является число 6, то
6
рационализирующая подстановка в данном примере имеет вид x = t :

x = t6 ,
dx 6t 5 dt
t 3dt
∫ = t = x, = ∫ = 6∫
6 =
x+3x t 3
+ t 2 t +1
dx = 6t 5 dt

⎛ 1 ⎞
= 6∫ ⎜ t 2 − t + 1 − 3 2
⎟ dt = 2t − 3t + 6t − 6 ln | t + 1| +C =
⎝ t +1⎠
= 2 x − 3 3 x + 6 6 x − 6 ln( 6 x + 1) + C. ƒ

34
3. Интегралы вида ∫ R( z m1 / n1 , z m2 / n2 ,…, z mk / nk ) dx , (6)
ax + b
где z = , R – рациональная функция своих аргументов.
cx + d
Выражение (6) представляет собой интеграл от иррациональности, содер-
ax + b
жащей радикалы степеней n1, n2,…, nk от переменной z = . Таким об-
cx + d
разом, случай (6) обобщает случай (5).
Избавиться от иррациональности в интеграле вида (6) помогает аналогич-
ная подстановка:

ax + b n ax + b qt n − b n( aq − bp ) t n −1
=t , t=n , x= , dx = dt .
( )
px + q px + q n 2
a − pt a − pt n

dx
ПРИМЕР 5. Рационализировать интеграл ∫ x +1 x +1
.
4 +
x −1 x −1
x +1 4
Выполнив замену переменной = t (число 4 представляет собой об-
x −1
щий знаменатель дробей 1/2 и 1/4), получим

dx x +1 4 t4 +1 −8t 3dt
∫ = =t , x= , dx = =
x +1 x −1 t4 −1
( )
x +1 4 2
4 + t −1
x −1 x −1
t 2 dt t 2 dt
= −8∫ = − 8∫ .
(t 4 − 1) (t 2 + 1)
2 2
(t + 1) (t − 1)2 (t + 1)3

Цель достигнута: получен интеграл от рациональной функции. Хотя,


справедливости ради, отметим, что его аналитическое вычисление представляет
собой малоприятную и громоздкую задачу, которую лучше поручить какой-
нибудь компьютерной математической программе, способной выполнять сим-
вольные вычисления, (например, системе “Mathematica”). ƒ

35
Теоретические вопросы к главе 1.

1. Дать определение неопределенного интеграла.


2. Какая разница между неопределенным интегралом и первообразной?
3. Могут ли две различные функции быть первообразными для одной и той же
непрерывной функции?
2 3
4. Верна ли запись ∫ 3x dx = x ?
5. Найти неопределенный интеграл ∫ | x | dx .

6. Найти неопределенный интеграл ∫ | cos x | dx .

dx
7. Как можно рационализировать интеграл ∫ .
sin 2 x − 3cos 2 x + 5
dx
8. Как можно рационализировать интеграл ∫ sin x + 2 cos x − 7 .
dx x 1 x
9. Доказать, что ∫ = arctg + C .
+
( x 2 + 9)2 18( x 2 + 9) 54 3

10. Найти функцию f (x), если ∫ f ( x)dx = arcsin x + C .


11. Справедливо ли тождество ∫ f ( x) ⋅ g ( x) dx = ∫ f ( x) dx ⋅ ∫ g ( x) dx ?
12. Чему равен интеграл ∫ f ( z ) dz , если ∫ f ( x) dx = F ( x) + C ?
dx dx
13. Известны формулы ∫ = arcsin x + C и ∫ = − arccos x + C .
2 2
1− x 1− x
Следует ли из этого тождество: arcsin x ≡ − arccos x ?
dx
14. Табличный интеграл ∫ = arctg x + C вычислили с помощью замены:
1 + x2
1 dt
x= −
dx
=
t
=∫ t 2 = − dt = − arctg t + C = − arctg 1 + C .
∫ ∫ 2
1 + x2 dx = −
dt ⎛1⎞
2
1+ t x
1+ ⎜ ⎟
t2 ⎝t⎠
Почему получены разные результаты?

36
Задачи к главе 1.

Найти интегралы, используя таблицу неопределенных интегралов:

1. ∫ (2 − 3x)2 dx . 2. 3
∫ x ⋅ xdx .
dx xdx
3. ∫ . 4. ∫3 .
x2 ⋅ x x4 ⋅ 5 x
dx dx
5. ∫ . 6. ∫ .
4 − 5x 2 3 + 8x2

dx dx
7. ∫ . 8. ∫ .
2
11x + 6 2 x 2 − 13

9. ∫ e−2 x +1dx . 10. ∫ 53 x − 2 dx .


2 2
⎛ 2 ⎞ ⎛ 1 ⎞
11. ∫ ⎜ − 5 ⎟ dx . 12. ∫ ⎜ + 3 ⎟ dx .
⎝ cos x ⎠ ⎝ sin x ⎠
2 2
13. ∫ 3x + 4 dx . 14. ∫ 7 − 6x dx .

Найти интегралы, используя основные формулы интегрирования:


dx x+2
15. ∫ 3x − 1 . 16. ∫ x − 5 dx .
dx xdx
17. ∫ . 18. ∫ .
(3 + 5x ) 2
2 x2 − 1

xdx x 2 dx
19. ∫ 2
. 20. ∫ 6
.
5x + 6 5 − 3x

e x dx e x dx
21. ∫3 . 22. ∫ 2x
.
x
8e + 1 e −6

23− x dx dx
23. ∫ . 24. ∫ x ⋅ (3x − 4) .
x

37
cos xdx sin xdx
25. ∫ 2
. 26. ∫ .
11sin x − 7 2 − 5cos x 2

cos 3xdx
27. ∫ sin 2 x cos 2 2 xdx . 28. ∫ .
4
sin 3x

ln 2 xdx dx
29. ∫ x . 30. ∫ 3 2
.
x ⋅ ln x
(3arcsin x + 2 arccos x)dx dx
31. ∫ 2
. 32. ∫ 5 2
.
1− x arcsin 2 x ⋅ 1 − 4 x
x
arctg 2 dx
3 . dx
33. ∫ 34. ∫ .
2
x +9 2
cos 2 x 7 − tg 2 x 2

Найти интегралы от выражений, содержащих квадратный трехчлен:


x+2 x
35. ∫ 2
dx . 36. ∫ dx .
x − 6x + 1 2
x − 4x
5 − 2x dx
37. ∫ 2
dx . 38. ∫ 2
.
1 + 8x − x x x + 2x − 3

Найти интегралы, используя замену переменных:


xdx
39. ∫ 1 − 3x . 40. ∫ ( x + 1) x 2 + 2 x dx .

dx dx 1
41. ∫ , ( t = e− x ). 42. ∫ , (t = ) .
e2 x − 1 x 4 − x2 x

dx dx
43. ∫ . 44. ∫ .
x+4x x+3x

sin 3 x dx 1
45. ∫ dx . 46. ∫ , ( x = tg t , или x = ) .
cos x − 2 x2 ⋅ 1 + x2 t

38
Найти интегралы, используя формулу интегрирования по частям:

47. ∫ (1 − 4 x)e2 x dx . 48. ∫ ( x 2 − 4) ln xdx .

49. ∫ (3 x + 4)sin xdx . 50. ∫ arctg 2xdx .

51. ∫ e x dx . 52. ∫ e x cos 2 xdx .

53. ∫ ln 2 (2 x − 1)dx . 54. ∫ arctg x dx .

Найти интегралы от рациональных функций:

(2 x 2 − 3) dx ( x + 2)dx
55. ∫ . 56. ∫ .
( x − 1)( x − 4)( x + 2) ( x − 1) 2 ( x + 4)

dx 2 x3 − x + 1
57. ∫ 2
. 58. ∫ 3
dx .
( x + 2)( x − 2) x + 2x − 3

x 4 + 17 ( x 2 − 3)dx
59. ∫ 4
dx . 60. ∫ 2 2
.
x −1 ( x + 2)( x + 1)

dx ( x 2 − 4)dx
61. ∫ . 62. ∫ .
( x 2 + 10 x + 26) 2 ( x − 1) 2 ( x 2 + 3)

Найти интегралы от тригонометрических функций:


x
63. ∫ sin 5 dx . 64. ∫ sin 7 2 x cos3 2 xdx .
3
65. ∫ sin 2 x cos 4 x dx . 66. ∫ sin 5 x cos8 x dx .

dx x
67. ∫ . 68. ∫ tg 4 dx .
sin 2 x cos 4 x 5

dx cos 4 x
69. ∫ . 70. ∫ sin x dx .
sin 3 2 x
dx dx
71. ∫ . 72. ∫ cos x + 1 − 2sin x .
1 + cos 2 x − 3sin 2 x

39
Найти интегралы, применив тригонометрические подстановки:
2 2 3
73. ∫ 4 − x dx, ( x = 2sin t ) . 74. ∫ x − 9 dx, ( x = cos t ) .

dx x 2 dx
75. ∫ , ( x = tg t ) . 76. ∫ .
2 2 2
x ⋅ x +1 4 − 2x − x

Найти интегралы:
dx dx
77. ∫ 2 2
. 78. ∫ 3
.
( x + 6 x + 1) 3 − 2 x − x x 1− x
dx
79. ∫3 . 80. ∫ ( x − 3) x 2 − 2 x + 2 dx .
1 − x3
x xdx
81. ∫ xe sin xdx . 82. ∫ 2
.
sin 5 x
2x
83. ∫ arccos x dx . 84. ∫ e − 1 dx .
85. ∫ | x − 4 | dx . 86. ∫ x | x + 2 | dx .

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

2.1. Понятие определенного интеграла.

В первой главе мы изучали неопределенный интеграл, представляющий


собой множество первообразных заданной функции. Теперь настала пора по-
знакомиться с понятием определенного интеграла, потребность в изучении ко-
торого возникла в связи с необходимостью решать геометрические и физиче-
ские задачи. Помимо этого, дальше в пособии мы встретимся с двойными,
тройными, криволинейными интегралами; а еще в математике встречаются од-
нокоренные понятия, такие как «интегральные кривые», «интегральные много-
образия», «интегральные преобразования» и т.д. Общий корень всех этих мате-
матических терминов произошел от латинского ”integratio” = «восстановление,
возобновление», и впервые был предложен Я. Бернулли в 1690 году (правда,
пальму его первенства оспаривал другой представитель той же семьи − И. Бер-
нулли).
Для того чтобы понять, откуда возникает определенный интеграл, обра-
тимся к физической задаче. Пусть автомобиль с неработающим датчиком прой-
денного пути (одометром) движется по шоссе, на котором нет километровых
столбов. (Вместо автомобиля можно рассматривать самолет или ракету, где, уж
точно, отсутствие столбиков не вызывает сомнений). В каждый момент време-
ни есть возможность, взглянув на спидометр, выяснить, какова скорость авто-
мобиля. Есть ли возможность в таком случае определить пройденный автомо-
билем путь? (Для ракет, конечно, спидометр придумать не просто, но для них
созданы датчики ускорения − акселерометры, и задача лишь немного видоиз-
меняется).

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


(из которой очевидно, что рассматривается процесс разгона, когда скорость ав-
томобиля монотонно растет):

41
Время (с) 0 2 4 6 8 10

Скорость (м/с) 0 6 11 15 18 20

График зависимости скорости от времени состоит из ряда изолированных


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

Скорость (м/c)
20

10

Время (c)
0 2 4 6 8 10

Рис.1. Измерения скорости автомобиля.

Можно представить, по крайней мере, два способа оценки пройденного


пути.

Способ №1 (оценка снизу). Будем считать, что на каждом интервале


времени после замера скорость сохраняла свое значение. Тогда пройденный
путь равен величине
0⋅2 + 6⋅2 + 11⋅2 + 15⋅2 + 18⋅2 = 100 (м).
Понятно, что поскольку в данном примере реальная скорость автомобиля
возрастала, полученная оценка пути является заниженной, т.е.
S > 100 (м).

42
Способ №2 (оценка сверху). Предположим теперь, что на каждом интер-
вале скорость совпадала со своим конечным значением на этом интервале. То-
гда для пути получаем оценку
6⋅2 +11⋅2 +15⋅2 +18⋅2 + 20⋅2 =140 (м).
При таком способе мы переоценили пройденный путь S, и на самом деле:

S < 140 (м).

Изобразим графически, как проводилась оценка пути в каждом из двух


способов. На рис.2 горизонтальной штриховкой изображена фигура, площадь
которой равна заниженной оценки пути по 1 способу, а вертикальной штрихов-
кой представлена завышенная оценка пути по 2 способу.
Если полученная точность измерения пройденного пути (100 < S < 140)
кажется нам недостаточно хорошей, то возникает вопрос: возможно ли увели-
чить эту точность и как? А возможно ли, вообще, нахождение реального значе-
ния пути автомобиля?

Скорость (м/c)
20

10

Время (c)
0 2 4 6 8 10

Рис.2. Оценка пройденного пути.

Понятно, что для более аккуратных оценок пути исходной таблицы не-
достаточно − измерения скорости надо проводить чаще. Пусть соответствую-
щие данные представлены в новой таблице:

43
Время (с) 0 1 2 3 4 5 6 7 8 9 10

Скорость (м/с) 0 4 6 9 11 13 15 17 18 19 20

Теперь можно опять построить график зависимости скорости автомобиля от


времени и провести оценки пути снизу (заниженную) и сверху (завышенную).
Соответствующие заштрихованные фигуры, дающие эти оценки, нарисованы
на рис.3.

Скорость (м/c)
20

10

Время (c)
0 1 2 3 4 5 6 7 8 9 10

Рис.3. Улучшенная оценка пройденного пути.

Площадь фигуры с горизонтальной штриховкой равна


0⋅1+4⋅1+6⋅1+9⋅1+11⋅1+13⋅1+15⋅1+17⋅1+18⋅1+19⋅1 = 112 (м).

Площадь фигуры с вертикальной штриховкой равна

4⋅1+6⋅1+9⋅1+11⋅1+13⋅1+15⋅1+17⋅1+18⋅1+19⋅1+20⋅1 = 132 (м).

Пройденный автомобилем путь больше площади «описанной» ступенча-


той фигуры с горизонтальной штриховкой, но меньше площади «вписанной»
ступенчатой фигуры с вертикальной штриховкой. Таким образом, теперь для
пройденного пути мы получили улучшенную оценку
112 < S < 132.

44
Для того, чтобы дать еще более точную оценку величины пути автомоби-
ля, нам пришлось бы еще более часто проводить измерения его скорости. При
этом площадь вписанной ступенчатой фигуры, дающей нижнюю оценку пути,
увеличивалась бы, а площадь описанной ступенчатой фигуры, дающей верх-
нюю оценку, уменьшалась. Из физических соображений понятно, что с увели-
чением частоты измерений эти две оценки должны сойтись (ведь существует
же точное значение пути, пройденного автомобилем). Но тогда это точное зна-
чение пройденного пути должно представлять собой не что иное, как площадь
криволинейной фигуры, ограниченной сверху графиком зависимости скорости
от времени, снизу − осью абсцисс, а с боков − вертикальными прямыми, отве-
чающими начальному и конечному времени движения (рис.3).

Вот теперь можно непосредственно перейти к самому понятию опреде-


ленного интеграла. Пусть на некотором отрезке [a, b] задана непрерывная
функция y = f ( x ) . Для удобства изложения пока будем считать, что a < b и

f (x) > 0 (рис.4).


Проведем произвольным образом разбиение отрезка [a, b] на n частей
точками xо = a, x1, x2, … , xn −1, xn = b. Введем обозначения для длин получив-
шихся отрезков:
Δx1 = x1 − xо, Δx2 = x2 − x1, …, Δxn = xn− xn−1. (1)

Для каждого из отрезков [xi+1, xi], (i = 1, 2, …, n) введем обозначения x i

и x i для точек, отвечающих, соответственно, наименьшему и наибольшему


значениям функции f (x) на этом отрезке. Сами указанные значения функции
обозначим так:
f ( x i ) = mi , f ( xi ) = M i .

Кроме того, на каждом интервале (xi+1, xi) выберем произвольным обра-


зом по точке ξi.

45
y Sn
y = f ( x)

σn
M1


m1

sn

ξ1 ξ2 ξ3 ξn

a = xo x1 x2 x3 … xn −1 xn = b x

Рис.4. К определению понятия определенного интеграла.

Теперь можно образовать следующие суммы:


n
sn = ∑ mi Δ xi = m1Δ x1 + m2 Δ x2 + … + mn Δ xn ,
i =1
(нижняя интегральная сумма)
n
Sn = ∑ M i Δ xi = M1Δ x1 + M 2 Δ x2 + … + M n Δ xn , (2)
i =1
(верхняя интегральная сумма)
n
σ n = ∑ f (ξi )Δ xi = f (ξ1 )Δ x1 + f (ξ 2 )Δ x2 + … + f (ξ n )Δ xn .
i =1
(интегральная сумма)

На рис. 4 заштрихованная ступенчатая фигура имеет площадь, равную


интегральной сумме σn . Нижняя интегральная сумма представлена площадью

46
вписанной ступенчатой фигуры, расположенной под кривой y = f ( x ) , а верх-

няя интегральная сумма − площадью описанной фигуры, расположенной выше


этой кривой.
Очевидно, что определенные в (1) интегральные суммы связаны неравен-
ствами
sn ≤ σ n ≤ S n . (3)
Важной характеристикой проведенного разбиения отрезка [a, b] является
максимальная длина отрезков разбиения (1):
λ = max Δxi . (4)
i =1,…, n

Величину λ обычно называют диаметром разбиения.

Рассмотрим теперь вопрос, о том, как ведут себя интегральные суммы (3)
при уменьшении диаметра разбиения λ отрезка [a, b]. Для того чтобы не утом-
лять читателей сложными оценками, рассмотрим случай, когда функция
y = f ( x ) имеет на отрезке [a, b] конечное число интервалов монотонности, и
на каждом из таких интервалов разбиение проводится на отрезки равной длины.
(Для функции, изображенной на рис.4 есть два интервала монотонности: внача-
ле, на интервале ( a , x 2 ) , функция возрастает, а на интервале ( x 2 , b) − убывает).

Пусть на каком-то из интервалов (c, d) монотонности (для определенно-


сти, интервале возрастания) проведено разбиение на n равных отрезков, длина
каждого из которых равна
d −c
Δx = .
n
Для возрастающей функции наименьшее значение достигается на левом
конце интервала определения, а наибольшее − на правом. Поэтому
m1 = f ( xo ), m2 = f ( x1 ), …, mn = f ( xn −1 ) ;
M1 = f ( x1 ), M 2 = f ( x2 ), …, M n = f ( xn ) .

47
Теперь можно записать верхнюю и нижнюю интегральные суммы функ-
ции y = f ( x ) на отрезке [c, d]:
n
sn = ∑ mi Δ x = m1Δ x + m2 Δ x + … + mn Δ x = Δ x ( f ( xo ) + f ( x1 ) + … + f ( xn −1 ) ) ;
i =1
n
S n = ∑ M i Δ x = M1Δ x + M 2 Δ x + … + M n Δ x = Δ x ( f ( x1 ) + f ( x2 ) + … + f ( xn ) ) .
i =1

Рассмотрим разность между верхней и нижней интегральными суммами


(для примера с движением автомобиля такая разность характеризовала бы точ-
ность определения пройденного пути):
ΔS = Sn − sn = Δ x [ f ( x1 ) + f ( x2 ) + … + f ( xn ) − f ( xo ) − f ( x1 ) − … − f ( xn −1 ) ] .

Или
d −c
ΔS = Sn − sn = Δ x [ f ( xn ) − f ( xo ) ] = Δ x [ f (d ) − f (c) ] = [ f (d ) − f (c) ] ⋅ .
n
Теперь понятно, что с увеличением количества n отрезков разбиения, ве-
личина ΔS стремится к нулю, а значит, верхняя и нижняя интегральные суммы
стремятся к одному и тому же пределу при n→∞:
lim ΔS = lim ( Sn − sn ) = 0 ⇒ lim Sn = lim sn . (5)
Δx →0 n→∞ n→∞ n→∞

Поскольку, мы предположили, что на всем отрезке [a, b] определения


функции y = f ( x ) имеется конечное число интервалов монотонности, а на ка-
ждом из них при разбиении на отрезки равной длины справедливо условие (5),
то и для интегральных сумм (2) функции y = f ( x ) на отрезке [a, b] также имеет
место равенство
lim ΔS = lim ( Sn − sn ) = 0 .
λ = max
i
Δx →0 λ →0

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


y = f ( x ) на отрезке [a, b] при стремлении к нулю диаметра λ разбиений (4)
имеют один и тот же предел I:

48
lim Sn = lim sn = I . (6)
λ = max
i
Δx → 0 λ = max
i
Δx → 0

Если теперь вспомнить известную теорему «О двух милиционерах» (см.


главу 1 выпуска 1 настоящего пособия), то становится ясно, что и произвольная
интегральная сумма σn, в силу ограничений (3), должна иметь тот же самый
предел:
lim σn = I . (7)
λ = max Δx →0
i

Теперь мы подошли к определению понятия определенного интеграла.

Определение. Если для любой последовательности разбиений отрезка


[a, b] такой, что диаметр разбиений λ = max Δxi стремится к нулю, и при про-
i =1,…, n

извольном выборе точек ξi на интервалах разбиения (xi – 1, xi) интегральные


n
суммы σ n = ∑ f (ξi ) Δ xi = f (ξ1 ) Δ x1 + f (ξ 2 ) Δ x2 + … + f (ξ n )Δ xn функции f (x)
i =1

стремятся к одному и тому же пределу I, то этот предел называется определен-


ным интегралом функции f (x) на отрезке [a, b]:
b n
∫ f ( x) dx = λ =maxlimΔx→0 σ n = λ =maxlimΔx→0 ∑ f (ξi )Δ xi . (8)
a i i i =1

Число а в выражении (8) называется нижним пределом, а число b −


верхним пределом интеграла.
Если определенный интеграл (8) существует, то функция f (x) называется
интегрируемой на отрезке [a, b].

Если бы не рассуждения, проведенные нами выше, данное определение


определенного интеграла могло бы породить целый ряд вопросов, например:

− не слишком ли строги требования, предъявляемые к функции f (x), для


существования определенного интеграла: ведь и точки деления отрезка выби-

49
рались произвольным образом, и сами выбранные на каждом интервале точки
также могли быть любыми?
− не слишком ли ограничен набор функций, для которых при данном оп-
ределении вообще существует определенный интеграл?

− почему введенное понятие называется интегралом, ведь ранее уже был


определен неопределенный интеграл как семейство первообразных, а опреде-
ление (8), на первый взгляд, никак не связано с первообразной функции f (x)?

Полученные выше оценки (5) − (7) интегральных сумм (хотя они и были
нами обоснованы только для функций с конечным числом интервалов моно-
тонности), позволяют легко ответить на первые два из сформулированных во-
просов. Действительно, справедлива следующая теорема (ее доказательство
выходит за рамки данного пособия и будет опущено):

Теорема 1. Для любой функции f (x), непрерывной на отрезке [a, b], су-
b
ществует определенный интеграл ∫ f ( x) dx .
a

Ответ на вопрос о том, что общего у определенного и неопределенного


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

Замечание 1. Определенный интеграл не зависит от обозначения пере-


менной интегрирования:

b b
∫ f ( x )dx = ∫ f (t )dt .
a a
Действительно, определенный интеграл представляет собой предел инте-
гральных сумм, а при вычислении предела не имеет значения, как обозначена
переменная.

50
Замечание 2. (Геометрический смысл определенного интегра-
ла). В случае положительной на отрезке [a, b] непрерывной функции f (x) оп-
b
ределенный интеграл ∫ f ( x )dx представляет собой площадь криволинейной
a

трапеции, ограниченной сверху графиком функции y = f (x), снизу − осью ОХ,


слева − прямой y = a и справа прямой y = b (рис. 5):

y y = f ( x ), f ( x) > 0

b
S = ∫ f ( x )dx
a
x
a b
Рис.5. Геометрический смысл определенного интеграла.

Сформулируем теперь общие

Свойства определенного интеграла:

n. Для постоянной на [a, b] функции


b
∫ kdx = k (b − a ) . (9)
a
Доказательство. Все интегральные суммы (2) функции f ( x ) = k яв-
ляются постоянной величиной:
n n
σ n = ∑ f (ξi )Δ xi = ∑ k Δ xi = k ( Δ x1 + Δ x2 + … + Δ xn ) = k (b − a ) .
i =1 i =1
Следовательно, и их предел (определенный интеграл) равен той же величине.

51
o. Определенный интеграл от суммы двух интегрируемых функций равен
сумме интегралов от этих функций:

b b b
∫ ( f ( x )+ g ( x ) )dx = ∫ f ( x ) dx + ∫ g ( x ) dx . (10)
a a a

p. Определенный интеграл тем больше, чем больше функция:


b b
f ( x)≥ g ( x) ⇒ ∫ f ( x) dx ≥ ∫ g ( x) dx, (a < b). (11)
a a

q. Если m − наименьшее, а M − наибольшее значения функции f (x) на от-


резке [a, b], где a < b , то

b
m(b − a) ≤ ∫ f ( x) dx ≤ M (b − a). (12)
a

(Свойства 2 – 4 легко доказываются на основе определения определенного


интеграла и свойств пределов функции).

r. (Теорема о среднем). Для непрерывной на отрезке [a, b] функции f (x)


существует такая точка ξ∈[a, b], что

b
∫ f ( x) dx = f (ξ ) ⋅ (b − a). (13)
a

Доказательство. По свойству 4 при a < b справедливо неравенство


1 b
b − a ∫a
m≤ f ( x) dx ≤ M . Как известно, непрерывная на отрезке [a, b] функция

принимает на этом отрезке любое значение, заключенное между своими наи-


меньшим и наибольшим значениями (см. гл.1 выпуска 2 настоящего пособия).
b
1
b−a ∫
Тогда найдется точка ξ∈[a, b] такая, что f (ξ ) = f ( x) dx . Отсюда и сле-
a

дует утверждение теоремы о среднем.


52
s. Для интегрируемой на отрезке [a, b] функции f (x) и точки с∈(a, b)
выполняется равенство:

b c b
∫ f ( x ) dx = ∫ f ( x ) dx + ∫ f ( x ) dx . (14)
a a c

Геометрическая интерпретация свойства 6 представлена на рис. 6, а дока-


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

y
y = f ( x) S = S1 + S2

c b
S1 = ∫ f ( x )dx S2 = ∫ f ( x )dx
a c

a x
c b
b
Рис. 6. К свойству 6: S = ∫ f ( x ) dx = S1 + S2.
a

До сих пор при записи определенного интеграла мы предполагали, что


его нижний предел a меньше верхнего предела b. Для того, чтобы снять этого
ограничение, положим по определению (!):
b a
∫ f ( x ) dx = − ∫ f ( x ) dx , (a > b), (15)
a b

а также
a
∫ f ( x) dx = 0 . (16)
a

Хотя математические определения и не принято обсуждать, тем не менее,


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

53
Желательно, в частности, чтобы при расширении некоторого понятия на более
широкий класс объектов были выполнены свойства, справедливые для более
узкого класса. К примеру, именно таким образом в элементарной математике
1
определили степень с отрицательным показателем: a − n = , ( n > 0) , хотя по-
an
нятно, что исходное определение степени a n = a ⋅ a ⋅ a ⋅… ⋅ a в данном случае не
n раз

работоспособно: пытаться умножить число a на само себя «минус три раза»


бессмысленно. Вместе с тем, при таком определении, оказались справедливыми
все свойства степеней с положительными показателями. Точно так же и опре-
деления (15) и (16) позволяют сохранить справедливость свойств 1, 2, 5, 6 оп-
ределенных интегралов вне зависимости от того, какой из пределов интегриро-
вания больше другого. В частности, само свойство (16) немедленно «следует»
из (15) при a = b. (В кавычках − потому, что определение (15) не предусматри-
вает возможности совпадения верхнего и нижнего пределов интегрирования).

2.2. Вычисление определенного интеграла.

После данных выше определений можно перейти к вопросу о том, как


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

Рассмотрим функцию f (t), непрерывную на отрезке [a, b]. Выберем на


интервале (a, b) произвольную точку x. Тогда на отрезке [a, x] существует оп-
ределенный интеграл от функции f (t). (Для того чтобы избежать путаницы с
обозначениями переменных, переменную интегрирования будем обозначать
через t, сохраняя обозначение x для верхнего предела интеграла). Этот инте-
грал, естественно, зависит не только от вида функции f (t), но и от переменной
x, т.е. представляет собой функцию переменной x − верхнего предела интегри-
рования:

54
x
Φ ( x ) = ∫ f (t )dt . (1)
a

Геометрически, в случае положительной функции f (t), величина Φ(x)


представляет собой площадь криволинейной трапеции, ограниченной графиком
функции, осью ОХ и прямыми t = a и t = b (рис. 7).

y y = f (t )

Φ( x) ΔΦ
t
a x x + Δx b

Рис. 7. К вычислению определенного интеграла.

Пусть теперь независимая переменная x получила приращение Δx . Тогда


имеем приращение функции Φ(x):
x +Δx x
ΔΦ = Φ ( x + Δx ) − Φ ( x ) = ∫ f (t )dt − ∫ f (t )dt .
a a
Используя свойства 6 и 5 определенных интегралов, получим
x +Δx
ΔΦ = ∫ f (t )dt = f (ξ ) ⋅ Δx, ξ ∈ [ x, x + Δx ] . (2)
x

(На рис. 7 приращение ΔΦ представляет собой площадь фигуры с вертикальной


штриховкой).

Теперь, окончательно, можно установить связь понятий неопределенного


и определенного интегралов. Эта связь основана на следующих двух теоремах:

55
Теорема 1. Пусть функция f (t) непрерывна на отрезке [a, b], а функция
Φ(x) определена на интервале (a, b) как определенный интеграл
x
Φ ( x ) = ∫ f (t )dt ,
a

тогда функция Φ(x) представляет собой первообразную функции f (x):


Φ′( x) = f ( x) . (3)

Доказательство теоремы немедленно вытекает из равенства (2). Дейст-


вительно, имеем
ΔΦ f (ξ ) ⋅ Δx
Φ ′( x ) = lim = lim = lim f (ξ ) = f ( x ) .
Δx →0 Δx Δx → 0 Δx Δx → 0

Следствие. Следствием из теоремы 1 является утверждение, сформули-


рованное без доказательства при изучении неопределенных интегралов: любая
непрерывная функция имеет первообразную. (Первообразная непрерывной
функции f (x) может быть получена по формуле (1)).

Теорема 2. (Формула Ньютона − Лейбница). Если функция F(t) яв-


ляется первообразной непрерывной функции f (x), то
b
∫ f ( x )dx = F (b) − F (a ) . (4)
a

Доказательство. По теореме 1 функция Φ(x), определенная по форму-


ле (1), также является первообразной для f (x). Следовательно, по теореме о
первообразных (см. главу 1) функции Φ(x) и f (x) отличаются на постоянную
величину:
Φ ( x ) − F ( x ) = C = const .
Имеем при x = a:
C = Φ (a ) − F (a ) = − F (a ) .
Тогда

56
Φ( x ) = C + F ( x) = F ( x ) − F (a ) .
Теперь при подстановке в последнее равенство значения x = b, получим
Φ ( b) = F ( b) − F ( a ) ,

что, по определению функции Φ(x), приводит к равенству (4).

Формула Ньютона − Лейбница позволяет вычислять определенные инте-


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

1
x6 1 1
5 1
ПРИМЕР 1. ∫ x dx = = −0 = . ƒ
6 0 6 6
0

−e −e
dx
ПРИМЕР 2. ∫ = ln | x | = ln | − e | − ln | −1 |= ln e − ln1 = 1 . ƒ
x − 1
−1

2 2
ПРИМЕР 3. Вычислить определенный интеграл ∫0 x e − x dx .

Здесь удобнее вначале найти первообразную (неопределенный интеграл):


1 − x2
( ) 1 − x2
2
−x 2
∫ x e dx = − 2∫
e d − x = −
2
e +C.

Тогда

1 − x2 2
∫0 x
2
e − x2
dx = −
2
e
0
1
2
( 1
2
) (
= − e −4 − 1 = 1 − e −4 . ƒ )
π
ПРИМЕР 4. Найти ∫−π sin nx sin mx dx , (m и n − целые).
Для случая n ≠ m имеем:
π 1 π
∫−π
sin nx sin mx dx = ( cos(n − m) x − cos(n + m) x ) dx =

2 −π
1 sin(n − m) x π 1 sin(n + m) x π
= − = 0.
2 n−m −π 2 n + m −π

57
При n = m интеграл вычисляется иначе:
π 1 π
∫ −π
sin 2 nx dx = (1 − cos 2 x ) dx =

2 −π
1 π 1 π 1
= x − sin 2 x = (π − (−π )) = π .
2 −π 4 −π 2
Таким образом,
π ⎧0, n≠m
∫−π sin nx sin mx dx = ⎨
⎩π , n=m

(Заметим, что если определить скалярное произведение двух функций f (x) и


g (x) на отрезке [ a, b] с помощью формулы
b
( f , g ) = ∫ f ( x) g ( x) dx ,
a

то полученный в примере результат свидетельствует об ортогональности


функций sin nx и sin mx на отрезке [ – π, π ] при n ≠ m). ƒ

Теорема 3. (Замена переменной в определенном интеграле).

Пусть f (x) − непрерывная на отрезке [a, b] функция, а функция x = ϕ (t)


непрерывно дифференцируема на отрезке [to , t1 ] и удовлетворяет на концах

этого отрезка условиям: ϕ (tо) = a, ϕ (t1) = b. Тогда справедлива формула


b t1
∫ f ( x) dx = ∫ f (ϕ (t ))ϕ ′(t )dt . (5)
a to

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

функции f (x), т.е. ∫ f ( x ) dx = F ( x ) + C . Тогда, по формуле для замены пере-

менной в неопределенном интеграле, ∫ f (ϕ (t ))ϕ ′(t )dt = F (ϕ (t ))+ C . Теперь,

используя формулу Ньютона − Лейбница, получаем требуемое утверждение:

58
t1 t1
∫ f (ϕ (t ))ϕ ′(t )dt = F (ϕ (t ))
to
= F (ϕ (t1 )) − F (ϕ (to )) =
ro
b
= F (b) − F (a) = ∫ f ( x) dx.
a

11
ПРИМЕР 5. Найти определенный интеграл ∫x x − 2 dx .
3
Для устранения иррациональности в интеграле удобно выполнить замену

переменной x − 2 = t . Тогда по формуле (5) получаем

x = 2 + t2,
11 3
dx = 2t dt.
∫ x x − 2 dx = = ∫ (2 + t 2 )t ⋅ 2t dt =
3 x = 3⇒ t =1 1
x = 11 ⇒ t = 3
3
4 3 2 3
= ∫ (4t 2 + 2t 4 ) dt = t 3 + t 5 =
1
3 1 5 1
4 2 1972
= (33 − 1) + (35 − 1) = .ƒ
3 5 15

Замечание. Отметим, что при всей схожести применения формул заме-


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

a
ПРИМЕР 6. Вычислить определенный интеграл ∫ a 2 − x 2 dx.
0
Здесь для вычисления интеграла удобно выполнить тригонометрическую
подстановку, которая позволяет избавиться от иррациональности:

59
x = a sin t ,
a π /2
2 2 dx = a cos t dt.
∫ a − x dx == = ∫ a 2 − a 2 sin 2 t ⋅ a cos t dt =
x=0⇒t =0
0 0
x = a ⇒t =π /2
π /2 π /2
2 2 2 1 + cos 2t a 2 ⎛⎜ π / 2 sin 2t π / 2 ⎞⎟ π a 2
=a ∫ cos t dt = a ∫ 2 dt = 2 ⎜ t 0 + 2 0 ⎟ = 4 . ƒ
0 0 ⎝ ⎠

Сформулируем еще один прием вычисления определенных интегралов,


аналогичный уже рассмотренному в главе 1 для неопределенных интегралов.

Теорема 4. (Интегрирование по частям в определенном интеграле).


Пусть функции u(x) и v(x) − непрерывны и имеют непрерывные произ-
водные. Тогда
b b b
∫ u d v = ( uv ) a − ∫ v du . (6)
a a

Доказательство. Проинтегрируем обе части равенства ( u v )′ = u′v + uv′

по переменной x в пределах от a до b:

b b b
∫ ( uv )′dx = ∫ u′v dx + ∫ uv′ dx .
a a a

Интеграл в левой части может быть найден по формуле Ньютона−Лейбница, а


правая часть преобразована с учетом равенств du = u′dx, d v = v′dx :

b b b
(uv ) = ∫ v du + ∫ u d v .
a a a

Отсюда и получаем формулу (6).

60
1
ПРИМЕР 7. Вычислить интеграл ∫ 0 arcsin x dx .
Воспользуемся формулой интегрирования по частям:
1 1 1 1
xdx
∫ arcsin xdx = x arcsin x 0 − ∫ xd arcsin x = 1⋅ arcsin1 − ∫ 2
=
0 u dv 0v du 0 1− x
1 1 π
π 1 d (1 − x 2 ) π 2 π
= + ∫ = + 1− x = + (0 − 1) = − 1. ƒ
2 2 2 2 0 2 2
0 1− x

e
ПРИМЕР 8. Вычислить ∫1 ( x + 3) ln x dx .
Здесь предварительно нужно внести множитель (x + 3) под знак диффе-
ренциала и только затем интегрировать по частям:

e e ⎛ x2 ⎞ ⎛ x2 ⎞ e e ⎛ x2 ⎞
∫ ( x + 3) ln xdx = ∫ ln xd ⎜
⎜ 2
+ 3 x =
⎟ ⎜
⎟ ⎜ 2
+ 3 x ⎟

ln x − ∫
1 1⎝

⎜ 2
+ 3 x ⎟d ln x =

1 1 u ⎝ ⎠ ⎝ ⎠ ⎠ du
dv v
e
⎛ e2 ⎞ ⎛x ⎞ e2 x2 e e
= ⎜ + 3e ⎟ ln e − ∫ ⎜ + 3 ⎟dx = + 3e − − 3x =
⎜ 2 ⎟ ⎝ 2 ⎠ 2 4 1 1
⎝ ⎠ 1
e2 e2 1 e2 + 13
= + 3e − + − 3e + 3 = .ƒ
2 4 4 4

2.3. Геометрические приложения определенного интеграла.

Ранее мы уже отмечали геометрический смысл определенного интеграла


от непрерывной положительной функции как площади криволинейной трапе-
ции, расположенной под графиком этой функции. Уже одно это свойство дела-
ет оправданным подробное изучение определенных интегралов. Вспомним, как
в очень древние времена Архимед (Archimedes; около 287− 212 до н.э.) путем
сложных и громоздких вычислений находил площадь параболического сегмен-
та. Сейчас такая задача доступна среднему ученику средней школы, изучивше-

61
му основы интегрального исчисления. Понятно, однако, что сфера применения
определенных интегралов не ограничивается только задачей нахождения пло-
щадей: как мы увидим дальше, с их помощью можно находить другие важные
характеристики геометрических фигур (длины дуг, поверхности и объемы тел
вращения, и т.д.), а также решать различные механические и физические зада-
чи. Таким образом, в каком-то смысле, определенный интеграл представляет
собой универсальный математический аппарат, связывающий математику с ре-
альной жизнью.

1. Вычисление площадей в декартовых координатах.

Напомним, что для нахождения площади криволинейной трапеции, огра-


ниченной сверху графиком неотрицательной функции y = f (x), снизу − осью
ОХ, слева − прямой y = a и справа − прямой y = b (рис. 8а), необходимо про-
сто вычислить соответствующий определенный интеграл:
b
S = ∫ f ( x ) dx, f ( x) ≥ 0 . (1a)
a

Если функция y = f (x) на отрезке [a, b] отрицательна, то площадь криво-


линейной трапеции равна соответствующему интегралу, взятому с противопо-
ложным знаком (рис. 8б):
b
S = − ∫ f ( x ) dx, f ( x) ≤ 0 . (1б)
a

Наконец, для функции y = f (x), которая на отрезке [a, b] может менять


свой знак, для нахождения площади нужно вычислить определенный интеграл
от абсолютной величины функции f (x) (рис. 8в):
b
S = ∫ f ( x ) dx . (1в)
a

62
(Отметим, впрочем, что в последнем случае, обычно бывает удобней раз-
бить отрезок интегрирования на интервалы, где функция сохраняет свой знак, а
после этого вычислить получившиеся площади по формулам (1а) и (1б)).

y
а) y = f ( x ), f ( x) > 0
b
S = ∫ f ( x )dx
a

x
a b

y
y = f ( x ), f ( x) < 0
б) b
S = − ∫ f ( x )dx
a b x a

y
в) y = f ( x)
b
S = ∫ f ( x ) dx
a
a x
b

Рис. 8. Вычисление площади криволинейной трапеции


в декартовых координатах: a)случай f (x) > 0;
б)случай f (x) < 0; в)общий случай.

63
Полученные для вычисления площадей криволинейных трапеций форму-
лы могут быть обобщены на случай фигур, которые ограниченны сверху и сни-
зу кривыми, задаваемыми на отрезке [a, b] уравнениями y = f (x) и y = g(x),
где f (x) ≥ g(x) (рис. 9). Действительно, площадь такой фигуры можно получить
как разность площадей двух криволинейных трапеций рассмотренного ранее
вида. Первая из таких трапеций ограничена сверху кривой y = f (x), а снизу −
осью OX. Вторая трапеция ограничена кривой y = g (x) и осью OX. Справа и
слева обе трапеции ограничены прямыми x = a и x = b. Тогда по формуле (1а)
получаем

b b b
S = ∫ f ( x ) dx − ∫ g ( x ) dx = ∫
a a a
( f ( x ) − g ( x ) ) dx . (2а)

y = f ( x)
y
b
S = ∫ ( f ( x ) − g ( x )) dx,
a
f ( x ) ≥ g ( x ), x ∈ [ a , b]
y = g ( x)
x
a b

Рис. 9. Вычисление площади криволинейной трапеции,


ограниченной кривыми y = f (x) и y = g(x).

Замечание. На рис. 9 изображен случай положительных на [a, b] функ-


ций f (x) и g(x), однако формула (2) сохраняет справедливость и для функций
произвольного знака, лишь бы неравенство f (x) ≥ g(x) выполнялось для всех
x∈[a, b]. Если же такое неравенство не выполнено, то для нахождения площади
фигуры, ограниченной кривыми y = f (x), y = g(x) и прямыми x = a и x = b,
нужно пользоваться обобщенной формулой:
b
S=∫ f ( x ) − g ( x ) dx . (2б)
a

64
ПРИМЕР 1 (Задача Архимеда). Найти площадь параболического сег-

мента, ограниченного параболой y = a 2 − x 2 и осью OX (рис. 10).

y
y
2
a

−a a x

x
1/2 2

Рис. 10. Параболический Рис. 11. Гиперболический


сегмент. сегмент.

Абсциссы точек пересечения параболы с осью OX находятся из уравне-


ния

a2 − x2 = 0 ⇒ x = ±a .

На отрезке [−a, a] функция y = a 2 − x 2 неотрицательна. Тогда по формуле (1а)


получаем искомую площадь:
a
( )
a 1 a
S= ∫ a 2 − x 2 dx = a 2 x − x3 =
−a 3 −a
−a
1 2a 3 4a 3
= a 2 (a − (− a)) − (a3 − (− a)3 ) = 2a3 − = .
3 3 3
Заметим, что в этом примере боковые границы криволинейной трапеции, опре-
деляемые уравнениями x = ± a, вырождаются в две точки. ƒ

5
ПРИМЕР 2. Найти площадь сегмента, который прямая y = − x отсека-
2
1
ет от гиперболы y = (рис. 11).
x

65
Для определения левой и правой границ сегмента (играющих роль преде-
лов интегрирования) имеем уравнение:

1 5 1
= − x ⇒ x1 = , x2 = 2 .
x 2 2

На интервале x∈(0,5; 2) прямая расположена выше гиперболы, поэтому по


формуле (2а) получаем искомую площадь сегмента:

2
2 ⎛5 1⎞ 5 2 x2 2
S = ∫ ⎜ − x − ⎟ dx = x 0,5 − − ln | x | 0,5 =
0,5 ⎝ 2 x⎠ 2 2
0,5

⎛ 5⎞ ⎛ 1⎞ 15
= ⎜ 5 − ⎟ − ⎜ 2 − ⎟ − ( ln 2 − ln 0,5 ) = − 2 ln 2. ƒ
⎝ 4⎠ ⎝ 8⎠ 8

ПРИМЕР 3. Найти площадь фигуры, ограниченной графиком функции


y = cos x , осью OX и прямыми x = 0, x = 3π / 2 .

На этом примере удобно показать характерные ошибки, возникающие


при решении подобных задач. Приведем вначале

Неверное решение. Воспользуемся формулой (1а) для площади фигу-


ры:
3π / 2 3π / 2
S= ∫ cos x dx = sin x = sin 3π / 2 − sin 0 = −1 . (???)
0
0

Часто после этого, спохватившись, что площадь фигуры не может быть отрица-
тельной, результат "слегка" подправляют, и пишут: S = 1. Здесь ошибка воз-
никла из-за того, что не было проверено условие f (x) > 0, при котором спра-
ведлива формула (1а). На самом деле, это условие не выполнено!

Правильное решение. Изобразим график функции y = cos x (рис. 12).



Очевидно, что на отрезке [0, ] имеется область, где этот график выше оси
2

66
⎛ π⎞ ⎛ π 3π ⎞
OX (а именно, на интервале ⎜ 0, ⎟ ). В то же время, на интервале ⎜ , ⎟
⎝ 2⎠ ⎝2 2 ⎠
график функции y = cos x расположен ниже оси OX. Поэтому для вычисления

площади искомую фигуру следует разбить на две части: S = S1 + S2. Для пер-

⎛ π⎞
вой части, расположенной над интервалом ⎜ 0, ⎟ , функция f (x) положитель-
⎝ 2⎠
на, и справедлива формула (1а):

π /2 π /2
S1 = ∫ cos x dx = sin x 0 = sin π / 2 − sin 0 = 1 .
0

O S1 π /2 3π /2 x
S2

Рис. 12. К примеру 3.

⎛ π 3π ⎞
Для второй части фигуры, расположенной над интервалом ⎜ , ⎟ , функция
⎝2 2 ⎠
f (x) отрицательна, и для нахождения ее площади должна быть использована
формула (1б):

3π / 2 3π / 2
S2 = − ∫ cos x dx = − sin x = − sin(3π / 2) + sin(π / 2) = 2 .
π /2
π /2

Окончательно, получаем площадь искомой фигуры: S = S1 + S2 = 3. ƒ

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


приложениях определенных интегралов играет предварительный анализ задачи
и построение необходимых графиков. Иначе, даже вполне правильные (для оп-
ределенных условий) формулы могут привести к неверным результатам.
67
1. Вычисление площади в случае параметрического
задания кривой.

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


задана в параметрической форме:
⎧ x = ϕ (t ),

⎩ y = ψ (t ), t ∈ [to , t1 ].
Для нахождения площади фигуры в этом случае проведем замену пере-
менной в интеграле из формулы (1в):
b t1
S = ∫ y dx = ∫ ψ (t ) dϕ (t ) , где a = ϕ (to ), b = ϕ (t1 ) .
a to

Или, окончательно,
t1
S = ∫ ψ (t ) ⋅ ϕ ′(t ) dt . (3)
to

ПРИМЕР 4. Вычислить площадь фигуры, ограниченной эллипсом с полу-


осями a и b.

Запишем, вначале, уравнение эллипса в каноническом виде:

x2 y2
+ 2 = 1.
2
a b
Использование формул площади фигуры в декартовых координатах в
данном случае привело бы к необходимости вычисления достаточно громозд-
ких интегралов. Перепишем уравнение эллипса в параметрической форме:

⎧ x = a cos t ,
⎨ где t ∈ [0,2π ] .
⎩ y = b sin t ,

Принимая во внимание осевую симметрию эллипса, ограничимся вычислением


четверти площади, расположенной в первом квадранте. Верхняя граница этой
области отвечает значениям параметра t ∈ [0, π / 2] (рис. 13).

68
y
t = π /2

S/4
O t=0 x

Рис. 13. К вычислению площади эллипса.

Тогда

S π /2 π /2
= ∫ b sin t d ( a cos t ) = ab ∫ sin 2 t dt =
4 0 0
ab π / 2 ab ⎛ π / 2 1 π / 2 ⎞ π ab
= ∫ (1 − cos 2t ) dt = ⎜ t − sin 2t ⎟= .
2 0 2 ⎝ 0 2 0 ⎠ 4

В результате можно найти площадь всего эллипса: S = π ab . ƒ

3. Вычисление площадей в полярных координатах.

Многие интересные кривые на плоскости (скажем, различного рода спи-


рали) удобно описывать не декартовыми, а полярными координатами. Уравне-
ние кривой в полярных координатах представляет собой функциональную за-
висимость между текущим значением полярного угла ϕ точки на плоскости и ее
полярным радиусом r (рис. 14).
Попробуем найти площадь S криволинейного треугольника, ограничен-
ного кривой r = r (ϕ ) и двумя лучами: ϕ = α и ϕ = β. Естественно предполо-
жить, что для решения такой задачи можно будет воспользоваться изложенным
ранее аппаратом определенных интегралов.

69
ri +Δri
r r = r (ϕ ) ΔS i
β ri
ϕ линия
O α Δϕ i отреза

Рис.14 Криволинейный треугольник Рис.15. К выводу


в полярных координатах. формулы(5).

Вначале нам придется в общих чертах повторить процедуру построения


интегральных сумм, которая лежала в основе понятия определенного интегра-
ла. Роль отрезка [a, b], на котором в декартовых координатах была определена
функция f (x), в полярной системе координат играет интервал изменения углов
[α, β], на котором определена функция r(ϕ). Разобьем интервал [α, β] на n "ма-
леньких" углов Δϕ i , сумма которых дает весь диапазон изменения полярного
угла для рассматриваемой фигуры:
n
∑ Δϕ i = β − α .
i =1

Рассмотрим часть фигуры, расположенную внутри угла Δϕ i (рис. 15). В

получившемся элементарном "криволинейном" треугольнике с углом Δϕ i одна

из сторон равна ri, а другая ri +Δri . Третья сторона этого треугольника − "кри-
вая", она описывается уравнением r = r (ϕ ) . Превратим этот криволинейный
треугольник в настоящий, отрезав "лишнюю" криволинейную часть как это по-
казано на рис. 15. Поскольку угол Δϕ i мал (а точнее говоря, будет стремится к
нулю в ходе предельного перехода), то и площадь исходного криволинейного
треугольника ΔSi мало отличается от площади равнобедренного треугольника:
1
ΔSi ≈ ri2 sin Δϕ i .
2
В свою очередь, для малых углов справедливо условие sin Δϕ i ≈ Δϕ i , поэтому

70
1
ΔSi ≈ ri2 Δϕ i .
2
Площадь интересующей нас фигуры может быть найдена как сумма площадей
всех элементарных треугольников:
n 1 n 2
S = ∑ ΔSi ≈ ∑ ri Δϕ i . (4)
i =1 2 i =1
Выражение (4) представляет собой интегральную сумму функции r = r (ϕ ) на

отрезке ϕ ∈[α, β]. Теперь осталось совершить предельный переход: устремить к


бесконечности число n, одновременно устремив к нулю максимальный из углов
Δϕ i . Для непрерывной функции r = r (ϕ ) в результате такого предельного пе-
рехода интегральная сумма (4) даст определенный интеграл:
β
1 n 2 1
lim ∑ ri Δϕi = ∫ r 2dϕ .
max Δϕ i →0 2 i =1 2α
i

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


лярных координатах кривой r = r (ϕ ) и лучами ϕ = α и ϕ = β:
β
1
S = ∫ r 2dϕ . (5)

Замечание. Проведенная здесь процедура, имеет чрезвычайно важное


значение в различных геометрических и физических приложениях определен-
ного интеграла, и будет дальше применяться в еще более схематичном виде.
Суть процедуры состоит в том, что на первом ее этапе "малый" криволинейный
объект заменяется на прямолинейный. Понятие "малости" при этом не носит
универсального характера − оно относительно. Так, несмотря на криволиней-
ность поверхности Земли, никому не придет в голову учитывать ее при строи-
тельстве дома: его характерный размер много меньше земного радиуса. На вто-
ром, заключительном этапе процедуры сумма большого числа "малых" слагае-
мых (интегральная сумма) заменяется определенным интегралом.

71
ПРИМЕР 5. Найти площадь фигуры, ограниченной кардиоидой
r = a (1 − cos ϕ ) , (рис. 16).

2a O r

Рис.16. Кардиоида.

В силу четности функции r = a (1 − cos ϕ ) фигура обладает симметрией


относительно горизонтальной оси. Достаточно найти площадь ее верхней поло-
вины, отвечающей диапазону изменения полярного угла 0 ≤ ϕ ≤ π:

S 1π 2 a2 π 2 a2 π
= ∫ r dϕ = ∫ (1 − cos ϕ ) dϕ = ∫ (1 − 2 cos ϕ + cos 2 ϕ ) dϕ =
2 20 2 0 2 0

a2 ⎛ π π 1π ⎞
= ⎜ ϕ − 2sin ϕ + ∫ (1 + cos 2ϕ ) dϕ ⎟ =
2 ⎜ 0 0 20 ⎟
⎝ ⎠
a2 ⎛ 1 π 1 π ⎞ 3π a 2
= ⎜ π + ϕ + sin 2ϕ ⎟ = .
2 ⎝ 2 0 4 0⎠ 4

3π a 2
Таким образом, искомая площадь S = . (Заметим, что площадь фи-
2
гуры, ограниченной кардиоидой, оказалась в 1,5 раза больше площади круга
радиуса a). ƒ

4. Длина дуги кривой в декартовых координатах.

Решим задачу о нахождении длины L плоской кривой, описываемой


уравнением y = f (x), между точками с абсциссами x = a и x = b (рис. 17). Бу-

72
дем считать, что функция y = f (x) непрерывна и имеет непрерывную производ-
ную на отрезке [a, b].

Примéним уже знакомую нам процедуру разбиения отрезка [a, b] на мел-

кие отрезки Δxi. Обозначим через ΔAi длину элементарной дуги кривой y = f (x),

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

ΔA i ≈ ( Δxi )2 + ( Δyi )2 ,

где Δyi − приращение функции f (x) на отрезке Δxi. Из определения производ-

Δyi
ной y' = lim следует, что для малых Δxi справедливо приближенное ра-
Δxi →0 Δxi

венство
Δyi
≈ y' ( xi ) ,
Δxi

где точка xi − некоторая точка интервала Δxi (например, его левая граница).

y
y = f ( x)
ΔAi
Δyi

x
a Δxi b
Рис.17. К выводу формулы длины дуги кривой.

Тогда
2
⎛ Δy ⎞ 2
ΔA i ≈ 1 + ⎜ i ⎟ ⋅ Δxi ≈ 1 + ( y'i ) ⋅ Δxi .
⎝ Δxi ⎠
73
Длина всей кривой может быть получена суммированием длин всех элементар-

ных дуг ΔAi : L = ∑ ΔA i . Осуществляя в полученной интегральный сумме пре-


i

дельный переход max Δ xi → 0 , получим окончательную формулу для длины


i
дуги кривой:
b
2
L = ∫ 1 + ( y' ) dx . (6)
a

Замечание. Формула (6) справедлива только для кривых, задаваемых


дифференцируемыми функциями. В частности, если у кривой имеются точки с
вертикальными касательными (там y ′ = ∞ ), то для вычисления ее длины можно
либо использовать формулу (6), рассматривая соответствующий интеграл как
несобственный (о них будет идти речь в главе 5), либо записав уравнение кри-
вой в параметрической форме, для которой требование существования произ-
водной f′ (x) не обязательно.

ПРИМЕР 6. Найти длину дуги астроиды x 2 / 3 + y 2 / 3 = a 2 / 3 (рис. 18).

y
a

x
a

Рис.18. Астроида.

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

74
2 −1/ 3 2 −1/ 3 y1/ 3
x + y y' = 0 ⇒ y' = − 1/ 3 .
3 3 x
Астроида имеет две оси симметрии. Найдем по формуле (6) длину ее четвертой
части, лежащей в первом квадранте:
2
L a 2
a ⎛ y1/ 3 ⎞ a
x2 / 3 + y 2 / 3
= ∫ 1 + ( y' ) dx = ∫ 1 + ⎜ − dx = ∫ dx =
4 0 ⎜ x1/ 3 ⎟⎟ x 2/3
0 ⎝ ⎠ 0
a a
a2 / 3 1/ 3 −1/ 3 3 a 3
=∫ dx = a ∫x dx = a1/ 3 x 2 / 3 = a.
0 x2 / 3 0
2 0 2

Тогда длина всей астроиды L = 6a. ƒ

5. Длина дуги кривой в полярных координатах.

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


координатах уравнением r = r (ϕ ) между точками с полярными углами ϕ = α и

ϕ = β. Следуя стандартной процедуре, разобьем интервал углов [α, β] на малые

углы Δϕi (рис. 19). Каждую элементарную дугу ΔAi заменим отрезком прямой,

длину которого вычислим по теореме косинусов:

ΔA 2i ≈ ri2 + ( ri + Δri )2 − 2ri ( ri + Δri ) cos Δϕ i .

Δ Ai
ri +Δri

Δϕ i
ri

Рис. 19. К выводу формулы (7).

75
x2
Воспользовавшись известным разложением cos x ≈ 1 − , справедливым для
2
малых значений аргумента, получим
⎛ ( Δϕ i ) 2 ⎞
ΔA 2i ≈ ri2 2
+ ( ri + Δri ) − 2ri ( ri + Δri ) ⎜ 1 − ⎟⎟ .
⎜ 2
⎝ ⎠
Отсюда после упрощения и отбрасывания членов более высокого порядка ма-

лости по сравнению с (Δri )2 и (Δϕi ) 2 имеем

( )
ΔA 2i ≈ ( Δri )2 + ri2 ( Δϕ i )2 ≈ ri2 + ( r'i )2 ( Δϕi )2 .

Длина искомой дуги кривой получается при суммировании длин всех элемен-
тарных дуг:

L = ∑ ΔA i ≈ ri2 + ( r'i )2 ⋅ Δϕi .


i

После уже описанного предельного перехода в интегральной сумме приходим к


окончательной формуле для длины дуги, заданной в полярных координатах:
β
2 2
L= ∫ r + ( r' ) dϕ . (7)
α

ПРИМЕР 7. Найти длину кардиоиды r = a (1 − cos ϕ ) , (рис. 16).


Имеем
ϕ
r 2 + ( r' )2 = a 2(1 − cos ϕ )2 + a 2sin 2 ϕ = a 2(2 − 2cos ϕ ) = 4a 2sin 2 .
2
Длину верхней половины кардиоиды найдем по формуле (7):

L π 2 2
π
ϕ ϕπ
= ∫ r + ( r' ) dϕ = 2a ∫ sin dϕ = −4a cos = − 4a (0 − 1) = 4a .
2 0 0
2 2 0

Тогда, окончательно, получаем длину целой кардиоиды: L = 8a. (Доста-


точно странный на первый взгляд результат: кривая "более сложная", чем ок-
ружность, не содержит числа π в выражении для своей длины!). ƒ

76
6. Длина дуги кривой, заданной параметрически.

Пусть плоская кривая описывается в декартовых координатах параметри-


ческими уравнениями

⎧ x = x(t ),
⎨ (8)
⎩ y = y (t ).
Найдем длину дуги этой кривой между точками, соответствующими зна-

чениям параметра t = t1 и t = t2, считая функции x (t) и y (t) дифференцируемы-

ми на отрезке [t1, t2]. Воспользуемся уже полученным выражением для длины

элементарной дуги в декартовых координатах, лежащей над отрезком Δxi:

2 2
2 ⎛ Δx ⎞ ⎛ Δy ⎞
2
ΔA i ≈ (Δxi ) + (Δyi ) = ⎜ i ⎟ + ⎜ i ⎟ Δti .
⎝ Δti ⎠ ⎝ Δti ⎠

При малых Δti справедливы равенства


Δxi Δyi
≈ x′(ti ), ≈ y ′(ti ) .
Δti Δti
Тогда, суммируя длины всех элементарных дуг, в пределе при
max Δti → 0 получим искомую длину всей дуги:
i

L= lim ∑ ΔA i .
max Δti →0 i
i

Отсюда приходим к выражению для длины дуги кривой, заданной параметри-


чески:
t2
2 2
L= ∫ ( x't ) + ( y't ) dt . (9)
t1

Замечание. Формула (9) справедлива и для кривых, имеющих точки,


где x′(t ) = 0 . В этих точках, как уже было отмечено, производная функции (8)

77
y′
y ′x = t обращается в бесконечность, касательная к кривой на плоскости OXY
xt′
оказывается вертикальной, и формула (6), вообще говоря, оказывается нерабо-
тоспособной.

ПРИМЕР 8. Найти длину эвольвенты (развертки) окружности (рис. 20):


⎧ x = a (cos t + t sin t ),
⎨ t ∈ [0,2π ] .
⎩ y = a(sin t − t cos t ),
(Такую кривую описывает конец нити, разматывающейся с окружности радиу-
са a.)

x
a

Рис.20. Развертка окружности.

Получим вначале выражения для производных x't и y't :

⎧ x't = a (− sin t + sin t + t cos t ) = at cos t ,



⎩ y't = a (cos t − cos t + t sin t ) = at sin t.

Теперь по формуле (9) может быть найдена искомая длина кривой:

2π 2π
2 2 2 2
L= ∫ ( x't ) + ( y't ) dt = a ∫ ( t cos t ) + ( t sin t ) dt =
0 0
2π 2π
2 2 1 2 2π
=a ∫ t cos t + sin t dt = a ∫ t dt = at = 2aπ 2 . ƒ
0 0
2 0

78
7. Объем тел вращения.

Здесь мы познакомимся с еще одним геометрическим приложением опре-


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

Вращение вокруг оси OX. В задаче этого типа криволинейная трапе-


ция, ограниченная графиком функции y = f (x), осью ОХ и прямыми y = a и y
= b, вращается вокруг оси OX (т.е. вокруг стороны трапеции, перпендикуляр-
ной ее основаниям). Исходная трапеция при этом представляет собой половину
сечения тела вращения плоскостью OXY (рис.21).

y = f ( x)
y

O x
a b

Рис.21. Тело вращения вокруг оси OX.

Выведем формулу объема получающегося тела вращения, проведя стан-


дартную процедуру его разбиения на малые элементы. Рассмотрим элементар-

ную трапецию, расположенную над отрезком Δxi оси OX. При вращении этой

фигуры вокруг оси OX возникает тело (слой) толщины Δxi. Как и ранее, прове-
дем спрямление полученного тела, отрезав его криволинейный край. Это соот-
ветствует тому, что вместо элементарной криволинейной трапеции, вращению

подвергается прямоугольник с основанием Δxi и высотой yi (рис. 22).

79
y

yi
x
Δxi

Рис.22. К выводу формулы (10).

В результате получается цилиндр с высотой Δxi и радиусом основания yi.

При малой величине Δxi объем элементарного слоя приблизительно равен объ-
ему этого цилиндра:

ΔVi ≈ π yi2 Δxi .


Объем всего тела вращения получается при сложении объемов всех элементар-
ных слоев:

Vx = ∑ ΔVi ≈ ∑ π yi2 Δxi .


i i

Осуществляя в полученной интегральной сумме предельный переход (при

Δxi → 0, n → ∞), найдем объем тела вращения вокруг оси OX.


b
Vx = π ∫ y 2 dx , где y = f ( x ) . (10)
a

ПРИМЕР 9. Найти объем шара радиуса R.


Будем считать, что шар образован вращением полукруга радиуса R с цен-
тром в начале координат вокруг оси OX (рис. 23).
Запишем уравнение верхней границы полукруга:

y = R2 − x2 .

80
y
y = R2 − x2

−R R x

y = − R2 − x2

Рис.23. К выводу формулы объема шара.

Тогда формула (10) приводит к хорошо известному выражению для объе-


ма шара:
R R
Vx = π ∫
−R
2
y dx = π ∫
−R
( )
R 2 − x 2 dx = π R 2 x
R 1
− π x3
−R 3
R
−R
=

1 2 4
= π R 2 ( R + R ) − π ( R3 + R3 ) = 2π R3 − π R3 = π R3 . ƒ
3 3 3

Вращение вокруг оси OY. В задаче этого типа рассмотренная ранее


криволинейная трапеция вращается вокруг оси OY, т.е. вокруг прямой, парал-
лельной основаниям трапеции). Тело вращения имеет кольцевидную форму, а
исходная трапеция, по-прежнему, представляет собой половину сечения тела
плоскостью OXY (рис.24).

a) y y = f ( x) б)

yi
x

a Δxi b 2πxi
Δxi
Рис.24. Тело вращения вокруг оси OY.

81
Выделим элементарную трапецию, расположенную над отрезком Δxi оси

OX. При ее вращении вокруг оси OY возникает кольцо радиуса xi с криволи-


нейным верхним краем. Разрежем его по плоскости OXY и выпрямим. Пренеб-
регая возникающими незначительными деформациями, получим в результате
пластину (рис. 24 б). Заменим эту пластину прямоугольным параллелепипедом
(для этого у нее просто отрежем верхний криволинейный край), длина которого

равна 2πxi (длина окружности радиуса xi), ширина Δxi и высота yi = f ( xi ) . При

малой величине Δxi объем исходного элементарного кольца приблизительно


равен объему полученного параллелепипеда:

ΔVi ≈ 2π xi yi Δxi .
Объем тела вращения равен сумме объемов всех элементарных колец:
V y = ∑ ΔVi ≈ 2π ∑ xi yi Δxi .
i i

После уже не раз проводившегося предельного перехода (Δxi → 0, n → ∞) инте-


гральная сумма превратится в определенный интеграл. В результате получим
объем тела вращения вокруг оси OY:

b
V y = 2π ∫ x y dx , где y = f ( x ) . (11)
a

ПРИМЕР 10. Найти объем тора, образованного вращением круга радиуса


R с центром, который удален от оси вращения на расстояние r, где r > R
(рис.25).
Примем ось OY в качестве оси вращения окружности с центром, распо-
ложенном в точке (r, 0) на оси OX, и радиусом R. Уравнение такой окружности
имеет вид

( x − r )2 + y 2 = R 2 .

82
y
r

R x

Рис.25. Тор как тело вращения.

В силу симметрии достаточно рассмотреть вращение только верхней по-


ловины круга, граница которого состоит из полуокружности

y = R 2 − ( x − r )2 .

и отрезка [r − R, r + R ] оси OX. Объем полученного тела вращения даст поло-


вину объема тора.
По формуле (11) получаем
r+ R r+R
1
V y = 2π ∫ x ydx = 2π ∫ x R 2 − ( x − r )2 dx .
2 r−R r−R
Для вычисления интеграла выполним в нем замену переменной:

x = r + R sin t ,
r+R dx = R cos tdt ,
∫ x R 2 − ( x − r )2 dx = =
r−R
x = r − R ⇒ t = −π / 2,
x = r + R ⇒t =π /2
π /2
2 2
=R ∫ (r + R sin t ) 1 − sin t cos t dt =
−π / 2

83
π /2
= R2 2
∫ (r + R sin t ) cos t dt =
−π / 2
π /2 π /2
2 2 3 2
=R r ∫ cos t dt + R ∫ sin t cos t dt = I1 + I 2 .
−π / 2 −π / 2
Найдем первый из полученных интегралов, учитывая четность подынтеграль-
ной функции:
π /2 π /2 π /2
2 2 2 2 2
I1 = R r ∫ cos t dt =2 R r ∫ cos t dt =R r ∫ (1 + cos 2t ) dt =
−π / 2 0 0
⎛ π /2 1 π / 2⎞ 1 2
= R 2 r ⎜⎜ t + sin 2t ⎟⎟ = π R r.
⎝ 0 2 0 ⎠ 2
Второй из интегралов I2 обращается в нуль в силу нечетности подынте-

гральной функции на отрезке интегрирования [ −π / 2, π / 2] .

Теперь получаем окончательное выражение для объема тора:

V y = 4π ( I1 + I 2 ) = 2π 2 R 2 r . ƒ

84
Теоретические вопросы к главе 2.

1. Как связаны понятия неопределенного и определенного интеграла?


2. Каков геометрический смысл определенного интеграла?

3. Проверить выполнение теоремы о среднем для функции f ( x) = x 2 на


отрезке [1, 2].
π /2
2
4. Доказать неравенство ∫ sin( x )dx ≤ 1 .
0
−2
5. Найти любую функцию f (x), удовлетворяющую условиям ∫ f ( x)dx = 5 ,
−3

f (–3) = –1.

6. Существует ли непрерывная функция, удовлетворяющая условиям:


1
∫ f ( x)dx = 1 , f (0) = 100, f (1) =100?
0
2
7. Найти любую функцию f (x), удовлетворяющую условиям ∫ f ( x)dx = 4 ,
0

f ' (0) = 1 .
x
8. Построить график функции y ( x) = ∫ | t | dt .
−2
b b b
9. Справедливо ли тождество ∫ f ( x) ⋅ g ( x) dx = ∫ f ( x)dx ⋅ ∫ g ( x) dx ?
a a a

10. Существуют ли функции f (x) и g (x) для которых выполнено равенство


1 1 1
∫ f ( x) ⋅ g ( x) dx = ∫ f ( x)dx ⋅ ∫ g ( x) dx ?
0 0 0
2
∫ 3 sin ( x ) dx .
3
11. Найти интеграл
−2

85
1
3
12. Можно ли найти по формуле S = ∫ ( x − x) dx площадь фигуры, ограни-
−1

ченной кривой y = x3 − x и осью OX ?


13. Вывести формулу объема тела вращения вокруг прямой x = a.
14. Вывести формулу объема тела вращения вокруг прямой y = b .
15. Вывести формулу для объема тела, образованного при вращении вокруг
полярной оси фигуры, границы которой задаются в полярных координа-
тах уравнениями r = r (ϕ ), ϕ = α , ϕ = β :

2π β 3
V= ∫ r sin ϕ dϕ .
3 α

Задачи к главе 2.

Найти интегралы:
3 1
1. (0
∫ )
x 2 + 3x − 4 dx . 2. ∫ ( x + 4 x − x x − 4 )dx .
−1
3 5

2 4
dx dx
3. ∫ 2
. 4. ∫ .
−1 x + 4x + 5 0 6x − x 2

π /4 1
2 e x dx
5. ∫ sin ϕ dϕ . 6. ∫ 2x
.
0 0e +4

Найти интегралы, выполнив замену переменных:


9 28 3
dx x −1
7. ∫ , x = t2 . 8. ∫ dx, x − 1 = t 3 .
05+ x 1 8 − 23 x − 1
ln 3 π /2
3 2x 2x 3 dx x
9. ∫ e − 1 dx, e − 1 = z . 10. ∫ 5 − 2sin x , tg 2 = t .
0 0

86
2 8
dx 2
11. ∫ . 12. ∫ 8 x − x dx .
1 x 3x 2 + 2 x − 1 0

Найти интегралы, используя формулу интегрирования по частям:


e2 π /6
13. ∫ ( x + 2) ln xdx . 14. ∫ x sin xdx .
1 0
π 2
x 2
15. ∫ e cos x dx . 16. ∫ x + 5 dx .
0 1

Найти площади фигур, ограниченных линиями:


2 3
17. y = x , x = 0, y = 8.

2 x2
18. y = x / 4, y = 3− .
2
19. y = x , y = 6 − x, y = 0.

20. y = 4 − x 2 , y = 2 − x, y = 0.

21. 4 y = 8 x − x 2 , 4y = x + 6.
22. y = ctg x, x = π / 6, x = π / 3, y = 0.

Найти площади фигур в полярных координатах:


23. r = 2(3 − cos ϕ ) . 24. r = 8sin 3ϕ .

2 6
25. r = . 26. r = .
sin 2 ϕ 2 − cos ϕ

Найти длины дуг кривых:


3/ 2
27. y = ( x + 1) , −1 ≤ x ≤ 3.

28. y = ln(1 − x 2 ), 0 ≤ x ≤ 0,5 .

29. y = ln(3cos x), x ∈ [ 0, π / 3] .

87
⎧ x = 7(t − sin t ),
30. ⎨ 0 ≤ t ≤ 2π .
⎩ y = 7(1 − cos t ),
31. r = 5(3 − cos ϕ ) .

32. r = e2ϕ , A(0,1), B (2π , e4π ) .

Найти объемы тел вращения фигур, ограниченных линиями

33. y = 6 x − x 2 , y = 0.
а) вокруг оси OX; б) вокруг оси OY.

34. y = sin 2 x, y = 0, x = 0, x = π .
а) вокруг оси OX; б) вокруг оси OY.

35. y = x 2 − 4 x, y = 2x − 5 .
а) вокруг оси OX; б) вокруг оси OY.
36. y = tg x, y = 0, x = π / 3 , (вокруг оси OX).

37. y 2 = x − 3, x = 3 , (вокруг прямой x = 3).

⎧ x = 2(t − sin t ),
38. ⎨ а) вокруг оси OX; б) вокруг оси OY.
⎩ y = 2(1 − cos t ),
⎧⎪ x = 6 cos 4 t ,
39. ⎨ (вокруг оси OX ).
4
⎪⎩ y = 8sin t ,

40. r = 2(1 + cos ϕ ) , (вокруг полярной оси).

a
41. r = , (вокруг полярной оси).
cos ϕ

88
Глава 3. Несобственные интегралы и интегралы,
зависящие от параметра.

b
Определенный интеграл ∫ f ( x) dx в главе 2 был введен для случая ко-
a
нечного промежутка [a, b] и ограниченной функции f (x). Теперь это понятие
можно обобщить на случай бесконечных промежутков интегрирования, а также
на случай неограниченных функций.

3.1. Несобственные интегралы с бесконечными пределами


интегрирования.
Понятие определенного интеграла от функции f (x) на отрезке [a, b] в гла-
ве 2 вводилось на основе процедуры разбиения отрезка [a, b] на вспомогатель-
ные подотрезки. Если функция f (x) рассматривается на бесконечном интервале
[a, +∞) или (– ∞, a], разбить ее область определения на конечное число подот-
резков невозможно. Поэтому определение понятия несобственного интеграла с
бесконечными пределами будем проводить на основе предельного перехода в
определенном интеграле.

Определение 1. Пусть функция f (x) определена на интервале [a,+∞) и


при любом значении A > a интегрируема на конечном отрезке [a, A]. Несобст-
венным интегралом функции f (x) в пределах от a до +∞ называется предел
A
интеграла ∫ f ( x) dx при A → +∞:
a
+∞ A
∫ f ( x )dx = lim ∫ f ( x )dx . (1)
a A→+∞ a

Если предел (1) существует и конечен, то говорят, что несобственный ин-


+∞
теграл ∫ f ( x)dx сходится, а функцию f (x) называют интегрируемой в беско-
a

89
нечном промежутке [a,+∞) (иногда в этом случае используют обозначение:
+∞
∫ f ( x)dx < ∞ ). Если же этот предел (1) не существует (в частности, бесконе-
a
+∞
чен), то интеграл ∫ f ( x)dx называют расходящимся.
a
1
ПРИМЕР 1. Найти интеграл от функции f ( x ) = в пределах от a
p
x
до +∞, где a – положительное число.
Имеем
⎧ 1− p A ⎧ A1− p a1− p
⎪ x ⎪ − , p ≠ 1;
⎪1 − p , p ≠ 1 ⎪ 1 − p 1 − p
A A
dx −p
∫ x p = ∫ x dx = ⎨ a =⎨
a a ⎪ A ⎪ln A , p = 1.
⎪ln x , p = 1 ⎪⎩ a
⎩ a

Тогда
A ⎧ a1− p
dx ⎪− , p > 1;
lim ∫ = ⎨ 1− p
A→∞ x p ⎪
a
⎩+∞, p ≤ 1.
+∞
dx a1− p
Таким образом, при p > 1 интеграл ∫ сходится и равен
p −1
.
a xp
При p ≤ 1 этот интеграл расходится. e

ПРИМЕР 2. Найти интеграл от функции f (x) = cos x в пределах от x = 0


до x = +∞ .
+∞ A
A
Интеграл ∫ cos x dx расходится, поскольку ∫ cos x dx = sin x 0 = sin A ,
0 0

а предел lim sin A не существует. ƒ


A→ +∞

90
Определение 2. Несобственные интегралы от функции f (x) в интерва-
лах ( – ∞,a] и ( – ∞,+∞) определяются аналогичным образом:
Если функция f (x) определена на интервале ( – ∞, a] и для любого A < a
эта функция интегрируема на отрезке [A, a], то
a a
∫ f ( x)dx = Alim
→ −∞
∫ f ( x)dx . (2)
−∞ A

Если функция f (x) определена на интервале ( – ∞, +∞) и интегрируема на


отрезке [A, B] для любых A и B, таких, что A < B, то
∞ B
∫ f ( x )dx = lim ∫ f ( x )dx . (3)
−∞ A→−∞ A
B →+∞

Если пределы (2) или (3) существуют и конечны, то функция f (x) называ-
ется интегрируемой на интервалах ( – ∞, a] или ( – ∞, +∞), соответственно, а
про несобственные интегралы, определяемые выражениями (2) или (3), говорят,
что они сходятся. Если пределы (2) или (3) не существуют или бесконечны, то
говорят, что соответствующие интегралы расходятся.

∞ dx
ПРИМЕР 3. Вычислить несобственный интеграл ∫ 2
.
−∞ 1 + x
Имеем
∞ dx B
dx B
∫ = lim ∫ = lim arctg x A = lim (arctg B − arctg A) =
2 A→−∞ A 1 + x 2
−∞ 1 + x A→−∞ A→−∞
B →+∞ B →+∞ B →+∞
π π
= lim arctg B − lim arctg A = − (− ) = π ,
B →+∞ A→−∞ 2 2
т.е. несобственный интеграл сходится. ƒ

Замечание. Все дальнейшие утверждения будут формулироваться для


несобственных интегралов вида (1), однако, аналогичные утверждения могут
быть сформулированы и доказаны для интегралов вида (2) и (3).

91
Определение 3. Функция f (x) называется абсолютно интегрируемой в
промежутке [a, +∞), а интеграл (1) – абсолютно сходящимся, если наряду с
интегралом (1) сходится интеграл от абсолютной величины функции f (x):
+∞
∫ f ( x ) dx . (4)
a
Если интеграл (1) сходится, но не абсолютно, то он называется условно сходя-
щимся.

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

Из свойств определенных интегралов и пределов легко выводятся сле-


дующие свойства несобственных интегралов:
+∞ +∞
n. Из сходимости интегралов ∫ f ( x) dx и ∫ g ( x) dx следует сходимость
a a
интеграла
+∞ +∞ +∞
∫ ( f ( x) ± g ( x)) dx = ∫ f ( x) dx ± ∫ g ( x) dx.
a a a

o. Пусть k ≠ 0 – произвольная постоянная, тогда из сходимости инте-


+∞
грала ∫ f ( x )dx следует сходимость интеграла
a
+∞ +∞
∫ k f ( x) dx = k ∫ f ( x) dx .
a a
+∞
Если же интеграл ∫ f ( x) dx расходится, то расходится также интеграл
a
+∞
∫ k f ( x) dx .
a

92
3.3. Признаки сходимости несобственных интегралов
с бесконечными пределами интегрирования.
Cформулируем и докажем ряд утверждений, аналогичных соответствую-
щим утверждениям (признакам сравнения) для числовых рядов.

Теорема 1. Если для некоторого числа c при x ≥ c имеют место неравен-


ства:
0 ≤ f(x) ≤ g(x),
то из сходимости интеграла
+∞
∫ g ( x)dx (1)
a
следует сходимость интеграла
+∞
∫ f ( x)dx, (2)
a
а из расходимости интеграла (2) следует расходимость интеграла (1).

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


верждение.

Лемма. Пусть d – наименьшее из чисел a и c, т.е. d = min {a, c}, и пусть


функция f (x) определена и интегрируема на любом конечном промежутке
+∞ +∞
[d, A], где A > d. Тогда интегралы ∫ f ( x)dx и ∫ f ( x)dx сходятся или расхо-
a c

дятся одновременно.
Действительно, имеем
A c A
∫ f ( x)dx = ∫ f ( x)dx + ∫ f ( x)dx . (3)
a a c

Переходя в обеих частях равенства (3) к пределу при А → +∞ с учетом то-


c
го, что ∫a f ( x) dx = const , получим три возможных результата:

93
1) пределы в правой и левой частях (3) одновременно не существуют;
2) оба этих предела бесконечны;
3) оба предела конечны. В этом случае имеет место равенство:
+∞ c +∞
∫ f ( x)dx = ∫ f ( x)dx + ∫ f ( x)dx .
a a c
Лемма, таким образом, доказана. Из нее следует, что на сходимость (расходи-
+∞
мость) несобственного интеграла ∫ f ( x)dx влияет только поведение функции
a

f (x) при достаточно больших значениях аргумента x (т.е. при x >> 1) .

Теперь можно перейти к доказательству теоремы:

Пусть значение с ≤ а. Тогда неравенство 0 ≤ f (x) ≤ g (x) справедливо для


A
всех x ≥ а. Рассмотрим функцию F ( A) = ∫ f ( x)dx . Эта функция – неубываю-
a

щая. Действительно, из условия 0 ≤ f (x) при B > A следует неравенство


B
F ( B ) = F ( A) + ∫ f ( x)dx ≥ F ( A) .
A

Как известно, для монотонно неубывающей функции F ( A ) всегда сущест-


вует предел:
⎧ F = const < ∞, если F(A) ограничена;
lim F ( A) = ⎨ o
A→+∞ ⎩ +∞, если F(A) не ограничена.
A
Аналогичные утверждения справедливы и для функции G ( A) = ∫ g ( x)dx .
a

Итак, если интеграл (1) сходится, т.е. существует конечный предел

lim G ( A) = Go , то функция G(A) ограничена, поскольку G(A) ≤ Gо. Из нера-


A→ +∞

венства f (x) ≤ g (x), верного для всех x ≥ а, и свойств определенного интеграла

94
получаем F(A) ≤ G(A) ≤ Gо, т.е. функция F(A) ограничена. Поэтому существу-

ет конечный предел lim F ( A) = Fo , и интеграл (2) сходится.


A→ +∞

Наоборот, если интеграл (2) расходится, т.е. lim F ( A) = +∞ , то из нера-


A→ +∞

венства F (A) ≤ G(A) следует: lim G ( A) = +∞ . Поэтому интеграл (1) также


A→ +∞

расходится.
Пусть теперь значение с > а. Если интеграл (1) сходится, то из доказан-
+∞
ной выше леммы следует, что сходится интеграл ∫ g ( x) dx . Поскольку для всех
c

x ≥ c справедливо неравенство 0 ≤ f (x) ≤ g(x), то из доказанного, следует схо-


+∞
димость интеграла ∫ f ( x) dx , откуда по лемме вытекает сходимость интеграла
c
+∞
(2). Если же интеграл (2) расходится, то расходится и интеграл ∫ f ( x)dx . Из
c

неравенства 0 ≤ f (x) ≤ g(x) (при x ≥ c) и доказанного выше, следует расходи-


+∞
мость интеграла ∫ g ( x)dx , откуда и следует расходимость интеграла (1).
c
Теорема полностью доказана.

Теорема 2. Если для функций f (x) ≥ 0 и g (x) > 0 существует предел


f ( x)
lim = k , 0 ≤ k ≤ +∞ , (4)
x → +∞ g ( x)

то из сходимости несобственного интеграла (1) при k < +∞, следует сходимость


интеграла (2), а из расходимости интеграла (1) при k > 0 вытекает расходимость
интеграла (2).

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


Если 0 < k < +∞, то из равенства (4) и определения предела следует, что для

95
любого числа ε > 0, существует δ = δ(ε) > 0 такое, что для любого х > δ выпол-
f ( x) f ( x)
няется неравенство: − k < ε , т.е. k − ε < < k + ε . Взяв, например, ε =
g ( x) g ( x)

= k/2 и используя положительность функции g (x), получим два неравенства:


⎧ f ( x) > ( k 2 ) g ( x),
⎨ (5)
⎩ f ( x) < ( 3k 2 ) g ( x).
+∞ +∞
Учитывая, что при cо = const ≠ 0 интегралы ∫a g ( x)dx и ∫ co g ( x)dx сходят-
a

ся или расходятся одновременно, из неравенства (5) и теоремы 1 получаем, что


интегралы (1) и (2) сходятся и расходятся одновременно.
Если k = 0, из равенства (4) и определения предела следует:
f ( x)
∀ε > 0 ∃δ = δ (ε ) > 0 : ∀x > δ ⇒ <ε .
g ( x)
Взяв, например, ε = 1, получаем отсюда, что 0 ≤ f (x) ≤ g (x), и из теоремы 1
выводим заключение теоремы 2: из сходимости интеграла (1) следует сходи-
мость интеграла (2).
Если значение k в пределе (4) бесконечно ( k = +∞), то из равенства (4) и
определения бесконечного предела получаем
f ( x)
∀M > 0 ∃δ > 0 : ∀x > δ ⇒ >M.
g ( x)
Отсюда при M = 1 имеем, что при x > δ выполнено неравенство f (x) > g (x). То-
гда в силу теоремы 1 из расходимости интеграла (1) следует расходимость ин-
теграла (2).

Теоремы 1 и 2 называют теоремами сравнения. Из этих теорем следует,


что сходимость несобственного интеграла можно установить, не вычисляя его
значения, а просто сравнив его с интегралом от уже исследованной функции.
+∞
dx
Для сравнения часто используют интеграл от степенной функции: ∫ p
(см.
a x
пример 1 п.3.1).

96
+∞
x 2 dx
ПРИМЕР 1. Исследовать на сходимость интеграл ∫ 4 2
.
0 x − x +1
Подынтегральная функция положительна, а ее числитель и знаменатель –
многочлены, причем степень числителя на два меньше степени знаменателя.
2
Следовательно, сравнение удобно проводить с функцией 1/(x ). Существует
предел:

x2 1 x4
lim : = lim = 1.
4 2 2 4 2
x →+∞ x − x +1 x x →+∞ x − x +1
+∞
dx
Поскольку интеграл ∫ x 2
сходится (см. пример 1 из п. 3.1, p = 2 > 1), то в си-
1
+∞
x 2 dx
лу теоремы 2 сходится и интеграл ∫ 4 2
. Поскольку на отрезке [0,1]
1 x − x +1
1
x 2 dx
подынтегральная функция непрерывна, то интеграл ∫ x4 − x2 + 1 сходится (он
0
уже не является несобственным). Таким образом, сходится и исходный инте-
+∞
x 2 dx
грал ∫ 4 2

0 x − x +1

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

Критерий Коши существования предела функции.

Предел lim ϕ( x) существует и конечен тогда и только тогда, если


x → +∞

∀ε > 0 ∃ δ = δ (ε ) > 0 : ∀x ', x " > δ ⇒ ϕ ( x′ ) − ϕ ( x′′ ) < ε .

Аналогичный критерий справедлив и для несобственного интеграла с бес-


конечными пределами:

97
Критерий Коши сходимости несобственного интеграла
с бесконечными пределами интегрирования.
+∞
Для сходимости интеграла ∫ f ( x)dx необходимо и достаточно, чтобы
a
b′′
∀ε > 0 ∃ δ = δ (ε ) > 0 : ∫ f ( x)dx < ε для ∀b′, b′′ > δ .
b′

На основе критерия Коши может быть доказана еще одна важная теорема:

+∞ +∞
Теорема 3. Если сходится интеграл ∫ f ( x) d x , то интеграл ∫ f ( x)dx
a a
также сходится.
+∞
Доказательство. Если ∫ f ( x) dx < ∞, то в силу критерия Коши
a
b"
∀ε > 0 ∃δ > 0 : ∀b ', b " > δ ⇒ ∫ f ( x) dx < ε .
b'

Но по свойству определенного интеграла справедливо неравенство


b" b" b"
∫ f ( x)dx ≤ ∫ f ( x) dx . Отсюда ∫ f ( x) dx < ε и по критерию Коши сходится
b' b' b'

+∞
также несобственный интеграл ∫ f ( x)dx .
a
+∞
x cos x
ПРИМЕР 2. Исследовать на сходимость интеграл ∫ 2
dx .
0 x + 100
x cos x
Подынтегральная функция f ( x) = на интервале [0, +∞] не сохра-
2
x + 100
няет знак, в то же время теоремы сравнения справедливы только для положи-
x cos x
тельных функций. Рассмотрим функцию f ( x ) = ≥ 0 . Для нее спра-
2
x + 100

98
x x 1
ведливо неравенство: f ( x ) ≤ ≤ = = g ( x ) . Поскольку несоб-
2 2 32
x + 100 x x

ственный интеграл ∫ g ( x)dx < ∞ сходится (см. пример 1 п.3.1 при р = 3/2), то по
1
+∞
теореме 1 сходится и интеграл ∫ f ( x) dx , а значит, по теореме 3, интеграл
1
+∞
x cos x
∫ 2
также сходится. На отрезке [0,1] функция f (x) непрерывна, следо-
1 x + 100
1
вательно, существует конечный интеграл ∫ f ( x)dx . Таким образом, заданный
0
∞ 1 ∞
интеграл ∫ f ( x)dx = ∫ f ( x)dx + ∫ f ( x)dx сходится. ƒ
0 0 1

Теоремы 1– 3 дают возможность исследовать на сходимость несобствен-


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

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


Пусть выполнены условия:
1) функция φ(x) монотонно стремится к нулю при x → +∞;
x
2) первообразная Ψ ( x) = ∫ ψ (ξ)d ξ ограничена.
a
+∞
Тогда несобственный интеграл ∫ ψ( x)ϕ( x)dx сходится (вообще говоря, не аб-
a
солютно).

99
p
Замечание. В качестве φ(x) часто берут степенную функцию φ(x) = 1/x ,

p > 0. Эта функция, очевидно, монотонно стремится к нулю при x →+∞ .

+∞
sin x
ПРИМЕР 3. Исследовать на сходимость интеграл ∫ x dx .
1

1 1
Рассмотрим функции ϕ( x) = = и ψ(x) = sin x. Первообразная
x x1 2
x
функции ψ(x) ограничена: Ψ ( x ) = ∫ sin ξ dξ = − cos ξ 1 = cos1 − cos x , а значит
x

Ψ ( x ) ≤ cos1 + cos x ≤ 2 . Следовательно, по признаку Дирихле, инте-

+∞
sin x
грал ∫ x dx сходится.
1
Докажем, что сходимость этого интеграла условная. Предположим про-
+∞
sin x
тивное: имеет место абсолютная сходимость, т.е. интеграл ∫ x
dx сходит-
1

ся. Тогда по теореме 1, в силу неравенств 0 ≤ sin 2 x ≤ sin x , сходится также ин-
∞ +∞
sin 2 x 2 1 cos 2 x
теграл ∫ dx . Но sin x = (1 − cos 2 x) , а интеграл ∫ dx , как можно
1 x 2 1 x
доказать, сходится по признаку Дирихле. Значит, по свойству несобственного
интеграла должен также сходится интеграл
∞ ∞ ∞
dx sin 2 x cos 2 x
∫ x = 2 ∫ x dx + ∫ x dx .
1 1 1
Получено противоречие (см. интеграл из примера 1 при p = 1/2 < 1). Сделанное
+∞
sin x
предположение оказалось неверным, интеграл ∫ x
dx , на самом деле рас-
1
ходится. ƒ

100
3.4. Несобственные интегралы от неограниченных функций.

Рассмотрим теперь функцию f (x), заданную в конечном промежутке [a,b),


но не ограниченную на этом промежутке. Предположим, что функция f (x) ог-
раничена и интегрируема на любом отрезке [a, b – δ], где δ > 0, но не ограни-
чена на интервале (b – δ, b). Точка b в этом случае называется особой точкой.

Определение 1. Несобственным интегралом функции f (x) в проме-


b −δ
жутке от a до b называется предел интеграла ∫ f ( x)dx при δ→0 (конечный
a

или бесконечный):
b b −δ
∫ f ( x)dx = δlim
→0
∫ f ( x)dx . (1)
a a
Если предел (1) конечен, то говорят, что несобственный интеграл сходится, а
функцию f (x) называют интегрируемой в промежутке [a,b). Если предел (1)
бесконечен или не существует, то говорят, что несобственный интеграл расхо-
дится.
Аналогично, для функции f (x), определенной и интегрируемой в проме-
жутке [a + δ, b] и неограниченной на интервале (a, a + δ) определяется несобст-
венный интеграл
b b
∫ f ( x)dx = δlim
→0
∫ f ( x)dx . (2)
a a+δ

Здесь точка a – особая точка функции f (x) .

Возможен случай, когда особые точки расположены внутри отрезка [a, b].

Пусть a ≤ c1 < c2 <…< cn ≤ b, где c1 , c2 ,…, cn – особые точки функции f (x), т.е.

f (x) не ограничена в окрестностях точек ci, но ограничена и интегрируема на

отрезке [a, b] с выброшенными окрестностями точек ci. Тогда несобственный

101
интеграл от функции f (x) по отрезку [a, b] определяется как сумма несобствен-
ных интегралов вида (1) и (2):
b c1 n −1 ci +1 b
∫ f ( x)dx = ∫ f ( x)dx + ∑ ∫ f ( x)dx + ∫ f ( x)dx , (3)
a a i =1 ci cn

где
ci +1 ci +1 −δ 2
∫ f ( x)dx = lim lim ∫
δ1 → 0 δ 2 → 0 c +δ
f ( x)dx .
ci i 1

Если c1 = a, то первое слагаемое в правой части (3) отсутствует. Если cn = b, то


отсутствует последнее слагаемое.

Определение 2. Интегралы вида (1) – (3) из разделов 3.1 и 3.4 называ-


ются несобственными интегралами (в отличие от изученных в главе 2 опреде-
ленных интегралов Римана, называемых собственными).

1
dx
ПРИМЕР 1. Вычислить несобственный интеграл ∫ 2
.
−1 1− x
Здесь особые точки подынтегральной функции – точки x = ±1. По формуле
(3) имеем
1 1−δ 2
dx dx
∫ 2
= lim
δ1 → 0 ∫ 2
=
−1 1− x −1+δ1 1 − x
δ 2 →0
π ⎛ −π ⎞
= lim arcsin (1 − δ 2 ) − lim arcsin ( −1 + δ1 ) = −⎜ ⎟ = π.ƒ
δ 2 →0 δ1 → 0 2 ⎝ 2 ⎠

1
dx
ПРИМЕР 2. Исследовать на сходимость несобственный интеграл ∫ p
.
0x
Подынтегральная функция на отрезке [0, 1] имеет единственную особую
точку: x = 0. По определению получаем

102
⎧ − p +1 1
⎪x
⎪ − p + 1 , при p ≠ 1,
1 1
dx dx
∫ x p = δlim ∫ = lim ⎨
→0 x p δ →0 ⎪
δ =
0 δ 1
⎪ ln x , при p = 1,
⎩ δ
⎧ 1 δ 1− p ⎧ 1
⎪⎪ − lim , p ≠ 1, ⎪ , p < 1,
= ⎨ 1 − p δ →0 1 − p = ⎨1 − p
⎪− lim ln δ , p = 1, ⎪ +∞, p ≥ 1.
⎪⎩ δ →0 ⎩

1
dx
Итак, несобственный интеграл ∫ p
сходится при p < 1, а при p ≥ 1
0x
+∞
dx
этот интеграл расходится, (в отличие от несобственного интеграла ∫ x p
из
1
примера 1 п.3.1).ƒ
2
dx
ПРИМЕР 3. Исследовать на сходимость интеграл ∫ .
0 ( x − 1)
2

Особая точка х = 1 лежит внутри отрезка интегрирования. По определению,


2 1 2 1− 0 2
dx dx dx −1 1
∫ =∫ +∫ = − =
0 ( x − 1)
2
0 ( x − 1)
2
1 ( x − 1)
2 ( x − 1) 0 ( x − 1) 1+ 0
1 1
= − lim − 1 − 1 + lim = −(−∞) − 2 + (+∞) = +∞.
x →1− 0 ( x − 1) x →1+ 0 ( x − 1)

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

Замечание. Пример 3 демонстрирует, как важно начинать исследование


несобственного интеграла с определения особых точек. Ведь, если решать его
формально по формуле Ньютона – Лейбница для определенных интегралов:
2 2
dx 1
∫ = − = −2 , (???)
0 ( x − 1)
2 x − 1 0

был бы получен неверный результат.

Для несобственных интегралов от неограниченных функций справедливы


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

103
делами интегрирования. Сформулируем, например теоремы сравнения для ин-
теграла вида (2) (для интегралов вида (1) и (3) они формулируются и доказыва-
ются аналогично).

Теорема 1. Если для некоторого числа δ > 0 при а ≤ х ≤ а + δ имеет ме-


сто неравенство:
0 ≤ f (x) ≤ g (x),
b
то из сходимости интеграла ∫ g ( x)dx , (а – особая точка функции g (x)) следует
a
b
сходимость интеграла ∫ f ( x)dx , (а – особая точка функции f (x)), а из расходи-
a
b b
мости интеграла ∫ f ( x)dx следует расходимость интеграла ∫ g ( x)dx .
a a

Теорема 2. Если существует предел


f ( x)
lim = k , 0 ≤ k ≤ +∞,
x → a g ( x)

причем для некоторого положительного числа δ при а ≤ х ≤ а + δ справедливы


неравенства f (x) ≥ 0, g(x) > 0, то из сходимости несобственного интеграла
b b
∫ g ( x) dx при 0 ≤ k < ∞ следует сходимость несобственного интеграла ∫ f ( x)dx ,
a a
b
а из расходимости интеграла ∫ g ( x)dx при 0 < k ≤ ∞ следует расходимость ин-
a
b
теграла ∫ f ( x)dx (точка а – особая точка).
a
b
Теорема 3. Если сходится несобственный интеграл ∫ f ( x) dx, то схо-
a
b
дится интеграл ∫ f ( x)dx , (а – особая точка функции f (x)).
a

104
Определение 3. Пусть несобственный интеграл (2) сходится. Тогда он
называется абсолютно сходящимся, если, наряду с ним, сходится и интеграл
b
∫ f ( x) dx, (4)
a
и условно сходящимся, если интеграл (4) расходится.

Замечание. Для исследования сходимости интеграла (2) по теоремам 1 и


p
2 функцию f (х) часто сравнивают со степенной функцией 1/x (см. пример 2).

ПРИМЕР 4. Исследовать на сходимость интеграл

1
ln(1 + x)
∫ 2
dx. (5)
0 x + 4x
Здесь точка x = 0 − особая точка. В окрестности нуля бесконечно малая
2 3 2
функция ln(1+ x) эквивалентна x, а функция x + 4 x эквивалентна x . Тогда,

x 1
сравнивая подынтегральную функцию с функцией = , получим
x2 x
ln(1 + x)
2 3 x ln(1 + x) 1
lim x + 4 x = lim 2 = lim =1 .
x →0 1 x →0 x + 4 x3 x →0 1 + 4 x
x
1
dx
Но интеграл ∫ x расходится, следовательно, по теореме 2 расходится и инте-
0
грал (5). ƒ

ПРИМЕР 5. Интегралом Эйлера I-го рода, или бета-функцией, называ-


ется интеграл:
1
Β(a, b) = ∫ x a −1 (1 − x)b −1 dx , (6)
0

где а и b – положительные постоянные.

105
При а ≥ 1 и b ≥ 1 в интеграле (6) особых точек нет, при а < 1 особая точ-
ка – ноль, при b < 1 особая точка – единица.
Разложим интеграл (6) на сумму двух интегралов:
1/ 2 1
B(a, b) = ∫ x a −1 (1 − x)b −1 dx + ∫x
a −1
(1 − x)b −1 dx = I1 + I 2 ,
0 1/ 2
и оценим каждое из слагаемых.
b −1
a −1 b −1 x a −1 x a −1 a −1 ⎛1⎞
При x ≤ 1/2 и b < 1 имеем: x (1 − x) = ≤ =x ⋅⎜ ⎟ .
(1 − x ) 1− b
⎛1⎞
⎜ ⎟
1− b ⎝2⎠
⎝2⎠

При b ≥ 1 и 0 ≤ x ≤ 1/ 2 имеем: x a −1 (1 − x) b −1 ≤ x a −1 .
1/ 2 1/ 2
a −1 dx
Интеграл ∫ x dx = ∫ 1− a
сходится при р = 1 – а < 1, т.е. при а > 0.
0 0 x
1/ 2 1/ 2
То же справедливо и для интеграла: ∫ x
a −1
(1 2) b −1
dx = (1 2 ) b −1
∫ x
a −1
dx . Сле-
0 0

довательно, по теореме 1 интеграл I1 сходится при а > 0 для всех b.

При x ≥ 1/2 и а < 1 имеем:

x a −1
(1 − x) b −1
=
(1 − x )b −1 (1 − x )b −1

1
= ( ) a −1 (1 − x) b −1 .
x1− a (1 2)1− a 2
После замены у = 1– x получаем
1 0 1/ 2 1/ 2
b −1 b −1 b −1 dy
∫ (1 − x) dx = − ∫ y dy = ∫ y dy = ∫ 1−b
.
1/ 2 1/ 2 0 0 y

Этот интеграл сходится при 1– b < 1, т.е. при b > 0.

При а ≥ 1 и 1 ≥ x ≥ 1/2 имеем: x a −1 (1 − x) b −1 ≤ (1 − x) b −1 .

Следовательно, по теореме 1 интеграл I2 сходится при b > 0.


Таким образом, интеграл Эйлера I-го рода определен (сходится) для лю-
бых положительных значений а и b. ƒ

106
ПРИМЕР 6. Интегралом Эйлера II-го рода, или гамма-функцией, на-
зывается интеграл
+∞
Г(a ) = ∫ x a −1 ⋅ e− x dx, a > 0 . (7)
0
Для исследования интеграла (7) на сходимость разобьем его на сумму
двух интегралов:
+∞ 1 +∞
a −1 −x a −1 −x a −1 − x
∫ x ⋅e dx = ∫ x ⋅e dx + ∫ x ⋅ e dx = I1 + I 2 .
0 0 1

Если а ≥ 1, то подынтегральная функция непрерывна, а значит, I1 – собст-


венный интеграл.
а–1 –х а–1
При 0 < а < 1 и x ≥ 0 имеем х е ≤х . Поэтому в силу теоремы 1
1 1
a −1 − x
интеграл ∫ x e dx cходится, если сходится интеграл ∫ x a −1dx , т.е. при а > 0
0 0

(подробнее см. пример 2).


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

Известно, что для достаточно больших значениий x (т.е. при x >> 1) и


λ x
при любом положительном числе λ справедливо соотношение: ln x < x < e .

Поэтому, приняв λ = 2а, получим: e x 2 > x a при а > 0. Тогда подынтегральная

a −1 − x xa 1 1
функция в (7) удовлетворяет неравенству: x e = ⋅ < . По-
x2 x2 x2
xe e e
∞ ∞
−x / 2 −x / 2
скольку ∫e dx = −2e = 2e−1/ 2 < ∞ , то по теореме 1 п. 3.3 интеграл
1
1

I2 сходится при а > 0.


Таким образом, доказано, что интеграл Эйлера II-го рода (7) сходится при
любом положительном значении параметра а. ƒ

107
Замечание. Отметим важное свойство гамма-функции. Имеем
+∞ +∞
Г(1) = ∫ e − x dx = − e− x = 1.
0
0

Для любого натурального значения n, применив формулу интегрирования по


частям, получим
+∞ +∞ ⎛ +∞ +∞ − x n −1 ⎞
n −1 −x n −1 −x n −1 − x
Г(n) = ∫ x ⋅e dx = − ∫ x de = −⎜ x e
⎜ 0
− ∫ e dx ⎟ =

0 0 ⎝ 0 ⎠
+∞
= (n − 1) ∫ x n − 2 ⋅ e− x dx = (n − 1) ⋅ Γ (n − 1).
0
Повторяя процедуру интегрирования по частям, приходим к формуле
Γ(n) = (n − 1) ⋅ Γ(n − 1) = (n − 1) ⋅ (n − 2) ⋅ Γ (n − 2) = …
= (n − 1) ⋅ (n − 2) ⋅… ⋅ 2 ⋅ Γ(1).
Отсюда получаем известное соотношение, связывающее гамму-функцию
натурального аргумента n и факториал этого числа:
Г(n) = (n − 1)!
Таким образом, гамма-функция представляет собой обобщение понятия
факториала на множество неотрицательных чисел.

3.5. Интегралы, зависящие от параметра.

Интегралы Эйлера представляют собой пример несобственных интегра-


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

108
Интегрирование под знаком интеграла.
Исследуем интеграл:
ϕ2 ( y)
I ( y) = ∫ f ( x, y ) dx , (1)
ϕ1 ( y )

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


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

Пусть функции φ1(у) и φ2(у) непрерывны, а функция f (x, y) непрерывна по


совокупности своих переменных. В этом случае существует интеграл:
d d ϕ2 ( y)
∫ I ( y)dy = ∫ dy ∫ f ( x, y ) dx . (2)
c c ϕ1 ( y )

В частном случае, если функции φ1(у) и φ2(у) есть постоянные: φ1(у) ≡ a;

φ2(у) ≡ b, то в равенстве (2) можно поменять порядок интегрирования:


d d b b d
∫ I ( y)dy = ∫ dy ∫ f ( x, y) dx = ∫ dx ∫ f ( x, y)dy . (3)
c c a a c

Дифференцирование под знаком интеграла.

Теорема 1. Пусть функция I (y) задана равенством:


b
I ( y ) = ∫ f ( x, y )dx , (4)
a
где функция f (x, y) непрерывна и имеет непрерывную частную производную
f y′ (x,y) в прямоугольнике: а ≤ x ≤ b, c ≤ у ≤ d.

Тогда существует производная функции (4), причем


b b
d
dy ∫
I '( y ) = f ( x, y )dx = ∫ f y′ ( x, y )dx . (5)
a a

109
1
ПРИМЕР 1. Найти производную функции I ( y ) = ∫ ln x 2 + y 2 dx.
0
( )
Имеем по формуле (5):
1 1
(0
I ′( y ) = ∫ ln( x + 2 2 '
)
y ) dx = ∫
y 2
2y
0x +y
2
1
dx = 2 arctg . ƒ
y

Теорема 2. Пусть функция I (у) задается формулой (1):


ϕ2 ( y)
I ( y) = ∫ f ( x, y ) dx ,
ϕ1 ( y )

где функция f (x, y) непрерывна в прямоугольнике а ≤ x ≤ b, c ≤ у ≤ d, функ-

ции φ1(у) и φ2(у) непрерывны при c ≤ у ≤ d и принимают значения в интервале

от а до b. Тогда функция I (у) непрерывна при c ≤ у ≤ d.


Если к тому же в указанном прямоугольнике существует и непрерывна ча-
стная производная f y′ (x, y), а также существуют производные φ′1(у) и φ′2(у), то

производная интеграла I (у) существует определяется по формуле


ϕ2 ( y)
I ′( y ) = ∫ f y′ ( x, y )dx + ϕ 2′ ( y ) ⋅ f (ϕ 2 ( y ), y ) − ϕ1′ ( y ) ⋅ f (ϕ1 ( y ), y ) . (6)
ϕ1 ( y )

y2 2
ПРИМЕР 2. Найти производную функции I ( y ) = ∫ e yx dx .
y
По формуле (6) получаем
y2
yx 2 ' 2 ′ ⎛ yx 2 ⎞ ⎛ yx 2 ⎞
I ′( y ) = ∫ ( e ) y dx + ( y ) ⋅
y ⎜

e ⎟
⎠ 2
− ( y ) ′ ⋅
y ⎜e



=
y x= y x= y

y2
2 5 3
= ∫ x 2 e yx dx + 2 ye y − e y . ƒ
y

110
Интегрирование и дифференцирование по параметру
в несобственных интегралах.
Введем вначале важное понятие равномерной сходимости несобственных
интегралов, зависящих от параметра.

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


+∞
∫ f ( x, y )dx (7)
a
и
b
∫ f ( x, y )dx , (а − особая точка) (8)
a

называются сходящимися равномерно по переменной у, принадлежащей неко-


торой области U, если они сходятся при любом фиксированном значении y ∈ U

и величина δ в критерии сходимости несобственного интеграла (см. п. 3.3) не


зависит от значения у, т.е.
b′′
∀ε > 0 ∃δ = δ (ε ) > 0 : ∫ f ( x, y )dx < ε для ∀b′, b′′ > δ и ∀y ∈ U
b′

− для интеграла (7),


a +b′′
∀ε > 0 ∃δ = δ (ε ) > 0 : ∫ f ( x, y )dx < ε для ∀b′, b′′ : 0 < b′, b′′ < δ и ∀y ∈ U
a + b′

− для интеграла (8).

Сформулируем свойства равномерно сходящегося интеграла (7). (Ана-


логичные свойства справедливы и для интеграла (8)):

n. Если функция f (х, у) непрерывна при х ≥ а и c ≤ у ≤ d и интеграл (7)



сходится равномерно при c ≤ у ≤ d, то функция I ( y ) = ∫ f ( x, y )dx непрерывна
a

по у при c ≤ у ≤ d.

111
o. При условиях, сформулированных в свойстве 1, справедлива формула
интегрирования под знаком интеграла:
d ∞ ∞ d
∫ dy ∫ f ( x, y)dx = ∫ dx ∫ f ( x, y)dy .
c a a c

p. Если функции f (x,y) и f y′ (x,y) непрерывны, несобственный интеграл



(7) сходится, а интеграл ∫ f y′ ( x, y )dx сходится равномерно, то имеет место
a
формула дифференцирования под знаком интеграла:

d ∞ ∞
∫ f ( x, y )dx = ∫ f y' ( x, y )dx .
dy a a

Интегрирование и дифференцирование по параметру иногда позволяет


значительно упростить процедуру вычисления определенных интегралов:


sin x
ПРИМЕР 3. Вычислить интеграл A = ∫ x dx .
0

sin x
Соответствующий неопределенный интеграл ∫ x dx не может быть вы-

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


Для вычисления искомого интеграла A рассмотрим функцию

sin x
I (t ) = ∫ e−tx ⋅ dx, t ≥ 0 .
0
x

Тогда A = I (0).
Дифференцируя под знаком интеграла, получим

I ′(t ) = − ∫ e−tx sin xdx .
0
Этот интеграл легко вычисляется при t > 0 :

112
1∞ −tx 1 ⎛ −tx ∞

−tx ⎞
I ′(t ) = ∫ sin xde = ⎜ sin x e − ∫ e cos xdx ⎟=
t0 t ⎜⎝ 0
0

1∞ −tx 1⎛ −tx ∞
∞ ⎞ 1
= ∫ cos xde = ⎜ cos xe + ∫ e−tx sin xdx ⎟ = ( −1 − I ′(t ) ) .
t2 0 t 2 ⎜⎝ 0
0
⎟ t2

Отсюда
1
I ′(t ) = − .
1+ t2
Интегрируя полученное соотношение, находим
1
I (t ) = − ∫ dt = − arctg t + C .
2
1+ t
Постоянную интегрирования С можно определить из условия I (+∞) = 0:
π π
0=− +C ⇒ C = .
2 2
π
Тогда I (t ) = − arctg t . По свойству 1 функция I (t ) непрерывна, поэтому ис-
2
комый интеграл может быть найден в результате предельного перехода:

sin x π π
∫ x dx = I (0) = tlim
→ 0
I (t ) = lim ( − arctg t ) = . ƒ
t →0 2 2
0

113
Теоретические вопросы к главе 3.

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


2. Дать определение несобственного интеграла от неограниченной функции.
b
dx
3. В каком случае интеграл ∫ x2 + 4 x + 4 является несобственным?
a
4. Какие интегралы называются интегралами Эйлера? При каких значениях
параметра они сходятся?
5. Справедлива ли следующая запись
e +1
dx e +1
∫ x −1
= ln | x − 1|
−e + 1
= ln | e | − ln | −e |= 1 − 1 = 0 ?
− e +1
5
6. Найти производную функции I ( y ) = ∫ sin( xy )dx двумя способами: 1) вы-
y

числив предварительно интеграл; 2) используя формулу (6) из раздела


3.5. Сравнить результаты.

Задачи к главе 3.

Вычислить интегралы или установить их расходимость:


∞ ∞ ∞
dx dx arctg xdx
1. ∫ 2
. 2. ∫ 2
. 3. ∫ 2
.
−∞ x + 9 −∞ x + 4x + 9 −∞ x + 1
∞ ∞ ∞
−x −2 x
4. ∫e cos x dx . 5. ∫ e sin x dx . 6. ∫ xe − x dx .
−∞ 0 0

∞ ∞ ∞
xdx − x2 arctg 2 x
7. ∫ . 8. ∫ xe dx . 9. ∫ dx .
(1 + x ) 2 2 2
0 −∞ 0 4x + 1

114
∞ ∞ ∞
dx dx x 2 dx
10. ∫
2
. 11. ∫2 x ln x 2
. 12. ∫ .
e x ln x e ( ln ln x ) 2 1− x 3

∞ ∞ ∞ 2
2 −x xdx x +1
13. ∫ x e dx . 14. ∫ . 15. ∫ dx .
2 3
0 1 1+ x 1 x
∞ ∞ ∞
dx dx dx
16. ∫ . 17. ∫ . 18. ∫ .
2 ( x − 1)
2 4 3/ 2
e x ⋅ ln x 1 ( 2 x − 1)
∞ ∞ ∞
cos xdx x 2 dx
19. ∫ ln xdx . 20. ∫ . 21. ∫ .
3 3
1 1 sin x 2 x −1
∞ ∞ ∞
dx dx x 3 dx
22. ∫ . 23. ∫ . 24. ∫ .
x ln 2 x ( ln ( ln 2 x ) )
2 3 3 4
1 x ln 2 x 4 0 x +1
∞ ∞ ∞
xdx x 2 arctg x3dx x3dx
25. ∫3 . 26. ∫ . 27. ∫ .
( x4 + 5)
6 1/ 2
0
2
x +4 −∞ 1+ x 0

∞ ∞ ∞
−2 x arctg 2 x dx
28. ∫ xe dx . 29. ∫ ln 3xdx . 30. ∫ .
0 2 −∞ 1 + x2

Вычислить интегралы или установить их расходимость:


2 e 3
dx dx dx
31. ∫ 4
. 32. ∫ 4
. 33. ∫ 3/ 2
.
0 ( x − 1) 1 x ⋅ ln x 0 ( 2 x − 1)

1 1 1
dx arcsin xdx
34. ∫ ln xdx . 35. ∫ 2
. 36. ∫ 2
.
0 −1 1− x 0 1− x
1/ 2 1 π /4
arccos 2 x dx cos x dx
37. ∫ 2
dx . 38. ∫
x ln x
. 39. ∫ 3
.
0 1 − 4x 0 0 sin x
1 1 e
x 2 dx dx dx
40. ∫ . 41. ∫ 2
. 42. ∫
2
.
0 1− x 3
0x + 4x 1 x ln x

115
e2 1 1 2
dx xdx x +1
43. ∫ . 44. ∫ . 45. ∫ dx .
2 3
e x ln x ( ln ln x ) 0 1− x 2
0 x
1 1 2
dx dx dx
46. ∫ x ln x . 47. ∫ 2
. 48. ∫ ( x − 1)( x − 2 ) .
0 0 x ( x − 2) 0

2 1/ 2 π
dx arcsin 2 x cos xdx
49. ∫ 2
. 50. ∫ 2
dx . 51. ∫ 2
.
−2 4− x −1/ 2 1 − 4x 0 sin x
1 2 1
x5 dx dx dx
52. ∫ . 53. ∫ 2
. 54. ∫ 3
.
0 x ( x − 1) 0 4 x ⋅ ln x
6
−1 1− x
π /2 π /2 1
( 2 x + 5) dx
ctg xdx tg xdx
55. ∫ 2
. 56. ∫ 2
. 57. ∫ 2
.
0 sin x 0 cos x 0 x + 5x

1 ( 4 x + 3 x ) dx . 1
dx π
cos dx
58. ∫ 59. ∫ . 60. ∫ sin x .
(x )
2 3
0 2
+x x 0 3 x ln x 0

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


∞ 3 ∞ 3 3
x + x2 + 4 3 x + 1 − 2x x
61. ∫ 2 4
dx . 62. ∫ 2
dx .
1 3x + x + 5 2 x +4
∞3 3 ∞
2 x3 + 3 x + 4 + 2 x 2 + 6 3 x3 + 8 x + 6 − 2 x + x 2 + 8
63. ∫ 3 8
dx . 64. ∫ 3 4 6 2
dx .
3 3 x + 24 + 10 1 3 x + 4x + x
∞ ∞ 3
3 x + 8 x 2 + x3 + 4 2 x x4 + 5 + 5x
65. ∫ 8 2
dx . 66. ∫
6 4 2
dx .
2 3x + 2 x + 4 3 6x + 4x + 2 x + 1
∞ 3 ∞ 3
2 x x2 + 4 + 3 x x 2 x 3x 2 + 8 + 5 x
67. ∫ 4 2
dx . 68. ∫
2
dx .
1 3x + 25 x + 6 2 3x + 28
∞ ∞
3 x + x3 + 4 3 x x − 16 x 2 + 4
69. ∫ 2 4 3 2
dx . 70. ∫ 8 2 3 12
dx .
3 5 x + 16 x + 3 x 1 5 x + 16 x + 25 x +4

116
∞ ∞
2 x x 2 + 6 + 18 3x 2 + 5 x + 6
71. ∫ 3 12 2
dx . 72. ∫ 2 6
dx .
2 x + 5 + 2x 3 3x + x + 8
∞ ∞
2 x + 3 x18 + x 5x x − 6 x + 3
73. ∫ 2 3 2
dx . 74. ∫ 2 4 3 12
dx .
4 3x + 16 + 2 x 5 5x + 8x + x +4
∞ ∞
2 x x2 + 4 + 5x − 6 3x2 x + 5 + 8 x
75. ∫ 3 8 10
dx . 76. ∫ 3 4 5 20
dx .
1 3 x +6+ x +4 2 3 x + 25 + x +4
∞ ∞
8x2 x + 5 − 4 x 2x x + 5
77. ∫ 3 8 4
dx . 78. ∫
3 12 2
dx .
3 2 x + 6 + 24 x 43 x + 4 + 5x + 6
∞ 3 ∞ 3
16 x 2 + 4 x 3 + 8 + 3 x 2 x3 + 8x − 4 + x 2 + 3
79. ∫ dx . 80. ∫ dx .
1 25 x 4 + 13x 2 + 6 0 x 4 + 2 x 2 + 10
∞ ∞
3x 2 + 5 x + 16 2x + x2 + 4x + 3
81. ∫ dx . 82. ∫ dx .
4 3 12 2 4 2 2
1 16 x + 32 x + 8x + 4 2 5x + 30 x + 16 x + 1
∞ ∞
3x 5 + 4 x 3 + 2 x3 + 2x + 4
83. ∫ dx . 84. ∫ dx .
3 6 2 3 12 4
33 x + 8 + 4x + 5 42 x +4 + x +3
3
∞ ∞ 3
3x 2 + 8 x 2 + 6 2 x 2 + 3x 4 + 1 + 2 x 3
85. ∫ dx . 86. ∫ dx .
3 16 10 16 10
53 x + 5 + 5x 6 2x + 5x +8
∞ ∞ 3
2 x 3 + 3x 2 − 8 2x 2 + 3 x 4 + 3 + 5x
87. ∫ dx . 88. ∫ dx .
8 4 2 16 8
1 25 x + 2x + 3 x + 4 2 x + 25 x + 3
∞ 3 ∞
2 2 x5 + 8x + 9 + x + 3 3x 2 + 4 x + 5
89. ∫ dx . 90. ∫ dx .
2 4 3 4 2 6
3 3x + 16 x + 5 4,5 3 x + 25 x + 1 + 5 x + 8

117
ГЛОССАРИЙ

Двойной интеграл (double integral) – обобщение понятия определенного


интеграла на двумерный случай. Определяется как предел соот-
ветствующих интегральных сумм.
Диаметр множества (diameter of a set) – наибольшее расстояние между
двумя точками множества.
Замыкание области (closure of a domain) – объединение области и ее гра-
ницы.
Криволинейный интеграл (curvilinear integral) – обобщение понятия оп-
ределенного интеграла, связанное с заменой отрезка интегриро-
вания на дугу кривой линии.
Неопределенный интеграл (indefinite integral) – множество всех перво-
образных подынтегральной функции.
Несобственный интеграл (improper definite integral) – интеграл, один из
пределов интегрирования которого бесконечен, а также интеграл
от разрывной функции.
Определенный интеграл (definite integral) – предел последовательности
интегральных сумм при стремлении к нулю диаметра разбиения
отрезка интегрирования.
Первообразная (antiderivative) функции f(x) – функция F(x), производная
которой равна f(x).
Повторный интеграл (iterated integral) – интеграл от функции двух пере-
менных, взятый последовательно по одной переменной, а затем
по другой.
Потенциал (потенциальная функция) вектора (potential) – функция трех
переменных, частные производные которой по соответствующим
координатам совпадают с координатами вектора.
Правильная область 1-го типа (regular domain of 1-st type) – область на
плоскости, ограниченная прямыми x = a и x = b и кривыми y =
= φ1(х), у = φ2(х), где функции φ1(х), φ2(х) непрерывны на отрез-
ке [a, b] и φ1 (х) ≤ φ2 (х).
Правильная область 2-го типа (regular domain of 2-nd type) – область на
плоскости, ограниченная прямыми y = c, y = d и кривыми x =
= ψ1(у), х = ψ2(у), где функции ψ1(у) и ψ2(у) непрерывны на от-
резке [c, d] и ψ1(у) ≤ ψ2(y).

233
P( x)
Рациональная дробь (rational fraction) – функция вида f ( x) = , где
D( x)
P(x) и D(x) – многочлены.
Сапог Шварца (Schwarz’s boot) – вписанный в цилиндр многогранник,
сумма площадей граней которого стремится к бесконечности при
стремлении диаметров граней к нулю.
Связное множество (connected set) – множество, любые две точки которо-
го можно соединить непрерывной кривой, принадлежащей этому
множеству.
Тройной интеграл (triple integral) – обобщение понятия определенного
интеграла на трехмерный случай. Определяется как предел соот-
ветствующих интегральных сумм.
«Хорошая» кривая (regular curve) – кривая, граница которой составлена
из конечного числа графиков непрерывных функций.
Циркуляция вектора (circulation) – криволинейный интеграл II-рода от
векторной функции по замкнутому контуру.
Якобиан (Jacobian) – определитель, составленный из частных производ-
ных n функций, зависящих от n переменных.

Материалы, относящиеся к данному изданию можно найти на сайте


кафедры высшей математики РГУ нефти и газа им. И.М. Губкина:

http://kvm.gubkin.ru/index.html

234
Глава 3. Несобственные интегралы и интегралы,
зависящие от параметра.

b
Определенный интеграл ∫ f ( x) dx в главе 2 был введен для случая ко-
a
нечного промежутка [a, b] и ограниченной функции f (x). Теперь это понятие
можно обобщить на случай бесконечных промежутков интегрирования, а также
на случай неограниченных функций.

3.1. Несобственные интегралы с бесконечными пределами


интегрирования.
Понятие определенного интеграла от функции f (x) на отрезке [a, b] в гла-
ве 2 вводилось на основе процедуры разбиения отрезка [a, b] на вспомогатель-
ные подотрезки. Если функция f (x) рассматривается на бесконечном интервале
[a, +∞) или (– ∞, a], разбить ее область определения на конечное число подот-
резков невозможно. Поэтому определение понятия несобственного интеграла с
бесконечными пределами будем проводить на основе предельного перехода в
определенном интеграле.

Определение 1. Пусть функция f (x) определена на интервале [a,+∞) и


при любом значении A > a интегрируема на конечном отрезке [a, A]. Несобст-
венным интегралом функции f (x) в пределах от a до +∞ называется предел
A
интеграла ∫ f ( x) dx при A → +∞:
a
+∞ A
∫ f ( x )dx = lim ∫ f ( x )dx . (1)
a A→+∞ a

Если предел (1) существует и конечен, то говорят, что несобственный ин-


+∞
теграл ∫ f ( x)dx сходится, а функцию f (x) называют интегрируемой в беско-
a

89
нечном промежутке [a,+∞) (иногда в этом случае используют обозначение:
+∞
∫ f ( x)dx < ∞ ). Если же этот предел (1) не существует (в частности, бесконе-
a
+∞
чен), то интеграл ∫ f ( x)dx называют расходящимся.
a
1
ПРИМЕР 1. Найти интеграл от функции f ( x ) = в пределах от a
p
x
до +∞, где a – положительное число.
Имеем
⎧ 1− p A ⎧ A1− p a1− p
⎪ x ⎪ − , p ≠ 1;
⎪1 − p , p ≠ 1 ⎪ 1 − p 1 − p
A A
dx −p
∫ x p = ∫ x dx = ⎨ a =⎨
a a ⎪ A ⎪ln A , p = 1.
⎪ln x , p = 1 ⎪⎩ a
⎩ a

Тогда
A ⎧ a1− p
dx ⎪− , p > 1;
lim ∫ = ⎨ 1− p
A→∞ x p ⎪
a
⎩+∞, p ≤ 1.
+∞
dx a1− p
Таким образом, при p > 1 интеграл ∫ сходится и равен
p −1
.
a xp
При p ≤ 1 этот интеграл расходится. e

ПРИМЕР 2. Найти интеграл от функции f (x) = cos x в пределах от x = 0


до x = +∞ .
+∞ A
A
Интеграл ∫ cos x dx расходится, поскольку ∫ cos x dx = sin x 0 = sin A ,
0 0

а предел lim sin A не существует. ƒ


A→ +∞

90
Определение 2. Несобственные интегралы от функции f (x) в интерва-
лах ( – ∞,a] и ( – ∞,+∞) определяются аналогичным образом:
Если функция f (x) определена на интервале ( – ∞, a] и для любого A < a
эта функция интегрируема на отрезке [A, a], то
a a
∫ f ( x)dx = Alim
→ −∞
∫ f ( x)dx . (2)
−∞ A

Если функция f (x) определена на интервале ( – ∞, +∞) и интегрируема на


отрезке [A, B] для любых A и B, таких, что A < B, то
∞ B
∫ f ( x )dx = lim ∫ f ( x )dx . (3)
−∞ A→−∞ A
B →+∞

Если пределы (2) или (3) существуют и конечны, то функция f (x) называ-
ется интегрируемой на интервалах ( – ∞, a] или ( – ∞, +∞), соответственно, а
про несобственные интегралы, определяемые выражениями (2) или (3), говорят,
что они сходятся. Если пределы (2) или (3) не существуют или бесконечны, то
говорят, что соответствующие интегралы расходятся.

∞ dx
ПРИМЕР 3. Вычислить несобственный интеграл ∫ 2
.
−∞ 1 + x
Имеем
∞ dx B
dx B
∫ = lim ∫ = lim arctg x A = lim (arctg B − arctg A) =
2 A→−∞ A 1 + x 2
−∞ 1 + x A→−∞ A→−∞
B →+∞ B →+∞ B →+∞
π π
= lim arctg B − lim arctg A = − (− ) = π ,
B →+∞ A→−∞ 2 2
т.е. несобственный интеграл сходится. ƒ

Замечание. Все дальнейшие утверждения будут формулироваться для


несобственных интегралов вида (1), однако, аналогичные утверждения могут
быть сформулированы и доказаны для интегралов вида (2) и (3).

91
Определение 3. Функция f (x) называется абсолютно интегрируемой в
промежутке [a, +∞), а интеграл (1) – абсолютно сходящимся, если наряду с
интегралом (1) сходится интеграл от абсолютной величины функции f (x):
+∞
∫ f ( x ) dx . (4)
a
Если интеграл (1) сходится, но не абсолютно, то он называется условно сходя-
щимся.

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

Из свойств определенных интегралов и пределов легко выводятся сле-


дующие свойства несобственных интегралов:
+∞ +∞
n. Из сходимости интегралов ∫ f ( x) dx и ∫ g ( x) dx следует сходимость
a a
интеграла
+∞ +∞ +∞
∫ ( f ( x) ± g ( x)) dx = ∫ f ( x) dx ± ∫ g ( x) dx.
a a a

o. Пусть k ≠ 0 – произвольная постоянная, тогда из сходимости инте-


+∞
грала ∫ f ( x )dx следует сходимость интеграла
a
+∞ +∞
∫ k f ( x) dx = k ∫ f ( x) dx .
a a
+∞
Если же интеграл ∫ f ( x) dx расходится, то расходится также интеграл
a
+∞
∫ k f ( x) dx .
a

92
3.3. Признаки сходимости несобственных интегралов
с бесконечными пределами интегрирования.
Cформулируем и докажем ряд утверждений, аналогичных соответствую-
щим утверждениям (признакам сравнения) для числовых рядов.

Теорема 1. Если для некоторого числа c при x ≥ c имеют место неравен-


ства:
0 ≤ f(x) ≤ g(x),
то из сходимости интеграла
+∞
∫ g ( x)dx (1)
a
следует сходимость интеграла
+∞
∫ f ( x)dx, (2)
a
а из расходимости интеграла (2) следует расходимость интеграла (1).

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


верждение.

Лемма. Пусть d – наименьшее из чисел a и c, т.е. d = min {a, c}, и пусть


функция f (x) определена и интегрируема на любом конечном промежутке
+∞ +∞
[d, A], где A > d. Тогда интегралы ∫ f ( x)dx и ∫ f ( x)dx сходятся или расхо-
a c

дятся одновременно.
Действительно, имеем
A c A
∫ f ( x)dx = ∫ f ( x)dx + ∫ f ( x)dx . (3)
a a c

Переходя в обеих частях равенства (3) к пределу при А → +∞ с учетом то-


c
го, что ∫a f ( x) dx = const , получим три возможных результата:

93
1) пределы в правой и левой частях (3) одновременно не существуют;
2) оба этих предела бесконечны;
3) оба предела конечны. В этом случае имеет место равенство:
+∞ c +∞
∫ f ( x)dx = ∫ f ( x)dx + ∫ f ( x)dx .
a a c
Лемма, таким образом, доказана. Из нее следует, что на сходимость (расходи-
+∞
мость) несобственного интеграла ∫ f ( x)dx влияет только поведение функции
a

f (x) при достаточно больших значениях аргумента x (т.е. при x >> 1) .

Теперь можно перейти к доказательству теоремы:

Пусть значение с ≤ а. Тогда неравенство 0 ≤ f (x) ≤ g (x) справедливо для


A
всех x ≥ а. Рассмотрим функцию F ( A) = ∫ f ( x)dx . Эта функция – неубываю-
a

щая. Действительно, из условия 0 ≤ f (x) при B > A следует неравенство


B
F ( B ) = F ( A) + ∫ f ( x)dx ≥ F ( A) .
A

Как известно, для монотонно неубывающей функции F ( A ) всегда сущест-


вует предел:
⎧ F = const < ∞, если F(A) ограничена;
lim F ( A) = ⎨ o
A→+∞ ⎩ +∞, если F(A) не ограничена.
A
Аналогичные утверждения справедливы и для функции G ( A) = ∫ g ( x)dx .
a

Итак, если интеграл (1) сходится, т.е. существует конечный предел

lim G ( A) = Go , то функция G(A) ограничена, поскольку G(A) ≤ Gо. Из нера-


A→ +∞

венства f (x) ≤ g (x), верного для всех x ≥ а, и свойств определенного интеграла

94
получаем F(A) ≤ G(A) ≤ Gо, т.е. функция F(A) ограничена. Поэтому существу-

ет конечный предел lim F ( A) = Fo , и интеграл (2) сходится.


A→ +∞

Наоборот, если интеграл (2) расходится, т.е. lim F ( A) = +∞ , то из нера-


A→ +∞

венства F (A) ≤ G(A) следует: lim G ( A) = +∞ . Поэтому интеграл (1) также


A→ +∞

расходится.
Пусть теперь значение с > а. Если интеграл (1) сходится, то из доказан-
+∞
ной выше леммы следует, что сходится интеграл ∫ g ( x) dx . Поскольку для всех
c

x ≥ c справедливо неравенство 0 ≤ f (x) ≤ g(x), то из доказанного, следует схо-


+∞
димость интеграла ∫ f ( x) dx , откуда по лемме вытекает сходимость интеграла
c
+∞
(2). Если же интеграл (2) расходится, то расходится и интеграл ∫ f ( x)dx . Из
c

неравенства 0 ≤ f (x) ≤ g(x) (при x ≥ c) и доказанного выше, следует расходи-


+∞
мость интеграла ∫ g ( x)dx , откуда и следует расходимость интеграла (1).
c
Теорема полностью доказана.

Теорема 2. Если для функций f (x) ≥ 0 и g (x) > 0 существует предел


f ( x)
lim = k , 0 ≤ k ≤ +∞ , (4)
x → +∞ g ( x)

то из сходимости несобственного интеграла (1) при k < +∞, следует сходимость


интеграла (2), а из расходимости интеграла (1) при k > 0 вытекает расходимость
интеграла (2).

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


Если 0 < k < +∞, то из равенства (4) и определения предела следует, что для

95
любого числа ε > 0, существует δ = δ(ε) > 0 такое, что для любого х > δ выпол-
f ( x) f ( x)
няется неравенство: − k < ε , т.е. k − ε < < k + ε . Взяв, например, ε =
g ( x) g ( x)

= k/2 и используя положительность функции g (x), получим два неравенства:


⎧ f ( x) > ( k 2 ) g ( x),
⎨ (5)
⎩ f ( x) < ( 3k 2 ) g ( x).
+∞ +∞
Учитывая, что при cо = const ≠ 0 интегралы ∫a g ( x)dx и ∫ co g ( x)dx сходят-
a

ся или расходятся одновременно, из неравенства (5) и теоремы 1 получаем, что


интегралы (1) и (2) сходятся и расходятся одновременно.
Если k = 0, из равенства (4) и определения предела следует:
f ( x)
∀ε > 0 ∃δ = δ (ε ) > 0 : ∀x > δ ⇒ <ε .
g ( x)
Взяв, например, ε = 1, получаем отсюда, что 0 ≤ f (x) ≤ g (x), и из теоремы 1
выводим заключение теоремы 2: из сходимости интеграла (1) следует сходи-
мость интеграла (2).
Если значение k в пределе (4) бесконечно ( k = +∞), то из равенства (4) и
определения бесконечного предела получаем
f ( x)
∀M > 0 ∃δ > 0 : ∀x > δ ⇒ >M.
g ( x)
Отсюда при M = 1 имеем, что при x > δ выполнено неравенство f (x) > g (x). То-
гда в силу теоремы 1 из расходимости интеграла (1) следует расходимость ин-
теграла (2).

Теоремы 1 и 2 называют теоремами сравнения. Из этих теорем следует,


что сходимость несобственного интеграла можно установить, не вычисляя его
значения, а просто сравнив его с интегралом от уже исследованной функции.
+∞
dx
Для сравнения часто используют интеграл от степенной функции: ∫ p
(см.
a x
пример 1 п.3.1).

96
+∞
x 2 dx
ПРИМЕР 1. Исследовать на сходимость интеграл ∫ 4 2
.
0 x − x +1
Подынтегральная функция положительна, а ее числитель и знаменатель –
многочлены, причем степень числителя на два меньше степени знаменателя.
2
Следовательно, сравнение удобно проводить с функцией 1/(x ). Существует
предел:

x2 1 x4
lim : = lim = 1.
4 2 2 4 2
x →+∞ x − x +1 x x →+∞ x − x +1
+∞
dx
Поскольку интеграл ∫ x 2
сходится (см. пример 1 из п. 3.1, p = 2 > 1), то в си-
1
+∞
x 2 dx
лу теоремы 2 сходится и интеграл ∫ 4 2
. Поскольку на отрезке [0,1]
1 x − x +1
1
x 2 dx
подынтегральная функция непрерывна, то интеграл ∫ x4 − x2 + 1 сходится (он
0
уже не является несобственным). Таким образом, сходится и исходный инте-
+∞
x 2 dx
грал ∫ 4 2

0 x − x +1

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

Критерий Коши существования предела функции.

Предел lim ϕ( x) существует и конечен тогда и только тогда, если


x → +∞

∀ε > 0 ∃ δ = δ (ε ) > 0 : ∀x ', x " > δ ⇒ ϕ ( x′ ) − ϕ ( x′′ ) < ε .

Аналогичный критерий справедлив и для несобственного интеграла с бес-


конечными пределами:

97
Критерий Коши сходимости несобственного интеграла
с бесконечными пределами интегрирования.
+∞
Для сходимости интеграла ∫ f ( x)dx необходимо и достаточно, чтобы
a
b′′
∀ε > 0 ∃ δ = δ (ε ) > 0 : ∫ f ( x)dx < ε для ∀b′, b′′ > δ .
b′

На основе критерия Коши может быть доказана еще одна важная теорема:

+∞ +∞
Теорема 3. Если сходится интеграл ∫ f ( x) d x , то интеграл ∫ f ( x)dx
a a
также сходится.
+∞
Доказательство. Если ∫ f ( x) dx < ∞, то в силу критерия Коши
a
b"
∀ε > 0 ∃δ > 0 : ∀b ', b " > δ ⇒ ∫ f ( x) dx < ε .
b'

Но по свойству определенного интеграла справедливо неравенство


b" b" b"
∫ f ( x)dx ≤ ∫ f ( x) dx . Отсюда ∫ f ( x) dx < ε и по критерию Коши сходится
b' b' b'

+∞
также несобственный интеграл ∫ f ( x)dx .
a
+∞
x cos x
ПРИМЕР 2. Исследовать на сходимость интеграл ∫ 2
dx .
0 x + 100
x cos x
Подынтегральная функция f ( x) = на интервале [0, +∞] не сохра-
2
x + 100
няет знак, в то же время теоремы сравнения справедливы только для положи-
x cos x
тельных функций. Рассмотрим функцию f ( x ) = ≥ 0 . Для нее спра-
2
x + 100

98
x x 1
ведливо неравенство: f ( x ) ≤ ≤ = = g ( x ) . Поскольку несоб-
2 2 32
x + 100 x x

ственный интеграл ∫ g ( x)dx < ∞ сходится (см. пример 1 п.3.1 при р = 3/2), то по
1
+∞
теореме 1 сходится и интеграл ∫ f ( x) dx , а значит, по теореме 3, интеграл
1
+∞
x cos x
∫ 2
также сходится. На отрезке [0,1] функция f (x) непрерывна, следо-
1 x + 100
1
вательно, существует конечный интеграл ∫ f ( x)dx . Таким образом, заданный
0
∞ 1 ∞
интеграл ∫ f ( x)dx = ∫ f ( x)dx + ∫ f ( x)dx сходится. ƒ
0 0 1

Теоремы 1– 3 дают возможность исследовать на сходимость несобствен-


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

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


Пусть выполнены условия:
1) функция φ(x) монотонно стремится к нулю при x → +∞;
x
2) первообразная Ψ ( x) = ∫ ψ (ξ)d ξ ограничена.
a
+∞
Тогда несобственный интеграл ∫ ψ( x)ϕ( x)dx сходится (вообще говоря, не аб-
a
солютно).

99
p
Замечание. В качестве φ(x) часто берут степенную функцию φ(x) = 1/x ,

p > 0. Эта функция, очевидно, монотонно стремится к нулю при x →+∞ .

+∞
sin x
ПРИМЕР 3. Исследовать на сходимость интеграл ∫ x dx .
1

1 1
Рассмотрим функции ϕ( x) = = и ψ(x) = sin x. Первообразная
x x1 2
x
функции ψ(x) ограничена: Ψ ( x ) = ∫ sin ξ dξ = − cos ξ 1 = cos1 − cos x , а значит
x

Ψ ( x ) ≤ cos1 + cos x ≤ 2 . Следовательно, по признаку Дирихле, инте-

+∞
sin x
грал ∫ x dx сходится.
1
Докажем, что сходимость этого интеграла условная. Предположим про-
+∞
sin x
тивное: имеет место абсолютная сходимость, т.е. интеграл ∫ x
dx сходит-
1

ся. Тогда по теореме 1, в силу неравенств 0 ≤ sin 2 x ≤ sin x , сходится также ин-
∞ +∞
sin 2 x 2 1 cos 2 x
теграл ∫ dx . Но sin x = (1 − cos 2 x) , а интеграл ∫ dx , как можно
1 x 2 1 x
доказать, сходится по признаку Дирихле. Значит, по свойству несобственного
интеграла должен также сходится интеграл
∞ ∞ ∞
dx sin 2 x cos 2 x
∫ x = 2 ∫ x dx + ∫ x dx .
1 1 1
Получено противоречие (см. интеграл из примера 1 при p = 1/2 < 1). Сделанное
+∞
sin x
предположение оказалось неверным, интеграл ∫ x
dx , на самом деле рас-
1
ходится. ƒ

100
3.4. Несобственные интегралы от неограниченных функций.

Рассмотрим теперь функцию f (x), заданную в конечном промежутке [a,b),


но не ограниченную на этом промежутке. Предположим, что функция f (x) ог-
раничена и интегрируема на любом отрезке [a, b – δ], где δ > 0, но не ограни-
чена на интервале (b – δ, b). Точка b в этом случае называется особой точкой.

Определение 1. Несобственным интегралом функции f (x) в проме-


b −δ
жутке от a до b называется предел интеграла ∫ f ( x)dx при δ→0 (конечный
a

или бесконечный):
b b −δ
∫ f ( x)dx = δlim
→0
∫ f ( x)dx . (1)
a a
Если предел (1) конечен, то говорят, что несобственный интеграл сходится, а
функцию f (x) называют интегрируемой в промежутке [a,b). Если предел (1)
бесконечен или не существует, то говорят, что несобственный интеграл расхо-
дится.
Аналогично, для функции f (x), определенной и интегрируемой в проме-
жутке [a + δ, b] и неограниченной на интервале (a, a + δ) определяется несобст-
венный интеграл
b b
∫ f ( x)dx = δlim
→0
∫ f ( x)dx . (2)
a a+δ

Здесь точка a – особая точка функции f (x) .

Возможен случай, когда особые точки расположены внутри отрезка [a, b].

Пусть a ≤ c1 < c2 <…< cn ≤ b, где c1 , c2 ,…, cn – особые точки функции f (x), т.е.

f (x) не ограничена в окрестностях точек ci, но ограничена и интегрируема на

отрезке [a, b] с выброшенными окрестностями точек ci. Тогда несобственный

101
интеграл от функции f (x) по отрезку [a, b] определяется как сумма несобствен-
ных интегралов вида (1) и (2):
b c1 n −1 ci +1 b
∫ f ( x)dx = ∫ f ( x)dx + ∑ ∫ f ( x)dx + ∫ f ( x)dx , (3)
a a i =1 ci cn

где
ci +1 ci +1 −δ 2
∫ f ( x)dx = lim lim ∫
δ1 → 0 δ 2 → 0 c +δ
f ( x)dx .
ci i 1

Если c1 = a, то первое слагаемое в правой части (3) отсутствует. Если cn = b, то


отсутствует последнее слагаемое.

Определение 2. Интегралы вида (1) – (3) из разделов 3.1 и 3.4 называ-


ются несобственными интегралами (в отличие от изученных в главе 2 опреде-
ленных интегралов Римана, называемых собственными).

1
dx
ПРИМЕР 1. Вычислить несобственный интеграл ∫ 2
.
−1 1− x
Здесь особые точки подынтегральной функции – точки x = ±1. По формуле
(3) имеем
1 1−δ 2
dx dx
∫ 2
= lim
δ1 → 0 ∫ 2
=
−1 1− x −1+δ1 1 − x
δ 2 →0
π ⎛ −π ⎞
= lim arcsin (1 − δ 2 ) − lim arcsin ( −1 + δ1 ) = −⎜ ⎟ = π.ƒ
δ 2 →0 δ1 → 0 2 ⎝ 2 ⎠

1
dx
ПРИМЕР 2. Исследовать на сходимость несобственный интеграл ∫ p
.
0x
Подынтегральная функция на отрезке [0, 1] имеет единственную особую
точку: x = 0. По определению получаем

102
⎧ − p +1 1
⎪x
⎪ − p + 1 , при p ≠ 1,
1 1
dx dx
∫ x p = δlim ∫ = lim ⎨
→0 x p δ →0 ⎪
δ =
0 δ 1
⎪ ln x , при p = 1,
⎩ δ
⎧ 1 δ 1− p ⎧ 1
⎪⎪ − lim , p ≠ 1, ⎪ , p < 1,
= ⎨ 1 − p δ →0 1 − p = ⎨1 − p
⎪− lim ln δ , p = 1, ⎪ +∞, p ≥ 1.
⎪⎩ δ →0 ⎩

1
dx
Итак, несобственный интеграл ∫ p
сходится при p < 1, а при p ≥ 1
0x
+∞
dx
этот интеграл расходится, (в отличие от несобственного интеграла ∫ x p
из
1
примера 1 п.3.1).ƒ
2
dx
ПРИМЕР 3. Исследовать на сходимость интеграл ∫ .
0 ( x − 1)
2

Особая точка х = 1 лежит внутри отрезка интегрирования. По определению,


2 1 2 1− 0 2
dx dx dx −1 1
∫ =∫ +∫ = − =
0 ( x − 1)
2
0 ( x − 1)
2
1 ( x − 1)
2 ( x − 1) 0 ( x − 1) 1+ 0
1 1
= − lim − 1 − 1 + lim = −(−∞) − 2 + (+∞) = +∞.
x →1− 0 ( x − 1) x →1+ 0 ( x − 1)

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

Замечание. Пример 3 демонстрирует, как важно начинать исследование


несобственного интеграла с определения особых точек. Ведь, если решать его
формально по формуле Ньютона – Лейбница для определенных интегралов:
2 2
dx 1
∫ = − = −2 , (???)
0 ( x − 1)
2 x − 1 0

был бы получен неверный результат.

Для несобственных интегралов от неограниченных функций справедливы


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

103
делами интегрирования. Сформулируем, например теоремы сравнения для ин-
теграла вида (2) (для интегралов вида (1) и (3) они формулируются и доказыва-
ются аналогично).

Теорема 1. Если для некоторого числа δ > 0 при а ≤ х ≤ а + δ имеет ме-


сто неравенство:
0 ≤ f (x) ≤ g (x),
b
то из сходимости интеграла ∫ g ( x)dx , (а – особая точка функции g (x)) следует
a
b
сходимость интеграла ∫ f ( x)dx , (а – особая точка функции f (x)), а из расходи-
a
b b
мости интеграла ∫ f ( x)dx следует расходимость интеграла ∫ g ( x)dx .
a a

Теорема 2. Если существует предел


f ( x)
lim = k , 0 ≤ k ≤ +∞,
x → a g ( x)

причем для некоторого положительного числа δ при а ≤ х ≤ а + δ справедливы


неравенства f (x) ≥ 0, g(x) > 0, то из сходимости несобственного интеграла
b b
∫ g ( x) dx при 0 ≤ k < ∞ следует сходимость несобственного интеграла ∫ f ( x)dx ,
a a
b
а из расходимости интеграла ∫ g ( x)dx при 0 < k ≤ ∞ следует расходимость ин-
a
b
теграла ∫ f ( x)dx (точка а – особая точка).
a
b
Теорема 3. Если сходится несобственный интеграл ∫ f ( x) dx, то схо-
a
b
дится интеграл ∫ f ( x)dx , (а – особая точка функции f (x)).
a

104
Определение 3. Пусть несобственный интеграл (2) сходится. Тогда он
называется абсолютно сходящимся, если, наряду с ним, сходится и интеграл
b
∫ f ( x) dx, (4)
a
и условно сходящимся, если интеграл (4) расходится.

Замечание. Для исследования сходимости интеграла (2) по теоремам 1 и


p
2 функцию f (х) часто сравнивают со степенной функцией 1/x (см. пример 2).

ПРИМЕР 4. Исследовать на сходимость интеграл

1
ln(1 + x)
∫ 2
dx. (5)
0 x + 4x
Здесь точка x = 0 − особая точка. В окрестности нуля бесконечно малая
2 3 2
функция ln(1+ x) эквивалентна x, а функция x + 4 x эквивалентна x . Тогда,

x 1
сравнивая подынтегральную функцию с функцией = , получим
x2 x
ln(1 + x)
2 3 x ln(1 + x) 1
lim x + 4 x = lim 2 = lim =1 .
x →0 1 x →0 x + 4 x3 x →0 1 + 4 x
x
1
dx
Но интеграл ∫ x расходится, следовательно, по теореме 2 расходится и инте-
0
грал (5). ƒ

ПРИМЕР 5. Интегралом Эйлера I-го рода, или бета-функцией, называ-


ется интеграл:
1
Β(a, b) = ∫ x a −1 (1 − x)b −1 dx , (6)
0

где а и b – положительные постоянные.

105
При а ≥ 1 и b ≥ 1 в интеграле (6) особых точек нет, при а < 1 особая точ-
ка – ноль, при b < 1 особая точка – единица.
Разложим интеграл (6) на сумму двух интегралов:
1/ 2 1
B(a, b) = ∫ x a −1 (1 − x)b −1 dx + ∫x
a −1
(1 − x)b −1 dx = I1 + I 2 ,
0 1/ 2
и оценим каждое из слагаемых.
b −1
a −1 b −1 x a −1 x a −1 a −1 ⎛1⎞
При x ≤ 1/2 и b < 1 имеем: x (1 − x) = ≤ =x ⋅⎜ ⎟ .
(1 − x ) 1− b
⎛1⎞
⎜ ⎟
1− b ⎝2⎠
⎝2⎠

При b ≥ 1 и 0 ≤ x ≤ 1/ 2 имеем: x a −1 (1 − x) b −1 ≤ x a −1 .
1/ 2 1/ 2
a −1 dx
Интеграл ∫ x dx = ∫ 1− a
сходится при р = 1 – а < 1, т.е. при а > 0.
0 0 x
1/ 2 1/ 2
То же справедливо и для интеграла: ∫ x
a −1
(1 2) b −1
dx = (1 2 ) b −1
∫ x
a −1
dx . Сле-
0 0

довательно, по теореме 1 интеграл I1 сходится при а > 0 для всех b.

При x ≥ 1/2 и а < 1 имеем:

x a −1
(1 − x) b −1
=
(1 − x )b −1 (1 − x )b −1

1
= ( ) a −1 (1 − x) b −1 .
x1− a (1 2)1− a 2
После замены у = 1– x получаем
1 0 1/ 2 1/ 2
b −1 b −1 b −1 dy
∫ (1 − x) dx = − ∫ y dy = ∫ y dy = ∫ 1−b
.
1/ 2 1/ 2 0 0 y

Этот интеграл сходится при 1– b < 1, т.е. при b > 0.

При а ≥ 1 и 1 ≥ x ≥ 1/2 имеем: x a −1 (1 − x) b −1 ≤ (1 − x) b −1 .

Следовательно, по теореме 1 интеграл I2 сходится при b > 0.


Таким образом, интеграл Эйлера I-го рода определен (сходится) для лю-
бых положительных значений а и b. ƒ

106
ПРИМЕР 6. Интегралом Эйлера II-го рода, или гамма-функцией, на-
зывается интеграл
+∞
Г(a ) = ∫ x a −1 ⋅ e− x dx, a > 0 . (7)
0
Для исследования интеграла (7) на сходимость разобьем его на сумму
двух интегралов:
+∞ 1 +∞
a −1 −x a −1 −x a −1 − x
∫ x ⋅e dx = ∫ x ⋅e dx + ∫ x ⋅ e dx = I1 + I 2 .
0 0 1

Если а ≥ 1, то подынтегральная функция непрерывна, а значит, I1 – собст-


венный интеграл.
а–1 –х а–1
При 0 < а < 1 и x ≥ 0 имеем х е ≤х . Поэтому в силу теоремы 1
1 1
a −1 − x
интеграл ∫ x e dx cходится, если сходится интеграл ∫ x a −1dx , т.е. при а > 0
0 0

(подробнее см. пример 2).


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

Известно, что для достаточно больших значениий x (т.е. при x >> 1) и


λ x
при любом положительном числе λ справедливо соотношение: ln x < x < e .

Поэтому, приняв λ = 2а, получим: e x 2 > x a при а > 0. Тогда подынтегральная

a −1 − x xa 1 1
функция в (7) удовлетворяет неравенству: x e = ⋅ < . По-
x2 x2 x2
xe e e
∞ ∞
−x / 2 −x / 2
скольку ∫e dx = −2e = 2e−1/ 2 < ∞ , то по теореме 1 п. 3.3 интеграл
1
1

I2 сходится при а > 0.


Таким образом, доказано, что интеграл Эйлера II-го рода (7) сходится при
любом положительном значении параметра а. ƒ

107
Замечание. Отметим важное свойство гамма-функции. Имеем
+∞ +∞
Г(1) = ∫ e − x dx = − e− x = 1.
0
0

Для любого натурального значения n, применив формулу интегрирования по


частям, получим
+∞ +∞ ⎛ +∞ +∞ − x n −1 ⎞
n −1 −x n −1 −x n −1 − x
Г(n) = ∫ x ⋅e dx = − ∫ x de = −⎜ x e
⎜ 0
− ∫ e dx ⎟ =

0 0 ⎝ 0 ⎠
+∞
= (n − 1) ∫ x n − 2 ⋅ e− x dx = (n − 1) ⋅ Γ (n − 1).
0
Повторяя процедуру интегрирования по частям, приходим к формуле
Γ(n) = (n − 1) ⋅ Γ(n − 1) = (n − 1) ⋅ (n − 2) ⋅ Γ (n − 2) = …
= (n − 1) ⋅ (n − 2) ⋅… ⋅ 2 ⋅ Γ(1).
Отсюда получаем известное соотношение, связывающее гамму-функцию
натурального аргумента n и факториал этого числа:
Г(n) = (n − 1)!
Таким образом, гамма-функция представляет собой обобщение понятия
факториала на множество неотрицательных чисел.

3.5. Интегралы, зависящие от параметра.

Интегралы Эйлера представляют собой пример несобственных интегра-


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

108
Интегрирование под знаком интеграла.
Исследуем интеграл:
ϕ2 ( y)
I ( y) = ∫ f ( x, y ) dx , (1)
ϕ1 ( y )

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


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

Пусть функции φ1(у) и φ2(у) непрерывны, а функция f (x, y) непрерывна по


совокупности своих переменных. В этом случае существует интеграл:
d d ϕ2 ( y)
∫ I ( y)dy = ∫ dy ∫ f ( x, y ) dx . (2)
c c ϕ1 ( y )

В частном случае, если функции φ1(у) и φ2(у) есть постоянные: φ1(у) ≡ a;

φ2(у) ≡ b, то в равенстве (2) можно поменять порядок интегрирования:


d d b b d
∫ I ( y)dy = ∫ dy ∫ f ( x, y) dx = ∫ dx ∫ f ( x, y)dy . (3)
c c a a c

Дифференцирование под знаком интеграла.

Теорема 1. Пусть функция I (y) задана равенством:


b
I ( y ) = ∫ f ( x, y )dx , (4)
a
где функция f (x, y) непрерывна и имеет непрерывную частную производную
f y′ (x,y) в прямоугольнике: а ≤ x ≤ b, c ≤ у ≤ d.

Тогда существует производная функции (4), причем


b b
d
dy ∫
I '( y ) = f ( x, y )dx = ∫ f y′ ( x, y )dx . (5)
a a

109
1
ПРИМЕР 1. Найти производную функции I ( y ) = ∫ ln x 2 + y 2 dx.
0
( )
Имеем по формуле (5):
1 1
(0
I ′( y ) = ∫ ln( x + 2 2 '
)
y ) dx = ∫
y 2
2y
0x +y
2
1
dx = 2 arctg . ƒ
y

Теорема 2. Пусть функция I (у) задается формулой (1):


ϕ2 ( y)
I ( y) = ∫ f ( x, y ) dx ,
ϕ1 ( y )

где функция f (x, y) непрерывна в прямоугольнике а ≤ x ≤ b, c ≤ у ≤ d, функ-

ции φ1(у) и φ2(у) непрерывны при c ≤ у ≤ d и принимают значения в интервале

от а до b. Тогда функция I (у) непрерывна при c ≤ у ≤ d.


Если к тому же в указанном прямоугольнике существует и непрерывна ча-
стная производная f y′ (x, y), а также существуют производные φ′1(у) и φ′2(у), то

производная интеграла I (у) существует определяется по формуле


ϕ2 ( y)
I ′( y ) = ∫ f y′ ( x, y )dx + ϕ 2′ ( y ) ⋅ f (ϕ 2 ( y ), y ) − ϕ1′ ( y ) ⋅ f (ϕ1 ( y ), y ) . (6)
ϕ1 ( y )

y2 2
ПРИМЕР 2. Найти производную функции I ( y ) = ∫ e yx dx .
y
По формуле (6) получаем
y2
yx 2 ' 2 ′ ⎛ yx 2 ⎞ ⎛ yx 2 ⎞
I ′( y ) = ∫ ( e ) y dx + ( y ) ⋅
y ⎜

e ⎟
⎠ 2
− ( y ) ′ ⋅
y ⎜e



=
y x= y x= y

y2
2 5 3
= ∫ x 2 e yx dx + 2 ye y − e y . ƒ
y

110
Интегрирование и дифференцирование по параметру
в несобственных интегралах.
Введем вначале важное понятие равномерной сходимости несобственных
интегралов, зависящих от параметра.

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


+∞
∫ f ( x, y )dx (7)
a
и
b
∫ f ( x, y )dx , (а − особая точка) (8)
a

называются сходящимися равномерно по переменной у, принадлежащей неко-


торой области U, если они сходятся при любом фиксированном значении y ∈ U

и величина δ в критерии сходимости несобственного интеграла (см. п. 3.3) не


зависит от значения у, т.е.
b′′
∀ε > 0 ∃δ = δ (ε ) > 0 : ∫ f ( x, y )dx < ε для ∀b′, b′′ > δ и ∀y ∈ U
b′

− для интеграла (7),


a +b′′
∀ε > 0 ∃δ = δ (ε ) > 0 : ∫ f ( x, y )dx < ε для ∀b′, b′′ : 0 < b′, b′′ < δ и ∀y ∈ U
a + b′

− для интеграла (8).

Сформулируем свойства равномерно сходящегося интеграла (7). (Ана-


логичные свойства справедливы и для интеграла (8)):

n. Если функция f (х, у) непрерывна при х ≥ а и c ≤ у ≤ d и интеграл (7)



сходится равномерно при c ≤ у ≤ d, то функция I ( y ) = ∫ f ( x, y )dx непрерывна
a

по у при c ≤ у ≤ d.

111
o. При условиях, сформулированных в свойстве 1, справедлива формула
интегрирования под знаком интеграла:
d ∞ ∞ d
∫ dy ∫ f ( x, y)dx = ∫ dx ∫ f ( x, y)dy .
c a a c

p. Если функции f (x,y) и f y′ (x,y) непрерывны, несобственный интеграл



(7) сходится, а интеграл ∫ f y′ ( x, y )dx сходится равномерно, то имеет место
a
формула дифференцирования под знаком интеграла:

d ∞ ∞
∫ f ( x, y )dx = ∫ f y' ( x, y )dx .
dy a a

Интегрирование и дифференцирование по параметру иногда позволяет


значительно упростить процедуру вычисления определенных интегралов:


sin x
ПРИМЕР 3. Вычислить интеграл A = ∫ x dx .
0

sin x
Соответствующий неопределенный интеграл ∫ x dx не может быть вы-

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


Для вычисления искомого интеграла A рассмотрим функцию

sin x
I (t ) = ∫ e−tx ⋅ dx, t ≥ 0 .
0
x

Тогда A = I (0).
Дифференцируя под знаком интеграла, получим

I ′(t ) = − ∫ e−tx sin xdx .
0
Этот интеграл легко вычисляется при t > 0 :

112
1∞ −tx 1 ⎛ −tx ∞

−tx ⎞
I ′(t ) = ∫ sin xde = ⎜ sin x e − ∫ e cos xdx ⎟=
t0 t ⎜⎝ 0
0

1∞ −tx 1⎛ −tx ∞
∞ ⎞ 1
= ∫ cos xde = ⎜ cos xe + ∫ e−tx sin xdx ⎟ = ( −1 − I ′(t ) ) .
t2 0 t 2 ⎜⎝ 0
0
⎟ t2

Отсюда
1
I ′(t ) = − .
1+ t2
Интегрируя полученное соотношение, находим
1
I (t ) = − ∫ dt = − arctg t + C .
2
1+ t
Постоянную интегрирования С можно определить из условия I (+∞) = 0:
π π
0=− +C ⇒ C = .
2 2
π
Тогда I (t ) = − arctg t . По свойству 1 функция I (t ) непрерывна, поэтому ис-
2
комый интеграл может быть найден в результате предельного перехода:

sin x π π
∫ x dx = I (0) = tlim
→ 0
I (t ) = lim ( − arctg t ) = . ƒ
t →0 2 2
0

113
Теоретические вопросы к главе 3.

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


2. Дать определение несобственного интеграла от неограниченной функции.
b
dx
3. В каком случае интеграл ∫ x2 + 4 x + 4 является несобственным?
a
4. Какие интегралы называются интегралами Эйлера? При каких значениях
параметра они сходятся?
5. Справедлива ли следующая запись
e +1
dx e +1
∫ x −1
= ln | x − 1|
−e + 1
= ln | e | − ln | −e |= 1 − 1 = 0 ?
− e +1
5
6. Найти производную функции I ( y ) = ∫ sin( xy )dx двумя способами: 1) вы-
y

числив предварительно интеграл; 2) используя формулу (6) из раздела


3.5. Сравнить результаты.

Задачи к главе 3.

Вычислить интегралы или установить их расходимость:


∞ ∞ ∞
dx dx arctg xdx
1. ∫ 2
. 2. ∫ 2
. 3. ∫ 2
.
−∞ x + 9 −∞ x + 4x + 9 −∞ x + 1
∞ ∞ ∞
−x −2 x
4. ∫e cos x dx . 5. ∫ e sin x dx . 6. ∫ xe − x dx .
−∞ 0 0

∞ ∞ ∞
xdx − x2 arctg 2 x
7. ∫ . 8. ∫ xe dx . 9. ∫ dx .
(1 + x ) 2 2 2
0 −∞ 0 4x + 1

114
∞ ∞ ∞
dx dx x 2 dx
10. ∫
2
. 11. ∫2 x ln x 2
. 12. ∫ .
e x ln x e ( ln ln x ) 2 1− x 3

∞ ∞ ∞ 2
2 −x xdx x +1
13. ∫ x e dx . 14. ∫ . 15. ∫ dx .
2 3
0 1 1+ x 1 x
∞ ∞ ∞
dx dx dx
16. ∫ . 17. ∫ . 18. ∫ .
2 ( x − 1)
2 4 3/ 2
e x ⋅ ln x 1 ( 2 x − 1)
∞ ∞ ∞
cos xdx x 2 dx
19. ∫ ln xdx . 20. ∫ . 21. ∫ .
3 3
1 1 sin x 2 x −1
∞ ∞ ∞
dx dx x 3 dx
22. ∫ . 23. ∫ . 24. ∫ .
x ln 2 x ( ln ( ln 2 x ) )
2 3 3 4
1 x ln 2 x 4 0 x +1
∞ ∞ ∞
xdx x 2 arctg x3dx x3dx
25. ∫3 . 26. ∫ . 27. ∫ .
( x4 + 5)
6 1/ 2
0
2
x +4 −∞ 1+ x 0

∞ ∞ ∞
−2 x arctg 2 x dx
28. ∫ xe dx . 29. ∫ ln 3xdx . 30. ∫ .
0 2 −∞ 1 + x2

Вычислить интегралы или установить их расходимость:


2 e 3
dx dx dx
31. ∫ 4
. 32. ∫ 4
. 33. ∫ 3/ 2
.
0 ( x − 1) 1 x ⋅ ln x 0 ( 2 x − 1)

1 1 1
dx arcsin xdx
34. ∫ ln xdx . 35. ∫ 2
. 36. ∫ 2
.
0 −1 1− x 0 1− x
1/ 2 1 π /4
arccos 2 x dx cos x dx
37. ∫ 2
dx . 38. ∫
x ln x
. 39. ∫ 3
.
0 1 − 4x 0 0 sin x
1 1 e
x 2 dx dx dx
40. ∫ . 41. ∫ 2
. 42. ∫
2
.
0 1− x 3
0x + 4x 1 x ln x

115
e2 1 1 2
dx xdx x +1
43. ∫ . 44. ∫ . 45. ∫ dx .
2 3
e x ln x ( ln ln x ) 0 1− x 2
0 x
1 1 2
dx dx dx
46. ∫ x ln x . 47. ∫ 2
. 48. ∫ ( x − 1)( x − 2 ) .
0 0 x ( x − 2) 0

2 1/ 2 π
dx arcsin 2 x cos xdx
49. ∫ 2
. 50. ∫ 2
dx . 51. ∫ 2
.
−2 4− x −1/ 2 1 − 4x 0 sin x
1 2 1
x5 dx dx dx
52. ∫ . 53. ∫ 2
. 54. ∫ 3
.
0 x ( x − 1) 0 4 x ⋅ ln x
6
−1 1− x
π /2 π /2 1
( 2 x + 5) dx
ctg xdx tg xdx
55. ∫ 2
. 56. ∫ 2
. 57. ∫ 2
.
0 sin x 0 cos x 0 x + 5x

1 ( 4 x + 3 x ) dx . 1
dx π
cos dx
58. ∫ 59. ∫ . 60. ∫ sin x .
(x )
2 3
0 2
+x x 0 3 x ln x 0

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


∞ 3 ∞ 3 3
x + x2 + 4 3 x + 1 − 2x x
61. ∫ 2 4
dx . 62. ∫ 2
dx .
1 3x + x + 5 2 x +4
∞3 3 ∞
2 x3 + 3 x + 4 + 2 x 2 + 6 3 x3 + 8 x + 6 − 2 x + x 2 + 8
63. ∫ 3 8
dx . 64. ∫ 3 4 6 2
dx .
3 3 x + 24 + 10 1 3 x + 4x + x
∞ ∞ 3
3 x + 8 x 2 + x3 + 4 2 x x4 + 5 + 5x
65. ∫ 8 2
dx . 66. ∫
6 4 2
dx .
2 3x + 2 x + 4 3 6x + 4x + 2 x + 1
∞ 3 ∞ 3
2 x x2 + 4 + 3 x x 2 x 3x 2 + 8 + 5 x
67. ∫ 4 2
dx . 68. ∫
2
dx .
1 3x + 25 x + 6 2 3x + 28
∞ ∞
3 x + x3 + 4 3 x x − 16 x 2 + 4
69. ∫ 2 4 3 2
dx . 70. ∫ 8 2 3 12
dx .
3 5 x + 16 x + 3 x 1 5 x + 16 x + 25 x +4

116
∞ ∞
2 x x 2 + 6 + 18 3x 2 + 5 x + 6
71. ∫ 3 12 2
dx . 72. ∫ 2 6
dx .
2 x + 5 + 2x 3 3x + x + 8
∞ ∞
2 x + 3 x18 + x 5x x − 6 x + 3
73. ∫ 2 3 2
dx . 74. ∫ 2 4 3 12
dx .
4 3x + 16 + 2 x 5 5x + 8x + x +4
∞ ∞
2 x x2 + 4 + 5x − 6 3x2 x + 5 + 8 x
75. ∫ 3 8 10
dx . 76. ∫ 3 4 5 20
dx .
1 3 x +6+ x +4 2 3 x + 25 + x +4
∞ ∞
8x2 x + 5 − 4 x 2x x + 5
77. ∫ 3 8 4
dx . 78. ∫
3 12 2
dx .
3 2 x + 6 + 24 x 43 x + 4 + 5x + 6
∞ 3 ∞ 3
16 x 2 + 4 x 3 + 8 + 3 x 2 x3 + 8x − 4 + x 2 + 3
79. ∫ dx . 80. ∫ dx .
1 25 x 4 + 13x 2 + 6 0 x 4 + 2 x 2 + 10
∞ ∞
3x 2 + 5 x + 16 2x + x2 + 4x + 3
81. ∫ dx . 82. ∫ dx .
4 3 12 2 4 2 2
1 16 x + 32 x + 8x + 4 2 5x + 30 x + 16 x + 1
∞ ∞
3x 5 + 4 x 3 + 2 x3 + 2x + 4
83. ∫ dx . 84. ∫ dx .
3 6 2 3 12 4
33 x + 8 + 4x + 5 42 x +4 + x +3
3
∞ ∞ 3
3x 2 + 8 x 2 + 6 2 x 2 + 3x 4 + 1 + 2 x 3
85. ∫ dx . 86. ∫ dx .
3 16 10 16 10
53 x + 5 + 5x 6 2x + 5x +8
∞ ∞ 3
2 x 3 + 3x 2 − 8 2x 2 + 3 x 4 + 3 + 5x
87. ∫ dx . 88. ∫ dx .
8 4 2 16 8
1 25 x + 2x + 3 x + 4 2 x + 25 x + 3
∞ 3 ∞
2 2 x5 + 8x + 9 + x + 3 3x 2 + 4 x + 5
89. ∫ dx . 90. ∫ dx .
2 4 3 4 2 6
3 3x + 16 x + 5 4,5 3 x + 25 x + 1 + 5 x + 8

117
ГЛОССАРИЙ

Двойной интеграл (double integral) – обобщение понятия определенного


интеграла на двумерный случай. Определяется как предел соот-
ветствующих интегральных сумм.
Диаметр множества (diameter of a set) – наибольшее расстояние между
двумя точками множества.
Замыкание области (closure of a domain) – объединение области и ее гра-
ницы.
Криволинейный интеграл (curvilinear integral) – обобщение понятия оп-
ределенного интеграла, связанное с заменой отрезка интегриро-
вания на дугу кривой линии.
Неопределенный интеграл (indefinite integral) – множество всех перво-
образных подынтегральной функции.
Несобственный интеграл (improper definite integral) – интеграл, один из
пределов интегрирования которого бесконечен, а также интеграл
от разрывной функции.
Определенный интеграл (definite integral) – предел последовательности
интегральных сумм при стремлении к нулю диаметра разбиения
отрезка интегрирования.
Первообразная (antiderivative) функции f(x) – функция F(x), производная
которой равна f(x).
Повторный интеграл (iterated integral) – интеграл от функции двух пере-
менных, взятый последовательно по одной переменной, а затем
по другой.
Потенциал (потенциальная функция) вектора (potential) – функция трех
переменных, частные производные которой по соответствующим
координатам совпадают с координатами вектора.
Правильная область 1-го типа (regular domain of 1-st type) – область на
плоскости, ограниченная прямыми x = a и x = b и кривыми y =
= φ1(х), у = φ2(х), где функции φ1(х), φ2(х) непрерывны на отрез-
ке [a, b] и φ1 (х) ≤ φ2 (х).
Правильная область 2-го типа (regular domain of 2-nd type) – область на
плоскости, ограниченная прямыми y = c, y = d и кривыми x =
= ψ1(у), х = ψ2(у), где функции ψ1(у) и ψ2(у) непрерывны на от-
резке [c, d] и ψ1(у) ≤ ψ2(y).

233
P( x)
Рациональная дробь (rational fraction) – функция вида f ( x) = , где
D( x)
P(x) и D(x) – многочлены.
Сапог Шварца (Schwarz’s boot) – вписанный в цилиндр многогранник,
сумма площадей граней которого стремится к бесконечности при
стремлении диаметров граней к нулю.
Связное множество (connected set) – множество, любые две точки которо-
го можно соединить непрерывной кривой, принадлежащей этому
множеству.
Тройной интеграл (triple integral) – обобщение понятия определенного
интеграла на трехмерный случай. Определяется как предел соот-
ветствующих интегральных сумм.
«Хорошая» кривая (regular curve) – кривая, граница которой составлена
из конечного числа графиков непрерывных функций.
Циркуляция вектора (circulation) – криволинейный интеграл II-рода от
векторной функции по замкнутому контуру.
Якобиан (Jacobian) – определитель, составленный из частных производ-
ных n функций, зависящих от n переменных.

Материалы, относящиеся к данному изданию можно найти на сайте


кафедры высшей математики РГУ нефти и газа им. И.М. Губкина:

http://kvm.gubkin.ru/index.html

234

Оценить