Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2605.10140 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866918495701172224 |
|---|---|
| author | Kalaj, David Zhu, Jian-Feng |
| author_facet | Kalaj, David Zhu, Jian-Feng |
| contents | We prove the Nitsche--Hopf conjecture for non-parametric minimal graphs over disks. If \(S\) is a minimal graph over a disk of radius \(R\), and if \(ξ\) is the point above the center, then \[
W(ξ)^2 |K(ξ)|<\frac{π^2}{2R^2}. \] Here \(K\) is the Gaussian curvature and \[
W=\sqrt{1+|\nabla u|^2}=\frac1{n_3} \] is the reciprocal of the vertical component of the upward unit normal. The constant is sharp, as shown by the horizontal tangent-plane extremal sequence of Finn and Osserman.
The main difficulty is that the bicentric-quadrilateral comparison theorem for Gaussian curvature controls \(|K|\), but it does not by itself control the normalized quantity \(W^2|K|\): the slope factor \(W\) can be arbitrarily large. We show that the missing information is recovered inside the Scherk-type comparison family from the zero equation for the horizontal harmonic projection. More precisely, in the fixed-arc normalization the point corresponding to the center of the physical disk is a distinguished zero \(z_\circ\) of the harmonic projection. The equation \(f(z_\circ)=0\), written in harmonic-measure coordinates, reduces the sharp Hopf estimate to a scalar derivative inequality at the admissible zero of a monotone function \(G_{A,B}\). We prove this scalar inequality on the full admissible parameter domain by a barrier argument and two explicit Bernstein-polynomial positivity certificates.
Combined with the bicentric-quadrilateral comparison theorem of the first author and Melentijević, the Scherk-family estimate gives the sharp normalized Hopf estimate for arbitrary minimal graphs over disks. As a byproduct, we obtain the two-sided bound \[
\frac{π^2}{4}\leq W^2|K|\leq \frac{π^2}{2} \] throughout the normalized Scherk-type comparison family, evaluated at the distinguished point corresponding to the center. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_10140 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | The Nitsche--Hopf conjecture for minimal graphs Kalaj, David Zhu, Jian-Feng Complex Variables We prove the Nitsche--Hopf conjecture for non-parametric minimal graphs over disks. If \(S\) is a minimal graph over a disk of radius \(R\), and if \(ξ\) is the point above the center, then \[ W(ξ)^2 |K(ξ)|<\frac{π^2}{2R^2}. \] Here \(K\) is the Gaussian curvature and \[ W=\sqrt{1+|\nabla u|^2}=\frac1{n_3} \] is the reciprocal of the vertical component of the upward unit normal. The constant is sharp, as shown by the horizontal tangent-plane extremal sequence of Finn and Osserman. The main difficulty is that the bicentric-quadrilateral comparison theorem for Gaussian curvature controls \(|K|\), but it does not by itself control the normalized quantity \(W^2|K|\): the slope factor \(W\) can be arbitrarily large. We show that the missing information is recovered inside the Scherk-type comparison family from the zero equation for the horizontal harmonic projection. More precisely, in the fixed-arc normalization the point corresponding to the center of the physical disk is a distinguished zero \(z_\circ\) of the harmonic projection. The equation \(f(z_\circ)=0\), written in harmonic-measure coordinates, reduces the sharp Hopf estimate to a scalar derivative inequality at the admissible zero of a monotone function \(G_{A,B}\). We prove this scalar inequality on the full admissible parameter domain by a barrier argument and two explicit Bernstein-polynomial positivity certificates. Combined with the bicentric-quadrilateral comparison theorem of the first author and Melentijević, the Scherk-family estimate gives the sharp normalized Hopf estimate for arbitrary minimal graphs over disks. As a byproduct, we obtain the two-sided bound \[ \frac{π^2}{4}\leq W^2|K|\leq \frac{π^2}{2} \] throughout the normalized Scherk-type comparison family, evaluated at the distinguished point corresponding to the center. |
| title | The Nitsche--Hopf conjecture for minimal graphs |
| topic | Complex Variables |
| url | https://arxiv.org/abs/2605.10140 |