Overtaking and Almost-Sure Optimality for Infinite Horizon Markov Decision Processes

We consider infinite horizon optimal control of Markov chains on complete metric spaces. We employ the overtaking optimality criterion, which is either applied to the expected cost-flow, or to the individual sample paths, yielding almost-sure optimality results.

We use the existence of a solution pair (Φ(·), λ) to the optimality equation ℒΦ(x) = λ to establish and characterize optimal strategies. For finite state-spaces we derive sufficient, as well as necessary conditions for overtaking optimality.