Let $\Omega\subset\mathbb H^2$ be a bounded smooth horoconvex domain and let $\psi_1>0$ be its first Dirichlet eigenfunction. We prove that \[ \operatorname{Hess}_{\mathbb H^2}(-\log\psi_1)>0 \] throughout $\Omega$, with no restriction on the diameter or the first eigenvalue. The proof is by contradiction. A degenerate Hessian would yield a shifted translation Killing derivative with a singular interior zero. Then the boundary-zero theorem of Grossi and Provenzano shows that the shifted Killing derivative has exactly two zeros on the boundary. A nodal-domain argument on the surface rules this out. As an application we prove that every superlevel set of $\psi_1$ is horoconvex: every level curve has geodesic curvature at least $1$. The Hessian bound makes the shifted construction available for Killing fields with nonvanishing rotation part, and yields the pointwise inequality $|(\operatorname{Hess} u)^{-1}J\nabla u|\le1$ for $u=-\log\psi_1$, where $J$ is rotation by $\pi/2$; a boundary-zero count for translation fields with arbitrary axis completes the argument.
Let $D\subset\mathbb{R}^n$, $n\ge2$, be a bounded convex domain, and let $u_D$ be the torsion function for the restricted half-Laplacian. We prove that $D^2u_D$ is negative definite at every point of $D$. The argument is based on the reflected harmonic extension in a slit domain. Quantitative Schauder estimates in slit...
Let $n\ge2$ and let $\Omega\subset\mathbb R^n$ be an arbitrary bounded open convex set. The author prove that, for $p>n$, the Dirichlet problem \[ \det D^2u=(-u)^p\quad\text{in }\Omega, \qquad u=0\quad\text{on }\partial\Omega, \qquad u>0\quad\text{in }\Omega \] has at most one convex Alexandrov solution. The proof is b...
Let $2\le k\le n$, let $\Omega\subset\mathbb{R}^n$ be open and convex, and let $u$ be a convex viscosity solution of $\sigma_k(D^2u)=1$ in $\Omega$. We prove that the set on which $u$ fails to be locally $C^2$ has vanishing $(n-1)$-dimensional Hausdorff measure. In the intermediate range $3\le k<n$, this gives a codime...
We study the quasilinear Liouville equation \[ -\Delta_n u=e^u \] on complete noncompact Riemannian manifolds with nonnegative Ricci curvature. Our first result shows that, if a solution $u$ satisfies the optimal logarithmic lower bound \[ u(x)\ge -\frac{n^2}{n-1}\log r(x)+o(\log r(x)) \quad \text{as }r(x)\to+\infty, \...
Let $(L,e^{-\phi})$ be a positive Hermitian holomorphic line bundle over a compact Riemann surface $X$, and let $\omega=i\partial\overline{\partial}\phi$. We obtain explicit pointwise estimates for the Bergman form of the tensor power $mL$. If $\mathrm{Ric}\,\omega\leq\omega$ and the shortest nonconstant closed geodesi...
For every $n\geq 3$, we construct a nonconstant real-valued function $U\in C^\infty(\overline{\mathbb R^n_+})$, harmonic in the upper half-space, whose complete boundary jet vanishes on a compact nowhere dense subset of $\partial\mathbb R^n_+$ of positive $(n-1)$-dimensional measure. The essential construction takes pl...
Guo-Lin Qin, Wei-Cheng Zhan· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
