Strictly Proper Second-Order Equation Operator

Let $n\ge1$ be a natural number, let $U\subseteq\mathbb{R}^n$ be an open subset of Euclidean space $\mathbb{R}^n$, let $\mathbb{R}$ be the ordered field of real numbers, let $\mathcal{S}(n)$ be the set of symmetric real $n\times n$ matrices, let $F$ be a second-order equation operator on $U$, and let $\gamma\in\mathbb{R}$ satisfy $0<\gamma$.

We say that $F$ is strictly proper with constant $\gamma$ if the following two conditions hold.

1. $F$ is degenerate elliptic.

2. For every $x\in U$, every $p\in\mathbb{R}^n$, every $X\in\mathcal{S}(n)$, and all $r,s\in\mathbb{R}$ with $s\le r$,

$$\gamma\,(r-s)\le F(x,r,p,X)-F(x,s,p,X).$$