All Questions
Tagged with calculus-of-variations optimal-transportation
19 questions
8
votes
0
answers
1k
views
Wasserstein distance and Monge-Kantorovich-Rubinstein duality
The definition of Wasserstein $p$-distance between two measures $\mu$ and $\nu$ on a Polish space $X$ is given by
$$
W_p(\mu, \nu)^p = \inf_{\gamma \in \Pi(\mu, \nu)} \int_{X \times X} d(x, y)^p\; d\...
- 1,407
6
votes
2
answers
2k
views
Weak convergence + convergence of the norm implies strong convergence in Orlicz spaces
It is known [1, proposition 3.32] and a classical trick in PDEs that, in any uniformly convex Banach space $X$, weak convergence $x_n\rightharpoonup x$ together with convergence of the norm $\|x_n\|_X\...
- 5,380
5
votes
1
answer
631
views
Uniqueness of Kantorovich potentials?
$\newcommand{\R}{\mathbb R}$Take $\Omega\subset \R^d$ bounded, convex, and smooth.
Consider the optimal transport problem with cost $c(x,y)=\lvert x-y\rvert^2$, leading to the quadratic Wassersein ...
- 5,380
4
votes
1
answer
351
views
Inf of Jensen's inequality
I'm reading a monograph that considers the following problem:
$$\inf_{z(t) \in C^1} \int_0^1 c\bigg(\frac{dz(t)}{dt}\bigg) dt\\ z(0) = x, z(1) = y$$
Here $c$ is a convex function, $z(t)$ are paths ...
- 427
4
votes
1
answer
668
views
Optimal Transport: how is this transport map Borel measurable?
I'm reading Theorem 1.17. and its proof at page 14 of Santambrogio's Optimal transport for applied mathematicians. The content is not hard but a little bit long (because of related detail). Please ...
- 825
4
votes
0
answers
589
views
Optimal transport between two distributions in a Markov chain
In a previous question, given an ergodic Markov chain, I'm interesting in sampling as short a path as possible with prescribed distributions for its endpoints. In a comment, I propose that the ...
- 6,853
3
votes
1
answer
151
views
Is this map (from the space of probability densities to the Wasserstein space) Lipschitz?
Let $p \in [1, \infty)$. Let $\mathcal P_p(\mathbb R^d)$ be the space of all Borel probability measures on $\mathbb R^d$ with finite $p$-th moments. Let $D_p$ be the collection of all Borel measurable ...
- 657
2
votes
1
answer
142
views
Existence of first variation
I am trying to compute the first variation of the functional
$$\mathcal F(\rho) = \int_{\Omega} R(x;\rho) d\rho(x)$$
where $R$ is some function of $x$ that also depends on $\rho$. Here $\rho$ is a ...
- 21
2
votes
2
answers
293
views
Optimal transport: the existence of an optimal pair of $c$-conjugate functions
$\newcommand{\diff}{ \, \mathrm d}$
Let
$X,Y$ be Polish spaces,
$\mathcal C_b(X)$ the space of all real-valued bounded continuous functions on $X$,
$\mathcal P(X)$ the space of Borel probability ...
- 825
2
votes
1
answer
267
views
Optimal transport for applied mathematicians: how does $\varphi (x) = \inf_{y \in Y} [c(x, y) - \psi (y)] \neq -\infty$ follow in Theorem 1.37?
I'm reading a proof of Theorem 1.37 from Santambrogio's Optimal transport for applied mathematicians: calculus of variations, PDEs, and modeling. First, I quote related definitions. Let $X,Y$ be ...
- 657
2
votes
0
answers
110
views
relative entropy, Fisher information, and metric slope for non-convex domains
$\newcommand{\R}{\mathbb R}$ If $\Omega\subset \R^d$ is a convex domain it is well-known that the relative entropy
$$
\mathcal H(\rho)=
\int_{\Omega}\rho\log\rho \ \mathrm{d}x
\qquad \mbox{for }\rho=...
- 5,380
2
votes
0
answers
198
views
Optimal transport: how is the use of disintegration theorem valid in this construction of $\widetilde{\phi}$?
Let $X,Y$ be Polish spaces and $\mathcal P(X)$ the space of all Borel probability measures on $X$.
Fix $\mu\in \mathcal P(X), \nu \in \mathcal P(Y)$. Let $\pi \in \Pi(\mu, \nu)$, i.e., $\pi \in \...
- 825
2
votes
0
answers
146
views
Prove the equicontinuity of a maximizing sequence
Let $X$ be a compact subset of $\mathbb{R}$ and $c(x_1,x_2,x_3,x_4)$ be a fixed bounded continuous functions on $X^4$. Assume $\mu,\nu$ are probability measures on $X^2$, and $\mu\otimes\nu$ is the ...
- 323
1
vote
1
answer
313
views
Strict convexity of the cost function is enough to ensure the existence and uniqueness of the optimal transport map
Let $X=Y = \mathbb R^d$ and $c:X \times Y \to [0, \infty)$ be Borel measurable. Let $\mu, \nu$ be Borel probability measures on $X,Y$ respectively. Let $\mathcal T$ be the set of all Borel measurable ...
- 825
1
vote
2
answers
195
views
Optimal transport: how $\varphi^c$ can be written as $\varphi^c = \lim _{\ell \rightarrow \infty} \psi_{\ell}$?
Let $X,Y$ be Polish spaces and $c:X \times Y \to [0, \infty]$ lower semi-continuous. There is a sequence $(c_\ell)_{\ell \in \mathbb N}$ with $c_\ell:X \times Y \to [0, \infty)$ of bounded Lipschitz ...
- 825
1
vote
0
answers
70
views
$c$-cyclical monotonicity: does this proof hold if $f \equiv +\infty$ or $\int c \mathrm d \gamma = +\infty$?
I'm reading the proof of Theorem 1.38. from section 1.6.2 $c$-cyclical monotonicity and duality of Santambrogio's Optimal transport for applied mathematicians.
My understanding: It seems for the ...
- 825
1
vote
0
answers
193
views
What is the role of of continuity in this proof of Kantorovich duality?
I'm reading the proof of Kantorovich duality from Villani's book Topics in Optimal Transportation.
Let $X$ and $Y$ be Polish spaces. Let $P(X), P(Y)$ be the spaces of all Borel probability measures ...
- 825
0
votes
1
answer
93
views
Continuity of generalised Legendre transform
Let $X$ and $Y$ be $\sigma$-compact spaces, and $\mu$ [resp. $\nu$] be a regular Borel probability measure on $X$ [resp. $Y$].
For a bounded continuous $c:X\times Y\rightarrow\mathbb{R}$, we consider ...
- 463
0
votes
0
answers
114
views
Wasserstein compactness of sublevel sets of relative entropy
Let $\mathcal{P}({\mathbb{R}^d})$ denote the set of Borel probability measures on $\mathbb{R}^d$, and let $\pi \in \mathcal{P} (\mathbb{R}^d)$. It is known that the sets $\{ \mu \in \mathcal{P}(\...
- 660