Weighted Hardy Inequalities for Nested Averages

Ludovick Bouthat; Pierre-Olivier Paris\'e

arxiv: 2606.24044 · v1 · pith:RFE4AFDUnew · submitted 2026-06-23 · 🧮 math.CA

Weighted Hardy Inequalities for Nested Averages

Ludovick Bouthat , Pierre-Olivier Paris\'e This is my paper

Pith reviewed 2026-06-25 22:29 UTC · model grok-4.3

classification 🧮 math.CA

keywords Hardy inequalityweighted averagesnested partitionstesting conditionoptimal constantsbounded operatorsmeasure space

0 comments

The pith

Weighted Hardy operators on nested averages are bounded exactly when a single testing quantity β is finite, with the optimal constant between β and 2β.

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

The paper examines Hardy-type inequalities involving weighted averages over nested subsets in a measure space. It shows that these operators are bounded if and only if a certain testing quantity β is finite. The best possible constant C_opt satisfies β ≤ C_opt ≤ 2β, so the test is accurate within a factor of two. A second method provides local conditions that can give better constants in specific cases and recovers the classical weighted Hardy inequality.

Core claim

We characterize the boundedness in terms of the finiteness of a single testing quantity β. We also provide two-sided estimates for the best constant C_opt, namely β ≤ C_opt ≤ p^{1/q} (p')^{1/p'}β ≤ 2β. Thus the characterization is never off by more than a factor of 2. We also develop a second approach, inspired by Broadbent's proof of Hardy's inequality, which gives a local sufficient condition that often provides sharper constants and recovers several important cases, including the classical weighted Hardy inequality.

What carries the argument

the testing quantity β that controls boundedness of the weighted average operators over nested partitions

If this is right

The operator is bounded from the weighted L^p space to the sequence space precisely when β is finite.
The best constant is always at most twice β.
The result generalizes the inequality previously obtained by Vincent and Sohani.
The local sufficient condition from the second proof method yields sharper constants in many concrete cases.

Where Pith is reading between the lines

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

The nested-partition framework may extend to other hierarchical structures such as trees or filtrations where similar testing quantities could be defined.
The explicit factor-of-two bound leaves open the possibility that the local method recovers the exact constant in additional classical settings.
Discrete versions on sequences or chains could be obtained directly by specializing the nested sets to intervals or dyadic blocks.

Load-bearing premise

The measure space admits a nested partition {X^{(n)}} and the weight function m makes the weighted averages well-defined so the operators map into the target sequence space.

What would settle it

Construct a concrete nested partition and weight where β is finite but the operator norm exceeds 2β, or where β is infinite yet the operator remains bounded.

read the original abstract

We study a family of Hardy-type inequalities for weighted averages over nested subsets of a measure space. Given a partition of a measure space and a weight function $m$, we consider operators of the form \[ f \mapsto \frac{1}{M_n}\int_{X^{(n)}} m(x)f(x)\,\mathrm{d}\mu(x), \] with additional weights on the resulting sequence of averages. In particular, we generalize an inequality obtained by Vincent and Sohani in \cite{VincentSohani2025} and characterize the boundedness in terms of the finiteness of a single testing quantity $\beta$. We also provide two-sided estimates for the best constant $C_{\mathrm{opt}}$, namely \[ \beta \leq C_{\mathrm{opt}} \leq p^{1/q} (p')^{1/p'}\beta \leq 2\beta. \] Thus the characterization is never off by more than a factor of 2. We also develop a second approach, inspired by Broadbent's proof of Hardy's inequality, which gives a local sufficient condition that often provides sharper constants and recovers several important cases, including the classical weighted Hardy inequality.

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.

Desk Editor's Note private letter to a colleague

The paper pins boundedness of these nested weighted averages to one testing quantity β with an explicit factor-of-two bound on the optimal constant.

read the letter

