previous contents next
8.1.4 Некоторые типы интегралов сводящиеся к интегралам от рациональных функций.

Определение 8.1.6: Элементарным многочленом от двух вещественных переменных $u$ и $v$ называется функция $F(u,v):\mathbb{R}^2\to\mathbb{R}:F(u,v)=u^iv^j$, где $i,j\in\mathbb{N}$.
Многочленом от двух вещественных переменных $P(u,v)$ называется любая конечная линейная комбинация элементарных многочленов от двух переменных $$P(u,v)=\sum^{i=n,j=m}_{i=j=0}(a_{i,j}u^iv^j),m,n\in\mathbb{N}_0,\forall{i}\in\overline{0,n},\forall{j}\in\overline{0,m}(a_{i,j}\in\mathbb{R})$$ Рациональной функцией от двух вещественных переменных называется частное двух многочленов от двух вещественных переменных $$R(u,v)=\frac{P(u,v)}{Q(u,v)},\forall{u},v\in\mathbb{R}(Q(u,v)\neq0)$$

Если $R(u,v)$ рациональная функция от двух переменных $y(x)$ элементарная функция, то в некоторых случаях интеграл вида $\int{R}(x,y(x))dx$ может быть сведен к интегралу от рациональной функции.
Например, если существует замена переменной $x=x(t)$ такая, что

  1. $x(t)$ - рациональная функция от $t$,
  2. $y(x(t))$ - рациональная функция от $t$,
тогда
  1. $x'(t)$ - рациональная функция от $t$,
  2. $R(x(t),y(x(t)))$ - рациональная функция от $t$.
Следовательно, функция $R(x(t),y(x(t)))x'(t)$ тоже будет рациональной и $\int{R}(x,y(x))dx=\int{R}(x(t),y(x(t)))x'(t)dt$

Пример 8.1.6: Рассмотрим неопределенный интеграл вида $\displaystyle\int{R}\left(x,\sqrt[n]\frac{ax+b}{cx+d}\right)dx$.
Произведем замену переменной $\displaystyle{t}=\sqrt[n]\frac{ax+b}{cx+d}$, тогда $\displaystyle{x}(t)=\frac{-dt^n+b}{ct^n-a}$ - рациональная функция от $t$.
$\displaystyle{y}(x)=\sqrt[n]\frac{ax+b}{cx+d}=t$ - рациональная функция от $t$. $$x'(t)=\left(\frac{-dt^n+b}{ct^n-a}\right)'=\frac{-dnt^{n-1}(ct^n-a)-cnt^{n-1}(-dt^n+b)}{(ct^n-a)^2}=\frac{nt^{n-1}(-cdt^n+ad+cdt^n-cb)}{(ct^n-a)^2}= \frac{nt^{n-1}(ad-cb)}{(ct^n-a)^2}\Rightarrow$$ $$\Rightarrow\int{R}\left(x,\sqrt[n]\frac{ax+b}{cx+d}\right)dx=\int{R}\left(\frac{-dt^n+b}{ct^n-a},t\right)\frac{nt^{n-1}(ad-cb)}{(ct^n-a)^2}dt$$ В последнем интеграле подынтегральное выражение является рациональной функцией от $t$. Таким образом вычисление исходного интеграла сведено к вычислению интеграла от рациональной функции.

Пример 8.1.7: Следующие типы интегралов так же сводятся к интегралам от рациональных функций в чем можно убедится обратившись к соответствующим параграфам учебника.

  1. Кудрявцев т. 1, стр. 424 $$\int{R}\left(x,\sqrt{ax^2+bx+c}\right)dx;\:a\neq0$$
  2. Кудрявцев т. 1, стр. 429 $$\int\frac{P_n(x)}{\sqrt{ax^2+bx+c}}dx;\:a\neq0$$
  3. Кудрявцев т. 1, стр. 429 $$\int\frac{dx}{(x-\lambda)^k\sqrt{ax^2+bx+c}};\:k\in\mathbb{N},\lambda\in\mathbb{R}$$
  4. Кудрявцев т. 1, стр. 426 $$\int{x}^m(a+bx^n)^pdx;a,b\in\mathbb{R};\:m,n,p\in\mathbb{Q}$$
  5. Кудрявцев т. 1, стр. 431 $$\int{R}(\sin{x},\cos{x})dx$$


