Lorden's inequality

In probability theory, Lorden's inequality is a bound for the moments of overshoot for a stopped sum of random variables, first published by Gary Lorden in 1970.[1] Overshoots play a central role in renewal theory.[2]

Statement of inequality

Let X1, X2, ... be independent and identially distributed positive random variables and define the sum Sn = X1 + X2 + ... + Xn. Consider the first time Sn exceeds a given value b and at that time compute Rb = Sn − b. Rb is called the overshoot or excess at b. Lorden's inequality states that the expectation of this overshoot is bounded as[2]

Proof

Three proofs are known due to Lorden,[1] Carlsson and Nerman[3] and Chang.[4]

gollark: <@!336962240848855040> Superconducting magnetic energy storage thingies are a useful application, and you could have power grids with significantly lower energy loss.
gollark: https://en.wikipedia.org/wiki/Mercury_in_fish
gollark: It says here that it's present a bit in seawater, absorbed by algae, and then fish absorb it but don't get rid of it, and it continues going through the food chain.
gollark: Isn't it in the things they eat, or something? I will consult the interwebs.
gollark: Fusion is always 20 years away, apparently.

See also

References
  1. Lorden, G. (1970). "On Excess over the Boundary". The Annals of Mathematical Statistics. 41 (2): 520. doi:10.1214/aoms/1177697092. JSTOR 2239350.
  2. Spouge, John L. (2007). "Inequalities on the overshoot beyond a boundary for independent summands with differing distributions". Statistics & Probability Letters. 77 (14): 1486–1489. doi:10.1016/j.spl.2007.02.013. PMC 2683021. PMID 19461943.
  3. Carlsson, Hasse; Nerman, Olle (1986). "An Alternative Proof of Lorden's Renewal Inequality". Advances in Applied Probability. Applied Probability Trust. 18 (4): 1015–1016. JSTOR 1427260.
  4. Chang, J. T. (1994). "Inequalities for the Overshoot". The Annals of Applied Probability. 4 (4): 1223. doi:10.1214/aoap/1177004913.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.