Bloom Type Inequality: The Off-diagonal Case
Pith reviewed 2026-05-24 20:23 UTC · model grok-4.3
The pith
The double commutator of two fractional integrals is bounded from weighted mixed-norm L^p to L^q by a multiple of the product BMO norm of b.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For 1 < p1 < q1 < ∞ and 1 < p2 < q2 < ∞ satisfying 1/q1 + 1/p1' = λ1/n and 1/q2 + 1/p2' = λ2/m, with μ1, σ1 in A_{p1,q1}(R^n), μ2, σ2 in A_{p2,q2}(R^m), and ν the product of the ratios μ1 σ1^{-1} ⊗ μ2 σ2^{-1}, the norm of the double commutator [[I_λ1^1, [b, I_λ2^2]]] from L^{p2}(L^{p1})(μ2^{p2} × μ1^{p1}) to L^{q2}(L^{q1})(σ2^{q2} × σ1^{q1}) is bounded by a constant depending only on the A_{p,q} characteristics times ||b||_{BMO_prod(ν)}.
What carries the argument
The double commutator [[I_λ1^1, [b, I_λ2^2]]] whose boundedness is controlled by the weighted product BMO space BMO_prod(ν) on the mixed-norm spaces.
If this is right
- The representation formula for fractional integrals yields the stated commutator bound.
- The inequality holds precisely when the exponents satisfy the given fractional-integral relations.
- The controlling constant depends only on the A_{p,q} characteristics of the four weights.
- The weight ν is the tensor product of the two ratio weights.
Where Pith is reading between the lines
- The same representation technique may extend the inequality to other multi-parameter singular operators.
- The result supplies a model for checking sharpness by testing on characteristic functions of rectangles.
- One could ask whether the same bound persists when the mixed norms are replaced by other product spaces such as Orlicz or Lorentz versions.
Load-bearing premise
The weights belong to the A_{p,q} classes and the fractional orders λ satisfy the exact index relations 1/q + 1/p' = λ/dimension.
What would settle it
An explicit pair of weights in A_{p,q} together with a function b whose product BMO norm is finite, yet the operator applied to a test function in the mixed-norm space produces an output whose norm exceeds every multiple of that BMO norm.
read the original abstract
In this paper, we establish a representation formula for fractional integrals. As a consequence, for two fractional integral operators $I_{\lambda_1}$ and $I_{\lambda_2}$, we prove a Bloom type inequality \begin{align*} \mbox{\hbox to 8em{}}& \hskip -8em \left\|\big[I_{\lambda_1}^1,\big[b,I_{\lambda_2}^2\big]\big] \right\|_{L^{p_2}(L^{p_1})(\mu_2^{p_2}\times\mu_1^{p_1})\rightarrow L^{q_2}(L^{q_1})(\sigma_2^{q_2}\times\sigma_1^{q_1})} % \\ %& \lesssim_{\substack{[\mu_1]_{A_{p_1,q_1}(\mathbb R^n)},[\mu_2]_{A_{p_2,q_2}(\mathbb R^m)} \\ [\sigma_1]_{A_{p_1,q_1}(\mathbb R^n)},[\sigma_2]_{A_{p_2,q_2}(\mathbb R^m)}}} \|b\|_{\BMO_{\pro}(\nu)}, \end{align*} where the indices satisfy $1<p_1<q_1<\infty$, $1<p_2<q_2<\infty$, $1/q_1+1/p_1'=\lambda_1/n$ and $1/q_2+1/p_2'=\lambda_2/m$, the weights $\mu_1,\sigma_1 \in A_{p_1,q_1}(\mathbb R^n)$, $\mu_2,\sigma_2 \in A_{p_2,q_2}(\mathbb R^m)$ and $\nu:=\mu_1\sigma_1^{-1}\otimes \mu_2\sigma_2^{-1}$, $I_{\lambda_1}^1$ stands for $I_{\lambda_1}$ acting on the first variable and $I_{\lambda_2}^2$ stands for $I_{\lambda_2}$ acting on the second variable, $\BMO_{\rm{prod}}(\nu)$ is a weighted product $\BMO$ space and $L^{p_2}(L^{p_1})(\mu_2^{p_2}\times\mu_1^{p_1})$ and $ L^{q_2}(L^{q_1})(\sigma_2^{q_2}\times\sigma_1^{q_1}) $ are mixed-norm spaces.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes a representation formula for fractional integrals and, as a consequence, proves a Bloom-type inequality bounding the operator norm of the double commutator [[I_λ1¹, [b, I_λ2²]]] from the weighted mixed-norm space L^{p2}(L^{p1})(μ2^{p2} × μ1^{p1}) to L^{q2}(L^{q1})(σ2^{q2} × σ1^{q1}) by a constant depending on the A_{p,q} characteristics of the weights times ||b||_{BMO_prod(ν)}, where the indices satisfy 1 < p_i < q_i < ∞ with 1/q_i + 1/p_i' = λ_i / dimension, the weights μ_i, σ_i belong to the indicated A_{p_i,q_i} classes, and ν is the product weight μ1 σ1^{-1} ⊗ μ2 σ2^{-1}.
Significance. If the central claim holds, the result extends Bloom inequalities for commutators to the off-diagonal fractional-integral case in the product-space mixed-norm setting. The approach of deriving a representation formula followed by iteration of one-variable estimates aligns with standard techniques in multi-parameter weighted harmonic analysis, and the use of product BMO and the natural A_{p,q} classes for fractional integrals makes the statement a natural and potentially useful contribution.
minor comments (3)
- [Abstract] Abstract: the displayed inequality contains LaTeX formatting artifacts (hbox to 8em, hskip -8em) that impair readability and should be removed.
- [Abstract] Abstract: the notation BMO_pro(ν) is written inconsistently with the surrounding text; it should be rendered uniformly as BMO_prod(ν) or expanded on first use.
- [Abstract] Abstract: the weight ν is defined as μ1 σ1^{-1} ⊗ μ2 σ2^{-1}, but the dependence on the ratio of μ and σ should be stated explicitly in the statement of the theorem for clarity.
Simulated Author's Rebuttal
We thank the referee for their careful reading and positive assessment of the manuscript, including the recommendation for minor revision. The referee's summary accurately captures the main results. No specific major comments were listed in the report, so we have no individual points to address point-by-point.
Circularity Check
No significant circularity; derivation self-contained
full rationale
The paper first derives a representation formula for the fractional integrals I_λ, then applies it to obtain the commutator bound via iterated one-variable estimates and standard product BMO theory. The index relations 1/q_i + 1/p_i' = λ_i/dim are the classical mapping conditions for the operators, the A_{p,q} classes are the natural Muckenhoupt-type weights for which boundedness holds, and ν is defined directly from the input weights. No step reduces by definition to its own output, no fitted parameter is relabeled as a prediction, and no load-bearing premise rests solely on a self-citation chain. The argument is externally falsifiable against known one-variable Bloom inequalities and does not invoke any uniqueness theorem or ansatz from the authors' prior work.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard theory of Muckenhoupt A_{p,q} weights and weighted norm inequalities for fractional integrals holds in the given settings.
- domain assumption The product BMO space BMO_prod(ν) is well-defined and its norm controls the oscillation of b in the product measure setting.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.2: ⟨g,I_λ f⟩ = C·E_ω ∑_{i,j} 2^{-max(i,j)/2} ⟨g,S_{i,j}^{λ,ω} f⟩ (dyadic-shift representation)
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.3: Bloom bound controlled by [μ_i]_{A_{p_i,q_i}} and ||b||_{BMO_prod(ν)}
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
-
[2]
A. Benedek, A. P. Calder´ on, and R. Panzone. Convolution operators on Banach space valued functions. Proc. Natl. Acad. Sci. USA , 48:356–365, 1962
work page 1962
-
[3]
A. Benedek and R. Panzone. The spaces Lp, with mixed norm. Duke Math. J. , 28:301–324, 1961. 24
work page 1961
-
[4]
S. Bloom. A commutator theorem and weighted BMO. Trans. Amer. Math. Soc. , 292(1):103–122, 1985
work page 1985
- [5]
-
[6]
T. Chen and W. Sun. Iterated weak and weak mixed-norm spac es with applications to geometric inequalities. J. Geom. Anal. , In Press, 2019
work page 2019
-
[7]
G. Cleanthous, A. G. Georgiadis, and M. Nielsen. Anisotr opic mixed-norm hardy spaces. J. Geom. Anal. , 27(4):2758–2787, Oct 2017
work page 2017
-
[8]
G. Cleanthous, A. G. Georgiadis, and M. Nielsen. Molecul ar decomposition of anisotropic homogeneous mixed-norm spaces with applicati ons to the boundedness of operators. Appl. Comput. Harmon. Anal. , 2017
work page 2017
-
[9]
D. Cruz-Uribe, J. M. Martell, and C. P´ erez. Sharp weight ed estimates for classical operators. Adv. Math. , 229(1):408–441, 2012
work page 2012
-
[10]
D. Cruz-Uribe and K. Moen. One and two weight norm inequa lities for Riesz poten- tials. Illinois J. Math. , 57(1):295–323, 2013
work page 2013
-
[11]
J. Duoandikoetxea. Extrapolation of weights revisite d: new proofs and sharp bounds. J. Funct. Anal. , 260(6):1886–1901, 2011
work page 1901
-
[12]
S. H. Ferguson and M. T. Lacey. A characterization of pro duct BMO by commutators. Acta Math. , 189(2):143–160, 2002
work page 2002
-
[13]
D. L. Fernandez. Vector-valued singular integral oper ators on Lp-spaces with mixed norms and applications. Pac. J. Math. , 129(2):257–275, 1987
work page 1987
-
[14]
A. G. Georgiadis, J. Johnsen, and M. Nielsen. Wavelet tr ansforms for homogeneous mixed-norm Triebel-Lizorkin spaces. Monatsh. Math. , 183(4):587–624, 2017
work page 2017
- [15]
-
[16]
J. Hart, R. H. Torres, and X. Wu. Smoothing properties of bilinear operators and Leibniz-type rules in Lebesgue and mixed Lebesgue spaces. Trans. Amer. Math. Soc. , 370(12):8581–8612, 2018
work page 2018
- [17]
- [18]
-
[19]
I. Holmes and B. D. Wick. Two weight inequalities for ite rated commutators with Calder´ on-Zygmund operators.J. Operator Theory , 79(1):33–54, 2018
work page 2018
-
[20]
L. H¨ ormander. Estimates for translation invariant operators in Lp spaces. Acta Math., 104:93–140, 1960. 25
work page 1960
- [21]
- [22]
-
[23]
T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. Weis. Analysis in Banach spaces. Vol. I. Martingales and Littlewood-Paley theory , volume 63 of Ergebnisse der Mathe- matik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Su rveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Ser ies of Modern Surveys in Mathematics] . Springe...
work page 2016
- [24]
-
[25]
T. P. Hyt¨ onen. The sharp weighted bound for general Cal der´ on-Zygmund operators. Ann. of Math. (2) , 175(3):1473–1506, 2012
work page 2012
-
[26]
T. P. Hyt¨ onen. The Holmes-Wick theorem on two-weight b ounds for higher order commutators revisited. Arch. Math. (Basel) , 107(4):389–395, 2016
work page 2016
-
[27]
J. Johnsen, S. Munch Hansen, and W. Sickel. Anisotropic Lizorkin-Triebel spaces with mixed norms—traces on smooth boundaries. Math. Nachr. , 288(11-12):1327– 1359, 2015
work page 2015
-
[28]
D. S. Kurtz. Classical operators on mixed-normed space s with product weights. Rocky Mountain J. Math. , 37(1):269–283, 2007
work page 2007
-
[29]
A. K. Lerner, S. Ombrosi, and I. P. Rivera-R ´ ıos. Commut ators of singular integrals revisited. Bull. Lond. Math. Soc. , 51(1):107–119, 2019
work page 2019
-
[30]
K. Li, H. Martikainen, and E. Vuorinen. Bloom type inequ ality for bi-parameter singular integrals: efficient proof and iterated commutator s. Int. Math. Res. Not. IMRN, In press, 2019
work page 2019
-
[31]
K. Li, H. Martikainen, and E. Vuorinen. Bloom type upper bounds in the product BMO setting. J. Geom. Anal. , In Press, 2019
work page 2019
-
[32]
H. Martikainen. Representation of bi-parameter singu lar integrals by dyadic opera- tors. Adv. Math. , 229(3):1734–1761, 2012
work page 2012
-
[33]
B. Muckenhoupt and R. Wheeden. Weighted norm inequalit ies for fractional integrals. Trans. Amer. Math. Soc. , 192:261–274, 1974
work page 1974
-
[34]
Y. Ou. A T (b) theorem on product spaces. Trans. Amer. Math. Soc. , 367(9):6159– 6197, 2015
work page 2015
-
[35]
J. L. Rubio de Francia, F. J. Ruiz, and J. L. Torrea. Calde r´ on-Zygmund theory for operator-valued kernels. Adv. Math. , 62:7–48, 1986. 26
work page 1986
-
[36]
A. Stefanov and R. H. Torres. Calder´ on-Zygmund operators on mixed Lebesgue spaces and applications to null forms. J. London Math. Soc. (2) , 70(2):447–462, 2004
work page 2004
-
[37]
R. H. Torres and E. L. Ward. Leibniz’s rule, sampling and wavelets on mixed Lebesgue spaces. J. Fourier Anal. Appl. , 21(5):1053–1076, 2015
work page 2015
-
[38]
M. Wilson. Weighted Littlewood-Paley theory and exponential-square i ntegrability, volume 1924 of Lecture Notes in Mathematics . Springer, Berlin, 2008. 27
work page 1924
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.