Файл: Ганин, М. П. Прикладные методы теории марковских случайных процессов учебное пособие.pdf

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

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

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

Добавлен: 17.10.2024

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

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

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

Аналогично находим

 

P [ X (t l) =

xklIX(tl_ l) =

xh_ l1 =

 

 

 

 

/ - 1

у

 

 

 

 

 

 

 

Хъ.1

V

: X-

 

 

 

 

= р ( S

уш

^_I

* «

ч^ ) = Р[У1 = * Ч - * к н ). (U8)

К»/

s-0

 

 

VS-0

 

1‘

 

 

 

 

 

 

Из сравнения (1.16)

с

(1.18) следует,

что при любом I справед­

ливо равенство

 

 

 

 

 

 

 

 

Р [X (tt) = xkJX (f0) =з x Ku, X

(tt) = х 1(„

. .

. , X (*,_,) =

Х ^ ] =

 

=

^ [^ U i) =

JCk,/^(^/-i) =

JCki_ 1] •

(1.19)

Следовательно, случайный процесс с независимыми прираще­ ниями является марковским случайным процессом.

§ 2. ВЕРОЯТНОСТИ ПЕРЕХОДА

Теория марковских случайных процессов с дискретными ордина­ тами и непрерывным временем широко используется при анализе функционирования различных физических систем, называемых си­ стемами массового обслуживания. Каждая из таких систем в любой момент времени t находится в одном из N -{- 1 состояний С0, Си ...

••., CN и переходит скачкообразно из одного состояния в другое в произвольные моменты времени. Вероятность нахождения си­ стемы в любом состоянии в момент т > t зависит только от номера состояния, в котором находилась система в момент t, и не зависит от того, каким образом система пришла в это состояние и сколько времени уже находилась в этом состоянии. Исследование функцио­ нирования физической системы, условная вероятность перехода ко­ торой из одного состояния в другое зависит только от двух момен­ тов времени — настоящего t и будущего т, эквивалентно исследова­ нию поведения марковского случайного процесса X(t) с дискрет­ ными ординатами и непрерывным временем. Равенству X(t) = х к при этом ставится в соответствие нахождение физической системы в момент t в состоянии Ck (k = 0, 1, . .. , N). В этом случае гово­ рят, что марковский случайный процесс с дискретнымиординатами и непрерывным временем «протекает» в физической системе, т. е. марковский процесс описывает изменение состояний этой системы во времени. Следовательно, можно говорить о функционировании физической системы как об изменении марковского случайного про­ цесса с дискретными ординатами и непрерывным временем и, наобо­ рот, об изменении марковского случайного процесса как о функцио­ нировании физической системы, т. е. эти понятия можно отож­ дествлять.

9



Основная задача изучения

марковских случайных процессов

с дискретными ординатами и

непрерывным временем состоит

в отыскании вероятностей (1.9). Для физической системы функ­

ция /?kj- (/,

т) является вероятностью того, что

в момент t

система

находится

в состоянии Ск, а в момент т > 7 — в состоянии Сj, по­

этому

 

 

 

 

Rkj(t,

i) = P[X(t) = xk,

X ( * ) = Xl] = P ( t ,

Ск; х, С,)

(2.1)

 

j =

0, 1, .. ., N).

 

 

Вместо функций Rkj (t, т) можно также определять вероятности (1.10) всех возможных значений случайной функции X(t) и услов­ ные вероятности (1.11), которые также полностью характеризуют марковский случайный процесс. Для физической системы функция

Рк (0 — вероятность

того,

что в момент

t система

находится

в

со­

стоянии Ck, а Ркj (t,

т) — вероятность

пребывания системы

в

мо­

мент т > t

в

состоянии Cj,

если в момент i система находилась

в состоянии

Ск (к, j = 0,

1,

.... N). Данные функции представим

в виде

 

 

 

 

 

 

 

 

 

 

 

Рк (t) =

Р [ Х (t) = х к] = Р (t, Ck)

 

(2.2)

 

 

 

(k =

0, 1, ... , Л0;

 

 

 

Pki (t,

х) = Р [ Х (X) =

x-JX{t) = хк\ = Р { X,

C-Jt, Ck)

 

(2.3)

 

 

 

(k,

у— 0, 1,

 

 

 

 

Определяемая формулой (2.3) функция Pkj (t, т) называется ве­ роятностью перехода из состояния Ск в состояние Cj. Непосред­ ственно из определения следует, что при т = £ данная функция равна 0, если кФ /, и равна 1, когда к = /, т. е.

РцУ,

t) = 8k j ,

(2.4)

_ j

1

при к — / ;

(2.5)

1

0

при k ф У.

 

Так как P kj (t, т) — вероятность, то при любых значениях аргу­ ментов /, т и при любых индексах k, j

О < Pkj (t, х) < 1.

(2.6)

Суммируя вероятности (2.1) по всем возможным значениям вто­ рого индекса, находим

2

#kj (*, 1) =

Р [ Х (t) = jck] = Pk {t)

(2.7)

j-0

 

 

 

 

(* =

0, 1, ..., N).

 

10


Так как

Л<] V, т)

Rkj(t,

-с)

N) ,

( 2.8)

p k ( t )

/ = 0, i,

k i ^,

v

 

 

 

то с учетом (2.7)

получаем

 

 

 

2

Ло V,

Т) = 1

