Log-Concavity and Level-Set Horoconvexity of the First Eigenfunction on Horoconvex Domains in the Hyperbolic Plane
Let $Ω\subset\mathbb H^2$ be a bounded smooth horoconvex domain and let $ψ_1>0$ be its first Dirichlet eigenfunction. We prove that \[ \operatorname{Hess}_{\mathbb H^2}(-\logψ_1)>0 \] throughout $Ω$, 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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.27120
curl -X POST /api/v1/records/arxiv/2607.27120/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.27120/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'