Search arXivSearch

arXiv · 1907.07292

Bloom Type Inequality: The Off-diagonal Case

Abstract

In this paper, we establish a representation formula for fractional integrals. As a consequence, for two fractional integral operators $I_{λ_1}$ and $I_{λ_2}$, we prove a Bloom type inequality \begin{align*} \mbox{\hbox to 8em{}}& \hskip -8em \left\|\big[I_{λ_1}^1,\big[b,I_{λ_2}^2\big]\big] \right\|_{L^{p_2}(L^{p_1})(μ_2^{p_2}\timesμ_1^{p_1})\rightarrow L^{q_2}(L^{q_1})(σ_2^{q_2}\timesσ_1^{q_1})} % \\ %& \lesssim_{\substack{[μ_1]_{A_{p_1,q_1}(\mathbb R^n)},[μ_2]_{A_{p_2,q_2}(\mathbb R^m)} \\ [σ_1]_{A_{p_1,q_1}(\mathbb R^n)},[σ_2]_{A_{p_2,q_2}(\mathbb R^m)}}} \|b\|_{\BMO_{\pro}(ν)}, \end{align*} where the indices satisfy $1<p_1<q_1<\infty$, $1<p_2<q_2<\infty$, $1/q_1+1/p_1'=λ_1/n$ and $1/q_2+1/p_2'=λ_2/m$, the weights $μ_1,σ_1 \in A_{p_1,q_1}(\mathbb R^n)$, $μ_2,σ_2 \in A_{p_2,q_2}(\mathbb R^m)$ and $ν:=μ_1σ_1^{-1}\otimes μ_2σ_2^{-1}$, $I_{λ_1}^1$ stands for $I_{λ_1}$ acting on the first variable and $I_{λ_2}^2$ stands for $I_{λ_2}$ acting on the second variable, $\BMO_{\rm{prod}}(ν)$ is a weighted product $\BMO$ space and $L^{p_2}(L^{p_1})(μ_2^{p_2}\timesμ_1^{p_1})$ and $ L^{q_2}(L^{q_1})(σ_2^{q_2}\timesσ_1^{q_1}) $ are mixed-norm spaces.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Junren Pan, Wenchang Sun. 2019-07-17. Bloom Type Inequality: The Off-diagonal Case. https://arxiv.org/abs/1907.07292

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Fragment-wise differentiable structures

The $p$-modulus of curves, test plans, upper gradients, charts, differentials, approximations in energy and density of directions are all concepts associated to the theory of Sobolev functions in metric measure spaces. The purpose of this paper is to give an analogous geometric and ``fragment-wise'' theory for Lipschitz functions and Weaver derivations, where $\infty$-modulus of curve fragments, $\ast$-upper gradients and Alberti representations play a central role. We give a new definition of fragment-wise charts and prove that they exists for spaces with finite Hausdorff dimension. We give a replacement for $p$-duality in terms of Alberti representations and $\infty$-modulus and present the theory of $\ast$-upper gradients. Further, we give new and sharper results for approximations of Lipschitz functions, which yields the density of directions. Our results are applicable to all complete and separable metric measure spaces. In the process, we show that there are strong parallels between the Sobolev and Lipschitz worlds.

math.CA

On the prime field spherical restriction conjecture in four dimensions: breaking the Stein-Tomas exponent and applications

Let $p$ be an odd prime. We prove the extension estimate $R_{S_j}^*(2\to r)\lesssim_r 1$ for every nonzero-radius sphere $S_j\subseteq\mathbb{F}_p^4$ and every $r\geq \, 34/11$, uniformly in $p$ and $j$. This improves the Stein--Tomas exponent $10/3$ established by Iosevich and Koh (2008). We also formulate a localized spherical restriction/extension conjecture that predicts the sharp dependence of the restriction norm on the size of the physical support. This conjecture implies the spherical extension estimates $R_{S_j}^*(2\to r)\lesssim_r 1$ for every $r>3$, and yields almost-every-pin distance estimates at the conjectured Erdős--Falconer exponent in four dimensions, up to an arbitrarily small power loss in the set-size hypothesis. Using the same method, we improve the bounds supplied by Fourier decay and Plancherel at intermediate support scales and derive new almost-every-pin distance estimates in $\mathbb{F}_p^4$.

math.CA

A characterization of idempotent Schur multipliers

We prove that every idempotent Schur multiplier is a finite signed sum of contractive idempotent Schur multipliers. This was conjectured by Katavolos and Paulsen in 2003 and previously known only for translation-invariant Schur multipliers, by the Cohen-Host idempotent theorem. Concretely, we show that any boolean matrix $A$ with Schur multiplier norm at most $γ$ (or equivalently $\lVert A\rVert_{γ_2} \le γ$) can be written as \[ A=\sum_{i=1}^{L}σ_i B_i,\] where $L\leq 2^{Cγ^6}$ for an absolute constant $C$, $σ_i\in\{-1,1\}$ are signs, and each $B_i$ is a contractive idempotent Schur multiplier, that is, a boolean matrix whose $1$-entries form a union of all-one rectangular blocks, with no two blocks sharing a row or a column. As observed by Carenini, a key lemma in our work yields a new proof of the Cohen-Host theorem and gives a simple proof of the quantitative refinements of Green-Sanders and Sanders, with improved bounds. We include a self-contained exposition of these results in the case of finite groups.

math.CA