pith. sign in

arxiv: 1907.06122 · v1 · pith:KYV6QB6Gnew · submitted 2019-07-13 · 🧮 math.CA · math.FA· math.MG

Improved Bounds for Hermite-Hadamard Inequalities in Higher Dimensions

Thomas Beck , Barbara Brandolini , Krzysztof Burdzy , Antoine Henrot , Jeffrey J. Langford , Simon Larson , Robert G. Smits , Stefan Steinerberger This is my paper

Pith reviewed 2026-05-24 21:42 UTC · model grok-4.3

classification 🧮 math.CA math.FAmath.MG
keywords subharmonic functionsconvex domainsHermite-Hadamard inequalityhigher dimensionssurface-to-volume ratiosboundary integrals
0
0 comments X

The pith

For positive subharmonic functions on convex domains in R^n the volume average is at most 2n^{3/2} times the surface average.

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

The paper proves an inequality that bounds the average value of a positive subharmonic function inside a convex domain by a multiple of its average on the boundary. The multiple c_n satisfies c_n less than or equal to 2n to the power 3/2 and is at least n minus 1. This extends earlier results that required the stronger assumption that the function itself is convex and used larger constants. The same argument produces a geometric bound: when one convex domain sits inside another the product of their surface-to-volume ratios is at most n.

Core claim

Let Omega subset R^n be convex and let f be positive and subharmonic on Omega. Then the volume average of f is bounded above by c_n times the surface average of f, where c_n is at most 2n^{3/2}. The optimal constant is at least n-1. As a consequence, any two nested convex domains Omega2 subset Omega1 satisfy |partial Omega1|/|Omega1| times |Omega2|/|partial Omega2| less than or equal to n.

What carries the argument

The inequality comparing the normalized volume integral of a positive subharmonic function to its normalized surface integral, controlled by a dimension-dependent constant c_n.

If this is right

  • The stated bound on c_n holds for all positive subharmonic functions, not merely convex ones.
  • The optimal constant c_n is at least n-1 in every dimension.
  • Nested convex domains obey the product bound on their surface-to-volume ratios.
  • The geometric inequality is sharp in the sense that equality is attained in limiting cases.

Where Pith is reading between the lines

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

  • The bound may become sharper when the function is harmonic rather than merely subharmonic.
  • The nested-domain inequality could be used to compare isoperimetric ratios across a chain of convex sets.
  • Explicit computation on the Euclidean ball would give a concrete numerical check on how close 2n^{3/2} is to the true optimum.

Load-bearing premise

The domain must be convex and the function must be positive with nonnegative Laplacian.

What would settle it

A single convex domain together with one positive subharmonic function on it whose volume-to-surface average ratio exceeds 2n^{3/2}.

Figures

Figures reproduced from arXiv: 1907.06122 by Antoine Henrot, Barbara Brandolini, Jeffrey J. Langford, Krzysztof Burdzy, Robert G. Smits, Simon Larson, Stefan Steinerberger, Thomas Beck.

