Proof of The Pointwise Supremum of a Uniformly Subordinate Family of Viscosity Subsolutions on the Wasserstein Space is a Viscosity Subsolution

Each result cited below is universally quantified over the data in its own statement, and is applied to the data named at the point of use. The symmetry and the triangle inequality of $W_{2}$ (The Quadratic Wasserstein Distance is a Metric on the Wasserstein Space §symmetry, The Quadratic Wasserstein Distance is a Metric on the Wasserstein Space §triangle) and the rules of Elementary Order Arithmetic in an Ordered Field and Elementary Arithmetic in an Ordered Field for adding and scaling inequalities are used without further mention. For $\nu,\rho\in\mathcal{P}_{2}(\mathbb{R}^{d})$ and $\pi\in\Pi(\nu,\rho)$ we have $W_{2}(\nu,\rho)\le\sqrt{I(\pi)}$, by The Quadratic Wasserstein Distance on Euclidean Space §distance and claim 2 of Monotonicity of Squaring on the Nonnegative Elements of an Ordered Field. Each $v\in\mathcal{S}$, being a viscosity subsolution, has penalty-subordinate growth from above (Viscosity Subsolution, Supersolution and Solution of a Second-Order Equation on the Wasserstein Space §subsolution). By Basic Properties of a Wasserstein-Coercive Penalty Pair §lsc the penalty $\mathcal{E}$ is lower semicontinuous on $\mathcal{D}$ relative to $\mathcal{D}$.

Claim 1. Let $\delta\in\mathbb{R}$ be positive and let $C$ be as in the assumption that $\mathcal{S}$ is uniformly subordinate from above, for $\delta$. For $\mu\in\mathcal{D}$, $C+\delta\,\mathcal{E}(\mu)$ is an upper bound of $\{v(\mu):v\in\mathcal{S}\}$, so $u(\mu)\le C+\delta\,\mathcal{E}(\mu)$ by Upper Bound and Least Upper Bound. As $\delta$ was arbitrary, $u$ has penalty-subordinate growth from above by Penalty-Subordinate Growth of a Function on the Penalty Domain §above. For $v\in\mathcal{S}$ and $\mu\in\mathcal{D}$, $v(\mu)$ lies in the set of which $u(\mu)$ is an upper bound, so $v(\mu)\le u(\mu)$. Consequently, for positive $\delta$ the functions $v-\delta\mathcal{E}$ and $u-\delta\mathcal{E}$ on $\mathcal{D}$, both bounded above near each point of $\mathcal{D}$ by The Delta-Envelopes of a Function on the Penalty Domain Relative to a Penalty Pair §minus, satisfy $v-\delta\mathcal{E}\le u-\delta\mathcal{E}$ pointwise, and Properties of the Upper Semicontinuous Envelope §monotone gives $v^{-}_{\delta}(\nu)\le u^{-}_{\delta}(\nu)$ for $\nu\in\mathcal{D}$.

Claim 2. By claim 1, $u$ has penalty-subordinate growth from above, so its $\delta$-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\in\mathcal{D}$ has a local maximum relative to $\mathcal{D}$, witnessed by a positive radius $\tau$ as in Local Maximum of a Function Relative to a Subset of a Metric Space, and let $\varepsilon\in\mathbb{R}$ be positive. Write $M=u^{-}_{\delta}(\hat{\mu})-\varphi(\hat{\mu})$.

