pith. sign in

arxiv: 2606.19288 · v1 · pith:RIBOVWNTnew · submitted 2026-06-17 · 🧮 math.CA · math.AP· math.FA

Two weight estimates for difference quotients

Carlos Perez , Andreas Seeger , Brian Street , Po-Lam Yung This is my paper

Pith reviewed 2026-06-26 18:38 UTC · model grok-4.3

classification 🧮 math.CA math.APmath.FA
keywords two-weight estimatesdifference quotientsweighted L^p normsgradientlocal estimatesglobal estimatesharmonic analysis
0
0 comments X

The pith

Local and global two-weight estimates bound difference quotients of a function by weighted L^p norms of its gradient.

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

The paper proves local and global two-weight estimates that bound difference quotients of a function in terms of weighted L^p norms of its gradient. These estimates extend single-weight results to the two-weight setting where the weight acting on the function and the weight acting on the gradient can differ. A sympathetic reader would care because the estimates supply a tool for controlling oscillations of functions when the underlying measures are not the same. The results apply whenever the weights satisfy the conditions under which two-weight theory is known to work for such objects.

Core claim

The authors prove local and global two weight estimates in which difference quotients of a function are bounded in terms of certain weighted L^p norms of its gradient.

What carries the argument

two-weight estimates that control difference quotients via weighted L^p norms of the gradient

If this is right

  • Local two-weight estimates hold for difference quotients controlled by the gradient.
  • Global two-weight estimates hold under the same weighted-norm control.
  • The bounds apply whenever the weights meet the conditions needed for two-weight theory.
  • The estimates extend prior one-weight results to the two-weight case.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The estimates could be tested on explicit radial weights or power weights to check sharpness.
  • Similar control might extend to higher-order difference quotients or fractional gradients.
  • The local-to-global passage may interact with maximal-function techniques already used in two-weight theory.

Load-bearing premise

The weights belong to classes that permit the two-weight theory to apply to difference quotients.

What would settle it

A pair of weights satisfying the two-weight conditions together with a function whose difference quotient exceeds any multiple of the weighted gradient norm would disprove the estimates.

read the original abstract

We prove local and global two weight estimates in which we bound difference quotients of a function in terms of certain weighted $L^p$ norms of its gradient.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The manuscript claims to establish local and global two-weight estimates that bound difference quotients of a function via weighted L^p norms of its gradient. No weight classes, precise statements of the estimates, error terms, or proof outlines are supplied in the provided text.

Significance. Two-weight inequalities for difference quotients would extend classical weighted theory in real analysis, potentially with applications to PDEs and harmonic analysis. However, the absence of any derivation, weight conditions, or edge-case analysis prevents evaluation of whether the result is new, sharp, or technically sound.

major comments (2)
  1. [Abstract] The central claim depends on unspecified weight classes that 'permit the two-weight theory to apply to difference quotients,' yet no Muckenhoupt-type conditions, A_p weights, or equivalent characterizations are stated. This omission is load-bearing because the validity of two-weight bounds is known to be sensitive to the precise weight assumptions (see e.g. the necessity of testing conditions in the literature).
  2. [Abstract] No derivation, statement of the local/global estimates, or indication of constants/error terms is provided, so the assertion that 'proofs exist' cannot be verified. This directly undermines assessment of the result's correctness.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report. The comments highlight the need for greater precision in the abstract, which we address below. We will revise the manuscript to incorporate these clarifications.

