Spitzer's identity for discrete random walks
Preprint
Abstract
Spitzer's identity describes the position of a reflected random walk over time in terms of a bivariate transform. Among its many applications in probability theory are congestion levels in queues and random walkers in physics. We present a new derivation of Spitzer's identity under the assumption that the increments of the random walk have bounded jumps to the left. This mild assumption facilitates a proof of Spitzer's identity that only uses basic properties of analytic functions and contour integration. The main novelty, believed to be of broader interest, is a reversed approach that recognizes a factored polynomial expression as the outcome of Cauchy's formula.Keywords
All Related Versions
This publication has 14 references indexed in Scilit:
- Pollaczek contour integrals for the fixed-cycle traffic-light queueQueueing Systems, 2018
- Back to the roots of the M/D/s queue and the works of Erlang, Crommelin and PollaczekStatistica Neerlandica, 2008
- On the application of Rouché's theorem in queueing theoryOperations Research Letters, 2006
- Precise asymptotics for a random walker’s maximumJournal of Statistical Mechanics: Theory and Experiment, 2005
- A new approach to the Lindley recursionStatistics & Probability Letters, 1997
- Discrete-Time Models for Communication Systems Including ATM1993
- An Elementary Solution of the Queuing System G/G/1SIAM Journal on Computing, 1975
- A Course in Probability Theory1974
- Spitzer's Identity and its use in Probability TheoryJournal of the London Mathematical Society, 1962
- ber eine Aufgabe der Wahrscheinlichkeitstheorie. IMathematische Zeitschrift, 1930