Bubbling of almost critical points of anisotropic isoperimetric problems with degenerating ellipticity

1. Il Problema e il Contesto

Il paper si inserisce nello studio dei punti critici vincolati al volume per funzionali di energia superficiale anisotropa.

• Contesto classico: Il teorema di Wulff caratterizza univocamente i minimizzatori dell'energia superficiale anisotropa $P_\phi(E)$ come forme Wulff (corpi convessi compatti $W_\phi$).
• Punti critici: Recentemente, l'attenzione si è spostata verso i punti critici (non necessariamente minimizzatori) sotto vincolo di volume. Per norme lisce e uniformemente convesse, è stato dimostrato che questi punti critici sono unioni finite di sfere Wulff disgiunte (o tangenti).
• Il problema del "Bubbling" (BP): Il lavoro affronta la seguente domanda fondamentale, introdotta in [DMMN18]: Se una sequenza di domini $\Omega_h$ ha curvature medie anisotrope $H_{\phi_h}$ che convergono a una costante (in un senso opportuno), e le norme $\phi_h$ convergono a una norma limite $\phi$ (che può essere arbitraria, anche non liscia o cristallina), allora i punti di accumulazione $L^1$ della sequenza sono necessariamente unioni finite di forme Wulff $\phi$?
• Sfida principale: La difficoltà risiede nel fatto che la convergenza della curvatura media a una costante non garantisce a priori la conservazione del perimetro nel limite. Se c'è una perdita di perimetro, la condizione di criticità potrebbe non essere soddisfatta dal limite. Inoltre, il caso in cui $\phi_h$ converga a una norma cristallina (dove l'ellitticità degenera) rende il problema ancora più complesso.

2. Metodologia e Strumenti Tecnici

L'autore abbandona l'approccio potenziale-teorico usato in lavori precedenti (come [DMMN18]) a favore di un metodo integral-geometrico, ispirato a [MR91], [DM19] e [JN23], ma adattato a contesti non lisci e anisotropi.

• Regolarità e Varifold: Il lavoro tratta insiemi di perimetro finito (non necessariamente domini lisci). Si utilizza la teoria dei varifold e le curvature medie anisotrope distribuzionali. Si fa uso del teorema di struttura per insiemi di perimetro con variazione prima limitata (Teorema 2.10), che garantisce l'esistenza di una superficie regolare $M$ che copre quasi tutto il bordo.
• Curvature Principali Anisotrope: Viene introdotta un'analisi fine delle curvature principali anisotrope $\kappa^\phi_{A,i}$ associate al bordo di insiemi di perimetro finito, definendo un "fascio normale generalizzato" e curvatura principale generalizzata.
• Formula di Disintegrazione: Un ruolo centrale è svolto da una formula di disintegrazione del volume (Lemma 3.3) basata sul flusso di distanza anisotropo $F^\phi_K$, che permette di esprimere il volume di un insieme in termini di integrali sulle curvature principali lungo le geodetiche normali.
• Stime Chiave (Lemma 4.1): Il cuore tecnico è il Lemma 4.1, che fornisce stime quantitative sul volume e sul perimetro di insiemi la cui curvatura media è "quasi costante". Queste stime generalizzano risultati euclidei ([JN23]) al caso anisotropo e non liscio, gestendo le singolarità attraverso l'analisi del fascio normale generalizzato.

3. Contributi Chiave e Risultati Principali

A. Risoluzione Unconditional del Problema di Bubbling

Il risultato principale (Teorema 4.3) risolve il problema (BP) in modo assoluto e senza ipotesi aggiuntive:

• Ipotesi: Una sequenza di norme uniformemente convesse $\phi_h \in C^3$ converge puntualmente a una norma arbitraria $\phi$. Una sequenza di insiemi di perimetro finito $E_h$ ha curvatura media anisotropa $H_{\phi_h}$ che converge a una costante $\lambda$ in norma $L^n$ (sul bordo ridotto).
• Risultato: I punti di accumulazione $L^1$ della sequenza sono unioni finite di forme Wulff $\phi$ di raggio $r = n/\lambda$, disgiunte o tangenti.
• Convergenza: Si ha convergenza in misura ($|E_h \triangle E| \to 0$) e convergenza del perimetro anisotropo ($P_{\phi_h}(E_h) \to \text{card}(C) P_\phi(W_\phi^r)$).

B. Il Ruolo Critico della Norma $L^n$

Un contributo fondamentale è la dimostrazione che la convergenza della curvatura media deve essere misurata in $L^n$ (dove $n$ è la dimensione dello spazio ambiente meno uno, ovvero la dimensione del bordo).

• Questo risolve una domanda aperta in [DMMN18], dove era richiesta una convergenza $L^2$ con una condizione di velocità di convergenza legata alla degenerazione dell'ellitticità.
• L'autore dimostra che la scelta della norma $L^n$ elimina la necessità di ipotesi di velocità di convergenza o di convessità uniforme della curvatura, rendendo il risultato valido anche quando l'ellitticità degenera (caso di norme limite non lisce).

C. Generalizzazione al Caso Non Liscio

Il teorema è nuovo anche nel caso euclideo ($\phi_h = \phi = \|\cdot\|_2$) perché non richiede che gli insiemi $E_h$ siano domini lisci ($C^2$), ma solo di perimetro finito. Questo estende significativamente i risultati di [DM19] e [DRKS20].

4. Significato e Implicazioni

1. Rigidità dei Limiti: Il lavoro stabilisce una forte rigidità: anche in presenza di degenerazione dell'ellitticità (passaggio da norme lisce a cristalline) e di perdita di regolarità geometrica, l'unica struttura possibile per i limiti di punti quasi-critici è quella di unione di forme Wulff.
2. Flussi di Volume: I risultati sono rilevanti per lo studio dei flussi di volume preservante anisotropi. Mentre l'esistenza di soluzioni è nota per dati iniziali convessi, la convergenza a forme Wulff per dati non convessi rimane un problema aperto. I teoremi di "bubbling" forniscono gli strumenti analitici per analizzare il comportamento asintotico di tali flussi, specialmente in presenza di singolarità o collisioni tra componenti.
3. Metodologia: L'approccio basato su stime integrali-geometriche su insiemi di perimetro finito offre una via alternativa e potente rispetto alle tecniche di potenziali, aprendo la strada a future generalizzazioni in contesti di geometria non liscia e varifold.

In sintesi, il paper di Santilli fornisce una soluzione completa e robusta al problema di bubbling anisotropo, dimostrando che la struttura Wulff è l'unico destino possibile per sequenze di quasi-critici, indipendentemente dalla regolarità della norma limite o della geometria degli insiemi, purché la curvatura media converga in $L^n$.