read point-by-point responses

  1. Referee: [Abstract] The central claim depends on unspecified weight classes that 'permit the two-weight theory to apply to difference quotients,' yet no Muckenhoupt-type conditions, A_p weights, or equivalent characterizations are stated. This omission is load-bearing because the validity of two-weight bounds is known to be sensitive to the precise weight assumptions (see e.g. the necessity of testing conditions in the literature).

    Authors: We agree the abstract is too brief on this point. The manuscript employs a pair of weights satisfying a two-weight testing condition (in the spirit of Sawyer's conditions) that is adapted to control the difference quotients; this is stated explicitly in the introduction and used throughout the proofs. We will revise the abstract to name this weight class. revision: yes

  2. Referee: [Abstract] No derivation, statement of the local/global estimates, or indication of constants/error terms is provided, so the assertion that 'proofs exist' cannot be verified. This directly undermines assessment of the result's correctness.

    Authors: The full text states the local and global estimates as Theorems 1.1 and 1.2 (with explicit dependence on the weight constants and no additional error terms beyond the gradient norm), followed by complete proofs. The abstract is a one-sentence summary; we will expand it in revision to include the form of the estimates and the dependence on the weights. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation presented as direct proof

full rationale

The supplied abstract states a direct proof of local and global two-weight estimates bounding difference quotients by weighted gradient norms, with no equations, self-definitions, fitted parameters, or self-citations visible. The reader's assessment notes absence of self-referential structure, and no load-bearing steps reducing to inputs by construction can be identified from the given text. The full manuscript is referenced but not reproduced here, precluding further inspection; on the available material the argument remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper is a pure existence proof in real analysis and therefore rests only on the standard axioms of Lebesgue integration, differentiation, and function spaces; no free parameters, invented entities, or ad-hoc assumptions are visible in the abstract.

axioms (1)
  • standard math Standard axioms of real analysis and Lebesgue measure theory
    All estimates in the area presuppose the usual properties of integration and differentiation on Euclidean space.

pith-pipeline@v0.9.1-grok · 5537 in / 1145 out tokens · 31130 ms · 2026-06-26T18:38:56.367656+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

51 extracted references · 1 canonical work pages

  1. [1]

    Adams and Lars Inge Hedberg,Function spaces and potential theory, Grundlehren der Mathematis- chen Wissenschaften, vol

    David R. Adams and Lars Inge Hedberg,Function spaces and potential theory, Grundlehren der Mathematis- chen Wissenschaften, vol. 314, Springer-Verlag, Berlin, 1996

    1996

  2. [2]

    Bogdan Bojarski,Remarks on some geometric properties of Sobolev mappings, Functional analysis & related topics (Sapporo, 1990), 1991, pp. 65–76

    1990

  3. [3]

    ,Remarks on the Bourgain-Brezis-Mironescu approach to Sobolev spaces, Bull. Pol. Acad. Sci. Math. 59(2011), no. 1, 65–75

    2011

  4. [4]

    Jean Bourgain, Ha¨ ım Brezis, and Petru Mironescu,Another look at Sobolev spaces, Optimal control and partial differential equations, IOS, Amsterdam, 2001, pp. 439–455

    2001

  5. [5]

    Jean Bourgain and Hoai-Minh Nguyen,A new characterization of Sobolev spaces, C. R. Math. Acad. Sci. Paris 343(2006), no. 2, 75–80

    2006

  6. [6]

    Denis Brazke, Armin Schikorra, and Po-Lam Yung,Bourgain-Brezis-Mironescu convergence via Triebel-Lizorkin spaces, Calc. Var. Partial Differential Equations62(2023), no. 2, Paper No. 41, 33

    2023

  7. [7]

    A connection with Sobolev spaces, Uspekhi Mat

    Haim Brezis,How to recognize constant functions. A connection with Sobolev spaces, Uspekhi Mat. Nauk57 (2002), no. 4(346), 59–74 (Russian); English transl., Russian Math. Surveys57(2002), no. 4, 693–708

    2002

  8. [8]

    Ha¨ ım Brezis and Petru Mironescu,Gagliardo-Nirenberg inequalities and non-inequalities: the full story, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire35(2018), no. 5, 1355–1376

    2018

  9. [9]

    PDE17(2024), no

    Ha¨ ım Brezis, Andreas Seeger, Jean Van Schaftingen, and Po-Lam Yung,Families of functionals representing Sobolev norms, Anal. PDE17(2024), no. 3, 943–979

    2024

  10. [10]

    ,Sobolev spaces revisited, Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl.33(2022), no. 2, 413–437

    2022

  11. [11]

    Ha¨ ım Brezis, Jean Van Schaftingen, and Po-Lam Yung,A surprising formula for Sobolev norms, Proc. Natl. Acad. Sci. USA118(2021), no. 8, e2025254118

    2021

  12. [12]

    ,Going to Lorentz when fractional Sobolev, Gagliardo and Nirenberg estimates fail, Calc. Var. Partial Differential Equations60(2021), no. 4, Paper No. 129, 12

    2021

  13. [13]

    arXiv:2604.06827

    Alejandro Claros and Carlos P´ erez,Bourgain–Brezis–Mironescu formula for Riesz Potentials(2026). arXiv:2604.06827

    Pith/arXiv arXiv 2026

  14. [14]

    Albert Cohen, Wolfgang Dahmen, Ingrid Daubechies, and Ronald DeVore,Harmonic analysis of the space BV, Rev. Mat. Iberoamericana19(2003), no. 1, 235–263

    2003

  15. [15]

    Reine Angew

    Gianluca Crippa and Camillo De Lellis,Estimates and regularity results for the DiPerna-Lions flow, J. Reine Angew. Math.616(2008), 15–46

    2008

  16. [16]

    Feng Dai, Xiaosheng Lin, Dachun Yang, Wen Yuan, and Yangyang Zhang,Poincar´ e inequality meets Brezis- Van Schaftingen-Yung formula on metric measure spaces, J. Funct. Anal.283(2022), no. 9, Paper No. 109645, 52

    2022

  17. [17]

    ,Brezis–Van Schaftingen–Yung formulae in ball Banach function spaces with applications to fractional Sobolev and Gagliardo-Nirenberg inequalities, Calc. Var. Partial Differential Equations62(2023), no. 2, Paper No. 56, 73

    2023

  18. [18]

    Math.411(2022), Paper No

    Oscar Dom´ ınguez and Mario Milman,New Brezis–Van Schaftingen–Yung–Sobolev type inequalities connected with maximal inequalities and one parameter families of operators, Adv. Math.411(2022), Paper No. 108774, 76. 20 CARLOS P ´EREZ, ANDREAS SEEGER, BRIAN STREET, PO-LAM YUNG

    2022

  19. [19]

    Oscar Dom´ ınguez, Andreas Seeger, Brian Street, Jean Van Schaftingen, and Po-Lam Yung,Spaces of Besov- Sobolev type and a problem on nonlinear approximation, J. Funct. Anal.284(2023), no. 4, Paper No. 109775, 50

    2023

  20. [20]

    Dur´ an,Improved Poincar´ e inequalities with weights, J

    Irene Drelichman and Ricardo G. Dur´ an,Improved Poincar´ e inequalities with weights, J. Math. Anal. Appl. 347(2008), no. 1, 286–293

    2008

  21. [21]

    ,The Bourgain-Br´ ezis-Mironescu formula in arbitrary bounded domains, Proc. Amer. Math. Soc.150 (2022), no. 2, 701–708

    2022

  22. [22]

    Stein,Some maximal inequalities, Amer

    Charles Fefferman and Elias M. Stein,Some maximal inequalities, Amer. J. Math.93(1971), 107–115

    1971

  23. [23]

    D. H. Fremlin,Measure theory. Vol. 4, Torres Fremlin, Colchester, 2006. Topological measure spaces. Part I, II. Corrected second printing of the 2003 original

    2006

  24. [24]

    Rubio de Francia,Weighted norm inequalities and related topics, Vol

    Jos´ e Garc´ ıa-Cuerva and Jos´ e L. Rubio de Francia,Weighted norm inequalities and related topics, Vol. 116, North-Holland Publishing Co., Amsterdam, 1985. Notas de Matem´ atica, 104

    1985

  25. [25]

    in preparation

    Iker Gardeazabal, Emiel Lorist, and Carlos P´ erez,Self-improving properties of generalized Poincar´ e inequalities. in preparation

  26. [26]

    Trudinger,Elliptic partial differential equations of second order, Grundlehren der Mathematischen Wissenschaften, vol

    David Gilbarg and Neil S. Trudinger,Elliptic partial differential equations of second order, Grundlehren der Mathematischen Wissenschaften, vol. 224, Springer, Cham, 1977

    1977

  27. [27]

    4, 403–415

    Piotr Haj lasz,Sobolev spaces on an arbitrary metric space, Potential Anal.5(1996), no. 4, 403–415

    1996

  28. [28]

    ,Sobolev inequalities, truncation method, and John domains, Papers on analysis, Rep. Univ. Jyv¨ askyl¨ a Dep. Math. Stat., vol. 83, Univ. Jyv¨ askyl¨ a, Jyv¨ askyl¨ a, 2001, pp. 109–126

    2001

  29. [29]

    Qingsong Gu and Po-Lam Yung,A new formula for theL p norm, J. Funct. Anal.281(2021), no. 4, Paper No. 109075, 19

    2021

  30. [30]

    Smart, and Brian Street,Singular integrals and a problem on mixing flows, Ann

    Mahir Hadˇ zi´ c, Andreas Seeger, Charles K. Smart, and Brian Street,Singular integrals and a problem on mixing flows, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire35(2018), no. 4, 921–943

    2018

  31. [31]

    Lars Inge Hedberg,On certain convolution inequalities, Proc. Amer. Math. Soc.36(1972), 505–510

    1972

  32. [32]

    Juha Heinonen,Lectures on analysis on metric spaces, Universitext, Springer-Verlag, New York, 2001

    2001

  33. [33]

    Tyson,Sobolev spaces on metric measure spaces, New Mathematical Monographs, vol

    Juha Heinonen, Pekka Koskela, Nageswari Shanmugalingam, and Jeremy T. Tyson,Sobolev spaces on metric measure spaces, New Mathematical Monographs, vol. 27, Cambridge University Press, Cambridge, 2015. An approach based on upper gradients

    2015

  34. [34]

    1, 43–74

    Cong Hoang, Kabe Moen, and Carlos P´ erez,Pointwise estimates for rough operators with applications to Sobolev inequalities, Journal d’Analyse Math´ ematique155(2025), no. 1, 43–74

    2025

  35. [35]

    2, 293–309

    ,A New Look at the Subrepresentation Formulas, La Matematica4(2025), no. 2, 293–309. Special Volume: Analysis & Applications of PDEs in Honor of David R. Adams

    2025

  36. [36]

    Hunt,OnL(p, q)spaces, Enseign

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

    1966

  37. [37]

    Mart´ ınez-Perales, Carlos P´ erez, and Antti V

    Ritva Hurri-Syrj¨ anen, Javier C. Mart´ ınez-Perales, Carlos P´ erez, and Antti V. V¨ ah¨ akangas,On the weighted inequality between the Gagliardo and Sobolev seminorms, Israel J. Math.263(2024), 1–10, DOI 10.1007/s11856- 025-2834-y

    work page doi:10.1007/s11856- 2024

  38. [38]

    257, American Mathematical Society, Providence, RI, 2021

    Juha Kinnunen, Juha Lehrb¨ ack, and Antti V¨ ah¨ akangas,Maximal function methods for Sobolev spaces, Math- ematical Surveys and Monographs, vol. 257, American Mathematical Society, Providence, RI, 2021

    2021

  39. [39]

    China Math.69(2026)

    Yinqin Li, Dachun Yang, Wen Yuan, Yangyang Zhang, and Yirui Zhao,Sharp Weighted Cohen–Dahmen– Daubechies–DeVore Inequality with Applications to (Weighted) Critical Sobolev Spaces, Gagliardo–Nirenberg Inequalities, and Muckenhoupt Weights, Sci. China Math.69(2026)

    2026

  40. [40]

    arXiv:2604.0841

    Emiel Lorist and Carol Wagenaar,The two weight fractional Poincar´ e–Sobolev sandwich. arXiv:2604.0841

    arXiv

  41. [41]

    Kim Myyryl¨ ainen, Carlos P´ erez, and Julian Weigt,Weighted fractional Poincar´ e inequalities via isoperimetric inequalities, Calc. Var. Partial Differential Equations63(2024), no. 8, Paper No. 205, 32

    2024

  42. [42]

    Hoai-Minh Nguyen,Some new characterizations of Sobolev spaces, J. Funct. Anal.237(2006), no. 2, 689–720

    2006

  43. [43]

    ,Further characterizations of Sobolev spaces, J. Eur. Math. Soc. (JEMS)10(2008), no. 1, 191–229

    2008

  44. [44]

    ,Characterizations of the Sobolev norms and the total variation via nonlocal functionals, and related problems, C. R. Math. Acad. Sci. Paris363(2025), 1429–1455

    2025

  45. [45]

    Daniel Spector,An optimal Sobolev embedding forL 1, J. Funct. Anal.279(2020), no. 3, 108559, 26

    2020

  46. [46]

    Stein,Singular integrals and differentiability properties of functions, Princeton Mathematical Series, vol

    Elias M. Stein,Singular integrals and differentiability properties of functions, Princeton Mathematical Series, vol. No. 30, Princeton University Press, Princeton, NJ, 1970. TWO WEIGHT ESTIMATES FOR DIFFERENCE QUOTIENTS 21

    1970

  47. [47]

    With the assistance of Timothy S

    ,Harmonic analysis: Real-variable methods, orthogonality, and oscillatory integrals. With the assistance of Timothy S. Murphy, Princeton Mathematical Series, vol. 43, Princeton University Press, Princeton, NJ, 1993

    1993

  48. [48]

    E. M. Stein and N. J. Weiss,On the convergence of Poisson integrals, Trans. Amer. Math. Soc.140(1969), 35–54

    1969

  49. [49]

    Hans Triebel,Limits of Besov norms, Arch. Math. (Basel)96(2011), no. 2, 169–175

    2011

  50. [50]

    Chenfeng Zhu, Dachun Yang, and Wen Yuan,Generalized Brezis–Seeger–Van Schaftingen–Yung formulae and their applications in ball Banach Sobolev spaces, Calc. Var. Partial Differential Equations62(2023), no. 8, Paper No. 234, 76

    2023

  51. [51]

    ,Brezis–Seeger–Van Schaftingen–Yung-type characterization of homogeneous ball Banach Sobolev spaces and its applications, Commun. Contemp. Math.26(2024), no. 8, Paper No. 2350041, 48. C. P´erez, Department of Mathematics, University of the Basque Country, Ikerbasque (Basque Foundation for Science) and BCAM – Basque Center for Applied Mathematics, Bilbao, ...

    2024