English

An inequality characterizing convex domains

Classical Analysis and ODEs 2022-11-04 v2 Differential Geometry Functional Analysis Metric Geometry

Abstract

A property of smooth convex domains ΩRn\Omega \subset \mathbb{R}^n is that if two points on the boundary x,yΩx, y \in \partial \Omega are close to each other, then their normal vectors n(x),n(y)n(x), n(y) point roughly in the same direction and this direction is almost orthogonal to xyx-y (for `nearby' xx and yy). We prove there exists a constant cn>0c_n > 0 such that if ΩRn\Omega \subset \mathbb{R}^n is a bounded domain with C1C^1-boundary Ω\partial \Omega, then Ω×Ωn(x),yxyx,n(y)xyn+1 dσ(x)dσ(y)cnΩ \int_{\partial \Omega \times \partial \Omega} \frac{\left|\left\langle n(x), y - x \right\rangle \left\langle y - x, n(y) \right\rangle \right| }{\|x - y\|^{n+1}}~d \sigma(x) d\sigma(y) \geq c_n |\partial \Omega| and equality occurs if and only if the domain Ω\Omega is convex.

Keywords

Cite

@article{arxiv.2209.14153,
  title  = {An inequality characterizing convex domains},
  author = {Stefan Steinerberger},
  journal= {arXiv preprint arXiv:2209.14153},
  year   = {2022}
}
R2 v1 2026-06-28T02:17:44.899Z