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

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

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

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

Добавлен: 17.10.2024

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

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

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

Выражение (2.14) для вероятности Р, (t) того, что в момент t справедливо равенство X(t) = Xj, переписывается в виде

 

к=0

 

(з-з)

 

 

 

(/ = 0, 1.....JV).

 

Для вероятности (2.1)

при

однородном марковском

процессе

с помощью (1.12) находим

 

 

 

#bj(t,-')=Pb(t)Puj ( x - 0

(3.4)

(k,

/ = О,

1, . . . , JV).

 

Вероятности (3.3) в общем случае зависят от t, а потому опре­ деляемые формулами (2.15) и (2.16) математическое ожидание и дисперсия однородного марковского процесса X(t) не постоянные. Из (3.4) видно, что функция R^(t, т) зависит от t и т — t. Поэтому определяемая формулой (2.23) корреляционная функция Kx(t, т) зависит от t и от т, а не от разности х t. Следовательно, однород­ ный марковский процесс не является стационарным даже в ши­

роком

смысле.

В частном случае, когда

вероятности

Pj it)

(/' = 0,

1, ..., N)

не зависят от времени, однородный

марковский

процесс стационарен в широком смысле.

процесс

X{t)

будет

Определим, при каком условии случайный

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

непрерывным временем.

Пусть t, t' и х — произвольные

моменты

времени, причем t < V <

т. Вероятность Р( хj; t, т) того,

что в ин­

тервале от t до х случайный процесс X(t) имеет одно и то же зна­ чение Xj (или физическая система находится в состоянии Cj), райна произведению аналогичной вероятности Р(хj; t, f) для интервала от t до V на условную вероятность P(Xj; t', x/Xj; t, t') того, что случайный процесс X(t) равен Xj в интервале от t' до т, если такое равенство было в интервале от t до Р. Поэтому справедливо соот­ ношение

Р(Х£ t, т ) = Р Ц ; t, П Р ( Х Г, t', t, f ) (3.5)

(/ = 0 , 1,

Для однородного марковского процесса вероятности перехода за­ висят только от длины временного интервала. Поэтому справедливы равенства:

Р (хр

t, х) = Р (х,;

х - f);

Р (х,; t, f )

= Р (хр t ' - t ) .

 

В марковском процессе отсутствует последействие, а потому

условная

вероятность

P(xi ; Р,

т/x j;

t, f)

не

зависит

от

того,

сколько времени до момента Р случайный процесс X(t)

был равен

Xj. Следовательно, эта

условная

вероятность

отличается

от

Р (х 5; t, т)

только тем,

что начало отсчета времени из точки t пере­

18


мещено в точку t', т. е. Р( хj; t\ х[х) -1 t, V) — Р ( х j; t\ т). Поэтому для однородного марковского процесса соотношение (3.5) перепи­ сывается в виде

 

Р (*р

x — t ) = P (JCj-;

f — t)P (X; ;

т — t')

 

или, что то же самое,

 

 

 

 

 

 

 

 

 

Р ( х j;

1 + ъ) = Р ( ъ ;

Z)P{*i,

уд

(3.6)

 

 

 

(/ =

0,

1,

. .. ,

N),

 

 

где \ =

t' — t\ т| = т — tr.

 

 

 

 

 

 

 

Вероятности P(x j; t)

являются дифференцируемыми функциями.

В результате дифференцирования (3.6) находим:

 

 

д 5 +

Уд =

Р' {Xi;

И - т,) =

Р' {xj;

S) Р (jcj;

т,);

a

p (xr, t +

т,) =

Р' (*j5

1 + х д ^ Р (хj; S) Р' (Л-

(3 J )

7() .

Из этих равенств следует, что

 

 

 

 

 

х

Р'С*р £)Р(л:р

^) =

^(^-;

^)Р'{Х\\ уд,

 

 

 

 

 

 

 

 

 

 

 

 

 

P'l*j;

5)

_

P'(Xj]

уд'

 

 

 

 

P(Xji 6)

P{Xj-,

r,)

 

 

Последнее равенство возможно только в том случае, если при лю­ бом t

 

P'(Xj,

t)

const.

 

 

(3.9)

 

Р { х j;

t)

 

 

 

 

 

 

 

 

Интегрируя (3.9), получаем P(xj;

t ) = C e

V .

Так

как

P(xTj;0) = l,

то C — 1. Из

