An extended Fatou equation and continuous-time gambling

Abstract

Let be an optional stochastic process and let be the directed set of almost-surely-finite stopping times. If lim , then This equality is employed in studying the continuous-time gambler's problem, as formulated by Heath and Sudderth (1974). The optimal return function is shown to be upper semi-analytic and excessive whenever the utility function is Borel.