Search Results

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 sav …

Let $\hat{\varrho}, \tilde{\varrho}$ be probability density functions on $\mathbb R^d$ where $\tilde{\varrho} \in L^{\infty} (\mathbb R^d)$. For $\varepsilon \in [0, 1]$, we define $\varrho_{\varepsil …

Let $\beta \in (0, 1)$. We assume $f : [0, 1] \to [0, \infty)$ is a measurable and bounded function such that $$ f(t) \le \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(s)|^{\beta}] \, \mathrm d s, \quad \f …

I asked this question on MSE here. One person gave an answer but then he deleted it because my version of Clairaut-Schwarz theorem is stronger than his. I meant my version only requires the continuity …

We endow the space $\mathcal P_2^a (\mathbb R^d)$ of absolutely continuous probability measures with finite second moment with the Wasserstein distance $W_2$. Let $\mathcal H (\mu)$ be the relative en …

$ \newcommand{\bR}{\mathbb{R}} \newcommand{\diff}{\mathop{}\!\mathrm{d}} $ We fix $\alpha \in (0, 1)$ and $c>0$. Let $\ell : \bR^d \to \bR_+$ be a probability density function such that $$ \|\ell\|_{\ …

Let $f : \mathbb R^d \to \mathbb R$ be Lipschitz and $[f] := \sup_{x,y \in \mathbb R^d; x\neq y} \frac{|f(x) - f(y)|}{|x-y|}$ its Lipschitz constant. By Rademacher theorem, $f$ is differentiable a.e., …

$\newcommand{\RR}{\mathbb R}\newcommand{\diff}{\, \mathrm d}$ We fix $T \in (0, \infty)$ and $p, q \in [1, \infty)$. Let $\mathbb T$ be the interval $[0, T]$. Let $E$ be the space of all real-valued …

Let $f: \mathbb R^d \to \mathbb R^d$ be a measurable function such that $$ \sup_{x,y \in \mathbb R^d} \frac{|f(x) - f(y)|}{\max \{1, |x-y| \}} < \infty. $$ Are there functions $g,h: \mathbb R^d \to \ …

Let $\alpha \in (0, \infty)$ and $\beta \in (0, 1]$. We assume $f : [0, 1] \to [0, \infty)$ is a measurable and bounded function such that $$ f(t) \le \alpha + \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f …

$ \newcommand{\RR}{\mathbb{R}} \newcommand{\TT}{\mathbb{T}} \newcommand{\NN}{\mathbb{N}} \newcommand{\PP}{\mathbb{P}} \newcommand{\EE}{\mathbb{E}} \newcommand{\FF}{\mathbb{F}} \newcommand{\PPP}{\maths …

$ \newcommand{\RR}{\mathbb{R}} \newcommand{\TT}{\mathbb{T}} \newcommand{\NN}{\mathbb{N}} \newcommand{\PP}{\mathbb{P}} \newcommand{\EE}{\mathbb{E}} \newcommand{\FF}{\mathbb{F}} \newcommand{\PPP}{\maths …

$ \newcommand{\bR}{\mathbb{R}} \newcommand{\diff}{\mathop{}\!\mathrm{d}} $ We fix $\alpha \in (0, 1)$ and $c>0$. Let $f : \bR^d \to \bR$ and $\ell : \bR^d \to \bR_+$ be measurable such that $\ell$ is …

$ \newcommand{\bR}{\mathbb{R}} \newcommand{\diff}{\mathop{}\!\mathrm{d}} $ Let $(p_t)_{t>0}$ be the standard Gaussian heat kernel on $\bR^d$, i.e., $$ p_t (x) := \frac{1}{(4 \pi t)^{\frac{d}{2}}} \exp …

$\newcommand{\bR}{\mathbb{R}}$ Let $\alpha := e^{-(1 + \sqrt{2})}$. We define the following modulus $\psi : \bR_+ \to \bR_+$ of continuity $$ \psi (x) := \begin{cases} 0 &\text{if} \quad x =0 , \\ x | …