Рекуррентные уравнения

Определение. Если каждый последующий член числовой последовательности выражается через предыдущие , ,…, и при этом определены первые k ее членов, то говорят, что последовательность задана рекуррентно. Само число k называется степенью, либо глубиной рекуррентности.

Простейшими примерами таких последовательностей являются хорошо знакомые со школы арифметическая и геометрическая прогрессии.

Если задано рекуррентное соотношение k -го порядка, то ему удовлетворяет бесконечно много последовательностей.

Дело в том, что первые k элементов последовательности можно задать совершенно произвольно - между ними нет никаких соотношений. Но если первые k элементов заданы, то все остальные элементы определяются совершенно однозначно - элемент выражается в силу рекуррентного соотношения через ; элемент - через и т.д.

Пользуясь рекуррентным соотношением и начальными членами, можно один за другим выписывать члены последовательности, причем рано или поздно получим любой ее член. Однако при этом придется выписать и все предыдущие члены - ведь не узнав их, мы не узнаем и последующих членов. Но во многих случаях нужно узнать только один определенный член последовательности, а остальные не нужны. В этих случаях удобнее иметь явную формулу для -го члена последовательности. И когда ставится задача нахождения формулы общего члена последовательности, заданной рекуррентным соотношением, употребляется термин рекуррентное уравнение. Явно заданная последовательность, удовлетворяющая рекуррентному уравнению, называется решением этого уравнения.

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

, (23.1)

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

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

Определение. Рекуррентные уравнения вида

(23.2)

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