The Shift-Continuity Condition on Admissible Test Data

In the setting of Hilbert Triples: Standing Notation and Background, let $U\subseteq H$ be open in $H$, with $W=D(A)\cap U$ as in Hilbert Triples: Standing Notation and Background §open-sets, let $\mathrm{Sym}(H)$ with its norm $\lVert\cdot\rVert$ and its sums of forms be as in Hilbert Triples: Standing Notation and Background §restriction, and let $F$ be a second-order equation operator on $U$ relative to $(H,V,A)$, with $\delta$-shifts $F^{-}_{\delta}$ and $F^{+}_{\delta}$ and with the admissible sets $S^{-}_{\delta,R}$ and $S^{+}_{\delta,R}$ of test data.

1. (Shift modulus at a level)¶ Let $\delta,R\in\mathbb{R}$ satisfy $0<\delta<1$ and $0<R$, and let $\omega$ be a modulus of continuity. We say that $\omega$ is a shift modulus for $F$ at $(\delta,R)$ if the following two conditions hold for every $q\in H$ and every $Y\in\mathrm{Sym}(H)$. First, every $(x,r,p,X)\in S^{-}_{\delta,R}$ satisfies

Secondly, every $(y,s,p',X')\in S^{+}_{\delta,R}$ satisfies

The arguments of $\omega$ are nonnegative, being sums of norms.

2. (The shift-continuity condition)¶ The operator $F$ satisfies the shift-continuity condition if for all $\delta,R\in\mathbb{R}$ with $0<\delta<1$ and $0<R$ there is a shift modulus for $F$ at $(\delta,R)$.