A Generalization of Wald's Identity with Applications to Random Walks

Let Sₘ = X₁ + ⋯ + Xₘ, where the Xⱼ are independent random variables with common m.g.f. φ(t) which is assumed to exist in a real interval containing $t = 0$. Let the random variable n be defined as the smallest integer m for which either Sₘ α or Sₘ - β(α > 0, β > 0). Thus n can be regarded as the time to absorption for the random walk Sₘ with absorbing barriers at α and -β. Let S = Sₙ and let Fₘ(x) = P(-β < Sₖ < α for k = 1, 2, ⋯ m - 1 and Sₘ x). The main result of the paper is the identity {equation*}{0.1}E(etSz^n) = 1 + zφ (t) - 1 F(z, t),{equation*} where F(z, t) = ∑^∞m = 0 zᵐ ∫^α-β eᵗˣ dFₘ(x). Wald's identity follows formally from (0.1) by setting z = φ(t)⁻¹. Regions of validity of (0.1) and of Wald's identity are discussed, and it is shown that the latter holds for a larger range of values of t than is usually supposed. In Section 5 there are three examples. In the first we consider the case where there is a single absorbing barrier and where the Xⱼ are discrete and bounded. This is a gambler's ruin problem, and we obtain an expression for the probability of ruin. In the second we use the classical random walk to illustrate the region of validity of (0.1). In the third we obtain the Laplace transform of the distribution of the time to absorption in a random walk in which steps of $+1$ and -1 occur at random in continuous time.