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

(конкретные числовые примеры по данному вопросу см. в лекции за 21.03.00)

Рассмотрим интегал вида òR(x)dx, где R(x) – рациональная функция, т.е функция, которую можно представить в виде отношения двух многочленов R(x)=P(x)/Q(x). Если эта дробь неправильная, то можно выполнить деление с остатком и представить R(x) в виде суммы некоторого многочлена и правильной дроби.

Теорема. Всякая правильная дробь может быть представлена как сумма простейших дробей вида

A; A; Mx+N; Mx+N.

x-a (x-a)ⁿ x²+px+q (x²+px+q)ⁿ

, где A,M,N,a,p,q – действительные числа.

Непростейшие дроби.

Лемма 1. Пусть F(x)/Q(x) – правильная дробь. Если х=а- корень Q(x) кратности К,т.е. Q(x)=(x-a)^K_*Q₁(x), где Q₁(a) не равно нулю, то F(x) = A_K + F₁(x)

Q(x) (x-a)^K Q₁(x)_*(x-a)^K-1

Лемма 2. Пусть F(x)/Q(x) – правильная дробь. Если Q(x)=(x²+px+q)^K_*Q₁(x) Þ

F(x) = M_Kx+N_K + F₁(x).

Q(x) (x²+px+q)^K (x²+px+q)^K-1_*Q₁(x)

Теорема разложения правилоной дроби на простейшие. Пусть F(x)/Q(x) – правильная дробь. Если Q(x)=(x-a)^a(x-b)^b_*…_*(x-c)^g(x²+p₁x+q₁)^K_*…_*(x²+p₂x+q₂)^m Þ эта дробь разлагается в сумму простейших дробей следующего вида:

F(x) = A_a + A_a-1 +…+ A₁ + B_b + B_b-1 +…+ B₁ + C_g + C_g-1 +…+ C₁ +

Q(x) (x-a)^a (x-a) ^a-1 x-a (x-b)^b (x-b) ^b-1 x-b (x-c)^g (x-c) ^g-1 x-c

+ M_Kx+N_K + M_K-1x+N_K-1 +…+ M₁x+N₁ + C_mx+D_m + C_m-1x+D_m-1 +…+ C₁x+D₁

(x²+p₁x+q₁)^K (x²+p₁x+q₁)^K-1 x²+p₁x+q₁ (x²+p₂x+q₂)^m (x²+p₂x+q₂)^m-1 x²+p₂x+q₂

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

Трансцендентная функция – аналитическая функция, не являющаяся алгебраической. (Например, показательная функция тригонометрической функции.)

òR(x,x^m1/n1,…x^mk/nk)dx, где R – рациональная функция от х и её дробных степеней. Такой интеграл может быть решён с помощью замены степени с дробным показателем на степень функции с целым показателем. (подробнее см. в лекциях)

.

òR(x,ÖAx²+Bx+C)dx Под корнем выделяется полный квадрат и решается с помощью замены переменной.

..

òdx/Ö Ax²+Bx+C, òÖ Ax²+Bx+C dx