ПУАССОНОВСКИЙ ПРОЦЕСС

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

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

.

Чтобы ввести понятия, подходящие и для других процессов из этой главы, мы выберем начало отсчета времени и будем говорить, что в момент времени система находится в состоянии , если между 0 и произошло ровно скачков функции . Тогда равняется вероятности состояния в момент , однако может быть также описана как вероятность перехода из произвольного состояния в произвольный момент времени в состояние к моменту . Теперь наше нестрогое описание процесса мы преобразуем в свойства вероятностей .

 

Здесь обязательно дать рисунки с точками на интервале [0, 1] с последовательным уменьшением h.

 

 

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

. (2)

Физическая картина процесса требует также, чтобы скачок обязательно приводил из состояния в соседнее состояние , и отсюда вытекает, что математическое ожидание числа подынтервалов (длины ), содержащих более чем один скачок, должно стремиться к 0. Поэтому мы должны предположить, что при

. (3)

Чтобы окончательно сформулировать постулаты, запишем (2) в виде , где (как обычно) обозначает величину, по порядку меньшую чем . (Точнее говоря, означает такую величину, что при ). С учетом этого (3) эквивалентно соотношению . Сформулируем теперь следующие постулаты.

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

Наши постулаты носят чисто аналитический характер, и их достаточно, чтобы показать, что мы должны иметь

. (4)

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

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

.

Вторая возможность состоит в том, что в момент времени система находится в состоянии и между и происходит в точности один скачок. Вероятность этого равна

.

Любое другое состояние в момент потребует более одного скачка в интервале между и , и вероятность подобного события есть .

Следовательно, мы должны иметь

, (5)

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

. (6)

При последний член стремится к нулю; следовательно, предел левой части существует и равен

. (7)

При вторая и третья из упомянутых выше возможностей не возникают, и поэтому (5) следует заменить на

, (8)

что приводит к

. (9)

Отсюда и из получаем . Подставляя это значение в (7) при , мы получим обыкновенное дифференциальное уравнение для .

Легко проверить путем подстановки в формулу (7) и проверки тождества левой и правой частей, что , . Поскольку , мы легко находим, что

,

,

,

… ,

а это полностью согласуется с (4).