Michael-Simon inequality for anisotropic energies close to the area via multilinear Kakeya-type bounds

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della Teoria Geometrica della Misura e dell'analisi geometrica, focalizzandosi sulla generalizzazione anisotropa dell'area classica.

• Funzionale di Energia: Si considera un funzionale definito su $k$-varietà (o varifold) $\Sigma \subset \mathbb{R}^n$ tramite un integrando anisotropo $F: Gr_k(\mathbb{R}^n) \to (0, \infty)$:
  $$\mathcal{F}(\Sigma) := \int_{\Sigma} F(T_x\Sigma) \, d\mathcal{H}^k(x)$$
  dove $T_x\Sigma$ è il piano tangente.
• La Sfida: Nel caso isotropo ($F \equiv 1$, area classica), la validità della formula di monotonicità è uno strumento fondamentale per dimostrare proprietà di regolarità, compattezza e stime di densità per i punti critici (varifold stazionari). Tuttavia, è noto che per integrandi anisotropi generali la formula di monotonicità fallisce (a meno che $F$ non sia equivalente all'area a meno di trasformazioni lineari).
• La Congettura: Si cerca di stabilire se, per classi appropriate di $F$, valga una versione più debole ma robusta: la disuguaglianza di Michael–Simon. Questa disuguaglianza, per un varifold $V$ con densità $\Theta \ge \theta_0$ e variazione prima finita, afferma:
  $$|V|(\mathbb{R}^n)^{k-1} \le C(n, k, F) \frac{1}{\theta_0} |\delta_F V|(\mathbb{R}^n)^k$$
  dove $\delta_F V$ è la variazione prima rispetto all'energia anisotropa. La validità di questa disuguaglianza implicherebbe la compattezza dei varifold rettificabili e stime di densità inferiore.

2. Metodologia e Strumenti Chiave

Gli autori adottano un approccio che combina idee non pubblicate di Frederick J. Almgren Jr. con nuove disuguaglianze funzionali non lineari.

A. Disuguaglianze Multilineari di Tipo Kakeya (Dimensione 2)

Il cuore tecnico del lavoro risiede nella dimostrazione di nuove disuguaglianze per campi vettoriali sul piano $\mathbb{R}^2$, che possono essere viste come versioni quantitative del teorema del rango uno di Alberti.

• Teorema 3.5 (Versione Semplificata): Per campi vettoriali $S, T \in W^{1,2}(\mathbb{R}^2, \mathbb{R}^2)$ con $S_x, T_y \ge 0$ e $\det(S, T) \ge 0$, vale:
  $$\int_{\mathbb{R}^2} \det(S, T) \le \frac{1}{4} \left( \int_{\mathbb{R}^2} |\text{div } S| \right) \left( \int_{\mathbb{R}^2} |\text{div } T| \right)$$
  La dimostrazione si basa sulla decomposizione di Smirnov delle correnti 1-dimensionali in sovrapposizioni di curve, interpretando l'integrale del determinante come il numero di intersezioni tra curve.
• Teorema 3.1 (Disuguaglianza Generale): Viene dimostrata una disuguaglianza più forte e tecnica per campi vettoriali $S, T \in W^{1,1}$, che rimuove l'ipotesi di determinante non negativo ma introduce termini di "parte negativa" ($S_N, T_N$) e una funzione di taglio $\chi$. Questa disuguaglianza è lo strumento principale per gestire l'anisotropia.

B. Riduzione Geometrica e Linearizzazione

Per applicare le disuguaglianze del piano al problema in $\mathbb{R}^3$ ($n=3, k=2$):

1. Trasformazione Lineare: Viene mostrato che, se $F$ è convesso, esiste un'isomorfismo lineare $L \in SL(3)$ tale che, dopo aver trasformato il varifold e l'integrando, le componenti diagonali della matrice associata alla variazione prima diventano non negative.
2. Proiezione: Si proietta il varifold 3D sul piano $(x,y)$, definendo campi vettoriali $S$ e $T$ le cui divergenze sono controllate dalla variazione prima $\delta_F V$.
3. Approssimazione: Se $F$ è sufficientemente vicino all'area isotropa (nella topologia $C^1$), la struttura della matrice di variazione prima è una perturbazione piccola della matrice simmetrica e semidefinita positiva del caso isotropo.

3. Risultati Principali

Teorema 1.3 (Disuguaglianza di Michael–Simon per $n=3, k=2$)

Se $F$ è un integrando convesso sufficientemente vicino all'area isotropa nella topologia $C^1$ (cioè $\|F|_{S^2} - 1\|_{C^1}$ è piccolo), allora vale la disuguaglianza di Michael–Simon per varifold rettificabili 2-dimensionali in $\mathbb{R}^3$.

• Implicazione: Questo risultato risolve positivamente la Question 1.1 per questa classe di funzioni, garantendo la compattezza dei varifold rettificabili e la semicontinuità superiore del supporto.
• Non Perturbativo: La dimostrazione non è puramente perturbativa; identifica un insieme aperto di integrandi (nella topologia $C^1$) per cui la disuguaglianza vale, contenente l'area isotropa.

Teorema 1.4 (Regolarità di Allard Anisotropa)

Come conseguenza diretta del Teorema 1.3, gli autori applicano il teorema di regolarità di Allard nel setting anisotropo. Se un varifold intero-rettificabile ha densità prossima a 1 e variazione prima sufficientemente piccola, allora localmente è un grafico $C^{1,\alpha}$ multiplicità 1. Questo estende il classico risultato di Allard al caso anisotropo vicino all'area.

Teorema 1.5 (Casi Specifici: Norme $\ell^p$)

La disuguaglianza vale anche per una classe più ampia di integrandi che include le norme $\ell^p$ per $p \in (1, \infty)$, purché soddisfino condizioni di convessità stretta e simmetria rispetto ai piani coordinati.

Risultati Generali in Dimensione Arbitraria (Proposizione 1.9)

Per dimensioni $n \ge 3$ e $k \in \{2, \dots, n-1\}$, sotto l'ipotesi della Condizione Atomica (AC) (che garantisce la rettificabilità dei varifold con densità positiva), gli autori dimostrano l'equivalenza tra:

1. La validità della disuguaglianza di Michael–Simon.
2. La compattezza dei varifold rettificabili (con densità inferiore uniformemente limitata).
3. L'assenza di sequenze "cattive" che mostrano un fenomeno di "concentrazione diffusa" (dove la massa si disperde ma la densità tende all'infinito).

