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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Интегрирование рациональных функций — операция взятия неопределённого интеграла от рациональной функции. Известно, что первообразная рациональной функции выражается в виде суммы рациональных функций, натуральных логарифмов и арктангенсов.[1] Обычно такое интегрирование выполняется при помощи разложения дроби на простейшие, однако иногда могут использоваться и другие способы, например метод Остроградского.

Разложение на простейшие

[править | править код]

Самым известным способом интегрирования рациональной функции является разложение дроби на простейшие. Впервые оно было использовано Исааком Барроу для вычисления интеграла от секанса.[2]

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

  • , где — квадратный трёхчлен с отрицательным дискриминантом.

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

Разложение дроби на простейшие строится следующим образом. Пусть требуется построить разложение дроби . Без ограничения общности можно считать, что дробь несократимая и знаменатель имеет коэффициент при старшей степени (если это не так, то сократим дробь и внесём старший коэффициент знаменателя в числитель). Правильная дробь в своём разложении на простейшие содержит только сумму правильных дробей, неправильная же ещё и многочлен. Однако случай неправильной дроби довольно просто сводится к случаю правильной. Для этого используют приём, называемый выделением целой части: числитель дроби делят с остатком на знаменатель; полученное в результате деления неполное частное и остаток позволяют представить изначальную дробь в виде . Дробь уже является правильной и может быть разложена в сумму одних только простейших дробей. Если же дробь изначально была правильной, то этот шаг делать не нужно.

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

(здесь и — кратности соответствующих множителей, то есть количество раз, которое множитель входит в произведение).

Все простейшие дроби в разложении содержат в знаменателе степень одного из таких множителей, причём эта степень меньше или равна кратности соответствующего множителя. К примеру: если в разложении содержится множитель , то в разложении на простейшие дроби содержится сумма

Аналогично, если в разложении содержится множитель , то в разложении на простейшие дроби содержится сумма

Общий вид разложения правильной дроби на простейшие представляет сумму всех таких сумм для каждого множителя в разложении многочлена . Таким образом, общий вид разложения на простейшие

При этом некоторые слагаемые могут быть равны нулю.

Общий вид разложения дроби нужен для наиболее известного способа разложения дроби на простейшие — метода неопределённых коэффициентов. Его суть заключается в составлении уравнений на неизвестные коэффициенты разложения. Записывается равенство правильной дроби и её разложения на простейшие с неопределёнными коэффициентами. Затем каким-либо способом составляются уравнения на эти коэффициенты и система из уравнений решается.[4]

Наиболее очевидный способ составления уравнений — это умножить обе части на многочлен и приравнять коэффициенты при одинаковых степенях . Процедуру разложения на простейшие дроби проще всего описать на примерах.

.

Таким образом, задача была сведена к интегрированию простейших дробей.

Табличные интегралы

[править | править код]

Несколько интегралов от рациональных функций принято запоминать, чтобы далее сводить к ним более сложные.[6]

  • , если
  • , если
  • , если
  • , если

Последние 2 интегралы называются высокими логарифмами и их запоминание не обязательно, поскольку они могут быть сведены разложением дроби на простейшие ко второму интегралу. Интеграл от многочлена, который появляется после разложения на простейшие неправильной дроби, может быть сразу рассчитан при помощи первой формулы.

Интегрирование дробей вида

[править | править код]

Дроби такого вида интегрируются простым занесением линейного двучлена под дифференциал.[7]

В зависимости от значения мы свели интеграл к случаю 1 или 2.

Если , то

Если , то

Интегрирование дробей вида

[править | править код]

Сначала рассмотрим дробь вида .

Для интегрирования таких дробей применяется выделение полного квадрата знаменателя.[8] Прибавим к такое число, чтобы образовался квадрат суммы. Свернём полученное выражение в квадрат линейного двучлена. Прибавленное число вычтем из , чтобы выражение не изменилось. Получим представление квадратного трёхчлена в виде . Полученный линейный двучлен занесём под дифференциал:

Мы свели интеграл к табличному; конкретный табличный интеграл определяется знаком . Если , то обозначим :

Если , то обозначим :

Если , то:

Для интегрирования дробей вида в числителе выделяется производная знаменателя.[8] Берётся производная знаменателя, умножается на некоторое число так, чтобы при получилось и затем прибавляется значение, чтобы получилось b.

Производная числителя есть . Мы умножаем её на такое число, чтобы при x получилось .

.

Затем прибавляем такое число, чтобы это выражение стало равно числителю.

В таком виде и записываем числитель в интеграле.

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

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

Интегрирование дробей вида

[править | править код]

Дробь интегрируется также с помощью выделения в числителе производной знаменателя.

Левый интеграл является табличным:

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

Рассмотрим два способа его взятия.

Рекуррентное соотношение

[править | править код]

Обозначим . Для можно составить рекуррентное соотношение. Будем брать интеграл по частям:

Тогда

