6.3 Интегрирование рациональных функций.

Рациональной функцией (или дробью) называется функция вида
$$f(x) = \displaystyle\frac{P(x)}{Q(x)},$$
где $P(x)$ и $Q(x)$ – многочлены. Если степень числителя меньше степени знаменателя, то рациональная дробь называется правильной. Ясно, что каждая рациональная дробь может быть представлена в виде
$$\displaystyle\frac{P(x)}{Q(x)} = R(x) + \displaystyle\frac{P_{1}(x)}{Q(x)},$$
где $R(x)$ – многочлен, а дробь $\displaystyle\frac{P_{1}(x)}{Q(x)}$ – правильная. Поскольку интегралы от многочленов вычисляются совсем просто, то мы будем рассматривать методы интегрирования правильных дробей.

Будем различать следующие четыре вида дробей:

  • $\displaystyle\frac{A}{x-a}$, где $A$, $a$ — постоянные.
  • $\displaystyle\frac{A}{(x-a)^k}$, где $A$, $a$ — постоянные, $k = 2,3 \ldots$
  • $\displaystyle\frac{Mx + N}{x^2 + px + q}$, где $M$, $N$, $p$, $q$ – постоянные, квадратный трехчлен в знаменателе не имеет действительных корней.
  • $\displaystyle\frac{Mx + N}{(x^2 + px + q)^k}$, где $M$, $N$, $p$, $q$ – постоянные, квадратный трехчлен в знаменателе не имеет действительных корней.

