Pith. sign in

REVIEW 3 major objections 5 minor 52 references

Properties and applications of Lorentz--Muckenhoupt classes

T0 review · 3 major / 5 minor · reviewed 2026-08-27 · deepseek-v4-flash

Pith's one-line read This paper introduces Lorentz–Muckenhoupt weight classes and proves a complete characterization of the fractional maximal operator on multiplier-weighted Lorentz spaces, with applications to commutators, Hardy inequalities, and fractional…

desk verdict A genuinely useful new weight class with a clean diagonal characterization, but the main sufficiency proof leans on an unverified lemma from an unreviewed preprint. read the letter →

arxiv 2608.17918 v1 pith:24D3PHPW submitted 2026-08-18 math.CA

classification math.CA MSC 42B2542B2046E30
keywords Lorentz–MuckenhouptclassesmultiplierweightedLorentzspacesfractionalmaximaloperatorMuckenhouptweightscommutatorsofintegralsHardyinequalitiesSchrödingerequation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper introduces a two-parameter family of Lorentz–Muckenhoupt weight classes and uses them to give a complete characterization of the fractional maximal operator on multiplier-weighted Lorentz spaces. In the diagonal case the boundedness of $M_\alpha\colon L^{p,p}_w\to L^{q,s}_w$ is shown to hold exactly when $w$ lies in the new class $A_{(p,p),(q,s)}$, for every $q\le s\le\infty$ with $1/p-1/q=\alpha/d$. This matters because the new class contains critical power weights, such as $|x|^{-d/q}$, that fall outside the classical Muckenhoupt $A_{p,q}$ classes, so the theorem supplies endpoint estimates that the older theory cannot reach. The same weight classes are then applied to three problems: characterizing commutators of fractional integrals via BMO (a partial answer to an open two-weight question), proving a Hardy inequality at the critical exponent $p=d$ where the classical inequality fails, and constructing unique mild solutions of fractional Schrödinger equations with singular potentials.

What carries the argument

