Logo image
A sharp median Poincaré inequality in W¹,∞(Ω,R) for convex domains R
Journal article   Open access   Peer reviewed

A sharp median Poincaré inequality in W¹,∞(Ω,R) for convex domains R

J. J. Bevan
Proceedings of the American Mathematical Society, Vol.In Press(In Press)
08/07/2026

Abstract

Sharp Poincare inequality, Lipschitz functions, convex domain

We prove the sharp Poincaré inequality ||u − med Ω (u)||∞ ≤ C(Ω)||∇u||∞ valid for all u in W^{1,∞} (Ω, R) and with constant C(Ω) = max_{x∈Ω} {Rx : |B(x, Rx) ∩ Ω| = |Ω|/2}. Here, Ω ⊂ Rd is a bounded, convex domain, and the median value of u is med Ω (u) = inf{t ∈ R : |{u > t}| ≤ |Ω|/2}. We find that the graphs of extremal u are cones. We also prove the inequalities diam (Ω)/2 ≤ C(Ω) ≤ diam (Ω) in which the lower bound is sharp, while the upper bound is capable of improvement provided C(Ω) = Rx where x lies in ∂Ω. When Ω is a ball B(x, r) ⊂ Rd we calculate C(B(x, r)) and argue that C(B(x, r)) → √2 r as d → ∞.

pdf
Poincare_median203.21 kBDownloadView
Author's Accepted Manuscript Open Access CC BY-NC-ND V4.0
url
https://pubs.ams.org/journals/proc/aboutproc.htmlView
Journal website

Metrics

3 File views/ downloads
1 Record Views

Details

Logo image

Usage Policy