Интегрирование рациональных дробей
Рациональной дробью называется дробь
, числитель и знаменатель которой являются многочленами.
Дробь называется правильной если степень числителя меньше степени знаменателя. В противном случае, дробь – неправильная.
Всякую неправильную дробь (рациональную) можно представить в виде суммы многочлена и правильной дроби. Для этого необходимо числитель разделить на знаменатель, как многочлен на многочлен. Сумма простейших дробей равна правильной дроби.
Справедливо и обратное: всякую правильную рациональную дробь P(x)/Q(x) можно представить в виде суммы простых дробей. Для этого надо знаменатель Q(x) разложить на множители.
Теорема. Всякий многочлен Q(x) с действительными коэффициентами можно разложить на действительные многочлены первой и второй степени (х-а),... (х-а) k (x2+px+q),... (х2+px+q), (1)
Пусть Q(x)= х n+А1 xn - l+...+An. Приравняем его к нулю, получим уравнение n-степени. Оно имеет n корней. a1, а2, …, аn
Зная корни, можно разложить Q(x) на множители Q(x)=(x-a1) ... (х-а n).
1. Если корни многочлена Q(x) действительные и разные, то
2. Если среди корней многочлена есть равные действительные корни, тогда, объединив множители, соответствующие одинаковым корням, получим
3. Если среди корней многочлена есть комплексные
a1= α + β i, a2= α – β i, тогда
(х – a1)(х – a2) = (x – α + β i)(x – α – β i)=(x – a)2 – (β i)2=
= х2 – 2α x + α2+β2= x2+ px + q (ввели обозначения –2α x= p и α2+β2 = q). Объединяя множители, соответствующие попарно сопряженным корням, получим множители вида x2+px+q с действительными коэффициентами. Итак, многочлен Q(x) можно разложить на многочлены первой и второй степени.
Пусть P(x)/Q(x) - правильная рациональная дробь. Разложим Q(x) на действительные множители. Они имеют вид
(х-а), …, (х-а)л, (x2+px+q), …, (x2+px+q)k.
Теорема. При разложении правильной рациональной дроби P(x)/Q(x) на сумму простых дробей каждому множителю многочлена Q(x) вида (х-а) соответствует дробь А/(х-а), каждому множителю знаменателя вида (х-а) k соответствует сумма k дробей А1/(х-а) + А2/(х-а)2+ ...+ Аk/(х-а)k. Каждому множителю вида х+px+q соответствует дробь –
, а множителю вида (х+px+q)k соответствует сумма дробей 
Определение. Правильные рациональные дроби вида:

(k – целое; k≥2) 

называются простейшими (элементарными) дробями I, IL, III и IV типов. Рассмотрим интегралы от простейших дробей:






При делении числителя и знаменателя дроби на коэффициент, стоящий при х2 (С≠1), интеграл сводится к интегралу вида

Здесь различаются три случая:
1. Корни знаменателя действительные и равные, т е.

Тогда x2+px+q = (х – х1)2 и интеграл сводится к интегралу вида
,
который решается следующим образом. Сделаем подстановку x - x1=t и решим.
Пример 15


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

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


Пример 16


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

где А, В - неопределенные коэффициенты.
Числители этих простейших дробей находятся методом неопределенных коэффициентов. Суть метода заключается в том, что левую и правую части формулы разложения приводят к общему знаменателю. Его отбрасывают. Сравнивают коэффициенты при одинаковых степенях x в левой и правой частях.
;


Пример 17





A = – 2 B = 3

Замечание. Основной прием вычисления интеграла III вида - это дополнение квадратного трехчлена Cx2+dx+e до полного квадрата (при этом предполагается, что квадратный трехчлен не является точным квадратом). После этого, если А=0 , то интеграл Ш сводится к интегралу

или

Если А≠0, то решение – как предыдущее.
IV.

I интеграл

II интеграл


Преобразуем

Рассмотрим


Подставим найденное значение в интеграл:

приведя подобные интегралы, получим:
( + )
Получившееся равенство позволяет
выразить через
, то есть понизить степень знаменателя в подынтегральном выражении на единицу. Применяя полученную формулу (k-1) раз, придем к табличному интегралу. Формула ( + ) называется рекуррентной
Пример 18



Обобщая результаты, заключаем, что всякая рациональная дробь может быть проинтегрирована в элементарных функциях.
Общее правило для интегрирования рациональных функций
Для того, чтобы проинтегрировать рациональную функцию (рациональную дробь), надо:
1. Если рассматриваемая дробь
неправильная, то выделить из нее целую часть 
где T( x) – многочлен,
– правильная рациональная дробь.
2. Правильную рациональную дробь
представить в виде суммы элементарных дробей по схеме следующей теоремы:
Теорема. Если
– правильная рациональная дробь, где
Р(х) – произведение линейных и квадратичных множителей:
Р(х) = (х-а)2... (x-b)2... (x2+px+q)λ..(x2+px+q)μ, то эта дробь может быть разложена на элементарные дроби по следующей схеме:

