Cartan's and Gauss's equations and rigidity theorems for isometric embeddings in low Sobolev regularity

Technische Samenvatting: Cartans en Gauss' vergelijkingen en stijfheidstheorema's voor isometrische inbeddingen in lage Sobolev-regulariteit

Probleemstelling
Het artikel behandelt de geldigheid van fundamentele geometrische vergelijkingen—specifiek Cartans structurele vergelijkingen en de Gauss-vergelijking—voor isometrische inbeddingen van oppervlakken in $\mathbb{R}^3$ wanneer de regulariteit van de inbeddingsafbeelding laag is. In de klassieke gladde setting wordt de relatie tussen intrinsieke geometrie (kromming) en extrinsieke geometrie (inbedding) beheerst door Cartans structurele vergelijkingen en de Gauss-vergelijking. Echter, voor inbeddingen met een regulariteit lager dan $C^2$, zijn de Hessiaans determinant en de verbinding 1-vormen niet op de klassieke wijze welgedefinieerd. De auteurs onderzoeken of deze vergelijkingen gelden in de zin van distributies voor inbeddingen met lage Sobolev-regulariteit, waarbij zij specifiek de minimale regulariteitsdrempels identificeren om "defect-maten" (singulariteiten die de vergelijkingen schenden) te vermijden.

Methodologie
De auteurs maken gebruik van een combinatie van distributie-analyse, fractieële Sobolev-ruimte theorie en geometrische meetkundige maattheorie.

1. Distributioneel kader voor Cartans vergelijkingen:

   • De auteurs definiëren de verbinding 1-vorm $\omega$ voor een coframe $\{\eta_i\}$ van regulariteit $C^0 \cap H^{1/2}$ met behulp van de inwendige productformule $\omega = \iota_{e_2}d\eta_1 - \iota_{e_1}d\eta_2$.
   • Zij maken gebruik van de lift-eigenschap van continue $S^1$-waardige afbeeldingen (specifiek afbeeldingen in $H^{1/2} \cap C^0$) om een ruwe orthonormale frame te relateren aan een glad referentieframe via een rotatiehoek $\theta \in H^{1/2} \cap C^0$.
   • Door de ruwe frame te benaderen met gladde frames en de limiet te nemen, bewijzen zij dat de structurele vergelijkingen gelden in de zin van distributies, mits de regulariteit ten minste $C^0 \cap H^{1/2}$ is. Deze drempel wordt als optimaal beschouwd, waarbij wordt verwezen naar tegenvoorbeelden in lagere regulariteit (bijv. $W^{1,p}$ voor $p<2$) waar defect-maten optreden.

2. Afleiding van de Gauss-vergelijking:

   • Het artikel legt een verband tussen Cartans tweede structurele vergelijking ($d\omega = K_g d\text{vol}_g$) en de Gauss-vergelijking voor grafische representaties $u = (\Psi, f)$.
   • Een cruciale technische stap is het bewijzen van een kettingregel voor de distributionele Jacobiaan-determinant. Voor inbeddingen in $C^1 \cap W^{1+2/3, 3}$, gebruiken de auteurs standaard benaderings- en kettingregelargumenten.
   • Voor het meer delicate geval van $c^{1, 1/2} \cap BV^2$, ontwikkelen zij een specifieke kettingregel voor de Jacobiaan-determinant betrokken bij functies in "little Hölder"-ruimten en begrensde variatie. Dit berust op eliminatie-schattingen voor gemollificeerde afgeleiden en de specifieke structuur van de Jacobiaan-determinant als een distributie.

3. Verwijderbare singulariteiten:

   • De auteurs analyseren het gedrag van de Gauss-vergelijking nabij singulariteitsverzamelingen. Zij bewijzen dat als een inbedding voldoende regelmatig is buiten een verzameling van nul $(s_0, p_0)$-capaciteit, de Gauss-vergelijking globaal geldt.

4. Stijfheid en convexiteit:

   • Door de gevestigde Gauss-vergelijking toe te passen, passen de auteurs argumenten aan van Conti–De Lellis–Székelyhidi en Pakzad toe. Zij gebruiken de theorie van Pogorelov over oppervlakken met begrensde extrinsieke kromming om convexiteit en stijfheidsresultaten af te leiden voor inbeddingen met niet-negatieve Gaussische kromming ($K_g \ge 0$).