(k = 0, 1,

N).

(2.9)

i=o

 

 

 

 

 

Для физической системы последнее равенство означает, что если в момент t система находится в состоянии Ск, то в момент x^-t эта система будет находиться в одном из ЛГ+1 возможных состояний Сj (; = 0, 1, N). Применительно к марковскому процессу X(t) с дискретными ординатами н непрерывным временем равенство (2.9)

означает, что если в

момент t

справедливо равенство

X[t) — Хк,

то в момент т >

t эта

функция примет какое-либо одно из N + 1

возможных значений

Xj (/ = О,

1,

... , N) . Поэтому совокупность

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

х)

(/ =

0,

1,

N), связанных

равенством

(2.9), при фиксированных

t, т,

k и

заданных значениях х0, хи ...

. .. , х N образует условный ряд распределения случайной величины

•Х(т), когда X(t) — хк.

 

 

 

 

 

Следует отметить, что существуют так называемые нерегуляр­ ные, или вырожденные, марковские процессы с бесконечным чис­

лом возможных значений, т.

е. при А/” =

оо,

для

которых вместо

очевидных, на первый взгляд,

соотношений (2.9) имеют место нера­

венства

 

 

 

 

 

2 Ло (t, *) <

1

(^ = 0 , 1 , . . . ) .

(2.10)

j=o

 

 

 

 

 

Пусть, например, случайная функция

X(t)

принимает последо­

вательно одно за другим значения

X j = j

(/ =

0,

1, ...). При этом

так называемом марковском процессе чистого размножения случай­

ная функция X(t)

некоторое время равна 0, затем 1, после 2 и т. д.

Если обозначить через

время,

в течение которого имеет место

равенство X ( t ) = s

(s =

0, 1, ...),

то суммарное время, за которое

 

 

 

оо

случайная функция X(t)

примет все значения, будет Т= ^ Ts . Это

 

 

 

s=0

время случайное. Математическое ожидание данной случайной ве­ личины

оо

Ж(7’) - 2 ^ ( 7 ’з).

(2.11)

s=0

 

Когда число N +1 возможных значений случайной функции X(t) ограничено, при процессе чистого размножения эта функция за ко­ нечное время достигает наибольшего значения x n = N и остается равной этому значению, а потому М(Т) = с о . Если число возмож­

11


ных значений бесконечно большое, т. е. N = c o , а математическое

ожидание времени Ts,

в течение которого случайная функция X(t)

равна s, не стремится

к нулю с ростом s, т. е. МтМ(Тъ) Ф 0, то

 

S -* оо

также М(Т) = с о , так как при этом не выполняется необходимое условие сходимости ряда (2.11). В данном случае случайная функ­ ция X(t) последовательно принимает возможные значения Xj — j (/ = 0, 1, ...), но за ограниченное время от t до т все значения при­ нять не может, что подтверждается равенством М{Т) — со.

Неравенство М ( Т ) < со возможно только в том случае, если выполняется необходимое условие сходимости ряда (2.11), т. е. при lim М ( Ts) = 0 . Тогда Af(T') можно понимать как среднее время

до того момента, как функция X(t) станет равной бесконечности.

Разность 1 — ^2

т) есть вероятность того, что Х(т) = оо. Если

М(Т) < оо,

J-0

 

 

 

 

 

 

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

т > / вероятность равенства

X (т) =

°° отлична от нуля. Но

тогда

1 —

")=РО,и потому имеет место неравенство

(2.10). Сумму

j=0

 

 

 

 

 

 

 

оо-

 

 

 

 

 

 

 

2 Pkj (t, т)

можно

понимать

как

вероятность того,

что за

время

j=*=о

 

функция

X(t)

примет только конечное

число

от t до т случайная

 

 

00

 

 

 

 

 

значений.

Разность

1 — 2

Ли

т)

ПРИ этом будет вероятностью

 

 

i=o

 

 

 

 

 

того, что за время от t до т случайная функция примет оставшиеся возможные значения, число которых не ограничено. Для нерегуляр1 пых марковских процессов последняя вероятность отлична от нуля.

Таким образом, равенства (2.9) не справедливы, если за ограни­ ченное время случайная функция X(t) может принять бесконечное число ее возможных значений, т. е. если возможен своего рода взрыв, что имеет место, например, при, радиоактивном распаде. В дальнейшем будем рассматривать только регулярные марковские процессы, для которых условные вероятности Ркj (t, т) связаны ра­ венствами (2.9). Для обеспечения этих равенств, называемых усло­ виями регулярности процесса, должны выполняться дополнитель­ ные условия, определяемые в процессе получения аналитических выражений для функций Pw(£, т) (k, / = О, 1, ...).

Получим соотношение, которое существует между условными вероятностями Ящ (^> т) при различных аргументах. Для этого вос­ пользуемся формулой полной вероятности

Р(А) = 11Р(Н1)Р(А1И1).

(2.12)

i - °

 

Пусть событие А означает, что в момент т случайная функция Х(1) равна Xj, если в момент t было равенство X ( t ) = x K, Тогда

12