The $L_p$ Gauss image problem

Chuanxi Wu,Di Wu,Ni Xiang
DOI: https://doi.org/10.48550/arXiv.2105.02463
2021-05-06
Abstract:In this paper we study the $L_p$ Gauss image problem, which is a generalization of the $L_p$ Aleksandrov problem and the Gauss image problem in convex geometry. We obtain the existence result for the $L_p$ Gauss image problem in two cases (i) $p>0$ or (ii) $p<0$ with the given even measures.
Analysis of PDEs
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the \(L^p\) Gauss image problem in convex geometry (\(L^p\) Gauss image problem). Specifically, for a given \(p\in\mathbb{R}\), and two Borel measures \(\lambda\) and \(\mu\) defined on the unit sphere \(S^{n - 1}\), the paper explores the following two problems: 1. **Existence problem**: Under what conditions does there exist a convex body \(K\) such that \(\mu=\lambda_p(K,\cdot)\)? Here \(\lambda_p(K,\cdot)\) is the \(L^p\) Gauss image measure, which is defined as: \[ d\lambda_p(K,\cdot)=\rho_K^p\,d\lambda(K,\cdot) \] where \(\rho_K\) is the radial function of the convex body \(K\). 2. **Uniqueness problem**: If such a convex body \(K\) exists, to what extent is it unique? ### Background and motivation - **\(L^p\) Aleksandrov problem**: When \(\lambda\) is the Lebesgue measure on the sphere, the \(L^p\) Gauss image problem degenerates into the \(L^p\) Aleksandrov problem. - **Gauss image problem**: When \(p = 0\), the \(L^p\) Gauss image problem degenerates into the Gauss image problem, which was first proposed in reference [5]. ### Main results The main results of the paper are mainly in two aspects: 1. **When \(p>0\)**: - If \(\lambda\) and \(\mu\) are two finite Borel measures and satisfy the following conditions: 1. \(\lambda\) is absolutely continuous with respect to the Lebesgue measure on the sphere; 2. \(\lambda(A)>0\) for any non - empty open set \(A\subset S^{n - 1}\); 3. \(\mu\) is not concentrated on any closed hemisphere. - Then there exists a convex body \(K\) such that \(\mu=\lambda_p(K,\cdot)\). 2. **When \(p < 0\)**: - If \(\lambda\) and \(\mu\) are two finite, even Borel measures and satisfy the following conditions: 1. \(\lambda\) is absolutely continuous with respect to the Lebesgue measure on the sphere; 2. \(\lambda(A)>0\) for any non - empty open set \(A\subset S^{n - 1}\); 3. \(\mu\) vanishes on large sub - spheres of \(S^{n - 1}\). - Then there exists a convex body \(K\) symmetric about the origin such that \(\mu=\lambda_p(K,\cdot)\). ### Applications and significance The study of these problems is not only of great significance in convex geometry theory, but also has a close relationship with other geometric problems (such as the Minkowski problem, the dual Minkowski problem, etc.). By studying the \(L^p\) Gauss image problem, we can further understand the geometric properties of convex bodies and the relationships between their measures, and provide new perspectives and tools for research in related fields.