4. Contributi Chiave e Innovazioni

1. Semplificazione della Prova di Almgren: Il paper riprende idee chiave da un manoscritto inedito di Almgren ma le semplifica drasticamente sostituendo passaggi tecnici complessi con nuove disuguaglianze funzionali (Teorema 3.1 e 3.5).
2. Nuove Disuguaglianze Funzionali: La dimostrazione del Teorema 3.1 e la sua connessione con il teorema del rango uno di Alberti costituiscono un contributo indipendente di grande rilevanza nell'analisi geometrica e nella teoria delle funzioni a variazione limitata (BV).
3. Estensione della Regolarità: Fornisce il primo risultato di regolarità locale (teorema di Allard) per energie anisotrope non lineari in dimensione 3, aprendo la strada allo studio della regolarità per problemi variazionali anisotropi.
4. Caratterizzazione della Compattezza: Stabilisce un legame preciso tra la validità della disuguaglianza di Michael–Simon e la proprietà di compattezza dei varifold rettificabili in presenza della condizione atomica.

5. Significato e Impatto

Questo lavoro è fondamentale perché colma un vuoto teorico significativo: mentre la monotonicità fallisce per energie anisotrope, la disuguaglianza di Michael–Simon emerge come lo strumento sostitutivo necessario per sviluppare una teoria di regolarità e compattezza.

• Per l'Analisi Geometrica: Fornisce gli strumenti per trattare superfici minime in spazi anisotropi (es. cristalli, materiali eterogenei) dove l'area isotropa non è un modello adeguato.
• Per la Teoria delle Varifold: Risolve questioni aperte sulla compattezza e sulla struttura dei limiti di varifold per energie non isotrope.
• Metodologico: Dimostra come tecniche di analisi armonica e teoria delle correnti (Kakeya-type bounds, decomposizione di Smirnov) possano essere applicate a problemi di calcolo delle variazioni geometrici di alta difficoltà.

In sintesi, il paper stabilisce che, per energie anisotrope "vicine" all'area, la struttura geometrica dei minimi e dei punti critici rimane stabile e ben comportata, analogamente al caso isotropo, grazie a una nuova e potente disuguaglianza funzionale.