REVIEW 2 major objections 5 minor 50 references
Properties and applications of partial multiple weights for fractional integrals
T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper proves that the fractional-integral commutator [b,I_alpha] is bounded on a family of partial Muckenhoupt weighted Lebesgue spaces exactly when b has bounded mean oscillation, partially answering an open question of Cruz-Uribe.
desk verdict A serious, technically dense paper introducing partial multiple weights and new extrapolation theorems, with a real but likely repairable gap at an L-infinity endpoint and some sloppy applications in Section 4. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the partial multiple weight class A^u_{p,q}, defined for an A1 weight u by the condition sup_Q \langle u^q w^q \$rangle_Q^{{1/q}}$ \langle $w^{{-p'}}$ \$rangle_Q^{{1/p'}}$ \|$u^{{-1}}$\|_{L^\infty(Q)} < \infty. This class lets the argument factor out the A1 weight u while keeping control of the remaining weight w, and it supports a Rubio de Francia algorithm based on a modified maximal operator M_{u,\gamma}, producing new weights in A^u_{1,1/\gamma}. That algorithm carries the extrapolation theorems (Theorems 1.13-1.16), which in turn are used to reach the endpoint case p2 = infinity in the bilinear fractional maximal estimate (1.28). A second load-bearing mechanism is the pointwise domination M_\$\alpha$(f)(x) <= \|u\|_{$L^{{d/(alpha-beta),1}}$} M_{\$\beta$,2}(f,$u^{{-1}}$)(x), which reduces fractional maximal and fractional integral estimates to a bilinear two-weight bound.
What would settle it
Take u(x) = |x|^{-a} and w(x) = |x|^b with parameters satisfying u in A_1 cap $M_s^{{d/(alpha-beta)}}$ and w in A^u_{p,q}, and compute the two-weight operator norm of M_{\$\beta$,2}(f,$u^{{-1}}$) from L^p(w^p) to L^q(u^q w^q). If for some admissible a,b,p,q,$\beta$ this norm is infinite while the BMO necessity still holds, the endpoint extrapolation used for sufficiency fails and the equivalence in Theorem 1.6 is false.
Extended reading notes
Core claim
The central discovery is a characterization theorem: for 0 <= $\beta$ < $\alpha$ < d, 1 < p <= q < infinity with $\beta$/d = 1/p - 1/q and 1 <= s < d/($\alpha$-$\beta$), a function b lies in BMO if and only if the commutator [b,I_alpha] satisfies the estimate ||[b,I_alpha](f)||_{L^q(u^q w^q)} <= C ||u||_{$M_s^{{d/(alpha-beta)}}$} ||f||_{L^p(w^p)} for every u in A_1 cap $M_s^{{d/(alpha-beta)}}$ and every w in the new class A^u_{p,q}, with a constant independent of f. The necessity is obtained by combining a new off-diagonal extrapolation theorem with a known BMO necessary condition for commutators, while sufficiency is proved by controlling the fractional integral pointwise by a bilinear fractional maximal function and then extending the known finite-exponent bilinear bound to the endpoint where one input merely lies in L^infinity. This result is presented as a partial resolution of Cruz-Uribe's question, since it describes exactly what the boundedness of the commutator says about b when the weights range over a natural partial Muckenhoupt family.
Load-bearing premise
The proof needs to extend a known bound for the bilinear fractional maximal operator from the case where both input exponents are finite to the case where one input is only bounded in L^infinity; if this extrapolation step fails, the sufficiency direction of the BMO characterization collapses.
Editorial extensions
If this is right
- If the characterization is correct, BMO is not merely sufficient but necessary for commutator boundedness on the entire partial-weight scale, closing one direction of Cruz-Uribe's question for this family of weights.
- Weighted estimates for the fractional integral I_alpha and the fractional maximal operator M_alpha hold with constants controlled by the Morrey norm of u, giving quantitative two-weight bounds in the partial Muckenhoupt class.
- A single off-diagonal weighted estimate for one pair of exponents extrapolates to every pair with the same index gap, including standard Ap,q weights, so the new extrapolation theorems apply beyond commutators.
- The weighted inequalities imply Fefferman-Phong, degenerate Poincar\'e, and Caffarelli-Kohn-Nirenberg inequalities under partial weights, recovering known power-weight versions in special cases.
Reading between the lines
- Editorial inference: the same partial-weight extrapolation machinery should yield BMO characterizations for commutators of singular integrals and multilinear operators, with the fractional integral replaced by the relevant kernel.
- Editorial inference: the appearance of the Morrey norm of u suggests that the natural answer to the open question is not a single two-weight pair but a family of pairs parameterized by an A1 function, which reframes the original single-pair problem.
- Editorial inference: if the endpoint extrapolation is sharp, the condition 1 <= s < d/(alpha-beta) should be necessary in Theorem 1.6; constructing weights near s = d/(alpha-beta) that make the norm blow up would test sharpness.
- Editorial inference: specializing to u = 1 and beta = 0 should recover a classical BMO characterization from a two-weight Ap,q assumption, and comparing the constants could reveal whether the new class is the minimal one needed.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a new class of partial multiple Muckenhoupt weights (the Au_{p,q} classes), develops structural properties of these weights (factorization, reverse Hölder, embeddings, power-weight criteria), and proves Rubio de Francia type extrapolation theorems, including diagonal and off-diagonal variants and a multilinear version. These tools are then applied to weighted estimates for fractional integrals and fractional maximal functions, to Fefferman-Phong, degenerate Poincaré, and Caffarelli-Kohn-Nirenberg inequalities, and finally to a characterization of BMO via boundedness of the commutator [b,I_alpha] on weighted Lebesgue spaces, giving a partial answer to an open question of Cruz-Uribe. The central result is Theorem 1.6, with sufficiency proved through a bilinear fractional maximal bound and necessity through an off-diagonal extrapolation theorem.
Significance. If the technical gaps are repaired, the paper would be a meaningful contribution to weighted theory: the Au_{p,q} classes are a new object, the extrapolation theorems are substantially more general than previous results, and the BMO characterization Theorem 1.6 addresses a question that has been open in the literature. The paper also contains many auxiliary results (e.g., Proposition 2.2, Lemma 3.16, Lemma 3.25) that are likely to be useful independently. The authors provide detailed proofs for most statements, which is a strength. However, the main sufficiency argument currently rests on an endpoint case of the multilinear extrapolation theorem that is not proved, and an application section contains an internally inconsistent set of hypotheses; these issues prevent acceptance in the present form.
major comments (2)
- [Section 3.3, proof of Theorem 1.16 (around Eq. (3.44))] Theorem 1.16 is stated for all 1 < p*_1, ..., p*_m <= infinity, but the proof only treats finite target exponents. After applying Theorem 1.13, the proof selects 'sm satisfying rm < sm < infinity' and only later sets sm := p*_m. If p*_m = infinity, no such finite sm exists, and no limiting or duality argument is supplied. This is not a cosmetic endpoint issue: Corollary 1.18 inherits the gap, and Theorem 4.1 explicitly uses Corollary 1.18 to pass from 1 < p_i < infinity to 1 < p_i <= infinity. The bilinear bound (1.28) needed in Theorem 4.2 and hence in the sufficiency half of Theorem 1.6 has exactly p_2 = infinity (with f_2 = u^{-1}). Thus the main characterization currently rests on an unproved extrapolation case. The authors should either prove the endpoint case directly or restrict the statement and adjust Theorem 1.6 accordingly.
- [Section 4.2, Theorem 4.8 and Corollary 4.10] The hypotheses of Theorem 4.8 are internally inconsistent with its proof. The theorem states 0 <= beta < d, but the exponent d/(1-beta) is not a Lebesgue exponent for beta >= 1, and the proof invokes Theorem 1.25 with alpha = 1, which requires 0 <= beta < 1. Moreover, Corollary 4.10 is not a special case of Theorem 4.8: for p = q, the required weight class is L^{d/(1-beta),q0} = L^{d,q0} with q0 < infinity, whereas U(x) = |x|^{-1} belongs to weak L^d but not to L^{d,q0} for any finite q0. In addition, the corollary sets u(x) = |x|^{-1}, which is not locally integrable in cubes touching the origin in a way that makes it an A1 weight, and it does not arise from the construction u = M(U^r)^{1/r} used in Theorem 4.8. The corollary therefore needs a direct proof or a corrected set of hypotheses.
minor comments (5)
- [Theorem 1.14] The statement refers to weights 'w1 in Au1_{p1,q1}' but p1 is never defined; based on the surrounding display this should presumably be p, the exponent introduced earlier in the theorem.
- [Eq. (1.27) and Theorem 1.6] The pointwise bound (1.27) is written with the Lorentz-space norm L^{d/(alpha-beta),1}, while Theorem 1.6 assumes u in the Morrey space M^{d/(alpha-beta)}_s with s >= 1. For s > 1 this is repairable by Holder's inequality, but the manuscript should state the relevant embedding or write (1.27) with the Morrey norm from the outset.
- [Proof of Theorem 1.12] The proof in Section 3.2 consists of a reference to the sketch in Section 1.3 ('As mentioned in subsection 1.3...') rather than a self-contained argument. Since Theorem 1.12 is load-bearing for the necessity direction of Theorem 1.6, the proof should be written out in full or the referenced iteration should be displayed explicitly.
- [Section 3.3, proof of Theorem 1.16] The reduction 'without loss of generality' to varying only p_m is not fully justified; Theorem 1.16 allows all m target exponents to change, and the displayed proof only covers p*_i = p_i for i < m. An iteration step should be stated explicitly.
- [Reference list] There are several typographical errors in the references, e.g., 'Factorizaiton' in reference [27] and inconsistent punctuation in reference [49]; these should be corrected in the final version.
Circularity Check
No circular derivation: the central BMO characterization is not forced by definitions or by self-citation; only a minor non-load-bearing self-citation [49] appears.
full rationale
The derivation chain of Theorem 1.6 is genuinely self-contained. Sufficiency reduces [b,I_alpha] to the auxiliary operator C(b,f) via Lemma 5.1 (external, [10]) and then to weighted bounds for I_alpha and M_{alpha,s0} (Theorems 1.25 and 4.2), the latter proved from the multilinear maximal bound Theorem 4.1. Necessity uses the authors' off-diagonal extrapolation Theorem 1.12 to convert the assumed partial-weight bound into an unweighted A_{p,q} bound, then invokes the external necessary-condition result [9, Corollary 2.4]. No equation defines the weight class Au_{p,q}, the operator [b,I_alpha], or the norm ||u||_{M} in terms of ||b||_{BMO}; no fitted parameter is renamed as a prediction. The only self-citation is [49] in a motivational list, and it is never used as a premise in a proof, so it is not load-bearing. The skeptical concern about Theorem 1.16/Corollary 1.18 when p*_m = infinity is a possible completeness gap in the extrapolation proof (Section 3.3 chooses finite s_m after (3.44) and supplies no limiting argument for p*_m = infinity), but this is a proof gap, not circularity: an unproved endpoint case is not an input being equivalent to the output. Hence the score reflects only minor, non-load-bearing self-citation.
Assumptions & free parameters
assumptions (5)
- standard math Standard definitions of Muckenhoupt classes A_p and two-weight class A_{p,q}; Morrey and Lorentz spaces; basic properties of maximal functions.
- domain assumption Known boundedness of the multilinear fractional maximal function for finite exponents (Lerner-Ombrosi-Perez-Torres-Trujillo-Gonzalez, Moen).
- domain assumption Chanillo's pointwise estimate and level-set inequality for the maximal commutator C(b,f) (Lemma 5.1).
- domain assumption Muckenhoupt-Wheeden inequality: integral of |I_alpha(f)|^q w is bounded by integral of |M_alpha(f)|^q w for w in A_infinity (Lemma 4.4).
- domain assumption Necessary condition from Chaffee and Cruz-Uribe ([9, Cor. 2.4]): boundedness of [b,I_alpha] on Lp(v^p) to Lq(v^q) for v in A_{p,q} implies b in BMO.
Cite this review
Pith. "Pith review of Properties and applications of partial multiple weights for fractional integrals." pith.science (2026). https://pith.science/paper/7QBAFZ5J
@misc{pith2026250521007,
author = {Pith},
title = {Pith review of: Properties and applications of partial multiple weights for fractional integrals},
year = {2026},
howpublished = {\url{https://pith.science/paper/7QBAFZ5J}},
note = {Machine review of arXiv:2505.21007}
}
read the original abstract
In this paper, through the introduction of partial multiple weights, we firstly study the related Rubio de Francia extrapolation theorem within the framework of partial Muckenhoupt classes and further obtain the corresponding extrapolation theorem for two types of off-diagonal estimates. Secondly, we establish some weighted estimates for fractional integrals associated with partial Muckenhoupt weights. As applications, several basic inequalities (including the Fefferman-Phong inequality, the degenerate Poincar\'{e} inequality and the Caffarelli-Kohn-Nirenberg inequality) related to partial Muckenhoupt weights are derived. Meanwhile, our results can give the characterization of the commutators of fractional integrals, which yields a partial answer to an open question proposed by D. Cruz-Uribe in the paper [D. Cruz-Uribe, Two weight inequalities for fractional integral operators and commutators, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2017, 25-85].
Reference graph
Works this paper leans on
-
[1]
E. Airta, Li Kangwei, H. Martikainen, Two-weight inequalities for multilinear commutators in product spaces. Potential Anal., 59 (2023), 1745–1792
work page 2023
-
[2]
P. Auscher, J. M. Martell, Weighted norm inequalities, off-diagonal estimates and elliptic opera- tors. Part I. General operator theory and weights. Adv. Math., 212 (2007), 225–276
work page 2007
-
[3]
M. Badiale, G. Tarantello, A Sobolev-Hardy inequality with applications to a nonlinear elliptic equation arising in astrophysics. Arch. Ration. Mech. Anal., 163 (2002), 259–293
work page 2002
-
[4]
H. Bahouri, J. Y . Chemin, I. Gallagher, Sharper Hardy inequalities. C. R. Math. Acad. Sci. Paris., 341 (2005), 89–92
work page 2005
-
[5]
H. Bahouri, J. Y . Chemin, I. Gallagher, Refined Hardy inequalities. Ann. Sc Norm. Super. Pisa Cl. Sci., 5 (2006), 375-391
work page 2006
-
[6]
L. Caffarelli, R. Kohn, L. Nirenberg, First order interpolation inequalities with weights. Composi- tion Math. 53 (1984), 259–275
work page 1984
-
[7]
R. E. Castillo and H. Rafeiro, An introductory course in Lebesgue spaces. Cham: Springer, 2016
work page 2016
-
[8]
L. Chaffee, Characterizations of bounded mean oscillation through commutators of bilinear singu- lar integral operators. Proc. Roy. Soc. Edinburgh Sect. A, 146 (2016), 1159–1166
work page 2016
Show all 50 references
-
[9]
Chaffee, D
L. Chaffee, D. Cruz-Uribe, Necessary conditions for the boundedness of linear and bilinear com- mutators on Banach function spaces. Math. Inequal. Appl., 21 (2018), 1-16
2018
-
[10]
Chanillo, A note on commutators
S. Chanillo, A note on commutators. Indiana Univ. Math. J., 31 (1982), 7–16
1982
-
[11]
Chiarenza, M
F. Chiarenza, M. Frasca, A remark on a paper by C. Fefferman. Proc. Amer. Math. Soc., 108 (1990), 407–409
1990
-
[12]
Coifman, C
R. Coifman, C. Fefferman, Weighted norm inequalities for maximal functions and singular inte- grals. Studia Math., 51 (1974), 241–250
1974
-
[13]
R. R. Coifman, R. Rochberg, G. Weiss, Factorization theorems for Hardy spaces in several vari- ables. Ann. of Math., 103 (1976), 611–635
1976
-
[14]
Cruz-Uribe, Two weight inequalities for fractional integral operators and commutators, World Scientific Publishing Co
D. Cruz-Uribe, Two weight inequalities for fractional integral operators and commutators, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2017, 25–85
2017
-
[15]
Cruz-Uribe, A
D. Cruz-Uribe, A. Fiorenza, Variable Lebesgue spaces, in: Foundations and Harmonic Analysis, in: Applied and Numerical Harmonic Analysis, Birkh¨auser/Springer, Heidelberg, 2013. 39
2013
-
[16]
Cruz-Uribe, J
D. Cruz-Uribe, J. M. Martell, C. P ´erez, Weights, extrapolation and the theory of Rubio de Francia, operator theory: Advances and Applications, vol. 215, Birkh¨auser/Springer Basel AG, Basel, 2011
2011
-
[17]
Cruz-Uribe, K
D. Cruz-Uribe, K. Moen, Sharp norm inequalities for commutators of classical operators. Publ. Math., 56 (2012), 147–190
2012
-
[18]
Duoandikoetxea, Extrapolation of weights revisited: new proofs and sharp bounds
J. Duoandikoetxea, Extrapolation of weights revisited: new proofs and sharp bounds. J. Funct. Anal., 260 (2011), 1886–1901
2011
-
[19]
Fefferman, The uncertainty principle
C. Fefferman, The uncertainty principle. Bull. Amer. Math. Soc., (N.S.) 9 (1983), 129–206
1983
-
[20]
Fefferman, B
C. Fefferman, B. Muckenhoupt, Two nonequivalent conditions for weight functions. Proc. Amer. Math. Soc., 45 (1974), 99–104
1974
-
[21]
Fefferman, E
C. Fefferman, E. M. Stein, H p spaces of several variables. Acta Math., 129 (1972), 137–193
1972
-
[22]
Gilbarg, N
D. Gilbarg, N. S. Trudinger, Elliptic partial differential equations of second order. Classics in Mathematics, Springer-Verlag, Berlin, 2001, Reprint of the 1998 edition
2001
-
[23]
Grafakos, Classical and modern Fourier analysis
L. Grafakos, Classical and modern Fourier analysis. Prentice Hall, 2004
2004
-
[24]
The unified theory for the necessity of bounded commu- tators and applications
Guo Weichao, Lian Jiali, Wu Huoxiong. The unified theory for the necessity of bounded commu- tators and applications. J. Geom. Anal., 30 (2020), 3995–4035
2020
-
[25]
Harboure, R
E. Harboure, R. A. Mac ´ıas, C. Segovia, Extrapolation results for classes of weights. Am. J. Math., 110 (1988), 383–397
1988
-
[26]
F. John, L. Nirenberg, On functions of bounded mean oscillation. Comm. Pure Appl. Math., 2 (1961), 415–426
1961
-
[27]
P. W. Jones, Factorizaiton of Ap weights. Ann. of Math., 111 (1980), 511-530
1980
-
[28]
M. T. Lacey, K. Moen, C. P ´erez, R. H. Torres, Sharp weighted bounds for fractional integral operators. J. Funct. Anal., 259 (2010), 1073–1097
2010
-
[29]
A. K. Lerner, S. Ombrosi, C. P ´erez, R. H. Torres, R. Trujillo-Gonz ´alez, New maximal functions and multiple weights for the multilinear Calder´on-Zygmund theory. Adv. Math., 220 (2009), 1222– 1264
2009
-
[30]
Li Kangwei, J. M. Martell, S. Ombrosi, Extrapolation for multilinear Muckenhoupt classes and applications. Adv. Math., 373 (2020), 107286
2020
-
[31]
Martikainen, E
Li Kangwei, H. Martikainen, E. Vuorinen, Genuinely multilinear weighted estimates for singular integrals in product spaces. Adv. Math., 393 (2021), 108099
2021
-
[32]
Li Yanyan, Yan Xukai, Asymptotic stability of homogeneous solutions to the Navier-Stokes equa- tions in R3. J. Differential Equations, 297 (2021), 226–245
2021
-
[33]
Li Yanyan, Yan Xukai, Anisotropic Caffarelli-Kohn-Nirenberg type inequalities. Adv. Math., 419 (2023), 108958
2023
-
[34]
Lin Changshou, Interpolation inequalities with weights. Comm. Partial Differential Equations, 11 (1986), 1515–1538
1986
-
[35]
G. G. Lorentz, Some new functional spaces. Ann. Math. (2), 51(1950), 37–55. 40
1950
-
[36]
G. G. Lorentz, On the theory of spaces Λ. Pac. J. Math., 1(1951), 411–429
1951
-
[37]
Moen, Weighted inequalities for multilinear fractional integrals
K. Moen, Weighted inequalities for multilinear fractional integrals. Collect. Math., 60 (2009), 213–238
2009
-
[38]
Muckenhoupt, R
B. Muckenhoupt, R. L. Wheeden, Weighted norm inequalities for fractional integrals. Trans. Amer. Math. Soc., 192 (1974), 261–274
1974
-
[39]
C. J. Neugebauer, Inserting Ap-weights. Proc. Amer. Math. Soc., 87 (1983), 644–648
1983
-
[40]
Nguyen, M
H. Nguyen, M. Squassina, Fractional Caffarelli-Kohn-Nirenberg inequalities. J. Funct. Anal., 274 (2018), 2661–2672
2018
-
[41]
Nguyen, M
H. Nguyen, M. Squassina, On Hardy and Caffarelli-Kohn-Nirenberg inequalities. J. Anal. Math., 139 (2019), 773–797
2019
-
[42]
P ´erez, Two weight norm inequalities for Riesz potentials and uniform Lp-weighted Sobolev inequalities
C. P ´erez, Two weight norm inequalities for Riesz potentials and uniform Lp-weighted Sobolev inequalities. Indiana Univ. Math. J., 39 (1990), 31–44
1990
-
[43]
P ´erez, Two weighted inequalities for potential and fractional type maximal operators
C. P ´erez, Two weighted inequalities for potential and fractional type maximal operators. Indiana Univ. Math. J., 43 (1994), 663–683
1994
-
[44]
J. L. Rubio de Francia, Factorization theory and Ap weights. Amer. J. Math., 106 (1984), 533–547
1984
-
[45]
E. T. Sawyer, A two weight weak type inequality for fractional integrals. Trans. Amer. Math. Soc., 281 (1984), 339–345
1984
-
[46]
E. T. Sawyer, A characterization of two weight norm inequalities for fractional and Poisson inte- grals. Trans. Amer. Math. Soc., 308 (1988), 533–545
1988
-
[47]
Segovia, J
C. Segovia, J. L. Torrea, Weighted inequalities for commutators of fractional and singular integral. Publ. Math., 35 (1991), 209–235
1991
-
[48]
E. M. Stein, Singular integrals and differentiability properties of functions. Princeton Mathematical Series, V ol. 30, pp. xiv+290 (Princeton University Press, Princeton, N.J., 1970)
1970
-
[49]
Studia Math., 272 (2023), 1–33
Wang Dinghuai, The necessity theory for commutators of multilinear singular integral operators: the weighted case. Studia Math., 272 (2023), 1–33
2023
-
[50]
Xu Gang, Yin Huicheng, On global multidimensional supersonic flows with vacuum states at infinity. Arch. Ration. Mech. Anal., 218 (2015), No. 3, 1189–1238
2015
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.