396
0)t,y,...,y,y(F
ttt
=Δ
′′
Δ
(7.50)
і навпаки .
Означення. Рівняння
0)t,y,...,y,y(f
nt1tt
=
++
(7.51)
називається різницевим рівнянням
-го порядку.
Розв’язати різницеве рівняння
-го порядку – це означає
знайти таку функцію
t
y
, яка перетворює рівняння (7.50) або (7.51) в
тотожність.
Розв’язок, в якому є довільна стала, називається загальним;
розв’язок , в якому стала відсутня, називається частинним.
Означення. Рівняння
),t(fya...yaya
ntn1t1t0
=+++
−−
(7.52)
де
n1,0
a,...,aa
сталі числа, називається неоднорідним різницевим
рівнянням
-го порядку з сталими коефіцієнтами.
Якщо в рівнянні (7.52) f(t)=0, то рівняння називається однорід-
ним різницевим рівнянням n-го порядку з сталими коефіцієнта-
ми:
0ya...yayaya
ntn2t21t1t0
=++++
−−−
. (7.53)
Рівняння
cbyay
1tt
=+
−
є однорідне різницеве рівняння пер-
шого порядку з сталими коефіцієнтами
та b, а рівняння
dcybyay
2t1tt
=++
−−
- неоднорідне різницеве рівняння другого по-
рядку з сталими коефіцієнтами
.c,b,a
ТЕОРЕМА
1. Якщо розв’язками однорідного різницевого
рівняння (7.53) є )t(y
1
і )t(y
2
, то його розв’язком буде також
функція
).t(y)t(y
21
+
ТЕОРЕМА 2. Якщо y(t) є розв’язком однорідного різнице-
вого рівняння (7.53), то його розв’язком буде також
функція Ay(t), де А – довільна стала.
ТЕОРЕМА 3. Якщо
)t(y
- частинний розв’язок
неоднорідного рівняння (7.52) і )A,...,A,A,t(y
n21
- загальний
розв’язок однорідного рівняння (7.53), то загальним розв’язком
неоднорідного різницевого рівняння буде функція:
).A,...,A,A,t(y)t(y
n21
+
Ці теореми схожі з теоремами для диференціальних рівнянь,
які були наведені нами в попередньому розділі.