Рациональной функцией (или дробью) называется функция вида
f(x)=P(x)Q(x),
где P(x) и Q(x) – многочлены. Если степень числителя меньше степени знаменателя, то рациональная дробь называется правильной. Ясно, что каждая рациональная дробь может быть представлена в виде
P(x)Q(x)=R(x)+P1(x)Q(x),
где R(x) – многочлен, а дробь P1(x)Q(x) – правильная. Поскольку интегралы от многочленов вычисляются совсем просто, то мы будем рассматривать методы интегрирования правильных дробей.
Будем различать следующие четыре вида дробей:
- Ax−a, где A, a — постоянные.
- A(x−a)k, где A, a — постоянные, k=2,3…
- Mx+Nx2+px+q, где M, N, p, q – постоянные, квадратный трехчлен в знаменателе не имеет действительных корней.
- Mx+N(x2+px+q)k, где M, N, p, q – постоянные, квадратный трехчлен в знаменателе не имеет действительных корней.
Покажем как вычисляются интегралы от каждой из этих дробей.
- ∫ax−adx=Aln|x—a|+C.
- ∫a(x−a)kdx=−Ak−1⋅1(x−a)k−1+C.
- ∫Mx+Nx2+px+qdx. Для вычисления этого интеграла представим подынтегральное выражение в виде
Mx+Nx2+px+q=M2(2x+p)+N—pM2x2+px+q=M2⋅2x+px2+px+q+N−pM2x2+px+q.
Для вычисления интеграла от первого слагаемого справа, очевидно, достаточно выполнить замену t=x2+px+q. Тогда получим
∫2x+px2+px+q=ln(x2+px+q)+C.
Для вычисления интеграла от второго слагаемого справа выделим полный квадрат в знаменателе, т.е. представим знаменатель в виде x2+px+q=(x+p2)2+q—p24. Поскольку квадратный трехчлен в знаменателе не имеет действительных корней, то его дискриминант p24—q<0. Обозначим a2=q—p24. Выполняя замену x+p2=t, получим
∫1x2+px+qdx=∫1(x+p2)2+a2dx=∫dtt2+a2=1a2∫dtt2a2+1==1a∫d(ta)(ta)2+1=1aarctgta+C.
Возвращаясь теперь к старой переменной, получим исходный интеграл. - Mx+N(x2+px+q)k. Для вычисления этого интеграла, как и в предыдущем случае, представим подынтегральное выражение в виде
Mx+N(x2+px+q)k=M2(2x+p)+N—pM2(x2+px+q)k==M2⋅2x+p(x2+px+q)k+N−pm2(x2+px+q)k.
Для вычисления интеграла от первого слагаемого справа, очевидно, достаточно выполнить замену t=x2+px+q. Тогда получим
∫2x+p(x2+px+q)kdx=1−k+1(x2+px+q)−k+1+C.
Для вычисления интеграла от второго слагаемого, как и в предыдущем случае, выделим полный квадрат из квадратного трехчлена в знаменателе. Тогда после замены переменной t=x+p2 он сведется к интегралу вида ∫dt(t2+a2)k. Обозначим этот интеграл через Ik и выведем рекуррентную формулу для вычисления этого интеграла. Будем применять формулу интегрирования по частям. Имеем
Ik=∫dt(t2+a2)k=[u=1(t2+a2)k,dv=dtdu=−2kt(t2+a2)k+1,v=t]==t(t2+a2)k+2k∫t2(t2+a2)k+1dt=t(t2+a2)k+2k∫t2+a2—a2(t2+a2)k+1dt==t(t2+a2)k+2k∫dt(t2+a2)k—2ka2∫dt(t2+a2)k+1==t(t2+a2)k+2kIk—2ka2Ik+1.
Отсюда находим
Ik+1=12ka2[t(t2+a2)k+(2k−1)Ik](k=1,2,…).
При этом, как мы уже вычислили ранее,
I1=∫dtt2+a2=1aarctgta+C.
Итак, и в этом случае мы получили правило вычисления интеграла от дроби четвертого вида.
Из основной теоремы алгебры следует, что каждый многочлен с действительными коэффициентами может быть представлен в виде произведения конечного числа линейных сомножителей вида x—a и квадратичных сомножителей вида x2+px+q, где p24—q<0. Именно, справедливо равенство
Q(x)=A(x−a1)k1…(x−ar)kr(x2+p1x+q1)m1…(x2+psx+qs)ms,(1)
где ki и mi – целые неотрицательные числа.
С использованием этого представления можно показать, что справедлива следующая
Теорема. Пусть P(x)Q(x) – правильная дробь, знаменатель которой допускает разложение (1). Тогда эта дробь единственным образом может быть представлена в виде суммы простых дробей, т.е.
P(x)Q(x)=r∑i=1ki∑j=1Aij(x−ai)j+r∑i=1mi∑j=1Mijx+Nij(x2+Pix+qi)j.
Выше уже показано, что интеграл от каждой простой дроби выражается через элементарные функции. Таким образом, справедлива
Метод Остроградского. Этот метод интегрирования рациональных дробей предназначен для выделения рациональной части из интеграла от рациональной функции. Именно, используя представление (1), интеграл от правильной дроби представляется в виде
∫P(x)Q(x)==∫P(x)A(x−a1)k1…(x−ar)kr(x2+p1x+q1)m1…(x2+psx+qs)msdx==∫Rk1+…+kr+2(m1+…+ms)—r—2s—1(x)dxA(x−a1)k1−1…(x−ar)kr−1(x2+p1x+q1)m1−1…(x2+psx+qs)ms−1++∫Sr+2r−1(x)A(x−a1)…(x−ar)(x2+p1x+q1)m1−1…(x2+psx+qs)dx,
где многочлены Rk1+…+kr+2(m1+…+ms)−r−2s−1(x) и Sr+2s−1(x) степени k1+…+kr+2(m1+…+ms)−r−2s−1 и r+2s−1 соответственно имеют неопределенные коэффициенты. Эти коэффициенты находятся затем из условия равенства производных левой и правой частей записанного равенства. Таким образом, вычисление интеграла от правильной дроби сводится к вычислению интеграла от другой правильной дроби, у которой в знаменателе все множители в первой степени. Такой интеграл вычисляется, как указано выше, путем разложения подынтегрального выражения
на простые дроби. Тем самым отпадает необходимость в использовании полученной выше рекуррентной формулы для вычисления интегралов от простой дроби четвертого типа.
Примеры решения задач
- Найти неопределенный интеграл I=∫2x2—3x+3x3—2x2+xdx.
Решение
Разложим знаменатель на множители: x3−2x2+x=x(x−1)2. Тогда подынтегральная функция представима в виде
2x2−3x+3x(x−1)2=Ax+Bx−1+C(x−1)2,
где A, B, C – постоянные коэффициенты. Для их нахождения приведем выражение справа к общему знаменателю и, приравнивая числители полученных дробей, найдем2x2−3x+3=A(x−1)2+Bx(x−1)+Cx.
Поскольку это тождество имеет место при всех x, кроме x=0,x=1, то коэффициенты этих многочленов при одинаковых степенях x равны. Приравнивая их, получаем линейную систему уравнений
x2:A+B=2x:−2A−B+C=−3x0:A=3}
Решая эту систему, находим A=3, B=−1, C=2. Подставляя эти значения в разложение подынтегральной функции и вычисляя соответствующие интегралы, получаем
I=3ln|x|—ln|x−1|—2x−1+C=ln|x|3|x−1|—2x−1+C. - Найти неопределенный интеграл I=∫xdxx3+1dx.
Решение
Как и в предыдущем примере, разложим на множители знаменатель:
x3+1=(x+1)(x2−x+1).
Раскладываем подынтегральное выражение с неопределнными коэффициентами
xx3+1=Ax+1+Mx+Nx2−x+1,
откуда x=A(x2−x+1)+(Mx+N)(x+1). Приравнивая коэффициенты при одинаковых степенях x, составляем линейную систему для нахождения чисел A, M, N:
x2:0+A+M,x:1=−A+M+N,x0:0=A+N.}
Решая эту систему, находим A=−13,M=N=13. Поэтому
I=−13ln|x+1|+13∫x+1x2−x+1dx==−13ln|x+1|+16∫2x−1x2−x+1dx+12∫dxx2−x+1==−13ln|x+1|+16ln(x2−x+1)+12∫dx(x—12)2+34==−13ln|x+1|+16ln(x2−x+1)+1√3arctg2√3(x−12)+C. - Найти неопределенный интеграл ∫(x2—19x+6)(x−1)(x2+5x+6)dx
Решение
Разложим знаменатель на множители: (x−1)(x2+5x+6)=(x−1)(x−2)(x−3). Тогда подынтегральная функция представима в виде:
x2−19x+6(x−1)(x2+5x+6)=Ax−1+Bx+2+Cx+3
Для нахождения A,B и C приведем выражение справа к общему знаменателю и, приравнивая числители полученных дробей, найдем
A(x2+5x+6)+B(x2+2x—3)+c(x2+x—2)=x2−19x+6
Приравнивая коэффициенты при одинаковых степенях x, составляем систему линейных уравнений для нахождения чисел A,B,C
x2:1=A+B+Cx:−19=5A+2B+Cx0:6=6A−3B−2C}
Решаем систему, получаем значения A=−1;B=−16;C=18. Возвращаемся к изначальному интегралу и находим окончательное решение
∫(−1x−1−16x+2+18x+3)dx=−ln|x−1|—16ln|x+2|+18ln|x+3|+C. - Найти неопределенный интеграл ∫x2−6x+8x3+8dx
Решение
По формуле суммы кубов раскладываем знаменатель на множители, используя формулу сокращенного умножения a3+b3=(a+b)(a2−ab+b2)
∫x2−6x+8x3+8dx=∫x2−6x+8(x+2)(x2−2x+4)dx.
Методом неопределенных коэффициентов разложим подынтегральную функцию в сумму элементарных дробей
Ax+2+Bx+Cx2−2x+4=x2−6x+8(x+2)(x2−2x+4).
Приводим дробь к общему знаменателю
A(x2—2x+4)+B(x2+2x)+C(x+2)=x2−6x+8
Составим и решим систему
x2:A+B=1x:−2A+2B+C=−6x0:4A+2C=8}
Подставим значения A=2, B=−1, C=0 в функцию и найдем интеграл
∫(2x+2—xx2−2x+4)dx=2∫dxx+2+∫−12d(x2−2x+4)—dxx2−2x+4==2ln|x+2|—12∫d(x2−2x+4)x2−2x+4—∫dxx2−2x+1+3==2ln|x+2|—12ln(x2—2x+4)—∫d(x−1)(x−1)2+(√3)2==2ln|x+2|—12ln(x2—2x+4)—1√3arctg(x−1√3)+C.
Интегрирование рациональных функций
Тест на тему: Интегрирование рациональных функций |
Литература:
Смотрите также:
- Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления: учеб. пособие для ун-тов и пед. ин-тов. Т. 2 / Г. М. Фихтенгольц. — 5-е изд., стереотип. — Москва: Физматгиз, 1970 (стр. 504-512)
- Тер-Крикоров А. М., Шабунин М. И. Курс математического анализа: Учеб. пособие для вузов. – 3-е изд., исправл. / А. М. Тер-Крикоров, М. И. Шабунин. – Москва: ФИЗМАТЛИТ, 2001 (стр. 138-155)