Частичное дробное разложение
Эта статья включает список общих ссылок , но в ней отсутствуют достаточные соответствующие встроенные цитаты . ( сентябрь 2012 г. ) |
В алгебре разложение в частичные дроби или разложение в частичные дроби рациональной дроби (то есть дроби , у которой числитель и знаменатель являются полиномами ) — это операция, заключающаяся в выражении дроби в виде суммы многочлена (возможно, нулевого). ) и одну или несколько дробей с более простым знаменателем. [1]
Важность разложения на частные дроби заключается в том, что оно предоставляет алгоритмы для различных вычислений с рациональными функциями , включая явное вычисление первообразных . [2] Разложения в ряд Тейлора , обратные Z-преобразования и обратные преобразования Лапласа . Эта концепция была открыта независимо в 1702 году Иоганном Бернулли и Готфридом Лейбницем . [3]
В символах разложение в простейшие дроби рациональной дроби вида где f и g — полиномы, это его выражение в виде
где p ( x ) является полиномом, и для каждого j ,знаменатель j g ( который не разлагается x ) является степенью ( неприводимого многочлена на многочлены положительных степеней), ачислитель является многочленом меньшей степени , f j ( x ) чем степень этого неприводимого многочлена.
Когда используются явные вычисления, часто предпочтительнее более грубое разложение, которое заключается в замене «неприводимого многочлена» на « полином без квадратов » в описании результата. Это позволяет заменить полиномиальную факторизацию гораздо более простой в вычислении факторизацией без квадратов . Этого достаточно для большинства приложений и позволяет избежать введения иррациональных коэффициентов , когда коэффициенты входных полиномов являются целыми или рациональными числами .
Основные принципы
[ редактировать ]Позволять — рациональная дробь , где F и G — одномерные многочлены от неопределенного x над полем. Существование дроби можно доказать, применяя индуктивно следующие шаги приведения.
Полиномиальная часть
[ редактировать ]Существуют два многочлена E и F 1 такие, что и где обозначает степень многочлена P .
Это следует непосредственно из евклидова деления F , которое утверждает на G существование E и F1 что таких, и
Это позволяет предположить на следующих шагах, что
Факторы знаменателя
[ редактировать ]Если и где G1 — и G2 простые взаимно многочлены , то существуют многочлены и такой, что и
Это можно доказать следующим образом. Тождество Безу утверждает существование полиномов C и D таких, что условию, 1 — наибольший общий делитель G1 ( . и G2 по )
Позволять с быть делением DF на евклидовым Параметр каждый получает Осталось показать, что Приведя последнюю сумму дробей к общему знаменателю, получим и таким образом
Полномочия в знаменателе
[ редактировать ]Индуктивно используя предыдущее разложение, получаем дроби вида с где G — неприводимый многочлен . Если k > 1 , можно выполнить дальнейшее разложение, используя тот факт, что неприводимый многочлен является многочленом без квадратов , то есть: является наибольшим общим делителем многочлена и его производной . Если является производной G , тождество Безу дает полиномы C и D такие, что и таким образом Евклидово деление к дает полиномы и такой, что и Параметр каждый получает с
Итерация этого процесса с помощью вместо приводит в конечном итоге к следующей теореме.
Заявление
[ редактировать ]Теорема . Пусть f и g ненулевые полиномы над полем K. — Запишите g как произведение степеней различных неприводимых многочленов:
Существуют (уникальные) полиномы b и a ij с deg a ij < deg p i такие, что
Если deg f < deg g , то b = 0 .
Единственность можно доказать следующим образом. Пусть d = max(1 + deg f , deg g ) . В совокупности b и aij коэффициентов имеют d . Форма разложения определяет линейную карту векторов коэффициентов в полиномы f степени меньше d . Доказательство существования означает, что это отображение сюръективно . Поскольку два векторных пространства имеют одинаковую размерность, отображение также инъективно , что означает уникальность разложения. Кстати, это доказательство порождает алгоритм вычисления разложения с помощью линейной алгебры .
Если K — поле комплексных чисел , из фундаментальной теоремы алгебры следует, что все pi имеют степень один, а все числители являются константами. Когда K является полем действительных чисел , некоторые из pi могут быть квадратичными , поэтому при разложении частных дробей также могут встречаться факторы линейных многочленов по степеням квадратичных многочленов.
В предыдущей теореме можно заменить «различные неприводимые многочлены» на « попарно взаимно простые многочлены, взаимно простые со своей производной». Например, pi могут факторами бесквадратной факторизации g . быть Когда K является полем рациональных чисел , как это обычно бывает в компьютерной алгебре , это позволяет заменить факторизацию вычислением наибольшего общего делителя для вычисления разложения на частичные дроби.
Приложение к символическому интегрированию
[ редактировать ]В целях символического интегрирования предыдущий результат можно уточнить до
Теорема . Пусть f и g ненулевые полиномы над полем K. — Запишите g как произведение степеней попарно взаимно простых многочленов, не имеющих кратного корня в алгебраически замкнутом поле:
Существуют (уникальные) полиномы b и cij cij такие, что < deg deg p i , что где обозначает производную
Это сводит вычисление первообразной рациональной функции к интегрированию последней суммы, которая называется логарифмической частью , поскольку ее первообразная представляет собой линейную комбинацию логарифмов.
Существуют различные методы вычисления разложения в теореме. Один простой способ называется Эрмита методом . Во-первых, b немедленно вычисляется путем евклидова деления f на g , что сводится к случаю, когда deg( f ) < deg( g ). Далее, известно deg( ) < ( pi cij можно записать ), поэтому каждый cij deg как полином с неизвестными коэффициентами. Приведя сумму дробей в теореме к общему знаменателю и приравняв коэффициенты при каждой степени x в двух числителях, получим систему линейных уравнений , решением которой можно получить искомые (единственные) значения неизвестных коэффициентов. .
Процедура
[ редактировать ]Даны два многочлена и , где α n — различные константы и deg P < n , явные выражения для простейших дробей можно получить, предположив, что и определение констант c i путем замены, путем приравнивания коэффициентов членов, включающих степени x , или иным образом. (Это вариант метода неопределенных коэффициентов . После того как обе части уравнения умножены на Q(x), одна часть уравнения представляет собой конкретный многочлен, а другая сторона — многочлен с неопределенными коэффициентами. Равенство имеет вид возможно только тогда, когда коэффициенты при одинаковых степенях x равны. Это дает n уравнений с n неизвестными, c k .)
Более прямое вычисление, которое сильно связано с интерполяцией Лагранжа , состоит в записи где является производной многочлена . Коэффициенты называются остатками f /g .
Этот подход не учитывает ряд других случаев, но может быть соответствующим образом модифицирован:
- Если тогда необходимо выполнить евклидово деление P P на Q , используя полиномиальное деление в длину , давая ( ( x ) = E ( x ) Q + x ) R ( x ) с deg R < n . Деление на Q ( x ) дает а затем найдите простейшие дроби для оставшейся дроби (которая по определению удовлетворяет условию deg R < deg Q ).
- Если Q ( x ) содержит множители, неприводимые по данному полю, то числитель N ( x ) каждой дроби с таким множителем F ( x ) в знаменателе нужно искать в виде многочлена с deg N < deg F , а не как константа. Например, возьмем следующее разложение по R :
- Предположим Q ( Икс ) знак равно ( Икс - α ) р S ( x ) и S ( α ) ≠ 0 то есть α является корнем Q ( x ) кратности r , . При разложении простейших дробей r первых степеней ( x − α ) будут выступать в качестве знаменателей простейших дробей (возможно, с нулевым числителем). Например, если S ( x ) = 1, разложение на простейшие дроби имеет вид
Иллюстрация
[ редактировать ]В примере применения этой процедуры (3 x + 5)/(1 - 2 x ) 2 можно разложить в виде
Очистка знаменателей показывает, что 3 x + 5 = A + B (1 − 2 x ) . Разложение и приравнивание коэффициентов при степенях x дает
Решение этой системы линейных уравнений для A и B дает A = 13/2 и B = −3/2 . Следовательно,
Остаточный метод
[ редактировать ]Что касается комплексных чисел, предположим, что f ( x ) — рациональная правильная дробь, которую можно разложить на
Позволять тогда согласно единственности ряда Лорана , a ij является коэффициентом члена ( x − x i ) −1 в разложении Лорана g ij ( x ) относительно точки x i , т. е. ее вычет
Это определяется непосредственно формулой или в частном случае, когда x i является простым корнем, когда
Над реальными событиями
[ редактировать ]Частные дроби используются в с действительными переменными интегральном исчислении для нахождения действительных первообразных рациональных функций . Разложение действительных рациональных функций в частичные дроби также используется для нахождения их обратных преобразований Лапласа . О применении разложения частичных дробей по действительным числам см.
Общий результат
[ редактировать ]Позволять быть любой рациональной функцией над действительными числами . Другими словами, предположим, что существуют действительные полиномиальные функции и , такой, что
Разделив числитель и знаменатель на старший коэффициент , мы можем без ограничения общности считать , что моник . По основной теореме алгебры мы можем написать
где , , действительные числа с , и , являются положительными целыми числами. Условия являются факторами линейными которые соответствуют действительным корням и условия являются неприводимыми квадратичными факторами которые соответствуют парам комплексно -сопряженных корней .
Тогда разложение на частные дроби следующее:
Здесь P ( x ) — полином (возможно, нулевой), а A ir , B ir и C ir — действительные константы. Константы можно найти несколькими способами.
Самый простой метод — умножить на общий знаменатель q ( x ). Затем мы получаем уравнение полиномов, левая часть которого равна просто p ( x ), а правая часть имеет коэффициенты, которые являются линейными выражениями констант A ir , B ir и C ir . Поскольку два многочлена равны тогда и только тогда, когда равны их соответствующие коэффициенты, мы можем приравнять коэффициенты одинаковых членов. Таким образом получается система линейных уравнений, всегда имеющая единственное решение. Это решение можно найти любым из стандартных методов линейной алгебры . Его также можно найти с пределами (см. пример 5 ).
Примеры
[ редактировать ]Пример 1
[ редактировать ]Здесь знаменатель разбивается на два отдельных линейных фактора:
Итак, мы имеем разложение на частичные дроби
Умножение на знаменатель в левой части дает нам полиномиальное тождество
Подстановка x = −3 в это уравнение дает A = −1/4, а замена x = 1 дает B = 1/4, так что
Пример 2
[ редактировать ]После длительного деления имеем
Фактор х 2 − 4 x + 8 неприводимо над действительными числами, так как его дискриминант (−4) 2 − 4×8 = −16 отрицательно. Таким образом, разложение частных дробей по действительным числам имеет вид
Умножение на x 3 − 4x 2 + 8 x имеем полиномиальное тождество
Взяв x = 0, мы видим, что 16 = 8 A , поэтому A = 2. Сравнивая x 2 коэффициентов, мы видим, что 4 = A + B = 2 + B , поэтому B = 2. Сравнивая линейные коэффициенты, мы видим, что −8 = −4 A + C = −8 + C , поэтому C = 0. В целом,
Дробь можно полностью разложить с помощью комплексных чисел . Согласно основной теореме алгебры каждый комплексный многочлен степени n имеет n (комплексных) корней (некоторые из которых могут повторяться). Вторую фракцию можно разложить на:
Умножение на знаменатель дает:
Приравнивая коэффициенты при x и постоянные (по отношению к x ) коэффициенты обеих частей этого уравнения, получаем систему двух линейных уравнений относительно D и E , решением которой является
Таким образом, мы имеем полное разложение:
Можно также напрямую вычислить A , D и E с помощью метода вычетов (см. также пример 4 ниже).
Пример 3
[ редактировать ]Этот пример иллюстрирует почти все «трюки», которые нам, возможно, придется использовать, если не считать обращения к системе компьютерной алгебры .
После долгого деления и факторизации знаменателя получим
Разложение на частичные дроби принимает вид
Умножив на знаменатель в левой части, получим полиномиальное тождество
Теперь мы используем разные значения x для вычисления коэффициентов:
Решая это, мы имеем:
Используя эти значения, мы можем написать:
Сравниваем коэффициенты при x 6 и х 5 с обеих сторон, и мы имеем:
Поэтому:
что дает нам B = 0. Таким образом, разложение на частичные дроби определяется следующим образом:
Альтернативно, вместо разложения можно получить другие линейные зависимости от коэффициентов, вычисляя некоторые производные при в приведенном выше полиномиальном тождестве. (Для этого напомним, что производная в точке x = a от ( x − a ) м p ( x ) исчезает, если m > 1, и равно p ( a ) для m = 1.) Например, первая производная при x = 1 дает
то есть 8 = 4 B + 8, поэтому B = 0.
Пример 4 (метод остатка)
[ редактировать ]Таким образом, f ( z ) можно разложить на рациональные функции, знаменателями которых являются z +1, z −1, z +i, z −i. Поскольку каждый член имеет степень единица, −1, 1, − i и i являются простыми полюсами.
Следовательно, остатки, связанные с каждым полюсом, заданные формулой являются соответственно, и
Пример 5 (метод ограничения)
[ редактировать ]Пределы можно использовать для нахождения разложения на частичные дроби. [4] Рассмотрим следующий пример:
Сначала разложите на множители знаменатель, определяющий разложение:
Умножив все на и переходя к пределу, когда , мы получаем
С другой стороны,
и таким образом:
Умножаем на x и переходим к пределу, когда , у нас есть
и
Отсюда следует, что A + B = 0 , и поэтому .
Для x = 0 мы получаем и таким образом .
Сложив все вместе, получим разложение
Пример 6 (интегральный)
[ редактировать ]Предположим, у нас есть неопределенный интеграл :
Очевидно, что перед выполнением разложения мы должны выполнить полиномиальное деление в длину и факторизовать знаменатель. Это приведет к:
После этого мы теперь можем выполнить разложение на частичные дроби.
так: .Подставив наши значения, в данном случае, где x=1 для решения B и x=-2 для решения A, мы получим:
Включение всего этого обратно в наш интеграл позволяет нам найти ответ:
Роль полинома Тейлора
[ редактировать ]Разложение рациональной функции в частные дроби можно связать с теоремой Тейлора следующим образом. Позволять
быть действительными или комплексными полиномами предположим, что
удовлетворяет
Также определите
Тогда у нас есть
тогда и только тогда, когда каждый полином – полином Тейлора порядка в точку :
Теорема Тейлора (в вещественном или комплексном случае) затем обеспечивает доказательство существования и единственности разложения на частные дроби, а также характеристику коэффициентов.
Эскиз доказательства
[ редактировать ]Приведенное выше разложение на частные дроби подразумевает для каждого 1 ≤ i ≤ r полиномиальное разложение
так – полином Тейлора , из-за единственности полиномиального разложения порядка , и по предположению .
И наоборот, если являются полиномами Тейлора, приведенные выше разложения в каждом держитесь, поэтому мы также имеем
откуда следует, что полином делится на
Для также делится на , так
делится на . С
тогда у нас есть
и находим разложение простейших дробей делением на .
Дроби целых чисел
[ редактировать ]Идею простейших дробей можно обобщить и на другие области целости , например, на кольцо целых чисел , где простые числа играют роль неприводимых знаменателей. Например:
Примечания
[ редактировать ]- ^ Ларсон, Рон (2016). Алгебра и тригонометрия . Cengage Обучение. ISBN 9781337271172 .
- ^ Горовиц, Эллис. « Алгоритмы разложения в частные дроби и интегрирования рациональных функций ». Материалы второго симпозиума ACM по символическим и алгебраическим манипуляциям. АКМ, 1971.
- ^ Грошхольц, Эмили (2000). Рост математических знаний . Академические издательства Kluwer. п. 179. ИСБН 978-90-481-5391-6 .
- ^ Блюман, Джордж В. (1984). Задачник для первого курса по математическому анализу . Нью-Йорк: Springer-Verlag. стр. 250–251.
Ссылки
[ редактировать ]- Рао, КР; Ахмед, Н. (1968). «Рекурсивные методы получения разложения рациональной функции в частные дроби». IEEE Транс. Образование . 11 (2): 152–154. Бибкод : 1968ITEdu..11..152R . дои : 10.1109/TE.1968.4320370 .
- Хенрици, Питер (1971). «Алгоритм неполного разложения рациональной функции на простейшие дроби». З. Энджью. Математика. Физ . 22 (4): 751–755. Бибкод : 1971ЗаМП...22..751Х . дои : 10.1007/BF01587772 . S2CID 120554693 .
- Чанг, Фэн-Ченг (1973). «Рекурсивные формулы для разложения рациональной функции в частные дроби с кратными полюсами». Учеб. ИИЭЭ . 61 (8): 1139–1140. дои : 10.1109/PROC.1973.9216 .
- Кунг, ХТ; Тонг, DM (1977). «Быстрые алгоритмы разложения частичных дробей» . SIAM Journal по вычислительной технике . 6 (3): 582. дои : 10.1137/0206042 . S2CID 5857432 .
- Юстис, Дэн; Кламкин, М.С. (1979). «О коэффициентах разложения простейших дробей». Американский математический ежемесячник . Том. 86, нет. 6. С. 478–480. JSTOR 2320421 .
- Махони, Джей-Джей; Сивазлян, Б.Д. (1983). «Разложение неполных дробей: обзор вычислительной методологии и эффективности» . Дж. Компьютер. Прил. Математика . 9 (3): 247–269. дои : 10.1016/0377-0427(83)90018-3 .
- Миллер, Чарльз Д.; Лиал, Маргарет Л.; Шнайдер, Дэвид И. (1990). Основы студенческой алгебры (3-е изд.). Addison-Wesley Educational Publishers, Inc., стр. 364–370 . ISBN 0-673-38638-4 .
- Вестрайх, Дэвид (1991). «Разложение частичных дробей без оценки производной». IEEE Транс. Цирк. Сист . 38 (6): 658–660. дои : 10.1109/31.81863 .
- Кудрявцев, Л.Д. (2001) [1994], «Неопределенные коэффициенты, метод» , Энциклопедия Математики , EMS Press
- Веллеман, Дэниел Дж. (2002). «Частичные дроби, биномиальные коэффициенты и интеграл нечетной степени сек тета». амер. Математика. Ежемесячно . 109 (8): 746–749. дои : 10.2307/3072399 . JSTOR 3072399 .
- Слота, Дамиан; Витула, Роман (2005). «Трёхкиричный метод разложения частичных дробей некоторого типа рационального выражения». Вычислительная наука – ICCS 2005 . Лект. Нет. Компьютерные науки. Том. 33516. стр. 659–662. дои : 10.1007/11428862_89 . ISBN 978-3-540-26044-8 .
- Кунг, Сидни Х. (2006). «Разложение частичных дробей делением». Колл. Математика. Дж . 37 (2): 132–134. дои : 10.2307/27646303 . JSTOR 27646303 .
- Витула, Роман; Слота, Дамиан (2008). «Разложение некоторых рациональных функций в частные дроби». Прил. Математика. Вычислить . 197 : 328–336. дои : 10.1016/j.amc.2007.07.048 . МР 2396331 .
Внешние ссылки
[ редактировать ]- Вайсштейн, Эрик В. «Разложение частичных фракций» . Математический мир .
- Блейк, Сэм. «Пошаговые дроби» .
- Выполняйте разложение на частичные дроби с помощью Scilab .