A Hamilton-Jacobi Operator with a Monotone Nonlinearity and a Lipschitz Perturbation Satisfies the Comparison Hypotheses

In the setting of Hilbert Triples: Standing Notation and Background, the set $H$ is open in $H$ by Hilbert Triples: Standing Notation and Background §open-sets; accordingly $W=D(A)\cap H=D(A)$ and $V\cap H=V$ there. Let $\mathrm{Sym}(V)$ be as in Hilbert Triples: Standing Notation and Background §restriction and let $h$ be the penalty function.

Let $\lambda_{0},C_{g}\in\mathbb{R}$ satisfy $0<\lambda_{0}$ and $0\le C_{g}$, let $\omega_{g}$ be a modulus of continuity, and let $g:V\to\mathbb{R}$ satisfy

Let $B:V\to H$ be a monotone nonlinearity for $(H,V,A)$, let $\ell\in\mathbb{R}$ satisfy $0\le\ell$, and let $L:H\to H$ be Lipschitz with constant $\ell$ from $(H,d_{H})$ to itself. Put $c_{L}=|L(0_{H})|_{H}$.

Let $F$ be the function on $D(A)\times\mathbb{R}\times H\times\mathrm{Sym}(V)$ whose value at $(x,r,p,X)$ is

which is defined because $x\in D(A)$ gives $x\in V$ and $Ax\in H$ by Hilbert Triples: Standing Notation and Background §operator, whence $B(x)\in H$ and $g(x)\in\mathbb{R}$, and $x\in H$ by Hilbert Triples: Standing Notation and Background §triple, whence $L(x)\in H$. Then the following hold.

1. (An operator of first order)¶ $F$ is a second-order equation operator on $H$ relative to $(H,V,A)$ and is first order; consequently $F$ is degenerate elliptic by A First-Order Equation Operator is Degenerate Elliptic and Its $\delta$-Shifts Ignore the Form Argument §elliptic.

2. (Strict properness)¶ For every positive $R\in\mathbb{R}$, $\lambda_{0}$ is a properness constant for $F$ at $R$; in particular $F$ is locally strictly proper. No further restriction on $\lambda_{0}$ is imposed anywhere below.

3. (The structure condition)¶ Let $\bar{\omega}_{g}$ be the nondecreasing envelope of $\omega_{g}$ truncated at $M=2C_{g}$, which satisfies $\bar{\omega}_{g}(t)\le2C_{g}$ for every nonnegative $t$ by The Nondecreasing Envelope of a Truncated Modulus of Continuity §modulus, let $\omega_{g}^{\ast}$ be its quadratic reparametrisation at $2C_{g}$, let $\omega_{1}$ be the function on the nonnegative reals with

and let $\omega_{2}$ be the function with value $\omega_{2}(t,\alpha)=K\alpha\,t$ at each pair $(t,\alpha)$ of real numbers with $0\le t$ and $1<\alpha$, where $K=2+4c_{L}^{2}+4\ell^{2}$. Then $\omega_{1}$ is a modulus of continuity, for every real $\alpha>1$ the function $t\mapsto\omega_{2}(t,\alpha)$ on the nonnegative reals is a modulus of continuity, and for every positive $R\in\mathbb{R}$ the pair $(\omega_{1},\omega_{2})$ is a structure pair for $F$ at $R$; in particular $F$ satisfies the first-order structure condition.

4. (The shift-continuity condition)¶ $F$ satisfies the shift-continuity condition.

5. (Comparison for this operator)¶ Let $u,v:H\to\mathbb{R}$ and $C\in\mathbb{R}$ satisfy $u(x)\le C$ and $-C\le v(x)$ for every $x\in H$, let $u$ be a viscosity subsolution of $F$ on $H$ and let $v$ be a viscosity supersolution of $F$ on $H$. Then $u(x)\le v(x)$ for every $x\in V$.