Math 2.0

Integral equations Volterra equations Example

Renewal equation

Builds on Renewal theory

Example

Let FF be the distribution function of a nonnegative random variable with F(0)=0F(0) = 0, and let gg be a locally bounded function on [0,∞)[0, \infty). The renewal equation for an unknown locally bounded function uu on [0,∞)[0, \infty) is u(t)=g(t)+∫0tu(t−s) dF(s),t≥0.u(t) = g(t) + \int_0^t u(t - s) \, dF(s), \quad t \ge 0. When FF has a density k=F′k = F', the integral is ∫0tk(t−s) u(s) ds\int_0^t k(t - s) \, u(s) \, ds, and the equation is a Volterra equation of convolution type of the second kind.

In renewal theory, let X1,X2,…X_1, X_2, \dots be independent waiting times with distribution function FF, and let N(t)N(t) be the number of n≥1n \ge 1 with X1+⋯+Xn≤tX_1 + \cdots + X_n \le t. Conditioning on the first waiting time X1X_1 shows that the renewal function m(t)=𝔼[N(t)]m(t) = \mathbb{E}[N(t)] solves the renewal equation with g=Fg = F: m(t)=F(t)+∫0tm(t−s) dF(s).m(t) = F(t) + \int_0^t m(t - s) \, dF(s).

Check on the exponential case: let F(t)=1−e−λtF(t) = 1 - e^{-\lambda t} with λ>0\lambda > 0, so dF(s)=λe−λs dsdF(s) = \lambda e^{-\lambda s} \, ds. Then NN is a Poisson process of rate λ\lambda, and m(t)=λtm(t) = \lambda t. Indeed ∫0tλ(t−s)λe−λs ds=λt−1+e−λt\int_0^t \lambda (t - s) \lambda e^{-\lambda s} \, ds = \lambda t - 1 + e^{-\lambda t}, and adding F(t)=1−e−λtF(t) = 1 - e^{-\lambda t} gives λt\lambda t.

Remarks

The renewal equation has a unique locally bounded solution, u=g+m∗gu = g + m * g, that is, u(t)=g(t)+∫0tg(t−s) dm(s)u(t) = g(t) + \int_0^t g(t - s) \, dm(s). Let φF(p)=∫[0,∞)e−ps dF(s)\varphi_F(p) = \int_{[0, \infty)} e^{-ps} \, dF(s). Taking Laplace transforms gives u^=g^/(1−φF)\hat u = \hat g / (1 - \varphi_F), as in the Laplace transform method. For the exponential case, F^(p)=λp(p+λ)\hat F(p) = \frac{\lambda}{p(p + \lambda)} and φF(p)=λp+λ\varphi_F(p) = \frac{\lambda}{p + \lambda}, so m^(p)=λp(p+λ)⋅p+λp=λp2\hat m(p) = \frac{\lambda}{p(p + \lambda)} \cdot \frac{p + \lambda}{p} = \frac{\lambda}{p^2}, the transform of λt\lambda t.

Reading path

To understand this page from the ground up, read these 2 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Renewal theory concept
  2. Renewal equation example

Further reading

  1. Web https://en.wikipedia.org/wiki/Renewal_theory
About this page
TagEWVVH3EKMR
URIm2://EWVVH3EKMR
Kindexample
WritingW0 stub
MSC45D05, 60K05
Instance ofVolterra equation of convolution type
UsesRenewal theory

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Examples