A policy iteration algorithm for fixed point problems with nonexpansive operators

The aim of this paper is to solve the fixed point problems: ν = O ν, with O ν(x) = ^def max (L ν (x), B ν (x)), χ ∈ ε where ε is a finite set, L is contractive and B is a nonexpansive operator and ν = O ν, with O ν(x) = ^def max (sup_w ∈ W L^w ν(x), sup_z ∈ Z B^z ν(x)), χ ∈ ε, (2) where W and Z are general control sets, the operators L ^w are contractive and operators B ^z are nonexpansive. For these two problems, we give conditions which imply existence and uniqueness of a solution and provide a policy iteration algorithm which converges to the solution. The proofs are slightly different for the two problems since the set of controls is finite for (1) while it is not necessary the case for problem (2). Equation (2) typically arises in numerical analysis of quasi variational inequalities and variational inequalities associated to impulse or singular stochastic control.