The Bump Construction on the Noise Wasserstein Space: the Local Maximum of a Viscosity Subsolution and a Penalised Noise Intrinsic Test Function

In the setting of First-Order Equations on the Noise Wasserstein Space Relative to a Noise Penalty Pair: Standing Notation, let $(\mathcal{D},\mathcal{D}_{\Sigma},\mathcal{E},\Sigma)$ be a noise-closed noise penalty pair on $\mathcal{P}^{a}_{\rho}$ with regular penalised maxima, and let $F$ be a first-order equation operator over $\mathcal{D}_{\Sigma}$, with $\delta$-shifts $F^{-}_{\delta}$ and $F^{+}_{\delta}$ relative to that pair for each positive $\delta\in\mathbb{R}$. Noise intrinsic test functions on $\mathcal{D}$ and their gradients along noise couplings $\nabla\psi(\nu)$, viscosity subsolutions of $F$ relative to the pair, penalty-subordinate growth from above of a function on $\mathcal{D}$, and the $\delta$-envelopes $v^{-}_{\delta}$ of such a function, functions on $\mathcal{D}$, are those of the items cited; $\max\{a,b\}$ is the maximum of $a,b\in\mathbb{R}$.

Let $\lambda\in\mathbb{R}$ be positive, let $\hat{\mu}\in\mathcal{P}^{a}_{\rho}$, let $\gamma\in\mathbb{R}$ be positive, let $\psi$ be a noise intrinsic test function on $\mathcal{D}$, and let $v:\mathcal{D}\to\mathbb{R}$ be a viscosity subsolution of $F$ relative to the noise penalty pair. Let $w:\mathcal{D}\to\mathbb{R}$ be given by

$$w(\nu)=\max\{\psi(\nu)-\lambda\,\mathcal{E}(\nu),\,v(\nu)\}\ \text{ if }W_{a}(\nu,\hat{\mu})<\gamma,\qquad w(\nu)=v(\nu)\ \text{ otherwise}.$$

For $\nu\in\mathcal{D}_{\Sigma}$ one has $\nu\in\mathcal{D}$ by Noise Penalty Pairs on the Noise Wasserstein Space: the Penalty, Its Score, and Their Domains §pair and $\nabla\psi(\nu)\in T^{a}_{\nu}\subseteq L^{2}(\nu;X^{a})$ by property (b) of Noise Intrinsic Test Functions on the Noise Wasserstein Space §differentiability, so that $F^{+}_{\lambda}(\nu,\psi(\nu),\nabla\psi(\nu))$ is a real number. Assume the following.

(Upper bound)¶ There is $b\in\mathbb{R}$ with $\psi(\nu)\le b$ for every $\nu\in\mathcal{D}$ with $W_{a}(\nu,\hat{\mu})<\gamma$.

(Annulus condition)¶ $\psi(\nu)-\lambda\,\mathcal{E}(\nu)\le v(\nu)$ for every $\nu\in\mathcal{D}$ with $\tfrac{\gamma}{2}<W_{a}(\nu,\hat{\mu})<\gamma$.

(Test condition)¶ For every $\nu\in\mathcal{D}_{\Sigma}$ with $W_{a}(\nu,\hat{\mu})<\gamma$ and $v(\nu)<\psi(\nu)-\lambda\,\mathcal{E}(\nu)$,

$$F^{+}_{\lambda}\bigl(\nu,\psi(\nu),\nabla\psi(\nu)\bigr)\le0 .$$

Then the following hold.

1. (Growth, agreement and domination)¶ The function $w$ has penalty-subordinate growth from above, and $w(\nu)=v(\nu)$ for every $\nu\in\mathcal{D}$ with $\tfrac{\gamma}{2}<W_{a}(\nu,\hat{\mu})$. ¶Moreover, $v(\nu)\le w(\nu)$ for every $\nu\in\mathcal{D}$.

2. (The $\delta$-envelope of $w$)¶ For every positive $\delta\in\mathbb{R}$,

$$w^{-}_{\delta}(\nu)=\max\bigl\{\psi(\nu)-(\lambda+\delta)\,\mathcal{E}(\nu),\ v^{-}_{\delta}(\nu)\bigr\}\qquad\text{for every }\nu\in\mathcal{D}\text{ with }W_{a}(\nu,\hat{\mu})<\gamma,$$

and $w^{-}_{\delta}(\nu)=v^{-}_{\delta}(\nu)$ for every $\nu\in\mathcal{D}$ with $\tfrac{\gamma}{2}<W_{a}(\nu,\hat{\mu})$.

3. (The bump is a viscosity subsolution)¶ The function $w$ is a viscosity subsolution of $F$ relative to the noise penalty pair.