Файл: Казаков В.А. Введение в теорию марковских процессов и некоторые радиотехнические задачи.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і Р,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