发表机构
Universidad de Granada; Instituto de Matemáticas (IMAG)（格拉纳达大学; 数学研究所（IMAG））
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
证明了欧氏三维空间中非零常平均曲率且边界映射为圆的浸入圆盘必为嵌入球冠。
AI 中文摘要
我们证明了欧几里得三维空间中每个具有非零常平均曲率、正则到边界且将边界微分同胚地映射到圆上的光滑浸入圆盘，都是嵌入的球冠。
英文摘要
We prove that every smooth immersed disk in Euclidean three-space with nonzero constant mean curvature, regular up to the boundary and mapping its boundary diffeomorphically onto a circle, is an embedded spherical cap.
CommentsLemma 3.1 has also been formalized in Lean~4 with Mathlib, supplied as LEAN Resource. Comments are welcome
