Proof of Basic Properties of the Delta-Envelopes on the Wasserstein Space

Each result cited is universally quantified over the data in its own statement. Throughout, $\mathcal{D}$ carries the metric $W_{2}$ and the envelopes are those of The Delta-Envelopes of a Function on the Wasserstein Space Relative to a Penalty Pair.

Claim 1. Suppose $u$ is bounded above near each point of $\mathcal{P}_{2}(\mathbb{R}^{d})$. By The Delta-Envelopes of a Function on the Wasserstein Space Relative to a Penalty Pair §minus the function $u-\delta\mathcal{E}$ is bounded above near each point of $\mathcal{D}$ and $u^{-}_{\delta}$ is its upper semicontinuous envelope on $\mathcal{D}$. By Properties of the Upper Semicontinuous Envelope §bounds, $u(\nu)-\delta\,\mathcal{E}(\nu)\le u^{-}_{\delta}(\nu)$ for every $\nu\in\mathcal{D}$, and by Properties of the Upper Semicontinuous Envelope §usc, $u^{-}_{\delta}$ is upper semicontinuous on $\mathcal{D}$. If instead $u$ is bounded below near each point of $\mathcal{P}_{2}(\mathbb{R}^{d})$, then by The Delta-Envelopes of a Function on the Wasserstein Space Relative to a Penalty Pair §plus the function $u+\delta\mathcal{E}$ is bounded below near each point of $\mathcal{D}$ and $u^{+}_{\delta}$ is its lower semicontinuous envelope; Properties of the Lower Semicontinuous Envelope, by Duality §bounds gives $u^{+}_{\delta}(\nu)\le u(\nu)+\delta\,\mathcal{E}(\nu)$ and Properties of the Lower Semicontinuous Envelope, by Duality §lsc gives the lower semicontinuity.

Claim 2. Suppose first that $u$ is bounded above near each point of $\mathcal{P}_{2}(\mathbb{R}^{d})$, and let $\mu\in\mathcal{P}_{2}(\mathbb{R}^{d})$. By Properties of the Lower Semicontinuous Envelope, by Duality §duality, a real number $c$ belongs to the set $A_{u}(\mu)$ of Upper and Lower Semicontinuous Envelopes of a Real-Valued Function for $u$ if and only if $-c$ belongs to the set $B_{-u}(\mu)$ for $-u$; since $A_{u}(\mu)$ is nonempty, so is $B_{-u}(\mu)$, and $-u$ is bounded below near each point of $\mathcal{P}_{2}(\mathbb{R}^{d})$ by Upper and Lower Semicontinuous Envelopes of a Real-Valued Function §near-bounds. Hence, by The Delta-Envelopes of a Function on the Wasserstein Space Relative to a Penalty Pair §plus applied to $-u$, the function $(-u)+\delta\mathcal{E}$ is bounded below near each point of $\mathcal{D}$ and $(-u)^{+}_{\delta}$ is its lower semicontinuous envelope on $\mathcal{D}$.

Write $g=u-\delta\mathcal{E}$, a function on $\mathcal{D}$. For $\nu\in\mathcal{D}$,

by the distributivity axiom of Ordered Field and claim 2 of Zero Products and Elementary Identities in a Field, so $(-u)+\delta\mathcal{E}=-g$. Applying Properties of the Lower Semicontinuous Envelope, by Duality §duality to the function $-g$ gives $\bigl(-(-g)\bigr)^{*}=-\bigl((-g)_{*}\bigr)$, that is $g^{*}=-\bigl((-g)_{*}\bigr)$, since $-(-g)=g$ by claim 2 of Zero Products and Elementary Identities in a Field; taking additive inverses, $(-g)_{*}=-\bigl(g^{*}\bigr)$. Therefore

