Abstract:Motivated from one-dimensional rigidity results of entire solutions to Liouville equation, we consider the semilinear equation \begin{align}
\label{liouvilleequationab} \Delta u=G(u) \quad \mbox{in $\mathbb{R}^n$}, \end{align}where $G>0, G'<0$ and $GG^{''}\le A(G')^2$, with $A>0$. Let $u$ be a smooth convex solution and $\sigma_k(D^2 u)$ be the $k$-th elementary symmetric polynomial with respect to $D^2u$. We prove stronger constant rank theorems in the following sense. (1) When $A\le 2$, if $\sigma_2(D^2u)$ takes a local minimum, then $D^2 u$ has constant rank $1$. (2) When $A\le \frac{n}{n-1}$, if $\sigma_n(D^2 u)$ takes a local minimum, then $\sigma_n(D^2 u)$ is always zero in the domain.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the structural properties of solutions to a class of specific partial differential equations. Specifically, the paper studies the following semilinear elliptic equation:
\[
\Delta u = G(u) \quad \text{in} \quad \mathbb{R}^n
\]
where \( G > 0 \), \( G' < 0 \), and \( GG'' \leq A(G')^2 \), where \( A \) is a positive number. The main goal of the paper is to prove a stronger constant rank theorem, that is, under certain conditions, the Hessian matrix of the solution has a constant rank at local minimum points.
### Specific problems
1. **When \( A \leq 2 \)**, if \( \sigma_2(D^2u) \) takes a local minimum at a certain point, then \( D^2u \) has rank 1 in its domain.
2. **When \( A \leq \frac{n}{n - 1} \)**, if \( \sigma_n(D^2u) \) takes a local minimum at a certain point, then \( \sigma_n(D^2u) \) is identically zero throughout the domain.
### Background motivation
The motivation of the paper comes from the study of the Liouville equation:
\[
-\Delta u = e^{2u} \quad \text{in} \quad \mathbb{R}^n
\]
Especially for the case of \( n = 2 \), this equation describes the situation where the Gaussian curvature of the plane conformal metric is equal to 1. For \( n\geq3 \), this equation also has important applications in the theory of multiphase equilibrium. A key question in the paper is:
**Question 1.1**: Are all concave solutions necessarily univariate?
This question is raised based on the connection between the Liouville equation and the De Giorgi conjecture. The De Giorgi conjecture states that if the directional derivative in a certain direction does not change sign, then the solution must be one - dimensional. However, for the Liouville equation, the negative definiteness of the Hessian matrix of the concave solution is a natural assumption, which leads to Question 1.1.
### Main results
By re - analyzing the proofs of Caffarelli and Friedman, the paper obtains the following main results:
1. **Theorem 1.2**: In \( \mathbb{R}^2 \), if \( \det(D^2u) \) takes a local minimum at a point, then \( \det(D^2u) \) is identically zero throughout the domain.
2. **Theorem 1.3**: In \( \mathbb{R}^n \), if \( \sigma_2(D^2u) \) takes a local minimum at a point, then \( D^2u \) has rank 1 in its domain.
3. **Theorem 1.4**: In \( \mathbb{R}^n \), if \( \det(D^2u) \) takes a local minimum at a point, then \( \det(D^2u) \) is identically zero throughout the domain.
These results not only generalize the existing constant rank theorems, but also provide new tools and perspectives for solving Question 1.1.