Покажем как вычисляются интегралы от каждой из этих дробей.

  • $\int \displaystyle\frac{a}{x-a}dx = A\ln\left | x — a \right | + C$.
  • $\int \displaystyle\frac{a}{(x-a)^k}dx = -\frac{A}{k-1}\cdot \displaystyle\frac{1}{(x-a)^{k-1}} + C$.
  • $\int \displaystyle\frac{Mx + N}{x^2 + px + q}dx$. Для вычисления этого интеграла представим подынтегральное выражение в виде
    $$\displaystyle\frac{Mx + N}{x^2 + px + q} = \displaystyle\frac{\frac{M}{2}(2x+p) + N — p\frac{M}{2}}{x^2 + px + q} = \displaystyle\frac{M}{2} \cdot \displaystyle\frac{2x+p}{x^2 + px + q} + \displaystyle\frac{N-p\displaystyle\frac{M}{2}}{x^2 + px + q}.$$
    Для вычисления интеграла от первого слагаемого справа, очевидно, достаточно выполнить замену $t = x^2 + px + q$. Тогда получим
    $$\int \displaystyle\frac{2x + p}{x^2 + px + q} = \ln(x^2 + px + q) + C.$$
    Для вычисления интеграла от второго слагаемого справа выделим полный квадрат в знаменателе, т.е. представим знаменатель в виде $x^2 + px + q = (x+\displaystyle\frac{p}{2})^2 + q — \displaystyle\frac{p^2}{4}$. Поскольку квадратный трехчлен в знаменателе не имеет действительных корней, то его дискриминант $\displaystyle\frac{p^2}{4} — q < 0$. Обозначим $a^2 = q — \displaystyle\frac{p^2}{4}$. Выполняя замену $x + \displaystyle\frac{p}{2} = t$, получим
    $$\int \displaystyle\frac{1}{x^2 + px + q}dx = \int \displaystyle\frac{1}{(x+\displaystyle\frac{p}{2})^2 + a^2}dx = \int \displaystyle\frac{dt}{t^2 + a^2} = \frac{1}{a^2} \int \displaystyle\frac{dt}{\displaystyle\frac{t^2}{a^2} + 1} =\\= \displaystyle\frac{1}{a} \int \displaystyle\frac{d(\displaystyle\frac{t}{a})}{(\displaystyle\frac{t}{a})^2 + 1} = \displaystyle\frac{1}{a} \text{arctg}\: \displaystyle\frac{t}{a} + C .$$
    Возвращаясь теперь к старой переменной, получим исходный интеграл.
  • $\displaystyle\frac{Mx + N}{(x^2 + px + q)^k}$. Для вычисления этого интеграла, как и в предыдущем случае, представим подынтегральное выражение в виде
    $$\displaystyle\frac{Mx + N}{(x^2 + px + q)^k} = \displaystyle\frac{\frac{M}{2}(2x + p) + N — p\displaystyle\frac{M}{2}}{(x^2 + px + q)^k} =\\=\displaystyle\frac{M}{2} \cdot \displaystyle\frac{2x+p}{(x^2 + px + q)^k} + \displaystyle\frac{N-p\frac{m}{2}}{(x^2 + px + q)^k}.$$
    Для вычисления интеграла от первого слагаемого справа, очевидно, достаточно выполнить замену $t = x^2 + px + q.$ Тогда получим
    $$\int \displaystyle\frac{2x + p}{(x^2 + px + q)^k}dx = \displaystyle\frac{1}{-k+1}(x^2+px+q)^{-k+1} +C.$$
    Для вычисления интеграла от второго слагаемого, как и в предыдущем случае, выделим полный квадрат из квадратного трехчлена в знаменателе. Тогда после замены переменной $t = x+\displaystyle\frac{p}{2}$ он сведется к интегралу вида $\int \displaystyle\frac{dt}{(t^2+a^2)^k}$. Обозначим этот интеграл через $I_{k}$ и выведем рекуррентную формулу для вычисления этого интеграла. Будем применять формулу интегрирования по частям. Имеем
    $$ I_{k} = \int \displaystyle\frac{dt}{(t^2 + a^2)^k} = \begin{bmatrix}u = \displaystyle\frac{1}{(t^2+a^2)^k}, & dv = dt \\ du = -\displaystyle\frac{2kt}{(t^2+a^2)^{k+1}}, & v = t \end{bmatrix} =\\=\displaystyle\frac{t}{(t^2 + a^2)^k} + 2k\int \displaystyle\frac{t^2}{(t^2 + a^2)^{k+1}}dt = \displaystyle\frac{t}{(t^2 + a^2)^k}+2k\int\displaystyle\frac{t^2 + a^2 — a^2}{(t^2 + a^2)^{k+1}}dt =\\= \displaystyle\frac{t}{(t^2 + a^2)^k} + 2k\int \displaystyle\frac{dt}{(t^2 + a^2)^k} — 2ka^2 \int \displaystyle\frac{dt}{(t^2 + a^2)^{k+1}} =\\= \displaystyle\frac{t}{(t^2 + a^2)^k} + 2kI_{k} — 2ka^2I_{k+1}.$$
    Отсюда находим
    $$I_{k+1} = \displaystyle\frac{1}{2ka^2}\begin{bmatrix} \displaystyle\frac{t}{(t^2 + a^2)^k} +(2k-1)I_k \end{bmatrix} (k = 1,2,\ldots).$$
    При этом, как мы уже вычислили ранее,
    $$I_{1} = \int \displaystyle\frac{dt}{t^2 + a^2} = \displaystyle\frac{1}{a} \text{arctg}\:\displaystyle\frac{t}{a} + C.$$
    Итак, и в этом случае мы получили правило вычисления интеграла от дроби четвертого вида.

Из основной теоремы алгебры следует, что каждый многочлен с действительными коэффициентами может быть представлен в виде произведения конечного числа линейных сомножителей вида $x — a$ и квадратичных сомножителей вида $x^2 + px + q$, где $\displaystyle\frac{p^2}{4} — q < 0$. Именно, справедливо равенство
$$Q(x) = A(x-a_1)^{k_1}\ldots(x-a_r)^{k_r}(x^2+p_1x+q_1)^{m_1}\ldots(x^2+p_sx+q_s)^{m_s}, (1)$$
где $k_i$ и $m_i$ – целые неотрицательные числа.
С использованием этого представления можно показать, что справедлива следующая

Теорема. Пусть $\displaystyle\frac{P(x)}{Q(x)}$ – правильная дробь, знаменатель которой допускает разложение (1). Тогда эта дробь единственным образом может быть представлена в виде суммы простых дробей, т.е.
$$\displaystyle\frac{P(x)}{Q(x)} = \sum_{i=1}^{r}\sum_{j=1}^{k_i}\displaystyle\frac{A_{ij}}{(x-a_i)^j} + \sum_{i=1}^{r}\sum_{j=1}^{m_i}\displaystyle\frac{M_{ij}x + N_{ij}}{(x^2 + P_ix+q_i)^j}.$$

