Abstract
The Hermite–Hadamard inequality states that the average value of a convex function on an interval is bounded from above by the average value of the function at the endpoints of the interval. We provide a generalization to higher dimensions: let \(\Omega \subset {\mathbb {R}}^n\) be a convex domain and let \(f:\Omega \rightarrow {\mathbb {R}}\) be a convex function satisfying \(f \big |_{\partial \Omega } \ge 0\), then
The constant \(2 \pi ^{-1/2} n^{n+1}\) is presumably far from optimal; however, it cannot be replaced by 1 in general. We prove slightly stronger estimates for the constant in two dimensions where we show that \(9/8 \le c_2 \le 8\). We also show, for some universal constant \(c>0\), if \(\Omega \subset {\mathbb {R}}^2\) is simply connected with smooth boundary, \(f:\Omega \rightarrow {\mathbb {R}}_{}\) is subharmonic, i.e., \(\Delta f \ge 0\), and \(f \big |_{\partial \Omega } \ge 0\), then
We also prove that every domain \(\Omega \subset {\mathbb {R}}^n\) whose boundary is ’flat’ at a certain scale \(\delta \) admits a Hermite–Hadamard inequality for all subharmonic functions with a constant depending only on the dimension, the measure \(|\Omega |\), and the scale \(\delta \).
Similar content being viewed by others
References
Banuelos, R.: Four unknown constants: 2009 Oberwolfach workshop on Low Eigenvalues of Laplace and Schrodinger Operators. Oberwolfach Reports No. 06 (2009)
Banuelos, R., Carroll, T.: Brownian motion and the fundamental frequency of a drum. Duke Math. J. 75(3), 575–602 (1994)
Banuelos, R., Carroll, T.: The maximal expected lifetime of Brownian motion. Math. Proc. R. Ir. Acad. 111A(1), 1–11 (2011)
Barani, A.: Hermite–Hadamard and Ostrowski type inequalities on hemispheres. Mediterr. J. Math. 13(6), 4253–4263 (2016)
Berger, M.: A Panoramic View of Riemannian Geometry. Springer, Berlin (2003)
Bessenyei, M.: The Hermite–Hadamard inequality on simplices. Am. Math. Mon. 115(4), 339–345 (2008)
Carroll, T., Ortega-Cerda, J.: The univalent Bloch–Landau constant, harmonic symmetry and conformal glueing. J. Math. Pures Appl. (9) 92(4), 396–406 (2009)
Chen, Y.: Hadamard’s inequality on a triangle and on a polygon. Tamkang J. Math. 35(3), 247–254 (2004)
Connelly, R., Ostro, S.: Ellipsoids and lightcurves. Geom. Dedicata 17(1), 87–98 (1984)
de la Cal, J., Cárcamo, J.: Multidimensional Hermite–Hadamard inequalities and the convex order. J. Math. Anal. Appl. 324(1), 248–261 (2006)
de la Cal, J., Cárcamo, J., Escauriaza, L.: A general multidimensional Hermite–Hadamard type inequality. J. Math. Anal. Appl. 356(2), 659–663 (2009)
Dragomir, S.S.: On Hadamards inequality on a disk. J. Inequal. Pure Appl. Math. 1, Article 2 (2000)
Dragomir, S.S.: On the Hadamard’s inequality for convex functions on the co-ordinates in a rectangle from the plane. Taiwan. J. Math. 5(4), 775–788 (2001)
Dragomir, S., Pearce, C.: Selected Topics on Hermite–Hadamard Inequalities and Applications. RGMIA Monographs. Victoria University (2000)
Fejer, L.: Über die Fourierreihen, II. Math. Naturwiss, Anz. Ungar. Akad. Wiss. 24, 369–390 (1906)
Hadamard, J.: Étude sur les propriétés des fonctions entières et en particulier d’une fonction considérée par Riemann. J. Math. Pures Appl. 58, 171–215 (1893)
Hermite, C.: Sur deux limites dune integrale define. Mathesis 3, 82 (1883)
Makar-Limanov, L.G.: The solution of the Dirichlet problem for the equation in a convex region. Mat. Zametki 9, 89–92 (1971) (in Russian); English translation in Math. Notes 9, 52–53 (1971)
Mercer, A.: Hadamard’s inequality for a triangle, a regular polygon and a circle. Math. Inequal. Appl. 5(2), 219–223 (2002)
Mihailescu, M., Niculescu, C.: An extension of the Hermite–Hadamard inequality through subharmonic functions. Glasg. Math. J. 49(3), 509–514 (2007)
Müller, A., Stoyan, D.: Comparison Methods for Stochastic Models and Risks. Wiley, Hoboken (2002)
Niculescu, C.: The Hermite–Hadamard inequality for convex functions of a vector variable. Math. Inequal. Appl. 5(4), 619–623 (2002)
Niculescu, C., Persson, L.-E.: Old and New on the Hermite–Hadamard inequality. Real Anal. Exch. 29, 663–686 (2003–2004)
Nowicka, M., Witkowski, A.: A refinement of the right-hand side of the Hermite–Hadamard inequality for simplices. Aequat. Math. 91, 121–128 (2017)
Pasteczka, P.: Jensen-type geometric shapes. arXiv:1804.03688
Payne, L.E., Philippin, G.A.: Some remarks on the problems of elastic torsion and of torsional creep. In: Some Aspects of Mechanics of Continua, Part I, pp. 32–40. Jadavpur University, Calcutta (1977)
Payne, L.E., Philippin, G.A.: Isoperimetric inequalities in the torsion and clamped membrane problems for convex plane domains. SIAM J. Math. Anal. 14(6), 1154–1162 (1983)
Rachh, M., Steinerberger, S.: On the location of maxima of the Schrödinger equation. Commun. Pure Appl. Math. 71, 1109–1122 (2018)
Rivin, I.: Surface area and other measures of ellipsoids. Adv. Appl. Math. 39(4), 409–427 (2007)
Shaked, M., Shanthikumar, J.: Stochastic Orders. Springer, New York (2006)
Steinerberger, S.: Topological bounds for Fourier coefficients and applications to torsion. J. Funct. Anal. 274, 1611–1630 (2018)
Steinerberger, S.: An endpoint Alexandrov–Bakelman–Pucci estimate in the plane. Can. Math. Bull. (2018, to appear)
Villani, C.: Optimal Transport. Old and New. Springer, Berlin (2008)
Wasowicz, S., Witkowski, A.: On some inequality of Hermite–Hadamard type. Opusc. Math. 32(3), 591–600 (2012)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work is supported by the NSF (DMS-1763179) and the Alfred P. Sloan Foundation.
Rights and permissions
About this article
Cite this article
Steinerberger, S. The Hermite–Hadamard Inequality in Higher Dimensions. J Geom Anal 30, 466–483 (2020). https://doi.org/10.1007/s12220-019-00150-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-019-00150-1