On the planar $L_p$-Gaussian-Minkowski problem for $0 \leq p<1$

Weiru Liu
2024-05-22
Abstract:In this paper, we show that if $L_p$ Gaussian surface area measure is proportional to the spherical Lebesgue measure, then the corresponding convex body has to be a centered disk when $p\in[0,1)$. Moreover, we investigate $C^0$ estimate of the corresponding convex bodies when the density function of their Gaussian surface area measures have the uniform upper and lower bound. We obtain convex bodies' uniform upper and lower bound when $p=0$ in asymmetric situation and $p\in(0,1)$ in symmetric situation. In fact, for $p\in(0,1)$ , there is a counterexample to claim the uniform bound does not exist in asymmetric situation.
Analysis of PDEs
What problem does this paper attempt to address?
This paper attempts to address the properties of the \( L^p \)-Gaussian-Minkowski problem in the two-dimensional plane (i.e., \( \mathbb{R}^2 \)) when \( 0 \leq p < 1 \). Specifically, the paper explores the following points: 1. **Uniqueness Conditions**: - If the \( L^p \)-Gaussian surface area measure of a convex body \( K \) is proportional to the spherical Lebesgue measure, then \( K \) must be a disk centered at the origin. - For \( p \in [0,1) \), if the density function of the \( L^p \)-Gaussian surface area measure of \( K \) has uniform upper and lower bounds on \( S^{n-1} \), then a \( C^0 \) estimate of the corresponding convex body can be obtained. 2. **Existence and Uniqueness of Solutions**: - The paper proves that when the \( L^p \)-Gaussian surface area measure is proportional to the spherical Lebesgue measure, the convex body \( K \) must be a centrally symmetric disk. - For \( p \in [0,1) \), the paper provides conditions for the existence of the convex body \( K \) and demonstrates the number of solutions in different cases. 3. **Specific Conclusions**: - If \( 0 < C < C_p \), there are 2 solutions; - If \( C = C_p \), there is a unique solution; - If \( C > C_p \), there is no solution; - Where \( C_p = \frac{(2-p)^{2-p}}{2e^{-(2-p)/2}} \). 4. **Existence of Smooth Solutions**: - For \( p \in (0,1) \) and even function \( f \), there exists a \( C^{4,\alpha} \) centrally symmetric convex body \( K \) whose support function \( h \) satisfies the given equation. - For \( p = 0 \), there exists a \( C^{4,\alpha} \) convex body \( K \) whose support function \( h \) satisfies the given equation, and in this case, \( K \) does not need to be centrally symmetric. In summary, this paper mainly focuses on the existence and uniqueness conditions of solutions to the \( L^p \)-Gaussian-Minkowski problem in two-dimensional space and provides a series of specific mathematical conclusions.