Файл: Казаков В.А. Введение в теорию марковских процессов и некоторые радиотехнические задачи.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 28.06.2024

Просмотров: 241

Скачиваний: 3

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

первого во второй. При расчете вероятностей перехода за три шага можно рассматривать уже два промежуточ­ ных момента: первый и второй, и вычисление вероятно­ стей pij(3) следует производить с учетом знания матриц перехода до и после промежуточного .момента [соотноше­ ние (1.8)].

Если рассматривать переход за п шагов, то в каче­

стве

промежуточного момента можно выбрать любой

s-й

момент

(l<;säg;/i—1). Тогда для вычисления веро­

ятностей рц(п) необходимо

знать

матрицы

перехода

P(s)

и Р(/г—s):

 

 

 

 

 

N

 

 

 

 

 

PU (") = S Pu (s) P n ( , l - s )

(1 1 °)

 

 

/=1

 

 

 

И Л И

 

P(n)=P(s ) -P(n—s),

(1.11)

 

 

т. е. матрица

перехода за ii

шагов

равна произведению

матрицы перехода за s шагов на матрицу перехода за (п—s) шагов. Поскольку мы рассматриваем однородные цепи Маркова, то выражение (1.11) будет справедливо для любого момента, выбранного за исходный.

Соотношение (1.11) в теории марковских цепей но­ сит фундаментальный характер и выражает связь меж­ ду вероятностями перехода для каких-либо т р е х по­ следовательных моментов времени. Это соотношение называют уравнением Колмогорова, уравнением Чепме-

на и, чаще

всего,

у р а в н е н и е м

К о л м о г о р о в а —

Ч е п м е н а.

 

 

 

 

 

До сих пор мы оперировали только условными веро­

ятностями,

однако

не меньший

интерес представляют

б е з у с л о в н ы е вероятности

состояний системы в

1, 2,

3, ..., п-й моменты

времени.

Для

их определения

необ­

ходимо использовать знание матрицы-строки вероятно­ стей начальных состояний Р0 :

 

Ро =

( ^ 0 ) .

pf.....pf).

(1.12)

Безусловная

(абсолютная)

вероятность

состояния Xj

после первого

шага

определяется выражением

 

 

РУ = ІР1?РЦ.

(1-13)

;=і отражающим тот простой факт, что система в первый мо­

мент времени может оказаться в /-м состоянии после

14


перехода из любого /-го начального состояния. Совокуп­

ность

безусловных вероятностей

состояний

р{[)

 

образу­

ют матрицу-строку Рі.

 

 

 

 

 

 

 

Выражение

(1.13) означает, что матрица-строка

вероят­

ностей

состояний

в .первый

момент

времени

Р — (р\1) ,

р[1\ ...

, р^)

равна

произведению

матрицы-строки

вероят­

ностей

начальных

состояний

Р 0

(1.12)

на

матрицу пере­

хода Р (1.2):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Р і = Р 0 Р .

 

 

 

(1.14)

Матрица-строка

вероятностей

состояний

в п-я

момент

времени Р П =

{"\

р{2п),...,

р^1))

определяется

соотноше­

нием

 

 

 

 

 

 

 

 

 

 

 

поскольку

 

 

Рп = РоР",

 

 

 

(1.15)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Р{;] =

І Р

Т Р

М -

 

 

 

(1.16)

 

 

 

 

 

*=і

 

 

 

 

 

 

В частном случае, когда начальное состояние системы

известно точно

1°) = 1,

/?( 0 ) =

0, k ф /), из (1.16)

имеем

р^п) =

р'"', т.^е. і-я строка

п-й степени матрицы

перехода

определяет вероятности состояний р^п)

в /г-й момент вре­

мени,

если процесс

начался

из состояния

ХІ.

 

 

Перейдем теперь к изложению вопроса о классифи­ кации состояний и цепей. Поскольку состояния и цепи Маркова классифицируются по весьма большому числу признаков І[1—4, 7] полное описание которых выходит за рамки книги, то мы коснемся здесь лишь основных опре­

делений.

 

ХІ

 

 

 

 

 

 

Состояние

называется

н е в о з в р а т н ы м ,

если

существуют

такое

состояние х,(/=^і)

и такое число ша­

гов «., что

pij(n)>0,

но pji(m)=0

для

всех т.

Все

остальные

состояния

называются в о з в р а т н ы м и .

Та­

ким образом,

из невозвратного

состояния

всегда можно

с положительной вероятностью за какое-то число шагов перейти в некоторое другое состояние, в то же время вернуться из этого другого состояния в первоначаль-ное невозможно. Возвратные состояния предполагают воз-

15


можность

и

обратного

перехода,

причем

число

шагов

при прямом и обратном переходах не фиксируется.

Если выбрать такие состояния х,- и Xj,

что для них

при некоторых пит

выполняются

неравенства

рц(п)>

>0, pji(m)>0,

то

они

называются

 

с о о б щ а ю щ и м и ­

с я . Очевидно, если

Xj

сообщается

с х ь а

я,- с х ь то Xj

сообщается

с

хн.

Это

обстоятельство

позволяет множе­

ство возвратных

состояний разделить

на

классы

(под­

множества) сообщающихся состояний. Состояния, при­ надлежащие к различным классам, не сообщаются между собой. Если множество возвратных состояний со­

стоит

из

одного

класса, то

оно называется

э р г о д и ч е -

с к и м.

 

 

 

 

Из

определения невозвратного состояния следует,

что если

процесс

выходит

из невозвратного

множества,

то он никогда уже не может вернуться в это множество. В то же время, если процесс попадает в какой-либо класс сообщающихся состояний, то, опять-таки по опре­ делению, процесс никогда не покинет этого класса. Естественно, что множество сообщающихся состояний может включать в себя большее или меньшее число со­ стояний. В частном случае оно может состоять из одного

