Fractional Sobolev embeddings and algebra property: A dyadic view
Authors:
Patricia Alonso Ruiz,
Valentia Fragkiadaki
Abstract:
This paper revisits classical fractional Sobolev embedding theorems and the algebra property of the fractional Sobolev space $H^s(\mathbb{R})$ by means of Haar functions and dyadic decompositions. The aim is to provide an alternative, hands-on approach without Fourier transform that may be transferred to settings where the latter is not available. Explicit counterexamples are constructed to show t…
▽ More
This paper revisits classical fractional Sobolev embedding theorems and the algebra property of the fractional Sobolev space $H^s(\mathbb{R})$ by means of Haar functions and dyadic decompositions. The aim is to provide an alternative, hands-on approach without Fourier transform that may be transferred to settings where the latter is not available. Explicit counterexamples are constructed to show the failure of the algebra property in the low-regularity regime.
△ Less
Submitted 16 December, 2024;
originally announced December 2024.
Dimension-free estimates for low degree functions on the Hamming cube
Authors:
Komla Domelevo,
Polona Durcik,
Valentia Fragkiadaki,
Ohad Klein,
Diogo Oliveira e Silva,
Lenka Slavíková,
Błażej Wróbel
Abstract:
The main result of this paper are dimension-free $L^p$ inequalities, $1<p<\infty$, for low degree scalar-valued functions on the Hamming cube. More precisely, for any $p>2,$ $\varepsilon>0,$ and $θ=θ(\varepsilon,p)\in (0,1)$ satisfying
\[
\frac{1}{p}=\fracθ{p+\varepsilon}+\frac{1-θ}{2}
\]
we obtain, for any function $f:\{-1,1\}^n\to \mathbb{C}$ whose spectrum is bounded from above by $d,$…
▽ More
The main result of this paper are dimension-free $L^p$ inequalities, $1<p<\infty$, for low degree scalar-valued functions on the Hamming cube. More precisely, for any $p>2,$ $\varepsilon>0,$ and $θ=θ(\varepsilon,p)\in (0,1)$ satisfying
\[
\frac{1}{p}=\fracθ{p+\varepsilon}+\frac{1-θ}{2}
\]
we obtain, for any function $f:\{-1,1\}^n\to \mathbb{C}$ whose spectrum is bounded from above by $d,$ the Bernstein-Markov type inequalities
\[\|Δ^k f\|_{p} \le C(p,\varepsilon)^k \,d^k\, \|f\|_{2}^{1-θ}\|f\|_{p+\varepsilon}^θ,\qquad k\in \mathbb{N}.\] Analogous inequalities are also proved for $p\in (1,2)$ with $p-\varepsilon$ replacing $p+\varepsilon.$ As a corollary, if $f$ is Boolean-valued or $f\colon \{-1,1\}^n\to \{-1,0,1\},$ we obtain the bounds \[\|Δ^k f\|_{p} \le C(p)^k \,d^k\, \|f\|_p,\qquad k\in \mathbb{N}.\] At the endpoint $p=\infty$ we provide counterexamples for which a linear growth in $d$ does not suffice when $k=1$. We also obtain a counterpart of this result on tail spaces. Namely, for $p>2$ we prove that any function $f:\{-1,1\}^n\to \mathbb{C}$ whose spectrum is bounded from below by $d$ satisfies the upper bound on the decay of the heat semigroup
$$ \|e^{-tΔ}f\|_{p} \le \exp(-c(p,\varepsilon) td) \|f\|_{2}^{1-θ}\|f\|_{p+\varepsilon}^θ,\qquad t>0,$$ and an analogous estimate for $p\in (1,2).$ The constants $c(p,\varepsilon)$ and $C(p,\varepsilon)$ depend only on $p$ and $\varepsilon$; crucially, they are independent of the dimension $n$.
△ Less
Submitted 25 October, 2024; v1 submitted 15 January, 2024;
originally announced January 2024.
Paraproducts, Bloom BMO and Sparse BMO Functions
Authors:
Valentia Fragkiadaki,
Irina Holmes Fay
Abstract:
We address $L^p(μ)\rightarrow L^p(λ)$ bounds for paraproducts in the Bloom setting. We introduce certain "sparse BMO" functions associated with sparse collections with no infinitely increasing chains, and use these to express sparse operators as sums of paraproducts and martingale transforms -- essentially, as Haar multipliers -- as well as to obtain an equivalence of norms between sparse operator…
▽ More
We address $L^p(μ)\rightarrow L^p(λ)$ bounds for paraproducts in the Bloom setting. We introduce certain "sparse BMO" functions associated with sparse collections with no infinitely increasing chains, and use these to express sparse operators as sums of paraproducts and martingale transforms -- essentially, as Haar multipliers -- as well as to obtain an equivalence of norms between sparse operators $\mathcal{A}_\mathcal{S}$ and compositions of paraproducts $Π^*_aΠ_b$.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.
