Эргодические марковские цепи
11.1. Определение. Однородная марковская последовательность называется эргодической, если существует предел , который не зависит от состояния и выполняются условия:
1) , 2) 
Замечание. Эргодические процессы, в отличие от обычных марковских процессов, "не помнят" точку старта.
Теорема 47 (достаточные условия существования эргодического распределения). Пусть - переходная вероятность за один шаг. Пусть существует такое, что . Тогда существует вектор , компоненты которого и , причем для 
Доказательство. Из соотношения Чепмена-Колмогорова, имеем
.
Обозначим: Покажем, что при . Действительно ,т. е. .
Аналогично устанавливается неравенство .
Из соотношения Чепмена - Колмогорова следует, что

Таким образом для и , имеем отсюда следует неравенство
. (27)
Аналогичным образом легко показать
(28)
Вычтем из (27) (28), имеем . Выбирая кратное (например ), получаем, что . Отсюда следует при .
Доказательство закончено.
11.2. Теорема 48. Пусть имеется однородная марковская цепь , а - переходная вероятность за один шаг. Пусть . Тогда
1) ;
2) либо 
3) если , то эргодического распределения не существует;
4) если то эргодическое распределение существует и единственно.
Доказательство. 1) .В силу леммы Фату .Рассмотрим т. е. 
Пусть существует индекс :
Следовательно

Мы пришли к противоречию. Значит наше предположение неверно, поэтому . (29)
2) Из утверждения 1) теоремы имеем
Значит для 

Устремляя в (29) , получаем 
3) Если вектор , то он не является распределением вероятностей. Следовательно пункт 3) - доказан.
4) , следовательно - распределение вероятностей.
Доказательство закончено.
Дата добавления: 2015-01-18 | Просмотры: 626 | Нарушение авторских прав
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
|