Выше уже показано, что интеграл от каждой простой дроби выражается через элементарные функции. Таким образом, справедлива

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

Метод Остроградского. Этот метод интегрирования рациональных дробей предназначен для выделения рациональной части из интеграла от рациональной функции. Именно, используя представление (1), интеграл от правильной дроби представляется в виде
$$\int \displaystyle\frac{P(x)}{Q(x)} =\\=\int \displaystyle\frac{P(x)}{A(x-a_1)^{k_1}\ldots(x-a_r)^{k_r}(x^2+p_1x +q_1)^{m_1}\ldots(x^2+p_sx+q_s)^{m_s}}dx =\\=\int \displaystyle\frac{R_{k_1 + \ldots + k_r + 2(m_1 + \ldots + m_s) — r — 2s — 1}(x)dx}{A(x-a_1)^{k_1-1}\ldots(x-a_r)^{k_r-1}(x^2+p_1x +q_1)^{m_1-1}\ldots(x^2+p_sx+q_s)^{m_s-1}} +\\+ \int \displaystyle\frac{S_{r+2r-1}(x)}{A(x-a_1)…(x-a_r)(x^2+p_1x +q_1)^{m_1-1}\ldots(x^2+p_sx+q_s)}dx,$$
где многочлены $R_{k_1+\ldots+k_r+2(m_1 + \ldots + m_s)-r-2s-1}(x)$ и $S_{r+2s-1}(x)$ степени $k_1+\ldots+k_r+2(m_1+\ldots+m_s)-r-2s-1$ и $r+2s-1$ соответственно имеют неопределенные коэффициенты. Эти коэффициенты находятся затем из условия равенства производных левой и правой частей записанного равенства. Таким образом, вычисление интеграла от правильной дроби сводится к вычислению интеграла от другой правильной дроби, у которой в знаменателе все множители в первой степени. Такой интеграл вычисляется, как указано выше, путем разложения подынтегрального выражения
на простые дроби. Тем самым отпадает необходимость в использовании полученной выше рекуррентной формулы для вычисления интегралов от простой дроби четвертого типа.

