Sums, Real Multiples and Differences of Test Functions on the Wasserstein Space

In the setting of Square-Integrable Vector Fields Against a Probability Measure on Euclidean Space, and Test Functions: Standing Notation, assume that $(\Omega,\mathcal{F},P)$ is rich. Test functions on $\mathcal{P}_{2}(\mathbb{R}^{d})$, their intrinsic gradients $\nabla\varphi(\mu)$, elements of the tangent space $T_{\mu}$, and their translation Hessians $H_{\varphi}(\mu)$, elements of the set $\mathcal{S}(d)$ of symmetric real $d\times d$ matrices, are those of that definition. Sums and real multiples of matrices are those of Real Matrices, Symmetric Matrices and the Semidefinite Ordering: Standing Notation §matrices, and sums and real multiples in $L^{2}(\mu;\mathbb{R}^{d})$ those of the real Hilbert space fixed there. In this statement test function always means a test function on $\mathcal{P}_{2}(\mathbb{R}^{d})$ and $\nabla\varphi(\mu)$ its intrinsic gradient; the test functions $\psi\in C_{c}^{\infty}(\mathbb{R}^{d})$ of Square-Integrable Vector Fields Against a Probability Measure on Euclidean Space, and Test Functions: Standing Notation §test and their gradient maps $\nabla\psi$ are not used. For $\varphi,\chi:\mathcal{P}_{2}(\mathbb{R}^{d})\to\mathbb{R}$ and $c\in\mathbb{R}$, the functions $\varphi+\chi$, $c\varphi$ and $\varphi-\chi$ on $\mathcal{P}_{2}(\mathbb{R}^{d})$ take the values $\varphi(\mu)+\chi(\mu)$, $c\,\varphi(\mu)$ and $\varphi(\mu)-\chi(\mu)$ at $\mu$, and $-\varphi$ is the function $(-1)\varphi$.

Let $\varphi$ and $\chi$ be test functions and let $c\in\mathbb{R}$. Then the following hold.

1. (Sums and real multiples)¶ The functions $\varphi+\chi$ and $c\varphi$ are test functions, and for every $\mu\in\mathcal{P}_{2}(\mathbb{R}^{d})$

2. (Differences)¶ The functions $\varphi-\chi$ and $-\varphi$ are test functions, and for every $\mu\in\mathcal{P}_{2}(\mathbb{R}^{d})$