Proof of Classical Sub- and Supersolutions of a Degenerate Elliptic Equation on the Wasserstein Space are Viscosity Sub- and Supersolutions

Each result cited is universally quantified over the data in its own statement.

Claim 1. The function $u$ is continuous on $\mathcal{P}_{2}(\mathbb{R}^{d})$ by property (a) of Intrinsic Test Functions on the Wasserstein Space and Their Translation Hessians §test, so its restriction is continuous on $\mathcal{D}$ relative to $\mathcal{D}$ by claim 4 of Semicontinuity and Continuity Under Composition with a Continuous Map; $\mathcal{E}$ is lower semicontinuous on $\mathcal{D}$ by hypothesis, and $u$ has penalty-subordinate growth from above and from below by hypothesis. By Basic Properties of the Delta-Envelopes on the Wasserstein Space §exact, applied for each positive $\delta\in\mathbb{R}$, $u^{-}_{\delta}=u-\delta\mathcal{E}$ and $u^{+}_{\delta}=u+\delta\mathcal{E}$ on $\mathcal{D}$.

Claim 2. Let $\delta$, $\varphi$ and $\hat{\mu}$ be as stated, and put $\chi=u-\varphi$. By Restrictions, Sums, Real Multiples and Differences of Intrinsic Test Functions on the Wasserstein Space §difference, applied on $\mathcal{D}$, the function $\chi$ is an intrinsic test function on $\mathcal{D}$ with

By claim 1, for $\mu\in\mathcal{D}$ one has $u^{-}_{\delta}(\mu)-\varphi(\mu)=u(\mu)-\delta\,\mathcal{E}(\mu)-\varphi(\mu)=\chi(\mu)-\delta\,\mathcal{E}(\mu)$, so $\hat{\mu}$ is a point of $\mathcal{D}$ at which $\chi-\delta\mathcal{E}$ has a local maximum relative to $\mathcal{D}$. By Penalty Pairs with Regular Penalised Maxima §regular, $\hat{\mu}\in\mathcal{D}_{\Sigma}$, and by First- and Second-Order Conditions at a Penalised Extremum of an Intrinsic Test Function on the Wasserstein Space §maximum, read with $Q=\mathcal{D}$,

The first identity gives $\nabla\varphi(\hat{\mu})+\delta\,\Sigma(\hat{\mu})=\nabla u(\hat{\mu})$ by Elementary Identities in a Vector Space. For the second, write $a_{ij}$, $c_{ij}$ and $h_{ij}$ for the entries of $H_{u}(\hat{\mu})$, $H_{\varphi}(\hat{\mu})$ and $H_{\mathcal{E}}(\hat{\mu})$. By The Positive Semidefinite Ordering on Symmetric Matrices it says that the matrix with entries $\delta h_{ij}-(a_{ij}-c_{ij})$ is positive semidefinite (Difference of Real Matrices and the entrywise operations of Real Matrices, Symmetric Matrices and the Semidefinite Ordering: Standing Notation §matrices); these entries equal $(c_{ij}+\delta h_{ij})-a_{ij}$ by the field axioms and claim 2 of Zero Products and Elementary Identities in a Field, which are the entries of $\bigl(H_{\varphi}(\hat{\mu})+\delta H_{\mathcal{E}}(\hat{\mu})\bigr)-H_{u}(\hat{\mu})$, so $H_{u}(\hat{\mu})\preceq H_{\varphi}(\hat{\mu})+\delta H_{\mathcal{E}}(\hat{\mu})$. By claim 1 again, $u^{-}_{\delta}(\hat{\mu})+\delta\,\mathcal{E}(\hat{\mu})=u(\hat{\mu})$. Hence, by The Bundle of Vector Fields over a Set of Measures, Second-Order Equation Operators on the Wasserstein Space, and Their Delta-Shifts §shifted,

