The Bump Construction on a Hilbert Triple: the Maximum of a Viscosity Subsolution and a Penalised $C^2$ Function

In the setting of Hilbert Triples: Standing Notation and Background, let $U\subseteq H$ be nonempty and open in $H$, with $W=D(A)\cap U$ and the class $C^{2}(U)$ as in Hilbert Triples: Standing Notation and Background §open-sets, and let $h$ be the penalty function. Let $F$ be a second-order equation operator on $U$ relative to $(H,V,A)$ that is degenerate elliptic, with $\delta$-shifts $F^{-}_{\delta}$ and $F^{+}_{\delta}$. Let $\mu\in\mathbb{R}$ satisfy $0<\mu$, let $\psi\in C^{2}(U)$, with gradient $D\psi(x)\in H$ and Hessian $D^{2}\psi(x)\in\mathrm{Sym}(H)$, and let $v:U\to\mathbb{R}$ be a viscosity subsolution of $F$ on $U$. For a real $\delta>0$, $(\cdot)^{-}_{\delta}$ denotes the $\delta$-envelope of a function on $U$ that is bounded above near each point of $U$. For $a,b\in\mathbb{R}$, $\max\{a,b\}$ is their maximum, the order of $\mathbb{R}$ being a total order.

Let $w:U\to\mathbb{R}$ be the function given by

which is well defined because $h(x)$ is a real number for $x\in V$.

Assume the following.

(Test condition on the classical piece)¶ For every $x\in W$ with $v(x)<\psi(x)-\mu h(x)$,

Then the following hold.

1. (Local bounds)¶ The function $w$ is bounded above near each point of $U$, and $v(x)\le w(x)$ for every $x\in U$.

2. (The $\delta$-envelope of $w$)¶ For every real $\delta>0$ and every $x\in V\cap U$,

3. (The maximum is a viscosity subsolution)¶ The function $w$ is a viscosity subsolution of $F$ on $U$.