Интеграл может быть взят как показано в предыдущем пункте. Затем при помощи полученной рекуррентной формулы последовательно берутся интегралы и так далее до нужного интеграла. Данный метод особенно удобен при интегрировании дробей после разложения на простейшие, так как сразу даёт интегралы для всех .[9]

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

Тригонометрическая подстановка

[править | править код]

Интегрирование такого вида дробей также возможно при помощи тригонометрической подстановки. Рассмотрим для начала дробь вида

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

Выполним замену . Тогда .

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

Далее необходимо сделать обратную замену. Для получения красивых выражений применяется следующая уловка. Выражение напоминает теорему Пифагора. Если считать , катетами, а — гипотенузой, то выражение обретает смысл как тангенс угла между катетом и гипотенузой, так как это отношение противолежащего катета к прилежащему. Тогда как отношение противолежащего катета к гипотенузе, а как отношение прилежащего к гипотенузе. Нетрудной проверкой можно убедиться, что это действительно так. Данные соображения удобный способ для запоминания этих формул, но следует помнить, что это не является формальным обоснованием.

Формулы для синусов и косинусов можно и просто запомнить: синус есть деление линейного двучлена из полного квадрата на корень квадратного трёхчлена, а косинус — деление константы (точнее её корня), которая прибавляется к полному квадрату.[10]

Существует вариация этого метода и для трёхчленов с положительным дискриминантом.

В такой ситуации можно сделать гиперболическую замену.

Затем аналогично приходим к интегралу от гиперболического косинуса в чётной степени и аналогично интегрируем его. Итоговое выражение состоит из гиперболических синусов и линейных слагаемых. В линейных слагаемых мы делаем обратную замену

Для того, чтобы выразить гиперболические синусы, применяем аналогичный приём:

На самом деле тригонометрические и гиперболические замены могут быть и другими. Для случая отрицательного дискриминанта возможны следующие замены:

Для случая положительного следующие:

Наиболее удобны здесь замены на тангенсы и котангенсы, поскольку они приводят интеграл к интегралу от синуса или косинуса в некоторой степени, который берётся довольно просто. Остальные же замены приводят к куда более сложным интегралам.

Комплексное разложение на простейшие

[править | править код]

Если в коэффициентах дробей допускать комплексные числа, то разложение на простейшие заметно упрощается. В комплексных числах правильную дробь можно разложить в сумму одних только дробей вида . Дроби же с квадратными знаменателями простейшими не считаются.[11]

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

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

Общий вид интеграла рациональной функции

[править | править код]

Из вышеприведённых методов для интеграла от рациональной функции можно составить общий вид.

здесь линейный двучлен, получаемый выделением полного квадрата из , т. е. . Обе дроби здесь правильные. Дробь в правой части равенства называется рациональной или алгебраической частью интеграла, сумма же логарифмов и арктангенсов — трансцендентной частью.[12]

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

Метод Остроградского

[править | править код]

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

,

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

Суть метода заключается в следующем. Пусть нам нужно проинтегрировать рациональную функцию. Запишем для неё формулу Остроградского (как выше). Знаменатели дробей из формулы нам известны, числители имеют степень меньше знаменателей. Это даёт нам возможность записать в знаменатели многочлены с неопределёнными коэффициентами.

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

Метод Остроградского удобен при большом количестве кратных корней. Однако сильно задачу он не упрощает, система уравнений получается не менее сложная, чем при обычном разложении на простейшие.

Метод Остроградского позволяет найти рациональную часть интеграла при помощи одних только алгебраических операций даже не зная разложения знаменателя. Пусть — формула Остроградского. Тогда есть ни что иное, как наибольший общий делитель и . Его можно вычислить при помощи алгоритма Евклида. Многочлен же можно получить поделив на . Далее просто приравниваем знаменатели и решаем систему линейных алгебраических уравнений.

Примечания

[править | править код]

Литература

[править | править код]
  • Зорич В. А. Математический анализ. Часть 1. — 6-е изд. — М.: МЦНМО, 2012. — 702 p.
  • Кудрявцев Л. Д. Курс математического анализа. В 3-х томах. Том 1. Дифференциальное и интегральное исчисления функций многих переменных. — М.: Дрофа, 2003. — 704 p.
  • Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. В 3-х томах. Том 2. — 8-е изд.. — М.: ФИЗМАТЛИТ, 2003. — 864 p. — ISBN 5-9221-0157-9.
  • Rickey V. F., Tuchinsky Ph. M. An Application of Geography to Mathematics: History of the Integral of the Secant (англ.) // Mathematics Magazine : журнал. — 1980. — May (vol. 53, no. 3). — P. 162–166.
  • Bauldry W.C. Partial Fractions via Calculus (англ.) // Daniel Alpay Problems, Resources, and Issues in Mathematics Undergraduate Studies : журнал. — 2018. — 9 May (vol. 28, iss. 5). — P. 425–437. — ISSN 1051-1970. — doi:10.1080/10511970.2017.1388312.
  • Dawkins P. Integrals Involving Quadrtics (англ.). Дата обращения: 5 июля 2021.