Search Results

We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb R \to \mathbb R$ belong to the Hölder space $C^{1, \alpha}_b (\mathbb R)$ for some $\alpha \in (0, 1)$. Let $u : \mathbb T \times \mat …

$ \newcommand{\bR}{\mathbb{R}} \newcommand{\bE}{\mathbb{E}} \newcommand{\bT}{\mathbb{T}} \newcommand{\bP}{\mathbb{P}} \newcommand{\bF}{\mathbb{F}} \newcommand{\cF}{\mathcal{F}} \newcommand{\eps}{\vare …

$ \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\|_{\ …

$\newcommand{\NN}{\mathbb N} \newcommand{\RR}{\mathbb R}$ Let $\alpha \in (0, 1]$ and $d, j \in \NN^*$. The usual Hölder space $C^{j, \alpha} := C^{j,\alpha} (\RR^d; \RR)$ is defined as the space of …

Previously, I asked the same question for a non-linear PDE, but I have got no answer. Below, I consider the linear counterpart it. We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb R^ …

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

$ \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}} \newcommand{\bE}{\mathbb{E}} \newcommand{\bT}{\mathbb{T}} \newcommand{\bP}{\mathbb{P}} \newcommand{\bF}{\mathbb{F}} \newcommand{\cF}{\mathcal{F}} \newcommand{\eps}{\vare …

Below is my formalization of @Nik's hints to finish the proof. Let's prove that $$ \sum_{m=1}^M \|H_m\|^q_{L_{p}(\mu_m, X)^*} \le \|H\|^q_{L_{p}(\mu, X)^*} \quad \forall M \in \mathbb N^*. $$ Let $\O …

Let $(X, \mathcal A, \mu)$ be a $\sigma$-finite measure space and $(E, |\cdot|)$ a Banach space. Here we use the Bochner integral. Let $p \in [1, \infty)$ and $q \in (1, \infty]$ such that $p^{-1}+q^{ …

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 …

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

We define $U : [0, +\infty) \to [0, +\infty)$ by $U(0) := 0$ and $U (s) := s \log s$ for $s >0$. Then $U$ is strictly convex. Let $D$ be the set of all bounded non-negative continuous functions $\rho …