Примеры решения задач

  1. Найти неопределенный интеграл $I = \int \displaystyle\frac{2x^2 — 3x + 3}{x^3 — 2x^2 + x}dx$.
    Решение

    Разложим знаменатель на множители: $x^3 -2x^2 + x = x(x-1)^2$. Тогда подынтегральная функция представима в виде

    $$\displaystyle\frac{2x^2-3x+3}{x(x-1)^2} = \displaystyle\frac{A}{x} + \displaystyle\frac{B}{x-1} + \displaystyle\frac{C}{(x-1)^2},$$
    где $A$, $B$, $C $ – постоянные коэффициенты. Для их нахождения приведем выражение справа к общему знаменателю и, приравнивая числители полученных дробей, найдем

    $$2x^2-3x+3=A(x-1)^2 + Bx(x-1)+Cx.$$

    Поскольку это тождество имеет место при всех $x$, кроме $x=0,x=1,$ то коэффициенты этих многочленов при одинаковых степенях $x$ равны. Приравнивая их, получаем линейную систему уравнений

    $$\left.\begin{matrix}x^2 : & A+B=2\\ x : & -2A-B+C=-3\\ x^0 : & A=3\end{matrix}\right\}$$

    Решая эту систему, находим $A = 3$, $B = −1$, $C = 2.$ Подставляя эти значения в разложение подынтегральной функции и вычисляя соответствующие интегралы, получаем
    $$I=3\ln\left | x \right | — \ln \left | x-1 \right | — \displaystyle\frac{2}{x-1} + C = \ln \displaystyle\frac{\left | x \right |^3}{\left | x-1 \right |} — \displaystyle\frac{2}{x-1} +C.$$

  2. Найти неопределенный интеграл $I = \int \displaystyle\frac{x dx}{x^3 + 1}dx$.
    Решение

    Как и в предыдущем примере, разложим на множители знаменатель:

    $$x^3 + 1 = (x+1)(x^2-x+1).$$
    Раскладываем подынтегральное выражение с неопределнными коэффициентами
    $$\displaystyle\frac{x}{x^3 + 1} = \displaystyle\frac{A}{x+1} + \displaystyle\frac{Mx+N}{x^2-x+1},$$
    откуда $x = A(x^2−x+1)+(Mx+N)(x+1)$. Приравнивая коэффициенты при одинаковых степенях $x$, составляем линейную систему для нахождения чисел $A$, $M$, $N$:
    $$\left.\begin{matrix}x^2 : & 0+A+M,\\ x : & 1=-A+M+N,\\ x^0 : & 0=A+N.\end{matrix}\right\}$$
    Решая эту систему, находим $A = −\displaystyle\frac{1}{3}, M = N =\displaystyle\frac{1}{3}$. Поэтому
    $$I=-\displaystyle\frac{1}{3}\ln\left | x+1 \right | + \displaystyle\frac{1}{3}\int \displaystyle\frac{x+1}{x^2-x+1}dx=\\=-\displaystyle\frac{1}{3}\ln\left | x+1 \right | + \displaystyle\frac{1}{6}\int \displaystyle\frac{2x-1}{x^2-x+1}dx + \displaystyle\frac{1}{2}\int \displaystyle\frac{dx}{x^2-x+1}=\\=-\displaystyle\frac{1}{3}\ln\left | x+1 \right | + \displaystyle\frac{1}{6}\ln(x^2-x+1) + \displaystyle\frac{1}{2} \int \displaystyle\frac{dx}{(x — \displaystyle\frac{1}{2})^2 + \displaystyle\frac{3}{4}} =\\=-\displaystyle\frac{1}{3}\ln\left | x+1 \right | + \displaystyle\frac{1}{6}\ln(x^2-x+1) + \displaystyle\frac{1}{\sqrt{3}}\text{arctg}\:\displaystyle\frac{2}{\sqrt{3}}(x-\displaystyle\frac{1}{2}) + C.$$

  3. Найти неопределенный интеграл $\int \displaystyle\frac{(x^2 — 19x + 6)}{(x-1)(x^2 + 5x + 6)}dx$
    Решение

    Разложим знаменатель на множители: $(x-1)(x^2+5x+6) = (x-1)(x-2)(x-3).$ Тогда подынтегральная функция представима в виде:
    $$\displaystyle\frac{x^2-19x+6}{(x-1)(x^2+5x+6)} = \displaystyle\frac{A}{x-1} + \displaystyle\frac{B}{x+2} + \displaystyle\frac{C}{x+3}$$
    Для нахождения $A, B$ и $C$ приведем выражение справа к общему знаменателю и, приравнивая числители полученных дробей, найдем
    $$A(x^2 + 5x + 6) + B(x^2 + 2x — 3) + c(x^2 + x — 2) = x^2 -19x+6$$
    Приравнивая коэффициенты при одинаковых степенях $x$, составляем систему линейных уравнений для нахождения чисел $A, B, C$
    $$\left.\begin{matrix} x^2 : & 1=A+B+C \\ x : & -19 = 5A+2B+C \\ x^0 : & 6=6A-3B-2C \end{matrix}\right\}$$
    Решаем систему, получаем значения $A = -1; B = -16; C=18$. Возвращаемся к изначальному интегралу и находим окончательное решение
    $$\int (-\displaystyle\frac{1}{x-1}-\displaystyle\frac{16}{x+2}+\displaystyle\frac{18}{x+3})dx = -\ln\left | x-1 \right | — 16\ln\left | x+2 \right |+18\ln\left | x+3 \right | + C.$$

  4. Найти неопределенный интеграл $\int \displaystyle\frac{x^2-6x+8}{x^3+8}dx$
    Решение

    По формуле суммы кубов раскладываем знаменатель на множители, используя формулу сокращенного умножения $a^3 + b^3 = (a+b)(a^2-ab+b^2)$
    $$\int \displaystyle\frac{x^2-6x+8}{x^3+8}dx = \int \displaystyle\frac{x^2-6x+8}{(x+2)(x^2-2x+4)}dx.$$
    Методом неопределенных коэффициентов разложим подынтегральную функцию в сумму элементарных дробей
    $$\displaystyle\frac{A}{x+2} +\displaystyle\frac{Bx+C}{x^2-2x+4} = \displaystyle\frac{x^2-6x+8}{(x+2)(x^2-2x+4)}.$$
    Приводим дробь к общему знаменателю
    $$A(x^2 — 2x + 4) + B(x^2 + 2x) + C(x+2) = x^2-6x+8$$
    Составим и решим систему
    $$\left.\begin{matrix}x^2 : & A+B=1\\ x : & -2A+2B+C=-6\\ x^0 : & 4A+2C=8\end{matrix}\right\}$$
    Подставим значения $A = 2$, $B = -1$, $C = 0$ в функцию и найдем интеграл
    $$\int (\displaystyle\frac{2}{x+2} — \displaystyle\frac{x}{x^2-2x+4})dx = 2\int \displaystyle\frac{dx}{x+2} + \int \displaystyle\frac{-\displaystyle\frac{1}{2}d(x^2-2x+4) — dx}{x^2 -2x +4} =\\= 2\ln \left | x+2 \right | — \displaystyle\frac{1}{2}\int\displaystyle\frac{d(x^2-2x+4)}{x^2-2x+4} — \int\displaystyle\frac{dx}{x^2-2x+1 +3} = \\= 2\ln \left | x+2 \right | — \frac{1}{2}\ln(x^2 — 2x + 4) — \int \frac{d(x-1)}{(x-1)^2 + (\sqrt{3})^2} = \\= 2\ln \left | x+2 \right | — \frac{1}{2}\ln(x^2 — 2x + 4) — \frac{1}{\sqrt{3}}\text{arctg}\:(\frac{x-1}{\sqrt{3}}) + C.$$

