Perron's Method on the Wasserstein Space: Existence of a Viscosity Solution Between a Subsolution and a Supersolution

In the setting of The Intrinsic Calculus on the Wasserstein Space: Standing Notation, let $(\mathcal{D},\mathcal{D}_{\Sigma},\mathcal{E},\Sigma)$ be a Wasserstein-coercive penalty pair on $\mathcal{P}_{2}(\mathbb{R}^{d})$ with regular penalised maxima, whose penalty domain $\mathcal{D}$ has the map property, and let $F$ be a second-order equation operator over $\mathcal{D}_{\Sigma}$ that is degenerate elliptic. Viscosity subsolutions, supersolutions and solutions of $F$ relative to the penalty pair, and that a function is bounded above, or below, near each point of $\mathcal{P}_{2}(\mathbb{R}^{d})$, are those of the definitions cited.

Let $f:\mathcal{P}_{2}(\mathbb{R}^{d})\to\mathbb{R}$ be a viscosity subsolution of $F$ that is bounded below near each point of $\mathcal{P}_{2}(\mathbb{R}^{d})$, let $g:\mathcal{P}_{2}(\mathbb{R}^{d})\to\mathbb{R}$ be a viscosity supersolution of $F$ that is bounded above near each point of $\mathcal{P}_{2}(\mathbb{R}^{d})$, both relative to the penalty pair, and assume that

Let $\mathcal{G}$ be the set of all viscosity subsolutions $v$ of $F$ relative to the penalty pair with $f(\nu)\le v(\nu)\le g(\nu)$ for every $\nu\in\mathcal{P}_{2}(\mathbb{R}^{d})$. Then $f\in\mathcal{G}$, and for $\nu\in\mathcal{P}_{2}(\mathbb{R}^{d})$ the set $\{v(\nu):v\in\mathcal{G}\}$ is nonempty and bounded above by $g(\nu)$, so that it has a least upper bound, as recorded in The Real Numbers: Standing Notation and Background §bounds. Let $u:\mathcal{P}_{2}(\mathbb{R}^{d})\to\mathbb{R}$ be given by

Then the following hold.

1. (The supremum lies between the data)¶ For every $\nu\in\mathcal{P}_{2}(\mathbb{R}^{d})$, $f(\nu)\le u(\nu)$ and $u(\nu)\le g(\nu)$; consequently $u$ is bounded above near each point and bounded below near each point of $\mathcal{P}_{2}(\mathbb{R}^{d})$.

2. (The supremum is a viscosity solution)¶ The function $u$ is a viscosity solution of $F$ relative to the penalty pair.