Convex Near-Extremizers for the Multidimensional Hermite-Hadamard Inequality
Manuscript 15 October 2026 · Online 15 October 2026
Abstract
Larson proved that the boundary-mean Hermite-Hadamard inequality on bounded convex domains in R^n has sharp constant n for nonnegative subharmonic functions. We construct explicit nonnegative convex near-extremizers on collapsing simplices, proving that restricting the test functions to the convex class does not improve this universal constant. The construction uses the positive part of an affine function, with its localization scale larger than the collapsing thickness. We calculate the exact ratio and a quantitative error bound, and show that the same supremum holds for smooth, strictly positive, strictly convex test functions. This resolves the boundary-mean convex subproblem in AIM Shape optimization with surface interactions, Problem 6.1, corresponding to AIM-ANALYSIS-0032 in UnsolvedMath v1.6.0. Neither volume-power normalized sharp constant is determined here; the whole four-constant record remains partial. The all-dimensional proof is supplemented by 4,072 exact arithmetic regression checks. This is an unrefereed preprint; no independent review, formal verification or absolute-priority claim is asserted.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete convex sharp-constant theorem
- Categories
- math.CA · math.MG
- Manuscript
- 15 October 2026
- Online release
- 15 October 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “Convex Near-Extremizers for the Multidimensional Hermite-Hadamard Inequality,” EulerSolve Research Papers, AIM-ANALYSIS-0032, 2026. https://doi.org/10.5281/zenodo.23403203.
BibTeX
@misc{ferudun2026convexhermite,
author = {Ferudun, Alper},
title = {Convex Near-Extremizers for the Multidimensional Hermite-Hadamard Inequality},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/aim-analysis-0032/},
doi = {10.5281/zenodo.23403203},
note = {AIM-ANALYSIS-0032; unrefereed preprint}
}