Step 1: a strict maximum. Put $\beta=\tfrac{\varepsilon}{8}$ and let $\psi_{0}(\nu)=W_{2}(\nu,\hat{\mu})^{2}$. Since $\mathcal{D}$ has the map property, $\psi_{0}$ is an intrinsic test function on $\mathcal{D}$ with $H_{\psi_{0}}(\nu)=2I_{d}$ for every $\nu$ and $\nabla\psi_{0}(\hat{\mu})=2(\mathrm{id}-S)$ for any optimal map $S$ from $\hat{\mu}$ to $\hat{\mu}$, by The Squared Wasserstein Distance to a Fixed Measure and Functions of the Mean are Intrinsic Test Functions §distance. The identity map is such an $S$: $\mathrm{id}_{\#}\hat{\mu}=\hat{\mu}$, and by The Displacement Pairing of a Square-Integrable Vector Field Along a Coupling §displacement with $S=\mathrm{id}$ the coupling $(\mathrm{id},\mathrm{id})_{\#}\hat{\mu}$ has cost $\lVert\mathrm{id}-\mathrm{id}\rVert_{\hat{\mu}}^{2}=0=W_{2}(\hat{\mu},\hat{\mu})^{2}$, so it is optimal by Optimal Coupling of Two Probability Measures with Finite Second Moment §optimal and $\mathrm{id}$ is an optimal map by Optimal Transport Maps and Uniquely Mapped Pairs of Probability Measures §map. Hence $\nabla\psi_{0}(\hat{\mu})=0$. Let $\tilde{\varphi}=\varphi+\beta\psi_{0}$. By Restrictions, Sums, Real Multiples and Differences of Intrinsic Test Functions on the Wasserstein Space §linear, $\tilde{\varphi}$ is an intrinsic test function on $\mathcal{D}$ with

the last because $W_{2}(\hat{\mu},\hat{\mu})=0$. Moreover $\lVert I_{d}\rVert\le1$: for $\xi\in\mathbb{R}^{d}$ with $\lVert\xi\rVert\le1$ we have $|\xi\cdot(I_{d}\xi)|=\lVert\xi\rVert^{2}\le1$ by claim 1 of Elementary Properties of the Euclidean Norm on $\mathbb{R}^n$ and claim 2 of Monotonicity of Squaring on the Nonnegative Elements of an Ordered Field, so $1$ is an upper bound of the set whose least upper bound is $\lVert I_{d}\rVert$ by Real Matrices, Symmetric Matrices and the Semidefinite Ordering: Standing Notation §norm. By claim 5 of Properties of the Norm of a Symmetric Real Matrix, $\lVert H_{\tilde{\varphi}}(\hat{\mu})-H_{\varphi}(\hat{\mu})\rVert=\lVert2\beta I_{d}\rVert\le2\beta=\tfrac{\varepsilon}{4}$. For $\nu\in\mathcal{D}$ with $W_{2}(\nu,\hat{\mu})<\tau$ the local maximum gives

Step 2: radii. Using Continuous Map Between Metric Spaces for $\varphi$ and $\tilde{\varphi}$ (property (a), Intrinsic Test Functions on the Wasserstein Space and Their Translation Hessians §continuity), Upper Semicontinuous Function on a Subset of a Metric Space for $u^{-}_{\delta}$, which is upper semicontinuous on $\mathcal{D}$ by Basic Properties of the Delta-Envelopes on the Wasserstein Space §semicontinuity, and property (e) of $\tilde{\varphi}$ (Intrinsic Test Functions on the Wasserstein Space and Their Translation Hessians §hessian-continuity), choose positive radii $\theta_{0},\theta_{2},\theta_{3},\theta_{4}$ such that for $\nu\in\mathcal{P}_{2}(\mathbb{R}^{d})$: $W_{2}(\nu,\hat{\mu})<\theta_{0}$ implies $|\varphi(\nu)-\varphi(\hat{\mu})|<1$; $W_{2}(\nu,\hat{\mu})<\theta_{2}$ implies $\lVert H_{\tilde{\varphi}}(\nu)-H_{\tilde{\varphi}}(\hat{\mu})\rVert<\tfrac{\varepsilon}{4}$; $\nu\in\mathcal{D}$ and $W_{2}(\nu,\hat{\mu})<\theta_{3}$ imply $u^{-}_{\delta}(\nu)<u^{-}_{\delta}(\hat{\mu})+\tfrac{\varepsilon}{4}$; $W_{2}(\nu,\hat{\mu})<\theta_{4}$ implies $|\tilde{\varphi}(\nu)-\tilde{\varphi}(\hat{\mu})|<\tfrac{\varepsilon}{8}$.

We also need a radius for the gradients: there is a positive $\theta_{1}$ such that for every $\nu\in\mathcal{D}$ and every $\pi\in\Pi(\nu,\hat{\mu})$ with $I(\pi)<\theta_{1}^{2}$ the discrepancy of $\nabla\tilde{\varphi}(\nu)$ and $\nabla\tilde{\varphi}(\hat{\mu})$ along $\pi$ is less than $(\tfrac{\varepsilon}{4})^{2}$. Suppose not. Let $(h_{n})_{n\in\mathbb{N}}$ be a sequence of positive reals with limit $0$ (Existence of a Sequence of Positive Real Numbers with Limit Zero); for each $n$ there are $\nu_{n}\in\mathcal{D}$ and $\pi_{n}\in\Pi(\nu_{n},\hat{\mu})$ with $I(\pi_{n})<h_{n}^{2}$ and discrepancy $D_{n}\ge(\tfrac{\varepsilon}{4})^{2}$. Since $0\le I(\pi_{n})<h_{n}^{2}$ and $(h_{n}^{2})$ has limit $0$ by claim 2 of Arithmetic of Limits of Real Sequences, $(I(\pi_{n}))$ has limit $0$ by claim 2 of Order Properties of Limits of Real Sequences; property (c) of $\tilde{\varphi}$ on $\mathcal{D}$ (Intrinsic Test Functions on the Wasserstein Space and Their Translation Hessians §gradient-continuity), at the point $\hat{\mu}\in\mathcal{D}$, then says that $(D_{n})$ has limit $0$, and claim 1 of Order Properties of Limits of Real Sequences gives $(\tfrac{\varepsilon}{4})^{2}\le0$, contradicting claim 5 of Elementary Order Arithmetic in an Ordered Field.

Let $C$ be as in the assumption that $\mathcal{S}$ is uniformly subordinate from above, for the positive number $\tfrac{\delta}{2}$ (claim 8 of Elementary Order Arithmetic in an Ordered Field). Put

all positive by claim 2 of Elementary Properties of the Minimum of Two Elements (applied repeatedly) and claim 8 of Elementary Order Arithmetic in an Ordered Field, and let $K=\{\nu\in\mathcal{D}:W_{2}(\nu,\hat{\mu})\le\rho\}$. Since $\rho<\tau$ and $\rho<\theta_{0}$, every $\nu\in K$ satisfies (1) and $|\varphi(\nu)-\varphi(\hat{\mu})|<1$.

Step 3: a member of the family and its maximiser. Let $\theta_{\eta}$ be a positive radius with $|\tilde{\varphi}(\nu)-\tilde{\varphi}(\hat{\mu})|<\eta$ whenever $W_{2}(\nu,\hat{\mu})<\theta_{\eta}$, and put $\eta'=\min\{\eta,\tfrac12\theta_{\eta},\rho\}$. By Properties of the Upper Semicontinuous Envelope §approximation, applied to $u-\delta\mathcal{E}$ on $\mathcal{D}$ at $\hat{\mu}$ with $\eta'$, there is $z\in\mathcal{D}$ with $W_{2}(z,\hat{\mu})\le\eta'$ and $|u(z)-\delta\,\mathcal{E}(z)-u^{-}_{\delta}(\hat{\mu})|<\eta'\le\eta$. Then $z\in K$ and $|\tilde{\varphi}(z)-\tilde{\varphi}(\hat{\mu})|<\eta$. By claim 3 of Approximation Property of the Supremum and the Infimum in $\mathbb{R}$ there is $v\in\mathcal{S}$ with $u(z)-\eta<v(z)$.

Let $g:\mathcal{D}\to\mathbb{R}$ be $g(\nu)=v^{-}_{\delta}(\nu)-\tilde{\varphi}(\nu)$. It is upper semicontinuous on $\mathcal{D}$: at $\nu_{0}\in\mathcal{D}$ and for positive $\varepsilon_{0}$, Basic Properties of the Delta-Envelopes on the Wasserstein Space §semicontinuity and Upper Semicontinuous Function on a Subset of a Metric Space give a radius within which $v^{-}_{\delta}(\nu)<v^{-}_{\delta}(\nu_{0})+\tfrac{\varepsilon_{0}}{2}$, continuity of $\tilde{\varphi}$ a radius within which $-\tilde{\varphi}(\nu)<-\tilde{\varphi}(\nu_{0})+\tfrac{\varepsilon_{0}}{2}$ (claim 3 of Properties of the Absolute Value in an Ordered Field), and within the lesser radius the two add to $g(\nu)<g(\nu_{0})+\varepsilon_{0}$. Since $v(\nu)\le C+\tfrac{\delta}{2}\,\mathcal{E}(\nu)$ for every $\nu\in\mathcal{D}$, $0\le\tfrac{\delta}{2}\le\delta$ and $\delta-\tfrac{\delta}{2}=\tfrac{\delta}{2}$, Basic Properties of the Delta-Envelopes on the Wasserstein Space §bound, applied to $v$ with $\tfrac{\delta}{2}$ in the role of the weight there written $\eta$ and with the constant $C$, gives $v^{-}_{\delta}(\nu)\le C-\tfrac{\delta}{2}\,\mathcal{E}(\nu)$ for every $\nu\in\mathcal{D}$; and for $\nu\in K$, $-\tilde{\varphi}(\nu)\le-\varphi(\nu)<1-\varphi(\hat{\mu})$, since $\beta\psi_{0}(\nu)\ge0$. Hence $g(\nu)\le\bigl(C+1-\varphi(\hat{\mu})\bigr)-\tfrac{\delta}{2}\,\mathcal{E}(\nu)$ for $\nu\in K$, and Attained Maxima on Closed Balls of the Penalty Domain, for a Wasserstein-Coercive Penalty Pair §attained, with $\tfrac{\delta}{2}$ in place of $\delta$, the radius $\rho$ and the constant $C+1-\varphi(\hat{\mu})$, provides $\hat{\nu}\in K$ with $g(\nu)\le g(\hat{\nu})$ for every $\nu\in K$.

Step 4: the maximiser is close to $\hat{\mu}$. By Basic Properties of the Delta-Envelopes on the Wasserstein Space §semicontinuity, $v(z)-\delta\,\mathcal{E}(z)\le v^{-}_{\delta}(z)$, so, using $z\in K$, the choice of $v$, of $z$ and $\tilde{\varphi}(\hat{\mu})=\varphi(\hat{\mu})$,

On the other hand $v^{-}_{\delta}(\hat{\nu})\le u^{-}_{\delta}(\hat{\nu})$ by claim 1, and $\hat{\nu}\in K$ satisfies (1), so $g(\hat{\nu})\le M-\beta\,W_{2}(\hat{\nu},\hat{\mu})^{2}$. Therefore $\beta\,W_{2}(\hat{\nu},\hat{\mu})^{2}<3\eta\le\beta\sigma^{2}$, whence $W_{2}(\hat{\nu},\hat{\mu})^{2}<\sigma^{2}$ and $W_{2}(\hat{\nu},\hat{\mu})<\sigma$ by claim 1 of Monotonicity of Squaring on the Nonnegative Elements of an Ordered Field. In particular $W_{2}(\hat{\nu},\hat{\mu})$ is less than each of $\rho,\theta_{1},\theta_{2},\theta_{3},\theta_{4}$ and $\varepsilon$, each of which is at least $2\sigma$. Consequently

the right inequality from $v^{-}_{\delta}(\hat{\nu})\le u^{-}_{\delta}(\hat{\nu})$ and the choice of $\theta_{3}$; the left from $v^{-}_{\delta}(\hat{\nu})=g(\hat{\nu})+\tilde{\varphi}(\hat{\nu})>M-3\eta+\tilde{\varphi}(\hat{\mu})-\tfrac{\varepsilon}{8}=u^{-}_{\delta}(\hat{\mu})-3\eta-\tfrac{\varepsilon}{8}$, the choice of $\theta_{4}$ and $3\eta\le\tfrac{\varepsilon}{8}$.

Step 5: the witnesses for $v$. The function $\mathcal{D}\to\mathbb{R}$ with value $v^{-}_{\delta}(\nu)-\tilde{\varphi}(\nu)$ has a local maximum at $\hat{\nu}$ relative to $\mathcal{D}$, with radius $\rho-W_{2}(\hat{\nu},\hat{\mu})$, positive since $W_{2}(\hat{\nu},\hat{\mu})<\rho$: if $\nu\in\mathcal{D}$ and $W_{2}(\hat{\nu},\nu)<\rho-W_{2}(\hat{\nu},\hat{\mu})$ then $W_{2}(\nu,\hat{\mu})<\rho$, so $\nu\in K$ and $g(\nu)\le g(\hat{\nu})$. Put $\varepsilon''=\min\{\tfrac{\varepsilon}{8},\sigma\}$. Applying Viscosity Subsolution, Supersolution and Solution of a Second-Order Equation on the Wasserstein Space §subsolution to the viscosity subsolution $v$, with $\delta$, the intrinsic test function $\tilde{\varphi}$ on $\mathcal{D}$, the point $\hat{\nu}$ and the tolerance $\varepsilon''$, we obtain $\nu'\in\mathcal{D}_{\Sigma}$, $\pi'\in\Pi(\nu',\hat{\nu})$, $s\in\mathbb{R}$, $q\in L^{2}(\nu';\mathbb{R}^{d})$ and $Y\in\mathcal{S}(d)$ with

Step 6: transport to $\hat{\mu}$. By Existence of an Optimal Coupling of Two Probability Measures with Finite Second Moment there is $\gamma\in\Pi(\hat{\nu},\hat{\mu})$ with $I(\gamma)=W_{2}(\hat{\nu},\hat{\mu})^{2}$. Let $\varsigma$ be a gluing of $\pi'$ and $\gamma$ (Gluing Two Couplings over a Common Middle Marginal, and the Composite Coupling §glued) and $\pi=(\mathrm{q}_{1},\mathrm{q}_{3})_{\#}\varsigma$, which belongs to $\Pi(\nu',\hat{\mu})$ with $\sqrt{I(\pi)}\le\sqrt{I(\pi')}+\sqrt{I(\gamma)}<\varepsilon''+W_{2}(\hat{\nu},\hat{\mu})<2\sigma$ by Gluing Two Couplings over a Common Middle Marginal, and the Composite Coupling §composite and claim 1 of Monotonicity of Squaring on the Nonnegative Elements of an Ordered Field. We check the six conditions of Viscosity Subsolution, Supersolution and Solution of a Second-Order Equation on the Wasserstein Space §subsolution for $u$ at $\hat{\mu}$ with $\varphi$ and tolerance $\varepsilon$, with witnesses $\nu'$, $\pi$, $s$, $q$, $Y$.

First, $\sqrt{I(\pi)}<2\sigma\le\varepsilon$, so $I(\pi)<\varepsilon^{2}$ by claim 1 of Monotonicity of Squaring on the Nonnegative Elements of an Ordered Field.

Secondly, $\nu'\in\mathcal{D}$ and $W_{2}(\nu',\hat{\mu})\le\sqrt{I(\pi)}<2\sigma\le\theta_{3}$, so $u^{-}_{\delta}(\nu')<u^{-}_{\delta}(\hat{\mu})+\tfrac{\varepsilon}{4}$; and by claim 1 and (2), $u^{-}_{\delta}(\nu')\ge v^{-}_{\delta}(\nu')>v^{-}_{\delta}(\hat{\nu})-\varepsilon''>u^{-}_{\delta}(\hat{\mu})-\tfrac{\varepsilon}{4}-\tfrac{\varepsilon}{8}$. So $|u^{-}_{\delta}(\nu')-u^{-}_{\delta}(\hat{\mu})|<\varepsilon$ by claim 9 of Properties of the Absolute Value in an Ordered Field.

Thirdly, by claim 5 of Properties of the Absolute Value in an Ordered Field and (2), $|s-u^{-}_{\delta}(\hat{\mu})|\le|s-v^{-}_{\delta}(\hat{\nu})|+|v^{-}_{\delta}(\hat{\nu})-u^{-}_{\delta}(\hat{\mu})|<\tfrac{\varepsilon}{8}+\tfrac{\varepsilon}{4}<\varepsilon$.

Fourthly, since $\hat{\nu}\in\mathcal{D}$ and $I(\gamma)=W_{2}(\hat{\nu},\hat{\mu})^{2}<\theta_{1}^{2}$ (claim 1 of Monotonicity of Squaring on the Nonnegative Elements of an Ordered Field), the choice of $\theta_{1}$ bounds the discrepancy of $\nabla\tilde{\varphi}(\hat{\nu})$ and $\nabla\tilde{\varphi}(\hat{\mu})=\nabla\varphi(\hat{\mu})$ along $\gamma$ by $(\tfrac{\varepsilon}{4})^{2}$. By A Triangle Inequality for Discrepancies Along a Composite Coupling §triangle, applied with $q$, $\nabla\tilde{\varphi}(\hat{\nu})$ and $\nabla\varphi(\hat{\mu})$, and claim 1 of Monotonicity of Squaring on the Nonnegative Elements of an Ordered Field,

so the discrepancy of $q$ and $\nabla\varphi(\hat{\mu})$ along $\pi$ is less than $\varepsilon^{2}$.

Fifthly, all matrices below lie in $\mathcal{S}(d)$, differences of symmetric matrices being symmetric by claim 1 of The Positive Semidefinite Ordering is a Partial Order Compatible with the Linear Structure, and claim 5 of Properties of the Norm of a Symmetric Real Matrix gives

the middle term by the choice of $\theta_{2}$ and the last by Step 1.

Finally, $F^{-}_{\delta}(\nu',s,q,Y)\le\varepsilon''\le\varepsilon$.

As $\delta$, $\varphi$, $\hat{\mu}$ and $\varepsilon$ were arbitrary and $u$ has penalty-subordinate growth from above, $u$ is a viscosity subsolution of $F$ relative to the penalty pair.