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.
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.