302
правки
Изменения
Нет описания правки
</tex><br>
Порядок соотношения — это его «глубина», то есть количество предшествующих элементов, требуемых для вычисления элемента с номером <tex>n</tex>. В данном случае порядок равен <tex>2</tex>, так как для вычисления <tex>a_n</tex> требуется знать <tex>a_{n-1}</tex> и <tex>a_{n-2}</tex>.
Будем искать производящую функцию последовательности в виде
<br><tex>
G(z)=\displaystyle\sum_{n=0}^{\infty} a_nz^n = a_0+a_1z+a_2z^2+\cdots,
</tex><br>
с этой целью умножим верхнюю строчку в записи рекуррентного соотношения на <tex>z^0</tex>, следующую — на <tex>z^1</tex> и последнюю — на <tex>z^n</tex>:
<br><tex>\begin{array}{rcl}
1\cdot a_0&{}={}&0\cdot 1,\\
z\cdot a...a_1&{}={}&0\cdot 1,\\...(z^n\cdot a_n&{}={}&5a_{n-1}-6a_{n-2})\cdot z^n, \quad n\geq2.\\
\end{array}
</tex><br>
Теперь сложим все уравнения для всех значений <tex>n</tex>:
<br><tex>
\underbrace{a_0 + a_1 z + \displaystyle\sum_{n=2}^{\infty}a_nz^n}_{gG(z)......} &{}={}& z+5\displaystyle\sum_{n=2}^{\infty}a_{n-1}z^n-6\displaystyle\sum_{n=2}^{\infty}a_{n-2}z^n.
</tex><br>
Левая часть уравнения в точности равна <tex>G(z)</tex>, а в правой части есть суммы, очень похожие на функцию <tex>G(z)</tex>, но не равные ей. Эти суммы нужно любым законным способом привести к виду <tex>G(z)</tex>. Начнём с первой:
<br><tex>
\displaystyle\sum_{n=2}^{\infty}a_{n-1}z^n \stackrel{(1)}{=}z\displaystyle\sum_{n=2}^{\infty}a_{n-1}z^{n-1} \stackrel{(2)}{=}z\displaystyle\sum_{...n=1}^{\infty}a_{n}z^n \stackrel{(3)}{=}..._z{\biggr( z\displaystyle\sum_{n=1}z^{\infty}a_{n}z^n+a_0}_{gG(z)} - a_0\biggr)\stackrel{(4)}{=}zgzG(z).
</tex><br>
Аналогичные манипуляции со второй суммой дают нам выражение
<br><tex>
\displaystyle\sum_{n=2}^{\infty}a_{n-2}z^n = z^2\displaystyle\sum_{n=2}^{\infty}a_{n-2}z^{n-2}= z^2\displaystyle\sum_{n=0}^{\infty}a_{n}z^{n}=z^2g2G(z).
</tex><br>
Вспомним разложение для простейшей рациональной функции:
<br><tex>
\dfrac{1}{1-z} = \displaystyle\sum_{n=0}^{\infty}z^n = 1 + z + z^2 + z^3 + \cdots.
</tex><br>
Из этого разложения следует, что
<br><tex>
\dfrac{1}{1-3z}= \displaystyle\sum_{n=0}^{\infty}(3z)^n \quad\mbox{ и }\quad \dfrac{1}{1-2z}= \displaystyle\sum_{n=0}^{\infty}(2z)^n.
</tex><br>
Таким образом,
<br><tex>
G(z) = \displaystyle\sum_{n=0}^{\infty}3^nz^n - \displaystyle\sum_{n=0}^{\infty}2^nz^n = \displaystyle\sum_{n=0}^{\infty}(3^n-2^n)z^n.
</tex><br>
С другой стороны, мы искали <tex>G(z)</tex> в виде
<br><tex>
G(z)=\displaystyle\sum_{n=0}^{\infty} a_nz^n,
</tex><br>
поэтому, в силу равенства рядов, <tex>a_n=3^n-2^n</tex> (для <tex>n\geq 0</tex>).
==Метод производящих функций==