One-phase Free Boundary Problems on RCD Metric Measure Spaces

1. Il Problema

Il documento affronta lo studio dei problemi a frontiera libera di tipo Bernoulli monofase in un contesto geometrico non liscio. Nello specifico, gli autori considerano un funzionale energetico di Bernoulli vettoriale su uno spazio metrico misurabile $(X, d, \mu)$ che soddisfa la condizione di curvatura-dimensione di Riemann RCD(K, N) (Ricci Curvature-Dimension).

Il funzionale energetico è definito come:
$$J_Q(u) = \int_{\Omega} (|\nabla u|^2 + Q \chi_{\{|u|>0\}}) d\mu$$
dove:

• $\Omega \subset X$ è un dominio limitato.
• $u = (u_1, \dots, u_m) \in W^{1,2}(\Omega, [0, +\infty)^m)$ è una mappa vettoriale.
• $Q \in L^\infty(\Omega)$ è una funzione di peso strettamente positiva e limitata.
• $\chi_{\{|u|>0\}}$ è la funzione indicatrice dell'insieme dove la soluzione è non nulla.
• La frontiera libera è definita come $\partial \{|u| > 0\} \cap \Omega$.

L'obiettivo è stabilire l'esistenza, la regolarità delle soluzioni e la struttura geometrica della frontiera libera in spazi che generalizzano le varietà Riemanniane con limite inferiore sulla curvatura di Ricci, inclusi i limiti di spazi di Ricci e gli spazi di Alexandrov.

2. Metodologia

Gli autori estendono le tecniche classiche sviluppate da Alt, Caffarelli, Caffarelli-Shahgholian-Yeressian e altri per gli spazi euclidei, adattandole alla struttura non liscia degli spazi RCD. La metodologia si articola in diverse fasi chiave:

• Strumenti Analitici su Spazi RCD: Utilizzo delle stime di gradiente di Cheng-Yau per funzioni armoniche, proprietà di media e disuguaglianze di Poincaré valide negli spazi RCD. Viene sfruttata la teoria degli spazi di Sobolev $W^{1,2}$ definita da Cheeger e la teoria del calcolo variazionale su spazi metrici.
• Ipotesi di Non-Collasso: Un ruolo cruciale è giocato dall'ipotesi che lo spazio sia non-collassato (ncRCD), ovvero che la misura $\mu$ coincida con la misura di Hausdorff $N$-dimensionale ($\mu = \mathcal{H}^N$). Questa condizione è essenziale per garantire la regolarità locale e le stime di densità.
• Argomenti di Blow-up: Vengono utilizzati limiti di ingrandimento (blow-up) per analizzare il comportamento asintotico delle soluzioni vicino alla frontiera libera. Questo permette di collegare il problema locale a minimizzatori su coni metrici (spazi tangenti).
• Monotonia di Weiss: Viene introdotta e studiata una densità di tipo Weiss adattata agli spazi RCD per dimostrare la regolarità della frontiera libera e classificare i punti singolari.
• Dimostrazione per Contraddizione e Ridimensionamento: Per stimare la dimensione dell'insieme singolare, viene utilizzato un argomento di riduzione dimensionale (dimension reduction), dimostrando che se l'insieme singolare avesse dimensione superiore a $N-3$, si potrebbe iterare il processo fino a ottenere un controesempio in dimensione 2, che è stato già escluso.

3. Risultati Principali

A. Esistenza e Regolarità delle Soluzioni

• Esistenza: Viene provato l'esistenza di un minimizzatore globale per il funzionale $J_Q$ sotto opportune condizioni sul diametro del dominio (Proposizione 1.3).
• Regolarità Lipschitziana: Il risultato principale è la dimostrazione che ogni minimizzatore locale $u$ è localmente Lipschitziano (Teorema 1.4), a condizione che lo spazio sia non-collassato. Questo supera le difficoltà tecniche legate all'assenza di una formula di Poisson o alla non-armonicità del gradiente in spazi non lisci, utilizzando invece le stime di Cheng-Yau.

B. Finitudine del Perimetro ed Equazione di Eulero-Lagrange