3. Представить интеграл от данной дроби в виде суммы интегралов от целой части и от соответствующих элементарных дробей.
Таким образом, интеграл любой рациональной функции может быть выражен через элементарные функции:
1) через логарифмы – в случае простейших дробей типа I;
2) через рациональные функции – в случае простейших дробей типа II;
3) через логарифмы и арктангенсы – в случае простейших дробей типа III:
4) через рациональные функции и арктангенсы – в случае простейших дробей типа IV.
Пример 19.


=
A = 5; B = 3; C = 1; D = 2

Пример 20.

=
A = 1
B = 0
D = 1
M = 2
N = 0

Пример 21.




Пример 22.



Интегрирование иррациональных функций
Не от любой иррациональной функции интеграл выражается через элементарные функции. Рассмотрим лишь те случаи, когда это удается сделать.
Теорема 1. Интеграл вида
,
где R(…) – рациональная функция своих аргументов, подстановкой
приводится к интегралу от рациональной функции.
Действительно, пусть k – общий знаменатель m/n, p/q, …, r/s.
Сделаем подстановку
, тогда и каждая дробная степень выразится через целую степень t , и следовательно, подынтегральная функция преобразуется в рациональную
функцию от t
Пример 23

Теорема 2. Интеграл вида
, подстановкой
приводится к интегралу от рациональной функции.
Доказательство.
Пусть
;
; 
Следовательно,

Следствие. Если под знаком интеграла стоит
,
то с помощью подстановки
интеграл вида
приводится к интегралу от рациональной функции.

где

Пример 24

Следствие 2. Интеграл вида
, с помощью подстановки
,
где k – общий знаменатель m/n, r/s приводится к интегралу от
рациональной функции.
Пример 25


Пример 26

Теорема 3. Вычисление интегралов вида
сводится к вычислению интегралов следующих трех типов:
I. 
II.
, где P( x) – многочлен степени n
III 
Покажем, что интегралы ІІ и ІІІ типов могут быть сведены к интегралу І типа.
ІІ тип:

(т.е. для преобразования интеграла ІІ типа достаточно подынтегральную функцию разделить и умножить на
)
Для приведения интеграла ІІІ к интегралу типа І применяют так называемую «обратную» подстановку

ІІІ тип:

где a1, b1, c1 – коэффициенты трехчлена, подученные после приведения подобных членов
– многочлен.
Теорема 4.
( * )
где Q( x) – многочлен с неопределенными коэффициентами, степень которого ниже степени многочлена P( x);
λ– произвольная константа;
При вычислении указанного вида интегралов применяется
метод неопределенных коэффициентов
Для нахождения неопределенных коэффициентов
дифференцируют обе части равенства (*), затем умножают на
и, сравнивая коэффициенты при одинаковых степенях х, определяют λ и коэффициенты многочлена Q(x).
Замечание. Формулу (*) применяют тогда, когда степень многочлена Р(х)больше единицы.
Пример 27.

Продифференцируем это равенство:

Приведем к общему знаменателю и перемножим:

Найдем коэффициенты с помощью метода неопределенных коэффициентов:

A = 1, B = -1, C = -13, λ = -7
Подставим найденные значения коэффициентов и получим интеграл от элементарной функции

Пример 28



Пример 29





Теорема 5. Интеграл вида
с помощью
подстановок Эйлера приводится к интегралу от рациональной
функции.
Подстановка Эйлера:
1. Если а > 0 , то используется подстановка

2. Если а < 0, с>0, то используется подстановка

3. Если а < 0, а. подкоренное выражение раскладывается на действительные множители
, то используется подстановка 
Пример 30

Интегрирование дифференциальных биномов.
Дифференциальным биномом называется выражение xm (а + bх n) p dx, где m, n, p – рациональные числа.
Теорема. Интеграл от дифференциального бинома
приводится к интегралу от рациональной функции лишь в трех случаях:
1) р – целое число, то с помощью подстановки
,
где λ – общий знаменатель m и n
2)
целое число, то с помощью подстановки
, где s - знаменатель р;
3)
– целое число, то с помощью подстановки
, где s – знаменатель р.
Академик П.Л.Чебышев (1821-1894) доказал: что во всех остальных случаях интеграл от дифференциального бинома через элементарные функции не выражается.
Пример 31.

Пример 32
.

– подстановка

Интегрирование тригонометрических функций.
Переходя к рассмотрению приемов интегрирования тригонометрических выражений, предварительно заметим, что любая тригонометрическая функция рационально выражается через тангенс половинного угла:
( 1 )
( 2 )
а так как tgx, ctgx, secx, cosecx рационально выражаются через
sinx и cosx , то они рационально будут выражаться и через 
Теорема 1. Интеграл вида
подстановкой 
приводится к интегралу от рациональной функции t, который, как было указано выше, всегда выражается в элементарных функциях.
Действительно, пусть
, тогда на основании (1), (2)

Определим x и dx, найдем, что

В подынтегральное выражение вместо sinx, cosx и dx подставим их значения
,
где r(t) - рациональная функция t.
Так как подстановкой
интеграл от любой рациональной
относительно sinx и cosx, тригонометрической функции приводится к
интегралу от рациональной функции , то подстановка
называется универсальной.
Пример 33.