Интегрирование рациональных функций

Тест на тему: Интегрирование рациональных функций

Литература:

Смотрите также:

 

Интегрирование дифференциального бинома

Дифференциальным биномом называют выражение вида

[latex] x^{m} (a+bx^{n})^{p} dx, [/latex]

где a и b — любые константы, а показатели степеней m, n и p — рациональные числа. Изучим вопрос об интегрируемости в элементарных функциях дифференциальных биномов.
Рассмотрим три случая , когда интеграл от дифференциального бинома допускает рационализирующую подстановку.
1. Первый случай соответствует целому p. Дифференциальный бином представляет собой дробно-линейную иррациональность вида [latex] R (x,\sqrt[r]{x}) dx [/latex], где r — наименьшее общее кратное знаменателей рациональных чисел m и n. Стало быть, интеграл от дифференциального бинома в этом случае рационализируется подстановкой [latex] t=\sqrt[r]{x} [/latex].
2.Второму случаю соответствует целое число [latex] \frac{m+1}{n} [/latex]. Сделаем подстановку
[latex] z = x^{n} [/latex] и положим для краткости [latex] \frac{m+1}{n}-1=q [/latex], получим

[latex] \int x^{m} (a+bx^{n})^{p} dx=\frac{1}{n}\int (a+bz)^{p} z^{q}dz [/latex]

Подынтегральная функция в правой части является дробно-линейной иррациональностью следующего вида вида [latex] R (z,\sqrt[s]{a+bz}) [/latex], где s — знаменатель рационального числа p.
Таким образом, для второго случая дифференциальный бином рационализируется подстановкой

[latex] t=\sqrt[s]{a+bz}=\sqrt[s]{a+bx^{n}}. [/latex]

3. Третьему случаю соответствует целому число [latex] (\frac{m+1}{n}+p) [/latex]. Подынтегральная функция в правой части является дробно-линиейной иррациональностью вида [latex] R (z,\sqrt[s]{\frac{a+bz}{z}}) [/latex], так что интеграл от дифференциального бинома рационализируется подстановкой вида

[latex] t=\sqrt[s]{\frac{a+bz}{z}}=\sqrt[s]{\frac{a}{x^{n}}+b}. [/latex]

В середине 19-го века П.Л.Чебышев доказал, что указанными выше тремя случаями исчерпываются все случаи, когда дифференциальный бином интегрируется в элементарных функциях. (Мемуар 1853 года «Об интегрировании иррациональных дифференциалов»).

Примеры

1)Вычислить интеграл [latex] I=\int \frac{ \sqrt{x}dx}{ (1+\sqrt[3]{x})^{2}} = \int x^{\frac {1} {2}} (1+x^{\frac{1}{3}})^{-2} [/latex]. Здесь [latex] m=\frac{1}{2}, n=\frac{1}{3}, p=-2 [/latex].  Так как p — целое, значит используем подстановку из первого случая