Figure 1
Figure 1. Figure 1: Application of the one-dimensional inequality on a one￾dimensional fiber. This step is lossy if the boundary is curved. Steinhagen [22] showed that width can be bounded in terms of the inradius (7) w(Ω) ≤ ( 2 √ n · inrad(Ω) if n is odd, 2 √n+1 n+2 · inrad(Ω) if n is even. The last inequality follows from [12]: if Ω ⊂ R n is a convex body and Ωt = {x ∈ Ω : d(x, ∂Ω) > t}, where d(x, ∂Ω) denotes the distance … view at source ↗
Figure 2
Figure 2. Figure 2: The torsion function in Ω is bounded from above by the torsion function of the strip. This shows kukL∞ ≤ w(Ω)2 8 [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The construction of C1 and C2. Since Ω2 ⊂ Ω1, we have that ΩN ∩ {(x, y) ∈ R n : y ≥ 0} = C2 ∩ {(x, y) ∈ R n : y ≥ 0} . We now define a convex function on R n via f(x, y) = ( y if y ≥ 0, 0 otherwise. We obtain Z ΩN f dxdy = Z ΩN ∩{y>0} f dxdy = Z C2∩{y>0} f dxdy = (1 + o(1))N2 2 |Ω2| Z ∂ΩN f dσ = Z ∂ΩN ∩{y>0} f dσ = Z ∂C2∩{y>0} f dσ = (1 + o(1))N2 2 |∂Ω2|. This shows that 1 |ΩN | Z ΩN f dx = (1 + o(1)) 2N |… view at source ↗
read the original abstract

Let $\Omega \subset \mathbb{R}^n$ be a convex domain and let $f:\Omega \rightarrow \mathbb{R}$ be a positive, subharmonic function (i.e. $\Delta f \geq 0$). Then $$ \frac{1}{|\Omega|} \int_{\Omega}{f dx} \leq \frac{c_n}{ |\partial \Omega| } \int_{\partial \Omega}{ f d\sigma},$$ where $c_n \leq 2n^{3/2}$. This inequality was previously only known for convex functions with a much larger constant. We also show that the optimal constant satisfies $c_n \geq n-1$. As a byproduct, we establish a sharp geometric inequality for two convex domains where one contains the other $ \Omega_2 \subset \Omega_1 \subset \mathbb{R}^n$: $$ \frac{|\partial \Omega_1|}{|\Omega_1|} \frac{| \Omega_2|}{|\partial \Omega_2|} \leq n.$$

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

0 major / 2 minor

Summary. The paper claims that for convex Ω ⊂ R^n and positive subharmonic f (Δf ≥ 0), the volume average satisfies (1/|Ω|) ∫_Ω f dx ≤ (c_n / |∂Ω|) ∫_∂Ω f dσ with explicit uniform bound c_n ≤ 2n^{3/2}; the optimal constant satisfies c_n ≥ n-1. It also derives the geometric inequality |∂Ω1|/|Ω1| ⋅ |Ω2|/|∂Ω2| ≤ n whenever Ω2 ⊂ Ω1 are convex. The claims extend Hermite-Hadamard inequalities from convex to subharmonic functions with improved constants.

Significance. If the stated bounds hold, the work supplies explicit, dimension-dependent constants that improve on prior results limited to convex functions, together with a sharp geometric consequence obtained as a byproduct. The approach via the maximum principle for subharmonic functions is consistent with standard tools in the field and yields falsifiable predictions (the lower bound n-1 and the geometric inequality).

minor comments (2)
  1. [Abstract] The abstract states that the inequality 'was previously only known for convex functions with a much larger constant' but supplies neither the prior constant nor a citation; adding this reference would clarify the improvement.
  2. Notation for surface measure (dσ) and volume measure (dx) is standard but should be defined explicitly on first use for readers outside convex geometry.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report, accurate summary of our results on improved Hermite-Hadamard bounds for subharmonic functions and the geometric inequality, and the recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper presents an inequality for positive subharmonic functions on convex domains together with explicit bounds on the constant c_n and a geometric consequence for nested convex sets. These are derived from the maximum principle for subharmonic functions and scaling properties such as John's theorem; the provided abstract and reader summary contain no fitted parameters renamed as predictions, no self-definitional steps, and no load-bearing self-citations. The central claims reduce to standard analytic inequalities rather than to any of the enumerated circular patterns, so the derivation chain is independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard properties of the Laplacian, convexity, and integration in Euclidean space without introducing new free parameters or postulated entities.

axioms (2)
  • standard math Standard properties of subharmonic functions (Delta f >= 0) and convex domains in R^n
    Invoked to define the setting and apply mean-value properties.
  • domain assumption Positivity of f
    Required for the inequality as stated in the abstract.

pith-pipeline@v0.9.0 · 5742 in / 1276 out tokens · 26022 ms · 2026-05-24T21:42:15.966697+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

23 extracted references · 23 canonical work pages · 1 internal anchor

  1. [1]

    Alter and V

    F. Alter and V. Caselles, Uniqueness of the Cheeger set of a convex body. Nonlinear Anal. 70 (2009), no. 1, 32–44

    work page 2009

  2. [2]

    Bessenyei: The Hermite-Hadamard inequality on simpl ices, American Mathematical Monthly 115(4), 339–345 (2008

    M. Bessenyei: The Hermite-Hadamard inequality on simpl ices, American Mathematical Monthly 115(4), 339–345 (2008

    work page 2008

  3. [3]

    de la Cal and J

    J. de la Cal and J. Carcamo, Multidimensional Hermite-Ha damard inequalities and the convex order. J. Math. Anal. Appl. 324 (2006), no. 1, 248–261

    work page 2006

  4. [4]

    de la Cal, J

    J. de la Cal, J. Carcamo and L. Escauriaza, A general multi dimensional Hermite-Hadamard type inequality. J. Math. Anal. Appl. 356 (2009), no. 2, 659– 663

    work page 2009

  5. [5]

    Chen, Hadamard’s inequality on a triangle and on a poly gon

    Y. Chen, Hadamard’s inequality on a triangle and on a poly gon. Tamkang J. Math. 35 (2004), no. 3, 247–254

    work page 2004

  6. [6]

    S. S. Dragomir, On the Hadamard’s inequality for convex f unctions on the co-ordinates in a rectangle from the plane. Taiwanese J. Math. 5 (2001), no. 4, 775–788

    work page 2001

  7. [7]

    Dragomir and C

    S. Dragomir and C. Pearce, Selected Topics on Hermite-Ha damard Inequalities and Applica- tions, RGMIA Monographs, 2000. 12

    work page 2000

  8. [8]

    Dragomir, G

    S. Dragomir, G. Keady, A Hadamard-Jensen inequality and an application to the elastic torsion problem. Appl. Anal. 75 (2000), no. 3-4, 285–295

    work page 2000

  9. [9]

    J. Hadamard, ´Etude sur les propri´ et´ es des fonctions enti` eres et en particulier d’une fonction consid´ er´ ee par Riemann, Journal de Math´ ematiques Pureset Appliqu´ ees, volume 58, 1893, p. 171–215

    work page

  10. [10]

    Hermite, Sur deux limites dune integrale define, Math esis, 3 (1883), 82

    C. Hermite, Sur deux limites dune integrale define, Math esis, 3 (1883), 82

    work page

  11. [11]

    Kawohl and T

    B. Kawohl and T. Lachand-Robert, Characterization of C heeger sets for convex subsets of the plane. Pacific J. Math. 225 (2006), no. 1, 103–118

    work page 2006

  12. [12]

    Larson, A bound for the perimeter of inner parallel bo dies

    S. Larson, A bound for the perimeter of inner parallel bo dies. J. Funct. Anal. 271 (2016), no. 3, 610–619

    work page 2016

  13. [13]

    Larson, Asymptotic shape optimization for Riesz mea ns of the Dirichlet Laplacian over convex domains, J

    S. Larson, Asymptotic shape optimization for Riesz mea ns of the Dirichlet Laplacian over convex domains, J. Spectr. Theory, to appear

    work page

  14. [14]

    A Dimension-Free Hermite-Hadamard Inequality via Gradient Estimates for the Torsion Function

    J. Lu and S. Steinerberger, A Dimension-Free Hermite-H adamard Inequality via Gradient Estimates for the Torsion Function, arXiv:1905.03216

    work page internal anchor Pith review Pith/arXiv arXiv 1905

  15. [15]

    Mihailescu and C

    M. Mihailescu and C. Niculescu, An extension of the Herm ite-Hadamard inequality through subharmonic functions. Glasg. Math. J. 49 (2007), no. 3, 509 –514

    work page 2007

  16. [16]

    Niculescu, The Hermite-Hadamard inequality for con vex functions of a vector variable

    C. Niculescu, The Hermite-Hadamard inequality for con vex functions of a vector variable. Math. Inequal. Appl. 5 (2002), no. 4, 619–623

    work page 2002

  17. [17]

    Niculescu and L.-E

    C. Niculescu and L.-E. Persson, Old and New on the Hermit e-Hadamard Inequality, Real Analysis Exchange 29, p. 663–686, (2003-2004)

    work page 2003

  18. [18]

    Pasteczka, Jensen-type Geometric Shapes, arXiv:18 04.03688

    P. Pasteczka, Jensen-type Geometric Shapes, arXiv:18 04.03688

    work page

  19. [19]

    Schneider, Convex bodies: the Brunn-Minkowski theo ry, Encyclopedia of Mathematics and its Applications vol

    R. Schneider, Convex bodies: the Brunn-Minkowski theo ry, Encyclopedia of Mathematics and its Applications vol. 151, Cambridge Univ. Press, 2014

    work page 2014

  20. [20]

    Sperb,Maximum principles and their applications, M athematics in Science and Engineer- ing, vol

    R. Sperb,Maximum principles and their applications, M athematics in Science and Engineer- ing, vol. 157, Academic Press, New York, 1981

    work page 1981

  21. [21]

    Steinerberger, The Hermite-Hadamard inequality in higher dimension, Journal of Geomet- ric Analysis, to appear

    S. Steinerberger, The Hermite-Hadamard inequality in higher dimension, Journal of Geomet- ric Analysis, to appear

    work page

  22. [22]

    Steinhagen, Uber die grosste Kugel in einer konvexen Punktmenge, Abh

    P. Steinhagen, Uber die grosste Kugel in einer konvexen Punktmenge, Abh. Math. Semin. Univ. Hambg. 1 (1922), no. 1, 15–26

    work page 1922

  23. [23]

    R. Caccioppoli

    G. Talenti, Elliptic equations and rearrangements. An n. Scuola Norm. Sup. Pisa Cl. Sci. (4) 3 (1976), no. 4, 697–718. Department of Mathematics, University of North Carolina at Ch apel Hill, CB#3250 Phillips Hall, Chapel Hill, NC 27599 E-mail address : tdbeck@email.unc.edu Universit`a degli Studi di Napoli Federico II, Dipartimento di Matemati ca e Appli...

    work page 1976