The Dirichlet eigenvalue problems for some concave elliptic Hessian operators
Jiaogen Zhang
TL;DR
This work analyzes the Dirichlet eigenvalue problem for a broad class of concave elliptic Hessian operators $F(D^2u)$ on smooth, strictly $\Gamma$-convex domains, encompassing Monge–Ampère, $k$-Hessian, and $p$-Monge–Ampère operators. Under Condition (T), the authors establish the existence and regularity of the first $\Gamma$-admissible eigenpair $(u_1,\Lambda_1)$, with $u_1\in C^{\infty}(\Omega)\cap C^{1,1}(\overline{\Omega})$, and show uniqueness up to a multiplicative constant. They develop comprehensive a priori estimates, including global gradient and Hessian bounds, and implement Lions’ approximation to realize the eigenpair; they further extend the framework to invariant Gårding–Dirichlet operators. A bifurcation-type theory is developed around the first eigenvalue, linking the eigenproblem to a nonlinear Dirichlet problem and providing a continuum of solutions via a continuity method. Overall, the results advance fully nonlinear spectral theory, connect to convex geometry, and illuminate bifurcation phenomena for a wide class of Hessian-type operators.
Abstract
In this manuscript, we investigate a priori estimates for the solution to the Dirichlet eigenvalue problem for a broad class of concave elliptic Hessian operators of the form \[ F(D^2u)=-Λu \quad \textrm{in} \, Ω, \qquad u=0 \quad \textrm{on} \, \partial Ω. \] These operators encompass the Monge-Ampère operator, the $k$-Hessian operators, and the $p$-Monge-Ampère operators. We impose a fairly mild constraint on the operator $F$, allowing us to demonstrate the existence of the first nonzero eigenvalue and its corresponding $Γ$-admissible eigenfunction on the smooth, strictly $Γ$-convex domain $Ω\subset \mathbb{R}^{n}$. Furthermore, we prove that the eigenfunction $u_{1}$ belongs to $C^{\infty}(Ω) \cap C^{1,1}(\overlineΩ)$. As an application, we prove that every invariant Gårding-Dirichlet operator admits a unique first nonzero eigenvalue. Finally, a bifurcation-type theory for these operators is also established.