• Perimetro Finito: L'insieme $\Omega_u = \{|u| > 0\}$ ha perimetro localmente finito (Teorema 1.6).
• Equazione di Eulero-Lagrange: Viene derivata l'equazione che governa la frontiera libera. In senso distributivo, il laplaciano delle componenti $u_i$ è una misura supportata sulla frontiera libera:
  $$\Delta u_i = q_i \cdot \mathcal{H}^{N-1} \llcorner (\partial \{|u| > 0\} \cap \Omega)$$
  dove le funzioni $q_i$ soddisfano la relazione di vincolo: $\sum_{i=1}^m q_i^2(x) = Q(x)$ per $\mathcal{H}^{N-1}$-quasi ogni punto sulla frontiera.

C. Regolarità della Frontiera Libera

• Struttura Topologica: Il teorema principale sulla regolarità (Teorema 1.9) afferma che la frontiera libera è una varietà topologica di dimensione $(N-1)$ fuori da un insieme chiuso relativamente $\mathcal{H}^{N-3}$-nullo.
• Stima della Dimensione Singolare: L'insieme singolare $S_{\Omega u}$ (la parte della frontiera che non è una varietà liscia) ha dimensione di Hausdorff:
  $$\dim_H(S_{\Omega u}) \leq N - 3$$
  Questo risultato è ottimale (sharp), come dimostrato da un esempio in cui la frontiera libera eredita le singolarità dello spazio sottostante (es. vertici di un triangolo raddoppiato).
• Regolarità Quantitativa: Viene introdotta una nozione di $\epsilon$-regolarità basata sulla densità di Weiss e sulla convergenza Gromov-Hausdorff puntata misurata. Si dimostra che la parte regolare è bi-Hölder omeomorfa a una varietà $(N-1)$-dimensionale.

4. Contributi Chiave

1. Estensione agli Spazi RCD: È il primo lavoro sistematico che tratta problemi a frontiera libera vettoriale di tipo Bernoulli in spazi metrici misurabili con condizione di curvatura di Ricci inferiore (RCD), colmando il divario tra la teoria euclidea e quella delle varietà lisce.
2. Regolarità Lipschitz senza Poisson: Sviluppo di una tecnica alternativa per provare la regolarità Lipschitziana senza fare affidamento sulla formula di Poisson (non disponibile in generale negli spazi RCD), basandosi sulle stime di Cheng-Yau e sulle proprietà di media.
3. Ottimalità della Stima Dimensionale: Dimostrazione che il limite di dimensione $N-3$ per l'insieme singolare è il migliore possibile in questo contesto generale, a differenza del caso euclideo dove la stima può essere migliore ($N-5$ o $N-7$) grazie alla struttura più rigida dello spazio euclideo.
4. Struttura dei Coni: Analisi dettagliata dei minimizzatori su coni metrici, fondamentale per l'argomento di riduzione dimensionale.

5. Significato e Impatto

Questo lavoro rappresenta un avanzamento significativo nell'analisi geometrica non lineare su spazi singolari.

• Teoria Geometrica: Fornisce nuovi strumenti per comprendere come le proprietà di regolarità delle equazioni alle derivate parziali (PDE) si comportino in presenza di singolarità geometriche dello spazio sottostante.
• Applicazioni: I risultati hanno implicazioni per lo studio di problemi di ottimizzazione di forma, flussi di curvatura media e problemi spettrali (come la stabilità quantitativa della disuguaglianza di Faber-Krahn) su spazi singolari.
• Generalità: La teoria sviluppata è applicabile non solo agli spazi RCD astratti, ma anche a limiti di varietà Riemanniane (Ricci limit spaces) e spazi di Alexandrov, rendendo il risultato rilevante per la geometria differenziale moderna e la teoria dei grafi pesati.

In sintesi, il paper stabilisce un quadro teorico solido per l'analisi di problemi a frontiera libera in ambienti non lisci, dimostrando che, nonostante la mancanza di struttura differenziabile classica, è possibile ottenere risultati di regolarità forti e stime dimensionali precise per l'insieme singolare.