A mixed problem for the infinity Laplacian via Tug-of-War games

In this paper we prove that a function \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${ u\in\mathcal{C}(\overline{\Omega})}$$\end{document} is the continuous value of the Tug-of-War game described in Y. Peres et al. (J. Am. Math. Soc., 2008, to appear) if and only if it is the unique viscosity solution to the infinity Laplacian with mixed boundary conditions\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\left\{ \begin{aligned}-\Delta_{\infty}u(x)=0 \quad & {\rm in} \, \Omega,\\ \frac{\partial u}{\partial n}(x)=0 \quad \quad & {\rm on} \, \Gamma_N,\\ u(x)=F(x) \quad & {\rm on}\, \Gamma_D. \end{aligned} \right.$$\end{document}By using the results in Y. Peres et al. (J. Am. Math. Soc., 2008, to appear), it follows that this viscous PDE problem has a unique solution, which is the unique absolutely minimizing Lipschitz extension to the whole \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\overline{\Omega}}$$\end{document} (in the sense of Aronsson (Ark. Mat. 6:551–561, 1967) and Y. Peres et al. (J. Am. Math. Soc., 2008, to appear)) of the Lipschitz boundary data \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${F:\Gamma_D \to \mathbb R }$$\end{document}.