A Rademacher-type theorem on \(L^2\)-Wasserstein spaces over closed Riemannian manifolds (Q2286468): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2898055090 / rank | |||
Normal rank |
Revision as of 18:31, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Rademacher-type theorem on \(L^2\)-Wasserstein spaces over closed Riemannian manifolds |
scientific article |
Statements
A Rademacher-type theorem on \(L^2\)-Wasserstein spaces over closed Riemannian manifolds (English)
0 references
22 January 2020
0 references
Let $(M,g)$ be a Riemannian manifold, $\mathcal{P}$ be the space of all Borel probability measures on $M$, and $d$ be the intrinsic metric. For a fixed $x_0\in M$, set \[ \mathcal{P}_2:=\left\{\mu\in\mathcal{P}: \int_M d^2(x,x_0)d\mu(x)<\infty\right\} \] and \[ W_2(\mu_1,\mu_2):=\left(\inf_{\pi\in \mathrm{Cpl}(\mu_1,\mu_2)}\int_{M\times M}d^2(x,y)d\pi(x,y)\right)^{1/2}, \] where $\mathrm{Cpl}(\mu_1,\mu_2)$ is the set of couplings between $\mu_1$ and $\mu_2$. The metric space $(\mathcal{P}_2, W_2)$ is called $L^2$-Wasserstein space over $(M,d)$. Let $\mathbb{P}$ be any Borel probability measure on $(\mathcal{P}_2, W_2)$ over a closed Riemannian manifold $M$. In this interesting paper, the author considers the Dirichlet form $\mathcal{E}$ induced by $\mathbb{P}$ and by the Wasserstein gradient on $\mathcal{P}_2(M)$. Under some mild assumptions, it is proved that $W_2$-Lipschitz functions on $\mathcal{P}_2(M)$ are contained in the Dirichlet space $\mathcal{D}(\mathcal{E})$ and that $W_2$ is dominated by the intrinsic metric induced by $\mathcal{E}$. A lot of examples are given to illustrate the main results.
0 references
closed Riemann manifold
0 references
Wasserstein space
0 references
Dirichlet form
0 references
Lipschitz functions
0 references