Комбинаторные алгоритмы для программистов

          

Линейные рекуррентные соотношения с постоянными коэффициентами


Для решения рекуррентных соотношений общих правил, вообще говоря, нет. Однако существует весьма часто встречающийся класс соотношений, решаемый единообразным методом. Это - рекуррентные соотношения вида

Линейные рекуррентные соотношения с постоянными коэффициентами

(8.3)

где

Линейные рекуррентные соотношения с постоянными коэффициентами
- некоторые числа. Такие соотношения называют линейными рекуррентными соотношениями с постоянными коэффициентами.

Сначала рассмотрим, как решаются такие соотношения при

Линейные рекуррентные соотношения с постоянными коэффициентами
, то есть изучим соотношение вида
Линейные рекуррентные соотношения с постоянными коэффициентами

(8.4)

Решение этих соотношений основано на следующих двух утверждениях.

  1. Если
    Линейные рекуррентные соотношения с постоянными коэффициентами
    и
    Линейные рекуррентные соотношения с постоянными коэффициентами
    являются решениями рекуррентного соотношения (8.4), то при любых числах
    Линейные рекуррентные соотношения с постоянными коэффициентами
    и
    Линейные рекуррентные соотношения с постоянными коэффициентами

    последовательность

    Линейные рекуррентные соотношения с постоянными коэффициентами
    также является решением этого соотношения.

    В самом деле, по условию, имеем

    Линейные рекуррентные соотношения с постоянными коэффициентами

    Линейные рекуррентные соотношения с постоянными коэффициентами

    Умножим эти равенства на

    Линейные рекуррентные соотношения с постоянными коэффициентами
    и
    Линейные рекуррентные соотношения с постоянными коэффициентами
    соответственно и сложим полученные тождества. Получим, что
    Линейные рекуррентные соотношения с постоянными коэффициентами

    А это означает, что

    Линейные рекуррентные соотношения с постоянными коэффициентами
    является решением соотношения(8.4).

  2. Если
    Линейные рекуррентные соотношения с постоянными коэффициентами
    является корнем квадратного уравнения

    Линейные рекуррентные соотношения с постоянными коэффициентами
    то последовательность
    Линейные рекуррентные соотношения с постоянными коэффициентами

    является решением рекуррентного соотношения

    Линейные рекуррентные соотношения с постоянными коэффициентами

    В самом деле, если

    Линейные рекуррентные соотношения с постоянными коэффициентами
    , то
    Линейные рекуррентные соотношения с постоянными коэффициентами
    и
    Линейные рекуррентные соотношения с постоянными коэффициентами
    . Подставляя эти значения в соотношение (8.4), получаем равенство
    Линейные рекуррентные соотношения с постоянными коэффициентами

    Оно справедливо, так как по условию имеем

    Линейные рекуррентные соотношения с постоянными коэффициентами
    . Заметим, что наряду с последовательностью
    Линейные рекуррентные соотношения с постоянными коэффициентами
    любая последовательность вида
    Линейные рекуррентные соотношения с постоянными коэффициентами

    также является решением соотношения (8.4). Для доказательства достаточно использовать утверждение (8.4), положив в нем

    Линейные рекуррентные соотношения с постоянными коэффициентами

Из утверждений 1 и 2 вытекает следующее правило решения линейных рекуррентных соотношений второго порядка с постоянными коэффициентами.

Пусть дано рекуррентное соотношение

Линейные рекуррентные соотношения с постоянными коэффициентами

(8.5)

Составим квадратное уравнение

Линейные рекуррентные соотношения с постоянными коэффициентами

(8.6)

которое называется характеристическим для данного соотношения. Если это уравнение имеет два различных корня

Линейные рекуррентные соотношения с постоянными коэффициентами
, то общее решение соотношения (8.5) имеет вид
Линейные рекуррентные соотношения с постоянными коэффициентами

Чтобы доказать это правило, заметим сначала, что по утверждению 2

Линейные рекуррентные соотношения с постоянными коэффициентами
являются решениями нашего соотношения. А тогда по утверждению 1 и
Линейные рекуррентные соотношения с постоянными коэффициентами
является его решением. Надо только показать, что любое решение соотношения (8.5) можно записать в этом виде. Но любое решение соотношения второго порядка определяется значениями
Линейные рекуррентные соотношения с постоянными коэффициентами
. Поэтому достаточно показать, что система уравнений
Линейные рекуррентные соотношения с постоянными коэффициентами

Линейные рекуррентные соотношения с постоянными коэффициентами

имеет решение при любых

Линейные рекуррентные соотношения с постоянными коэффициентами
.
Этими решениями являются
Линейные рекуррентные соотношения с постоянными коэффициентами


Линейные рекуррентные соотношения с постоянными коэффициентами


(Случай, когда оба корня уравнения (8.6) совпадут друг с другом, разберем в следующем пункте.)

Пример на доказанное правило.

При изучении чисел Фибоначчи мы пришли к рекуррентному соотношению
Линейные рекуррентные соотношения с постоянными коэффициентами


(8.7)
Для него характеристическое уравнение имеет вид
Линейные рекуррентные соотношения с постоянными коэффициентами


Корнями этого квадратного уравнения являются числа
Линейные рекуррентные соотношения с постоянными коэффициентами


Поэтому общее решение соотношения Фибоначчи имеет вид
Линейные рекуррентные соотношения с постоянными коэффициентами


(8.8)
(Мы воспользовались сделанным выше замечанием и взяли показатели
Линейные рекуррентные соотношения с постоянными коэффициентами


вместо
Линейные рекуррентные соотношения с постоянными коэффициентами
). Мы называли числами Фибоначчи решения соотношения (8.7), удовлетворяющее начальным условиям
Линейные рекуррентные соотношения с постоянными коэффициентами
( то есть последовательность
Линейные рекуррентные соотношения с постоянными коэффициентами
). Часто бывает более удобно добавить к этой последовательности вначале числа 0 и 1, то есть рассматривать последовательность
Линейные рекуррентные соотношения с постоянными коэффициентами
Ясно, что эта последовательность удовлетворяет тому же самому рекуррентному соотношению (8.6) и начальным условиям
Линейные рекуррентные соотношения с постоянными коэффициентами
. Полагая в формуле (8.6)
Линейные рекуррентные соотношения с постоянными коэффициентами
, получаем для
Линейные рекуррентные соотношения с постоянными коэффициентами


систему уравнений
Линейные рекуррентные соотношения с постоянными коэффициентами


Линейные рекуррентные соотношения с постоянными коэффициентами


Отсюда находим, что
Линейные рекуррентные соотношения с постоянными коэффициентами
и потому
Линейные рекуррентные соотношения с постоянными коэффициентами


(8.9)
На первый взгляд кажется удивительным, что это выражение при всех натуральных значениях
Линейные рекуррентные соотношения с постоянными коэффициентами
принимает целые значения.


Содержание раздела