Карлукова M32342 временная статья — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Полностью удалено содержимое страницы)
(не показаны 33 промежуточные версии этого же участника)
Строка 1: Строка 1:
Примечание: в [[Теорема о связи между рациональностью производящей функции и линейной рекуррентностью задаваемой ей последовательности|редактируемой статье]] указано, что достаточно рассматривать <tex>q_0=1</tex>. :)
 
  
== Теорема о связи этих понятий ==
 
 
{{Теорема
 
|id=th_main.
 
|statement=Последовательность <tex>a_0, a_1, \ldots, a_n, \ldots </tex> является линейной рекуррентной последовательностью с <tex>k</tex> первыми заданными членами <tex>\Leftrightarrow</tex> её производящая функция <tex>A(t)</tex> является дробно-рациональной, причём представимой в виде <tex>A(t) = \dfrac{P(t)}{Q(t)}</tex>, <tex>deg(Q) = k</tex>, <tex>deg(P) < k</tex>.
 
|proof=
 
 
<tex>\Rightarrow</tex>
 
 
Пусть <tex>c_1, c_2, \ldots, c_k</tex> {{---}} коэффициенты, задающие линейную рекуррентную последовательность <tex>a_0, a_1, \ldots, a_n, \ldots </tex>.
 
 
Напишем друг под другом несколько производящих функций и соответствующих им формальных степенных рядов:
 
 
<tex>A(t) = a_0 + a_1 \cdot t + a_2 \cdot t^2 + \ldots + a_k \cdot t^k + \ldots + a_n \cdot t^n + \ldots</tex>
 
 
<tex>-c_1 \cdot t \cdot A(t) = 0 - c_1 \cdot a_0 \cdot t - c_1 \cdot a_1 \cdot t^2 - \ldots - c_1 \cdot a_{k - 1} \cdot t^k - \ldots - c_1 \cdot a_{n - 1} \cdot t^n - \ldots</tex>
 
 
<tex>-c_2 \cdot t^2 \cdot A(t) = 0 + 0 - c_2 \cdot a_0 \cdot t^2 - \ldots - c_2 \cdot a_{k - 2} \cdot t^k - \ldots - c_2 \cdot a_{n - 2} \cdot t^n - \ldots</tex>
 
 
<tex>\cdots</tex>
 
 
<tex>-c_k \cdot t^k \cdot A(t) = 0 + 0 + 0 + \ldots +0-c_k \cdot a_0 \cdot t^k - \ldots - c_k \cdot a_{n - k} \cdot t^n + \ldots</tex>
 
 
Сложим все равенства и получим
 
 
<tex>A(t) \cdot (1 - c_1 \cdot t - c_2 \cdot t^2 - \ldots - c_k \cdot t^k) = a_0 + (a_1 - c_1 \cdot a_0) \cdot t + (a_2 - c_1 \cdot a_1 - c_2 \cdot a_0) \cdot t^2 + \ldots + \\ + (a_{k - 1} - \sum\limits_{i = 1}^{k - 1} c_i \cdot a_{k - 1 - i}) \cdot t^{k - 1} + (a_k - \sum\limits_{i = 1}^k c_i \cdot a_{k - i}) \cdot t^k + \ldots + (a_n - \sum\limits_{i = 1}^n c_i \cdot a_{n - i}) \cdot t^n + \ldots</tex>
 
 
Для всех <tex>n \geqslant k</tex> выполняется равенство <tex>a_n = \sum\limits_{i = 1}^n c_i \cdot a_{n - i}</tex>, поэтому в правой части все коэффициенты при степенях, начиная с <tex>k</tex>, обнулятся, а равенство будет выглядеть следующим образом:
 
 
<tex>A(t) \cdot (1 - c_1 \cdot t - c_2 \cdot t^2 - \ldots - c_k \cdot t^k) = a_0 + (a_1 - c_1 \cdot a_0) \cdot t + (a_2 - c_1 \cdot a_1 - c_2 \cdot a_0) \cdot t^2 + \ldots + (a_{k - 1} - \sum\limits_{i = 1}^{k - 1} c_i \cdot a_{k - 1 - i}) \cdot t^{k - 1}</tex>.
 
 
Заметим, что второй множитель в левой части имеет степень <tex>k</tex>, а степень правой части не превосходит <tex>k-1</tex>. Значит, многочлены <tex>Q(t)</tex> и <tex>P(t)</tex> всегда могут быть найдены. Более того, многочлен в знаменателе после нашего построения всегда принимает вид <tex>Q(t)=1 - c_1 \cdot t - c_2 \cdot t^2 - \ldots - c_k \cdot t^k</tex>.
 
 
<tex>\Leftarrow</tex>
 
 
Пусть <tex>A(t) = \dfrac{P(t)}{Q(t)}</tex>, <tex> deg(Q) = k</tex>, <tex> deg(P) < k</tex>.
 
 
Перепишем первое равенство, выразив <tex>P(t)</tex> через <tex>A(t)</tex> и <tex>Q(t)</tex>: <tex>P(t) = A(t) \cdot Q(t)</tex>.
 
 
Так как <tex>deg(P) < k</tex>, выполнено <tex>p_n = 0</tex> для любого <tex>n \geqslant k </tex>. Расписывая <tex>p_n</tex> по определению [[Арифметические действия с формальными степенными рядами#def_mul|произведения степенных рядов]], получаем <tex>p_n = \sum\limits_{i = 0}^n a_{n-i} \cdot q_{i} = 0</tex>.
 
 
Разобьём полученную сумму на две: <tex>p_n = \sum\limits_{i = 0}^{k} a_{n-i}\cdot q_{i} + \sum\limits_{i = k+1}^n a_{n-i}\cdot q_{i}</tex>. Вторая компонента равна нулю, поскольку <tex>deg(Q) = k</tex>. Тогда <tex>p_n = \sum\limits_{i = 0}^k a_{n-i} \cdot q_{i} = 0</tex>.
 
 
Развернём выражение для <tex>p_n</tex>:
 
 
<tex> \sum\limits_{i = 0}^k a_{n-i} \cdot q_{i} = a_n \cdot q_0 + a_{n-1} \cdot q_1 + \ldots + a_{n-k} \cdot q_k = a_n + a_{n-1} \cdot q_1 + \ldots + a_{n-k} \cdot q_k = 0</tex>.
 
 
Перенесём все слагаемые, кроме <tex>a_n \cdot q_0</tex>, вправо:
 
 
<tex> a_n = -a_{n-1} \cdot q_1 -a_{n-2} \cdot q_2 - \ldots - a_{n-k} \cdot q_k</tex>.
 
 
Видим, что <tex>a_n</tex> {{---}} коэффициент линейной рекуррентной последовательности, где роли <tex>c_i</tex> играют <tex>-q_i</tex> при каждом <tex>i \in \{1,2,\ldots k\}</tex>, причём это выполнено для всех <tex>n \geqslant k </tex>, так как индекс <tex>n</tex>, удовлетворяющий данному условию, выбирался произвольно.
 
}}
 

Версия 21:22, 19 июня 2020