English

A sharp multidimensional Hermite-Hadamard inequality

Classical Analysis and ODEs 2020-05-25 v2 Functional Analysis

Abstract

Let ΩRd\Omega \subset \mathbb{R}^d, d2d \geq 2, be a bounded convex domain and f ⁣:ΩRf\colon \Omega \to \mathbb{R} be a non-negative subharmonic function. In this paper we prove the inequality 1ΩΩf(x)dxdΩΩf(x)dσ(x). \frac{1}{|\Omega|}\int_\Omega f(x)\,dx \leq \frac{d}{|\partial\Omega|}\int_{\partial\Omega} f(x)\,d\sigma(x)\,. Equivalently, the result can be stated as a bound for the gradient of the Saint Venant torsion function. Specifically, if ΩRd\Omega \subset \mathbb{R}^d is a bounded convex domain and uu is the solution of Δu=1-\Delta u =1 with homogeneous Dirichlet boundary conditions, then uL(Ω)<dΩΩ. \|\nabla u\|_{L^\infty(\Omega)} < d\frac{|\Omega|}{|\partial\Omega|}\,. Moreover, both inequalities are sharp in the sense that if the constant dd is replaced by something smaller there exist convex domains for which the inequalities fail. This improves upon the recent result that the optimal constant is bounded from above by d3/2d^{3/2} due to Beck et al.

Keywords

Cite

@article{arxiv.2005.01853,
  title  = {A sharp multidimensional Hermite-Hadamard inequality},
  author = {Simon Larson},
  journal= {arXiv preprint arXiv:2005.01853},
  year   = {2020}
}

Comments

13 pages

R2 v1 2026-06-23T15:18:30.780Z