Asymptotic rigidity of codimension-1 isometric immersions via quantitative estimates

Titel: Asymptotische rigiditeit van isometrische inbeddingen met codimensie 1 via kwantitatieve schattingen

1. Probleemstelling en Context

Het artikel behandelt het probleem van de asymptotische rigiditeit van isometrische inbeddingen (immersions) tussen Riemanniaanse variëteiten. Specifiek wordt gekeken naar het geval waarbij de bronvariëteit $M$ dimensie $d$ heeft en de doelvariëteit $N$ dimensie $d+1$ (codimensie 1).

• Klassieke Rigiditeit: Een fundamenteel resultaat (Liouville's stelling) stelt dat een kaart met een constante afgeleide in $SO(d)$ een isometrie is. De beroemde schatting van Friesecke-James-Müller (FJM) [8] generaliseert dit kwantitatief voor Euclidische ruimten: als de afgeleide van een functie $u$ dicht bij $SO(d)$ ligt (gemeten in $L^p$), dan ligt de functie zelf dicht bij een globale rotatie.
• Het Uitdaging bij Codimensie 1: In tegenstelling tot het equidimensionale geval (waarbij $M$ en $N$ dezelfde dimensie hebben), is rigiditeit in codimensie 1 niet vanzelfsprekend. Een kromme in $\mathbb{R}^2$ kan lokaal "rekken" zonder dat de afgeleide verandert, maar wel "buigen". De afgeleide ($du$) vangt alleen lokale rek op, niet de kromming in de omringende ruimte.
• Eerdere Resultaten: Alpern, Kupferman en Maor [1, 2] bewezen eerder dat als een rij inbeddingen $u_k$ een kleine "rek- en buig-energie" heeft, deze convergeert naar een gladde isometrische inbedding. Hun bewijs gebruikte een intrinsieke aanpak gebaseerd op Young-maten.

2. Methodologie

Ba¸stu˘g biedt een alternatieve, elementaire bewijsvoering die volledig gebaseerd is op kwantitatieve rigiditeitsschattingen in de Euclidische ruimte, in plaats van op Young-maten.

• Energie-Functional: De auteur definieert een totale elastische energie $E(u)$ die twee componenten combineert:
  1. Rek-energie ($E_s$): Meet hoe ver de afgeleide $du$ verwijderd is van de set van isometrieën $O(T_xM, T_{u(x)}N)$.
  2. Buig-energie ($E_b$): Meet de afwijking van de kromming (via de vormoperator $S_u$) ten opzichte van een referentievorm $S$. Dit wordt uitgedrukt via de variatie van het eenheidsnormaalveld $\nu_u$.
• Aanpak:
  1. Inbedding: De doelvariëteit $N$ wordt isometrisch ingebed in een hoge-dimensionale Euclidische ruimte $\mathbb{R}^D$ (via Nash's inbeddingstheorema).
  2. Lokale Projectie: Het bewijs strategie is lokaal. Op kleine schaal wordt het beeld van de inbedding $u$ geprojecteerd op een $d$-dimensionale affiene deelruimte. Omdat de buig-energie klein is, varieert het normaalveld $\nu_u$ weinig, waardoor het beeld lokaal bijna vlak is.
  3. Toepassing van FJM: Door de projectie wordt het probleem gereduceerd tot een bijna equidimensionale kaart tussen Euclidische ruimten. Hierop wordt de klassieke FJM-rigiditeitsschatting toegepast.
  4. Foutanalyse: De auteur leidt nauwkeurige schattingen af voor de fout die ontstaat door de projectie en de variatie van de raakruimten, gekoppeld aan de buig-energie.

3. Belangrijkste Resultaten

Hoofdstelling 3.1 (Lokale Kwantitatieve Rigiditeit):
Voor een Sobolev-inbedding $u$ op een kubus $Q \subset \mathbb{R}^d$ met kleine energie $E(u)$, bestaat er een rotatie $R$ en een punt $x_0$ zodanig dat:
$$\int_Q |D\bar{u} - R|^p \leq C \left( |Q| (\text{osc}_Q g)^p + E_s(u) + \text{diam}(Q) E(u) \right)$$
Dit betekent dat als de rek- en buig-energie klein is, de afgeleide lokaal goed benaderd kan worden door een constante rotatie.

Hoofdstelling 4.1 (Asymptotische Rigiditeit):
Voor compacte Riemanniaanse variëteiten $M$ en $N$ (dimensies $d$ en $d+1$), als een rij $u_k \in \text{Immp}(M; N)$ voldoet aan:

• $\lim_{k \to \infty} E_s(u_k) = 0$ (rek-energie gaat naar 0)
• $\limsup_{k \to \infty} E_b(u_k) < \infty$ (buig-energie blijft begrensd)

Dan bestaat er een deelrij die convergeert in $W^{1,p}$ naar een gladde isometrische inbedding $u$.

• Extra Resultaat: Als ook de afwijking van een specifieke referentievorm $S$ naar 0 gaat ($E^S_b(u_k) \to 0$), dan is de limietvormoperator $S_u$ gelijk aan de referentie $S$ bijna overal.

4. Technische Bijdragen en Innovatie

• Reductie naar Euclidisch: In plaats van te werken met de complexe intrinsieke meetkunde van de variëteiten, reduceert de auteur het probleem via inbedding en lokale projectie naar het bekende Euclidische kader.
• Kwantitatieve Schattingen: Het artikel levert expliciete kwantitatieve ongelijkheden die de afstand tot de ruimte van isometrieën koppelen aan de elastische energie.
• Vermijden van Young-maten: Het bewijs vermijdt de zware techniek van Young-maten die in eerdere werken [2] werd gebruikt, en maakt gebruik van meer elementaire methoden (FJM-schatting, Poincaré-ongelijkheid, Chebyshev-ongelijkheid).
• Onafhankelijke Rigiditeitsschattingen: De afgeleide lokale rigiditeitsschattingen (Theorema 3.1 en Lemma's) zijn van zelfstandig belang voor andere problemen in de variatiecalculus en materiaalwetenschap.

5. Betekenis en Impact

• Vereenvoudiging: Het biedt een "elementair" bewijs voor een diepgaand resultaat in de differentiaalmeetkunde en de theorie van elastische materialen.
• Verwantschap met Materiaalwetenschap: De resultaten zijn direct relevant voor de afleiding van lagere-dimensionale modellen (zoals plaat- en schaaltheorieën) uit driedimensionale elasticiteitstheorie, maar dan voor niet-Euclidische (kromme) substraten.
• Toekomstige Richtingen: De auteur verwijst naar een companion paper [3] waarin deze resultaten worden uitgebreid naar niet-compacte (complete) doelvariëteiten, wat de robuustheid van de methode onderstreept.

Kortom, dit artikel versterkt het verband tussen de meetkunde van inbeddingen en de analyse van elastische energieën door een krachtige, kwantitatieve en technisch toegankelijke methode te introduceren die de rigiditeit van codimensie-1 structuren garandeert onder kleine vervormingsenergie.