Suppose now that $u$ is bounded below near each point of $\mathcal{P}_{2}(\mathbb{R}^{d})$. The same argument with the roles of the two sets exchanged shows that $-u$ is bounded above near each point; and with $g'=u+\delta\mathcal{E}$ one has $(-u)-\delta\mathcal{E}=-g'$ on $\mathcal{D}$ and, by Properties of the Lower Semicontinuous Envelope, by Duality §duality applied to $g'$, $(-g')^{*}=-\bigl(g'_{*}\bigr)$, whence $(-u)^{-}_{\delta}=-\,u^{+}_{\delta}$ on $\mathcal{D}$.

Claim 3. Suppose $u$ is continuous and $\mathcal{E}$ is lower semicontinuous on $\mathcal{D}$ relative to $\mathcal{D}$.

Local bounds. Let $\mu\in\mathcal{P}_{2}(\mathbb{R}^{d})$. By Continuous Map Between Metric Spaces, applied with the positive number $1$, there is a positive $\rho\in\mathbb{R}$ such that $|u(\nu)-u(\mu)|<1$ for every $\nu\in\mathcal{P}_{2}(\mathbb{R}^{d})$ with $W_{2}(\nu,\mu)<\rho$; by claim 9 of Properties of the Absolute Value in an Ordered Field such a $\nu$ satisfies $u(\mu)-1<u(\nu)<u(\mu)+1$, hence also $u(\mu)-1\le u(\nu)\le u(\mu)+1$, a strict inequality implying the corresponding weak one in the ordered field $\mathbb{R}$. Let $r=\rho\,2^{-1}$, positive and smaller than $\rho$ by claim 8 of Elementary Order Arithmetic in an Ordered Field. Every $\nu\in\mathcal{P}_{2}(\mathbb{R}^{d})$ with $W_{2}(\nu,\mu)\le r$ satisfies $W_{2}(\nu,\mu)<\rho$ by claim 2 of Elementary Order Arithmetic in an Ordered Field, hence the two bounds above. So $u(\mu)+1\in A_{u}(\mu)$ and $u(\mu)-1\in B_{u}(\mu)$ in the notation of Upper and Lower Semicontinuous Envelopes of a Real-Valued Function, and $u$ is bounded above near each point and bounded below near each point of $\mathcal{P}_{2}(\mathbb{R}^{d})$ by Upper and Lower Semicontinuous Envelopes of a Real-Valued Function §near-bounds. Both $\delta$-envelopes are therefore defined.

The envelopes. The restriction of $u$ to $\mathcal{D}$ is continuous on $\mathcal{D}$ relative to $\mathcal{D}$ by claim 4 of Semicontinuity and Continuity Under Composition with a Continuous Map, hence both upper and lower semicontinuous on $\mathcal{D}$ by claim 2 of Semicontinuity Under Negation and Characterization of Continuity. Since $0\le\delta$, the function $\delta\mathcal{E}$ is lower semicontinuous on $\mathcal{D}$ by claim 3 of Sums and Nonnegative Multiples of Semicontinuous Functions, and $-(\delta\mathcal{E})$ is upper semicontinuous on $\mathcal{D}$ by claim 1 of Semicontinuity Under Negation and Characterization of Continuity. By claim 1 of Sums and Nonnegative Multiples of Semicontinuous Functions the sum of the restriction of $u$ and $-(\delta\mathcal{E})$, which is $u-\delta\mathcal{E}$ by claim 2 of Zero Products and Elementary Identities in a Field, is upper semicontinuous on $\mathcal{D}$; so $u^{-}_{\delta}=(u-\delta\mathcal{E})^{*}=u-\delta\mathcal{E}$ on $\mathcal{D}$ by Properties of the Upper Semicontinuous Envelope §fixed. Likewise the sum of the restriction of $u$ and $\delta\mathcal{E}$, namely $u+\delta\mathcal{E}$, is lower semicontinuous on $\mathcal{D}$ by claim 3 of Sums and Nonnegative Multiples of Semicontinuous Functions, so $u^{+}_{\delta}=(u+\delta\mathcal{E})_{*}=u+\delta\mathcal{E}$ on $\mathcal{D}$ by Properties of the Lower Semicontinuous Envelope, by Duality §fixed.