вышмат
.pdfI. Рассмотрим интеграл: ∫R(x, xm/n ,..., xr/s )dx , где R – рациональная функция своих аргументов.
Пусть k – общий знаменатель дробей mn ,..., rs . Сделаем подстановку:
x = t k , dx = ktk −1dt .
Тогда каждая дробная степень x выразится через целую степень t и, следовательно, подынтегральная функция преобразуется в рациональную функцию от t .
|
|
Пример 1. Вычислить интеграл |
∫ |
x |
3 /x4dx . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
Решение. Общий знаменатель дробей 1/ 2 , 3 / 4 |
есть 4; поэтому делаем |
||||||||||||||||||||||||||||||||||||||||||||||
подстановку x = t 4 , |
dx = 4t 3 dt ; тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
||||||||||||||||||||
|
|
xdx |
|
|
t |
2 |
|
3 |
|
|
|
|
|
|
t |
5 |
|
|
|
2 |
|
|
|
|
t |
2 |
|
|
|
|
|
2 |
|
|
|
|
|
t |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
∫ |
|
3 / 4 |
|
= 4∫ |
|
3 |
|
|
t |
|
dt = |
4∫ |
|
3 |
|
dt = |
4∫ t |
|
− |
|
3 |
|
|
dt = 4∫t |
|
dt −4∫ |
|
|
|
|
|
|
|
dt = |
|||||||||||||||
x |
+1 |
t |
|
|
|
t |
|
t |
+1 |
|
|
t |
3 |
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
+1 |
|
|
|
|
|
|
|
+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+1 |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
t3 |
|
4 |
|
t3 |
|
|
|
4 |
|
|
3 |
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
= 4 |
|
|
− |
|
|
ln |
+1 |
+C |
= |
|
|
x4 −ln |
x |
4 +1 |
+C . |
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
3 |
3 |
3 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m |
|
|
|
|
|
|
|
|
|
|
r |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ax + b n |
|
|
ax |
+ b s |
|
||||||||||||||
|
|
II. Рассмотрим теперь интеграл вида ∫ |
R |
|
x, |
|
|
|
|
|
,..., |
|
|
|
|
|
|
|
|
dx . |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cx + d |
|
|
cx |
+ d |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Этот интеграл сводится к интегралу от рациональной функции с помо- |
|||||||||||||||||||||||||||||||||||||||||||||||
щью подстановки |
ax + b |
|
= t k , |
где k – общий знаменатель дробей |
|
m |
,..., r . |
||||||||||||||||||||||||||||||||||||||||||
cx + d |
|
|
n |
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s |
Пример 2. Вычислить интеграл ∫ xx+ 4dx .
Решение. Делаем подстановку x + 4 = t 2 , x = t 2 −4 , dx = 2tdt ; тогда
∫xx+ 4dx = 2∫ t 2t −2 4dt = 2∫ 1+ t 2 4−4 dt =
2∫dt +8∫ |
|
dt |
= 2t + 2 ln |
|
|
t −2 |
|
|
+C = 2 |
x + 4 + 2 ln |
x + 4 − 2 |
+ C . |
|
|
|
||||||||||
t |
2 |
|
|
t + 2 |
|
x + 4 + 2 |
||||||
|
−4 |
|
|
|
|
|
|
|
||||
III. Рассмотрим интегралы вида ∫xm (a +bxn )p dx , где a,b – любые по- |
стоянные, показатели m, n, p – рациональные числа. Подынтегральное выра-
жение xm (a +bxn )p dx называется биномиальным дифференциалом. Как доказал П. Л. Чебышев, интегралы от дифференциальных биномов выражаются через элементарные функции только в трёх случаях:
1) когда p – целое число;
121
2)когда mn+1 – целое число;
3)когда mn+1 + p – целое число.
Если ни одно из этих условий не выполняется, то интеграл не берется в конечном виде.
В первом случае, когда p – целое положительное, интегрирование вы-
полняется непосредственно. Для этого достаточно разложить бином в сумму по формуле Ньютона.
Если p – целое отрицательное, то рационализация достигается с помощью подстановки x = tμ, где μ – общий знаменатель дробей m и n .
Во втором случае, когда mn+1 – целое число, рационализация интегра-
ла осуществляется с помощью подстановки a +bxn = ts , где s – знаменатель дроби p = rs .
В третьем случае, когда mn+1 + p – целое число, подынтегральное вы-
ражение преобразуется к рациональному виду с помощью подстановки a +bxn = ts xn , где s – по-прежнему знаменатель дроби p = rs . Более подроб-
ное изложение вопроса интегрирования биномиального дифференциала смотри в [1–3].
IV. Рассмотрим интегралы вида ∫R(x, ax2 + bx + c )dx , где a ≠ 0 и R –
рациональная функция от x и от ax2 +bx + c . Этот интеграл представляет интерес в том случае, когда квадратный трехчлен не имеет равных корней, в противном случае мы придём к рациональной функции, которую уже умеем интегрировать.
Такой интеграл приводится к интегралу от рациональной функции нового переменного с помощью следующих подстановок Эйлера [1]:
|
1. Первая подстановка Эйлера. Если |
a > 0 , то полагаем |
|
|
|
|||||||||
|
|
|
|
ax 2 +bx +c = ± a x + t . |
|
|
|
|||||||
|
Пример 3. Вычислить интеграл ∫ |
|
dx . |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
x 2 +c |
|
|
|
||
|
Решение. Так как здесь |
a =1 > 0, |
то полагаем x2 +c = −x +t ; тогда |
|||||||||||
x2 + c = x2 − 2xt +t2 , |
откуда |
|
x = |
t2 −c |
. |
Следовательно, |
dx = |
t2 +c |
dt , |
|||||
|
2t |
|
|
|||||||||||
|
|
t |
2 −c |
|
t |
2 +c |
|
|
|
|
|
2t2 |
||
x 2 |
+c = −x +t = − |
+t = |
. |
|
|
|
|
|
|
|
||||
|
2t |
|
2t |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
122
|
Возвращаясь к исходному интегралу, получаем |
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
t 2 +c |
dt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
∫ |
|
dx |
|
|
2t 2 |
|
|
∫ |
dt |
= ln t +C1 = ln x + x 2 +c +C1 . |
|||||||||||||||||||
|
|
|
= |
|
|
|
|
|
= |
||||||||||||||||||||||
|
|
x 2 +c |
|
∫ t 2 +c |
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
2t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. Вторая подстановка Эйлера. Если |
c > 0 , то полагаем |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
ax2 + bx + c = xt ± c . |
|
|
|
|
||||||||||||||
|
Пример 4. Вычислить интеграл ∫ |
|
|
|
dx |
|
|
|
|
. |
|
||||||||||||||||||||
|
(1 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ x) 1+ x − x 2 |
|
|||||||||
|
Решение. Полагаем |
|
|
1+ x − x 2 |
= tx −1; отсюда 1+ x − x2 = t2 x2 − 2tx +1 |
||||||||||||||||||||||||||
и, следовательно, |
|
|
|
|
2(1−t −t 2 ) |
|
|
|
|
|
|
|
|
|
|
|
t 2 +t −1 |
|
|||||||||||||
|
|
|
1+ 2t |
|
|
|
|
|
|
|
1+ x − x |
2 |
|
|
|
||||||||||||||||
|
|
x = |
|
|
; |
dx = |
|
|
|
dt , |
|
|
|
= |
|
|
. Тогда |
||||||||||||||
|
|
t 2 +1 |
(t 2 +1)2 |
|
|
|
|
|
t 2 +1 |
||||||||||||||||||||||
∫ |
|
|
dx |
|
= −2∫ |
|
|
|
|
dt |
|
|
|
|
= −2∫ |
|
dt |
|
|
|
|
= −2arctg(t +1)+C = |
|||||||||
(1 |
+ x) 1+ x − x 2 |
t |
2 |
+ 2t |
+ 2 |
(t +1) |
2 |
+1 |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
= −2arctg |
|
1+ x − x2 + x +1 |
+C . |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
3. Третья |
подстановка |
|
|
Эйлера. |
Если |
квадратный трехчлен |
ax2 + bx + c имеет (различные) вещественные корни α и β, то (считая x > α)
мы получаем |
ax2 + bx + c = |
a(x − α)(x − β)= |
(x − α) |
a(x − β) . |
Следова- |
|||||
|
|
|
|
|
|
|
|
|
x − α |
|
тельно, подынтегральная функция рационально |
зависит от x и |
радикала |
||||||||
|
a(x −β) |
|
∫R(x, ax |
2 |
|
|
a(x −β) |
|
|
|
|
, так что |
|
|
|
|
|||||
|
|
|
|
|
|
|
||||
|
x −α |
|
+bx +c )dx = ∫R1 x, |
x −α |
dx и мы пришли к |
|||||
|
|
|
|
|
|
|
|
рассмотренному выше интегралу I типа, который рационализируется с по-
мощью подстановки |
a(x −β) |
= t . Эта подстановка и представляет собой |
|
x −α |
|
третью подстановку Эйлера. Более подробно изложение вопроса об использовании подстановок Эйлера при интегрировании смотри в [2–4].
3.1.8.Интегрирование некоторых классов тригонометрических функций
В п. 3.1.8 мы рассмотрим некоторые классы тригонометрических функций, интегрируемых в конечном виде, для которых выработаны удобные на практике приёмы интегрирования.
Рассмотрим интеграл вида
123
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫R(sinx,cosx)dx . |
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
(3.19) |
||||||||||||||||||
|
|
Покажем, что этот интеграл с помощью подстановки tg |
= t всегда |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
cos x через |
|
сводится к интегралу от рациональной функции. Выразим sin x и |
|||||||||||||||||||||||||||||||||||||||||||||||
tg |
x |
, а следовательно, и через t : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
2 |
|
|
|
|
|
|
x |
x |
|
|
|
|
|
|
x |
|
x |
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
sin x = |
2sin |
|
|
cos |
|
|
|
|
|
|
2sin |
|
|
|
cos |
|
|
|
|
|
|
|
|
|
2tg |
|
|
|
|
|
|
|
2t |
|
|
||||||||||
|
|
2 |
2 |
|
= |
|
2 |
2 |
|
|
|
= |
|
|
2 |
|
|
= |
. |
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
sin |
2 x |
|
+ cos |
2 x |
|
1+tg |
2 x |
|
1+t2 |
|
||||||||||||||||||||||||||
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
2 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
2 x |
2 x |
|
|
|
2 x |
|
|
|
2 x |
|
|
|
|
|
2 x |
|
|
|
|
|
||||||||||||||||||||||
|
|
cos x = |
cos |
|
|
|
−sin |
|
|
|
|
= |
cos |
|
|
|
|
−sin |
|
|
|
|
1− tg |
|
|
|
|
= 1−t2 . |
|||||||||||||||||||
|
|
|
2 |
|
|
2 |
|
|
2 |
|
2 |
|
= |
|
2 |
|
|
||||||||||||||||||||||||||||||
|
|
|
|
1 |
|
|
|
|
|
|
2 x |
|
|
|
2 x |
|
|
|
|
2 x |
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
cos |
+sin |
|
|
1+tg |
|
1+t2 |
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
2dt |
|
|
|
|
|
|
|
|
|
|
2 |
|
2 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|||||||||||||
Далее x = 2arctgt , dx = |
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
1+t 2 |
cos x |
|
|
|
|
|
|
dx выразились рационально через t . |
|||||||||||||||||||||||||||||||||
|
|
Таким образом, |
sin x , |
|
и |
|
|
|
Так как рациональная функция от рациональных функций есть функция рациональная, то, подставляя полученные выражения в интеграл (3.19), получим интеграл от рациональной функции:
∫R(sin x, cos x)dx = ∫ |
|
|
2t |
|
|
|
1−t |
2 |
|
2dt |
|||
|
|
|
|
|
|
|
|||||||
R |
|
|
|
|
, |
|
|
|
|
|
|
. |
|
1+t |
2 |
|
1+t |
2 |
1+t |
2 |
|||||||
|
|
|
|
|
|
|
|
|
|||||
Пример 1. Вычислить интеграл |
∫ |
|
dx |
. |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|||||
|
|
|
sin x |
|
|
|
|
|
|
|
|
Решение. На основании написанных выше формул имеем
2dt
∫ |
dx |
= ∫ |
|
|
1+t2 |
|
|
= ∫ dt |
= ln |
|
t |
|
+C = ln |
tg |
x |
|
+C. |
|
|
|
|
|
|
||||||||||||
|
|
2t |
|
|
|
||||||||||||
|
sin x |
|
|
|
|
|
t |
|
|
|
|
|
2 |
|
|
||
|
|
|
|
|
|
|
|
|
|
1+t2
Рассмотренная подстановка даёт возможность проинтегрировать всякую функцию вида R(cos x,sin x) . Поэтому её иногда называют «универ-
сальной тригонометрической подстановкой». Однако на практике она часто приводит к слишком сложным рациональным функциям. Поэтому наряду с "универсальной подстановкой" бывает полезно знать также другие подстановки, которые в некоторых случаях быстрее приводят к цели.
1. Если интеграл имеет вид ∫R(sin x)cos xdx , то подстановка sin x = t, cos xdx = dt приводит этот интеграл к виду ∫R(t)dt .
124
2. Если интеграл имеет вид ∫R(cos x)sin xdx , то он приводится к инте-
гралу от рациональной функции заменой cos x = t, sin xdx = −dt .
3. Если подынтегральная функция зависит только от tgx , то замена
tgx = t, x = arctgt, |
dx = |
|
dt |
приводит этот интеграл к интегралу от рацио- |
|||
|
+ t 2 |
||||||
|
1 |
|
|
dt |
|
||
нальной функции ∫R(tgx)dx = ∫R(t) |
|
. |
|||||
|
+t2 |
||||||
|
|
|
|
1 |
|
4. Если подынтегральная функция имеет вид R(sin x,cos x) , но sin x и cos x входят только в чётных степенях, то применяется та же подстановка tgx = t, так как sin 2 x и cos2 x выражаются рационально через tgx :
cos2 x = |
1 |
= |
|
1 |
; |
|
|
|
|||||
1+ tg2 x |
1+ t2 |
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|||||
sin2 x = |
|
tg2 x |
= |
|
t2 |
|
; |
|
dx = |
|
dt |
. |
|
|
+ tg2 x |
|
+ t2 |
|
|
|
+ t 2 |
||||||
1 |
1 |
|
|
|
|
1 |
|
После подстановки мы получим интеграл от рациональной функции. 5. Рассмотрим теперь ещё один интеграл вида ∫R(sin x,cos x)dx – имен-
но интеграл, под знаком которого стоит произведение sin m x cos n xdx (где m и n – целые числа). Здесь рассмотрим три случая.
5а. ∫sin m x cos n xdx, где m и n таковы, что, по крайней мере одно
из них нечётное число. Допустим для определённости, что n нечётное. Положим n = 2 p +1 и преобразуем интеграл
∫sinm x cos2 p+1 xdx = ∫sinm x cos2 p x cos xdx = ∫sinm x(1−sin2 x) p cos xdx.
|
Сделаем замену переменного: |
|
sin x = t , cos xdx = dt . |
|
Подставляя но- |
|||||||||||||||||||||||||||||||||
вую переменную в данный интеграл, получим |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
∫sin m x cos n xdx = ∫t m (1−t 2 ) p dt , |
|
|
|
|
|
|
|||||||||||||||||||||||
а это есть интеграл от рациональной функции от t . |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
Пример 2. Вычислить интеграл ∫ |
|
cos3 x |
dx . |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
sin |
4 |
x |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
Решение. ∫ |
cos3 x |
|
dx |
=∫ |
cos 2 |
|
x cos xdx |
|
=∫ |
(1 − sin 2 x)cos xdx |
. |
|
|
||||||||||||||||||||||||
|
sin |
4 |
x |
|
sin |
4 |
x |
|
|
|
|
|
|
sin |
4 |
x |
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Обозначая sin x = t, |
|
cos xdx = dt , получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
∫ |
cos3 x |
dx =∫ |
(1 |
− t 2 )dt |
= |
∫ |
dt |
− ∫ |
dt |
= − |
1 |
|
|
+ |
|
1 |
+ C = − |
1 |
|
|
+ |
1 |
+ C . |
|||||||||||||||
sin |
4 |
x |
|
t |
4 |
|
|
|
t |
4 |
|
t |
2 |
|
3t |
3 |
|
|
t |
|
3sin |
3 |
x |
sin x |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
5б. |
∫sin m xcosn xdx, |
|
где m |
|
и |
|
n – числа неотрицательные и чётные. |
125