TheoremBase

First-Order Equation Operators on the Noise Wasserstein Space with Momentum-Continuous Shifts

A first-order operator has momentum-continuous shifts relative to a noise penalty pair if, on data with bounded score, real argument and field norm, its delta-shifts are uniformly continuous in the noise field.

Statement

In the setting of First-Order Equations on the Noise Wasserstein Space Relative to a Noise Penalty Pair: Standing Notation, let (D,DΣ,E,Σ)(\mathcal{D},\mathcal{D}_{\Sigma},\mathcal{E},\Sigma) be a noise penalty pair on Pρa\mathcal{P}^{a}_{\rho} and let FF be a first-order equation operator over DΣ\mathcal{D}_{\Sigma}, with δ\delta-shifts Fδ−F^{-}_{\delta} and Fδ+F^{+}_{\delta} relative to that pair for each positive δ∈R\delta\in\mathbb{R}. For ν∈DΣ\nu\in\mathcal{D}_{\Sigma} the score Σ(ν)\Sigma(\nu) lies in TνaT^{a}_{\nu}, hence in the real Hilbert space L2(ν;Xa)L^{2}(\nu;X^{a}), by Noise Penalty Pairs on the Noise Wasserstein Space: the Penalty, Its Score, and Their Domains §pair; for q,q′∈L2(ν;Xa)q,q'\in L^{2}(\nu;X^{a}) the difference q−q′q-q' is taken in that space; and ∣s∣|s| is the absolute value of s∈Rs\in\mathbb{R}.

(Momentum-continuous shifts) The operator FF has momentum-continuous shifts relative to the noise penalty pair if for all δ,R,η∈R\delta,R,\eta\in\mathbb{R} with 0<δ<10<\delta<1, 0<R0<R and 0<η0<\eta there is a positive κ∈R\kappa\in\mathbb{R} such that

∣Fδ−(ν,r,q)−Fδ−(ν,r,q′)∣<ηand∣Fδ+(ν,r,q)−Fδ+(ν,r,q′)∣<η\bigl|F^{-}_{\delta}(\nu,r,q)-F^{-}_{\delta}(\nu,r,q')\bigr|<\eta\qquad\text{and}\qquad\bigl|F^{+}_{\delta}(\nu,r,q)-F^{+}_{\delta}(\nu,r,q')\bigr|<\eta

for every ν∈DΣ\nu\in\mathcal{D}_{\Sigma} with ∥Σ(ν)∥ν≤R\lVert\Sigma(\nu)\rVert_{\nu}\le R, every r∈Rr\in\mathbb{R} with ∣r∣≤R|r|\le R, and all q,q′∈L2(ν;Xa)q,q'\in L^{2}(\nu;X^{a}) with ∥q∥ν≤R\lVert q\rVert_{\nu}\le R, ∥q′∥ν≤R\lVert q'\rVert_{\nu}\le R and ∥q−q′∥ν<κ\lVert q-q'\rVert_{\nu}<\kappa.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…