Задача 8.1.1: Представить первообразную $\displaystyle\int\sqrt[3]\frac{x-1}{x+1}dx$ в виде элементарной функции.
Решение: В Зорич т. 1, стр. 373 приведено более простое решение с помощью интегрирования по частям (в четверном издании от 2002 года не хватает двух двоек в ответе, очевидные опечатки при выводе). Здесь в качестве примера использования вышеописанного метода приведено решение с помощью разложения рациональной функции в сумму простейших дробей.
В условиях примера 8.1.6 положим $a=1$, $b=-1$, $c=1$, $d=1$, $n=3$, $\displaystyle{y}(x)=\sqrt[3]\frac{x-1}{x+1}$, тогда $R(x,y(x))=y(x)$ и $$t:=\sqrt[3]\frac{x-1}{x+1}\Rightarrow{x}(t)=\frac{-dt^n+b}{ct^n-a}=\frac{-t^3-1}{t^3-1}\Rightarrow \left(x'(t)=\frac{nt^{n-1}(ad-bc)}{(ct^n-a)^2}=\frac{6t^2}{(t^3-1)^2}\wedge{R}(x(t),y(x(t)))=y(x(t))=t\right)\Rightarrow$$ $$\Rightarrow\int\sqrt[3]\frac{x-1}{x+1}dx=\int{R}(x(t),y(x(t)))x'(t)dt=\int{t}\frac{6t^2}{(t^3-1)^2}dt=\int\frac{6t^3}{(t^3-1)^2}dt$$ Применим метод неопределенных коэффициентов $$\frac{6t^3}{(t^3-1)^2}=\frac{6t^3}{(t-1)^2(t^2+t+1)^2}=\frac{A}{t-1}+\frac{B}{(t-1)^2}+\frac{Ct+D}{t^2+1+1}+\frac{Et+F}{(t^2+t+1)^2}= \frac{A(t-1)(t^2+t+1)^2+B(t^2+t+1)^2+(Ct+D)(t-1)^2(t^2+t+1)+(Et+F)(t-1)^2}{(t-1)^2(t^2+t+1)^2}=$$ $$=\frac{A(t^3-1)(t^2+t+1)+B(t^2+t+1)^2+(Ct+D)(t^3-1)(t-1)+(Et+F)(t-1)^2}{(t-1)^2(t^2+t+1)^2}=$$ $$=\frac{A(t^5+t^4+t^3-t^2-t-1)+B(t^4+2t^3+3t^2+2t+1)+(Ct+D)(t^4-t^3-t+1)+(Et+F)(t^2-2t+1)}{(t-1)^2(t^2+t+1)^2}=$$ $$=\frac{A(t^5+t^4+t^3-t^2-t-1)+B(t^4+2t^3+3t^2+2t+1)+C(t^5-t^4-t^2+t)+D(t^4-t^3-t+1)+E(t^3-2t^2+t)+F(t^2-2t+1)}{(t-1)^2(t^2+t+1)^2}=$$ $$=\frac{t^5(A+C)+t^4(A+B-C+D)+t^3(A+2B-D+E)+t^2(-A+3B-C-2E+F)+t(-A+2B+C-D+E-2F)+(-A+B+D+F)}{(t-1)^2(t^2+t+1)^2}$$ В числителе рациональной функции подынтегрального выражения стоит многочлен $6t^3$, следовательно, $$ \begin{cases} A+C=0\\ A+B-C+D=0\\ A+2B-D+E=6\\ -A+3B-C-2E+F=0\\ -A+2B+C-D+E-2F=0\\ -A+B+D+F=0 \end{cases}\Rightarrow \left( \begin{array}{rr} 1 & 0 & 1 & 0 & 0 & 0\\ 1 & 1 &-1 & 1 & 0 & 0\\ 1 & 2 & 0 &-1 & 1 & 0\\ -1& 3 &-1 & 0 &-2 & 1\\ -1& 2 & 1 &-1 & 1 &-2\\ -1& 1 & 0 & 1 & 0 & 1 \end{array} \right) \left(\begin{array}{rr}A\\B\\C\\D\\E\\F\end{array}\right)=\left(\begin{array}{rr}0\\0\\6\\0\\0\\0\end{array}\right) $$ Решим полученную систему методом Гаусса $$ \left( \begin{array}{rr} 1 & 0 & 1 & 0 & 0 & 0 & 0\\ 1 & 1 &-1 & 1 & 0 & 0 & 0\\ 1 & 2 & 0 &-1 & 1 & 0 & 6\\ -1& 3 &-1 & 0 &-2 & 1 & 0\\ -1& 2 & 1 &-1 & 1 &-2 & 0\\ -1& 1 & 0 & 1 & 0 & 1 & 0 \end{array} \right)\Rightarrow \left( \begin{array}{rr} 1 & 0 & 1 & 0 & 0 & 0 & 0\\ 0 & 1 &-2 & 1 & 0 & 0 & 0\\ 0 & 2 &-1 &-1 & 1 & 0 & 6\\ 0 & 3 & 0 & 0 &-2 & 1 & 0\\ 0 & 2 & 2 &-1 & 1 &-2 & 0\\ 0 & 1 & 1 & 1 & 0 & 1 & 0 \end{array} \right)\Rightarrow \left( \begin{array}{rr} 1 & 0 & 1 & 0 & 0 & 0 & 0\\ 0 & 1 &-2 & 1 & 0 & 0 & 0\\ 0 & 0 & 3 &-3 & 1 & 0 & 6\\ 0 & 0 & 6 &-3 &-2 & 1 & 0\\ 0 & 0 & 6 &-3 & 1 &-2 & 0\\ 0 & 0 & 3 & 0 & 0 & 1 & 0 \end{array} \right)\Rightarrow \left( \begin{array}{rr} 1 & 0 & 1 & 0 & 0 & 0 & 0\\ 0 & 1 &-2 & 1 & 0 & 0 & 0\\ 0 & 0 & 3 &-3 & 1 & 0 & 6\\ 0 & 0 & 0 & 3 &-4 & 1 &-12\\ 0 & 0 & 0 & 3 &-1 &-2 &-12\\ 0 & 0 & 0 & 3 &-1 & 1 &-6 \end{array} \right)\Rightarrow$$ $$\Rightarrow\left( \begin{array}{rr} 1 & 0 & 1 & 0 & 0 & 0 & 0\\ 0 & 1 &-2 & 1 & 0 & 0 & 0\\ 0 & 0 & 3 &-3 & 1 & 0 & 6\\ 0 & 0 & 0 & 3 &-4 & 1 &-12\\ 0 & 0 & 0 & 0 & 3 &-3 & 0\\ 0 & 0 & 0 & 0 & 3 & 0 & 6 \end{array} \right)\Rightarrow \left( \begin{array}{rr} 1 & 0 & 1 & 0 & 0 & 0 & 0\\ 0 & 1 &-2 & 1 & 0 & 0 & 0\\ 0 & 0 & 3 &-3 & 1 & 0 & 6\\ 0 & 0 & 0 & 3 &-4 & 1 &-12\\ 0 & 0 & 0 & 0 & 3 &-3 & 0\\ 0 & 0 & 0 & 0 & 0 & 3 & 6 \end{array} \right)\Rightarrow \left( \begin{array}{rr} 1 & 0 & 1 & 0 & 0 & 0 & 0\\ 0 & 1 &-2 & 1 & 0 & 0 & 0\\ 0 & 0 & 3 &-3 & 1 & 0 & 6\\ 0 & 0 & 0 & 3 &-4 & 0 &-14\\ 0 & 0 & 0 & 0 & 3 & 0 & 6\\ 0 & 0 & 0 & 0 & 0 & 1 & 2 \end{array} \right)\Rightarrow \left( \begin{array}{rr} 1 & 0 & 1 & 0 & 0 & 0 & 0\\ 0 & 1 &-2 & 1 & 0 & 0 & 0\\ 0 & 0 & 3 &-3 & 0 & 0 & 4\\ 0 & 0 & 0 & 3 & 0 & 0 &-6\\ 0 & 0 & 0 & 0 & 1 & 0 & 2\\ 0 & 0 & 0 & 0 & 0 & 1 & 2 \end{array} \right)\Rightarrow$$ $$\Rightarrow\left( \begin{array}{rr} 1 & 0 & 1 & 0 & 0 & 0 & 0\\ 0 & 1 &-2 & 0 & 0 & 0 & 2\\ 0 & 0 & 3 & 0 & 0 & 0 &-2\\ 0 & 0 & 0 & 1 & 0 & 0 &-2\\ 0 & 0 & 0 & 0 & 1 & 0 & 2\\ 0 & 0 & 0 & 0 & 0 & 1 & 2 \end{array} \right)\Rightarrow \left( \begin{array}{rr} 1 & 0 & 0 & 0 & 0 & 0 &2/3\\ 0 & 1 & 0 & 0 & 0 & 0 &2/3\\ 0 & 0 & 1 & 0 & 0 & 0 &-2/3\\ 0 & 0 & 0 & 1 & 0 & 0 &-2\\ 0 & 0 & 0 & 0 & 1 & 0 & 2\\ 0 & 0 & 0 & 0 & 0 & 1 & 2 \end{array} \right)\Rightarrow{A}=\frac{2}{3},B=\frac{2}{3},C=-\frac{2}{3},D=-2,E=2,F=2\Rightarrow$$ $$\Rightarrow\frac{6t^3}{(t^3-1)^2}=\frac{2}{3(t-1)}+\frac{2}{3(t-1)^2}-\frac{2t+6}{3(t^2+t+1)}+\frac{2t+2}{(t^2+t+1)^2}= \frac{2}{3(t-1)}+\frac{2}{3(t-1)^2}-\frac{2t}{3(t^2+t+1)}-\frac{2}{t^2+t+1}+\frac{2t}{(t^2+t+1)^2}+\frac{2}{(t^2+t+1)^2}\Rightarrow$$ $$\Rightarrow\int\frac{6t^3}{(t^3-1)^2}dt=\frac{2}{3}\ln|t-1|-\frac{2}{3(t-1)}-\frac1{3}\int\frac{2tdt}{\left(t+\frac1{2}\right)^2+\frac{3}{4}}- 2\int\frac{dt}{\left(t+\frac1{2}\right)^2+\frac{3}{4}}+\int\frac{2tdt}{\left(\left(t+\frac1{2}\right)^2+\frac{3}{4}\right)^2}+ 2\int\frac{dt}{\left(\left(t+\frac1{2}\right)^2+\frac{3}{4}\right)^2}=\frac{2}{3}\ln|t-1|-\frac{2}{3(t-1)}-\frac1{3}I_1-2I_2+I_3+2I_4$$ Обозначим $u:=t+\frac1{2}$, $b^2=\frac{3}{4}$, тогда $dt=du$, $du^2=d(t^2+t+\frac1{4})=(2t+1)dt$. $\newcommand{\arctg}{\operatorname{arctg}}$
$\displaystyle{I}_1=\int\frac{2tdt}{\left(t+\frac1{2}\right)^2+\frac{3}{4}}=\int\frac{(2t+1-1)dt}{\left(t+\frac1{2}\right)^2+\frac{3}{4}}= \int\frac{du^2}{u^2+b^2}-\int\frac{du}{u^2+b^2}=\ln(u^2+b^2)-\frac1{b}\arctg\frac{u}{b}$
$\displaystyle{I}_2=\int\frac{dt}{\left(t+\frac1{2}\right)^2+\frac{3}{4}}=\int\frac{du}{u^2+b^2}=J_1=\frac1{b}\arctg\frac{u}{b}$
$\displaystyle{I}_3=\int\frac{2tdt}{\left(\left(t+\frac1{2}\right)^2+\frac{3}{4}\right)^2}=\int\frac{(2t+t-1)dt}{(u^2+b^2)^2}= \int\frac{du^2}{(u^2+b^2)^2}-\int\frac{du}{(u^2+b^2)^2}=-\frac1{u^2+b^2}-J_2$
$\displaystyle{I}_4=\int\frac{dt}{\left(\left(t+\frac1{2}\right)^2+\frac{3}{4}\right)^2}=\int\frac{du}{(u^2+b^2)^2}=J_2$
где
$\displaystyle{J}_2=\frac1{2b^2}\frac{u}{u^2+b^2}+\frac1{2b^2}$, $J_1=\frac1{2b^2}\frac{u}{u^2+b^2}+\frac1{2b^2}\frac1{b}\arctg\frac{u}{b}$
Таким образом $$\int\frac{6t^3}{(t^3-1)^2dt}=\frac{2}{3}\ln|t-1|-\frac{2}{3(t-1)}-\frac1{3}\left(\ln(u^2+b^2)-\frac1{b}\arctg\frac{u}{b}\right)- 2\frac1{b}\arctg\frac{u}{b}-\frac1{u^2+b^2}-J_2+2J_2=$$ $$=\frac{2}{3}\ln|t-1|-\frac{2}{3(t-1)}-\frac1{3}\ln(u^2+b^2)-\frac1{3b}\arctg\frac{u}{b}-2\frac1{b}\arctg\frac{u}{b}-\frac1{u^2+b^2}+ \frac1{2b^2}\frac{u}{u^2+b^2}+\frac1{2b^2}\frac1{b}\arctg\frac{u}{b}=$$ $$=\frac{2}{3}\ln|t-1|-\frac1{3}\ln(u^2+b^2)-\frac1{b}\left(\frac1{3}-2+\frac1{2b^2}\right)\arctg\frac{u}{b}-\frac1{u^2+b^2}+ \frac1{2b^2}\frac{u}{u^2+b^2}-\frac{2}{3(t-1)}=$$ $$=\frac{2}{3}\ln|t-1|-\frac1{3}\ln(u^2+b^2)-\frac1{b}\arctg\frac{u}{b}+\frac{2(-3t)}{3(t^2+t+1)(t-1)}=$$ $$=\frac{2}{3}\ln|t-1|-\frac1{3}\ln\left(\left(t+\frac1{2}\right)^2+\frac{3}{4}\right)- \frac{2}{\sqrt{3}}\arctg\left(\frac{2}{\sqrt{3}}\left(t+\frac1{2}\right)\right)+\frac{2t}{1-t^3}+C$$ где $\displaystyle{t}=\sqrt[3]\frac{x-1}{x+1}$.
Для проверки полученного результата проведем дифференцирование первообразной по $x$. Для этого продифференцируем по $t$, подставим в получившееся выражение $\displaystyle{t}=\sqrt[3]\frac{x-1}{x+1}$ и умножим результат на $\displaystyle{t}'(x)=\left(\sqrt[3]\frac{x-1}{x+1}\right)'=\frac1{3}\left(\frac{x-1}{x+1}\right)^{-\frac{2}{3}}\frac{2}{(x+1)^2}$.
$\displaystyle\left(\frac{2}{3}\ln|t-1|\right)'=\frac{2}{3(t-1)}$
$\displaystyle\left(\frac1{3}\ln(t^2+t+1)\right)'=\frac1{3}\frac{2t+1}{t^2+t+1}$
$\displaystyle\left(\frac{2}{\sqrt{3}}\arctg\left(\frac{2}{\sqrt{3}}\left(t+\frac1{2}\right)\right)\right)'= \frac{2}{\sqrt{3}}\frac{2}{\sqrt{3}}\frac1{\frac{4}{3}\left(t^2+t+\frac1{4}\right)+1}= \frac{4}{3}\frac1{\frac{4}{3}\left(\left(t^2+t+\frac1{4}\right)+\frac{3}{4}\right)}=\frac1{t^2+t+1}$
$\displaystyle\left(\frac{2t}{1-t^3}\right)'=\frac{2(1-t^3)+3t^22t}{(1-t^3)^2}=\frac{4t^3+2}{(1-t^3)^2}$
$$F'(t)=\frac{2}{3(t-1)}-\frac1{3}\frac{2t+1}{t^2+t+1}-\frac1{t^2+t+1}+\frac{4t^3+2}{(1-t^3)^2}= \frac{2}{3(t-1)}-\frac1{3}\frac{2t+4}{t^2+t+1}+\frac{4t^3+2}{(1-t^3)^2}=\frac1{3}\frac{2t^2+2t+2-2t^2-4t+2t+4}{(t-1)(t^2+t+1)}+\frac{4t^3+2}{(1-t^3)^2}=$$ $$=\frac{2}{t^3-1}+\frac{4t^3+2}{(t^3-1)^2}=\frac{2t^3-2+4t^3+2}{(t^3-1)^2}=\frac{6t^3}{(t^3-1)^2}=\frac{6\frac{x-1}{x+1}}{\left(\frac{x-1}{x+1}-1\right)^2}= \frac{3}{2}(x-1)(x+1)$$ $$F'(t(x))=F'(t)t'(x)=\frac{3}{2}(x-1)(x+1)\frac1{3}\left(\frac{x-1}{x+1}\right)^{-\frac{2}{3}}\frac{2}{(x+1)^2}= \left(\frac{x-1}{x+1}\right)^{-\frac{2}{3}}\frac{x-1}{x+1}=\left(\frac{x-1}{x+1}\right)^{\frac1{3}}=\sqrt[3]\frac{x-1}{x+1}$$ В результате получено подынтегральное выражение - задача решена. $$\int\sqrt[3]\frac{x-1}{x+1}dx=\frac{2}{3}\ln\left|\sqrt[3]\frac{x-1}{x+1}-1\right|- \frac1{3}\ln\left(\left(\sqrt[3]\frac{x-1}{x+1}+\frac1{2}\right)^2+\frac{3}{4}\right)- \frac{2}{\sqrt{3}}\arctg\left(\frac{2}{\sqrt{3}}\left(\sqrt[3]\frac{x-1}{x+1}+\frac1{2}\right)\right)+(x+1)\sqrt[3]\frac{x-1}{x+1}$$


previous contents next