We will discuss some more advanced renewal theorems that will be useful for applications later.
- We call the function \(m(t):= \mathbb{E} N(t)\) the renewal function.
Theorem (Elementary renewal theorem): The renewal function satisfies \(m(t)/ t \to (\mu)^{-1}\), where \(\mu\) is the mean inter-arrival time.
- We already know that if \(N\) is the renewal process, then \(N(t)/t \to (\mu)^{-1}\)–we need to justify the interchange of limits: \[ \lim_{t \to \infty} \frac{ \mathbb{E} N(t)}{t} = \mathbb{E} \Big( \lim_{t \to \infty} \frac{ N(t)}{t} \Big).\]