The main point is that they characterize when the nested averaging operators are bounded on weighted spaces by the finiteness of a single quantity β, and they prove β ≤ C_opt ≤ 2β. This generalizes the Vincent-Sohani 2025 result and adds an independent local-condition approach that recovers the classical weighted Hardy inequality in some cases.

What works is the explicit two-sided estimate and the fact that the upper bound is never worse than twice the lower bound. The setup with nested partitions {X^(n)} and the weight m is stated clearly up front, and the second Broadbent-style method gives a sufficient condition that can be sharper than the testing quantity in practice. The citation to prior work is direct and the claims stay within the stated framework.

The soft spots are modest. The factor p^{1/q}(p')^{1/p'} can be smaller than 2, so the universal 2 is convenient but not always tight. The derivation of β itself is not visible in the abstract, though the stress-test note finds no internal inconsistency or hidden fitting. The result is limited to nested partitions, which is an explicit restriction rather than a flaw. No data or code is involved, so reproducibility rests on the proofs.

This is for people already working on weighted Hardy inequalities and averaging operators in real analysis. A reader who needs concrete constant bounds or wants to apply the local-condition test will find it useful. It is a focused extension rather than a broad new theory.

I would bring it to a reading group if the group is covering recent inequality papers. I would not cite it in my own work unless I were extending this exact setting. It deserves peer review because the claims are specific, the constant control is practical, and the two approaches are independent enough to be worth checking in detail.

Referee Report

0 major / 3 minor

Summary. The manuscript studies weighted Hardy-type inequalities for averaging operators over nested partitions {X^{(n)}} of a measure space, with weight m. It characterizes boundedness of the associated sequence operators via finiteness of a single testing quantity β, and establishes the two-sided bound β ≤ C_opt ≤ p^{1/q}(p')^{1/p'}β ≤ 2β on the optimal constant. A second, local-condition approach inspired by Broadbent's proof is developed that recovers classical weighted Hardy inequalities and often yields sharper constants.

Significance. If the results hold, the explicit single-testing-quantity characterization together with the factor-of-2 bound on C_opt constitutes a clean and useful advance for this class of nested Hardy inequalities. The recovery of classical cases via the local approach adds concrete applicability. The work supplies a parameter-free derivation of the constant estimates and a falsifiable testing condition, both of which strengthen the contribution.

minor comments (3)