P(Xj‘, 0 ^ 1

следует,

что

постоянная

T j > 0 .

 

 

 

 

 

 

 

Таким образом, для однородного марковского процесса вероят­

ность Р(хj ; t)

можно представить в виде

 

 

 

 

 

Р (xr, t) = е~~Ч1 (/ = 0,

1,

. .. , N).

 

 

(3.10)

Пусть случайная величина Тj означает время,

в течение

кото­

рого случайный процесс X(t)

равен Х\. Тогда

 

 

 

 

Р ( 7 } < : * ) = 1 - Р ( * р 0

=

1 — e_7J*

 

(3-11)

 

(/ — 0, 1, . . . ,

N).

 

 

 

Последнее выражение совпадает с функцией распределения при по­ казательней (экспоненциальном) распределении. Поэтому ив усло­ вия отсутствия последействия в однородном марковском процессе следует, что случайное время Ти в течение которого справедливо

19



равенство X ( t ) ~ X j ,

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

метром jj. Плотность распределения

этой случайной величины

/j(£) = Tjg

fj ( * > 0 ) .

Параметр fj

связан с математическим

ожиданием

ij

случайного времени Tj равенством fj — -=— •

Постоянная

fj может быть любым

неотрицательным числом.

Если 7j—0, то соответствующее возможное значение Xj случайного процесса X(t) (пли состояние Cj физической системы) называется поглощающим. Приняв поглощающее значение Xj, случайный про­ цесс X(t) в дальнейшем не изменяется, а физическая система после

перехода в поглощающее состояние

Cj навсегда остается в этом со­

стоянии, так

как

при. этом £ j= оо ,

а Р( Ti >

£) = 1 при любом /.

Значение х,,

или состояние физической системы Сj, называется

мгновенным,

если

fj = со.

Математическое

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

в течение которого случайный процесс X{t) равен мгновенному воз­

можному значению Xj, равно

нулю;

попадая в это значение, слу­

чайный процесс мгновенно его изменяет. В приложениях марков­ ские процессы с дискретными ординатами обычно имеют так назы­

ваемые устойчивые значения,

а физические

системы — устойчивые

состояния, для которых 0

Yj < оо (/ = 0,

1, . . .).

Убедимся в справедливости обратного предположения о том, что только при показательном законе распределения случайного вре­ мени Тj сохранения случайным процессом X(t) ранее принятого значения xt этот случайный процесс является марковским. Для этого покажем, что при указанном условии в случайном процессе отсутствует последействие, т. е. вероятность сохранения случайным

процессом X(t) принятого ранее значения Xj

не

зависит от тогу,

сколько времени функция X(t)

уже равна этому значению.

Отсут­

ствие последействия означает выполнение равенства

 

Р(хр £', т/хj;

£, t') =

P(x j; f, т)

 

(3.12)

(У = 0 ,

1,

M ) ,

 

 

 

которое для однородного процесса можно записать в виде

 

P iTj < ^ - t l T j > t ' - t ) =

P(Ti < r - t ' ) ,

(3.13)

где £ < £' < т.

 

 

 

 

 

Для доказательства (3.13) воспользуемся равенствами

 

P ( t ' - t < Tl < * - t ) =

P(Ti > £ ' — £;

7} <

т - *) =

 

= P ( T j > t ' ~ t)P{Tj < т -

t/Tj >

£' -

t).

 

Так как случайная величина Тj имеет показательное распреде­ ление, то функция распределения этой случайной величины

Fj(t) = P ( r j < t ) = 1 - < г Д .

(ЗЛ4)

20


Тогда

 

 

 

 

Р (Tj> t' t) = e “ Tj(t ”l) ;

 

P { f — t < T i < z ~ t ) =

Fi [ x - t ) - F i{t, - t )

=

- [1 - <?-TJ(T-t)] -

[1 - e-1i(t' ~l)] = e~4v - ‘Ml -

.

r

 

 

1

 

С помощью этих равенств получаем

 

 

р {Tj < ' — t/Tj> t ' — t) =

 

 

=

= 1 -

e_7j(T- ‘,) =

P ( Tt < t - t' ) ,

 

что совпадает с (3.13).

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

В общем случае из условия отсутствия последействия в марков­

ском процессе следует равенство

 

 

 

 

 

 

 

 

 

=

\ - P ( x f ,

t,

т ) = 1

- в

''

 

,

(3.15)

где

Т; (ё) — неотрицательная

функция.

Если

 

вероятность

Р ( Г) <

т — I) можно

представить

в виде (3.15),

то

X(t)

является

марковским процессом.

 

 

случайный процесс с дпскрет-

Итак, если X ( t ) — марковский

ными

ординатами

и

непрерывным

временем,

то

вероятность

P ( 7 j > T — t ) — P(Xf; t,

т)

того,

что

этот

процесс

до

момента т

не сменит значения x jt которое было в момент t,

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

мулой

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

\ Tj(5) dS

 

 

 

 

 

 

 

Р(лу,

t, z) =

e

1

 

 

 

 

(3.16)

 

 

 

O’ — 0, 1,

. .. ,

N),

 

 

 

 

 

причем для неоднородного процесса fj (£) — неотрицательная функ­ ция (в общем случае зависящая от номера / возможного значения Xj), а при однородном процессе рр— неотрицательная постоянная.

21