Belangrijkste bijdragen en resultaten

• Theorema 1.1 (Cartans vergelijkingen): De auteurs bewijzen dat Cartans structurele vergelijkingen gelden in de zin van distributies voor orthonormale coframes in $C^0 \cap H^{1/2}_{loc}$. Dit breidt eerdere resultaten uit (bijv. Giron [35] voor $W^{1,p}$) en identificeert $H^{1/2}$ als de kritische drempel voor het bestaan van een unieke distributionele verbinding 1-vorm die aan de vergelijkingen voldoet.
• Theorema 1.3 (Gauss' vergelijking): Het artikel stelt de geldigheid vast van de Gauss-vergelijking $\det D^2 f = K_g(1+|Df|^2)^2$ voor isometrische inbeddingen $u$ met regulariteit:
  • $u \in c^{1, 1/2}_{loc} \cap BV^2_{loc}$, of
  • $u \in C^1 \cap W^{1+2/3, 3}_{loc}$.
    In beide gevallen geldt de vergelijking in de zin van distributies.
• Corollary 1.4: Voor inbeddingen in de $c^{1, 1/2} \cap BV^2$ klasse, geldt de Gauss-vergelijking bijna overal met betrekking tot de Lebesgue-maat, waarbij de absoluut continue parte van de Hessiaanse maat wordt gerelateerd aan de kromming.
• Theorema 1.5 (Verwijderbare singulariteiten): De Gauss-vergelijking geldt globaal als de inbedding regelmatig is ($W^{1+2/3, 3}$) buiten een compacte verzameling $S$ van nul $(s_0, p_0)$-capaciteit, waarbij $s_0 = 2(1-s)$ en $p_0 = p/(p-2)$.
• Theorema 1.6 (Stijfheid van gesloten oppervlakken): Elke $C^1 \cap W^{1+2/3, 3}$ isometrische inbedding van een gladde sfeer met $K_g \ge 0$ is een gesloten convex oppervlak. Als $K_g > 0$, is de inbedding glad ($C^\infty$). Dit breidt de stijfheidsstellingen van Borisov en Pakzad uit naar lagere regulariteit.
• Theorema 1.7 (Stijfheid van convexe kapjes): Vergelijkbare stijfheids- en regulariteitsresultaten worden bewezen voor convexe kapjes (domeinen met een rand) onder planair randvoorwaarden, wat de gladde resultaten van Han en Hong uitbreidt.

Betekenis en claims
Het artikel claimt de eerste rigoureuze uitbreiding van de structurele vergelijkingen van Cartan naar het $C^0 \cap H^{1/2}$-regime te bieden, een drempel die bekend staat als optimaal voor gerelateerde Jacobiaan-problemen. Door de geldigheid van de Gauss-vergelijking in lage regulariteitsklassen ($C^1 \cap W^{1+2/3, 3}$ en $c^{1, 1/2} \cap BV^2$) vast te stellen, overbruggen de auteurs de kloof tussen de gladde theorie en de zeer onregelmatige settings die bestudeerd worden in de Nash-Kuiper stelling.

De betekenis ligt in het mogelijk maken van de toepassing van klassieke stijfheidsstellingen (Cohn-Vossen, Borisov) op inbeddingen met lagere regulariteit dan voorheen bewezen. De auteurs merken expliciet op dat hun methode verschilt van eerder werk (bijv. Pakzad [53]) door de Gauss-vergelijking af te leiden als een consequentie van de vergelijkingen van Cartan, in plaats van de vergelijking aan te nemen of andere benaderingsschema's te gebruiken. Zij stellen bescheiden dat hoewel zij specifieke regulariteitsdrempels hebben geïdentificeerd ($s=2/3, p=3$), de exacte grens voor de geldigheid van de Gauss-vergelijking voor alle $C^1$ isometrische immersies in $W^{1+s, p}$ een open vraag blijft voor bepaalde parameterrangen (bijv. $s=2/3, p \neq 3$). Het werk stelt geen nieuwe experimentele toepassingen voor, maar verstevigt het theoretische fundament voor het bestuderen van isometrische inbeddingen in lage regulariteit.