On Weiss Almost Monotonicity Formula

1. Il Problema e il Contesto

Il paper si occupa dello studio delle proprietà di regolarità dei bordi liberi (free boundaries) associati a una classe ampia di funzionali energetici con coefficienti variabili. Nello specifico, l'autore analizza gli "quasi-minimizzatori" (almost minimizers) del funzionale di Alt-Phillips con coefficienti dipendenti dalla posizione:

$$J (u, \Omega) := \int_{\Omega} \left( \frac{1}{2} \langle A(x)\nabla u, \nabla u \rangle + \delta(x) u^{\gamma(x)} \right) dx$$

dove:

• $A(x)$ è una matrice uniformemente ellittica.
• $\delta(x)$ e $\gamma(x)$ sono funzioni variabili nello spazio.
• Il termine $\gamma(x)$ è compreso nell'intervallo $(0, 1)$.

L'obiettivo principale è classificare i limiti di "blow-up" (ingrandimenti asintotici) in prossimità dei punti del bordo libero e stabilire la regolarità di tale bordo.

Il problema centrale: I metodi classici per l'analisi dei bordi liberi, come la formula di monotonia di Weiss, richiedono tipicamente che i coefficienti del funzionale siano sufficientemente regolari (ad esempio, di classe $W^{1,q}$ con $q>d$ o Hölderiani). Tuttavia, in molti contesti fisici e matematici, i coefficienti possiedono una regolarità inferiore. Il lavoro precedente [4] aveva stabilito risultati di regolarità completa sotto l'assunzione forte che $\delta, \gamma \in W^{1,q}$. Questo paper mira a rilassare drasticamente tali ipotesi.

2. Metodologia: La Formula di Monotonia "Quasi"

Il cuore del contributo metodologico è l'istituzione di una formula di monotonia quasi (o quasi-monotonia) di tipo Weiss.

• Idea Fondamentale: Invece di cercare una monotonia esatta (che fallisce a causa della variabilità dei coefficienti), l'autore dimostra che una quantità di energia di tipo Weiss è "quasi-monotona". Ciò significa che la sua derivata rispetto al raggio $r$ è limitata inferiormente da una funzione integrabile negativa $-g(r)$, che quantifica la deviazione dalla monotonia esatta.
• Strategia di "Congelamento" (Freezing):
  1. Si fissa un punto $x_0$ sul bordo libero.
  2. Si considera un funzionale "congelato" $J_{x_0}$ dove i coefficienti $A, \delta, \gamma$ sono valutati in $x_0$ (costanti).
  3. Si confronta il funzionale originale $J$ con quello congelato $J_{x_0}$ utilizzando la regolarità ottima della soluzione vicino al bordo libero.
  4. Si utilizza un argomento di confronto con un competitore adatto (l'estensione omogenea della soluzione dal bordo della sfera all'interno) per stimare l'errore introdotto dalla variazione dei coefficienti.
• Ipotesi di Regolarità: Il risultato è ottenuto sotto ipotesi minime di regolarità sui coefficienti, specificamente:
  • $\delta \in C^{0, \text{Dini}}$ (continuità Dini).
  • $\gamma \in C^{0, \text{log-Dini}}$ (una condizione di continuità leggermente più debole della Dini, che include un fattore logaritmico).
  • $A$ è continuo con modulo di continuità Dini.
    Queste sono condizioni significativamente più deboli rispetto alle ipotesi $W^{1,q}$ richieste in lavori precedenti.

3. Risultati Chiave

A. Formula di Monotonia Quasi (Teorema 3.1)

L'autore dimostra che la funzione di energia di Weiss $A_{u,x_0}(r)$ soddisfa:
$$\frac{d}{dr} A_{u,x_0}(r) \geq -g(r)$$
dove $g \in L^1(0, 1)$. Questo garantisce l'esistenza del limite $\lim_{r \to 0} A_{u,x_0}(r)$, fondamentale per l'analisi asintotica.

B. Omogeneità dei Limiti di Blow-up (Corollario 3.1)

Grazie alla formula di monotonia, si dimostra che ogni limite di blow-up $u_0$ di un minimizzatore locale è omogeneo con esponente $\beta(x_0) = \frac{2}{2-\gamma(x_0)}$.
$$u_0(\lambda x) = \lambda^{\beta(x_0)} u_0(x)$$
Questo risultato è cruciale perché riduce lo studio locale del bordo libero allo studio di soluzioni omogenee globali (coni).

C. Classificazione del Bordo Libero e Regolarità (Sezione 4)

Sulla base dell'omogeneità, il bordo libero $F(u)$ viene suddiviso in:

1. Punti Regolari ($R(u)$): Dove il blow-up è un "cono banale" (una soluzione a semispazio della forma $(x \cdot \nu)_+^{\beta}$).
2. Punti Singolari ($\Sigma(u)$): Dove il blow-up è un "cono non banale".

Il paper stabilisce i seguenti risultati di regolarità per il problema con coefficienti variabili (sotto le ipotesi Dini):

• L'insieme dei punti regolari $R(u)$ è aperto nel bordo libero.
• La dimensione di Hausdorff dell'insieme singolare è limitata: $\dim_H(\Sigma(u)) \leq d-3$.
• La misura di Hausdorff $(d-1)$-dimensionale dell'intero bordo libero è finita: $H^{d-1}(F(u) \cap B_r) \lesssim r^{d-1}$.

D. Estensioni (Sezione 5)

La metodologia viene estesa con successo ad altri scenari:

• Problema di Alt-Caffarelli (una fase): Con coefficienti variabili nel termine di gradiente e nel termine di indicatrice.
• Casi a due fasi (Two-phase): Sia per Alt-Caffarelli che per Alt-Phillips, dove l'energia dipende da $u_+$ e $u_-$ con coefficienti distinti.

4. Significato e Impatto

Questo lavoro rappresenta un avanzamento significativo nella teoria dei bordi liberi per diversi motivi:

1. Riduzione delle Ipotesi di Regolarità: Dimostra che la struttura fine del bordo libero (regolarità $C^{1,\alpha}$ dei punti regolari e dimensione dell'insieme singolare) è robusta anche quando i coefficienti del problema sono molto meno regolari di quanto richiesto dalla letteratura classica. Questo rende i risultati applicabili a una gamma molto più ampia di modelli fisici e matematici.
2. Generalità del Metodo: La tecnica di "congelamento" dei coefficienti combinata con la stima dell'errore tramite regolarità ottima offre un modello per trattare funzionali non differenziabili o con coefficienti irregolari in altri contesti di equazioni alle derivate parziali.
3. Completamento del Programma di Regolarità: Il paper completa il programma di regolarità iniziato in lavori precedenti [4, 5], rimuovendo le barriere tecniche legate alla derivabilità dei coefficienti e fornendo una teoria coerente per il caso con coefficienti variabili sotto ipotesi naturali (Dini).

In sintesi, Sobral stabilisce che la classificazione dei blow-up e la regolarità del bordo libero per il problema di Alt-Phillips sono valide anche in un regime di bassa regolarità dei coefficienti, aprendo la strada a future indagini su problemi con coefficienti ancora più irregolari o su operatori non lineari (come il p-Laplaciano).