[Introduction] The operator definition in the abstract uses M_n without prior definition; the introduction should explicitly state how M_n is constructed from m and μ on X^{(n)}.
The bibliography entry for Vincent and Sohani (2025) is referenced but the full details (journal, volume, pages) should be supplied to allow readers to locate the generalized result.
[Abstract] In the statement of the two-sided estimate, the relation p^{1/q}(p')^{1/p'}β ≤ 2β is asserted; a brief remark on when the middle factor is strictly less than 2 would clarify sharpness.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of its contributions, and the recommendation for minor revision. The referee's evaluation correctly identifies the single-testing-quantity characterization and the factor-of-two bound on the optimal constant as the central advances, along with the local-condition approach that recovers classical cases.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper characterizes boundedness of the nested weighted averaging operators via finiteness of an explicitly defined testing quantity β (a supremum over the nested partitions and weights) and proves two-sided estimates β ≤ C_opt ≤ p^{1/q}(p')^{1/p'}β ≤ 2β. These are standard testing-condition arguments in weighted inequalities, not reductions by construction or self-citation. The nested partition and weight assumptions are part of the setup, not smuggled. The second Broadbent-style approach is presented as independent. No load-bearing step reduces to a fitted parameter renamed as prediction or to a self-citation chain; the central claims have independent content verifiable from the stated definitions and classical Hardy techniques.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Relies on standard measure-theoretic assumptions for the existence of integrals and partitions; no free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption The underlying space is a measure space admitting a nested partition into measurable sets X^{(n)}
Required for the definition of the nested averages in the operator.
standard math Standard properties of the Lebesgue integral and weighted L^p spaces
Background for defining the operators and boundedness.

pith-pipeline@v0.9.1-grok · 5736 in / 1202 out tokens · 22925 ms · 2026-06-25T22:29:48.594116+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

26 extracted references · 1 linked inside Pith

[1]

More precisely, Hilbert showed that this series is bounded by a constant multiple of ∑∞ n=1 a2 n

Introduction In his work on integral equations, Hilbert proved that if(a n)n≥1 is a sequence of non-negative terms inℓ 2 , then the double series ∞ ∑ m=1 ∞ ∑ n=1 aman m+n is convergent [13]. More precisely, Hilbert showed that this series is bounded by a constant multiple of ∑∞ n=1 a2 n . The sharp form of this result, with best constantπ, was later obtai...

Pith/arXiv arXiv 2020
[2]

A complete characterization As outlined above, we first prove an equivalence between the measure-theoretic case and the discrete case. Note that here and in the rest of the paper, we writep ′ to denote the Hölder conjugate ofp, i.e., the number satisfying 1 p + 1 p′ =1, and we define wn := ( R Xn |m(x)|p′ dµ(x) 1/p′ ifp>1, esssup x∈Xn |m(x)|ifp=1. (2.1) P...
[3]

Namely, for 1≤p≤q≤∞, the inequality Z ∞ 0 u(x) Z x 0 f(t)dt q dx 1/q ≤C Z ∞ 0 |v(x)f(x)| p dx 1/p is characterized by the same type of testing condition

later extended this result to mixed norms. Namely, for 1≤p≤q≤∞, the inequality Z ∞ 0 u(x) Z x 0 f(t)dt q dx 1/q ≤C Z ∞ 0 |v(x)f(x)| p dx 1/p is characterized by the same type of testing condition. That is, Ap,q :=sup s>0 Z ∞ s |u(x)|q dx 1/q Z s 0 |v(x)|−p′ dx 1/p′ <∞, with the usual modifications whenp=1 orq=∞. In particular, the caseq=p recovers Muckenh...
[4]

Local sufficient conditions As described above, Theorem 2 provides a complete characterization of the cases for which the inequality in Theorem 2 holds. While we showed that the provided bound has a multiplicative constant that cannot be off by a factor of more than 2 (and more preciselyp 1/q(p ′)1/p′ ), one may seek to find another approach for which the...
[5]

We did so using two different approaches, both distinct from the one previously used in the literature

Concluding remarks In this paper, we generalized and characterized a class of Hardy-type inequalities in which the usual arithmetic means are replaced by weighted averages over nested subsets of a measure space. We did so using two different approaches, both distinct from the one previously used in the literature. Moreover, using some examples, we showed ...
[6]

Matrices, 15(3):1045–1053, 2021

Ludovick Bouthat and Javad Mashreghi.L-matrices with lacunary coefficients.Oper. Matrices, 15(3):1045–1053, 2021

2021
[7]

The norm of an infiniteL-matrix.Oper

Ludovick Bouthat and Javad Mashreghi. The norm of an infiniteL-matrix.Oper. Matrices, 15(1):47– 58, 2021

2021
[8]

The critical point and thep-norm of the HilbertL-matrix

Ludovick Bouthat and Javad Mashreghi. The critical point and thep-norm of the HilbertL-matrix. Linear Algebra Appl., 634:1–14, 2022

2022
[9]

Hardy-type inequalities forℓ p sequences.J

Ludovick Bouthat, Javad Mashreghi, and Frédéric Morneau-Guérin. Hardy-type inequalities forℓ p sequences.J. Math. Inequal., 17(3):1165–1178, 2023

2023
[10]

Scott Bradley

J. Scott Bradley. Hardy inequalities with mixed norms.Canad. Math. Bull., 21(4):405–408, 1978

1978
[11]

A Proof of Hardy’s Convergence Theorem.J

Thomas Arthur Alan Broadbent. A Proof of Hardy’s Convergence Theorem.J. London Math. Soc., 3(4):242–243, 1928

1928
[12]

E. T. Copson. Note on Series of Positive Terms.J. London Math. Soc., 3(1):49–51, 1928

1928
[13]

A Simple Exposition of Some Recently Proved Facts as to Convergency.J

Edwin Bailey Elliott. A Simple Exposition of Some Recently Proved Facts as to Convergency.J. London Math. Soc., 1(2):93–96, 1926

1926
[14]

On Some Identities Relating to Hardy’s Convergence Theorem.J

Karl Grandjot. On Some Identities Relating to Hardy’s Convergence Theorem.J. London Math. Soc., 3(2):114–117, 1928

1928
[15]

Notes on some points in the integral calculus LI: On Hilbert’s double-series theorem, and some connected theorems concerning the convergence of infinite series and integrals

Godfrey Harold Hardy. Notes on some points in the integral calculus LI: On Hilbert’s double-series theorem, and some connected theorems concerning the convergence of infinite series and integrals. Messenger of Mathematics, 48:107–112, 1919

1919
[16]

Note on a theorem of Hilbert.Math

Godfrey Harold Hardy. Note on a theorem of Hilbert.Math. Z., 6(3-4):314–317, 1920

1920
[17]

Notes on some points in the integral calculus LX: An inequality between integrals.Messenger of Mathematics, 54:150–156, 1925

Godfrey Harold Hardy. Notes on some points in the integral calculus LX: An inequality between integrals.Messenger of Mathematics, 54:150–156, 1925

1925
[18]

Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 1906

David Hilbert.Grundzüge einer allgemeinen Theorie der linearen Integralgleichungen. Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 1906

1906
[19]

Uber Reihen Mit Lauter Positiven Gliedern.J

Theodor Kaluza and Gabor Szegö. Uber Reihen Mit Lauter Positiven Gliedern.J. London Math. Soc., 2(4):266–272, 1927

1927
[20]

Uber Reihen Mit Positiven Gliedern.J

Konrad Knopp. Uber Reihen Mit Positiven Gliedern.J. London Math. Soc., 3(3):205–211, 1928

1928
[21]

A Note on a Theorem Concerning Series of Positive Terms: Extract from a Letter.J

Edmund Landau, Issai Schur, and Godfrey Harold Hardy. A Note on a Theorem Concerning Series of Positive Terms: Extract from a Letter.J. London Math. Soc., 1(1):38–39, 1926

1926
[22]

Hardy’s inequality with weights.Studia Mathematica, 44(1):31–38, 1972

Benjamin Muckenhoupt. Hardy’s inequality with weights.Studia Mathematica, 44(1):31–38, 1972

1972
[23]

Bemerkungen zur Theorie der beschränkten Bilinearformen mit unendlich vielen Verän- derlichen.J

Issai Schur. Bemerkungen zur Theorie der beschränkten Bilinearformen mit unendlich vielen Verän- derlichen.J. Reine Angew. Math., 140:1–28, 1911

1911
[24]

Asymptotic spectral properties of the HilbertL-matrix.SIAM J

František Štampach. Asymptotic spectral properties of the HilbertL-matrix.SIAM J. Matrix Anal. Appl., 43(4):1658–1679, 2022

2022
[25]

The HilbertL-matrix.J

František Štampach. The HilbertL-matrix.J. Funct. Anal., 282(8):Paper No. 109401, 46, 2022

2022
[26]

Sajin Vincent A. W. and Vijay Kumar Sohani. Generalized Hardy’s inequalities with nonlinear inte- gration limits.J. Math. Inequal., 19(2):649–656, 2025. Ludovick Bouthat, 2325 Rue de l’Université, Québec, QC G1V 0A6 e-mail:ludovick.bouthat.1@ulaval.ca Pierre-Olivier Parisé, 3351 Bd des Forges, Trois-Rivières, QC G8Z 4M3, e-mail:pierre-olivier.parise@uqtr....

2025

[1] [1]

More precisely, Hilbert showed that this series is bounded by a constant multiple of ∑∞ n=1 a2 n

Introduction In his work on integral equations, Hilbert proved that if(a n)n≥1 is a sequence of non-negative terms inℓ 2 , then the double series ∞ ∑ m=1 ∞ ∑ n=1 aman m+n is convergent [13]. More precisely, Hilbert showed that this series is bounded by a constant multiple of ∑∞ n=1 a2 n . The sharp form of this result, with best constantπ, was later obtai...

Pith/arXiv arXiv 2020

[2] [2]

A complete characterization As outlined above, we first prove an equivalence between the measure-theoretic case and the discrete case. Note that here and in the rest of the paper, we writep ′ to denote the Hölder conjugate ofp, i.e., the number satisfying 1 p + 1 p′ =1, and we define wn := ( R Xn |m(x)|p′ dµ(x) 1/p′ ifp>1, esssup x∈Xn |m(x)|ifp=1. (2.1) P...

[3] [3]

Namely, for 1≤p≤q≤∞, the inequality Z ∞ 0 u(x) Z x 0 f(t)dt q dx 1/q ≤C Z ∞ 0 |v(x)f(x)| p dx 1/p is characterized by the same type of testing condition

later extended this result to mixed norms. Namely, for 1≤p≤q≤∞, the inequality Z ∞ 0 u(x) Z x 0 f(t)dt q dx 1/q ≤C Z ∞ 0 |v(x)f(x)| p dx 1/p is characterized by the same type of testing condition. That is, Ap,q :=sup s>0 Z ∞ s |u(x)|q dx 1/q Z s 0 |v(x)|−p′ dx 1/p′ <∞, with the usual modifications whenp=1 orq=∞. In particular, the caseq=p recovers Muckenh...

[4] [4]

Local sufficient conditions As described above, Theorem 2 provides a complete characterization of the cases for which the inequality in Theorem 2 holds. While we showed that the provided bound has a multiplicative constant that cannot be off by a factor of more than 2 (and more preciselyp 1/q(p ′)1/p′ ), one may seek to find another approach for which the...

[5] [5]

We did so using two different approaches, both distinct from the one previously used in the literature

Concluding remarks In this paper, we generalized and characterized a class of Hardy-type inequalities in which the usual arithmetic means are replaced by weighted averages over nested subsets of a measure space. We did so using two different approaches, both distinct from the one previously used in the literature. Moreover, using some examples, we showed ...

[6] [6]

Matrices, 15(3):1045–1053, 2021

Ludovick Bouthat and Javad Mashreghi.L-matrices with lacunary coefficients.Oper. Matrices, 15(3):1045–1053, 2021

2021

[7] [7]

The norm of an infiniteL-matrix.Oper

Ludovick Bouthat and Javad Mashreghi. The norm of an infiniteL-matrix.Oper. Matrices, 15(1):47– 58, 2021

2021

[8] [8]

The critical point and thep-norm of the HilbertL-matrix

Ludovick Bouthat and Javad Mashreghi. The critical point and thep-norm of the HilbertL-matrix. Linear Algebra Appl., 634:1–14, 2022

2022

[9] [9]

Hardy-type inequalities forℓ p sequences.J

Ludovick Bouthat, Javad Mashreghi, and Frédéric Morneau-Guérin. Hardy-type inequalities forℓ p sequences.J. Math. Inequal., 17(3):1165–1178, 2023

2023

[10] [10]

Scott Bradley

J. Scott Bradley. Hardy inequalities with mixed norms.Canad. Math. Bull., 21(4):405–408, 1978

1978

[11] [11]

A Proof of Hardy’s Convergence Theorem.J

Thomas Arthur Alan Broadbent. A Proof of Hardy’s Convergence Theorem.J. London Math. Soc., 3(4):242–243, 1928

1928

[12] [12]

E. T. Copson. Note on Series of Positive Terms.J. London Math. Soc., 3(1):49–51, 1928

1928

[13] [13]

A Simple Exposition of Some Recently Proved Facts as to Convergency.J

Edwin Bailey Elliott. A Simple Exposition of Some Recently Proved Facts as to Convergency.J. London Math. Soc., 1(2):93–96, 1926

1926

[14] [14]

On Some Identities Relating to Hardy’s Convergence Theorem.J

Karl Grandjot. On Some Identities Relating to Hardy’s Convergence Theorem.J. London Math. Soc., 3(2):114–117, 1928

1928

[15] [15]

Notes on some points in the integral calculus LI: On Hilbert’s double-series theorem, and some connected theorems concerning the convergence of infinite series and integrals

Godfrey Harold Hardy. Notes on some points in the integral calculus LI: On Hilbert’s double-series theorem, and some connected theorems concerning the convergence of infinite series and integrals. Messenger of Mathematics, 48:107–112, 1919

1919

[16] [16]

Note on a theorem of Hilbert.Math

Godfrey Harold Hardy. Note on a theorem of Hilbert.Math. Z., 6(3-4):314–317, 1920

1920

[17] [17]

Notes on some points in the integral calculus LX: An inequality between integrals.Messenger of Mathematics, 54:150–156, 1925

Godfrey Harold Hardy. Notes on some points in the integral calculus LX: An inequality between integrals.Messenger of Mathematics, 54:150–156, 1925

1925

[18] [18]

Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 1906

David Hilbert.Grundzüge einer allgemeinen Theorie der linearen Integralgleichungen. Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 1906

1906

[19] [19]

Uber Reihen Mit Lauter Positiven Gliedern.J

Theodor Kaluza and Gabor Szegö. Uber Reihen Mit Lauter Positiven Gliedern.J. London Math. Soc., 2(4):266–272, 1927

1927

[20] [20]

Uber Reihen Mit Positiven Gliedern.J

Konrad Knopp. Uber Reihen Mit Positiven Gliedern.J. London Math. Soc., 3(3):205–211, 1928

1928

[21] [21]

A Note on a Theorem Concerning Series of Positive Terms: Extract from a Letter.J

Edmund Landau, Issai Schur, and Godfrey Harold Hardy. A Note on a Theorem Concerning Series of Positive Terms: Extract from a Letter.J. London Math. Soc., 1(1):38–39, 1926

1926

[22] [22]

Hardy’s inequality with weights.Studia Mathematica, 44(1):31–38, 1972

Benjamin Muckenhoupt. Hardy’s inequality with weights.Studia Mathematica, 44(1):31–38, 1972

1972

[23] [23]

Bemerkungen zur Theorie der beschränkten Bilinearformen mit unendlich vielen Verän- derlichen.J

Issai Schur. Bemerkungen zur Theorie der beschränkten Bilinearformen mit unendlich vielen Verän- derlichen.J. Reine Angew. Math., 140:1–28, 1911

1911

[24] [24]

Asymptotic spectral properties of the HilbertL-matrix.SIAM J

František Štampach. Asymptotic spectral properties of the HilbertL-matrix.SIAM J. Matrix Anal. Appl., 43(4):1658–1679, 2022

2022

[25] [25]

The HilbertL-matrix.J

František Štampach. The HilbertL-matrix.J. Funct. Anal., 282(8):Paper No. 109401, 46, 2022

2022

[26] [26]

Sajin Vincent A. W. and Vijay Kumar Sohani. Generalized Hardy’s inequalities with nonlinear inte- gration limits.J. Math. Inequal., 19(2):649–656, 2025. Ludovick Bouthat, 2325 Rue de l’Université, Québec, QC G1V 0A6 e-mail:ludovick.bouthat.1@ulaval.ca Pierre-Olivier Parisé, 3351 Bd des Forges, Trois-Rivières, QC G8Z 4M3, e-mail:pierre-olivier.parise@uqtr....

2025