Интегрирование рациональных функций
Интегрирование рациональных функций — операция взятия неопределённого интеграла от рациональной функции. Известно, что первообразная рациональной функции выражается в виде суммы рациональных функций, натуральных логарифмов и арктангенсов.[1] Обычно такое интегрирование выполняется при помощи разложения дроби на простейшие, однако иногда могут использоваться и другие способы, например метод Остроградского.
Разложение на простейшиеПравить
Самым известным способом интегрирования рациональной функции является разложение дроби на простейшие. Впервые оно было использовано Исааком Барроу для вычисления интеграла от секанса.[2]
Из алгебры известно, что любую рациональную функцию можно представить как сумму многочлена и конечного числа дробей определённого вида, называемых простейшими. Простейшая дробь над действительными числами — это дробь одного из следующих двух видов:
- , где — квадратный трёхчлен с отрицательным дискриминантом.
Каждая из таких дробей затем интегрируется отдельно. Таким образом, разложение дроби на простейшие сводит задачу интегрирования произвольной рациональной функции к интегрированию простейших дробей.[3]
Разложение дроби на простейшие строится следующим образом. Пусть требуется построить разложение дроби . Без ограничения общности можно считать, что дробь несократимая и знаменатель имеет коэффициент при старшей степени (если это не так, то сократим дробь и внесём старший коэффициент знаменателя в числитель). Правильная дробь в своём разложении на простейшие содержит только сумму правильных дробей, неправильная же ещё и многочлен. Однако случай неправильной дроби довольно просто сводится к случаю правильной. Для этого используют приём, называемый выделением целой части: числитель дроби делят с остатком на знаменатель; полученное в результате деления неполное частное и остаток позволяют представить изначальную дробь в виде . Дробь уже является правильной и может быть разложена в сумму одних только простейших дробей. Если же дробь изначально была правильной, то этот шаг делать не нужно.
Разложение правильной дроби может иметь лишь простейшие слагаемые определённого вида, который зависит только от многочлена . Как известно, любой приведённый многочлен над действительными числами может быть разложен в произведение приведённых линейных двучленов и приведённых квадратных трёхчленов с отрицательными дискриминантами. Разложим знаменатель дроби в такое произведение:
- (здесь и — кратности соответствующих множителей, то есть количество раз, которое множитель входит в произведение).
Все простейшие дроби в разложении содержат в знаменателе степень одного из таких множителей, причём эта степень меньше или равна кратности соответствующего множителя. К примеру: если в разложении содержится множитель , то в разложении на простейшие дроби содержится сумма
Аналогично, если в разложении содержится множитель , то в разложении на простейшие дроби содержится сумма
Общий вид разложения правильной дроби на простейшие представляет сумму всех таких сумм для каждого множителя в разложении многочлена . Таким образом, общий вид разложения на простейшие
При этом некоторые слагаемые могут быть равны нулю.
Общий вид разложения дроби нужен для наиболее известного способа разложения дроби на простейшие — метода неопределённых коэффициентов. Его суть заключается в составлении уравнений на неизвестные коэффициенты разложения. Записывается равенство правильной дроби и её разложения на простейшие с неопределёнными коэффициентами. Затем каким-либо способом составляются уравнения на эти коэффициенты и система из уравнений решается.[4]
Наиболее очевидный способ составления уравнений — это умножить обе части на многочлен и приравнять коэффициенты при одинаковых степенях . Процедуру разложения на простейшие дроби проще всего описать на примерах.
.
Записываем общий вид её разложения на простейшие с неопределёнными коэффициентами.
Умножаем на
Раскрываем скобки
Приравниваем коэффициенты при одинаковых степенях:
Получили систему уравнений. Решаем её. Из первого уравнения:
Подставляем во второе и третье
Складываем уравнения
Из первого уравнения последней системы:
Из полученного в начале соотношения на
Все коэффициенты разложения найдены.
Уравнения получаемые простым приравниваем коэффициентов при одинаковых степенях часто довольно сложные. Для получения более простых уравнений часто используют подстановки вместо определённых значений.
Умножаем на
Удобнее всего подставлять значения, обнуляющие слагаемые. Подставим 1.
Подставим 2.
Подстановка корней знаменателя помогает очень легко находить коэффициенты дробей со старшей степенью в знаменателе. Если мы бы приравнивали коэффициенты при равных степенях, уравнения бы были гораздо сложнее. Однако, как видно из примера, для нахождения остальных коэффициентов нужно использовать другие приёмы.
Для нахождения коэффициента при первой степени знаменателя можно использовать подстановку бесконечности.
Умножим обе части на
Подставим бесконечность. Под подстановкой бесконечности здесь понимается предел при стремлении к бесконечности, то есть
В свою очередь предел при стремлении аргумента к бесконечности очень просто определяется: если степень числителя больше степень знаменателя, то предел — , если меньше, то предел — 0, если равна, то предел равен отношению коэффициентов при старших степенях.
Вернёмся к нашему примеру. Подставим бесконечность.
Оставшийся коэффициент можно найти приравниванием коэффициента при одинаковой степени , содержащего . Проще всего будет приравнять свободные члены, поскольку их можно посчитать сразу без долгого раскрытия скобок.
Приравниваем свободные члены.
Все коэффициенты найдены.
Последний приём также довольно удобен на практике: старший и свободный член легко получить без раскрытия скобок, поэтому этот приём применяется наряду с подстановками.
Корни многочленов с отрицательным дискриминантом не являются действительными. Однако ничего не мешает подставить в уравнение комплексный корень.
Умножим на знаменатель.
Подставляем .
Подставим .
А теперь приравняем действительную и мнимую часть чтобы получить уравнение с действительными числами.
Подстановка сопряжённого корня после приравнивания действительной и мнимой части даст те же самые уравнения, поэтому для нахождения оставшихся коэффициентов она не имеет смысла.
Коэффициент найдём приравниванием свободных членов.
Коэффициент найдём подстановкой бесконечности.
Умножаем на .
Подставляем бесконечность.
Все коэффициенты найдены.
Вообще подставлять можно абсолютно любое значение, не обязательно корень знаменателя или бесконечность. В особо трудных случаях это может быть проще, чем рассчёт и приравнивание коэффициентов при одинаковых степенях .
Иногда разложение на простейшие можно получить просто преобразовывая выражения.
Для расчёта коэффициентов при дробях с линейным двучленом в знаменателе существует прямая формула. Пусть в разложении на неприводимые множители есть линейный множитель , ― его кратность. В разложении на простейшие содержатся слагаемые вида , где . Тогда:
Здесь имеется в виду подстановка после сокращения дроби, поскольку простая подстановка в числитель и знаменатель даст деление на .
Покажем на примере.
Считаем коэффициент при
Считаем коэффициент при
Считаем коэффициент при
Все коэффициенты найдены.
Прямая формула даёт очень простой способ вычисления коэффициентов при дробях с первой степенью линейного двучлена и для простейших дробей позволяет почти устно находить разложение. Поэтому случай выделяют отдельно. Когда мы вычисляем коэффициент при мы подставляем в неё значение «прикрывая» в знаменателе множитель . Поэтому этот способ называют методом «прикрытия» Хевисайда.
Способ вычисления коэффициентов по общей формуле также иногда называют методом вычетов, так как по аналогичной формуле считаются комплексные вычеты
.
Таким образом, задача была сведена к интегрированию простейших дробей.
Табличные интегралыПравить
Несколько интегралов от рациональных функций принято запоминать, чтобы далее сводить к ним более сложные.[6]
- , если
- , если
- , если
- , если
Последние 2 интегралы называются высокими логарифмами и их запоминание не обязательно, поскольку они могут быть сведены разложением дроби на простейшие ко второму интегралу. Интеграл от многочлена, который появляется после разложения на простейшие неправильной дроби, может быть сразу рассчитан при помощи первой формулы.
Интегрирование дробей вида Править
Дроби такого вида интегрируются простым занесением линейного двучлена под дифференциал.[7]
В зависимости от значения мы свели интеграл к случаю 1 или 2.
Если , то
Если , то
Интегрирование дробей вида Править
Сначала рассмотрим дробь вида .
Для интегрирования таких дробей применяется выделение полного квадрата знаменателя.[8] Прибавим к такое число, чтобы образовался квадрат суммы. Свернём полученное выражение в квадрат линейного двучлена. Прибавленное число вычтем из , чтобы выражение не изменилось. Получим представление квадратного трёхчлена в виде . Полученный линейный двучлен занесём под дифференциал:
Мы свели интеграл к табличному; конкретный табличный интеграл определяется знаком . Если , то обозначим :
Если , то обозначим :
Если , то:
Выделим полный квадрат. Чтобы стал квадратом нужно прибавить . Тогда . Чтобы это выражение стало равным знаменателю, нужно прибавить .
Полный квадрат выделен. Теперь внесём получившийся двучлен под дифференциал.
Для интегрирования дробей вида в числителе выделяется производная знаменателя.[8] Берётся производная знаменателя, умножается на некоторое число так, чтобы при получилось и затем прибавляется значение, чтобы получилось b.
Производная числителя есть . Мы умножаем её на такое число, чтобы при x получилось .
- .
Затем прибавляем такое число, чтобы это выражение стало равно числителю.
В таком виде и записываем числитель в интеграле.
Второй интеграл уже был рассмотрен в предыдущем пункте. Осталось взять первый. Так как в числителе стоит производная знаменателя, мы без труда можем занести знаменатель под дифференциал.
Необходимо в числителе выделить производную знаменателя. Возьмём производную знаменателя.
Теперь нам нужно умножением её на число и прибавлением другого числа привести к числителю. Чтобы коэффициент при стал равен умножать надо на .
Чтобы получить свободным членом нужно вычесть .
Записываем это в числитель и разделяем на 2 интеграла.
Второй интеграл берётся как было описано в предыдущем пункте. Он был нами взят в предыдущем примере.
В первом интеграле занесём знаменатель под дифференциал. Так как в числителе у нас производная знаменателя, она просто исчезнет.
Описанный метод интегрирования работает для любой дроби с квадратным трёхчленом в знаменателе, а не только с отрицательным дискриминантом. Таким образом, для дробей с двучленом с положительным дискриминантом мы рассмотрели два способа интегрирования.
Интегрирование дробей вида Править
Дробь интегрируется также с помощью выделения в числителе производной знаменателя.
Левый интеграл является табличным:
Правый же интеграл является самым сложным из рассмотренных здесь. Сразу же выделим полный квадрат в знаменателе. Задача сводится к взятию следующего интеграла:
Рассмотрим два способа его взятия.
Рекуррентное соотношениеПравить
Обозначим . Для можно составить рекуррентное соотношение. Будем брать интеграл по частям:
Тогда
Интеграл может быть взят как показано в предыдущем пункте. Затем при помощи полученной рекуррентной формулы последовательно берутся интегралы и так далее до нужного интеграла. Данный метод особенно удобен при интегрировании дробей после разложения на простейшие, так как сразу даёт интегралы для всех .[9]
Берём последовательно интегралы.
Результат:
Так как интегралы такого вида встречаются довольно редко, обычно эту рекуррентную формулу не запоминают, а просто каждый раз снова выводят. Заметим, что в формуле не накладывается никаких ограничений на знак . Таким образом, это рекуррентное соотношение можно использовать и в случае, если квадратный трëхчлен в знаменателе имеет положительный дискриминант.
Тригонометрическая подстановкаПравить
Интегрирование такого вида дробей также возможно при помощи тригонометрической подстановки. Рассмотрим для начала дробь вида
Здесь есть важное отличие от рекуррентной формулы: та не зависела от знака дискриминанта и одинаково работала в любом случае; здесь же мы сразу полагаем дискриминант знаменателя отрицательным и поэтому после выделения полного квадрата можем представить в виде квадрата положительного числа . Вынесем из суммы.
Выполним замену . Тогда .
Данный интеграл довольно легко берётся с помощью последовательного применения формул понижения степени в случае чётной степени косинуса, и занесения косинуса под дифференциал в случае нечётной. В результате у нас получится линейная комбинация степеней синусов от чётного угла.
Далее необходимо сделать обратную замену. Для получения красивых выражений применяется следующая уловка. Выражение напоминает теорему Пифагора. Если считать , катетами, а — гипотенузой, то выражение обретает смысл как тангенс угла между катетом и гипотенузой, так как это отношение противолежащего катета к прилежащему. Тогда как отношение противолежащего катета к гипотенузе, а как отношение прилежащего к гипотенузе. Нетрудной проверкой можно убедиться, что это действительно так. Данные соображения удобный способ для запоминания этих формул, но следует помнить, что это не является формальным обоснованием.
Формулы для синусов и косинусов можно и просто запомнить: синус есть деление линейного двучлена из полного квадрата на корень квадратного трёхчлена, а косинус — деление константы (точнее её корня), которая прибавляется к полному квадрату.[10]
Делаем замену.
Чтобы не таскать константы, возьмём интеграл от косинуса в шестой отдельно.
В итоге
Следующим шагом необходимо выразить синусы через тангенсы. Вспоминаем уловку с катетом и гипотенузой. Противолежащий катет здесь , прилежащий — , гипотенуза — . Тогда:
Из этого получаем окончательно
Таким образом,
Существует вариация этого метода и для трёхчленов с положительным дискриминантом.
В такой ситуации можно сделать гиперболическую замену.
Затем аналогично приходим к интегралу от гиперболического косинуса в чётной степени и аналогично интегрируем его. Итоговое выражение состоит из гиперболических синусов и линейных слагаемых. В линейных слагаемых мы делаем обратную замену
Для того, чтобы выразить гиперболические синусы, применяем аналогичный приём:
На самом деле тригонометрические и гиперболические замены могут быть и другими. Для случая отрицательного дискриминанта возможны следующие замены:
Для случая положительного следующие:
Наиболее удобны здесь замены на тангенсы и котангенсы, поскольку они приводят интеграл к интегралу от синуса или косинуса в некоторой степени, который берётся довольно просто. Остальные же замены приводят к куда более сложным интегралам.
Комплексное разложение на простейшиеПравить
Если в коэффициентах дробей допускать комплексные числа, то разложение на простейшие заметно упрощается. В комплексных числах правильную дробь можно разложить в сумму одних только дробей вида . Дроби же с квадратными знаменателями простейшими не считаются.[11]
Использование комплексного разложения позволяет проинтегрировать дробь практически устно. Все методы вещественного разложения дроби работают и с комплексным разложением. Недостатком является то, что итоговый интеграл содержит логарифмы и дроби с комплексными числами и приведение этого выражения к выражению содержащему только вещественные числа требует дальнейших преобразований.
Строим комплексное разложение на простейшие. Искать коэффициенты будем методом прикрытия Хевисайда. При
При
При
При найдём подстановкой бесконечности
Умножаем на и подставляем бесконечность.
Далее интегрируем.
Теперь нам нужно избавиться от комплексных значений внутри логарифмов. Для этого складываем функции с сопряжёнными значениями.
Интеграл найден.
Находим разложение на простейшие
После очевидного интегрирования имеем:
Сгруппируем отдельно действительные и мнимые слагаемые:
Как известно, арктангенс комплексного переменного выражается через логарифм:
Это даёт нам возможность переписать второе слагаемое через арктангенс:
Для нахождения интеграла рациональной функции комплексного переменного, комплексное разложение на простейшие используется напрямую без дальнейшего преобразования выражений. Все табличные интегралы верны и для комплексных функций, с тем лишь изменением, что арктангенс и логарифм модуля заменяются соответственно на комплесный многозначный логарифм и комплексный многозначный арктангенс.
Общий вид интеграла рациональной функцииПравить
Из вышеприведённых методов для интеграла от рациональной функции можно составить общий вид.
здесь линейный двучлен, получаемый выделением полного квадрата из , т. е. . Обе дроби здесь правильные. Дробь в правой части равенства называется рациональной или алгебраической частью интеграла, сумма же логарифмов и арктангенсов — трансцендентной частью.[12]
Из этого общего вида легко можно видеть, что интеграл от дроби, не имеющей кратных корней, есть сумма одних только арктангенсов и логарифмов. В свою очередь, если кратные корни есть, то в рациональной части интеграла кратности этих корней уменьшаются на 1.
Метод ОстроградскогоПравить
Если сумму логарифмов и арктангенсов представить как интеграл некоторой правильной дроби без кратных корней (эту дробь можно определить просто взяв производную), то получится следующая формула.
- ,
называемая формулой Остроградского. На этой формуле основан ещё один метод интегрирования рациональных функций — метод Остроградского. Он позволяет свести задачу к интегрированию рациональной дроби со знаменателем без кратных неприводимых множителей, которая значительно проще.
Суть метода заключается в следующем. Пусть нам нужно проинтегрировать рациональную функцию. Запишем для неё формулу Остроградского (как выше). Знаменатели дробей из формулы нам известны, числители имеют степень меньше знаменателей. Это даёт нам возможность записать в знаменатели многочлены с неопределёнными коэффициентами.
Теперь мы можем найти эти коэффициенты методом неопределённых коэффициентов. Продифференцируем это равенство и приведём к общему знаменателю. Тогда мы можем приравнять числители, приравнять коэффициенты при равных степенях и решить систему. Разумеется, тут можно использовать все те упрощения, что использовались при разложении дробей, вроде подстановок корней или подстановки бесконечности. Таким образом, задача будет сведена к интегрированию дроби со знаменателем без кратных дробей. Дробь же со знаменателем без кратных корней намного проще интегрировать. Все её коэффициенты разложения можно получить методом Хевисайда и подстановками комплексных корней.
Запишем формулу Остроградского.
Дифференцируем.
Вторую дробь можно сократить на
Приведём к общем знаменателю
Приравниваем числители.
Приравняем коэффициенты при старшей степени.
Это даёт нам возможность в будущем вновь использовать приравнивание коэффициентов при старшей степени.
Здесь очевидны две подстановки. Подставим .
Подставим .
Теперь приравняем старшие и младшие коэффициенты.
Сложим.
Получили 3 уравнения.
Вычтем из первого второе.
Теперь сложим первое и третье.
Из последнего уравнения
Таким образом,
Последний интеграл легко берётся:
В итоге
Метод Остроградского удобен при большом количестве кратных корней. Однако сильно задачу он не упрощает, система уравнений получается не менее сложная, чем при обычном разложении на простейшие.
Метод Остроградского позволяет найти рациональную часть интеграла при помощи одних только алгебраических операций даже не зная разложения знаменателя. Пусть — формула Остроградского. Тогда есть ни что иное, как наибольший общий делитель и . Его можно вычислить при помощи алгоритма Евклида. Многочлен же можно получить поделив на . Далее просто приравниваем знаменатели и решаем систему линейных алгебраических уравнений.
См. такжеПравить
ПримечанияПравить
- ↑ Зорич, 2012, с. 392.
- ↑ Rickey, 1980.
- ↑ Фихтенгольц, 2003, с. 48.
- ↑ Кудрявцев, 2003, с. 501.
- ↑ Bauldry, 2018, с. 429.
- ↑ Кудрявцев, 2003, с. 459.
- ↑ Кудрявцев, 2003, с. 504.
- ↑ 1 2 Фихтенгольц, 2003, с. 41.
- ↑ Кудрявцев, 2003, с. 505.
- ↑ Dawkins.
- ↑ Кудрявцев, 2003, с. 503.
- ↑ Кудрявцев, 2003, с. 509.
СсылкиПравить
ЛитератураПравить
- Зорич В. А. Математический анализ. Часть 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.