The Dissipative Hamilton-Jacobi Operator on a Hilbert Triple Satisfies the Comparison Hypotheses

In the setting of Hilbert Triples: Standing Notation and Background, the set $H$ is open in $H$, since every open ball of $(H,d_{H})$ is a subset of $H$; accordingly $W=D(A)\cap H=D(A)$ and $V\cap H=V$ in the notation of Hilbert Triples: Standing Notation and Background (v). Let $\mathrm{Sym}(V)$ be as in Hilbert Triples: Standing Notation and Background (vi).

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:H\to\mathbb{R}$ satisfy

$$|g(x)|\le C_{g}\quad\text{for every }x\in H,\qquad |g(x)-g(y)|\le\omega_{g}\bigl(|x-y|_{H}\bigr)\quad\text{for all }x,y\in 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

$$F(x,r,p,X)=\lambda_{0}\,r+\tfrac{1}{2}|p|_{H}^{2}+\langle Ax,p\rangle_{H}-g(x),$$

which is defined because $x\in D(A)$, so that $Ax\in H$ by Hilbert Triples: Standing Notation and Background (iii). Then the following hold.

1. (An operator of first order)(i) $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 (i).

2. (Strict properness)(ii) For every positive $R\in\mathbb{R}$, $\lambda_{0}$ is a properness constant for $F$ at $R$; in particular $F$ is locally strictly proper.

3. (The structure condition)(iii) Let $\omega_{1}$ be the nondecreasing envelope of $\omega_{g}$ truncated at $M=2C_{g}$, which is a modulus of continuity by The Nondecreasing Envelope of a Truncated Modulus of Continuity (ii), and let $\omega_{2}$ be the function with value $\omega_{2}(t,\alpha)=3\alpha^{2}t$ at each pair $(t,\alpha)$ of real numbers with $0\le t$ and $1<\alpha$. Then 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}$, $(\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)(iv) $F$ satisfies the shift-continuity condition.

5. (Comparison for this operator)(v) 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$.