The increment of the stopped process isBecause is a stopping time, . Taking conditional expectation therefore gives zero. The stopped variables are adapted and integrable, so the stopped martingale in discrete time is a martingale.
The martingale property givesbecause is trivial. Since almost surely,
almost surely. The assumed uniform bound permits bounded convergence, so
almost surely. The assumed uniform bound permits bounded convergence, so
For the symmetric increment ,The same multiplier holds for . Thus chooseThen each of and is a martingale, and every linear combinationis a martingale.
Given , takeChoose so thatSolving,The stopped discounted martingale is bounded, and is finite, so part (b) givesTherefore the discounted symmetric random-walk exit transform is
Articles by others on the same topic
There are currently no matching articles.