The central object is the Lorentz–Muckenhoupt class $A_{(p,r),(q,s)}$, defined on cubes $Q$ by the product of normalized Lorentz norms of $w$ and $w^{-1}$, namely $\|w\|_{L^{q,s}(Q)}\|w^{-1}\|_{L^{p',r'}(Q)}$; it is the multiplier-weight analogue of the classical $A_{p,q}$ condition. The argument is carried by a sparse-level-set decomposition of the dyadic fractional maximal operator, which expresses the weighted Lorentz norm of $M_\alpha f$ as a sparse sum over cubes. A reverse-measure estimate for $\sigma=w^{-p'}$—quoted from external lemmas—allows each sparse cube's $\sigma(Q)$ to be replaced by $\sigma(E_Q)$ of a disjoint subset $E_Q$ of comparable size, converting the sparse sum into an unweighted dyadic fractional maximal inequality with respect to $\sigma$. The two-weight version of the class computes the exact norm of fractional averaging operators and yields the necessary condition for boundedness.

What would settle it

Compute the reverse-measure ratio for the endpoint weight $w(x)=|x|^{-d/q}$: take $Q$ a cube centered at the origin, $\sigma=w^{-p'}$, and let $E\subset Q$ be any measurable set with $|E|=\tfrac12|Q|$ that concentrates near the boundary of $Q$. Lemma 4.8 predicts $\sigma(Q)\le C\sigma(E)$ with $C$ bounded by a power of the characteristic $[w]_{A_{(p,p),(q,\infty)}}$; if the ratio $\sigma(Q)/\sigma(E)$ grows without bound for a sequence of such sets while the characteristic stays bounded, the sufficiency direction of the main theorem collapses, whereas a uniform bound would confirm the load-bearing step.

Watch

Extended reading notes

Core claim

The paper's central discovery is the characterization (1.2): for $1<p\le q<\infty$, $0\le\alpha<d$, $1/p-1/q=\alpha/d$, and $q\le s\le\infty$, the fractional maximal operator $M_\alpha$ is bounded from $L^{p,p}_w$ to $L^{q,s}_w$ if and only if $w$ belongs to the Lorentz–Muckenhoupt class $A_{(p,p),(q,s)}$, whose characteristic is the supremum over cubes $Q$ of the product of normalized Lorentz norms $\|w\|_{L^{q,s}(Q)}\|w^{-1}\|_{L^{p',p'}(Q)}$. The proof uses a sparse-level-set decomposition to reduce the weighted estimate to a dyadic fractional maximal operator with respect to the measure $\sigma=w^{-p'}$, after a reverse-measure lemma transfers weights from cubes to sparse subsets. In the range $p\le r\le s\le q$ the new class coincides with the classical $A_{p,q}$ class, so the theorem extends the classical theory; for $r=p$ and $s>q$ the class is strictly larger and contains critical power weights such as $|x|^{-d/q}$, which are not in $A_{p,q}$. The paper then derives direct consequences: a weighted BMO characterization of commutators of fractional integrals that partially answers an open two-weight question, a Hardy inequality at the critical exponent $p=d$, and a fixed-point theorem for fractional Schrödinger equations with singular potentials.

Load-bearing premise

The sufficiency proof of the main characterization relies on an external reverse-measure lemma: for $w\in A_{(p,p),(q,s)}$ and $\sigma=w^{-p'}$, the $\sigma$-measure of any measurable set that fills a fixed fraction of a cube controls the $\sigma$-measure of the whole cube, with a constant depending only on the weight characteristic; the paper quotes this lemma from another source rather than proving it.

Editorial extensions

If this is right

  • For every $q\le s\le\infty$, checking the single condition $w\in A_{(p,p),(q,s)}$ decides whether $M_\alpha$ maps $L^{p,p}_w$ into $L^{q,s}_w$, so the characterization is directly usable: one product of two normalized Lorentz norms over all cubes decides boundedness.
  • The class $A_{(p,p),(q,\infty)}$ contains the critical power weight $|x|^{-d/q}$, even though $|x|^{-d}$ is not locally integrable; the theorem therefore supplies endpoint weak-type bounds for $M_\alpha$ that cannot be obtained from classical $A_{p,q}$ theory.
  • A weighted BMO characterization holds for commutators of fractional integrals: $b\in BMO$ exactly when $[b,I_\alpha]$ is bounded on $L^{p,r}_w\to L^{p_\alpha,s}_w$, and the partial answer to the open two-weight commutator question follows by Lorentz duality.
  • The Hardy inequality at $p=d$ has the endpoint replacement $\||x|^{-d/q}u\|_{L^{q,\infty}}\lesssim\|\nabla u\|_{L^{d,1}}$ for $d\le q<\infty$, and the right-hand side cannot be replaced by any $\|\nabla u\|_{L^{d,r}}$ with $r>1$.
  • For the fractional Schrödinger equation $(-\Delta)^{\alpha/2}u-a(x)u=f$, a unique mild solution exists in $X^{q,\rho}_\beta$ whenever the multiplier $A=|x|^{\beta+\gamma}a(x)$ has sufficiently small $L^{t,\infty}$ norm, which covers the critical Hardy potential $a(x)=\lambda|x|^{-\alpha}$ for small $\lambda$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural extension is to test whether the same $A_{(p,r),(q,s)}$ machinery characterizes other sublinear operators, such as singular integrals or Marcinkiewicz integrals, on multiplier-weighted Lorentz spaces; the sparse argument appears to transfer whenever a scalar sparse bound is available.
  • The exact quantitative exponent $\Gamma_s$ for $s>q$ is left open between $1+p'/s$ and $1+p'/q$; interpolating between the endpoints $s=q$ and $s=\infty$, or refining the reverse-measure constant in Lemma 4.8, may close the gap.
  • The remaining open endpoint cases—$r=1$, and the $p=1$ weak-type endpoint problem—reduce to the size of the gap between $A_{(p,1),(q,\infty)}$ and $A_{(p,p),(q,\infty)}$; identifying a weight in the larger class that fails would settle the characterization negatively.
  • Because the Schrödinger fixed-point argument uses only the Hölder-type product inequality for Lorentz spaces, the same proof should extend to other rearrangement-invariant spaces with $t=d/(\alpha-\beta-\gamma)$ playing the same role.
Share X Bluesky LinkedIn Reddit HN

Formalized claims in Lean

  1. Claim #1: The paper's central discovery is the characterization (1.2): for $1<p\le q<\infty$, $0\le\alpha<d$, $1/p-1/q=\alpha/d$, and $q\le s\le\infty$, the fractional maximal operator $M_\alpha$ is bounded from $L^{p,p}_w$ to $L^{q,s}_w$ if and only if $w$ belongs to the Lorentz–Muckenhoupt class $A_{(p,p),(q,s)}$, whose characteristic is the supremum over cubes $Q$ of the product of normalized Lorentz nor

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper introduces Lorentz–Muckenhoupt classes A(p,r),(q,s) defined by normalized Lorentz norms over cubes, studies their structural properties, and characterizes the boundedness of the fractional maximal operator M_alpha on multiplier-weighted Lorentz spaces L^{p,r}_w. The central characterization is (1.2): for 1<p<=q<infinity, 1/p-1/q=alpha/d and q<=s<=infinity, M_alpha : L^{p,p}_w -> L^{q,s}_w is bounded if and only if w in A(p,p),(q,s)=:A^{[s]}_{p,q}. The paper also supplies counterexamples outside this range, quantitative estimates for the operator norm, and applications to commutators of fractional integrals, critical Hardy inequalities, and fractional Schroedinger equations. The structural sections are largely self-contained, but the sufficiency direction of the main maximal theorem relies on a single lemma imported from an unreferenced preprint.

Significance. If Theorem 4.9 is fully justified, the paper gives a genuine extension of Muckenhoupt theory to multiplier weights in Lorentz spaces, including critical power weights such as |x|^{-d/q} that lie outside classical A_{p,q}. The applications are nontrivial and the paper is honest about the ranges it does not settle, with explicit counterexamples and open problems. The necessity arguments via the local averaging operator are standard and appear correct, and the structural results (Theorems 3.2, 3.10, 3.13) are proved in reasonable detail. The decisive issue is that the sufficiency proof of the main characterization is conditional on Lemma 4.8, whose proof is delegated to the unpublished preprint [51].

major comments (3)
  1. [Section 4.3, Lemma 4.8 and Theorem 4.9] Lemma 4.8 is load-bearing for the main result, but its proof is a single sentence: 'Both follow from [51, Lemmas 2.3 and 2.4]', where [51] is an arXiv preprint. This lemma is the only step in the sufficiency proof of Theorem 4.9 that converts the sparse sum over sigma(Q) into a sum over sigma(E_Q); without it the displayed chain in Theorem 4.9 stops at sigma(Q) and the claimed [w]^{q+p'} bound cannot be closed. The asserted reverse-measure inequality for A^{[infinity]}_{p,q} is not a routine consequence of the definition, and the paper gives no independent verification. Since (1.2), (4.4), and the quantitative statements in Theorem 4.13 all depend on this step, the main characterization is currently unsupported as written. A complete proof of Lemma 4.8, or a precise citation to a published verifiable source, must be supplied.
  2. [Section 4.3, Theorem 4.13 and equation (4.8)] The quantitative estimate [sigma]_{R_{c_d}} <= C [w]^{p'}_{A^{[s]}_{p,q}} is stated to be 'exactly the quantitative conclusion of Lemma 4.8'. Since Lemma 4.8 is unproved, the upper bound in (4.7), the exponent 1+p'/q in (4.4), and the comparison with Proposition 4.12 that follows Theorem 4.13 all rest on the same unverified external citation. The authors should either prove the reverse-measure property directly or state precisely which weaker quantitative conclusion is valid under which hypotheses.
  3. [Section 4.3 and Section 1, table before (1.2)] The paper presents the case r=p, q<=s<=infinity as a complete characterization, but the proof of the sufficiency direction uses the sparse domination argument only after Lemma 4.8 is granted. If the reverse-measure conclusion actually requires the stronger full A_{p,q} class or an additional self-improvement property, then the promised extension to s>q, including the critical powers in Example 3.14, would fail. The authors should make explicit which property of A^{[s]}_{p,q} is being used and verify it within the paper, since no property of this strength is proved in Sections 2 or 3.
minor comments (5)
  1. [Section 1, last line] There is a typo: 'fractional Schr¨odinger equationn' should read 'fractional Schr¨odinger equation'.
  2. [Section 4.3, before Lemma 4.7] The endpoint class A*_{p,q} is mentioned but never defined; please give its definition or a precise reference to the definition in [51].
  3. [Section 4.3, proof of Lemma 4.7] The notation d_{P h_j}(lambda) appears without definition; the distribution function should be introduced before this proof.
  4. [Section 3, Theorem 3.8] The heading 'Lorentz–Munckenhoupt weights' misspells Muckenhoupt.
  5. [References] The proof of Lemma 4.8 and the comparison in Remark 5.6 rely on the arXiv preprints [51] and [52]; please update these to published versions if available, or otherwise state their verification status.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the main (1.2) characterization is proved by independent necessity-from-averaging and sparse sufficiency arguments, and the only self-citation, [52], is a non-load-bearing contrast in Remark 5.6.

full rationale

The derivation of (1.2) is self-contained apart from external citations. Necessity follows Corollary 3.3 and Theorem 3.5 from pointwise domination of local fractional averaging operators by M_alpha, which is standard Muckenhoupt-style reasoning and is not a restatement of the class definition. Sufficiency in Theorem 4.9 is a genuine sparse-domination proof: the class condition A(p,p),(q,s) enters through the class definition, and Lemma 4.8 supplies the reverse-measure estimate sigma(Q) <= C [w]^{p'}_{A^{[s]}_{p,q}} sigma(E_Q) that converts sparse sums over sigma(Q) into sums over sigma(E_Q). That lemma is quoted from the external preprint [51] by B. Sweeting with a one-sentence proof; because [51] is not authored by the present authors, this is an external dependency and a correctness risk, not circularity. The dyadic fractional maximal inequality used at the end is standard. The only self-citation is [52] by D. Wang and H. Yin, cited in Remark 5.6 solely to contrast the commutator proof's method with an extrapolation-based approach; no step in Theorem 4.9, Theorem 5.3, or Theorem 5.5 relies on [52]. Accordingly, no claim reduces by construction to its own inputs.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

The paper's results rely on standard weighted theory plus one nonstandard external lemma (Lemma 4.8 from Sweeting's preprint [51]) and an unproved sparse decomposition. No free parameters are fitted to data and no new entities are postulated.

assumptions (8)
  • standard math Classical Muckenhoupt Ap,q weighted norm inequalities for M_alpha and I_alpha, including quantitative estimates, hold as in [31, 40, 41].
    Used in Theorem 4.2 hypotheses and Theorem 5.3 (i) to (ii); accepted background.
  • standard math The off-diagonal extrapolation theorem of Harboure, Macias, and Segovia (Theorem 2.3) as quoted is valid.
    Invoked to derive weighted Lorentz bounds from one weighted Lebesgue bound; stated as Theorem 2.3 with citations [13, 21].
  • domain assumption Sparse level-set decomposition of M_alpha: for f>=0 bounded compactly supported, M^D_alpha f is dominated by a sum over a sparse family S with pairwise disjoint major subsets E_Q, |E_Q| >= c_d |Q|.
    Used in the sufficiency proof of Theorem 4.9; asserted as standard without proof.
  • domain assumption Lemma 4.8: for w in A^{[s]}_{p,q} and sigma=w^{-p'}, the reverse measure inequality (|E|/|Q|)^{2p'} <= C sigma(E)/sigma(Q) and the bound [sigma]_{R_cd} <= C [w]^{p'} hold.
    Cited from [51, Lemmas 2.3 and 2.4]; key external dependency for sufficiency of Theorem 4.9.
  • domain assumption For b in BMO and w in A_{p,p_alpha}, the fractional commutator [b,I_alpha] is bounded from L^p(w^p) to L^{p_alpha}(w^{p_alpha}) with quantitative bound depending on [w]_{A_{p,p_alpha}}.
    Used in Theorem 5.3 (i) to (ii); cited to [44, 48].
  • standard math Stein-Weiss weighted fractional integral inequality (base case of Theorem 5.7) holds under (5.8), including the case delta=0.
    Used via interpolation to obtain the Lorentz form; classical result [50].
  • standard math O'Neil's endpoint convolution inequality ||I_1 g||_{L^infinity} <= C ||g||_{L^{d,1}} holds.
    Used in proof of Theorem 5.9; classical Lorentz space result.
  • standard math Lorentz space duality and embeddings, including (L^{a,b})' = L^{a',b'} for 1<a<infinity, and the real interpolation identity (2.1), hold as stated in Lemma 2.1.
    Used throughout; stated with reference to [3].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Properties and applications of Lorentz--Muckenhoupt classes." pith.science (2026). https://pith.science/paper/24D3PHPW

@misc{pith2026260817918,
  author       = {Pith},
  title        = {Pith review of: Properties and applications of Lorentz--Muckenhoupt classes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/24D3PHPW}},
  note         = {Machine review of arXiv:2608.17918}
}
abstract

In this paper, through the introduction of Lorentz--Muckenhoupt classes, we systematically investigate the boundedness of maximal operators on multiplier weighted Lorentz spaces. As applications, we give the characterization of the commutators of fractional integrals, which yields a partial answer to an open question proposed by D. Cruz-Uribe. Second, Hardy inequalities in Lorentz spaces are established, with the critical case $p=d$, in which the classical Hardy inequality fails. Finally, we apply the Lorentz estimates to fractional Schr\"odinger equations with singular potentials.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

52 extracted references · 50 canonical work pages

  1. [51]

    On those Weights Satisfying a Weak-Type Inequality for the Maximal Operator and Fractional Maximal Operator

    B. Sweeting,On those weights satisfying a weak-type inequality for the maximal operator and fractional maximal operator, arXiv:2410.04031, 2024

  2. [1]

    Accomazzo, J

    N. Accomazzo, J. Duoandikoetxea, Z. Nieraeth, S. Ombrosi, and C. P´erez,Weighted Lorentz spaces: sharp mixedAp–A∞ estimate for maximal functions, J. Math. Anal. Appl.519(2023), no. 2, Paper No. 126844

  3. [2]

    Alvino,Sulla diseguaglianza di Sobolev in spazi di Lorentz, Boll

    A. Alvino,Sulla diseguaglianza di Sobolev in spazi di Lorentz, Boll. Un. Mat. Ital. A (5)14(1977), no. 1, 148–156

  4. [3]

    Bennett and R

    C. Bennett and R. Sharpley,Interpolation of Operators, Pure and Applied Mathematics, vol. 129, Academic Press, Boston, MA, 1988

  5. [4]

    Bergh and J

    J. Bergh and J. L¨ofstr¨om,Interpolation Spaces. An Introduction, Grundlehren der Mathematischen Wissenschaften, vol. 223, Springer-Verlag, Berlin, 1976

  6. [5]

    Bieganowski,The fractional Schr ¨odinger equation with Hardy-type potentials and sign-changing nonlinearities, Nonlinear Anal.176(2018), 117–140

    B. Bieganowski,The fractional Schr ¨odinger equation with Hardy-type potentials and sign-changing nonlinearities, Nonlinear Anal.176(2018), 117–140

  7. [6]

    Bloom,A commutator theorem and weighted BMO, Trans

    S. Bloom,A commutator theorem and weighted BMO, Trans. Amer. Math. Soc.292(1985), no. 1, 103–122

  8. [7]

    Chaffee, D

    L. Chaffee, D. Cruz-Uribe,Necessary conditions for the boundedness of linear and bilinear commu- tators on Banach function spaces, Math. Inequal. Appl.,21(2018), 1–16. 31

Show all 52 references
  1. [8]

    Chanillo,A note on commutators, Indiana Univ

    S. Chanillo,A note on commutators, Indiana Univ. Math. J.31(1982), 7–16

  2. [9]

    Chung, R

    H.-M. Chung, R. A. Hunt, and D. S. Kurtz,The Hardy–Littlewood maximal function on L(p,q) spaces with weights, Indiana Univ. Math. J.31(1982), 109–120

  3. [10]

    R. R. Coifman, R. Rochberg, and G. Weiss,Factorization theorems for Hardy spaces in several variables, Ann. of Math. (2)103(1976), 611–635

  4. [11]

    J. M. Conde-Alonso and G. Rey,A pointwise estimate for positive dyadic shifts and some applications, Math. Ann.365(2016), no. 3–4, 1111–1135

  5. [12]

    Cruz-Uribe,Two weight inequalities for fractional integral operators and commutators, in Advanced Courses of Mathematical Analysis VI, World Scientific, Hackensack, NJ, 2017, pp

    D. Cruz-Uribe,Two weight inequalities for fractional integral operators and commutators, in Advanced Courses of Mathematical Analysis VI, World Scientific, Hackensack, NJ, 2017, pp. 25–85

  6. [13]

    Cruz-Uribe, J

    D. Cruz-Uribe, J. M. Martell, and C. P ´erez,Weights, Extrapolation and the Theory of Rubio de Francia, Operator Theory: Advances and Applications, vol. 215, Birkh¨auser/Springer, Basel, 2011

  7. [14]

    Cruz-Uribe and B

    D. Cruz-Uribe and B. Sweeting,Weighted weak-type inequalities for maximal operators and singular integrals, Rev. Mat. Complut.38(2025), no. 1, 183–205

  8. [15]

    N. A. Dao,Hardy factorization in terms of fractional commutators in Lorentz spaces, Front. Math. China17(2022), no. 5, 853–873

  9. [16]

    Di Plinio, T

    F. Di Plinio, T. P. Hyt¨onen, and K. Li,Sparse bounds for maximal rough singular integrals via the Fourier transform, Ann. Inst. Fourier (Grenoble)70(2020), no. 5, 1871–1902

  10. [17]

    Fefferman and E

    C. Fefferman and E. M. Stein,H p spaces of several variables, Acta Math.129(1972), 137–193

  11. [18]

    R. L. Frank, E. H. Lieb, and R. Seiringer,Hardy–Lieb–Thirring inequalities for fractional Schr¨odinger operators, J. Amer. Math. Soc.21(2008), no. 4, 925–950

  12. [19]

    Garg and D

    R. Garg and D. Spector,On the role of Riesz potentials in Poisson’s equation and Sobolev embeddings, Indiana Univ. Math. J.64(2015), no. 6, 1697–1719

  13. [20]

    T. S. H¨anninen, T. P. Hyt¨onen, and K. Li,Two-weight Lp–Lq bounds for positive dyadic operators: a unified approach top≤qandp>q, Potential Anal.45(2016), no. 3, 579–608

  14. [21]

    Harboure, R

    E. Harboure, R. A. Mac´ıas, and C. Segovia,Extrapolation results for classes of weights, Amer. J. Math.110(1988), 383–397

  15. [22]

    Holmes, M

    I. Holmes, M. T. Lacey, and B. D. Wick,Commutators in the two-weight setting, Math. Ann.367 (2017), no. 1–2, 51–80

  16. [23]

    Holmes, R

    I. Holmes, R. Rahm, and S. Spencer,Two-weight inequalities for commutators with fractional integral operators, arXiv:1510.05331, 2016

  17. [24]

    Hu and W

    W. Hu and W. Yan,A revisit of boundedness and compactness for fractional commutators on Lorentz spaces, Collect. Math. (2026), published online, doi:10.1007/s13348-025-00505-8

  18. [25]

    R. A. Hunt,OnL(p,q)spaces, Enseign. Math. (2)12(1966), 249–276

  19. [26]

    Janson,Mean oscillation and commutators of singular integral operators, Ark

    S. Janson,Mean oscillation and commutators of singular integral operators, Ark. Mat.16(1978), no. 2, 263–270. 32

  20. [27]

    John and L

    F. John and L. Nirenberg,On functions of bounded mean oscillation, Comm. Pure Appl. Math.14 (1961), 415–426

  21. [28]

    P. W. Jones,Factorization ofA p weights, Ann. of Math. (2)111(1980), 511–530

  22. [29]

    Kokilashvili and A

    V . Kokilashvili and A. Meskhi,Extrapolation in weighted classical and grand Lorentz spaces. Application to the boundedness of integral operators, Banach J. Math. Anal.14(2020), no. 3, 1111–1142

  23. [30]

    Kolwicz, K

    P. Kolwicz, K. Le´snik, and L. Maligranda,Pointwise products of some Banach function spaces and factorization, J. Funct. Anal.266(2014), no. 2, 616–659

  24. [31]

    M. T. Lacey, K. Moen, C. P´erez, and R. H. Torres,Sharp weighted bounds for fractional integral operators, J. Funct. Anal.259(2010), no. 5, 1073–1097

  25. [32]

    A. K. Lerner,A simple proof of the A2 conjecture, Int. Math. Res. Not. IMRN (2013), no. 14, 3159–3170

  26. [33]

    A. K. Lerner, K. Li, S. Ombrosi, and I. P. Rivera-R ´ıos,On the sharpness of some quantitative Muckenhoupt–Wheeden inequalities, C. R. Math. Acad. Sci. Paris362(2024), 1253–1260

  27. [34]

    A. K. Lerner, K. Li, S. Ombrosi, and I. P. Rivera-R ´ıos,On some improved weighted weak type inequalities, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), published online 2024, doi:10.2422/2036- 2145.202407 012

  28. [35]

    Li,Two weight inequalities for bilinear forms, Collect

    K. Li,Two weight inequalities for bilinear forms, Collect. Math.68(2017), no. 1, 129–144

  29. [36]

    Li,Sparse domination theorem for multilinear singular integral operators with Lr-H¨ormander condition, Michigan Math

    K. Li,Sparse domination theorem for multilinear singular integral operators with Lr-H¨ormander condition, Michigan Math. J.67(2018), no. 2, 253–265

  30. [37]

    K. Li, K. Moen, and W. Sun,Sharp weighted inequalities for multilinear fractional maximal operators and fractional integrals, Math. Nachr.288(2015), no. 5–6, 619–632

  31. [38]

    G. G. Lorentz,Some new functional spaces, Ann. of Math. (2)51(1950), 37–55

  32. [39]

    Muckenhoupt,Weighted norm inequalities for the Hardy maximal function, Trans

    B. Muckenhoupt,Weighted norm inequalities for the Hardy maximal function, Trans. Amer. Math. Soc.165(1972), 207–226

  33. [40]

    Muckenhoupt and R

    B. Muckenhoupt and R. L. Wheeden,Weighted norm inequalities for singular and fractional integrals, Trans. Amer. Math. Soc.161(1971), 249–258

  34. [41]

    Muckenhoupt and R

    B. Muckenhoupt and R. L. Wheeden,Weighted norm inequalities for fractional integrals, Trans. Amer. Math. Soc.192(1974), 261–274

  35. [42]

    Muckenhoupt and R

    B. Muckenhoupt and R. L. Wheeden,Some weighted weak-type inequalities for the Hardy– Littlewood maximal function and the Hilbert transform, Indiana Univ. Math. J.26(1977), 801–816

  36. [43]

    O’Neil,Convolution operators andL(p,q)spaces, Duke Math

    R. O’Neil,Convolution operators andL(p,q)spaces, Duke Math. J.30(1963), 129–142

  37. [44]

    P´erez,Endpoint estimates for commutators of singular integral operators, J

    C. P´erez,Endpoint estimates for commutators of singular integral operators, J. Funct. Anal.128 (1995), no. 1, 163–185. 33

  38. [45]

    Reisner,A factorization theorem in Banach lattices and its applications to Lorentz spaces, Ann

    S. Reisner,A factorization theorem in Banach lattices and its applications to Lorentz spaces, Ann. Inst. Fourier (Grenoble)31(1981), no. 1, 239–255

  39. [46]

    Ruzhansky and D

    M. Ruzhansky and D. Suragan,Critical Hardy inequalities, Ann. Acad. Sci. Fenn. Math.42(2017), no. 2, 655–674

  40. [47]

    E. T. Sawyer,Boundedness of classical operators on classical Lorentz spaces, Studia Math.96 (1990), no. 2, 145–158

  41. [48]

    Segovia and J

    C. Segovia and J. L. Torrea,Weighted inequalities for commutators of fractional and singular integrals, Publ. Mat.35(1991), 209–235

  42. [49]

    Spector and J

    D. Spector and J. Van Schaftingen,Optimal embeddings into Lorentz spaces for some vector differential operators via Gagliardo’s lemma, Rend. Lincei Mat. Appl.30(2019), no. 3, 413–436

  43. [50]

    E. M. Stein and G. Weiss,Fractional integrals on n-dimensional Euclidean space, J. Math. Mech.7 (1958), no. 4, 503–514

  44. [52]

    Wang and H

    D. Wang and H. Yin,Properties and applications of partial multiple weights for fractional integrals, arXiv:2505.21007, 2025

Pith tools

Reviewed August 27, 2026 · model on record in the stance chip above.