1)
X(t) есть пуассоновский процесс с параметромλ, т.е.
2) Приращение пуассоновского процесса однородное.
Обозначим через X (( a,b ]) = X ( b ) – X ( a ) приращение процесса, которое может быть интерпретировано как число клиентов, поступающих в систему в промежутке ( a,b ]. Однородность означает выполнение условия:
P( X (( a,b ]) = k) = P( X ((0, b - a ]) = k) = P( X ( b - a ) = k),
т.е. распределение вероятностей числа клиентов, поступающих в систему в промежутке ( a,b ], зависит только от длины этого промежутка.
3) Приращения пуассоновского процесса независимы.
Рассмотрим промежуток (0, b ] и предположим, что он разбит на непересекающиеся промежутки (0, b 1], ( b 1, b 2], ¼, ( b N-1, b N]. Пусть b 0 = 0. Тогда X (( b 0, b 1]), X (( b 1, b 2]), ¼, X (( b N-1, b N]) – число клиентов, поступающих в систему в соответствующие периоды времени. Эти величины независимы, т.е.
P( X (( b 0, b 1]) = i 1, ¼, X (( b N-1, b N]) = i N) =
= P( X (( b 0, b 1]) = i 1) ××× P( X (( b N-1, b N]) = i N).
Доказательства этих свойств можно найти в [ ].
§
3. Процесс гибели и размножения
Построим процесс гибели и размножения X ( t ) «конструктивно».
Рассмотрим две последовательности и. Первая - отвечает за поступление клиентов в систему (размножение), а вторая - за обслуживание клиентов (гибель):
-
интенсивность поступления клиентов (число клиентов, которое поступает в систему за единицу времени, если в ней i клиентов).
-
интенсивность обслуживания клиентов (число клиентов, которое обслуживается в системе за единицу времени, если в ней i клиентов).
Кроме того, пусть заданы две независимые последовательности
независимых случайных величин с показательным распределением с параметром
=1.
Процесс X (t) строится так. Пусть
, где
. Тогда на интервале
процесс X (t) сохранит свое значение
, где
,
.
В момент t 1 значение процесса X ( t ) либо увеличится, либо уменьшится на единицу в соответствии с тем, какой из двух моментов
наступит раньше:

Мы положили, таким образом, значение процесса X (t) в точке t 1 равным
; тогда эволюция процесса X ( t ) на интервале
, где
и
, подчиняется тому же закону закону: X ( t ) не меняется на этом интервале в момент t 2
увеличивается на единицу, если
, и уменьшается на единицу в противном случае.
Если же
, то значение процесса X ( t ) увеличивается на единицу в случайный момент
.
Построенный таким образом процесс
, называется однородным по времени процессом гибели и размножения; его распределения полностью определяются набором параметров, и начальным распределением X(0): 
Удобно использовать следующую диаграмму для представления развития процесса X (t):

Стрелочки сверху соответствуют динамике процесса размножения: из i-го состояния процесс переходит в (i+1)-е состояние с интенсивностью
; стрелочки снизу соответсвуют динамике процесса гибели: с интенсивностью
процесс из i-го состояния переходит в (i-1)-е состояние.
Набор функций

описывает распределение процесса X(t); ниже мы приведем систему уравнений, которым удовлетворяют эти функции.
Отметим, что не всякому набору параметров
отвечает «невырожденный» процесс X(t); дело в том, что если числа
растут очень быстро при
, то процесс X(t) в конечный момент t может «взорваться», т.е. с положительной вероятностью превысить любой уровень и возрасти до
. Так ведут себя, например, популяция бактерий в благоприятной среде. Аналогично устроены процессы, описывающие химические реакции, приводящие к взрыву.
Процессы X(t), для которых все
, относятся к так называемым процессам чистого размножения. Процессы, для которых
, называют процессами чистой гибели.
Следующая лемма дает необходимые и достаточные условия на параметры
, которые гарантируют конечность процесса чистого размножения
с параметрами
.
Лемма. Пусть
процесс чистого размножения с параметрами
. Тогда для конечности процесса
необходимо и достаточно, чтобы расходился ряд
Пусть X(t) процесс гибели и размножения с теми же параметрами
процесса
, а также параметрами
. Очевидно, что
P(X(t) < ¥) ³ P(X+(t) < ¥).
Поэтому из леммы получаем следствие.
Следствие. Если для произвольного процесса гибели размножения X(t) выполнено условие
, то для любого
справедливо P( X(t) < ¥) = 1, т.е. процесс конечен.
Доказательство леммы можно найти в [ ].






