The Shift-Coercivity Condition for an Equation Operator on the Wasserstein Space

In the setting of The Intrinsic Calculus on the Wasserstein Space: Standing Notation, let $(\mathcal{D},\mathcal{D}_{\Sigma},\mathcal{E},\Sigma)$ be a penalty pair on $\mathcal{P}_{2}(\mathbb{R}^{d})$ and let $F$ be a second-order equation operator over $\mathcal{D}_{\Sigma}$, with the admissible sets $S^{-}_{\delta,R}$ and $S^{+}_{\delta,R}$ of test data, taken relative to this operator and this penalty pair. For $\nu\in\mathcal{D}_{\Sigma}$ the score $\Sigma(\nu)$ lies in $T_{\nu}$, hence in $L^{2}(\nu;\mathbb{R}^{d})$, by Penalty Pairs on the Wasserstein Space: the Penalty, Its Score, and Their Domains §pair. In this definition the letter $r$ denotes a real number; the dimension written $r$ in Wasserstein Spaces, Random Vectors, Vector Fields and Symmetric Matrices in Every Dimension: Standing Notation is not used.

1. (Score bound at a level)¶ Let $\delta,R\in\mathbb{R}$ satisfy $0<\delta<1$ and $0<R$, and let $C\in\mathbb{R}$ be nonnegative. We say that $C$ is a score bound for $F$ at $(\delta,R)$ if every test datum $(\nu,r,q,Y)$ belonging to $S^{-}_{\delta,R}$ or to $S^{+}_{\delta,R}$ satisfies

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