состояния,

которое

называется п о г л о щ а ю щ и м .

Дей­

ствительно,

в это

множество-состояние процесс

может

войти из невозвратного множества, но выйти из него не

может. Это

означает,

что для поглощающего состояния

ХІ вероятности перехода подчиняются условиям:

рц=\,

Ра=0.

 

 

 

Наличие

в системе

поглощающих состояний

ради­

кальным образом изменяет характер процесса по срав­

нению

со случаем отсутствия таких состояний. В

связи

с этим

цепь называется п о г л о щ а ю щ е й , если

среди

всех состояний имеется хотя бы одно поглощающее. По­ глощающая цепь непременно содержит в себе два мно­ жества: множество возвратных состояний, состоящее по крайней мере >из одного элемента — поглощающего со­ стояния, и невозвратное множество.

Марковская цепь может и не содержать невозврат­ ного множества. В этом случае она состоит из множе­ ства всех возвратных состояний, которое может вклю­ чать в себя несколько классов сообщающихся состояний. Но поскольку, классы сообщающихся состояний не со­ общаются между собой, то каждый класс можно рассма­ тривать в отдельности. По этой причине цепи Маркова,

16


не содержащие невозвратных множеств и ооразующие

эргодическое

множество,

называются

э р г о д и ч е -

с к и м и .

 

 

 

 

Примерами,

описывающими

случайное

блуждание

частицы (§.1.2), можно проиллюстрировать

большинство

из введенных определений.

Хі и х$ поглощающие, следо­

В примере 2 состояния

вательно, они образуют два вырожденных

класса воз­

вратных состояний. Состояния

х% хз, ХІ невозвратные,

они образуют одно множество невозвратных состояний. Цепь Маркова в этом случае поглощающая. На сигналь­ ном графе (рис. 1.1) поглощающие состояния хі и Хь— состояния без выхода.

В примере 3 матрицы перехода описывают эргодические цепи Маркова, поскольку поглощающие состояния отсутствуют и все состояния образуют один класс со­ общающихся •состояний. Вследствие этого сигнальные графы, изображенные «а рис. 1.2—1.4, не содержат всебе состояний без выхода.

Свойства поглощающих и эргодических цепей изу­ чаются в следующих параграфах.

1.4.Поглощающие цепи Маркова

Из рассмотрения примеров § 1.2 следует, что вид матрицы перехода (размещение " ее элементов) полно­

стью зависит

от нумерации

состояний.

Перенумеруем

в примере 2 сначала все поглощающие

состояния,

а за­

тем все остальные." От такой

операции

процесс

в си­

стеме и характер

цепи не изменится, в то же время ма­

трица перехода примет иной вид.

 

 

 

 

 

Для удобства

составим таблицу.

 

 

 

 

Прежнее обозначение

 

 

 

хг

 

х3

*4

 

Новое обозначение

 

 

 

X',

 

х\

х\

X's

Тогда матрица перехода (1.3) преобразуется к виду

Р'и

Р"іг

/ . 4

/ 1 5

!

0

0

0

0

 

 

Р'и

Р'гз РІ2і Р,

0

1

0

0

0

 

Р'а

Р'ч

/Лз /3 4

Р'ьъ

Я

0

0

р

0

(1.17)

Л .

Р'ла

Л з

Р\і

P'ts

0

0

я

0

р

 

Л і

Уб2

Л з

Р"б4. Л В

0

р

0

я

0

 

2—186

 

 

 

 

 

 

 

 

17


где

штрихи означают, что

соответствующие вероятно­

сти

относятся к состояниям

с новыми обозначениями.

В дальнейшем будем использовать только новую нуме­

рацию состояний, поэтому штрихи в обозначениях

будут

опущены.

 

 

 

 

 

 

 

 

 

 

 

Проведем

разбиение матрицы перехода

(1.17) на под­

матрицы

следующим образом:

 

 

 

 

 

 

 

РііШРіі

Pu

Pu

Pu

1

0

0

0

0

 

Р =

ІРИ

Pit

P23

Ры

Ргь

0

1 " 0

0

0

 

.Psi

rPiu

Рзз

Рзі

Рзь

q

0

0

р

0

(1.18)

 

 

 

P-13

Р.ы

Pu

0

0

Q

0

р

 

 

J A i

РЪ2*

Рьз

РВІ

Ръъ

0

р

0

q

0

 

Обратим внимание на то, что левая верхняя подматрица представляет собой единичную матрицу, порядок кото­ рой определяется числом поглощающих состояний в це­ пи. При этом правая верхняя подматрица обязательно состоит из одних нулей. ^

Левая нижняя подматрица включает в себя элемен­ ты, характеризующие /переход из невозвратных состоя­ ний в поглощающие. Наконец, правая нижняя подма­ трица описывает поведение процесса в множестве не­ возвратных состояний до перехода в поглощающие со­ стояния.

Введем для подматриц матрицы (1.18) специальные обозначения

(1.19)

и предположим, что в цепи имеется s невозвратных и г—s поглощающих состояний. Тогда подматрицы 'матри­

цы Р будут

иметь следующие

размерности:

 

 

I = I(r_s),(j^-8)»

О =

0(r _s )i S ,

 

 

 

R = Rs,(r—8)1

Q -

Qs,s-

 

 

Представление матрицы

перехода

в виде (1.19)

назы­

вается к а н о н и ч е с к о й

формой

записи

[3, 7].

 

Основная

особенность

поглощающих

цепей

состоит

в том, что при увеличении числа

шагов

(п*-оо)

веро­

ятность попадания процесса в поглощающее состояние равна единице. Это означает, что с ростом п элементы

18