Изменения

Перейти к: навигация, поиск

Решение рекуррентных соотношений

599 байт убрано, 23:12, 12 марта 2018
Нет описания правки
====ЧИСЛА ФИБОНАЧЧИ====
Рассмотрим рекуррентное соотношение для чисел Фибоначчи:
 
<br><math>\begin{array}{rcl}
f_0&{}={}&0,\\
\end{array}
</math><br>
Это хорошо известная последовательность, каждый элемент которой (кроме нулевого и первого) равен сумме двух предыдущих:
 
<br><math>
\begin{tabular}{\vert c\vert c\vert c\vert c\vert c\vert c...
...& 2 & 3 & 5 & 8 & 13 & 21 & 34 \\
\hline
\end{tabular}
</math><br>
Эти числа очень быстро растут, например, f10=55, f20=6765, f30=832040, f100=354224848179261915075.
Первый шаг алгоритма мы уже выполнили, записав рекуррентное соотношение. Выполним второй шаг:
 
<br><math>\begin{array}{rcl}
1\cdot f_0&{}={}&0\cdot 1,\\
\end{array}
</math><br>
 
Складываем все строчки:
 
<br><math>
f_0 + f_1 z + \sum_{n=2}^{\infty}f_nz^n =
z + \sum_{n=2}^{\infty}f_{n-1}z^n+\sum_{n=2}^{\infty}f_{n-2}z^n.
</math><br>
 
Третий шаг алгоритма требует привести все суммы к замкнутому виду:
 
<br><math>\begin{array}{rcl}
G(z) &{}={}& \displaystyle z + z\sum_{n=z} &{}={}& \displaystyle z + zG(z)+z^2G(z),\\
\end{array}
</math><br>
 
откуда получаем замкнутое выражение для производящей функции:
 
<br><math>
G(z) = \frac{z}{1-z-z^2}.
</math><br>
Осталось «всего лишь» разложить её в ряд (чего требует четвёртый шаг алгоритма). С этой целью нужно разложить знаменатель на множители. Найдем корни уравнения:
Осталось разложить её в ряд (чего требует четвёртый шаг алгоритма). С этой целью нужно разложить знаменатель на множители. Найдем корни уравнения:
<br><math>\displaylines{
1-z-z^2 = 0 \cr
}
</math><br>
Таким образом (проверьте),
Таким образом,
<br><math>
G(z) = \frac{z}{1-z-z^2}=\frac{-z}{(z_1-z)(z_2-z)}
\frac{z_1/(z_1-z_2)}{z_1-z} + \frac{z_2/(z_2-z_1)}{z_2-z}.
</math><br>
Как теперь поступить с этими выражениями? Ведь пока нам известно разложение только одной рациональной функции:
Нам известно разложение следующей рациональной функции:
<br><math>
\frac{1}{1-z} = \sum_{n=0}^{\infty}z^n = 1 + z + z^2 + z^3 + \cdots.
</math><br>
Рассмотрим первую дробь и поделим в ней числитель и знаменатель на z1:
Рассмотрим первую дробь и поделим в ней числитель и знаменатель на <math>z1</math>:
<br><math>
\frac{z_1/(z_1-z_2)}{z_1-z} = \frac1{z_1-z_2}\frac{1}{1-\frac{z}{z_1}} =
\frac1{z_1-z_2}\sum_{n=0}^{\infty}\frac{z^n}{z_1^n}.
</math><br>
Аналогично (но с делением на z2) поступим со второй дробью:
Аналогично (но с делением на <math>z2</math>) поступим со второй дробью:
<br><math>
\frac{z_2/(z_2-z_1)}{z_2-z} = \frac1{z_2-z_1}\frac1{1-\frac{z}{z_2}} =
\frac1{z_2-z_1}\sum_{n=0}^{\infty}\frac{z^n}{z_2^n}.
</math><br>
 
Таким образом,
 
<br><math>
G(z)=\sum_{n=0}^{\infty} f_nz^n =
...rac{1}{z_1^n} + \frac{1}{z_2-z_1}\frac{1}{z_2^n} \biggr)z^n,
</math><br>
 
и, следовательно,
 
<br><math>
f_n = \frac1{z_1-z_2}\frac{1}{z_1^n} + \frac1{z_2-z_1}\frac{1}{z_2^n}.
</math><br>
Данное выражение можно «причесать», если обратить внимание на то, что 1/z1=-z2, 1/z2=-z1 и z1-z2=√5 (корень из 5):
Данное выражение можно упростить, если обратить внимание на то, что <math>1/z_1=-z_2</math>, <math>1/z_2=-z_1</math> и <math>z_1-z_2=√5</math>:
<br><math>
f_n=\frac{1}{\sqrt{5}}\left( \biggl( \frac{1+\sqrt{5}}{2} \biggr)^n - \biggl( \frac{1-\sqrt{5}}{2} \biggr)^n \right).
302
правки

Навигация