Search Results

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 …

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., …

I'm reading about inverse function theorem for everywhere (not necessarily continuously) differentiable funtions. First from Terence Tao's blog, i.e., Theorem 2 (Everywhere differentiable inverse fun …

I'm reading about subdifferentiable function at page 232 of Villani's Optimal Transport: Old and New. Definition 10.5 (Subdifferentiability, superdifferentiability). Let $U$ be an open set of $\mathb …

Let $\kappa_1>0$, $\beta\in [0, 1]$ and $b: \mathbb R_+ \times \mathbb R^d \to \mathbb R^d$ such that for all $t\ge0$ and $x,y \in \mathbb R^d$ we have $|b(t, 0)| \le \kappa_1$ and $|b(t, x) - b(t, y) …

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

We fix $p \in [1, \infty)$. We have for every $f \in L^p (\mathbb R^d)$ that $\lim_{|z| \to \infty} \|1_{B(z, 1)} f\|_{L^p} =0$. I wonder if there is an estimate of above decay, i.e., Is there a meas …

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 …

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 …

$ \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}}$ 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 | …

Fix $p \in [1, \infty)$. Let $(L^p (\mathbb R^d), \|\cdot\|_{L^p})$ be the Lesbesgue space of $p$-integrable real-valued functions on $\mathbb R^d$. Let ${\tilde L}^p (\mathbb R^d)$ be the space of Le …

Let $d \in \mathbb N^*,p \in [1, \infty]$ and $T>0$. Let $$ F :[0, T] \to L^p (\mathbb R^d; \mathbb R_{\ge 0}), t \mapsto F_t $$ be measurable. I would like to ask if there is a measurable function $G …

Below we use Bochner measurability and Bochner integral. Let $(X, \mathcal A, \mu)$ and $(Y, \mathcal B, \nu)$ be complete $\sigma$-finite measure spaces, $(E, | \cdot |)$ a Banach space, $S (X)$ the …

Let $\alpha \in (0, 1)$ and $\psi : \mathbb R^d \to \mathbb R^d$ be a $C^\infty$-diffeomorphism such that $\|\nabla \psi\|_\infty + \|\nabla \psi^{-1}\|_\infty < + \infty$. Let $$ I (t) := \sup_{x \in …