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

Уравнение вида

, (1)

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

Обычно вместо уравнения (1) рассматривается уравнение, которое получается из (1) путем перехода от конечных разностей к значению функции, т. е. уравнение вида

(2)

Если в уравнении (2) функция, то такое уравнение называется однородным.

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

. (3)

Теория линейных разностных уравнений аналогична теории линейных дифференциальных уравнений.

Теорема 1.

Если функции являются решениями однородного уравнения (3), то функция

также является решением уравнения (3).

Доказательство.

Подставим функции в (3)

т. к. функция является решением уравнения (3).

Решетчатые функции называются линейно зависимыми, если найдутся такие числа, причем хотя бы одно отлично от нуля, для любого n справедливо:

(4)

Если (4) имеет место только при то функции , называются линейно независимыми.

Любое k линейно независимымых решений уравнения (3) образуют фундаментальную систему решений.

Пусть линейно независимымые решения уравнения (3), тогда

является общим решением уравнения (3). При нахождении конкретного условия, определяется из начальных условий

Будем искать решение уравнения (3) в виде:

Подставим в уравнение (3)

(5)

Поделим уравнение (5) на

характеристическое уравнение. (6)

Положим, что (6) имеет только простые корни Нетрудно убедиться, что являются линейно независимыми. Общее решение однородного уравнения (3) имеет вид

Пример.

Рассмотрим уравнение

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

Решение имеет вид

.

Пусть корень имеет кратность r. Этому корню соответствует решение

Если предположить, что остальные корни не являются кратными, то общее решение уравнения (3) имеет вид

Рассмотрим общее решение неоднородного уравнения (2).

частное решение неоднородного уравнения (2), тогда общее решение