Indications of some proofs:
1)
independent Poisson processes rates
,
. Let
be the event of 2 or more points
in
in the time interval
,
, the event of exactly
one point in
in the time interval
.
Let
and
be the corresponding events for
.
Let
denote the history of the processes up to time
; we
condition on
.
We are given:
Note that
Since
Next let
be the event of no points in
in the time interval
and
the same
for
.
Then
2) The infinitesimal approach used for 1 can do part of this.
See text for rest. Events defined as in 1):
The event
that there is one point in
in
is the event,
that there is exactly one point in any of the
processes together
with a subset of
where there are two or more points in
in
but exactly one is labeled
. Since
Similarly,
is a subset of
so
3) Fix
. Let
be the number of points
in
. Given
the conditional distribution of
is Binomial
with
. So
![]() |
||
![]() |
||
![]() |
||
![]() |
||
![]() |
||
![]() |
||
![]() |
4): Fix
for
such that
![\begin{multline*}
B \equiv \\
\bigcap_{i=1}^n \{N(s_{i-1}+h_{i-1},s_i]=0,N(s_i,s_i+h_i]=1\}
\\
\cap \{N(s_n+h_n,T]=0\}
\end{multline*}](img84.gif)
![]() |
||
![]() |
||
![]() |
Divide by
and let all
go to 0 to
get joint density of
is
5) Replace the event
with
. With
as before we want
![\begin{multline*}
P(A\vert T < S_{n+1}< T+h)
\\
= \frac{ P(B,N(T,T+h] \ge 1)}{P(T < S_{n+1}< T+h)}
\end{multline*}](img94.gif)
We are left to compute the limit of
![\begin{multline*}
\sum_{k=0}^n P(N(0,T]=k,N(T,T+h]=n+1-k)
\\
+o(h) = P(N(0,T]=n)\lambda h+o(h)
\end{multline*}](img99.gif)
![]() |
![]() |
|
![]() |
The idea of hazard rate can be used to extend the notion of Poisson
Process. Suppose
is a function of
. Suppose
is a counting process such that
Jargon:
is the intensity or instaneous intensity
and
the cumulative intensity.
Can use the model with
any non-decreasing right continuous
function, possibly without a derivative. This allows ties.
Imagine insurance claims arise at times of a Poisson process,
,
(more likely for an inhomogeneous process).
Let
be the value of the
th claim associated
with the point whose time is
.
Assume that the
's are independent of each other and of
.
Let
Useful properties: