The increment of the stopped process is
Because 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 gives
because is trivial. Since almost surely,
almost surely. The assumed uniform bound permits bounded convergence, so
For the symmetric increment ,
The same multiplier holds for . Thus choose
Then each of and is a martingale, and every linear combination
is a martingale.
Given , take
Choose so that
Solving,
The stopped discounted martingale is bounded, and is finite, so part (b) gives
Therefore the discounted symmetric random-walk exit transform is

Articles by others on the same topic (0)

There are currently no matching articles.