Разложение дробной рациональной функции на простейшие дроби

5.    Разложение дробной рациональной функции на простейшие дроби.

Рациональной дробью R(x) называется дробь, числителем и знаменателем которой являются многочлены, т. Е. всякая дробь вида:

Если степень многочлена в числителе больше или равна степени многочлена в знаменателе (n≥m), то дробь называется неправильной. Если степень многочлена в числителе меньше степени многочлена в знаменателе (n≤m), то дробь называется правильной.

Всякую неправильную рациональную дробь можно представить в виде суммы многочлена (целой части) и правильной рациональной дроби (это представление достигается путем деления числителя на знаменатель по правилу деления многочленов):

где R(x) – многочлен-частное (целая часть) дроби ; P_n(x) – остаток (многочлен степени n < m).

6.    Интегрирование простейших дробей. Интегрирование рациональных дробей.

Интегрирование простейших дробей. Простейшей дробью называется правильная рациональная дробь одного из следующих четырех типов:

1)

2)  (n≥2);

3)

4)  (n≥2).

Здесь А, a, p, q, M, N – действительные числа, а трехчлен не имеет действительных корней, т. е. p²/4-q < 0.

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

Интеграл от простейшей дроби третьего типа приводится к табличным интегралам путем выделения в числителе дифференциала знаменателя и приведения знаменателя к сумме квадратов:

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

Разложение рациональной дроби на простейшие дроби. Всякую правильную рациональную дробь  можно представить в виде суммы конечного числа простейших рациональных дробей первого – четвертого типов. Для разложения  на простейшие дроби необходимо разложить знаменатель Q_m(x) на линейные и квадратные множители, для чего надо решить уравнение:

 - (5)

Теорема. Правильную рациональную дробь , где , можно единственным образом разложить на сумму простейших дробей:

 - (6)

(A₁, A₂, …, A_k, B₁, B₂, …, B₁, M₁, N₁, M₂, M₂, …, M_s, N_s – некоторые действительные числа).

 

Метод неопределенных коэффициентов. Суть метода неопределенных коэффициентов состоит в следующем. Пусть дано разложение правильной рациональной дроби  по формуле (6) на простейшие дроби с неопределенными коэффициентами. Приведем простейшие дроби к общему знаменателю Q_m(x) и приравняем многочлен, получившийся в числителе, многочлену P_n(x).

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

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

1)         если рассматриваемая рациональная дробь  - неправильная (k≥m), представить ее в виде суммы многочлена и правильной рациональной дроби:

где n < m; R(x) – многочлен;

2)         если рассматриваемая рациональная дробь  - правильная (n < m), представить ее в виде суммы простейших рациональных дробей по формуле (6);

3)         интеграл от рациональной дроби представить в виде суммы интегралов от целой части и от соответствующих простейших дробей и вычислить эти интегралы.

 

Интегрирование выражений, содержащие тригонометрические функции.

Интегралы вида  Универсальная подстановка. Будем рассматривать интегралы вида:

 - (7)

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

Для вычисления интеграла вида (7) существует общая универсальная схема вычисления, основанная на универсальной тригонометрической подстановке .

Интегралы вида  (m, n є Z, m ≥ 0, n ≥ 0). Если хотя бы одно из чисел m и n – нечетное, то, отделяя от нечетной степени один сомножитель и выражая с помощью формулы sin²x+cos²x=1 оставшуюся четную степень через конфункцию, приходим к табличному интегралу.

Интегралы вида , , (n є N, n > 1). Эти интегралы вычисляются подстановками tgx= t и ctgx=t соответсвенно.

Если t=tgx, то x=arctgt, . Тогда:

.

Последний интеграл при n ≥ 2 является интегралом от неправильной рациональной дроби, которая вычисляется по правилу интегрирования рациональных дробей.

Аналогично если t=ctgx, то x=arcctgt, , откуда:

Интегралы вида    (m, n є R). Они вычисляются путем разложения подынтегральной функции на слагаемые по формулам:

8.Интегрирование иррациональных выражений.

Интегралы вида  (m₁, n₁, m₂, n₂, … - целые числа). В этих интегралах подынтегральная функция рациональна относительно переменной интегрирования и радикалов от х. Они вычисляются подстановкой x=t^s, где s – общий знаменатель дробей , , … При такой замене переменной все отношения = r₁, = r₂, … являются целыми числами, т. е. интеграл приводится к рациональной функции от переменной t:

Интегралы вида  (m₁, n₁, m₂, n₂, … - целые числа). Эти интегралы подстановкой:

где s – общий знаменатель дробей , , …, сводятся к рациональной функции от переменной t.

Интегралы вида    Для вычисления интеграла I₁ выделяется полный квадрат под знаком радикала:

и применяется подстановка:

, dx=du.

В результате этот интеграл сводится к табличному:

В числителе интеграла I₂ выделяется дифференциал выражения, стоящего под знаком радикала, и этот интеграл представляется в виде суммы двух интегралов:

где I₁ – вычисленный выше интеграл.

Вычисление интеграла I₃ сводится к вычислению интеграла I₁ подстановкой:

 

Интеграл вида  Частные случаи вычисления интегралов данного вида рассмотрены в предыдущем пункте. Существует несколько различных приемов их вычисления. Рассмотрим один из таких приемов, основанный на применении тригонометрических подстановок.

Квадратный трехчлен ax²+bx+c путем выделения полного квадрата и замены переменной может быть представлен в виде  Таким образом, достаточно ограничиться рассмотрением трех видов интегралов:

  

Интеграл подстановкой

u=ksint (или u=kcost)

сводится к интегралу от рациональной функции относительно sint и cost.

Интегралы вида  (m, n, p є Q, a, b є R). Рассматриваемые интегралы, называемые интегралами от дифференциального бинома , выражаются через элементарные функции только в следующих трех случаях:

1)    если p є Z, то применяется подстановка:

x=t^s,

где s – общий знаменатель дробей m и n;

2)    если  Z, то используется подстановка:

a+bxⁿ=t^s,

где s – знаменатель дроби

3)    если  Z, то применяется подстановка:

ax^-n+b=t^s,

где s – знаменатель дроби