[Paper Review] Some new developments of realization of surfaces into $R^3$

Jiaxing Hong|ArXiv.org|Apr 24, 2003

Advanced Numerical Analysis Techniques17 references3 citations

TL;DR

This paper surveys recent advances in the isometric embedding of surfaces into $\mathbb{R}^3$, focusing on local and global embeddings for surfaces with positive or negative curvature, and boundary value problems for positive disks. Key results include existence theorems for $C^\infty$ isometric embeddings under curvature and mean curvature constraints, and a characterization of solutions via the index of umbilical points, extending the Hilbert-Efimov theorem and resolving long-standing conjectures on curvature-dependent embeddability.

ABSTRACT

This paper intends to give a brief survey of the developments on realization of surfaces into $ R^3$ in the last decade. As far as the local isometric embedding is concerned, some results related to the Schlaffli-Yau conjecture are reviewed. As for the realization of surfaces in the large, some developments on Weyl problem for positive curvature and an existence result for realization of complete negatively curved surfaces into $ R^3$, closely related to Hilbert-Efimov theorem, are mentioned. Besides, a few results for two kind of boundary value problems for realization of positive disks into $R^3$ are introduced.

Motivation & Objective

• To survey recent developments in isometric embedding of 2-dimensional Riemannian manifolds into $\mathbb{R}^3$ over the past decade.
• To address the local isometric embedding problem, particularly in relation to the Schlaffli-Yau conjecture and curvature conditions.
• To investigate global isometric embeddings for surfaces of positive and negative curvature, including extensions of the Hilbert-Efimov theorem.
• To analyze boundary value problems for isometric embeddings of positive disks into $\mathbb{R}^3$, especially with prescribed mean curvature on the boundary.
• To establish invariants such as the index of umbilical points to characterize solution spaces in boundary value problems.

Proposed method

• Formulating the isometric embedding problem as a system of first-order PDEs via the Gauss equations and the Darboux equation $F(z) = \det(\nabla_{ij}z) - K\det(g_{ij})(1 - |\nabla z|^2) = 0$.
• Applying the contraction mapping principle and implicit function techniques to solve the resulting nonlinear PDE systems, particularly in low-regularity and curvature-constrained settings.
• Using the Gauss-Weingarten equations to relate the second fundamental form and normal curvature to the embedding's geometry.
• Introducing the index of umbilical points as a topological invariant defined via the winding number of a complex-valued differential form $\sigma = (EM - FL) + i(GL - EN)$ on the boundary.
• Establishing existence and uniqueness results for Neumann-type boundary value problems by imposing curvature and mean curvature constraints, particularly under the condition $\frac{h}{\sqrt{K}} - 1 > 4\max_{\partial D}\left[\frac{H_0}{\sqrt{K}} - 1\right]$.
• Analyzing symmetric and constant curvature cases to derive extremal solvability conditions, including the nonexistence of solutions when $h < H_0(1)$ in radius-symmetric disks.

Experimental results

Research questions

• RQ1 Under what curvature conditions does a smooth surface admit a local $C^s$ isometric embedding into $\mathbb{R}^3$?
• RQ2 Can the Schlaffli-Yau conjecture be verified for nonnegative or nonpositive curvature metrics via $C^s$ regularity estimates?
• RQ3 What are the necessary and sufficient conditions for the existence of a global $C^\infty$ isometric embedding of a complete negatively curved surface into $\mathbb{R}^3$?
• RQ4 How does the mean curvature on the boundary constrain the number and topology of solutions to isometric embedding problems for positive disks?
• RQ5 What role does the index of umbilical points play in classifying solutions to boundary value problems for isometric embeddings?

Key findings

• For any $C^s$, $s > 10$ nonnegatively curved metric, a local $C^{s-6}$ isometric embedding into $\mathbb{R}^3$ exists.
• If the curvature $K$ satisfies $K(p) = 0$ and $dK(p) \neq 0$, then a $C^{s-3}$ local isometric embedding exists near $p$.
• For metrics with $K = h^{2q}K_1$, $K_1(p) < 0$, $dh(p) \neq 0$, and $q$ integer, local $C^s$ isometric embeddings exist in $\mathbb{R}^3$.
• The Neumann problem $N$ for positive disks admits exactly two $C^\infty$ solutions under the condition $\frac{h}{\sqrt{K}} - 1 > 4\max_{\partial D}\left[\frac{H_0}{\sqrt{K}} - 1\right]$, with prescribed index $n$ of umbilical points.
• In the constant curvature case, if $h > \sqrt{K}$, then problem $N$ is solvable for any nonnegative integer $n$ and any $n+1$ distinct points $p_0 \in \partial D$, $p_1, \dots, p_n \in D$, with one principal direction tangent to $\partial D$ at $p_0$.
• For radius-symmetric positive disks with $H_0(1) > \sqrt{K(1)}$, no $C^2$ solution exists if $h < H_0(1)$, even when $h > \sqrt{K(1)}$, demonstrating a sharp nonexistence threshold.