Abstract:The $\sigma_k(A_g)$ curvature and the boundary $\mathcal{B}^k_g$ curvature arise naturally from the Chern--Gauss--Bonnet formula for manifolds with boundary. In this paper, we prove a Liouville theorem for the equation $\sigma_k(A_g)=1$ in $\overline{\mathbb{R}^n_+}$ with the boundary condition $\mathcal{B}^k_g=c$ on $\partial\mathbb{R}^n_+$, where $g=e^{2v}|dx|^2$ and $c$ is some nonnegative constant. This extends an earlier result of Wei, which assumes the existence of $\lim_{|x|\to\infty}(v(x)+2\log|x|)$. In addition, we establish a local gradient estimate for solutions of such equations, assuming an upper bound on the solution $v$.
What problem does this paper attempt to address?
### The problems that the paper attempts to solve
This paper aims to solve the Liouville theorem problem related to specific curvature equations on Riemannian manifolds. Specifically, the author studies the existence and uniqueness of the function \(v\) in the semi - Euclidean space \(\mathbb{R}^n_+\) that satisfies the following conditions:
1. **Interior condition**: Inside \(\mathbb{R}^n_+\), the function \(v\) satisfies
\[
\sigma_k(A[v]) = e^{-pv}
\]
where \(A[v]\) is the conformal Hessian matrix of \(v\), \(\sigma_k\) is the \(k\)-th unitary symmetric polynomial, and \(p\geq0\) is a constant.
2. **Boundary condition**: On \(\partial\mathbb{R}^n_+\), the function \(v\) satisfies
\[
B_l[v] = c
\]
where \(B_l[v]\) is the \(l\)-th boundary curvature, and \(c\geq0\) is a constant.
3. **Constraint condition**: Assume that \(A[v]\in\Gamma_k\), that is, \(\sigma_i(A[v]) > 0\) for \(i = 1,\ldots,k\).
### Research background and motivation
This problem originates from the Chern - Gauss - Bonnet formula, which describes the relationship between topological invariants (such as the Euler characteristic) and geometric quantities (such as curvature) on manifolds with boundaries. Specifically, for a locally conformally flat manifold \((M^n,g)\), when \(n = 2k\), we have:
\[
(2\pi)^k\chi(M,\partial M)=\int_M\sigma_k(A_g)dV_g+\oint_{\partial M}B_k^gd\sigma_g
\]
where \(\chi(M,\partial M)\) is the Euler characteristic.
### Main contributions
1. **Liouville - type theorem**: The author proves a Liouville - type theorem, indicating that under certain conditions, the solution \(v\) satisfying the above equations must have a specific form. Specifically, if \(v\in C^2(\mathbb{R}^n_+)\) satisfies the above conditions, then \(p = 0\), and \(v\) can be expressed as:
\[
V(x)=\log\left(\frac{c_{n,k}a}{1 + a^2|x-\bar{x}|^2}\right)
\]
where \(a>0\), \(\bar{x}\in\mathbb{R}^n\), and \(c_{n,k}=\sqrt{\frac{2n}{k}}^{1/(2k)}\).
2. **Local gradient estimate**: The author also establishes a local gradient estimate, which is very useful for dealing with solutions with boundary singularities. Specifically, for solutions \(v\) that satisfy certain conditions, an upper bound estimate of the gradient can be obtained.
### Methods and techniques
- **Maximum principle**: The author uses the maximum principle to deal with solutions without singularities and uses techniques such as Möbius transformation to deal with solutions with isolated boundary singularities.
- **Variational method**: By transforming the problem into a variational problem, the author is able to use the energy functional method to study the existence and uniqueness of solutions.
- **Bernstein - type argument**: In order to obtain local gradient estimates, the author uses techniques similar to Bernstein.
In conclusion, this paper solves the Liouville - type theorem problem of specific curvature equations on manifolds with boundaries by introducing new techniques and methods and provides important local gradients.