Stability of p-area minimizing surfaces in the Heisenberg group

Sintesi Tecnica: Stabilità delle Superfici Minimizzanti l'Area p nel Gruppo di Heisenberg

Enunciato del Problema
Questo articolo indaga la stabilità quantitativa dei minimizzatori per funzionali dell'area p pesati associati a superfici di curvatura media p prescritta nel gruppo di Heisenberg $\mathbb{H}^n$. Sebbene l'esistenza e l'unicità di tali minimizzatori siano ben consolidate in letteratura (in particolare per il caso di superficie minima $H=0$ e per il caso di curvatura prescritta $H \neq 0$), il comportamento di questi minimizzatori sotto perturbazioni della funzione di curvatura media $H$ rimane in gran parte inesplorato. Nello specifico, gli autori affrontano la mancanza di stime di stabilità quantitativa per il regime di $H$ non nullo, dove l'accoppiamento tra la geometria e il termine potenziale $Hu$ introduce sfide analitiche significative, inclusa la degenerazione lungo gli insiemi caratteristici e il collasso dell'omogeneità.

Metodologia
Gli autori impiegano un quadro di dualità Rockafellar–Fenchel per analizzare il problema variazionale. Il funzionale primario in esame è:
$$F(u) = \int_{\Omega} (a|\nabla u - X^*| + Hu) \, dx$$
dove $X^*$ codifica la rotazione intrinseca delle direzioni orizzontali, $a$ è una funzione di peso positiva e $\Omega \subset \mathbb{R}^{2n}$.

Il nucleo della metodologia comprende:

1. Formulazione Duale: Utilizzare la dualità per identificare un unico campo vettoriale sottostante $J$ associato a qualsiasi minimizzatore $u$. Questo campo soddisfa $|J| \leq a$ e si allinea con la direzione del gradiente orizzontale $\nabla u - X^*$ quasi ovunque.
2. Stabilità del Campo Vettoriale: Dimostrare che il campo vettoriale $J$ è stabile sotto perturbazioni di $H$. Stabilendo limiti sulla differenza tra i campi vettoriali $J$ e $\tilde{J}$ corrispondenti alle curvature $H$ e $\tilde{H}$, gli autori derivano il controllo sulla direzione del gradiente orizzontale.
3. Ipotesi Geometriche sui Livelli: Per estendere la stabilità dal campo vettoriale ai minimizzatori stessi, gli autori impongono ipotesi strutturali sui livelli dei minimizzatori.
   • In dimensione $n=2$, assumono che la lunghezza dei livelli sia uniformemente limitata e che quasi ogni livello raggiunga il bordo.
   • In dimensione $n=3$, assumono che i livelli possano essere fogliati in curve unidimensionali con specifiche proprietà di regolarità e limitatezza.
4. Regolarità e Formule di Coarea: Le dimostrazioni utilizzano la formula di coarea, l'integrazione per parti per funzioni BV e stime di regolarità ellittica (assumendo sufficiente regolarità dei dati) per derivare stime di stabilità in $L^1$ e $W^{1,1}$.

Contributi e Risultati Chiave
L'articolo stabilisce la prima teoria di stabilità quantitativa per grafici minimizzanti l'area p con curvatura media p prescritta non nulla, anche nel caso non pesato ($a \equiv 1$). I risultati specifici includono:

• Stabilità del Campo Vettoriale: Gli autori dimostrano che il campo vettoriale sottostante $J$ è stabile nella norma $L^1$ rispetto alle perturbazioni in $H$. Nello specifico, $\|J - \tilde{J}\|_{L^1(\Omega)} \leq C \|H - \tilde{H}\|_{L^\infty(\Omega)}^{1/2}$. Ciò implica che la direzione del gradiente orizzontale è controllata quantitativamente dalla perturbazione della curvatura media.
• Stabilità $L^1$ dei Minimizzatori: Sotto ipotesi geometriche naturali sui livelli (lunghezza limitata in 2D, fogliatura in 3D), gli autori stabiliscono la stabilità $L^1$ per i minimizzatori ammissibili:
  $$\|u - \tilde{u}\|_{L^1(\Omega)} \leq C \|H - \tilde{H}\|_{L^\infty(\Omega)}^{1/2}$$
• Stabilità $W^{1,1}$: Sotto ipotesi aggiuntive di regolarità (richiedendo un bordo $C^2$, campi vettoriali $C^2$ e livelli "ben strutturati"), l'articolo deriva stime di stabilità $W^{1,1}$ per i gradienti:
  $$\|\nabla u - \nabla \tilde{u}\|_{L^1(\Omega)} \leq C \|H - \tilde{H}\|_{L^\infty(\Omega)}^{1/4}$$
  Di conseguenza, viene derivata anche la stabilità per la funzione di peso $\sigma$ (relata alla magnitudine del gradiente) con lo stesso tasso.
• Validazione Numerica: I risultati teorici sono illustrati attraverso simulazioni numeriche utilizzando un algoritmo di Bregman diviso alternato. Gli autori costruiscono un caso di prova con una soluzione esatta nota e introducono rumore stocastico alla curvatura media $H$. Le simulazioni dimostrano che le approssimazioni numeriche rimangono robuste, con errori relativi $L^2$ che aumentano in modo prevedibile con il livello di rumore, sostenendo così le affermazioni di stabilità teorica.

Significato
Gli autori affermano che questi risultati forniscono una comprensione più raffinata della struttura dei grafici di curvatura media p pseudo-ermitiani. Estendendo la teoria oltre la mera esistenza e unicità per includere la stabilità quantitativa, il lavoro affronta una lacuna critica nell'analisi delle superfici minime sub-riemanniane. L'identificazione del campo vettoriale sottostante unico $J$ funge da strumento fondamentale per questa analisi. I risultati sono presentati come nuovi anche nel caso speciale in cui la funzione di peso è costante, offrendo tassi espliciti di convergenza in termini della perturbazione della curvatura media. L'inclusione di simulazioni numeriche serve a illustrare la robustezza di questi risultati teorici in presenza di perturbazioni dei dati.