RIEB, Kobe University

Recursive Utility and the Solution to the Bellman Equation

This study infinite-horizon deterministic dynamic programming problems based on recursive utility in discrete time. Under a small number of conditions, we show that the Bellman operator has a fixed point using Knaster-Tarski's fixed point theorem. We also show the fixed point of the Bellman operator can be computed by iteration from the initial function between the lower boundary and the fixed point. To show the convergence theorem, we use Tarski-Kantorovitch's fixed point theorem.