English

Weighted Minkowski's Existence Theorem and Projection Bodies

Functional Analysis 2023-09-28 v5 Metric Geometry

Abstract

The Brunn-Minkowski Theory has seen several generalizations over the past century. Many of the core ideas have been generalized to measures. With the goal of framing these generalizations as a weighted Brunn-Minkowski theory, we prove the Minkowski existence theorem for a large class of Borel measures with continuous density, denoted by Λn\Lambda^n: for ν\nu a finite, even Borel measure on the unit sphere and even μΛn\mu\in\Lambda^n, there exists a symmetric convex body KK such that dν(u)=cμ,KdSKμ(u),d\nu(u)=c_{\mu,K}dS^{\mu}_{K}(u), where cμ,Kc_{\mu,K} is a quantity that depends on μ\mu and KK and dSKμ(u)dS^{\mu}_{K}(u) is the surface area-measure of KK with respect to μ\mu. Examples of measures in Λn\Lambda^n are homogeneous measures (with cμ,K=1c_{\mu,K}=1) and probability measures with radially decreasing densities (e.g. the Gaussian measure). We will also consider weighted projection bodies ΠμK\Pi_\mu K by classifying them and studying the isomorphic Shephard problem: if μ\mu and ν\nu are even, homogeneous measures with density and KK and LL are symmetric convex bodies such that ΠμKΠνL\Pi_{\mu} K \subset \Pi_{\nu} L, then can one find an optimal quantity A>0\mathcal{A}>0 such that μ(K)Aν(L)\mu(K)\leq \mathcal{A}\nu(L)? Among other things, we show that, in the case where μ=ν\mu=\nu and LL is a projection body, A=1\mathcal{A}=1.

Keywords

Cite

@article{arxiv.2111.10923,
  title  = {Weighted Minkowski's Existence Theorem and Projection Bodies},
  author = {Liudmyla Kryvonos and Dylan Langharst},
  journal= {arXiv preprint arXiv:2111.10923},
  year   = {2023}
}

Comments

Abstract updated. Formally titled "Measure Theoretic Minkowski's Existence Theorem and Projection Bodies". 42-46 pages. Keywords: Minkowski's Existence Theorem, Shephard Problem, Petty Projection Inequality, Projection Body, Ehrhard's Inequality