Full flexibility of the Monge-Ampère system in codimension $d_*-d+1$

1. Il Problema: Il Sistema di Monge-Ampère e l'Immersione Isometrica

Il lavoro si concentra sul sistema di equazioni alle derivate parziali noto come sistema di Monge-Ampère in dimensioni arbitrarie $d$ e codimensioni $k$. Il sistema cerca una soluzione $v: \omega \subset \mathbb{R}^d \to \mathbb{R}^k$ che soddisfi:
$$\text{Det } \nabla^2 v = F$$
dove $F$ è un campo tensoriale dato che soddisfa specifiche condizioni di simmetria.

Questo sistema è intrinsecamente legato a due problemi fondamentali:

1. Problema della curvatura prescritta: Generalizzazione multidimensionale dell'equazione di Monge-Ampère classica ($d=2, k=1$) legata alla curvatura gaussiana.
2. Immersioni isometriche: La ricerca di un'immersione $u: \omega \to \mathbb{R}^{d+k}$ tale che $(\nabla u)^T \nabla u = g$, dove $g$ è una metrica Riemanniana data. Il sistema di Monge-Ampère emerge come approssimazione di ordine superiore (o formulazione debole) di questo problema, collegando le deformazioni fuori piano ($v$) e nel piano ($w$) all'energia di stiramento.

L'obiettivo principale è stabilire la flessibilità completa (full flexibility) per soluzioni $C^{1,\alpha}$ di questo sistema. In termini geometrici, ciò significa dimostrare che qualsiasi soluzione debole continua può essere approssimata uniformemente da una soluzione regolare $C^{1,\alpha}$ che soddisfa esattamente l'equazione, anche in presenza di metriche non lisce.

2. Metodologia: Integrazione Convessa e Costruzione a Stadi

La prova si basa sulla tecnica dell'integrazione convessa (convex integration), un metodo sviluppato originariamente da Nash e Kuiper per le immersioni isometriche $C^1$ e successivamente adattato da Conti, De Lellis, Székelyhidi e altri per soluzioni Hölderiane ($C^{1,\alpha}$).

La metodologia centrale del paper è una costruzione a stadi (stage construction) iterativa, che migliora i risultati precedenti riducendo la dimensione della codimensione necessaria.

Punti Chiave della Metodologia:

• Decomposizione del Defetto: Si definisce un "defetto" $D(A, v, w) = A - (\frac{1}{2}(\nabla v)^T \nabla v + \text{sym}\nabla w)$. L'obiettivo è ridurre questo defetto a zero attraverso iterazioni successive.
• Oscillazioni (Corrugations): Si introducono perturbazioni oscillatorie (corrugazioni di Kuiper) lungo direzioni specifiche per cancellare i termini di errore di rango uno ($a^2 \eta \otimes \eta$) presenti nella decomposizione del defetto.
• Gestione della Codimensione: Il contributo principale risiede nell'uso efficiente delle dimensioni del target. Gli autori dimostrano che è possibile cancellare tutti i $d^*$ (dimensione di Janet) difetti primitivi necessari utilizzando una codimensione $k$ pari a:
  $$k = \bar{d} = d^* - d + 1 = \frac{d(d+1)}{2} - d + 1$$
  Questo valore è significativamente più piccolo rispetto ai $2d^*$ richiesti nei lavori precedenti (es. [24]).
• Struttura Induttiva: La costruzione procede in $K$ stadi. In ogni stadio, si definiscono $K$ coppie intermedie di subsoluzioni.
  • Si utilizzano $N$ iterazioni di un lemma di integrazione per parti (Lemma 2.4) per ridurre l'ordine degli errori generati dalle oscillazioni.
  • Si applica un'iterazione di Källén (Lemma 2.5) per assorbire le componenti non oscillanti del defetto.
  • Una nuova osservazione chiave permette di decomporre i termini di errore rimanenti (che coinvolgono le derivate seconde delle subsoluzioni intermedie) in termini che oscillano in direzioni fisse, riducibili ulteriormente senza generare nuovi errori di rango uno non gestibili.

3. Risultati Principali

Teorema 1.1 (Flessibilità Completa per il Sistema di Monge-Ampère)

