635
правок
Изменения
Нет описания правки
{{Определение
|definition=
'''Рациональная функция''' — (англ. ''Rational function'') {{---}} это функция вида:
<center>
<tex>G(z)=\dfrac{P(z)}{Q(z)}</tex>,
</center>
где <tex>P</tex> и <tex>Q</tex> {{- --}} полиномы.
}}
{{Определение
|definition=
'''Элементарными дробями''' (англ. ''Simple partial fractions'') будем называть дроби вида:
<center>
<tex>\dfrac{A}{(x-a)^n}, \qquad \dfrac{P(x)}{(Q(x))^m}</tex>,
</center>
где <tex> m, n \geqslant 1</tex>, <tex>P(x), Q(x)</tex> {{- --}} полиномы, причем <tex>Q(x)</tex> {{--- }} полином, не имеющий рациональных корней и <tex>\deg(P) < \deg(Q)</tex>.
}}
# Представить получившиеся дроби в виде рядов, пользуясь [[Арифметические действия с формальными степенными рядами|формулами преобразования производящих функций]] и [[Производящая функция#Примеры простых производящих функций|таблицей производящих функций]].
===Примеры=====Пример 1===Разложить в ряд функцию <center><tex> G(z)=\dfrac{8+4z}{1-z-z^2+z^3}.</tex> </center>
==Проблема==
На практике могут появиться рациональные функции, знаменатели которых не имееют действительных корней, тогда разбить эти фукции на более простые части не получится, что усложнит разложение в ряд. <br>
Например, производящая функция, генерирующая количество гамильтоновых циклов на прямоугольной решётке размером <tex>6 \times n</tex> <ref>[http://oeis.org/ The On-Line Encyclopedia of Integer Sequences]</ref>.
<center>
<tex>
G(z) = 4\sum_dfrac{n=0z(1-z)(z^{11}-z^{10}+3z^9+12z^8-3z^\infty z7-3z^n 4+ 21z^3\sum_-3z^2-1)}{2z^{n=014}-4z^\infty n2{13}+28z^{n-112}z+42z^n{11}-\sum_82z^{n=010}-8z^\infty (n9+1) 2118z^8-66z^n z7-35z^n6+90z^5\sum_{n=0}+12z^4-63z^\infty 3+14z^n z^n2+5z-1}.
</tex>
</center>
== Источники информации ==