Documente Academic
Documente Profesional
Documente Cultură
Renewal Theory.
A Markov Chain Approa
h
In this note we will introdu
e the basi
on
epts from renewal theory and prove the
renewal
onvergen
e theorem.
n n
Y0 a
and for n 2 N
Y p:
We will think of the sto
hasti
pro
ess Y as random waiting times between the
o
urren
e of \something", and this something will be referred to as a renewal.
Initially we wait Y0 before the rst renewal takes pla
e, and if n renewals have taken
pla
e, we wait Y before the next renewal o
urs.
The total waiting time before the n + 1'th renewal
n
S =
X
n
i=0
is
alled a delayed renewal pro
ess with delay distribution a and in
rement distribution p, and with this pro
ess we asso
iate the forward re
urren
e time
hain
V + = inf fS
n
n j S > ng;
m
n 2 N 0:
This pro
ess will at ea
h renewal jump to the waiting time before the next renewal,
and then deterministi
ally go down by one until the next renewal o
urs. It is a
Markov
hain on N with initial distribution a and transition probability matrix
0
B
B
P =B
B
B
:::
:::
:::
:::
...
1
C
C
C
C
C
A
Niels R. Hansen
P
Now put m = 1=1 jp(j ) { the mean value for the in
rement distribution. If
m < 1 we
an dene a probability measure
1
1 X
(n) =
p(j ) n 2 N ;
m =
p
= P;
We will study the long term behavior of this pro
ess, more pre
isely the probability
for a time to be a renewal time and show that in the long run this is approximately
m 1 and thus independent of the delay distribution. This is done via a so
alled
oupling argument.
Let (S ) 2N0 and (Se ) 2N0 be two independent renewal pro
esses with the same
in
rement distribution p but with dierent delay distributions a and b, and let (V + )
and (Ve + ) be the
orresponding forward re
urren
e time
hains. Put
p
n n
n n
P
((1 1) < 1) = 1:
a
Proof:
N = fn j P (x; x) > 0g
n
ontains x and all numbers of the form x + y for p(y ) > 0. Sin
e p is aperiodi
g
d(N ) = 1, and the Markov
hains are aperiodi
by denition.
Sin
e N is stable under addition lemma 2.2 below shows that we
an nd (large)
r; s 2 N with g
d(r; s) = 1. Then there are n and m su
h that
nr = ms + 1;
j )nr = i + (i
j )ms
j nr
j ms
Lemma 2.2 If N is a set of integers
losed under addition and with g
d(N ) = d,
then there is an n0 2 N su
h that for all n n0 , nd 2 N .
Now dene the
oupling time for the two renewal pro
esses to be
T = inf fn j S = Se
n
ab
and noti
e that (1 1) + 1 = T . From lemma 2.1 we immediately get the following
orollary.
ab
For two independent renewal pro
esses with the same aperiodi
in
rement distribution but with perhaps dierent delays a and b, the
oupling time is
almost surely nite, i.e. P(T < 1) = 1.
Corollary 2.3
ab
j =0
is a well dened sum and u is
alled the renewal fun
tion. Here
onvolution is
interpreted as
onvolution of probabilities on N 0 . Thus p0 = "0 { the one point
measure at 0 and u(0) = 1. Furthermore, all probability measures previously dened
are extended if ne
essary to have mass 0 at 0. If the renewal pro
ess (S ) has delay
a, we see by
onditioning on the time for the rst renewal that
n
Niels R. Hansen
Theorem 2.4
m < 1, then
p
ja u(n)
b u(n)j ! 0 for n ! 1
(ii)
ja u(n)
mp
j!0
for n ! 1:
We start with (i), whi
h is proved using the
oupling time. Dene a new
\
oupled" forward re
urren
e time
hain
Proof:
Vb =
+
V + if n < T
Ve + if n T
n
ab
ab
The strong Markov property shows that V + and Vb + have the same distribution.
From this it follows that
n
ja u(n)
= 1) P(Ve + 1 = 1)j
+
=
P(Ve + 1 = 1)j
1 = 1)
+
> n 1) P(Ve + 1 = 1; T > n
=
1 = 1; T
P(T > n 1)
b u(n)j =
jP(V
jP(Vb
jP(V
ab
ab
1)j
ab
From
orollary 2.3 the last term tends to zero for n ! 1 and this shows (i).
Sin
e is invariant for the forward re
urren
e time
hain, (V + ) 2N0 is stationary if
we use as delay distribution and we see that
n
1
1
1 X
p(j ) =
m =1
m
p