[latex] x=t^{6}, dx=6t^{5}dt, \sqrt {x} = t^{3}, \sqrt [3] {x} = t^{2} [/latex]

подставим:

[latex] I = 6 \int\frac{t^{8}}{ (t^{2} + 1)^{2} }dt = [/latex][latex]6 \int (t^{4} — 2t^{2} + 3 — \frac{4} {t^{2}+1} + \frac{1} { (t^{2} + 1)^{2} }) dt = [/latex][latex]\frac {6}{5}x^{\frac{5}{6}} — 4x^{\frac {1}{2}} + 18x^{\frac {1}{6}} + \frac{3x^{\frac{1}{6}}} { (1 + x^{\frac{1}{3}})} — 21arctg (x^{\frac{1}{6}}) + C [/latex]

2) Вычислить интеграл [latex] I = \int \frac{x}{\sqrt{1+\sqrt[3]{x^{2}}}} dx[/latex]. Здесь [latex] m = 1, n = \frac{2}{3}, p = -\frac{1}{2}[/latex]. Так как [latex]\frac{m+1}{n} = 3[/latex] — целое (второй случай).

[latex]t^{2} = 1 +x^{\frac{2}{8}},[/latex] [latex]x = (t^{2} — 1)^{\frac{8}{2}},[/latex]  [latex]dx = 3t (t^{2}-1)^{\frac{1}{2}} dt[/latex]

подставим:

[latex] I = 3\int (t^{2}-1)^{2} dt = [/latex][latex]\frac{3}{5}t^{6} — 2t^{3} + 3t + C[/latex],

[latex]t=\sqrt{1+\sqrt[3]{x^{2}}}[/latex]

3) Вычислить интеграл [latex] I=\int x^{5} (1-x^{2})^{-\frac{1}{2}} dx [/latex]. Графиком подынтегральной функции будет:
curs
В данном случае [latex] m=5,n=2,p=-\frac{1}{2} [/latex], так что [latex] \frac{m+1}{n}=3 [/latex] (второй случай). Сделав подстановку

[latex] t=\sqrt{1-x^{2}},[/latex] [latex]x=\sqrt{1-t^{2}},[/latex] [latex]dx=-\frac{tdt}{\sqrt{1-t^{2}}}, [/latex]

будем иметь

[latex] -\int (1-t^{2})^{2} dt=[/latex][latex]-\int dt+2\int t^{2}dt-\int t^{4}dt=[/latex][latex]-t+\frac{2}{3}t^{3}-\frac{t^{5}}{5}+C=[/latex][latex]-\sqrt{1-x^{2}}+\frac{2}{3}\sqrt{ (1-x^{2})^{3}} -\frac{\sqrt{ (1-x^{2})^{5} }}{5}+C. [/latex]

 

4) Вычислить интеграл [latex] I=\int \frac{dx}{x^{2}\sqrt{a+bx^{2}}}=\int x^{-2} (a+bx^{2})^{-\frac{1}{2}} dx [/latex]. Здесь [latex] m=-2,n=2,p=-\frac{1}{2} [/latex], так что [latex] \frac{m+1}{n}+p=-1 [/latex] (третий случай) Сделав подстановку

[latex] t=\sqrt{\frac{a}{x^{2}}+b},[/latex] [latex]x=\frac{\sqrt{a}}{\sqrt{t^{2}-b}},[/latex] [latex]dx=-\frac{\sqrt{a}tdt}{\sqrt{ (t^{2}-b)^{3} }}, [/latex]

будем иметь

[latex] I=\int — (\frac{dt}{a}) = [/latex][latex]-\frac{t}{a}+C=[/latex][latex]-\frac{\sqrt{\frac{a}{x^{2}}+b}}{a}+C. [/latex]

Литература

  • В.А.Ильин, Э.Г.Позняк. Основы математического анализа, М.:Наука, 1982. стр. 227, 228.

Интегрирование дифференциального бинома

Интегрирование дифферециального бинома

Таблица лучших: Интегрирование дифференциального бинома

максимум из 15 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных