General existence of solutions to dynamic programming equations

From MaRDI portal



Abstract: We provide an alternative approach to the existence of solutions to dynamic programming equations arising in the discrete game-theoretic interpretations for various nonlinear partial differential equations including the infinity Laplacian, mean curvature flow and Hamilton-Jacobi type. Our general result is similar to Perron's method but adapted to the discrete situation.


Under certain conditions it is possible to construct a deterministic or stochastic discrete game from a partial differential equation in a bounded domain \(\Omega\), whose value function converges to the solution of the partial differential equation. In the proof of these game-theoretic approximations it is necessary to establish the dynamic programming principle. In Section 1 the authors prove a general theorem regarding a certain two-player, zero-sum game, also known as tug-of-war game, which extends the classical Perron's method: If the value functions \(u\) for the game is given by \(u^\epsilon (x) = \frac{1}{2}\sup_{B_\epsilon(x)} e^\epsilon + \frac{1}{2}\sup_{B_\epsilon(x)} e^\epsilon\) for \(x\in \Omega\) and \(u^\epsilon = g\) on \(\mathbb{R}^n\backslash \Omega\), where \(g\) is assumed to extend to a bounded and continuous function on \(\mathbb{R}^n\backslash \Omega\), then both the subsolution and the supersolution are solutions to the game. They use this theorem to prove a general existence theorem for a large class of operators between metric spaces in Section 3. In Section 4 a result on boundedness is proven, while they deduce uniqueness from a comparison result in Section 5. Section 2 discusses the infinity Laplacian, mean curvature flow and Hamilton-Jacobi equations in view of the theorems proven in the other sections.



Cites work


Cited in
(23)








This page was built for publication: General existence of solutions to dynamic programming equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2347696)