6.6. Полумарковские процессы

Пусть

Определение 6.25. Последовательность случайных векторов ((?,„,7;);п = 0,1,2,...), где принимает значения в X, Тп в М+, называют

полумарковской последовательностью, если для любого п> 1 выполнено соотношение

Компонента носит название ведущей компоненты, компонента Тп — сопровождающей компоненты полумарковской последовательности, Qy(0 называют переходной функцией.

Для проверки полумарковости вместо соотношения (6.15) удобно проверять следующие свойства условной зависимости:

Лемма 6.1. Последовательность ((n,Tn);n = 0,1,2,...) удовлетворяет соотношению (6.15) тогда и только тогда, когда она удовлетворяет соотношениям (6.16) и (6.17).

Будем считать, что с вероятностью 1 Г0 = 0. Сконструируем СП {?,(?); t е R+} следующим образом:

Для того чтобы процесс был определен для всех t > 0, будем считать, что на любом конечном отрезке времени [0; ?] может произойти лишь конечное число скачков ^(?). Построенный таким образом процесс {^(?); t > 0} называют полумарковским процессом (ПМП), построенным по полумарков- ской последовательности (?„, Тп). Реализация такого процесса может быть осуществлена следующим образом. Зададим начальное распределение (Р,(0) = Д{^о = г)>г е ^0- Пусть г0 — значение, которое приняла СВ в соответствии с этим распределением. Далее разыгрываем значение вектора (?,, Тх) в соответствии с распределением (),•,(?); пусть оно равно (г), р). Тогда реализация q(t) на [0; /:,) будет равна i0. После этого разыгрываем значение вектора (%2, Т2) в соответствии с распределением QjXt), и пусть оно равно (i2, t2). Тогда реализация %(?) на [?,; ?, + ?2) будет равна г, и т.д. Типичная реализация полумарковского процесса представлена на рис. 6.3.

Рас. 6.3. Пример реализации полумарковского процесса

Реализации ПМП являются непрерывными справа ступенчатыми функциями. По формуле умножения вероятностей если Р{с,„ = j / ?,„_| = *} = Рц * 0, то Qjj(t) = PjjFy(t), гдеFjj(t) = Р{Тп = г}. F^t) можно интерпретировать как функцию распределения времени пребывания t,(t) в состоянии г, если известно, что следующим состоянием будет/ Если рассматривать ^(?) в случайные моменты 0, 7), Г, + Т2, 7’, + Т2 + Т3, .... то $(0) - q(7’,) = qt, q( 7) + Г2) = Ъ,2,.... Такой процесс называется вложенным в случайный процесс <;(?). В данном случае вложенный процесс является цепью Маркова с матрицей переходных вероятностей (Ру). Если Pi} = 0, то (/(?) = 0, и можно записать Qy(t) = РуРу(?), где в качестве //(?) можно взять любую функцию распределения. Таким образом, ПМП полностью характеризуется следующими величинами:

  • 1) матрицей перехода (Ру)',
  • 2) матрицей функций распределения (F^t));
  • 3) начальным распределением {Р,-(0), i е X}.

Назовем полумарковский процесс вполне регулярным, если для V iX Р{Тп >0,п = 1,2,.../?0 =i} = l, т.е. у ПМП не должно быть мгновенных состояний. Можно показать, что, для того чтобы вполне регулярный ПМП представлял собой стохастически непрерывную справа регулярную однородную цепь Маркова с непрерывным временем, необходимо и достаточно выполнения равенства Qij(t) = Pij( где (Ру) — стохастическая матрица; Xj > 0; i,j е X. При этом если цепь Маркова без поглощающих состояний, то

Следовательно, ПМП будет марковским тогда и только тогда, когда времена пребывания в состоянии не зависят от того, каким будет следующее состояние, и имеют показательные распределения.

 
Посмотреть оригинал
< Пред   СОДЕРЖАНИЕ   ОРИГИНАЛ     След >