Weighted Minkowski's Existence Theorem and Projection Bodies

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$: for $ν$ a finite, even Borel measure on the unit sphere and even $μ\inΛ^n$, there exists a symmetric convex body $K$ such that $$dν(u)=c_{μ,K}dS^μ_{K}(u),$$ where $c_{μ,K}$ is a quantity that depends on $μ$ and $K$ and $dS^μ_{K}(u)$ is the surface area-measure of $K$ with respect to $μ$. Examples of measures in $Λ^n$ are homogeneous measures (with $c_{μ,K}=1$) and probability measures with radially decreasing densities (e.g. the Gaussian measure). We will also consider weighted projection bodies $Π_μK$ by classifying them and studying the isomorphic Shephard problem: if $μ$ and $ν$ are even, homogeneous measures with density and $K$ and $L$ are symmetric convex bodies such that $Π_μ K \subset Π_ν L$, then can one find an optimal quantity $\mathcal{A}>0$ such that $μ(K)\leq \mathcal{A}ν(L)$? Among other things, we show that, in the case where $μ=ν$ and $L$ is a projection body, $\mathcal{A}=1$.