the first inequality by Degenerate Elliptic Second-Order Equation Operators on the Wasserstein Space §elliptic applied to $H_{u}(\hat{\mu})\preceq H_{\varphi}(\hat{\mu})+\delta H_{\mathcal{E}}(\hat{\mu})$, and the second because $u$ is a classical subsolution of $F$ on $\mathcal{D}_{\Sigma}$ and $\hat{\mu}\in\mathcal{D}_{\Sigma}$ (Classical Sub- and Supersolutions of a Second-Order Equation on the Wasserstein Space §subsolution).

Claim 3. By hypothesis $u$ has penalty-subordinate growth from above, so the envelopes $u^{-}_{\delta}$ are defined. Let $\delta\in\mathbb{R}$ be positive, let $\varphi$ be an intrinsic test function on $\mathcal{D}$, let $\hat{\mu}\in\mathcal{D}$ be a point at which the function with value $u^{-}_{\delta}(\mu)-\varphi(\mu)$ at $\mu$ has a local maximum relative to $\mathcal{D}$, and let $\varepsilon\in\mathbb{R}$ be positive. By claim 2, $\hat{\mu}\in\mathcal{D}_{\Sigma}$. Take

where $\mathrm{id}$ is the identity map of $\mathbb{R}^{d}$. By Couplings on Euclidean Space: Product Coupling, Swap, Finiteness of the Cost, Push-Forward Couplings, Modifying One Marginal, Quantisation, Gluing over a Finitely Supported Measure, and the Lipschitz Bound §pushforward, applied with $S=T=\mathrm{id}$, one has $\pi\in\Pi(\hat{\mu},\hat{\mu})$ and

The number $\varepsilon^{2}$ is positive by claim 5 of Elementary Order Arithmetic in an Ordered Field, so $I(\pi)<\varepsilon^{2}$. Since $\nu=\hat{\mu}$ and $s=u^{-}_{\delta}(\hat{\mu})$, the differences $u^{-}_{\delta}(\nu)-u^{-}_{\delta}(\hat{\mu})$ and $s-u^{-}_{\delta}(\hat{\mu})$ are $0$, of absolute value $0<\varepsilon$ by claim 1 of Properties of the Absolute Value in an Ordered Field. By The Discrepancy of Two Square-Integrable Vector Fields Along a Coupling of Their Base Measures §diagonal the discrepancy of $q$ and $\nabla\varphi(\hat{\mu})$ along $\pi$ is $\lVert q-\nabla\varphi(\hat{\mu})\rVert_{\hat{\mu}}^{2}=0<\varepsilon^{2}$, the norm of the zero element vanishing by Elementary Identities in a Real Inner Product Space §vanishing. Also $Y-H_{\varphi}(\hat{\mu})=0_{d}$ by Difference of Real Matrices, so $\lVert Y-H_{\varphi}(\hat{\mu})\rVert=0<\varepsilon$ by claim 4 of Properties of the Norm of a Symmetric Real Matrix. Finally, claim 2 gives $F^{-}_{\delta}(\nu,s,q,Y)\le0\le\varepsilon$. Every requirement of Viscosity Subsolution, Supersolution and Solution of a Second-Order Equation on the Wasserstein Space §subsolution is therefore met, and $u$ is a viscosity subsolution of $F$ relative to the penalty pair.

Claim 4. Let $\delta$, $\varphi$ and $\hat{\mu}$ be as stated and put $\chi=u-\varphi$ as in claim 2. By claim 1, $u^{+}_{\delta}(\mu)-\varphi(\mu)=\chi(\mu)+\delta\,\mathcal{E}(\mu)$ for $\mu\in\mathcal{D}$, so $\hat{\mu}$ is a point of $\mathcal{D}$ at which $\chi+\delta\mathcal{E}$ has a local minimum relative to $\mathcal{D}$. The function $-\chi$ is an intrinsic test function on $\mathcal{D}$ by Restrictions, Sums, Real Multiples and Differences of Intrinsic Test Functions on the Wasserstein Space §difference; for $\mu\in\mathcal{D}$, $(-\chi)(\mu)-\delta\,\mathcal{E}(\mu)=-\bigl(\chi(\mu)+\delta\,\mathcal{E}(\mu)\bigr)$ by distributivity and claim 2 of Zero Products and Elementary Identities in a Field, so by claim 4 of Elementary Order Arithmetic in an Ordered Field the function $(-\chi)-\delta\mathcal{E}$ has a local maximum at $\hat{\mu}$ relative to $\mathcal{D}$. By Penalty Pairs with Regular Penalised Maxima §regular, $\hat{\mu}\in\mathcal{D}_{\Sigma}$, and by First- and Second-Order Conditions at a Penalised Extremum of an Intrinsic Test Function on the Wasserstein Space §minimum, read with $Q=\mathcal{D}$,

