Singular set estimates for solutions to elliptic equations in higher co-dimension

1. Il Problema e il Contesto

Il paper affronta il problema della continuazione unica quantitativa per soluzioni di equazioni ellittiche degeneri in domini il cui bordo ha una co-dimensione superiore a 1 (cioè, il bordo $\Gamma$ è una varietà di dimensione $d < n-1$ nello spazio $\mathbb{R}^n$).

Nella teoria classica (co-dimensione 1, come per l'equazione di Laplace o operatori uniformemente ellittici), è ben noto che l'insieme dei punti singolari (dove sia la funzione che il suo gradiente si annullano) e l'insieme nodale hanno dimensioni e misure di Hausdorff controllate. Tuttavia, per operatori degeneri del tipo:
$$-\text{div}(A(X) \text{dist}(X, \Gamma)^{-n+d+1} \nabla u) = 0$$
le sfide sono notevoli:

• L'operatore non è uniformemente ellittico né uniformemente Lipschitz a causa del peso singolare $\text{dist}(X, \Gamma)^{-n+d+1}$.
• Il comportamento delle soluzioni vicino al bordo $\Gamma$ è qualitativamente diverso da quello all'interno del dominio. In particolare, le "esplosioni" (blow-up) al bordo soddisfano un'equazione modello diversa rispetto a quelle nell'interno.
• Esistono esempi in cui l'insieme singolare può contenere l'intero bordo $\Gamma$, rendendo le stime standard insufficienti.

L'obiettivo principale è stimare la dimensione e la misura dell'insieme singolare $S(u) = \{X : u(X) = |\nabla u(X)| = 0\}$ vicino al bordo $\Gamma$, dimostrando che, nonostante la degenerazione, l'insieme singolare rimane "piccolo" in un senso geometrico preciso (misura di Hausdorff finita in dimensione $n-2$).

2. Metodologia e Strumenti Tecnici

Gli autori sviluppano una serie di tecniche avanzate per superare le difficoltà poste dalla co-dimensione alta e dalla degenerazione:

A. Cambiamento di Variabili e Piattificazione

Per gestire la geometria curva di $\Gamma$ (assunto essere un grafico $C^{1,1}$), gli autori utilizzano un cambio di variabili bi-Lipschitz $\rho$ (basato su lavori precedenti di David, Feneuil e Mayboroda) che mappa $\Gamma$ su un piano affine $\mathbb{R}^d$. Questo trasforma l'equazione originale in un'equazione su $\mathbb{R}^n \setminus \mathbb{R}^d$ con coefficienti che soddisfano una specifica condizione di regolarità $C^{0,1}$ in alta co-dimensione. Questo passaggio è cruciale per poter applicare tecniche di regolarità standard in un contesto "piatto".

B. Formula di Monotonia di Almgren al Bordo

Definiscono una funzione di frequenza modificata (di tipo Almgren) centrata sul bordo:
$$N_u(X_0, r) = \frac{r \int_{E_r(X_0)} \langle A\nabla u, \nabla u \rangle dY}{\int_{\partial E_r(X_0)} \mu_{X_0} u^2 d\sigma}$$
Dimostrano che questa quantità è quasi monotona (cresce esponenzialmente) anche quando il centro $X_0$ appartiene al bordo $\Gamma$. Questo permette di controllare il tasso di annullamento delle soluzioni e di definire un indice di annullamento ben definito.

C. Classificazione delle Soluzioni Omogenee

Analizzano le soluzioni omogenee dell'operatore modello a coefficienti costanti in $\mathbb{R}^n \setminus \mathbb{R}^d$. A differenza del caso armonico classico (dove le soluzioni sono polinomi armonici omogenei), qui le soluzioni omogenee hanno una struttura più ricca e complessa, legata agli autovalori dell'operatore di Laplace-Beltrami sulla sfera $S^{n-d-1}$.

• Dimostrano che l'insieme degli indici di omogeneità possibili è discreto.
• Forniscono stime volumetriche precise per gli insiemi singolari di queste soluzioni omogenee, mostrando che sono contenuti in coni attorno a piani di dimensione $n-2$.

D. Stratificazione Quantitativa con Coni (Cone-Splitting)

Questa è l'innovazione metodologica principale. Nel lavoro classico di Cheeger-Naber-Valtorta (CNV), la stratificazione si basa sul fatto che se una soluzione è omogenea rispetto a due punti vicini, è invariante lungo la retta che li congiunge, portando a una struttura affine.
In questo contesto, tale rigidità non vale perché le soluzioni interne non "assomigliano" alle loro esplosioni al bordo a scale comparabili.

• Nuovo approccio: Gli autori dimostrano che i punti singolari vicini a un punto singolare al bordo sono costretti a vivere all'interno di un cono specifico, determinato dall'esplosione del punto al bordo.
• Poiché il bordo è liscio ($C^{1,1}$), questi coni puntano tutti approssimativamente nella stessa direzione.
• Utilizzano questo fatto per costruire un argomento di copertura (covering argument) che sostituisce i piani affini con coni, permettendo di controllare la dimensione dell'insieme singolare.

3. Risultati Principali

Il teorema principale (Teorema 1.1 e Corollario 6.5) stabilisce che per soluzioni $u$ di equazioni ellittiche degeneri con coefficienti sufficientemente regolari su un dominio con bordo $\Gamma$ di dimensione $d \le n-2$:

1. Stima di Minkowski: Per un raggio sufficientemente piccolo $r_0$, la misura di Lebesgue del tubolare $\varepsilon$-intorno dell'insieme singolare $S(u)$ soddisfa:
   $$\mathcal{L}^n(B_\varepsilon(S(u)) \cap B_{r_0}) \le C \varepsilon^2$$
2. Misura di Hausdorff: L'insieme singolare ha misura di Hausdorff finita in dimensione $n-2$:
   $$\mathcal{H}^{n-2}(S(u) \cap B_{r_0}) \le C$$
3. Rettificabilità: L'insieme singolare è contabilmente $(n-2)$-rettificabile. Cioè, può essere coperto, a meno di un insieme di misura nulla, da un'unione numerabile di grafici Lipschitz di dimensione $n-2$.

Il risultato è ottimale: gli autori costruiscono esempi espliciti di soluzioni omogenee il cui insieme singolare è esattamente un'unione di piani di dimensione $n-2$, dimostrando che non si può ottenere una stima migliore (ad esempio, dimensione $n-3$). Inoltre, mostrano che in alta co-dimensione, l'insieme singolare può contenere l'intero bordo $\Gamma$, a differenza del caso co-dimensione 1 dove l'insieme singolare è tipicamente di misura nulla rispetto al bordo.

4. Significato e Contributi

• Estensione della Teoria CNV: Il lavoro estende le potenti tecniche di stratificazione quantitativa (introdotte da Cheeger, Naber e Valtorta per operatori uniformemente ellittici) a un contesto altamente degenere e in alta co-dimensione, un'area precedentemente poco esplorata per quanto riguarda le stime fini degli insiemi singolari.
• Nuova Geometria dei Punti Singolari: Introduce il concetto di "splitting conico" invece che lineare/affine, adattando la teoria alla geometria specifica delle soluzioni di operatori degeneri vicino a bordi di bassa dimensione.
• Applicazioni: I risultati sono rilevanti per la comprensione della misura di armonicità generalizzata in alta co-dimensione (introdotta da David, Feneuil e Mayboroda) e per problemi di continuation unique per operatori frazionari (tramite la trasformazione di Caffarelli-Silvestre generalizzata).
• Ottimalità: La dimostrazione che le stime sono ottimali e che l'insieme singolare può essere "grande" (contenere il bordo) chiarisce le differenze fondamentali tra il caso co-dimensione 1 e quello superiore, evitando generalizzazioni errate dei risultati classici.

In sintesi, il paper risolve un problema aperto significativo nella teoria delle equazioni alle derivate parziali ellittiche degeneri, fornendo una descrizione geometrica precisa e quantitativa della struttura dei punti singolari in contesti dove la regolarità classica fallisce.