Замечание. Универсальная подстановка всегда приводит к цели, однако часто она приводит к громоздким выкладкам
Рассмотрим другие подстановки, которые в частных случаях быстрее приводят к цели.
Теорема 2. Если функция R(sinx, cosx) нечетна относительно cosx , то интеграл
подстановкой t = sinx приводится к интегралу от рациональной функции.
Действительно, преобразуем интеграл

Так как R(sinx,cosx) нечетна относительно cosx и может содержать cosx лишь в четных степенях. Следовательно, это выражение является рациональной функцией относительно sinx:
то есть

К последнему интегралу применим подстановку t = sinx, тогда dt=cosxdx:
= 
Таким образом, указанная подстановка привела данный интеграл к интегралу от рациональной функции относительно t.
Пример 34.

Теорема 3. Если функция R(sinx,cosx) нечетна относительно sinx ,то подстановкой t = cosx интеграл
риводится к интегралу от рациональной функции.
Пример 35.

Пример 36.

Замечание. Теоремы 2 и 3 применяются при интегрировании произведения sinm cos n x натуральных степеней cosx и sinx, когда хотя бы одно из чисел m и n - нечетное.
Теорема 4. Если функция R(sinx,cosx) имеет четный характер
относительно sinx и cosx . то интеграл 
подстановкой t = tgx приводится к интегралу от рациональной функции.
Преобразуем подынтегральную функцию:
R(sinx,cosx) = R(tgx cosx, cosx)
Правая часть этого равенства имея четный характер относительно cosx, может содержать лишь четные степени cosx , а т. к.

то вся подынтегральная функция является некоторой рациональной функцией от tgx, т.е. R(sinx,cosx)=r(tgx).
Умножим и разделим r(tgx) на sec2x и затем применим подстановку
t = tgx, dt = sec2xdx
Получим

Заметим также, что cos2 x и sin 2 x могут быть рационально выражены через tg2x:


Пример 37.

Теорема 5. Если подынтегральная функция представлена в виде произведения неотрицательных степеней sinx и cosx, то интегрирование таких функций производят заменяя четные степени sinx и cosx синусами и косинусами кратных аргументов, используя при этом известные формулы тригонометрии



Пример 38.

Пример 39.

Пример 40.

Примечание 1. Для интегралов от целых, больших единицы, степеней tgx, сtgx и от положительных четных степеней secx и cosecx
удобнее использовать соотношения:


Пример 41.

Пример 42.


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

То есть

Пример 43.

Пример 44.


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

где R(...) – рациональная функция, всегда можно свести к одному из интегралов следующих типов:
1. 
2. 
3. 
. 4. Четвертая комбинация знаков (- x2-а2) приводит нас к
подынтегральной функции, которая не существует в действительной области.
Теорема 1. Интеграл вида
подстановкой х=а sint (х=а cost) сводится к интегралу от рациональной функции относительно sint и cost.
. Действительно, пусть х=а sint, тогда dx = a cost dt, 

Пример 45.

Теорема 2. Интеграл вида
подстановкой
x=a tgt сводится к интегралу от рациональной функции относительно tgt и sect.
Действительно, пусть x=a tgt, тогда dx=a sec2tdt, 

Пример 46.

Теорема 3. Интеграл вида
подстановкой
x=a seсt сводится к интегралу от рациональной функции относительно tgt и sect.
Действительно, пусть x=a sect, тогда dx=a tgt sect dt, 

Пример 47.


Пример 48

Понятие о “неберущихся” интегралах
Теорема существования неопределенного интеграла утверждает, что всякая непрерывная на интервале (а, b) функция f(x) имеет на этом интервале первообразную F(x). Эта теорема вовсе не утверждает: что первообразную данной функции можно фактически отыскать с помощью конечного числа известных операций и выразить ответ в элементарных функциях (алгебраических, показательных, тригонометрических и т.п.). Более того, имеются такие элементарные функции, интегралы от которых не выражаются через элементарные функции.
Так, например, мы уже указывали, что первообразные от дифференциальных биномов, не принадлежащие к трем рассмотренным видам (условия Чебышева), не выражаются через элементарные функции в конечном виде.
Такие интегралы называют “неберущимися”, подразумевая под этим, что такого рода интегралы не могут быть выражены с помощью конечного числа элементарных функций.
Интегралы вида
,
где Р(х) – многочлен степени выше второй, в общем случае не выражается через элементарные функции. При этом, если Р(х) - многочлен третьей или четвертой степени, то такие интегралы
называются эллиптическими, если же степени выше четвертой, то ультраэллиптическими.
В некоторых случаях
могут выражаться и через элементарные функции, имеющие большое прикладное значение; следует. указать интеграл Пуассона:
; интегральный синус
; интегральный косинус
; интегралы Френеля
.Указанные интегралы существуют, но наших средств недостаточно, чтобы составить из них конечные выражения для этих интегралов.
Дата: 2018-12-28, просмотров: 546.