The first identity gives $\nabla\varphi(\hat{\mu})-\delta\,\Sigma(\hat{\mu})=\nabla u(\hat{\mu})$ by Elementary Identities in a Vector Space. For the second, with the entries $a_{ij}$, $c_{ij}$, $h_{ij}$ of claim 2, The Positive Semidefinite Ordering on Symmetric Matrices says that the matrix with entries $(a_{ij}-c_{ij})-(-\delta h_{ij})$ is positive semidefinite; these equal $a_{ij}-(c_{ij}-\delta h_{ij})$ by the field axioms and claim 2 of Zero Products and Elementary Identities in a Field, the entries of $H_{u}(\hat{\mu})-\bigl(H_{\varphi}(\hat{\mu})-\delta H_{\mathcal{E}}(\hat{\mu})\bigr)$, so $H_{\varphi}(\hat{\mu})-\delta H_{\mathcal{E}}(\hat{\mu})\preceq H_{u}(\hat{\mu})$. By claim 1, $u^{+}_{\delta}(\hat{\mu})-\delta\,\mathcal{E}(\hat{\mu})=u(\hat{\mu})$. Hence, by The Bundle of Vector Fields over a Set of Measures, Second-Order Equation Operators on the Wasserstein Space, and Their Delta-Shifts §shifted,

the first inequality by Degenerate Elliptic Second-Order Equation Operators on the Wasserstein Space §elliptic applied to $H_{\varphi}(\hat{\mu})-\delta H_{\mathcal{E}}(\hat{\mu})\preceq H_{u}(\hat{\mu})$, and the second because $u$ is a classical supersolution of $F$ on $\mathcal{D}_{\Sigma}$ and $\hat{\mu}\in\mathcal{D}_{\Sigma}$ (Classical Sub- and Supersolutions of a Second-Order Equation on the Wasserstein Space §supersolution).

Claim 5. With the data of claim 3, taken now at a local minimum of the function with value $u^{+}_{\delta}(\mu)-\varphi(\mu)$ at $\mu$ and with $s=u^{+}_{\delta}(\hat{\mu})$, the same computations give $I(\pi)<\varepsilon^{2}$, $|u^{+}_{\delta}(\nu)-u^{+}_{\delta}(\hat{\mu})|=0<\varepsilon$, $|s-u^{+}_{\delta}(\hat{\mu})|=0<\varepsilon$, discrepancy $0<\varepsilon^{2}$ and $\lVert Y-H_{\varphi}(\hat{\mu})\rVert=0<\varepsilon$, while claim 4 gives $-\varepsilon\le0\le F^{+}_{\delta}(\nu,s,q,Y)$, the first inequality by claim 4 of Elementary Order Arithmetic in an Ordered Field. Every requirement of Viscosity Subsolution, Supersolution and Solution of a Second-Order Equation on the Wasserstein Space §supersolution is met, so $u$ is a viscosity supersolution of $F$ relative to the penalty pair.

Claim 6. A classical solution of $F$ on $\mathcal{D}_{\Sigma}$ is both a classical subsolution and a classical supersolution there, by Classical Sub- and Supersolutions of a Second-Order Equation on the Wasserstein Space §solution; by claims 3 and 5 it is then both a viscosity subsolution and a viscosity supersolution of $F$ relative to the penalty pair, hence a viscosity solution by Viscosity Subsolution, Supersolution and Solution of a Second-Order Equation on the Wasserstein Space §solution, the required growth holding by hypothesis.