|
|
|
|
|
|
61 |
|
|
|
C |
|
y1,k |
1 |
y2,k |
1 |
|
y1,k 1 |
y2,k 2 |
y1,k 2 y2,k 1 0. |
|
|
||||||||
|
y1,k |
2 |
y2,k |
2 |
|
||||
|
|
|
|
|
|
||||
Используя, например, правило Крамера выразим разности варьируемых постоянных
|
|
|
0 |
y2,k |
1 |
|
|
|
|
|
|
||
c |
|
|
fk |
y2,k 2 |
|
|
|
y2,k 1 fk ; |
|||||
1,k |
1 |
|
|
|
|
C |
|
|
|
|
C |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
y1,k |
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
c |
|
|
|
|
y1,k 2 |
fk |
|
|
|
y1,k 1 fk . |
|||
1,k |
1 |
|
|
|
|
C |
|
|
|
|
C |
|
|
|
|
|
|
|
|
|
|
|
|
||||
Варьируемые постоянные, как неизвестные функции, могут быть определены применением обратного разностного оператора, действие которого эквивалентно вычислению сумм функциональных последовательностей определяющих разности
|
|
1 |
|
k |
y |
2,n |
f |
n 1 |
|
k |
1 y |
2,n 1 |
|
f |
n |
|
|
||||
|
c1,k |
|
c1,k |
|
|
|
|
c1 |
|
|
|
|
|
c1 |
; |
||||||
|
|
|
|
|
|
1C |
|
|
|
|
|
C |
|
|
|
||||||
|
|
|
|
n 1 |
|
|
|
|
n |
0 |
|
|
|
|
|
|
|
||||
|
|
|
1 |
k |
|
y |
f |
n 1 |
|
k |
1 y |
|
1 |
f |
n |
|
|
|
|||
|
c2,k |
|
c2,k |
|
|
1,n |
|
|
c2 |
|
|
1,n |
|
|
c2 , |
|
|||||
|
|
|
|
|
|
1C |
|
|
|
|
|
C |
|
|
|
|
|||||
|
|
|
|
n 1 |
|
|
n |
0 |
|
|
|
|
|
|
|
|
|||||
где |
1C |
y1,k y2,k 1 y1,k |
1 |
y2,k ; |
|
c1, c2 - |
|
|
|
новые |
|
постоянные |
|||||||||
суммирования.
Для раскрытия суммы функциональной последовательности часто используются формулы арифметической или геометрической прогрессий, либо суммы членов факториального многочлена.
Подставляя, найденные варьируемые постоянные в общее решение, получим общее решение в виде
k |
1 y |
2,n 1 |
|
f |
n |
|
k |
1 y |
|
|
f |
n |
|
|
|||||||
yk |
|
|
|
|
|
c1 |
y1,k |
|
|
1,n 1 |
|
c1 |
y2,k |
||||||||
|
|
|
|
C |
|
|
|
|
|
|
C |
|
|
|
|||||||
n |
0 |
|
|
|
|
|
|
n |
0 |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
или |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
y |
|
f |
n 1 |
|
k |
|
y |
f |
n 1 |
|
|
|||||||
yk |
|
|
2,n |
|
c1 |
y1,k |
|
|
1,n |
|
c1 |
y2,k . |
|||||||||
|
|
|
|
1C |
|
|
|
|
|
|
1C |
|
|
|
|||||||
n 1 |
|
|
|
|
|
n 1 |
|
|
|
|
|
||||||||||
Заметим, что первые слагаемые в скобках соответствует общему решению однородного разностного уравнения, а вторые слагаемые в скобках соответствует частному решению неоднородного уравнения.
Таким образом, общее решение неоднородного разностного уравнения представляет собой сумму общего решения однородного уравнения и
частного решения неоднородного уравнения. |
|
Новые постоянные суммирования c1, c2 |
определяются из |
независимых, например, начальных условий. Подстановка значений
62
постоянных суммирования в общее решение преобразует его в частное решение неоднородного разностного уравнения.
Метод Коши для разностных уравнений второго порядка.
Представление решения в форме Коши для разностных уравнений второго и более высоких порядков совместим с изложением метода Лагранжа для систем разностных уравнений первого порядка. Дело в том, что решение в форме Коши наиболее просто представляется для скалярного разностного уравнения первого порядка и для систем разностных уравнений первого порядка с использованием векторно-матричной символики. В тоже время, как отмечалось выше, любое скалярное уравнение второго и более высокого порядка с помощью введения новых переменных для неизвестной дискретной функции и ее сдвигов может быть преобразовано в эквивалентную систему разностных уравнений первого порядка.
Напомним, что основное отличие решения разностного уравнения первого порядка в форме Коши от формы Лагранжа, заключается в том, что решение по Лагранжу представляет собой форму общего решения с использованием варьируемых постоянных, как неизвестных функций. Эти варьируемые постоянные, с точностью до постоянных суммирования, находятся из определяющего уравнения. Для получения частного решения по Лагранжу необходимо, воспользовавшись дополнительными независимыми условиями, найти постоянные суммирования и подставить в общее решение.
Решение в форме Коши, представляет собой частное решение разностного уравнения, включающего в качестве дополнительных независимых условий именно начальные условия.
Используя эту связь решений систем разностных уравнений первого порядка в формах Лагранжа и Коши, получим представление решение систем разностных уравнений первого порядка в форме Коши, используя векторноматричную символику.
Отметим, что отмеченная связь решений в форме Лагранжа и Коши характерна именно для уравнений первого порядка, для уравнений второго и более высокого порядков эта связь имеет более сложный вид.
Решение неоднородного разностного уравнения высокого порядка методом Лагранжа. Общая форма записи нормированного неоднородного разностного уравнения n - го порядка имеет вид
(En a |
En 1 |
a E a ) y |
k |
f |
k |
|
n 1 |
|
1 |
0 |
|
||
или
yk n an 1 yk n 1 |
a1 yk 1 a0 yk fk . |
Согласно методу Лагранжа, общее решение неоднородного |
|
разностного уравнения n - го порядка ищется в виде |
|
|
n |
yk |
ci,k yi,k , |
i |
1 |
отличающемся от общего решения однородного уравнения тем, что ci,k представляют собой варьируемые постоянные, то есть неизвестные
63
дискретные функции. Функции yi,k представляют собой набор
фундаментальных решений соответствующего однородного разностного уравнения, определяемых корнями характеристического уравнения di .
В общем случае различающихся между собой корней, фундаментальные решения определяются в виде yi,k dik . В том случае,
если i - тый корень характеристического уравнения имеет кратность m , то независимый набор фундаментальных решений, порождаемый данным корнем, представляется в виде
y |
k , y |
k d k , y |
k 2 d k , |
, y |
k m 1 d k . |
||
i,k |
i |
i,k 1 |
i |
i,k 2 |
i |
i,k m |
i |
Для определения варьируемых постоянных Лагранж предложил процедуру построения определяющей системы линейных алгебраических уравнений.
Идея построения определяющей системы уравнений заключается в том, что предполагаемое общее решение с целью проверки подставляется в исходное разностное уравнение. При этом предварительно определяются
составляющие E yk , E2 yk , , En yk и выражаются через разности
варьируемых постоянных. Повторное действие оператора сдвига должно привести к росту порядка разности варьируемых постоянных как неизвестных функций, что противоречит условию определения варьируемых постоянных. С целью предотвращения роста порядка разности выше первого порядка Лагранж предложил, после очередного действия оператора сдвига приравнивать нулю, составляющие содержащие разности варьируемых постоянных.
Так после первого действия оператора сдвига на предполагаемое решение имеем
|
n |
|
|
|
|
yk 1 |
ci,k 1 yi,k 1 |
|
|
|
|
i |
1 |
|
|
|
|
|
n |
n |
|
n |
|
|
ci,k 1 yi,k 1 |
|
|
ci,k yi,k 1 |
ci,k yi,k 1 |
i |
1 |
i |
1 |
i |
1 |
|
n |
|
n |
|
|
|
ci,k yi,k 1 |
|
|
ci,k yi,k 1 . |
|
i |
1 |
i |
1 |
|
|
Для того, чтобы при повторном действии оператора сдвига не появилась разность второго порядка варьируемых постоянных наложим ограничение, то есть приравняем первое слагаемое нулю
n |
|
ci,k yi,k 1 0 , |
|
i 1 |
|
и, следовательно, получаем |
|
|
n |
yk 1 |
ci,k yi,k 1 . |
i |
1 |
64
Следующие действия операторов сдвига потребуют наложить ограничения вида
n
ci,k yi,k 2 0 ;
i 1
n
ci,k yi,k n 1 0
i1
идадут выражения сдвигов (смещений) искомой функции
|
|
n |
|
|
|
yk 2 |
ci,k yi,k 2 ; |
||
|
i |
1 |
|
|
|
|
n |
|
|
|
yk n 1 |
ci,k yi,k n 1 . |
||
|
i |
1 |
|
|
Таких ограничений потребуется ровно n 1. Действие последнего |
||||
оператора сдвига запишется в виде |
|
|
|
|
|
n |
|
|
n |
yk n |
ci,k yi,k n |
ci,k yi,k n . |
||
|
i 1 |
|
i |
1 |
Последнее уравнение определяющей системы получается в результате |
||||
подстановки всех составляющих |
yk |
i в |
исходное уравнение с учетом |
|
наложенных ограничений. |
|
|
|
|
Так подстановка |
результатов |
действия операторов сдвига на |
||
предполагаемое решение в исходное уравнение и предварительное упорядочивание компонент даст соотношение вида
|
n |
|
n |
|
|
n |
ci,k yi,k n an 1 |
ci,k yi,k n 1 |
|||
i 1 |
|
i 1 |
|
||
|
|
fk . |
|||
|
ci,k yi,k n |
n |
|
||
i 1 |
|
|
n |
||
a1 |
ci,k yi,k 1 a0 |
ci,k yi,k |
|||
|
|||||
|
i |
1 |
i |
1 |
|
Заметим, что выражение в скобках фундаментальных решений в однородное следовательно, равно нулю, в итоге результат уравнение определяющей системы
соответствует подстановке разностное уравнение и, подстановки дает последнее
n
ci,k yi,k n fk .
i1
Врезультате получается ровно n уравнений определяющей системы
n
ci,k yi,k 1 0 ;
i 1
n
ci,k yi,k 2 0 ;
i 1
65
n |
|
|
|
ci,k yi,k n 1 |
0 ; |
i |
1 |
|
|
n |
|
|
ci,k yi,k n |
fk , |
i |
1 |
|
что позволяет, решая ее традиционными методами, выразить разности варьируемых постоянных.
Матричная форма записи определяющей системы уравнений Лагранжа имеет вид
y1,k 1 |
y2,k 1 |
yn,k 1 |
c1,k |
0 |
|
|||
y1,k |
2 |
y2,k |
2 |
yn,k |
2 |
c2,k |
0 |
. |
|
|
|
|
|
|
|
|
|
y1,k |
n |
y2,k |
n |
yn,k |
n |
cn,k |
fk |
|
Определитель определяющей системы уравнений, построенный из фундаментальной системы решений и ее сдвигов называется определителем Касорати
|
y1,k 1 |
y2,k 1 |
yn,k 1 |
|
||
C |
y1,k 2 |
y2,k |
2 |
yn,k |
2 |
0 . |
|
|
|
|
|
||
|
y1,k n |
y2,k |
n |
yn,k |
n |
|
Отличный от нуля определитель Касорати соответствует линейно независимому набору фундаментальных решений однородного разностного уравнения.
Решая определяющую систему уравнений, например, методом Крамера, выразим разности варьируемых постоянных в виде
ci,k |
i C |
|
Cn,i,k 1 |
fk |
, |
C |
|
C |
|
||
|
|
|
|
где i C - определитель Касорати, в котором i - тый столбец заменен вектором правой части определяющей системы уравнений; Cn,i,k 1 -
алгебраическое
вычеркивания определителя i
дополнение определителя Касорати, полученное путем строки n и столбца i , что соответствует раскрытию C по i - му столбцу.
Далее, действуя на разности обратным разностным оператором, который определяется вычислением суммы функциональной последовательности, с точностью до постоянных суммирования, получаем выражения варьируемых постоянных
|
1 |
|
k |
Cn,i,m 1 |
fm |
|
ci,k |
ci,k |
|
ci |
|||
|
m 0 |
C |
|
|||
|
|
|
|
|
||
|
|
|
|
|
|
или
| 05_Холера |
| 1 |
| 10.4. Исследование регистров |
| 1112 |
| 12 |
| 1285 |
| 1560 |
| 1568 |
| 1604248853606027 |
| 1673 |