Il teorema principale afferma che, dato un dominio limitato $\omega \subset \mathbb{R}^d$, una matrice $A \in C^{r,\beta}$ e una subsoluzione iniziale $(v, w)$ con un defetto positivo, esistono soluzioni $C^{1,\alpha}$ $(\tilde{v}, \tilde{w})$ tali che:

1. $\tilde{v}, \tilde{w}$ sono arbitrariamente vicine a $v, w$ nella norma $C^0$.
2. Soddisfano esattamente l'equazione $\frac{1}{2}(\nabla \tilde{v})^T \nabla \tilde{v} + \text{sym}\nabla \tilde{w} = A$.
3. La regolarità $\alpha$ può essere scelta arbitrariamente vicina a 1, specificamente per ogni $\alpha < \min\left(\frac{r+\beta}{2}, 1\right)$.

Questo risultato è valido per la codimensione critica $k = \bar{d} = d^* - d + 1$.

Corollario 1.2 (Densità delle Soluzioni Deboli)

Di conseguenza, l'insieme delle soluzioni deboli $C^{1,\alpha}$ al sistema di Monge-Ampère è denso nello spazio delle funzioni continue $C^0$. Ogni funzione continua è il limite uniforme di una sequenza di soluzioni regolari che soddisfano l'equazione con un dato termine di curvatura $F$.

Teorema 5.1 (Estensione alle Immersioni Isometriche)

La stessa tecnica viene estesa al sistema di immersioni isometriche $(\nabla u)^T \nabla u = g$. Si dimostra l'esistenza locale di immersioni isometriche $C^{1,\alpha}$ per metriche Riemanniane $C^{r,\beta}$ in spazi euclidei di dimensione $d + \bar{d} = d^* + 1$. Questo generalizza risultati precedenti noti solo per $d=2$.

4. Contributi Chiave e Innovazioni

1. Riduzione della Codimensione: Il risultato più significativo è la riduzione della codimensione necessaria per ottenere la flessibilità completa da $2d^*$ a $d^* - d + 1$. Questo avvicina il risultato al limite teorico minimo per la risoluzione del sistema.
2. Nuova Analisi degli Errori: Gli autori introducono una nuova strategia per gestire i termini di errore derivanti dalle derivate seconde delle subsoluzioni intermedie. Invece di trattarli come ostacoli, dimostrano che possono essere decomposti e ridotti sfruttando la struttura delle oscillazioni residue, permettendo di evitare l'uso di codimensioni aggiuntive.
3. Generalizzazione Dimensionale: Il lavoro estende la flessibilità completa (precedentemente nota per $d=2$ o codimensioni molto grandi) a dimensioni $d$ arbitrarie.
4. Ottimizzazione del Tasso di Blow-up: La costruzione permette di controllare il tasso di crescita delle derivate seconde ($\|\nabla^2 \tilde{v}\|_0$) rispetto alla riduzione del defetto, massimizzando così l'esponente di Hölder $\alpha$ ottenibile.

5. Significato e Implicazioni

Questo lavoro rappresenta un passo fondamentale nella teoria delle equazioni alle derivate parziali non lineari e nella geometria differenziale:

• Teoria della Flessibilità: Conferma che la rigidità geometrica (tipica delle soluzioni lisce $C^2$) scompare completamente quando si scende alla regolarità $C^{1,\alpha}$, anche in codimensioni relativamente basse.
• Connessione tra PDE e Geometria: Rafforza il legame profondo tra il sistema di Monge-Ampère (problemi di curvatura) e le immersioni isometriche, mostrando che le tecniche di integrazione convessa sono robuste e adattabili a diverse formulazioni del problema.
• Apertura di Nuove Frontiere: La riduzione della codimensione suggerisce che la soglia per la flessibilità completa potrebbe essere ancora più bassa di quanto ipotizzato, stimolando future ricerche sui limiti ottimali per dimensioni e regolarità.

In sintesi, il paper risolve un problema aperto di lunga data fornendo una costruzione esplicita e ottimizzata che dimostra la densità delle soluzioni regolari per il sistema di Monge-Ampère in una codimensione quasi minima, generalizzando risultati classici a dimensioni arbitrarie.