Российский государственный университет нефти и газа имени И. М. Губкина Кафедра высшей математики
В.В. Калинин, И.В. Пе...
67 downloads
66 Views
1MB Size
Report
This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
Report copyright / DMCA form
Российский государственный университет нефти и газа имени И. М. Губкина Кафедра высшей математики
В.В. Калинин, И.В. Петрова, В.Т. Харин
МАТЕМАТИКА в нефтегазовом образовании ТЕОРИЯ И ЗАДАЧИ
ВЫПУСК 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)
Например, при x > 0 функция ln x есть первообразная для Какой должна быть функция f ( x ) : I →
1 . x
для того, чтобы существовала
ее первообразная? Достаточное условие для этого дает Теорема 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.
∫ 0dx = C = const ,
ПРИМЕР 2.
∫ 1 ⋅ dx = x + C , α ∫ x dx =
ПРИМЕР 3.
1
x∈
.( )
x∈
.
xα +1 + C , (α ≠ −1) , x > 0 , или x < 0 , или x ∈ α +1
(в зависимости от показателя степени α ). 1 +1 xn
n +1
n В частности, при x > 0 : ∫ n x dx = +C = x n +C. 1 n +1 +1 n ПРИМЕР 4. или, короче,
1
∫ x dx = ln x + C
1
∫ x dx = ln( − x ) + C
(при x > 0),
1
∫ x dx = ln x + C , x ≠ 0 .
ax + C , ( a > 0, a ≠ 1) , x ∈ ПРИМЕР 5. ∫ a dx = ln a x
в частности,
(при x < 0),
x x ∫ e dx = e + C , x ∈
.
ПРИМЕР 6.
∫ sin xdx = − cos x + C ,
ПРИМЕР 7.
∫ ∫
ПРИМЕР 8.
∫
ПРИМЕР 9.
∫
dx cos2 x dx sin 2 x dx 1 + x2
∫ cos xdx = sin x + C , x ∈ π
= tg x + C ,
+ kπ < x <
2
π 2
kπ < x < ( k + 1)π , k ∈ .
= arctg x + C ,
x∈
2
= arcsin x + C ,
1
.
− 1 < x < 1.
( ) Знаком здесь и далее обозначается завершение решения примера.
7
.
+ ( k + 1)π , k ∈ ,
= − ctg x + C ,
dx 1− x
,
Если вид первообразной заданной функции не очевиден, то для ее нахождения можно воспользоваться свойствами неопределенного интеграла, с которыми мы начинаем знакомиться. Теорема 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 позволяет несколько расширить класс функций, для которых неопределенные интегралы могут быть найдены на основе таблицы производных основных элементарных функций: ПРИМЕР 10.
⎛
1
⎞
2
5 ∫ ⎜ 4 x − x + 2 ⎟ dx = sin x ⎠ ⎝
= 4 ∫ x 5dx − ∫
dx dx 2 + 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
∫ x e dx =
u = x 2 , d v = e x dx, du = 2 xdx, v = e x
= x 2 e x − ∫ 2 xe x dx = x 2 e x − 2 ∫ xe x dx .
К последнему интегралу снова примéним интегрирование по частям: x
∫ xe dx =
u = x, d v = e x dx, du = dx, v = e x
= xe x − ∫ e x dx = xe x − e x + C .
В результате получаем: 2 x 2 x x x 2 x ∫ x e dx = x e − 2 ( xe − e + C ) = ( x − 2 x + 2 ) e + C1,
где C1 – произвольная постоянная. Из двух последних примеров видно, что интегрирование по частям "в сторону понижения степени" полезно, в частности, при интегрировании функций вида x m a x , x m cos x , x m sin x при натуральных m. Конечно, только этим сфера применения рассматриваемого метода не ограничивается.
10
ПРИМЕР 13.
∫
u = x, d v =
cos x
dx, sin 3 x = dx = 1 sin 3 x du = dx, v = − 2sin 2 x
x cos x
=−
x 2sin 2 x
+
x 1 dx 1 ctg x + C . = − − ∫ 2 2 sin 2 x 2 2sin x
ПРИМЕР 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
Отсюда
I1 =
eax ( b sin bx + a cos bx ) a 2 + b2
+C.
Теперь легко выписать и второй искомый интеграл:
I2 =
eax ( a sin bx − b cos bx ) 2
a +b
2
+C.
Теорема 5 (интегрирование методом замены переменной, или подстановки). Пусть непрерывно дифференцируемая функция x = ϕ (t ) определена на интервале I числовой оси Ot (рис.1), а её значения заполняют интервал J числовой оси Ox. Пусть, кроме того, на интервале J задана непрерывная функция f ( x) . Тогда
∫ f ( x )dx = ∫ f (ϕ (t ) )ϕ ′(t )dt .
(6)
x 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 (на любом интервале, где определена подынтегральная функция). Сначала напишем: ∫ ctg x dx = ∫
cos x 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 , поэтому α
∫ ( ax + b )
1 dx = ∫ tα dt = a
⎞ 1 ( ax + b )α +1 1 ⎛ tα +1 +C⎟ = + C1 . ⎜ ⎟ a a ⎜⎝ α + 1 1 α + ⎠
13
ПРИМЕР 17. Если в предыдущем примере α = −1 , то с той же заменой переменной имеем
1 dt
dx
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 .
∫
ПРИМЕР 18. Вычислить интеграл
dx x2 + a2
(7)
, a > 0.
Интеграл легко сводится к интегралу из примера 8, если положить x = at. Тогда dx = adt , и мы получаем
∫
dx x2 + a2
=∫
adt a 2t 2 + a 2
1 dt 1 1 x = arctg t + C = arctg + C . ∫ a t2 +1 a a a
=
C помощью такой же замены x = at легко вычисляется интеграл
∫
dx a2 − x2
= arcsin
x +C. a
ПРИМЕР 19. Вычислить интеграл
dx
∫
2
x −a
2
.
Сначала с помощью уже знакомой замены x = at сводим интеграл к виду
∫
dx 2
x −a
2
=∫
dt 2
t −1
. Затем вводим еще одну замену t = chu , (u > 0) , получая
dt = (chu )′du = shu du . После этого
∫
dx 2
x −a
2
=∫
shudu 2
ch u − 1
= ∫ du = u + C .
Чтобы теперь вернуться от переменной u к переменной x, запишем сначала связь между u и t в виде
eu = α .
Получим
равенство
(
)
1 u e + e−u = t и выразим u через t, полагая 2
α+
1
α
= 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 ⎟ и, окончательно, 2 ⎜a ⎟ ⎝ ⎠ 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 . ПРИМЕР 21. Вычислить интеграл I = ∫
dx 2
x −a
2
.
Решение. Попробуем представить подынтегральную функцию в виде
1 x2 − a2
=
A B , + 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 ) ⎦ dx dx 1 1 1 1 ln x − a − ln x + a + C , = − = ∫ ∫ 2a x − a 2a x + a 2a 2a или, окончательно,
I =∫
dx x2 − a2
=
1 x−a ln +C. 2a x + a 15
Подведем промежуточные итоги настоящего раздела. Мы дали определение первообразной и неопределенного интеграла, установили, что операция интегрирования функции в каком-то смысле обратна операции дифференцирования. Были рассмотрены основные методы вычисления неопределенных интегралов, а именно: 1) непосредственное обращение таблицы производных основных элементарных функций (примеры 1 – 9); 2) использование теорем 3 – 5, являющихся следствием известных теорем дифференциального исчисления (о дифференцировании суммы функций и произведения функции на константу, о дифференцировании произведения функций и о производной сложной функции). Заметим, что применение теорем 4, 5 (интегрирование по частям и с помощью замены переменной) явно труднее по сравнению с применением аналогичных теорем при дифференцировании. В отличие от дифференцирования, которое сводится к автоматическому применению нужных теорем, не требуя особой сообразительности в выборе способа действий, интегрирование представляет более сложную задачу: оно, где-то, сродни искусству. Не всегда просто решить, когда надо интегрировать по частям, а когда искать замену переменной, и какую именно. Умение интегрировать достигается практикой. Один известный профессор математики так объяснял студентам разницу между интегрированием и дифференцированием. Он говорил, что найти производную функции − это все равно, что найти дитя, если знаешь мать. А интегрирование уже сродни поиску матери, если известно дитя (это более сложная задача!). Правда, как-то раз на лекции умудренная опытом студентка-вечерница задала уважаемому профессору вопрос: а как, зная дитя, найти его отца? Единственное, что смог ответить лектор, это что заданный вопрос выходит за рамки курса дифференциального и интегрального исчислений.
16
ПРИМЕР 22. Вычислить интеграл Заметим, во-первых, что
I =∫
1− x dx . x ( x + 1)
1 – это почти производная от x
x (не хватает
множителя 1/ 2 , который легко "создать"). После этого было бы неплохо, чтобы оставшаяся часть подынтегрального выражения содержала переменную интегрирования только в виде комбинации
x . Осталось догадаться, что x =
( x)
2
.
Всё – замена найдена: t = x ! Итак
I =∫
t= x 1− x 1− t dt 2tdt −∫ 2 . dx = dt = 2 ∫ 2 dx = 2 ∫ 2 x ( x + 1) dt = t +1 t +1 t +1 2 x
С первым интегралом все ясно:
∫
dt 2
t +1
= arctg t + C = arctg x + C .
Во втором интеграле надо опять заметить, что 2t – это производная от t 2 + 1 , после чего замена u = t 2 + 1 дает
du u = t2 + 1 =∫ = ln u + C = ln(t 2 + 1) + C = ln( x + 1) + C . ∫ 2 = u t + 1 du = 2tdt 2tdt
В результате имеем
I = 2 arctg x − ln( x + 1) + C . В числе приведенных выше примеров имеется значительное количество таких, к которым достаточно часто сводится вычисление других, более сложных интегралов. Естественно, было бы неразумно каждый раз проводить заново однотипные выкладки. Проще выписать наиболее часто встречающиеся интегралы в специальную таблицу. Такие интегралы и будут называться табличными. Их следует знать наизусть, как таблицу умножения. Для удобства в таблицу занесены и такие интегралы, которые не были разобраны выше (их спра-
17
ведливость можно обосновать с помощью дифференцирования правой части). Мы также опустим области определения соответствующих интегралов, которые легко установить по подынтегральной функции.
Таблица неопределенных интегралов. I.
∫ 0 dx = C .
II.
∫ dx = x + C .
III.
xα +1 ∫ x dx = α + 1 + C , α
α ≠ −1 ,
в частности: III’.
dx ∫ x = 2 x +C.
IV.
∫ x = ln x + C .
V.
∫ sin xdx = − cos x + C .
VI.
∫ cos xdx = sin x + C .
VII.
∫
dx
dx cos2 x
VIII.
∫
= tg x + C. dx
sin 2 x
= − ctg x + C.
IX.
∫ tgx dx = − ln cos x + C .
X.
∫ сtgx dx = ln sin x + C .
XI.
ax ∫ a dx = ln a + C , a > 0, a ≠ 1, x
в частности:
18
XI’.
x x ∫ e dx = e + C .
XII.
∫
dx a2 + x2
XIII.
∫
XIV.
∫
XV.
∫
XVIII.
1 x arctg + C . a a
dx x2 − a2
=
dx a2 − x2
1 x−a +C. ln 2a x + a = arcsin
x +C. a
dx
= ln ⎜⎛ x + x 2 ± a 2 ⎟⎞ + C . ⎝ ⎠ x2 ± a2 dx
XVI. XVII.
=
x
∫ sin x = ln tg 2 + C . x π
⎛ ⎞ ∫ cos x = ln tg ⎜ 2 + 4 ⎟ + C . ⎝ ⎠ dx
∫
2 x 2 2 a x ± a dx = x ±a ± ln x + x 2 ± a 2 + C . 2 2
XIX.
2
2
∫
2 x 2 x 2 a arcsin + C . a − x dx = a −x + 2 2 a 2
2
1.2. Интегрирование рациональных дробей. Вспомним, что рациональной дробью называется функция вида
P ( x) , f ( x) = m Dn ( x)
(1)
где Pm ( x) – многочлен степени m, а Dn ( x) – многочлен степени n. Функции такого вида часто встречаются в приложениях. Кроме того, что не менее важно, к интегрированию рациональных дробей сводится интегрирование многих других видов функций. Поэтому задача об интегрировании рациональных дробей имеет существенное значение. 19
Начинать решение такой задачи следует со сравнения степеней m и n в числителе и знаменателе дроби (1). Если m ≥ n , т.е. дробь неправильная, следует осуществить деление многочлена на многочлен, т.е. получить тождество
Pm ( x ) R ( x) = Tm − n ( x ) + s , Dn ( x ) Dn ( x )
(2)
в котором Tm − n ( x) есть многочлен степени m – n, а Rs ( x) – многочлен степени s < n . (Операция представления неправильной дроби (1) в виде суммы (2) многочлена и правильной дроби называется выделением целой части). Поскольку интегрирование многочлена не есть проблема, равенство (2) сводит интегрирование неправильной рациональной дроби к интегрированию правильной рациональной дроби. ПРИМЕР 1. Выделить целую часть дроби
x4 − 3 2
x + 2x + 1
.
Замечаем, что под знаком интеграла находится неправильная рациональная дробь: m = 4 , n = 2 < 4 . Поэтому делим числитель дроби на знаменатель, например, "уголком": 4 x2 + 2 x + 1 − x4 − 3 3 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 x2 + 2 x + 1
= x2 − 2 x + 3 −
4x + 6 x2 + 2 x + 1
.
Рассмотрим теперь общий метод интегрирования правильных дробей (1), где теперь считаем m < n . Будем предполагать, что коэффициент при x n мно-
20
гочлена Dn ( x) равен единице, чего легко добиться, умножив дробь (1) на надлежащее число. Первый этап метода – разложение многочлена Dn ( x) на множители как можно более низких степеней. Степень этой возможности определяется следующей теоремой. ТЕОРЕМА 1. Всякий многочлен Dn ( x) степени n со старшим коэффициентом, равным единице, может быть представлен в виде
Dn ( x) = ( x − x1 )
k1
( x − x2 )k2 ... ( x − x p )
kp
T ( x) ,
(3)
где x1 , x2 ,..., x p − различные действительные корни многочлена Dn ( x) , а
k1 , k2 ,..., k p – кратности соответствующих корней. Многочлен T ( x) действительных корней не имеет и представляется следующим образом:
(
T ( x) = x 2 + p1x + q1
) ( A1
x 2 + p2 x + q2
) ( A2
)
Ar ... x 2 + pr x + qr ,
(4)
где все квадратные трехчлены в скобках имеют отрицательные дискриминанты, а A 1 , A 2 ,..., A r − натуральные числа. При этом
k1 + k2 + ... + k p + 2(A 1 + A 2 + ... + A r ) = n . Доказывать эту теорему мы не будем. ПРИМЕР 2. Вычислить интеграл
∫
x3 + 6 x 2 + 13 x + 6 x 4 + 4 x3 − 16 x − 16
dx .
Решение. Непосредственно убеждаемся, что под знаком интеграла уже находится правильная рациональная дробь. Поэтому вначале нужно разложить знаменатель на множители. В общем случае это непростая задача. Но иногда её удается решить с помощью группировки членов. В нашем случае имеем:
(
) (
)
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 4
3
x + 4 x − 16 x − 16
dx = ∫
x3 + 6 x 2 + 13x + 6 3
( x − 2 )( x + 2 )
dx .
Вспоминая теорему 1, видим, что в нашем случае x1 = 2 , x2 = −2 , k1 = 1 ,
k2 = 3 , p = 2 , T ( x ) ≡ 1. Вычисление этого интеграла будет завершено позже. А пока предположим, что знаменатель правильной рациональной дроби (1) уже разложен на множители надлежащим образом. Что делать дальше? Второй этап метода – представление дроби в виде суммы слагаемых следующего вида: k
1) если знаменатель Dn ( x ) дроби (1) содержит множитель ( x − a ) , то в указанную сумму должны входить слагаемые
Ak A1 A2 ; + + ... + k x − a ( x − a )2 ( x − a)
(5)
(
)
A
2) если тот же знаменатель содержит множитель x 2 + px + q , то в сумму должны входить слагаемые
B1 x + C1
x 2 + px + q
+
(x
B2 x + C2 2
+ px + q
)
2
+ ... +
(x
BA x + CA 2
+ px + q
)
A
.
(6)
Числа A, B и C с различными индексами – это константы, которые следует найти. Все слагаемые в выражениях (5) и (6) называются простейшими рациональными дробями.
22
То, что описанное разложение рациональной дроби на сумму простейших дробей всегда возможно, может быть доказано в общем виде. Но и этого мы делать не будем, а просто рассмотрим несколько примеров. ПРИМЕР 3. Вычислить интеграл
∫
x4 − 3 x2 + 2 x + 1
dx .
Подынтегральная функция рассматривалась в примере 1. Тогда
∫
x4 − 3 x2 + 2 x + 1
dx = ∫ ( x 2 − 2 x + 3)dx − ∫
4x + 6 x2 + 2 x + 1
dx =
x3 4x + 6 = − x 2 + 3x − ∫ dx. 2 3 x + 2x + 1 Нам осталось вычислить интеграл
∫
2x + 3 2
x + 2x + 1
dx . Очевидно, разложение 2
знаменателя подынтегральной дроби имеет вид x 2 + 2 x + 1 = ( x + 1) . Поэтому дробь представляется в виде суммы простейших дробей следующим образом:
2x + 3 x2 + 2 x + 1
=
A1 A2 + . x + 1 ( x + 1)2
Как искать числа A1 , A2 ? Приведем последнее равенство к общему знаменателю и отбросим знаменатель. Получится:
2 x + 3 = A1 ( x + 1) + A2 . Это − равенство двух многочленов первой степени. Как известно, два многочлена тождественно равны тогда и только тогда, если равны коэффициенты при одинаковых степенях переменной. Приравнивание коэффициентов дает два уравнения относительно чисел A1 , A2 :
x1 : x0 :
2 = A1 ; 3 = A1 + A2 .
Решая их, находим A1 = 2 , A2 = 1 ; после чего искомый интеграл приводится к виду
23
∫
2x + 3 x2 + 2 x + 1
dx = 2 ∫
dx dx +∫ . x + 1 ( x + 1) 2
Интегралы в правой части легко берутся, что позволяет окончательно вычислить искомый интеграл:
x4 − 3
x3 2 dx = − x 2 + 3 x − 4 ln x + 1 + +C. ∫ 2 3 x + 1 x + 2x + 1 ПРИМЕР 4. Вернемся к примеру 2, в котором вычисление заданного интеграла свелось к вычислению интеграла
∫
x3 + 6 x 2 + 13x + 6 3
( x − 2 )( x + 2 )
dx .
Нам уже понятно, что разложение подынтегральной функции на сумму простейших дробей должно иметь вид
x3 + 6 x 2 + 13x + 6
( x − 2 )( x + 2 )3
=
A3 A1 A A4 . + 2 + + 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
( x − 2 )( x + 2 )3
dx = ∫
dx dx 1 +∫ = ln x − 2 − +C. 3 2 x−2 ( x + 2) 2( x + 2)
До сих пор в примерах нам встречались лишь простейшие дроби вида
A
( x − a)
k
(выражение (5)). Их интегрирование проблем не вызывало, ибо при
k = 1 очевидным образом имеем A
∫ x − a dx = A ln x − a + C ,
(7)
а при k = 2,3,... не менее очевидным образом получаем 1− k
A( x − a) dx = ∫ 1− k ( x − a )k A
+C.
Однако, к интегрированию простейших дробей вида
(8)
(x
Bx + C 2
+ px + q
)
k
(выраже-
ние (6)) мы пока не готовы. Рассмотрим сначала случай k = 1, т.е. будем вычислять интеграл
I1 = ∫
Bx + C 2
x + px + q
dx .
(9)
Для этого, прежде всего, выделим в знаменателе полный квадрат: 2 p p2 p2 ⎛ p⎞ x + px + q = x + 2 x ⋅ + +q− = ⎜ x + ⎟ + m2 , 2 4 4 ⎝ 2⎠ 2
2
где m = 4q − p 2 2 > 0 . Теперь выполним в интеграле (9) замену переменной:
25
p =t 2 Bx + C Bx + C p I1 = ∫ dx = ∫ dx = x = t − = 2 2 x 2 + px + q p⎞ ⎛ 2 + + x m = dx dt ⎜ ⎟ 2⎠ ⎝ x+
=∫
Bt + C −
Bp 2 dt = B
t 2 + m2
Bp ⎞ dt ⎛ dt + C − . ⎜ ⎟∫ ∫ 2 2 2 ⎠ t 2 + m2 ⎝ t +m t
Первый из интегралов справа берется с помощью уже знакомого нам приема внесения под знак дифференциала:
(
)
2 1 d t +m 1 1 2 2 2 ∫ 2 2 dt = 2 ∫ 2 2 = 2 ln t + m = 2 ln x + px + q + C . t +m t +m
t
Второй интеграл − табличный:
∫
dt t 2 + m2
=
x+
t 1 1 arctg + const = arctg m m m m
p 2 +C ,
Тогда, окончательно,
I1 =
B 2C − B 2x + p ln x 2 + px + q + arctg +C. 2 2 2 4q − p 4q − p
Покончив с интегралом (9), рассмотрим случай интегрирования простейших дробей вида
Ik = ∫
(x
Bx + C 2
+ px + q
)
Bx + C 2
( x + px + q)
k
k
при k = 2,3,... :
dx .
(10)
Действуя аналогично предыдущему случаю (k = 1), с теми же обозначениями, приводим интеграл (10) к виду
Ik = B ∫
Bp ⎞ dt ⎛ + ⎜C − . ⎟ ∫ 2 ⎠ (t 2 + m 2 )k (t 2 + m 2 ) k ⎝ tdt
26
Ясно, что
∫
tdt (t 2 + m 2 ) k
=
1 d (t 2 + m 2 ) (t 2 + m 2 )1− k ( x 2 + px + q )1− k = = +C , ∫ 2 (t 2 + m 2 ) k 2(1 − k ) 2(1 − k )
и дело сводится к вычислению интеграла
Jk = ∫
dt 2
2 k
(t + m )
, k = 2,3,... .
(11)
Преобразуем этот интеграл следующим образом:
Jk =
1 m
2
∫
(t 2 + m 2 ) − t 2 2
2 k
(t + m )
=
dt =
1 m2
1 m
∫
2
J k −1 −
dt 2 k −1
2
(t + m ) 1
−
t 2 dt
∫
m 2 (t 2 + m 2 )k
1 m
2
∫
t 2 dt 2
2 k
(t + m )
=
.
(12)
Последний интеграл в (12) запишем так:
t 2 du
1 d (t 2 + m 2 ) ∫ 2 2 k = ∫t ⋅ 2 2 k = 2 ∫t⋅ 2 2 k = (t + m ) (t + m ) (t + m ) t dt
=−
⎛ ⎞ 1 1 t d ⎜ ∫ ⎜ 2 2 k −1 ⎟⎟ . 2(k − 1) ⎝ (t + m ) ⎠
Проведя теперь интегрирование по частям, будем иметь:
∫
t 2 dt (t 2 + m 2 ) k
=−
⎤ 1 ⎡ t dt − ⎢ ∫ 2 2 k −1 ⎥ . 2(k − 1) ⎣⎢ (t 2 + m 2 )k −1 (t + m ) ⎦⎥
Подставим это выражение в (12). Тогда получим:
Jk =
1 m
2
J k −1 +
t 2 2
2 k −1
2m (t + m )
(k − 1)
−
1 2(k − 1)m
2
J k −1 ,
или, после приведения подобных членов,
Jk =
t 2m 2 (k − 1)(t 2 + m 2 ) k −1
+
2k − 3 2m 2 (k − 1)
J k −1 .
(13)
Таким образом, мы получили рекуррентную формулу (13) для вычисления интеграла (11), которая позволяет шаг за шагом понижать индекс k, пока дело
27
не дойдет до вычисления табличного интеграла J1 . На практике, конечно, не обязательно на каждом шагу проводить выкладки, ведущие от (11) к (13), а достаточно воспользоваться готовой рекуррентной формулой (13).
ПРИМЕР 5. Вычислить интеграл I = ∫
2 x3 + 3 x 2 + 3 x + 2 ( x 2 + x + 1)( x 2 + 1)
dx .
Раскладываем интегрируемую дробь на простейшие:
2 x3 + 3 x 2 + 3 x + 2 ( x 2 + x + 1)( x 2 + 1)
=
B1x + C1
B x + C2 . + 2 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 . Тогда искомый интеграл принимает вид
I =∫
x +1 2
x + x +1
dx + ∫
x +1 2
x +1
dx .
Вычисляем первый из полученных интегралов:
∫
x +1
1
(2 x + 1) +
1
2x + 1 1 dx 2 dx = 1 dx = ∫ 2 dx + ∫ = ∫ 2 x2 + x + 1 2 x2 + x + 1 x2 + x + 1 x2 + x + 1 =
1 d ( x 2 + x + 1) 1 dx 1 + ∫ = ln x 2 + x + 1 + ∫ 2 x2 + x + 1 2 x2 + 2 x ⋅ 1 + 1 + 3 2
(
2
28
4
4
)
1 2( x + ) dx 1 1 2 2 +C = + ∫ = ln x 2 + x + 1 + ⋅ arctg 2 2 2 2 3 3 1⎞ ⎛ 3⎞ ⎛ + + x ⎟ ⎜ ⎟ ⎜ 2⎠ ⎝ 2 ⎠ ⎝ = ln x 2 + x + 1 +
3 2x + 1 arctg + C. 3 3
Теперь вычислим второй интеграл:
1 1 (2 x + 1) + x +1 1 d ( x 2 + 1) 1 dx 2 2 dx = ∫ + ∫ = ∫ 2 dx = ∫ 2 2 2 2 2 x +1 x +1 x +1 x +1 1 1 = ln( x 2 + 1) + arctgx + C. 2 2 В итоге получаем
I = ln x 2 + x + 1 +
3 2x + 1 1 arctg + ln x 2 + 1 + arctgx + C . 3 2 3 I =∫
ПРИМЕР 6. Вычислить интеграл
x 4 + 4 x3 + 11x 2 + 12 x + 8 ( x 2 + 2 x + 3)2 ( x + 1)
dx .
На этот раз разложение рациональной дроби на простейшие таково:
x 4 + 4 x3 + 11x 2 + 12 x + 8 ( x 2 + 2 x + 3) 2 ( x + 1)
=
B x + C1 B2 x + C2 A . + 1 + x + 1 x 2 + 2 x + 3 ( x 2 + 2 x + 3)2
Обычным образом находим неизвестные коэффициенты: A = 1, B1 = 0, C1 = 0,
B2 = 1, C2 = −1. Поэтому I =∫
dx ( x − 1)dx . +∫ x + 1 ( x 2 + 2 x + 3)2
Первый из интегралов − почти табличный, он равен ln x + 1 + C . Вычисляем второй:
1 (2 x + 2) − 2 ( x − 1)dx 1 d ( x 2 + 2 x + 3) 2 =∫ − dx = ∫ ∫ 2 2 ( x 2 + 2 x + 3)2 ( x + 2 x + 3)2 ( x 2 + 2 x + 3) 2
29
−2∫
dx 2
2
[( x + 2 x + 1) + 2]
=−
1 2
2( x + 2 x + 3)
− 2∫
dx 2
2 2
[( x + 1) + ( 2) ]
.
Последний интеграл после замены x + 1 = t принимает вид (11) с k = 2 ,
m = 2 . Используя рекуррентную формулу (13), имеем
∫
dx [( x + 1) 2 + ( 2)2 ]2 =
=
x +1 2 ⋅ 2 ⋅1 ⋅ [( x + 1)2 + 2] x +1
4( x 2 + 2 x + 3)
+
1 4 2
1 dx = ∫ 2 ⋅ 2 ( x + 1) 2 + ( 2) 2
+
arctg
x +1 +C. 2
В итоге получаем:
I = ln x + 1 −
1 2( x 2 + 2 x + 3)
x +1
−
2( x 2 + 2 x + 3)
= ln x + 1 −
x+2 2( x 2 + 2 x + 3)
−
x +1 2 arctg +C = 4 2
−
x +1 2 arctg + C. 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 1 − tg 2dt 2t 1 − t2 2 2 = x = 2arctg t , dx = , sin x = , cos x = = . 2 x 1 + t2 2 x 1 + t2 1+ t2 1 + tg 1 + tg 2 2 2 tg
Тогда
⎛ 2t 1 − t 2 ⎞ 2dt ∫ R(sin x,cos x ) dx = ∫ R ⎜⎜ 2 , 2 ⎟⎟ 2 . ⎝1+ t 1+ t ⎠1+ t Ясно, что под знаком последнего интеграла возникает рациональная функция от переменной t. ПРИМЕР 1. Провести рационализацию интеграла
sin x + cos x ∫ sin x − cos x dx .
Применяя универсальную тригонометрическую подстановку, получаем:
2t sin x + cos x 1 + t2 = dx ∫ sin x − cos x ∫ 2t 1+ t
2
+ −
1 − t2
− t 2 + 2t + 1 1 + t 2 2dt = 2 dt . ∫ 2 1 − t2 1 + t2 (t + 2t − 1)(1 + t 2 ) 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 берется с помощью подстановки t = tg x , x = arctg t , dx =
dt 1+ t2
, которая сводит его к интегралу ∫ R (t )
dt 1+ t2
.
В частности, такую подстановку можно было бы выполнить в примере 1:
⎛ sin x ⎞ cos x ⎜ + 1⎟ sin x + cos x cos x ⎠ ⎝ dx = ∫ sin x − cos x dx = ∫ ⎛ sin x ⎞ 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 cos2 x
1
= 1 + tg2 x,
sin 2 x
= 1+
1 tg2 x
.
(4)
позволяют в этом случае рациональным образом выразить подынтегральную функцию в (3) через переменную t. ПРИМЕР 3. Вычислить интеграл
dx
∫ sin 2 x + 4sin x cos x − 5cos2 x .
Здесь можно непосредственно применить тригонометрические формулы (4). Однако есть более простой прием, основанный на внесении множителя
1 cos 2 x
под знак дифференциала (
I =∫
dx cos 2 x
= d (tg x) ):
dx sin 2 x + 4sin x cos x + 5cos 2 x =∫
(
=∫
dx
⎛ sin 2 x 4sin x ⎞ 2 5 + + ⎜⎜ ⎟⎟ cos x 2 cos x cos x ⎝ ⎠ d tg x dt . = tg x = t = ∫ 2 2 t + 4t + 5 tg x + 4 tg x + 5
=
)
В результате получен рассматривавшийся в 1.2. интеграл от простейшей функции, содержащей квадратный трехчлен:
I =∫
dt t 2 + 4t + 5
=∫
dt (t + 2) 2 + 1
= arctg(t + 2) + C = arctg(tg x + 2) + C .
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 − наименьший общий знаменатель дробей
m m1 m2 , , …, k . n1 n2 nk ПРИМЕР 4. Вычислить
∫
dx x+3x
.
x = x1/ 2 , 3 x = x1/ 3 , а наименьшим общим кратным знаме-
Поскольку
нателей дробей 1/2 и 1/3 , стоящих в показателях степени, является число 6, то 6
рационализирующая подстановка в данном примере имеет вид x = t :
x = t6 ,
∫
t 3dt = t = x, = ∫ = 6∫ = 3 2 t +1 x+3x t t + dx = 6t 5 dt dx
6
6t 5 dt
1 ⎞ ⎛ 3 2 = 6∫ ⎜ t 2 − t + 1 − ⎟ 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 , где z =
(6)
ax + b , R – рациональная функция своих аргументов. cx + d
Выражение (6) представляет собой интеграл от иррациональности, содержащей радикалы степеней n1, n2,…, nk от переменной z =
ax + b . Таким обcx + d
разом, случай (6) обобщает случай (5). Избавиться от иррациональности в интеграле вида (6) помогает аналогичная подстановка:
ax + b ax + b qt n − b n( aq − bp ) t n −1 n =t , t=n , x= , dx = dt . 2 n px + q px + q n a − pt a − pt
)
(
ПРИМЕР 5. Рационализировать интеграл
∫
dx x +1 4 + x −1
x +1 x −1
.
x +1 4 = t (число 4 представляет собой обx −1
Выполнив замену переменной
щий знаменатель дробей 1/2 и 1/4), получим
∫
dx 4
x +1 + x −1
x +1 4 t4 +1 −8t 3dt , dx = = =t , x= = 2 x +1 x −1 4 t4 −1 t −1 x −1
(
= −8∫
t 2 dt
(t 4 − 1)
2
(t + 1)
= − 8∫
(t 2 + 1)
)
t 2 dt 2
(t − 1)2 (t + 1)3
.
Цель достигнута: получен интеграл от рациональной функции. Хотя, справедливости ради, отметим, что его аналитическое вычисление представляет собой малоприятную и громоздкую задачу, которую лучше поручить какойнибудь компьютерной математической программе, способной выполнять символьные вычисления, (например, системе “Mathematica”).
35
Теоретические вопросы к главе 1. 1. Дать определение неопределенного интеграла. 2. Какая разница между неопределенным интегралом и первообразной? 3. Могут ли две различные функции быть первообразными для одной и той же непрерывной функции? 4. Верна ли запись
2 3 ∫ 3x dx = x ?
5. Найти неопределенный интеграл ∫ | x | dx . 6. Найти неопределенный интеграл ∫ | cos x | dx .
dx
7. Как можно рационализировать интеграл
∫
8. Как можно рационализировать интеграл
dx ∫ sin x + 2 cos x − 7 .
9. Доказать, что
∫
dx ( x 2 + 9)2
+
∫ f ( x)dx = arcsin x + C .
11. Справедливо ли тождество
∫ f ( x) ⋅ g ( x) dx = ∫ f ( x) dx ⋅ ∫ g ( x) dx ?
∫ f ( z ) dz , если ∫ f ( x) dx = F ( x) + C ?
12. Чему равен интеграл
dx
∫
13. Известны формулы
.
1 x arctg + C . 3 18( x 2 + 9) 54 x
=
10. Найти функцию f (x), если
sin 2 x − 3cos 2 x + 5
1− x
2
= arcsin x + C и
∫
dx 1− x
2
= − arccos x + C .
Следует ли из этого тождество: arcsin x ≡ − arccos x ? 14. Табличный интеграл
∫
dx 1 + x2
x= =
1 t
dx = −
∫
dx 1 + x2 −
dt t2
=∫
= arctg x + C вычислили с помощью замены:
dt
t 2 = − dt = − arctg t + C = − arctg 1 + C . ∫ 2 2 x 1+ t ⎛1⎞ 1+ ⎜ ⎟ ⎝t⎠
Почему получены разные результаты? 36
Задачи к главе 1. Найти интегралы, используя таблицу неопределенных интегралов: 1. ∫ (2 − 3x)2 dx . 3.
∫
5.
∫
7.
∫
dx x2 ⋅ x
.
dx 4 − 5x
2
.
dx 2
11x + 6
.
9. ∫ e−2 x +1dx .
3 ∫ x ⋅ xdx .
4.
∫3
6.
∫
8.
∫
xdx x4 ⋅ 5 dx
3 + 8x2
.
x .
dx
.
2 x 2 − 13
10. ∫ 53 x − 2 dx . 2
2
⎛ 2 ⎞ − 5 ⎟ dx . 11. ∫ ⎜ ⎝ cos x ⎠ 13.
2.
⎛ 1 ⎞ 12. ∫ ⎜ + 3 ⎟ dx . ⎝ sin x ⎠
2 ∫ 3x + 4 dx .
14.
2 ∫ 7 − 6x dx .
Найти интегралы, используя основные формулы интегрирования: 15.
dx ∫ 3x − 1 .
17.
∫
19.
dx
(3 + 5x )
∫
∫3
.
2
xdx
.
2
5x + 6 e x dx
16.
x+2 ∫ x − 5 dx .
18.
∫
20.
xdx 2 x2 − 1
.
x 2 dx
∫
5 − 3x e x dx
6
.
.
22.
∫
23− x dx . 23. ∫ x
24.
∫ x ⋅ (3x − 4) .
21.
x
8e + 1
37
e
2x
−6
dx
.
25.
∫
cos xdx 2
11sin x − 7
.
27. ∫ sin 2 x cos 2 2 xdx . 29.
ln 2 xdx ∫ x .
31.
∫
(3arcsin x + 2 arccos x)dx 1− x
2
.
x arctg 2 dx 3 . 33. ∫ 2 x +9
26.
∫
28.
∫
30.
∫
32.
∫
34.
∫
sin xdx 2
2 − 5cos x
cos 3xdx
.
4
sin 3x dx 3
.
2
x ⋅ ln x
.
dx 5
arcsin 2 x ⋅ 1 − 4 x
2
dx 2
2
cos 2 x 7 − tg 2 x
.
.
Найти интегралы от выражений, содержащих квадратный трехчлен: 35.
∫
37.
∫
x+2 2
x − 6x + 1
dx .
5 − 2x 1 + 8x − x
2
dx .
x
36.
∫
38.
∫
2
x − 4x
dx .
dx 2
x x + 2x − 3
.
Найти интегралы, используя замену переменных:
xdx
39.
∫ 1 − 3x .
41.
∫
43.
∫
dx e2 x − 1 dx x+4x
40. ∫ ( x + 1) x 2 + 2 x dx . , ( t = e− x ).
42.
∫
.
44.
∫
sin 3 x 45. ∫ dx . cos x − 2
46. ∫
38
1 , (t = ) . x x 4 − x2 dx
dx x+3x
.
1 , ( x = tg t , или x = ) . t x2 ⋅ 1 + x2 dx
Найти интегралы, используя формулу интегрирования по частям: 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 . 55. ∫ ( x − 1)( x − 4)( x + 2) 57.
59.
61.
∫ ∫ ∫
dx 2
( x + 2)( x − 2) x 4 + 17 4
x −1
56.
.
58.
dx .
60.
dx ( x 2 + 10 x + 26) 2
.
62.
∫ ∫ ∫ ∫
( x + 2)dx ( x − 1) 2 ( x + 4) 2 x3 − x + 1 3
x + 2x − 3
.
dx .
( x 2 − 3)dx 2
2
( x + 2)( x + 1) ( x 2 − 4)dx ( x − 1) 2 ( x 2 + 3)
.
.
Найти интегралы от тригонометрических функций: 63. ∫ sin 5
x dx . 3
64. ∫ sin 7 2 x cos3 2 xdx .
65. ∫ sin 2 x cos 4 x dx . 67.
∫
69.
∫
71.
∫
dx sin 2 x cos 4 x
dx sin 3 2 x
66. ∫ sin 5 x cos8 x dx .
x 68. ∫ tg 4 dx . 5
.
.
dx 1 + cos 2 x − 3sin 2 x
.
39
70.
cos 4 x ∫ sin x dx .
72.
∫ cos x + 1 − 2sin x .
dx
Найти интегралы, применив тригонометрические подстановки: 73. 75.
2 ∫ 4 − x dx, ( x = 2sin t ) .
∫
dx 2
2
x ⋅ x +1
74.
, ( x = tg t ) .
3
2 ∫ x − 9 dx, ( x = cos t ) .
76.
∫
78.
∫
x 2 dx 4 − 2x − x
2
.
Найти интегралы:
dx
77.
∫
79.
∫3
81.
x ∫ xe sin xdx .
2
( x + 6 x + 1) 3 − 2 x − x dx 1 − x3
2
.
dx x 1− x
3
.
80. ∫ ( x − 3) x 2 − 2 x + 2 dx .
.
xdx
82.
∫
83. ∫ arccos x dx .
84.
2x ∫ e − 1 dx .
∫ | x − 4 | dx .
86.
∫ x | x + 2 | dx .
85.
40
2
sin 5 x
.
Глава 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
Sn
y
y = f ( x) σn
M1
… m1
sn ξ1
a = xo
ξ2
x1
ξ3
x2
ξn
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 равных отрезков, длина каждого из которых равна
Δx =
d −c . 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 ) ] . Или
ΔS = Sn − sn = Δ x [ f ( xn ) − f ( xo ) ] = Δ x [ f (d ) − f (c) ] = [ f (d ) − f (c) ] ⋅
d −c . n
Теперь понятно, что с увеличением количества n отрезков разбиения, величина ΔS стремится к нулю, а значит, верхняя и нижняя интегральные суммы стремятся к одному и тому же пределу при n→∞:
lim ΔS = lim ( Sn − sn ) = 0 ⇒
Δx →0
n→∞
lim Sn = lim sn .
n→∞
n→∞
(5)
Поскольку, мы предположили, что на всем отрезке [a, b] определения функции y = f ( x ) имеется конечное число интервалов монотонности, а на каждом из них при разбиении на отрезки равной длины справедливо условие (5), то и для интегральных сумм (2) функции y = f ( x ) на отрезке [a, b] также имеет место равенство
lim
λ = max Δx →0 i
ΔS = lim ( Sn − sn ) = 0 . λ →0
Таким образом, верхняя и нижняя интегральные суммы функции
y = f ( x ) на отрезке [a, b] при стремлении к нулю диаметра λ разбиений (4) имеют один и тот же предел I:
48
lim
λ = max Δx → 0 i
Sn =
lim
λ = max Δx → 0 i
sn = I .
(6)
Если теперь вспомнить известную теорему «О двух милиционерах» (см. главу 1 выпуска 1 настоящего пособия), то становится ясно, что и произвольная интегральная сумма σn, в силу ограничений (3), должна иметь тот же самый предел:
lim
λ = max Δx →0
σn = I .
(7)
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 .
a
i
i
(8)
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
a
a
∫ f ( x )dx = ∫ f (t )dt .
Действительно, определенный интеграл представляет собой предел интегральных сумм, а при вычислении предела не имеет значения, как обозначена переменная.
50
Замечание 2. (Геометрический смысл определенного интеграла). В случае положительной на отрезке [a, b] непрерывной функции f (x) опb
ределенный интеграл
∫ f ( x )dx
представляет собой площадь криволинейной
a
трапеции, ограниченной сверху графиком функции y = f (x), снизу − осью ОХ, слева − прямой y = a и справа прямой y = b (рис. 5):
y = f ( x ),
y
f ( x) > 0
b
S = ∫ f ( x )dx a
a
x b
Рис.5. Геометрический смысл определенного интеграла. Сформулируем теперь общие
Свойства определенного интеграла: n. Для постоянной на [a, b] функции b
∫ kdx = k (b − a ) .
(9)
a
Доказательство. Все интегральные суммы (2) функции f ( x ) = k являются постоянной величиной: n
n
i =1
i =1
σ n = ∑ f (ξi )Δ xi = ∑ k Δ xi = k ( Δ x1 + Δ x2 + … + Δ xn ) = k (b − a ) . Следовательно, и их предел (определенный интеграл) равен той же величине.
51
o. Определенный интеграл от суммы двух интегрируемых функций равен сумме интегралов от этих функций: b
b
b
∫ ( f ( x )+ g ( x ) )dx = ∫ f ( x ) dx + ∫ g ( x ) dx .
a
a
(10)
a
p. Определенный интеграл тем больше, чем больше функция: b
f ( x)≥ g ( x) ⇒
b
∫ f ( x) dx ≥ ∫ g ( x) dx,
a
(a < b).
(11)
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 справедливо неравенство
m≤
b 1 f ( x) dx ≤ M . Как известно, непрерывная на отрезке [a, b] функция b − a ∫a
принимает на этом отрезке любое значение, заключенное между своими наименьшим и наибольшим значениями (см. гл.1 выпуска 2 настоящего пособия). b
1 Тогда найдется точка ξ∈[a, b] такая, что f (ξ ) = f ( x) dx . Отсюда и слеb−a ∫ a
дует утверждение теоремы о среднем. 52
s. Для интегрируемой на отрезке [a, b] функции f (x) и точки с∈(a, b) выполняется равенство: b
c
b
∫ f ( x ) dx = ∫ f ( x ) dx + ∫ f ( x ) dx .
a
a
(14)
c
Геометрическая интерпретация свойства 6 представлена на рис. 6, а доказательство предоставляются читателям для самостоятельной работы.
y
S = S1 + S2
y = f ( x)
c
b
S1 = ∫ f ( x )dx
S2 = ∫ f ( x )dx
a
c
x
a c
b b
Рис. 6. К свойству 6: S = ∫ f ( x ) dx = S1 + S2. a
До сих пор при записи определенного интеграла мы предполагали, что его нижний предел a меньше верхнего предела b. Для того, чтобы снять этого ограничение, положим по определению (!): b
a
∫ f ( x ) dx = − ∫ f ( x ) dx ,
a
(a > b),
(15)
b
а также a
∫ f ( x) dx = 0 .
(16)
a
Хотя математические определения и не принято обсуждать, тем не менее, основной довод в пользу того или иного определения состоит в его разумности. 53
Желательно, в частности, чтобы при расширении некоторого понятия на более широкий класс объектов были выполнены свойства, справедливые для более узкого класса. К примеру, именно таким образом в элементарной математике определили степень с отрицательным показателем: a − n =
1
an
, ( n > 0) , хотя по-
нятно, что исходное определение степени 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 = f (t )
y
Φ( x)
ΔΦ t
a
x
x + Δx
b
Рис. 7. К вычислению определенного интеграла. Пусть теперь независимая переменная x получила приращение Δx . Тогда имеем приращение функции Φ(x): x +Δx
ΔΦ = Φ ( x + Δx ) − Φ ( x ) =
∫
a
x
f (t )dt − ∫ f (t )dt . 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 = lim = lim f (ξ ) = f ( x ) . Δx Δx →0 Δx Δx → 0 Δx → 0
Φ ′( x ) = lim
Следствие. Следствием из теоремы 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 1 ПРИМЕР 1. ∫ x dx = = −0 = . 6 0 6 6 0 5
−e
−e dx = ln | x | = ln | − e | − ln | −1 |= ln e − ln1 = 1 . ПРИМЕР 2. ∫ x − 1 −1 ПРИМЕР 3. Вычислить определенный интеграл
2
∫0
2
x e − x dx .
Здесь удобнее вначале найти первообразную (неопределенный интеграл): 2
−x ∫ x e dx = −
( )
1 − x2 1 − x2 2 e d − x = − e +C. 2∫ 2
Тогда
1 − x2 2 1 1 − x2 x e dx = − e = − e −4 − 1 = 1 − e −4 . ∫0 2 2 2 0
(
2
ПРИМЕР 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, nx mx dx sin sin = ⎨ ∫−π ⎩π , π
n≠m 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 = ∫
a
f (ϕ (t ))ϕ ′(t )dt .
(5)
to
Доказательство. Пусть функция F(x) является первообразной для функции f (x), т.е.
∫ f ( x ) dx = F ( x ) + C . Тогда,
менной в неопределенном интеграле,
по формуле для замены пере-
∫ f (ϕ (t ))ϕ ′(t )dt = F (ϕ (t ))+ C .
Теперь,
используя формулу Ньютона − Лейбница, получаем требуемое утверждение:
58
t1
∫
f (ϕ (t ))ϕ ′(t )dt = F (ϕ (t ))
ro
t1 to
= F (ϕ (t1 )) − F (ϕ (to )) = b
= F (b) − F (a) = ∫ f ( x) dx. a
11
ПРИМЕР 5. Найти определенный интеграл
∫x
x − 2 dx .
3
Для устранения иррациональности в интеграле удобно выполнить замену
x − 2 = t . Тогда по формуле (5) получаем
переменной 11
∫ x x − 2 dx =
3
x = 2 + t2, dx = 2t dt.
3
x = 3⇒ t =1 x = 11 ⇒ t = 3
= ∫ (2 + t 2 )t ⋅ 2t dt = 1
3
4 3 2 3 = ∫ (4t 2 + 2t 4 ) dt = t 3 + t 5 = 3 1 5 1 1 4 2 1972 . = (33 − 1) + (35 − 1) = 3 5 15 Замечание. Отметим, что при всей схожести применения формул замены переменной в неопределенном и определенном интегралах, имеется весьма важное их отличие: при вычислении определенного интеграла не нужно возвращаться к исходной переменной, вместо этого просто производится соответствующее изменение пределов интегрирования. a
ПРИМЕР 6. Вычислить определенный интеграл
∫
a 2 − x 2 dx.
0
Здесь для вычисления интеграла удобно выполнить тригонометрическую подстановку, которая позволяет избавиться от иррациональности:
59
a
∫
2
2
a − x dx ==
0
=a
x = a sin t , dx = a cos t dt. x=0⇒t =0
π /2
=
π /2
∫
2
cos t dt = a
0
2
a 2 − a 2 sin 2 t ⋅ a cos t dt =
0
x = a ⇒t =π /2 2
∫
π /2
1 + cos 2t a 2 ⎛⎜ π / 2 sin 2t π / 2 ⎞⎟ π a 2 ∫ 2 dt = 2 ⎜ t 0 + 2 0 ⎟ = 4 . 0 ⎝ ⎠
Сформулируем еще один прием вычисления определенных интегралов, аналогичный уже рассмотренному в главе 1 для неопределенных интегралов. Теорема 4. (Интегрирование по частям в определенном интеграле). Пусть функции u(x) и v(x) − непрерывны и имеют непрерывные производные. Тогда b
b b ∫ u d v = ( uv ) a − ∫ v du . a a
(6)
Доказательство. Проинтегрируем обе части равенства ( u v )′ = u′v + uv′ по переменной x в пределах от a до b: b
b
b
a
a
a
∫ ( uv )′dx = ∫ u′v dx + ∫ uv′ dx .
Интеграл в левой части может быть найден по формуле Ньютона−Лейбница, а правая часть преобразована с учетом равенств du = u′dx, d v = v′dx :
(uv )
b a
b
b
a
a
= ∫ v du + ∫ u d v .
Отсюда и получаем формулу (6).
60
ПРИМЕР 7. Вычислить интеграл
1
∫ 0 arcsin x dx .
Воспользуемся формулой интегрирования по частям: 1
1 1 1 xdx = ∫ arcsin xdx = x arcsin x 0 − ∫ xd arcsin x = 1⋅ arcsin1 − ∫ 2 dv u du 0 0v 0 1− x 1 1 π π 1 d (1 − x 2 ) π 2 = + ∫ = + 1− x = + (0 − 1) = − 1. 2 2 2 2 2 0 2 0 1− x
π
ПРИМЕР 8. Вычислить
e
∫1 ( x + 3) ln x dx .
Здесь предварительно нужно внести множитель (x + 3) под знак дифференциала и только затем интегрировать по частям: e
e
e e ⎛ x2 ⎛ x2 ⎞ ⎛ x2 ⎞ ⎞ ( x + 3) ln xdx = ln xd + 3 x = + 3 x ln x − + 3 x ⎜ ⎟ ⎜ ⎟ ⎜ ⎟d ln x = ∫ ∫ ∫ ⎜ 2 ⎟ ⎜ 2 ⎟ ⎜ ⎟ 2 1 1⎝ ⎝ ⎠ ⎝ ⎠ ⎠ du 1 1 u dv
v
e e ⎛ e2 ⎞ e2 x2 e ⎛x ⎞ = ⎜ + 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 y
b
y = f ( x ),
б)
a
f ( x) < 0
b
b
x
S = − ∫ f ( x )dx a
y y = f ( x)
в)
b
x
a
S = ∫ f ( x ) dx a
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
a
a
a
S = ∫ f ( x ) dx − ∫ g ( x ) dx = ∫
( 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, нужно пользоваться обобщенной формулой:
S=∫
b
a
f ( x ) − g ( x ) dx .
(2б)
64
ПРИМЕР 1 (Задача Архимеда). Найти площадь параболического сегмента, ограниченного параболой y = a 2 − x 2 и осью OX (рис. 10).
y
y
2
a −a
a
x x 1/2
Рис. 10. Параболический сегмент.
2
Рис. 11. Гиперболический сегмент.
Абсциссы точек пересечения параболы с осью OX находятся из уравнения
a2 − x2 = 0 ⇒ x = ±a . На отрезке [−a, a] функция y = a 2 − x 2 неотрицательна. Тогда по формуле (1а) получаем искомую площадь:
S=
a
∫
−a
(
)
a 2 − x 2 dx = a 2 x
a
1 a − x3 = −a 3 −a
1 2a 3 4a 3 = a 2 (a − (− a)) − (a3 − (− a)3 ) = 2a3 − = . 3 3 3 Заметим, что в этом примере боковые границы криволинейной трапеции, определяемые уравнениями x = ± a, вырождаются в две точки. ПРИМЕР 2. Найти площадь сегмента, который прямая y = ет от гиперболы y =
1 (рис. 11). x
65
5 − x отсека2
Для определения левой и правой границ сегмента (играющих роль пределов интегрирования) имеем уравнение:
1 5 1 = − x ⇒ x1 = , x2 = 2 . 2 x 2 На интервале x∈(0,5; 2) прямая расположена выше гиперболы, поэтому по формуле (2а) получаем искомую площадь сегмента:
1⎞ 5 2 x2 ⎛5 S = ∫ ⎜ − x − ⎟ dx = x 0,5 − 0,5 ⎝ 2 2 2 x⎠ 2
2 2
− ln | x | 0,5 = 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а) для площади фигуры:
S=
3π / 2
∫
cos x dx = sin x
0
3π / 2 = sin 3π / 2 − sin 0 = −1 . 0
(???)
Часто после этого, спохватившись, что площадь фигуры не может быть отрицательной, результат "слегка" подправляют, и пишут: S = 1. Здесь ошибка возникла из-за того, что не было проверено условие f (x) > 0, при котором справедлива формула (1а). На самом деле, это условие не выполнено! Правильное решение. Изобразим график функции y = cos x (рис. 12). Очевидно, что на отрезке [0,
3π ] имеется область, где этот график выше оси 2
66
⎛ π⎞ ⎛ π 3π ⎞ OX (а именно, на интервале ⎜ 0, ⎟ ). В то же время, на интервале ⎜ , ⎟ ⎝ 2⎠ ⎝2 2 ⎠ график функции y = cos x расположен ниже оси OX. Поэтому для вычисления площади искомую фигуру следует разбить на две части: S = S1 + S2. Для пер-
⎛ π⎞ вой части, расположенной над интервалом ⎜ 0, ⎟ , функция f (x) положитель⎝ 2⎠ на, и справедлива формула (1а):
S1 =
π /2
π /2
∫ cos x dx = sin x 0 = sin π / 2 − sin 0 = 1 . 0 y
O S1
π /2
3π /2
x
S2
Рис. 12. К примеру 3.
⎛ π 3π ⎞ Для второй части фигуры, расположенной над интервалом ⎜ , ⎟ , функция ⎝2 2 ⎠
f (x) отрицательна, и для нахождения ее площади должна быть использована формула (1б):
S2 = −
3π / 2
∫
π /2
cos x dx = − sin x
3π / 2 = − sin(3π / 2) + sin(π / 2) = 2 . π /2
Окончательно, получаем площадь искомой фигуры: S = S1 + S2 = 3. Последний пример показывает, какую важную роль в геометрических приложениях определенных интегралов играет предварительный анализ задачи и построение необходимых графиков. Иначе, даже вполне правильные (для определенных условий) формулы могут привести к неверным результатам. 67
1. Вычисление площади в случае параметрического задания кривой. Кривая, ограничивающая криволинейную трапецию на рис. 8, может быть задана в параметрической форме:
⎧ x = ϕ (t ), ⎨ ⎩ y = ψ (t ), t ∈ [to , t1 ]. Для нахождения площади фигуры в этом случае проведем замену переменной в интеграле из формулы (1в): b
t1
a
to
S = ∫ y dx = ∫ ψ (t ) dϕ (t ) , где a = ϕ (to ), b = ϕ (t1 ) . Или, окончательно, t1
S = ∫ ψ (t ) ⋅ ϕ ′(t ) dt .
(3)
to
ПРИМЕР 4. Вычислить площадь фигуры, ограниченной эллипсом с полуосями a и b. Запишем, вначале, уравнение эллипса в каноническом виде:
x2
y2
+ 2 = 1. a b 2
Использование формул площади фигуры в декартовых координатах в данном случае привело бы к необходимости вычисления достаточно громоздких интегралов. Перепишем уравнение эллипса в параметрической форме:
⎧ x = a cos t , ⎨ ⎩ y = b sin t ,
где t ∈ [0,2π ] .
Принимая во внимание осевую симметрию эллипса, ограничимся вычислением четверти площади, расположенной в первом квадранте. Верхняя граница этой области отвечает значениям параметра t ∈ [0, π / 2] (рис. 13). 68
y t = π /2 O
S/4
t=0
x
Рис. 13. К вычислению площади эллипса. Тогда π /2 S π /2 = ∫ b sin t d ( a cos t ) = ab ∫ sin 2 t dt = 4 0 0
π / 2 ⎞ π ab ab π / 2 ab ⎛ π / 2 1 = 1 − cos 2 = − sin 2 . t dt t t ( ) ⎜ ⎟= ∫ 0 ⎠ 2 0 2 ⎝ 0 2 4 В результате можно найти площадь всего эллипса: S = π ab .
3. Вычисление площадей в полярных координатах. Многие интересные кривые на плоскости (скажем, различного рода спирали) удобно описывать не декартовыми, а полярными координатами. Уравнение кривой в полярных координатах представляет собой функциональную зависимость между текущим значением полярного угла ϕ точки на плоскости и ее полярным радиусом r (рис. 14). Попробуем найти площадь S криволинейного треугольника, ограниченного кривой r = r (ϕ ) и двумя лучами: ϕ = α и ϕ = β. Естественно предположить, что для решения такой задачи можно будет воспользоваться изложенным ранее аппаратом определенных интегралов.
69
ri +Δri r = r (ϕ )
r β
ϕ
ΔS i ri
линия отреза
α
Δϕ i
Рис.14 Криволинейный треугольник в полярных координатах.
Рис.15. К выводу формулы(5).
O
Вначале нам придется в общих чертах повторить процедуру построения интегральных сумм, которая лежала в основе понятия определенного интеграла. Роль отрезка [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 . 2 i =1 i =1
(4)
Выражение (4) представляет собой интегральную сумму функции r = r (ϕ ) на отрезке ϕ ∈[α, β]. Теперь осталось совершить предельный переход: устремить к бесконечности число n, одновременно устремив к нулю максимальный из углов
Δϕ i . Для непрерывной функции r = r (ϕ ) в результате такого предельного перехода интегральная сумма (4) даст определенный интеграл: β
1 n 2 1 lim ∑ ri Δϕi = ∫ r 2dϕ . 2α max Δϕ i →0 2 i =1 i Таким образом, приходим к формуле для площади фигуры, ограниченной в полярных координатах кривой r = r (ϕ ) и лучами ϕ = α и ϕ = β: β
1 S = ∫ r 2dϕ . 2α
(5)
Замечание. Проведенная здесь процедура, имеет чрезвычайно важное значение в различных геометрических и физических приложениях определенного интеграла, и будет дальше применяться в еще более схематичном виде. Суть процедуры состоит в том, что на первом ее этапе "малый" криволинейный объект заменяется на прямолинейный. Понятие "малости" при этом не носит универсального характера − оно относительно. Так, несмотря на криволинейность поверхности Земли, никому не придет в голову учитывать ее при строительстве дома: его характерный размер много меньше земного радиуса. На втором, заключительном этапе процедуры сумма большого числа "малых" слагаемых (интегральная сумма) заменяется определенным интегралом.
71
ПРИМЕР
5. Найти площадь фигуры, ограниченной кардиоидой
r = a (1 − cos ϕ ) , (рис. 16).
a 2a
r
O a
Рис.16. Кардиоида. В силу четности функции r = a (1 − cos ϕ ) фигура обладает симметрией относительно горизонтальной оси. Достаточно найти площадь ее верхней половины, отвечающей диапазону изменения полярного угла 0 ≤ ϕ ≤ π:
S 1π 2 a2 π a2 π 2 = ∫ r dϕ = (1 − cos ϕ ) dϕ = (1 − 2 cos ϕ + cos 2 ϕ ) dϕ = ∫ ∫ 2 20 2 0 2 0 ⎞ π 1π a2 ⎛ π ⎜ = ϕ − 2sin ϕ + ∫ (1 + cos 2ϕ ) dϕ ⎟ = ⎜ ⎟ 0 0 20 2 ⎝ ⎠
π ⎞ 3π a 2 a2 ⎛ 1 π 1 = . ⎜ π + ϕ + sin 2ϕ ⎟ = 0⎠ 2 ⎝ 2 0 4 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 следует, что для малых Δxi справедливо приближенное раΔxi →0 Δxi
ной y' = lim венство
Δyi ≈ y' ( xi ) , Δxi где точка xi − некоторая точка интервала Δxi (например, его левая граница).
y
y = f ( x)
ΔAi
Δyi
x a
b
Δxi
Рис.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
y1/ 3 y' = − 1/ 3 . x
2 −1/ 3 2 −1/ 3 x y' = 0 ⇒ + y 3 3
Астроида имеет две оси симметрии. Найдем по формуле (6) длину ее четвертой части, лежащей в первом квадранте: 2
a a ⎛ y1/ 3 ⎞ L a x2 / 3 + y 2 / 3 2 dx = ∫ dx = = ∫ 1 + ( y' ) dx = ∫ 1 + ⎜ − 2/3 ⎜ x1/ 3 ⎟⎟ 4 0 x 0 0 ⎝ ⎠ a
=∫
0
a2 / 3 x2 / 3
1/ 3
dx = a
a
∫x
−1/ 3
0
a 3 3 dx = a1/ 3 x 2 / 3 = a. 0 2 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
Воспользовавшись известным разложением cos x ≈ 1 −
x2 , справедливым для 2
малых значений аргумента, получим
ΔA 2i
≈ ri2
⎛ ( Δϕ i ) 2 ⎞ + ( ri + Δri ) − 2ri ( ri + Δri ) ⎜ 1 − ⎟⎟ . ⎜ 2 ⎝ ⎠ 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
После уже описанного предельного перехода в интегральной сумме приходим к окончательной формуле для длины дуги, заданной в полярных координатах:
L=
β
2 2 ∫ 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 . 0 2 0 2 2 0
Тогда, окончательно, получаем длину целой кардиоиды: L = 8a. (Достаточно странный на первый взгляд результат: кривая "более сложная", чем окружность, не содержит числа π в выражении для своей длины!).
76
6. Длина дуги кривой, заданной параметрически. Пусть плоская кривая описывается в декартовых координатах параметрическими уравнениями
⎧ x = x(t ), ⎨ ⎩ y = y (t ).
(8)
Найдем длину дуги этой кривой между точками, соответствующими значениям параметра t = t1 и t = t2, считая функции x (t) и y (t) дифференцируемыми на отрезке [t1, t2]. Воспользуемся уже полученным выражением для длины элементарной дуги в декартовых координатах, лежащей над отрезком Δxi: 2
2
⎛ Δx ⎞ ⎛ Δy ⎞ ΔA i ≈ (Δxi ) + (Δyi ) = ⎜ i ⎟ + ⎜ i ⎟ Δti . ⎝ Δti ⎠ ⎝ Δti ⎠ 2
2
При малых Δti справедливы равенства
Δxi ≈ x′(ti ), Δti
Δyi ≈ y ′(ti ) . Δti
Тогда, суммируя длины всех элементарных дуг, в пределе при
max Δti → 0 получим искомую длину всей дуги: i
L=
lim
∑ ΔA i .
max Δti →0 i i
Отсюда приходим к выражению для длины дуги кривой, заданной параметрически:
L=
t2
2 2 ∫ ( 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 ), ⎨ ⎩ y = a(sin t − t cos t ),
t ∈ [0,2π ] .
(Такую кривую описывает конец нити, разматывающейся с окружности радиуса a.)
y
a
x
Рис.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) может быть найдена искомая длина кривой:
L=
2π
∫
( x't
)
2
+ ( y't
)
2
dt = a
0
2π
2 2 ∫ ( t cos t ) + ( t sin t ) dt =
0
=a
2π
∫
2
2
t cos t + sin t dt = a
0
78
2π
1 2 2π t dt = at = 2aπ 2 . ∫ 0 2 0
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
x
R
y = − R2 − x2
Рис.23. К выводу формулы объема шара. Тогда формула (10) приводит к хорошо известному выражению для объема шара:
Vx = π
R
∫
2
y dx = π
−R
R
∫
−R
(
)
R 2 − x 2 dx = π R 2 x
R
R 1 − π x3 = −R 3 −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
Рис.24. Тело вращения вокруг оси OY. 81
Δxi
Выделим элементарную трапецию, расположенную над отрезком Δ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
∫
x R 2 − ( x − r )2 dx =
r−R
dx = R cos tdt , = x = r − R ⇒ t = −π / 2, x = r + R ⇒t =π /2
=R
2
π /2
2 ∫ (r + R sin t ) 1 − sin t cos t dt =
−π / 2
83
= R2
π /2
2 ∫ (r + R sin t ) cos t dt =
−π / 2
2
=R r
π /2
2
∫ cos t dt + R
3
−π / 2
π /2
2 ∫ sin t cos t dt = I1 + I 2 .
−π / 2
Найдем первый из полученных интегралов, учитывая четность подынтегральной функции: 2
I1 = R r
π /2
2
2
π /2
2
2
π /2
∫ 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 0 2 ⎝ ⎠ 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
4.
Доказать неравенство
2 ∫ sin( x )dx ≤ 1 .
0
5.
Найти любую функцию f (x), удовлетворяющую условиям
−2
∫ f ( x)dx = 5 ,
−3
f (–3) = –1. 6.
Существует ли непрерывная функция, удовлетворяющая условиям: 1
∫ f ( x)dx = 1 , f (0) = 100, f (1) =100?
0
7.
Найти любую функцию f (x), удовлетворяющую условиям
2
∫ f ( x)dx = 4 ,
0
f ' (0) = 1 . 8.
x
Построить график функции y ( x) =
∫ | t | dt .
−2 b
9.
Справедливо ли тождество
∫
a
b
b
a
a
f ( x) ⋅ g ( x) dx = ∫ f ( x)dx ⋅ ∫ g ( x) dx ?
10. Существуют ли функции f (x) и g (x) для которых выполнено равенство 1
1
1
0
0
0
∫ f ( x) ⋅ g ( x) dx = ∫ f ( x)dx ⋅ ∫ g ( x) dx ? 2
11. Найти интеграл
3 ∫ 3 sin ( x ) dx .
−2
85
1
12. Можно ли найти по формуле S =
3 ∫ ( 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.
(0 ∫
)
2
3.
1
x 2 + 3x − 4 dx . dx
∫
−1 x
π /4
2
+ 4x + 5
−1
4
.
4.
2
∫ sin ϕ dϕ .
5.
3 5 ∫ ( x + 4 x − x x − 4 )dx .
2.
6.
0
dx
∫
0
6x − x
1
e x dx
0e
2x
∫
+4
2
.
.
Найти интегралы, выполнив замену переменных: 9
28
dx 7. ∫ , x = t2 . 05+ x ln 3
9.
3 2x
2x
∫ e − 1 dx, e − 1 = z
8.
∫
1 3
3
8 − 23 x − 1
π /2
.
10.
0
86
x −1
dx
dx, x − 1 = t 3 . x
∫ 5 − 2sin x , tg 2 = t . 0
2
11.
8
dx
∫
.
x 3x 2 + 2 x − 1
1
12.
2 ∫ 8 x − x dx .
0
Найти интегралы, используя формулу интегрирования по частям: e2
13.
π /6
∫ ( x + 2) ln xdx .
∫ x sin xdx .
14.
0
1
π
15.
2
x
∫ e cos x dx .
16.
2 ∫ x + 5 dx .
1
0
Найти площади фигур, ограниченных линиями: 2
3
17. y = x ,
x = 0,
y = 8.
x2 y = 3− . 2
2
18. y = x / 4, 19. y = x ,
y = 6 − x,
20. y = 4 − x 2 ,
y = 0.
y = 2 − x,
21. 4 y = 8 x − x 2 ,
y = 0.
4y = x + 6.
x = π / 6, x = π / 3,
22. y = ctg x,
y = 0.
Найти площади фигур в полярных координатах: 23. r = 2(3 − cos ϕ ) . 25. r =
2
24. r = 8sin 3ϕ . 26. r =
.
sin 2 ϕ
Найти длины дуг кривых: 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
6 . 2 − cos ϕ
⎧ 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; 34. y = sin 2 x,
б) вокруг оси OY.
y = 0, x = 0, x = π .
а) вокруг оси OX; 35. y = x 2 − 4 x,
y = 2x − 5 .
а) вокруг оси OX; 36. y = tg x, 37. y 2 = x − 3,
б) вокруг оси OY.
б) вокруг оси OY.
y = 0, x = π / 3 , (вокруг оси OX). x = 3 , (вокруг прямой x = 3).
⎧ x = 2(t − sin t ), 38. ⎨ ⎩ y = 2(1 − cos t ), ⎧⎪ x = 6 cos 4 t , 39. ⎨ 4 ⎪⎩ y = 8sin t ,
а) вокруг оси OX;
(вокруг оси OX ).
40. r = 2(1 + cos ϕ ) , (вокруг полярной оси). 41. r =
a , (вокруг полярной оси). cos ϕ
88
б) вокруг оси OY.
Глава 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 .
a
A→+∞ a
(1)
Если предел (1) существует и конечен, то говорят, что несобственный ин+∞
теграл
∫ f ( x)dx
сходится, а функцию f (x) называют интегрируемой в беско-
a
89
нечном промежутке [a,+∞) (иногда в этом случае используют обозначение: +∞
∫ f ( x)dx < ∞ ).
Если же этот предел (1) не существует (в частности, бесконе-
a
+∞
∫
чен), то интеграл
f ( x)dx называют расходящимся.
a
ПРИМЕР 1. Найти интеграл от функции f ( x ) =
1 x
p
в пределах от a
до +∞, где a – положительное число. Имеем
⎧ 1− p A ⎧ A1− p a1− p x − , p ≠ 1; ⎪ ⎪ A A dx ⎪1 − p , p ≠ 1 ⎪ 1 − p 1 − p −p =⎨ a ∫ x p = ∫ x dx = ⎨ ⎪ ⎪ln A , p = 1. a a A ⎪ln x , p = 1 ⎪⎩ a a ⎩ Тогда
⎧ a1− p , p > 1; dx ⎪− lim ∫ = ⎨ 1− p A→∞ x p ⎪ a ⎩+∞, p ≤ 1. A
Таким образом, при p > 1 интеграл
+∞
∫
a
dx xp
a1− p . сходится и равен p −1
При p ≤ 1 этот интеграл расходится. e ПРИМЕР 2. Найти интеграл от функции f (x) = cos x в пределах от x = 0
до x = +∞ .
+∞ Интеграл
∫ cos x dx
A
расходится, поскольку
0
0 а предел
A ∫ cos x dx = sin x 0 = sin A ,
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, то ∞
∫ f ( x )dx = lim
B
∫ f ( x )dx .
(3)
A→−∞ A B →+∞
−∞
Если пределы (2) или (3) существуют и конечны, то функция f (x) называется интегрируемой на интервалах ( – ∞, a] или ( – ∞, +∞), соответственно, а про несобственные интегралы, определяемые выражениями (2) или (3), говорят, что они сходятся. Если пределы (2) или (3) не существуют или бесконечны, то говорят, что соответствующие интегралы расходятся. ∞
ПРИМЕР 3. Вычислить несобственный интеграл
∫
dx
−∞ 1 + x
2
.
Имеем ∞
B
dx
dx B = lim = lim arctg x A = lim (arctg B − arctg A) = ∫ ∫ 2 A→−∞ A 1 + x 2 A→−∞ A→−∞ −∞ 1 + x 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 и
a
∫
g ( x) dx следует сходимость
a
интеграла +∞
+∞
∫ ( f ( x) ± g ( x)) dx = ∫
a
+∞
f ( x) dx ±
a
∫
g ( x) dx.
a
o. Пусть k ≠ 0 – произвольная постоянная, тогда из сходимости инте+∞ грала
∫ f ( x )dx
следует сходимость интеграла
a
+∞
+∞
a
a
∫ k f ( x) dx = k ∫ f ( x) dx . +∞
Если же интеграл
∫
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
a
+∞
и
∫ f ( x)dx
сходятся или расхо-
c
дятся одновременно. Действительно, имеем A
c
A
∫ f ( x)dx = ∫ f ( x)dx + ∫ f ( x)dx .
a
a
(3)
c
Переходя в обеих частях равенства (3) к пределу при А → +∞ с учетом тоc
го, что ∫a f ( x) dx = const , получим три возможных результата:
93
1) пределы в правой и левой частях (3) одновременно не существуют; 2) оба этих предела бесконечны; 3) оба предела конечны. В этом случае имеет место равенство: +∞
c
+∞
a
a
c
∫ f ( x)dx = ∫ f ( x)dx + ∫ f ( x)dx .
Лемма, таким образом, доказана. Из нее следует, что на сходимость (расходи+∞
мость) несобственного интеграла
∫ f ( x)dx
влияет только поведение функции
a
f (x) при достаточно больших значениях аргумента x (т.е. при x >> 1) . Теперь можно перейти к доказательству теоремы: Пусть значение с ≤ а. Тогда неравенство 0 ≤ f (x) ≤ g (x) справедливо для всех x ≥ а. Рассмотрим функцию F ( A) =
A
∫ f ( x)dx .
Эта функция – неубываю-
a
щая. Действительно, из условия 0 ≤ f (x) при B > A следует неравенство
F ( B ) = F ( A) +
B
∫ f ( x)dx ≥ F ( A) .
A
Как известно, для монотонно неубывающей функции F ( A ) всегда существует предел:
⎧ F = const < ∞, если F(A) ограничена; lim F ( A) = ⎨ o +∞, если F(A) не ограничена. 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) = k , 0 ≤ k ≤ +∞ , x → +∞ g ( x) lim
(4)
то из сходимости несобственного интеграла (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), ⎨ ⎩ f ( x) < ( 3k 2 ) g ( x).
(5) +∞
+∞
Учитывая, что при cо = const ≠ 0 интегралы ∫a g ( x)dx и ∫ co g ( x)dx сходятa ся или расходятся одновременно, из неравенства (5) и теоремы 1 получаем, что интегралы (1) и (2) сходятся и расходятся одновременно. Если k = 0, из равенства (4) и определения предела следует:
∀ε > 0 ∃δ = δ (ε ) > 0 : ∀x > δ ⇒
f ( x) <ε . g ( x)
Взяв, например, ε = 1, получаем отсюда, что 0 ≤ f (x) ≤ g (x), и из теоремы 1 выводим заключение теоремы 2: из сходимости интеграла (1) следует сходимость интеграла (2). Если значение k в пределе (4) бесконечно ( k = +∞), то из равенства (4) и определения бесконечного предела получаем
∀M > 0 ∃δ > 0 : ∀x > δ ⇒
f ( x) >M. g ( x)
Отсюда при M = 1 имеем, что при x > δ выполнено неравенство f (x) > g (x). Тогда в силу теоремы 1 из расходимости интеграла (1) следует расходимость интеграла (2). Теоремы 1 и 2 называют теоремами сравнения. Из этих теорем следует, что сходимость несобственного интеграла можно установить, не вычисляя его значения, а просто сравнив его с интегралом от уже исследованной функции. +∞
Для сравнения часто используют интеграл от степенной функции: пример 1 п.3.1). 96
∫
dx
p a x
(см.
+∞
ПРИМЕР 1. Исследовать на сходимость интеграл
∫
0
x 2 dx 4
2
x − x +1
.
Подынтегральная функция положительна, а ее числитель и знаменатель – многочлены, причем степень числителя на два меньше степени знаменателя. 2
Следовательно, сравнение удобно проводить с функцией 1/(x ). Существует предел:
x2
lim
4
2
:
1
x − x +1 x
x →+∞
+∞
∫
Поскольку интеграл
1
dx x
2
2
= lim
x →+∞
x4 4
2
x − x +1
= 1.
сходится (см. пример 1 из п. 3.1, p = 2 > 1), то в си+∞
лу теоремы 2 сходится и интеграл
∫
x 2 dx
4 2 1 x − x +1
. Поскольку на отрезке [0,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
∀ε > 0 ∃ δ = δ (ε ) > 0 :
b′′
∫
необходимо и достаточно, чтобы
f ( x)dx < ε для ∀b′, b′′ > δ .
b′
На основе критерия Коши может быть доказана еще одна важная теорема: +∞
Теорема 3. Если сходится интеграл
+∞
∫ f ( x) d x ,
то интеграл
a
∫ f ( x)dx
a
также сходится. +∞
Доказательство. Если
∫ f ( x) dx < ∞, то в силу критерия Коши
a
∀ε > 0 ∃δ > 0 : ∀b ', b " > δ ⇒
b"
∫
f ( x) dx < ε .
b'
Но по свойству определенного интеграла справедливо неравенство b"
∫
b'
b"
f ( x)dx ≤
∫
b"
f ( x) dx . Отсюда
∫ f ( x) dx < ε
и по критерию Коши сходится
b'
b' +∞
также несобственный интеграл
∫ f ( x)dx .
a
+∞
ПРИМЕР 2. Исследовать на сходимость интеграл
Подынтегральная функция f ( x) =
x cos x 2
x + 100
∫
x cos x
2 0 x + 100
dx .
на интервале [0, +∞] не сохра-
няет знак, в то же время теоремы сравнения справедливы только для положительных функций. Рассмотрим функцию f ( x ) =
98
x cos x 2
x + 100
≥ 0 . Для нее спра-
ведливо неравенство: f ( x ) ≤
x 2
x + 100
≤
x x
2
=
1 x
32
= g ( x ) . Поскольку несоб-
∞
ственный интеграл
∫ g ( x)dx < ∞ сходится (см. пример 1 п.3.1 при р = 3/2), то по
1
+∞
теореме 1 сходится и интеграл
∫
f ( x) dx , а значит, по теореме 3, интеграл
1 +∞
∫
x cos x
2 1 x + 100
также сходится. На отрезке [0,1] функция f (x) непрерывна, следо1
вательно, существует конечный интеграл
∫ f ( x)dx .
Таким образом, заданный
0
∞
1
∞
0
0
1
интеграл
∫ f ( x)dx = ∫ f ( x)dx + ∫ f ( x)dx сходится.
Теоремы 1– 3 дают возможность исследовать на сходимость несобственные интегралы от положительных функций или абсолютную сходимость несобственных интегралов. Как быть с условной сходимостью? Приведем без доказательства признак сходимости, применимый и для неабсолютно сходящихся интегралов.
Признак Дирихле сходимости несобственных интегралов. Пусть выполнены условия: 1) функция φ(x) монотонно стремится к нулю при x → +∞; x
2) первообразная Ψ ( x) = ∫ ψ (ξ)d ξ ограничена. +∞
Тогда несобственный интеграл
a
∫ ψ( x)ϕ( x)dx
a
солютно).
99
сходится (вообще говоря, не аб-
p
Замечание. В качестве φ(x) часто берут степенную функцию φ(x) = 1/x ,
p > 0. Эта функция, очевидно, монотонно стремится к нулю при x →+∞ . +∞
ПРИМЕР 3. Исследовать на сходимость интеграл
Рассмотрим функции ϕ( x) =
sin x ∫ x dx . 1
1 1 и ψ(x) = sin x. Первообразная = x x1 2
x
функции ψ(x) ограничена: Ψ ( x ) = ∫ sin ξ dξ = − cos ξ 1 = cos1 − cos x , а значит x
1
Ψ ( x ) ≤ cos1 + cos x ≤ 2 .
Следовательно,
по
признаку
Дирихле,
инте-
+∞
грал
sin x ∫ x dx сходится. 1
Докажем, что сходимость этого интеграла условная. Предположим про+∞
тивное: имеет место абсолютная сходимость, т.е. интеграл
∫
1
sin x x
dx сходит-
ся. Тогда по теореме 1, в силу неравенств 0 ≤ sin 2 x ≤ sin x , сходится также ин∞
+∞ 1 sin 2 x cos 2 x 2 dx . Но sin x = (1 − cos 2 x) , а интеграл ∫ dx , как можно теграл ∫ 2 x x 1 1
доказать, сходится по признаку Дирихле. Значит, по свойству несобственного интеграла должен также сходится интеграл ∞
∞ ∞ dx sin 2 x cos 2 x ∫ x = 2 ∫ x dx + ∫ x dx . 1 1 1
Получено противоречие (см. интеграл из примера 1 при p = 1/2 < 1). Сделанное +∞
предположение оказалось неверным, интеграл
∫
1
ходится.
100
sin x x
dx , на самом деле рас-
3.4. Несобственные интегралы от неограниченных функций. Рассмотрим теперь функцию f (x), заданную в конечном промежутке [a,b), но не ограниченную на этом промежутке. Предположим, что функция f (x) ограничена и интегрируема на любом отрезке [a, b – δ], где δ > 0, но не ограничена на интервале (b – δ, b). Точка b в этом случае называется особой точкой. Определение 1. Несобственным интегралом функции f (x) в проме-
жутке от a до b называется предел интеграла
b −δ
∫ f ( x)dx
при δ→0 (конечный
a
или бесконечный): b −δ
b
∫ f ( x)dx = δlim ∫ f ( x)dx . →0
a
(1)
a
Если предел (1) конечен, то говорят, что несобственный интеграл сходится, а функцию f (x) называют интегрируемой в промежутке [a,b). Если предел (1) бесконечен или не существует, то говорят, что несобственный интеграл расходится.
Аналогично, для функции f (x), определенной и интегрируемой в промежутке [a + δ, b] и неограниченной на интервале (a, a + δ) определяется несобственный интеграл b
b
∫ f ( x)dx = δlim ∫ f ( x)dx . →0
a
(2)
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): n −1 ci +1
c1
b
∫ f ( x)dx = ∫ f ( x)dx + ∑ ∫
a
b
f ( x)dx +
i =1 ci
a
∫
f ( x)dx ,
(3)
cn
где ci +1
∫
f ( x)dx =
ci
ci +1 −δ 2
lim lim f ( x)dx . ∫ δ1 → 0 δ 2 → 0 c +δ i 1
Если c1 = a, то первое слагаемое в правой части (3) отсутствует. Если cn = b, то отсутствует последнее слагаемое. Определение 2. Интегралы вида (1) – (3) из разделов 3.1 и 3.4 называ-
ются несобственными интегралами (в отличие от изученных в главе 2 определенных интегралов Римана, называемых собственными). 1
ПРИМЕР 1. Вычислить несобственный интеграл
∫
−1
dx 1− x
2
.
Здесь особые точки подынтегральной функции – точки x = ±1. По формуле (3) имеем 1
∫
−1
dx 1− x
2
= lim
1−δ 2
∫
dx
δ1 → 0 2 −1+δ1 1 − x δ 2 →0
=
= lim arcsin (1 − δ 2 ) − lim arcsin ( −1 + δ1 ) = δ 2 →0
δ1 → 0
π
⎛ −π −⎜ 2 ⎝ 2
⎞ ⎟ = π. ⎠ 1
ПРИМЕР 2. Исследовать на сходимость несобственный интеграл
∫
dx
0x
p
.
Подынтегральная функция на отрезке [0, 1] имеет единственную особую точку: x = 0. По определению получаем
102
⎧ − p +1 1 ⎪x 1 1 dx dx ⎪ − p + 1 , при p ≠ 1, δ ∫ 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
0x
p
сходится при p < 1, а при p ≥ 1 +∞
этот интеграл расходится, (в отличие от несобственного интеграла
∫
1
dx x
p
из
примера 1 п.3.1). 2
ПРИМЕР 3. Исследовать на сходимость интеграл
∫
dx
0 ( x − 1)
2
.
Особая точка х = 1 лежит внутри отрезка интегрирования. По определению, 2
1
2
1− 0
2
−1 1 =∫ +∫ = − = ∫ 2 2 2 ( ) ( ) − 1 − 1 x x 0 1+ 0 0 ( x − 1) 0 ( x − 1) 1 ( x − 1) 1 1 = − lim − 1 − 1 + lim = −(−∞) − 2 + (+∞) = +∞. x →1− 0 ( x − 1) x →1+ 0 ( x − 1) dx
dx
dx
Интеграл расходится. Замечание. Пример 3 демонстрирует, как важно начинать исследование
несобственного интеграла с определения особых точек. Ведь, если решать его формально по формуле Ньютона – Лейбница для определенных интегралов: 2
dx
2
1 = − = −2 , (???) ∫ 2 x − 1 0 0 ( x − 1) был бы получен неверный результат. Для несобственных интегралов от неограниченных функций справедливы те же утверждения, что и для несобственных интегралов с бесконечными пре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
a
a
∫ f ( x)dx следует расходимость интеграла ∫ g ( x)dx .
Теорема 2. Если существует предел
f ( x) = k , 0 ≤ k ≤ +∞, x → a g ( x) lim
причем для некоторого положительного числа δ при а ≤ х ≤ а + δ справедливы неравенства f (x) ≥ 0, g(x) > 0, то из сходимости несобственного интеграла b
∫ g ( x) dx
b
при 0 ≤ k < ∞ следует сходимость несобственного интеграла
a
∫ f ( x)dx ,
a b
а из расходимости интеграла
∫ g ( x)dx
при 0 < k ≤ ∞ следует расходимость ин-
a b
теграла
∫ f ( x)dx (точка а – особая точка).
a
b
Теорема 3. Если сходится несобственный интеграл
∫
a b
дится интеграл
∫ f ( x)dx , (а – особая точка функции f (x)).
a
104
f ( x) dx, то схо-
Определение 3. Пусть несобственный интеграл (2) сходится. Тогда он
называется абсолютно сходящимся, если, наряду с ним, сходится и интеграл b
∫
f ( x) dx,
(4)
a
и условно сходящимся, если интеграл (4) расходится. Замечание. Для исследования сходимости интеграла (2) по теоремам 1 и p
2 функцию f (х) часто сравнивают со степенной функцией 1/x (см. пример 2). ПРИМЕР 4. Исследовать на сходимость интеграл 1
∫
0
ln(1 + x) 2
x + 4x
dx.
(5)
Здесь точка x = 0 − особая точка. В окрестности нуля бесконечно малая 2
функция ln(1+ x) эквивалентна x, а функция x + 4 x сравнивая подынтегральную функцию с функцией
x x2
3
2
эквивалентна x . Тогда,
=
1 , получим x
ln(1 + x) 2 3 x ln(1 + x) 1 = =1 . lim lim x + 4 x = lim 2 1 x →0 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) на сумму двух интегралов:
B(a, b) =
1/ 2
∫
1
x a −1 (1 − x)b −1 dx +
∫x
a −1
(1 − x)b −1 dx = I1 + I 2 ,
1/ 2
0
и оценим каждое из слагаемых. При x ≤ 1/2 и b < 1 имеем: x
a −1
(1 − x)
b −1
=
x a −1
(1 − x )
1− b
≤
x a −1 1− b ⎛1⎞ ⎜ ⎟ ⎝2⎠
=x
a −1
⎛1⎞ ⋅⎜ ⎟ ⎝2⎠
b −1
.
При b ≥ 1 и 0 ≤ x ≤ 1/ 2 имеем: x a −1 (1 − x) b −1 ≤ x a −1 . 1/ 2
Интеграл
∫ x
a −1
dx =
1/ 2
∫
0
0
dx
сходится при р = 1 – а < 1, т.е. при а > 0.
1− a
x
1/ 2
То же справедливо и для интеграла:
∫ x
a −1
(1 2)
b −1
1/ 2 b −1 a −1
dx = (1 2 )
∫ x
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
∫
1/ 2
(1 − x)
b −1
0
dx = −
∫
y
b −1
1/ 2
dy =
1/ 2
∫
y
b −1
dy =
0
1/ 2
∫
dy
1−b 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) на сходимость разобьем его на сумму двух интегралов: +∞
∫ x
a −1
⋅e
−x
0
1
dx = ∫ x
a −1
⋅e
−x
dx +
+∞
a −1 − x ∫ x ⋅ e dx = I1 + I 2 .
1
0
Если а ≥ 1, то подынтегральная функция непрерывна, а значит, I1 – собственный интеграл. При 0 < а < 1 и x ≥ 0 имеем х 1
интеграл ∫ x
a −1 − x
e
0
а–1 –х
е
≤х
а–1
. Поэтому в силу теоремы 1 1
dx cходится, если сходится интеграл ∫ x a −1dx , т.е. при а > 0 0
(подробнее см. пример 2). Исследуем теперь на сходимость интеграл I2. Известно, что для достаточно больших значениий x (т.е. при x >> 1) и λ
x
при любом положительном числе λ справедливо соотношение: ln x < x < e . Поэтому, приняв λ = 2а, получим: e x 2 > x a при а > 0. Тогда подынтегральная функция в (7) удовлетворяет неравенству: x ∞
скольку
∫e
−x / 2
dx = −2e
1
−x / 2
∞ 1
a −1 − x
e
=
xa xe
x2
⋅
1 e
x2
<
1 e
x2
. По-
= 2e−1/ 2 < ∞ , то по теореме 1 п. 3.3 интеграл
I2 сходится при а > 0. Таким образом, доказано, что интеграл Эйлера II-го рода (7) сходится при любом положительном значении параметра а.
107
Замечание. Отметим важное свойство гамма-функции. Имеем +∞
Г(1) =
∫
e − x dx = − e− x
0
+∞ 0
= 1.
Для любого натурального значения n, применив формулу интегрирования по частям, получим +∞
Г(n) =
∫
x
n −1
⋅e
−x
+∞
dx = −
0
n −1
−x
⎛ +∞ +∞ − x n −1 ⎞ n 1 x − − = −⎜ x e − ∫ e dx ⎟ = ⎜ ⎟ 0 0 ⎝ ⎠
∫
x
∫
x n − 2 ⋅ e− x dx = (n − 1) ⋅ Γ (n − 1).
0 +∞
= (n − 1)
de
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
Интегрирование под знаком интеграла. Исследуем интеграл:
I ( y) =
ϕ2 ( y)
∫ f ( x, y ) dx ,
(1)
ϕ1 ( y )
в котором и подынтегральная функция, и пределы интегрирования зависят от параметра у. В этом случае и результат интегрирования будет представлять собой функцию переменной у. Пусть функции φ1(у) и φ2(у) непрерывны, а функция f (x, y) непрерывна по совокупности своих переменных. В этом случае существует интеграл: d
d
ϕ2 ( y)
∫ I ( y)dy = ∫ dy ∫ c
c
f ( x, y ) dx .
(2)
ϕ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 . c
c
a
a
(3)
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 f ( x, y )dx = ∫ f y′ ( x, y )dx . I '( y ) = dy ∫ a
a
109
(5)
1
(
)
ПРИМЕР 1. Найти производную функции I ( y ) = ∫ ln x 2 + y 2 dx. 0
Имеем по формуле (5): 1
(0
2
I ′( y ) = ∫ ln( x +
1 2y 1 2 ' y ) dx = ∫ dx = 2 arctg . 2 2 y y 0x +y
)
Теорема 2. Пусть функция I (у) задается формулой (1):
I ( y) =
ϕ2 ( 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 (у) существует определяется по формуле
I ′( y ) =
ϕ2 ( y)
∫ f y′ ( x, y )dx + ϕ 2′ ( y ) ⋅ f (ϕ 2 ( y ), y ) − ϕ1′ ( y ) ⋅ f (ϕ1 ( y ), y ) .
ϕ1 ( y )
ПРИМЕР 2. Найти производную функции I ( y ) =
y2
∫
2
e yx dx .
y
По формуле (6) получаем y2
I ′( y ) =
⎛ yx 2 ⎞ 2 ′ ⎛ yx 2 ⎞ yx 2 ' ′ + ⋅ − ⋅ = ( e ) dx ( y ) e ( y ) ⎟ ⎟ y y ⎜ y ⎜e ∫ 2 ⎝ ⎠ ⎝ ⎠ x= y x= y y y2
=
∫
y
110
2
5
3
x 2 e yx dx + 2 ye y − e y .
(6)
Интегрирование и дифференцирование по параметру в несобственных интегралах. Введем вначале важное понятие равномерной сходимости несобственных интегралов, зависящих от параметра. Определение. Несобственные интегралы +∞
∫ f ( x, y )dx
(7)
a
и b
∫ f ( x, y )dx , (а − особая точка)
(8)
a
называются сходящимися равномерно по переменной у, принадлежащей некоторой области U, если они сходятся при любом фиксированном значении y ∈ U и величина δ в критерии сходимости несобственного интеграла (см. п. 3.3) не зависит от значения у, т.е.
∀ε > 0 ∃δ = δ (ε ) > 0 :
b′′
∫ f ( x, y )dx < ε
для ∀b′, b′′ > δ и ∀y ∈ U
b′
− для интеграла (7),
∀ε > 0 ∃δ = δ (ε ) > 0 :
a +b′′
∫ 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
c
a
a
c
∫ dy ∫ f ( x, y)dx = ∫ dx ∫ f ( x, y)dy .
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
Интегрирование и дифференцирование по параметру иногда позволяет значительно упростить процедуру вычисления определенных интегралов: ПРИМЕР 3. Вычислить интеграл A =
∞
sin x
∫ x dx . 0
Соответствующий неопределенный интеграл
sin x
∫ x dx
не может быть вы-
ражен в элементарных функциях, он носит название интегрального синуса. Для вычисления искомого интеграла A рассмотрим функцию ∞
I (t ) = ∫ e−tx ⋅ 0
sin x dx, t ≥ 0 . x
Тогда A = I (0). Дифференцируя под знаком интеграла, получим ∞
I ′(t ) = − ∫ e−tx sin xdx . 0
Этот интеграл легко вычисляется при t > 0 :
112
I ′(t ) =
∞ ⎞ 1∞ −tx 1 ⎛ −tx ∞ −tx = − sin sin cos xde x e e xdx ⎜ ⎟= ∫ ∫ ⎟ 0 t0 t ⎜⎝ 0 ⎠
=
1∞
∫ cos xde
−tx
t2 0
∞ ⎞ 1 1⎛ −tx ∞ = ⎜ cos xe + ∫ e−tx sin xdx ⎟ = ( −1 − I ′(t ) ) . ⎟ t2 0 t 2 ⎜⎝ 0 ⎠
Отсюда
I ′(t ) = −
1 1+ t2
.
Интегрируя полученное соотношение, находим
I (t ) = − ∫
1 1+ t
2
dt = − arctg t + C .
Постоянную интегрирования С можно определить из условия I (+∞) = 0:
0=− Тогда I (t ) =
π 2
π 2
+C ⇒ C =
π 2
.
− arctg t . По свойству 1 функция I (t ) непрерывна, поэтому ис-
комый интеграл может быть найден в результате предельного перехода: ∞
π
sin x
π
I (t ) = lim ( − arctg t ) = . ∫ x dx = I (0) = tlim 2 → 0 t →0 2 0
113
Теоретические вопросы к главе 3. 1. Дать определения несобственного интеграла с бесконечным пределом. 2. Дать определение несобственного интеграла от неограниченной функции. b
3. В каком случае интеграл
dx
∫ x2 + 4 x + 4 является несобственным?
a
4. Какие интегралы называются интегралами Эйлера? При каких значениях параметра они сходятся? 5. Справедлива ли следующая запись e +1
∫
− e +1
e +1 dx = ln | x − 1| = ln | e | − ln | −e |= 1 − 1 = 0 ? −e + 1 x −1 5
6. Найти производную функции I ( y ) = ∫ sin( xy )dx двумя способами: 1) выy
числив предварительно интеграл; 2) используя формулу (6) из раздела 3.5. Сравнить результаты.
Задачи к главе 3. Вычислить интегралы или установить их расходимость: ∞
1.
∫
2 −∞ x + 9
∞
4.
∞
dx
∫e
−x
.
2.
−∞ ∞
7.
∫
0
∫
2 −∞ x + 4x + 9
∞
cos x dx .
dx
5. ∫ e
−2 x
∞
.
3.
(1 + x )
2 2
∞
.
8.
arctg xdx
2 −∞ x + 1
.
∞
sin x dx .
6. ∫ xe − x dx . 0
0
xdx
∫
∫ xe
− x2
−∞
114
∞
dx .
9.
∫
0
arctg 2 x 2
4x + 1
dx .
∞
∞
dx
10. ∫
2 e x ln x
∞
2 −x
13. ∫ x e
.
11.
e
∞
dx
16. ∫
2 2 ( x − 1)
0 ∞
28. ∫ xe
.
xdx
.
2
x +4 −2 x
23.
26.
15.
.
18.
∫
3 1 x
x ln 2 x ( ln ( ln 2 x ) )
∞
x 2 arctg x3dx
3
∫
1+ x
6
x −1
∞
x 3 dx 3
0
4
x +1
( x4 + 5)
1/ 2
0
∞
arctg 2 x dx
−∞
1 + x2
3
dx
∫
30.
2
.
x3dx
∫
27.
.
.
3
∞
29. ∫ ln 3xdx .
0
x 2 dx
2
∞
dx .
3/ 2
1 ( 2 x − 1)
. 24. ∫
.
dx .
dx
21. ∫
.
dx
−∞
.
3
x +1
∞
4
∫
1− x
2
∞
cos xdx
∫
12. ∫
.
.
∞
2 1 x ln 2 x
∫3
2
3 1 sin x
dx
∞
25.
dx
20. ∫
1
∫
∞
∞
19. ∫ ln xdx . 22.
1+ x
2
x 2 dx
∞ 2
4 e x ⋅ ln x
∞
∞
1
17. ∫
.
( ln ln x )
xdx
14. ∫
dx .
0
∞
∫2 x ln x
∞
dx
.
.
Вычислить интегралы или установить их расходимость: 2
31.
∫
e
dx
0 ( x − 1)
4
.
32.
34. ∫ ln xdx .
35.
∫
0 1
40.
∫
0
arccos 2 x 1 − 4x x 2 dx 1− x
3
4 1 x ⋅ ln x
∫
−1
0
37.
∫
1
1
1/ 2
dx
2
36.
41.
∫
0x
dx 2
+ 4x
115
3/ 2
0 ( 2 x − 1)
∫
arcsin xdx 1− x
0
π /4
dx 38. ∫ . x ln x 0 1
.
2
.
1
dx .
∫
33.
1
dx 1− x
.
∫
39.
0
e
.
42. ∫
2
cos x dx 3
sin x dx
1 x ln
2
x
.
.
.
.
e2
43.
1
dx
∫
x ln x ( ln ln x )
e
2
44. ∫
.
1
46.
dx ∫ x ln x . 0 2
49.
52.
−2
4− x
1
x5 dx
∫
1− x
−1
π /2
∫
2
∫
(x
dx
∫
6
.
53.
+x x
∫
)
59.
2
2
∫
48.
2
tg xdx
0
2
π
dx .
51.
cos xdx
∫
2 0 sin x
.
54.
57.
dx
∫
3 0 4 x ⋅ ln x 1
.
.
∫
.
( 2 x + 5) dx
2 0 x + 5x
.
π
dx
0 3 x ln
dx
∫ ( x − 1)( x − 2 ) .
1
2 0 cos x
1
.
1 − 4x
0 x ( x − 1)
56.
x
dx .
3
2
dx
∫
x +1
0
arcsin 2 x
∫
π /2
.
45. ∫
.
0 x ( x − 2)
2
ctg xdx
2
1
50.
( 4 x + 3 x ) dx .
0
1− x
−1/ 2
2 0 sin x
1
58.
.
2
0
1/ 2
dx
∫
55.
47.
1 2
xdx
3
x
.
60.
cos dx ∫ sin x . 0
Исследовать интегралы на сходимость: ∞ 3
61.
∫
1
2
∫
4
65.
∫
2 ∞
67.
69.
∫
3 8
3 x + 24 + 10 3 x + 8 x 2 + x3 + 4 2
3x + 2 x + 4 2
3x + 25 x + 6
∞
3 x + x3 + 4
3
4
3 2
5 x + 16 x + 3 x
dx . 64.
∫
dx .
dx .
dx .
66. ∫
3 4
3 x + 4x + x
6
4
2
∞
2 x 3x 2 + 8 + 5 x
dx .
3
2
dx .
2
3x + 28
∞
3 x x − 16 x 2 + 4
∫
2
3
2 x x4 + 5 + 5x 6x + 4x + 2 x + 1
1
116
6
3
68. ∫
70.
dx .
3 x3 + 8 x + 6 − 2 x + x 2 + 8
1
3
2
x +4
∞
2 x x2 + 4 + 3 x x 4
2
∞
3
8
3 x + 1 − 2x x
∫
2
1
∫
62.
2 x3 + 3 x + 4 + 2 x 2 + 6
3 ∞
dx .
3x + x + 5
∞3
63.
∞ 3 3
x + x2 + 4
8
2
3 12
5 x + 16 x + 25 x
+4
dx .
dx .
∞
71.
∫
2
3 12
x
∞
73.
∫
4
∫
1
∫
3
3x + 16 + 2 x
3 8
10
3 x +6+ x
8x2 x + 5 − 4 x 3 8
2 x + 6 + 24 x
dx .
4
74.
+4
dx .
∞
85. ∫
3 12
+ 32 x
3
6
dx .
x + 8 + 4x + 5
53
x
10
+ 5 + 5x
2 x 3 + 3x 2 − 8
1 25
8
4
∞
3
2 2 x5 + 8x + 9 + x + 3 4
2 5x
4
88. ∫
3x + 16 x + 5
2
+ 30 x + 16 x + 1
3 12
4
+4 + x +3
x
16
2x
10
+ 5x
+8
∫
dx .
3
2x 2 + 3 x 4 + 3 + 5x 16
x
8
+ 25 x + 3
dx .
3x 2 + 4 x + 5 3
4,5 3
117
dx .
3
2
90.
dx .
dx .
2 x 2 + 3x 4 + 1 + 2 x 3
∞
dx .
2
x3 + 2x + 4
6
x + 2x + 3 x + 4 2
2x + x2 + 4x + 3
86. ∫
dx .
+ 4 + 5x + 6
dx .
∞
42
2
+4
2
x
82. ∫
∞ 3
89. ∫
3 x + 25 + x
dx .
x 4 + 2 x 2 + 10
84. ∫
dx .
5 20
3
∞
∞
87. ∫
3 4
2 x3 + 8x − 4 + x 2 + 3
80. ∫
3
+4
dx .
3x2 x + 5 + 8 x
∞
dx .
3 12
5x + 8x + x
0
dx .
4
3 12
∞
2
2
3 16
2
43
+ 8x + 4
3x 2 + 8 x 2 + 6
5x x − 6 x + 3
2x x + 5
78. ∫
dx .
3x 5 + 4 x 3 + 2
33
∞
4
∫
2
3x 2 + 5 x + 16
1 16 x
83. ∫
76.
dx .
6
3x + x + 8
∞
25 x 4 + 13x 2 + 6
81. ∫
2
∞
3
∞
∫
5
16 x 2 + 4 x 3 + 8 + 3 x
1
∫
3x 2 + 5 x + 6
∞
2 x x2 + 4 + 5x − 6
∞
79. ∫
72.
3
3 2
2
∞
77.
+ 5 + 2x
dx .
2
2 x + 3 x18 + x
∞
75.
∞
2 x x 2 + 6 + 18
4
2
6
x + 25 x + 1 + 5 x + 8
dx .
ГЛОССАРИЙ Двойной интеграл (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
Рациональная дробь (rational fraction) – функция вида f ( x) =
P( 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 .
a
A→+∞ a
(1)
Если предел (1) существует и конечен, то говорят, что несобственный ин+∞
теграл
∫ f ( x)dx
сходится, а функцию f (x) называют интегрируемой в беско-
a
89
нечном промежутке [a,+∞) (иногда в этом случае используют обозначение: +∞
∫ f ( x)dx < ∞ ).
Если же этот предел (1) не существует (в частности, бесконе-
a
+∞
∫
чен), то интеграл
f ( x)dx называют расходящимся.
a
ПРИМЕР 1. Найти интеграл от функции f ( x ) =
1 x
p
в пределах от a
до +∞, где a – положительное число. Имеем
⎧ 1− p A ⎧ A1− p a1− p x − , p ≠ 1; ⎪ ⎪ A A dx ⎪1 − p , p ≠ 1 ⎪ 1 − p 1 − p −p =⎨ a ∫ x p = ∫ x dx = ⎨ ⎪ ⎪ln A , p = 1. a a A ⎪ln x , p = 1 ⎪⎩ a a ⎩ Тогда
⎧ a1− p , p > 1; dx ⎪− lim ∫ = ⎨ 1− p A→∞ x p ⎪ a ⎩+∞, p ≤ 1. A
Таким образом, при p > 1 интеграл
+∞
∫
a
dx xp
a1− p . сходится и равен p −1
При p ≤ 1 этот интеграл расходится. e ПРИМЕР 2. Найти интеграл от функции f (x) = cos x в пределах от x = 0
до x = +∞ .
+∞ Интеграл
∫ cos x dx
A
расходится, поскольку
0
0 а предел
A ∫ cos x dx = sin x 0 = sin A ,
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, то ∞
∫ f ( x )dx = lim
B
∫ f ( x )dx .
(3)
A→−∞ A B →+∞
−∞
Если пределы (2) или (3) существуют и конечны, то функция f (x) называется интегрируемой на интервалах ( – ∞, a] или ( – ∞, +∞), соответственно, а про несобственные интегралы, определяемые выражениями (2) или (3), говорят, что они сходятся. Если пределы (2) или (3) не существуют или бесконечны, то говорят, что соответствующие интегралы расходятся. ∞
ПРИМЕР 3. Вычислить несобственный интеграл
∫
dx
−∞ 1 + x
2
.
Имеем ∞
B
dx
dx B = lim = lim arctg x A = lim (arctg B − arctg A) = ∫ ∫ 2 A→−∞ A 1 + x 2 A→−∞ A→−∞ −∞ 1 + x 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 и
a
∫
g ( x) dx следует сходимость
a
интеграла +∞
+∞
∫ ( f ( x) ± g ( x)) dx = ∫
a
+∞
f ( x) dx ±
a
∫
g ( x) dx.
a
o. Пусть k ≠ 0 – произвольная постоянная, тогда из сходимости инте+∞ грала
∫ f ( x )dx
следует сходимость интеграла
a
+∞
+∞
a
a
∫ k f ( x) dx = k ∫ f ( x) dx . +∞
Если же интеграл
∫
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
a
+∞
и
∫ f ( x)dx
сходятся или расхо-
c
дятся одновременно. Действительно, имеем A
c
A
∫ f ( x)dx = ∫ f ( x)dx + ∫ f ( x)dx .
a
a
(3)
c
Переходя в обеих частях равенства (3) к пределу при А → +∞ с учетом тоc
го, что ∫a f ( x) dx = const , получим три возможных результата:
93
1) пределы в правой и левой частях (3) одновременно не существуют; 2) оба этих предела бесконечны; 3) оба предела конечны. В этом случае имеет место равенство: +∞
c
+∞
a
a
c
∫ f ( x)dx = ∫ f ( x)dx + ∫ f ( x)dx .
Лемма, таким образом, доказана. Из нее следует, что на сходимость (расходи+∞
мость) несобственного интеграла
∫ f ( x)dx
влияет только поведение функции
a
f (x) при достаточно больших значениях аргумента x (т.е. при x >> 1) . Теперь можно перейти к доказательству теоремы: Пусть значение с ≤ а. Тогда неравенство 0 ≤ f (x) ≤ g (x) справедливо для всех x ≥ а. Рассмотрим функцию F ( A) =
A
∫ f ( x)dx .
Эта функция – неубываю-
a
щая. Действительно, из условия 0 ≤ f (x) при B > A следует неравенство
F ( B ) = F ( A) +
B
∫ f ( x)dx ≥ F ( A) .
A
Как известно, для монотонно неубывающей функции F ( A ) всегда существует предел:
⎧ F = const < ∞, если F(A) ограничена; lim F ( A) = ⎨ o +∞, если F(A) не ограничена. 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) = k , 0 ≤ k ≤ +∞ , x → +∞ g ( x) lim
(4)
то из сходимости несобственного интеграла (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), ⎨ ⎩ f ( x) < ( 3k 2 ) g ( x).
(5) +∞
+∞
Учитывая, что при cо = const ≠ 0 интегралы ∫a g ( x)dx и ∫ co g ( x)dx сходятa ся или расходятся одновременно, из неравенства (5) и теоремы 1 получаем, что интегралы (1) и (2) сходятся и расходятся одновременно. Если k = 0, из равенства (4) и определения предела следует:
∀ε > 0 ∃δ = δ (ε ) > 0 : ∀x > δ ⇒
f ( x) <ε . g ( x)
Взяв, например, ε = 1, получаем отсюда, что 0 ≤ f (x) ≤ g (x), и из теоремы 1 выводим заключение теоремы 2: из сходимости интеграла (1) следует сходимость интеграла (2). Если значение k в пределе (4) бесконечно ( k = +∞), то из равенства (4) и определения бесконечного предела получаем
∀M > 0 ∃δ > 0 : ∀x > δ ⇒
f ( x) >M. g ( x)
Отсюда при M = 1 имеем, что при x > δ выполнено неравенство f (x) > g (x). Тогда в силу теоремы 1 из расходимости интеграла (1) следует расходимость интеграла (2). Теоремы 1 и 2 называют теоремами сравнения. Из этих теорем следует, что сходимость несобственного интеграла можно установить, не вычисляя его значения, а просто сравнив его с интегралом от уже исследованной функции. +∞
Для сравнения часто используют интеграл от степенной функции: пример 1 п.3.1). 96
∫
dx
p a x
(см.
+∞
ПРИМЕР 1. Исследовать на сходимость интеграл
∫
0
x 2 dx 4
2
x − x +1
.
Подынтегральная функция положительна, а ее числитель и знаменатель – многочлены, причем степень числителя на два меньше степени знаменателя. 2
Следовательно, сравнение удобно проводить с функцией 1/(x ). Существует предел:
x2
lim
4
2
:
1
x − x +1 x
x →+∞
+∞
∫
Поскольку интеграл
1
dx x
2
2
= lim
x →+∞
x4 4
2
x − x +1
= 1.
сходится (см. пример 1 из п. 3.1, p = 2 > 1), то в си+∞
лу теоремы 2 сходится и интеграл
∫
x 2 dx
4 2 1 x − x +1
. Поскольку на отрезке [0,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
∀ε > 0 ∃ δ = δ (ε ) > 0 :
b′′
∫
необходимо и достаточно, чтобы
f ( x)dx < ε для ∀b′, b′′ > δ .
b′
На основе критерия Коши может быть доказана еще одна важная теорема: +∞
Теорема 3. Если сходится интеграл
+∞
∫ f ( x) d x ,
то интеграл
a
∫ f ( x)dx
a
также сходится. +∞
Доказательство. Если
∫ f ( x) dx < ∞, то в силу критерия Коши
a
∀ε > 0 ∃δ > 0 : ∀b ', b " > δ ⇒
b"
∫
f ( x) dx < ε .
b'
Но по свойству определенного интеграла справедливо неравенство b"
∫
b'
b"
f ( x)dx ≤
∫
b"
f ( x) dx . Отсюда
∫ f ( x) dx < ε
и по критерию Коши сходится
b'
b' +∞
также несобственный интеграл
∫ f ( x)dx .
a
+∞
ПРИМЕР 2. Исследовать на сходимость интеграл
Подынтегральная функция f ( x) =
x cos x 2
x + 100
∫
x cos x
2 0 x + 100
dx .
на интервале [0, +∞] не сохра-
няет знак, в то же время теоремы сравнения справедливы только для положительных функций. Рассмотрим функцию f ( x ) =
98
x cos x 2
x + 100
≥ 0 . Для нее спра-
ведливо неравенство: f ( x ) ≤
x 2
x + 100
≤
x x
2
=
1 x
32
= g ( x ) . Поскольку несоб-
∞
ственный интеграл
∫ g ( x)dx < ∞ сходится (см. пример 1 п.3.1 при р = 3/2), то по
1
+∞
теореме 1 сходится и интеграл
∫
f ( x) dx , а значит, по теореме 3, интеграл
1 +∞
∫
x cos x
2 1 x + 100
также сходится. На отрезке [0,1] функция f (x) непрерывна, следо1
вательно, существует конечный интеграл
∫ f ( x)dx .
Таким образом, заданный
0
∞
1
∞
0
0
1
интеграл
∫ f ( x)dx = ∫ f ( x)dx + ∫ f ( x)dx сходится.
Теоремы 1– 3 дают возможность исследовать на сходимость несобственные интегралы от положительных функций или абсолютную сходимость несобственных интегралов. Как быть с условной сходимостью? Приведем без доказательства признак сходимости, применимый и для неабсолютно сходящихся интегралов.
Признак Дирихле сходимости несобственных интегралов. Пусть выполнены условия: 1) функция φ(x) монотонно стремится к нулю при x → +∞; x
2) первообразная Ψ ( x) = ∫ ψ (ξ)d ξ ограничена. +∞
Тогда несобственный интеграл
a
∫ ψ( x)ϕ( x)dx
a
солютно).
99
сходится (вообще говоря, не аб-
p
Замечание. В качестве φ(x) часто берут степенную функцию φ(x) = 1/x ,
p > 0. Эта функция, очевидно, монотонно стремится к нулю при x →+∞ . +∞
ПРИМЕР 3. Исследовать на сходимость интеграл
Рассмотрим функции ϕ( x) =
sin x ∫ x dx . 1
1 1 и ψ(x) = sin x. Первообразная = x x1 2
x
функции ψ(x) ограничена: Ψ ( x ) = ∫ sin ξ dξ = − cos ξ 1 = cos1 − cos x , а значит x
1
Ψ ( x ) ≤ cos1 + cos x ≤ 2 .
Следовательно,
по
признаку
Дирихле,
инте-
+∞
грал
sin x ∫ x dx сходится. 1
Докажем, что сходимость этого интеграла условная. Предположим про+∞
тивное: имеет место абсолютная сходимость, т.е. интеграл
∫
1
sin x x
dx сходит-
ся. Тогда по теореме 1, в силу неравенств 0 ≤ sin 2 x ≤ sin x , сходится также ин∞
+∞ 1 sin 2 x cos 2 x 2 dx . Но sin x = (1 − cos 2 x) , а интеграл ∫ dx , как можно теграл ∫ 2 x x 1 1
доказать, сходится по признаку Дирихле. Значит, по свойству несобственного интеграла должен также сходится интеграл ∞
∞ ∞ dx sin 2 x cos 2 x ∫ x = 2 ∫ x dx + ∫ x dx . 1 1 1
Получено противоречие (см. интеграл из примера 1 при p = 1/2 < 1). Сделанное +∞
предположение оказалось неверным, интеграл
∫
1
ходится.
100
sin x x
dx , на самом деле рас-
3.4. Несобственные интегралы от неограниченных функций. Рассмотрим теперь функцию f (x), заданную в конечном промежутке [a,b), но не ограниченную на этом промежутке. Предположим, что функция f (x) ограничена и интегрируема на любом отрезке [a, b – δ], где δ > 0, но не ограничена на интервале (b – δ, b). Точка b в этом случае называется особой точкой. Определение 1. Несобственным интегралом функции f (x) в проме-
жутке от a до b называется предел интеграла
b −δ
∫ f ( x)dx
при δ→0 (конечный
a
или бесконечный): b −δ
b
∫ f ( x)dx = δlim ∫ f ( x)dx . →0
a
(1)
a
Если предел (1) конечен, то говорят, что несобственный интеграл сходится, а функцию f (x) называют интегрируемой в промежутке [a,b). Если предел (1) бесконечен или не существует, то говорят, что несобственный интеграл расходится.
Аналогично, для функции f (x), определенной и интегрируемой в промежутке [a + δ, b] и неограниченной на интервале (a, a + δ) определяется несобственный интеграл b
b
∫ f ( x)dx = δlim ∫ f ( x)dx . →0
a
(2)
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): n −1 ci +1
c1
b
∫ f ( x)dx = ∫ f ( x)dx + ∑ ∫
a
b
f ( x)dx +
i =1 ci
a
∫
f ( x)dx ,
(3)
cn
где ci +1
∫
f ( x)dx =
ci
ci +1 −δ 2
lim lim f ( x)dx . ∫ δ1 → 0 δ 2 → 0 c +δ i 1
Если c1 = a, то первое слагаемое в правой части (3) отсутствует. Если cn = b, то отсутствует последнее слагаемое. Определение 2. Интегралы вида (1) – (3) из разделов 3.1 и 3.4 называ-
ются несобственными интегралами (в отличие от изученных в главе 2 определенных интегралов Римана, называемых собственными). 1
ПРИМЕР 1. Вычислить несобственный интеграл
∫
−1
dx 1− x
2
.
Здесь особые точки подынтегральной функции – точки x = ±1. По формуле (3) имеем 1
∫
−1
dx 1− x
2
= lim
1−δ 2
∫
dx
δ1 → 0 2 −1+δ1 1 − x δ 2 →0
=
= lim arcsin (1 − δ 2 ) − lim arcsin ( −1 + δ1 ) = δ 2 →0
δ1 → 0
π
⎛ −π −⎜ 2 ⎝ 2
⎞ ⎟ = π. ⎠ 1
ПРИМЕР 2. Исследовать на сходимость несобственный интеграл
∫
dx
0x
p
.
Подынтегральная функция на отрезке [0, 1] имеет единственную особую точку: x = 0. По определению получаем
102
⎧ − p +1 1 ⎪x 1 1 dx dx ⎪ − p + 1 , при p ≠ 1, δ ∫ 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
0x
p
сходится при p < 1, а при p ≥ 1 +∞
этот интеграл расходится, (в отличие от несобственного интеграла
∫
1
dx x
p
из
примера 1 п.3.1). 2
ПРИМЕР 3. Исследовать на сходимость интеграл
∫
dx
0 ( x − 1)
2
.
Особая точка х = 1 лежит внутри отрезка интегрирования. По определению, 2
1
2
1− 0
2
−1 1 =∫ +∫ = − = ∫ 2 2 2 ( ) ( ) − 1 − 1 x x 0 1+ 0 0 ( x − 1) 0 ( x − 1) 1 ( x − 1) 1 1 = − lim − 1 − 1 + lim = −(−∞) − 2 + (+∞) = +∞. x →1− 0 ( x − 1) x →1+ 0 ( x − 1) dx
dx
dx
Интеграл расходится. Замечание. Пример 3 демонстрирует, как важно начинать исследование
несобственного интеграла с определения особых точек. Ведь, если решать его формально по формуле Ньютона – Лейбница для определенных интегралов: 2
dx
2
1 = − = −2 , (???) ∫ 2 x − 1 0 0 ( x − 1) был бы получен неверный результат. Для несобственных интегралов от неограниченных функций справедливы те же утверждения, что и для несобственных интегралов с бесконечными пре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
a
a
∫ f ( x)dx следует расходимость интеграла ∫ g ( x)dx .
Теорема 2. Если существует предел
f ( x) = k , 0 ≤ k ≤ +∞, x → a g ( x) lim
причем для некоторого положительного числа δ при а ≤ х ≤ а + δ справедливы неравенства f (x) ≥ 0, g(x) > 0, то из сходимости несобственного интеграла b
∫ g ( x) dx
b
при 0 ≤ k < ∞ следует сходимость несобственного интеграла
a
∫ f ( x)dx ,
a b
а из расходимости интеграла
∫ g ( x)dx
при 0 < k ≤ ∞ следует расходимость ин-
a b
теграла
∫ f ( x)dx (точка а – особая точка).
a
b
Теорема 3. Если сходится несобственный интеграл
∫
a b
дится интеграл
∫ f ( x)dx , (а – особая точка функции f (x)).
a
104
f ( x) dx, то схо-
Определение 3. Пусть несобственный интеграл (2) сходится. Тогда он
называется абсолютно сходящимся, если, наряду с ним, сходится и интеграл b
∫
f ( x) dx,
(4)
a
и условно сходящимся, если интеграл (4) расходится. Замечание. Для исследования сходимости интеграла (2) по теоремам 1 и p
2 функцию f (х) часто сравнивают со степенной функцией 1/x (см. пример 2). ПРИМЕР 4. Исследовать на сходимость интеграл 1
∫
0
ln(1 + x) 2
x + 4x
dx.
(5)
Здесь точка x = 0 − особая точка. В окрестности нуля бесконечно малая 2
функция ln(1+ x) эквивалентна x, а функция x + 4 x сравнивая подынтегральную функцию с функцией
x x2
3
2
эквивалентна x . Тогда,
=
1 , получим x
ln(1 + x) 2 3 x ln(1 + x) 1 = =1 . lim lim x + 4 x = lim 2 1 x →0 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) на сумму двух интегралов:
B(a, b) =
1/ 2
∫
1
x a −1 (1 − x)b −1 dx +
∫x
a −1
(1 − x)b −1 dx = I1 + I 2 ,
1/ 2
0
и оценим каждое из слагаемых. При x ≤ 1/2 и b < 1 имеем: x
a −1
(1 − x)
b −1
=
x a −1
(1 − x )
1− b
≤
x a −1 1− b ⎛1⎞ ⎜ ⎟ ⎝2⎠
=x
a −1
⎛1⎞ ⋅⎜ ⎟ ⎝2⎠
b −1
.
При b ≥ 1 и 0 ≤ x ≤ 1/ 2 имеем: x a −1 (1 − x) b −1 ≤ x a −1 . 1/ 2
Интеграл
∫ x
a −1
dx =
1/ 2
∫
0
0
dx
сходится при р = 1 – а < 1, т.е. при а > 0.
1− a
x
1/ 2
То же справедливо и для интеграла:
∫ x
a −1
(1 2)
b −1
1/ 2 b −1 a −1
dx = (1 2 )
∫ x
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
∫
1/ 2
(1 − x)
b −1
0
dx = −
∫
y
b −1
1/ 2
dy =
1/ 2
∫
y
b −1
dy =
0
1/ 2
∫
dy
1−b 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) на сходимость разобьем его на сумму двух интегралов: +∞
∫ x
a −1
⋅e
−x
0
1
dx = ∫ x
a −1
⋅e
−x
dx +
+∞
a −1 − x ∫ x ⋅ e dx = I1 + I 2 .
1
0
Если а ≥ 1, то подынтегральная функция непрерывна, а значит, I1 – собственный интеграл. При 0 < а < 1 и x ≥ 0 имеем х 1
интеграл ∫ x
a −1 − x
e
0
а–1 –х
е
≤х
а–1
. Поэтому в силу теоремы 1 1
dx cходится, если сходится интеграл ∫ x a −1dx , т.е. при а > 0 0
(подробнее см. пример 2). Исследуем теперь на сходимость интеграл I2. Известно, что для достаточно больших значениий x (т.е. при x >> 1) и λ
x
при любом положительном числе λ справедливо соотношение: ln x < x < e . Поэтому, приняв λ = 2а, получим: e x 2 > x a при а > 0. Тогда подынтегральная функция в (7) удовлетворяет неравенству: x ∞
скольку
∫e
−x / 2
dx = −2e
1
−x / 2
∞ 1
a −1 − x
e
=
xa xe
x2
⋅
1 e
x2
<
1 e
x2
. По-
= 2e−1/ 2 < ∞ , то по теореме 1 п. 3.3 интеграл
I2 сходится при а > 0. Таким образом, доказано, что интеграл Эйлера II-го рода (7) сходится при любом положительном значении параметра а.
107
Замечание. Отметим важное свойство гамма-функции. Имеем +∞
Г(1) =
∫
e − x dx = − e− x
0
+∞ 0
= 1.
Для любого натурального значения n, применив формулу интегрирования по частям, получим +∞
Г(n) =
∫
x
n −1
⋅e
−x
+∞
dx = −
0
n −1
−x
⎛ +∞ +∞ − x n −1 ⎞ n 1 x − − = −⎜ x e − ∫ e dx ⎟ = ⎜ ⎟ 0 0 ⎝ ⎠
∫
x
∫
x n − 2 ⋅ e− x dx = (n − 1) ⋅ Γ (n − 1).
0 +∞
= (n − 1)
de
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
Интегрирование под знаком интеграла. Исследуем интеграл:
I ( y) =
ϕ2 ( y)
∫ f ( x, y ) dx ,
(1)
ϕ1 ( y )
в котором и подынтегральная функция, и пределы интегрирования зависят от параметра у. В этом случае и результат интегрирования будет представлять собой функцию переменной у. Пусть функции φ1(у) и φ2(у) непрерывны, а функция f (x, y) непрерывна по совокупности своих переменных. В этом случае существует интеграл: d
d
ϕ2 ( y)
∫ I ( y)dy = ∫ dy ∫ c
c
f ( x, y ) dx .
(2)
ϕ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 . c
c
a
a
(3)
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 f ( x, y )dx = ∫ f y′ ( x, y )dx . I '( y ) = dy ∫ a
a
109
(5)
1
(
)
ПРИМЕР 1. Найти производную функции I ( y ) = ∫ ln x 2 + y 2 dx. 0
Имеем по формуле (5): 1
(0
2
I ′( y ) = ∫ ln( x +
1 2y 1 2 ' y ) dx = ∫ dx = 2 arctg . 2 2 y y 0x +y
)
Теорема 2. Пусть функция I (у) задается формулой (1):
I ( y) =
ϕ2 ( 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 (у) существует определяется по формуле
I ′( y ) =
ϕ2 ( y)
∫ f y′ ( x, y )dx + ϕ 2′ ( y ) ⋅ f (ϕ 2 ( y ), y ) − ϕ1′ ( y ) ⋅ f (ϕ1 ( y ), y ) .
ϕ1 ( y )
ПРИМЕР 2. Найти производную функции I ( y ) =
y2
∫
2
e yx dx .
y
По формуле (6) получаем y2
I ′( y ) =
⎛ yx 2 ⎞ 2 ′ ⎛ yx 2 ⎞ yx 2 ' ′ + ⋅ − ⋅ = ( e ) dx ( y ) e ( y ) ⎟ ⎟ y y ⎜ y ⎜e ∫ 2 ⎝ ⎠ ⎝ ⎠ x= y x= y y y2
=
∫
y
110
2
5
3
x 2 e yx dx + 2 ye y − e y .
(6)
Интегрирование и дифференцирование по параметру в несобственных интегралах. Введем вначале важное понятие равномерной сходимости несобственных интегралов, зависящих от параметра. Определение. Несобственные интегралы +∞
∫ f ( x, y )dx
(7)
a
и b
∫ f ( x, y )dx , (а − особая точка)
(8)
a
называются сходящимися равномерно по переменной у, принадлежащей некоторой области U, если они сходятся при любом фиксированном значении y ∈ U и величина δ в критерии сходимости несобственного интеграла (см. п. 3.3) не зависит от значения у, т.е.
∀ε > 0 ∃δ = δ (ε ) > 0 :
b′′
∫ f ( x, y )dx < ε
для ∀b′, b′′ > δ и ∀y ∈ U
b′
− для интеграла (7),
∀ε > 0 ∃δ = δ (ε ) > 0 :
a +b′′
∫ 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
c
a
a
c
∫ dy ∫ f ( x, y)dx = ∫ dx ∫ f ( x, y)dy .
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
Интегрирование и дифференцирование по параметру иногда позволяет значительно упростить процедуру вычисления определенных интегралов: ПРИМЕР 3. Вычислить интеграл A =
∞
sin x
∫ x dx . 0
Соответствующий неопределенный интеграл
sin x
∫ x dx
не может быть вы-
ражен в элементарных функциях, он носит название интегрального синуса. Для вычисления искомого интеграла A рассмотрим функцию ∞
I (t ) = ∫ e−tx ⋅ 0
sin x dx, t ≥ 0 . x
Тогда A = I (0). Дифференцируя под знаком интеграла, получим ∞
I ′(t ) = − ∫ e−tx sin xdx . 0
Этот интеграл легко вычисляется при t > 0 :
112
I ′(t ) =
∞ ⎞ 1∞ −tx 1 ⎛ −tx ∞ −tx = − sin sin cos xde x e e xdx ⎜ ⎟= ∫ ∫ ⎟ 0 t0 t ⎜⎝ 0 ⎠
=
1∞
∫ cos xde
−tx
t2 0
∞ ⎞ 1 1⎛ −tx ∞ = ⎜ cos xe + ∫ e−tx sin xdx ⎟ = ( −1 − I ′(t ) ) . ⎟ t2 0 t 2 ⎜⎝ 0 ⎠
Отсюда
I ′(t ) = −
1 1+ t2
.
Интегрируя полученное соотношение, находим
I (t ) = − ∫
1 1+ t
2
dt = − arctg t + C .
Постоянную интегрирования С можно определить из условия I (+∞) = 0:
0=− Тогда I (t ) =
π 2
π 2
+C ⇒ C =
π 2
.
− arctg t . По свойству 1 функция I (t ) непрерывна, поэтому ис-
комый интеграл может быть найден в результате предельного перехода: ∞
π
sin x
π
I (t ) = lim ( − arctg t ) = . ∫ x dx = I (0) = tlim 2 → 0 t →0 2 0
113
Теоретические вопросы к главе 3. 1. Дать определения несобственного интеграла с бесконечным пределом. 2. Дать определение несобственного интеграла от неограниченной функции. b
3. В каком случае интеграл
dx
∫ x2 + 4 x + 4 является несобственным?
a
4. Какие интегралы называются интегралами Эйлера? При каких значениях параметра они сходятся? 5. Справедлива ли следующая запись e +1
∫
− e +1
e +1 dx = ln | x − 1| = ln | e | − ln | −e |= 1 − 1 = 0 ? −e + 1 x −1 5
6. Найти производную функции I ( y ) = ∫ sin( xy )dx двумя способами: 1) выy
числив предварительно интеграл; 2) используя формулу (6) из раздела 3.5. Сравнить результаты.
Задачи к главе 3. Вычислить интегралы или установить их расходимость: ∞
1.
∫
2 −∞ x + 9
∞
4.
∞
dx
∫e
−x
.
2.
−∞ ∞
7.
∫
0
∫
2 −∞ x + 4x + 9
∞
cos x dx .
dx
5. ∫ e
−2 x
∞
.
3.
(1 + x )
2 2
∞
.
8.
arctg xdx
2 −∞ x + 1
.
∞
sin x dx .
6. ∫ xe − x dx . 0
0
xdx
∫
∫ xe
− x2
−∞
114
∞
dx .
9.
∫
0
arctg 2 x 2
4x + 1
dx .
∞
∞
dx
10. ∫
2 e x ln x
∞
2 −x
13. ∫ x e
.
11.
e
∞
dx
16. ∫
2 2 ( x − 1)
0 ∞
28. ∫ xe
.
xdx
.
2
x +4 −2 x
23.
26.
15.
.
18.
∫
3 1 x
x ln 2 x ( ln ( ln 2 x ) )
∞
x 2 arctg x3dx
3
∫
1+ x
6
x −1
∞
x 3 dx 3
0
4
x +1
( x4 + 5)
1/ 2
0
∞
arctg 2 x dx
−∞
1 + x2
3
dx
∫
30.
2
.
x3dx
∫
27.
.
.
3
∞
29. ∫ ln 3xdx .
0
x 2 dx
2
∞
dx .
3/ 2
1 ( 2 x − 1)
. 24. ∫
.
dx .
dx
21. ∫
.
dx
−∞
.
3
x +1
∞
4
∫
1− x
2
∞
cos xdx
∫
12. ∫
.
.
∞
2 1 x ln 2 x
∫3
2
3 1 sin x
dx
∞
25.
dx
20. ∫
1
∫
∞
∞
19. ∫ ln xdx . 22.
1+ x
2
x 2 dx
∞ 2
4 e x ⋅ ln x
∞
∞
1
17. ∫
.
( ln ln x )
xdx
14. ∫
dx .
0
∞
∫2 x ln x
∞
dx
.
.
Вычислить интегралы или установить их расходимость: 2
31.
∫
e
dx
0 ( x − 1)
4
.
32.
34. ∫ ln xdx .
35.
∫
0 1
40.
∫
0
arccos 2 x 1 − 4x x 2 dx 1− x
3
4 1 x ⋅ ln x
∫
−1
0
37.
∫
1
1
1/ 2
dx
2
36.
41.
∫
0x
dx 2
+ 4x
115
3/ 2
0 ( 2 x − 1)
∫
arcsin xdx 1− x
0
π /4
dx 38. ∫ . x ln x 0 1
.
2
.
1
dx .
∫
33.
1
dx 1− x
.
∫
39.
0
e
.
42. ∫
2
cos x dx 3
sin x dx
1 x ln
2
x
.
.
.
.
e2
43.
1
dx
∫
x ln x ( ln ln x )
e
2
44. ∫
.
1
46.
dx ∫ x ln x . 0 2
49.
52.
−2
4− x
1
x5 dx
∫
1− x
−1
π /2
∫
2
∫
(x
dx
∫
6
.
53.
+x x
∫
)
59.
2
2
∫
48.
2
tg xdx
0
2
π
dx .
51.
cos xdx
∫
2 0 sin x
.
54.
57.
dx
∫
3 0 4 x ⋅ ln x 1
.
.
∫
.
( 2 x + 5) dx
2 0 x + 5x
.
π
dx
0 3 x ln
dx
∫ ( x − 1)( x − 2 ) .
1
2 0 cos x
1
.
1 − 4x
0 x ( x − 1)
56.
x
dx .
3
2
dx
∫
x +1
0
arcsin 2 x
∫
π /2
.
45. ∫
.
0 x ( x − 2)
2
ctg xdx
2
1
50.
( 4 x + 3 x ) dx .
0
1− x
−1/ 2
2 0 sin x
1
58.
.
2
0
1/ 2
dx
∫
55.
47.
1 2
xdx
3
x
.
60.
cos dx ∫ sin x . 0
Исследовать интегралы на сходимость: ∞ 3
61.
∫
1
2
∫
4
65.
∫
2 ∞
67.
69.
∫
3 8
3 x + 24 + 10 3 x + 8 x 2 + x3 + 4 2
3x + 2 x + 4 2
3x + 25 x + 6
∞
3 x + x3 + 4
3
4
3 2
5 x + 16 x + 3 x
dx . 64.
∫
dx .
dx .
dx .
66. ∫
3 4
3 x + 4x + x
6
4
2
∞
2 x 3x 2 + 8 + 5 x
dx .
3
2
dx .
2
3x + 28
∞
3 x x − 16 x 2 + 4
∫
2
3
2 x x4 + 5 + 5x 6x + 4x + 2 x + 1
1
116
6
3
68. ∫
70.
dx .
3 x3 + 8 x + 6 − 2 x + x 2 + 8
1
3
2
x +4
∞
2 x x2 + 4 + 3 x x 4
2
∞
3
8
3 x + 1 − 2x x
∫
2
1
∫
62.
2 x3 + 3 x + 4 + 2 x 2 + 6
3 ∞
dx .
3x + x + 5
∞3
63.
∞ 3 3
x + x2 + 4
8
2
3 12
5 x + 16 x + 25 x
+4
dx .
dx .
∞
71.
∫
2
3 12
x
∞
73.
∫
4
∫
1
∫
3
3x + 16 + 2 x
3 8
10
3 x +6+ x
8x2 x + 5 − 4 x 3 8
2 x + 6 + 24 x
dx .
4
74.
+4
dx .
∞
85. ∫
3 12
+ 32 x
3
6
dx .
x + 8 + 4x + 5
53
x
10
+ 5 + 5x
2 x 3 + 3x 2 − 8
1 25
8
4
∞
3
2 2 x5 + 8x + 9 + x + 3 4
2 5x
4
88. ∫
3x + 16 x + 5
2
+ 30 x + 16 x + 1
3 12
4
+4 + x +3
x
16
2x
10
+ 5x
+8
∫
dx .
3
2x 2 + 3 x 4 + 3 + 5x 16
x
8
+ 25 x + 3
dx .
3x 2 + 4 x + 5 3
4,5 3
117
dx .
3
2
90.
dx .
dx .
2 x 2 + 3x 4 + 1 + 2 x 3
∞
dx .
2
x3 + 2x + 4
6
x + 2x + 3 x + 4 2
2x + x2 + 4x + 3
86. ∫
dx .
+ 4 + 5x + 6
dx .
∞
42
2
+4
2
x
82. ∫
∞ 3
89. ∫
3 x + 25 + x
dx .
x 4 + 2 x 2 + 10
84. ∫
dx .
5 20
3
∞
∞
87. ∫
3 4
2 x3 + 8x − 4 + x 2 + 3
80. ∫
3
+4
dx .
3x2 x + 5 + 8 x
∞
dx .
3 12
5x + 8x + x
0
dx .
4
3 12
∞
2
2
3 16
2
43
+ 8x + 4
3x 2 + 8 x 2 + 6
5x x − 6 x + 3
2x x + 5
78. ∫
dx .
3x 5 + 4 x 3 + 2
33
∞
4
∫
2
3x 2 + 5 x + 16
1 16 x
83. ∫
76.
dx .
6
3x + x + 8
∞
25 x 4 + 13x 2 + 6
81. ∫
2
∞
3
∞
∫
5
16 x 2 + 4 x 3 + 8 + 3 x
1
∫
3x 2 + 5 x + 6
∞
2 x x2 + 4 + 5x − 6
∞
79. ∫
72.
3
3 2
2
∞
77.
+ 5 + 2x
dx .
2
2 x + 3 x18 + x
∞
75.
∞
2 x x 2 + 6 + 18
4
2
6
x + 25 x + 1 + 5 x + 8
dx .
ГЛОССАРИЙ Двойной интеграл (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
Рациональная дробь (rational fraction) – функция вида f ( x) =
P( 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