Lipschitz regularity of solutions to two-phase $p$-Laplacian free boundary problems with right hand side

1. Il Problema Studiato

Il lavoro si concentra sulla regolarità delle soluzioni per problemi a due fasi governati dall'operatore p-Laplaciano ($\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$) con un termine di destra non nullo ($f \not\equiv 0$).

Il problema è formulato come segue in un dominio limitato $\Omega \subset \mathbb{R}^n$:
$$\begin{cases} \Delta_p u = f & \text{in } \Omega^+(u) \cup \Omega^-(u), \\ u^+_\nu = G(u^-_\nu, x) & \text{sulla frontiera libera } F(u) := \partial \Omega^+(u) \cap \Omega. \end{cases}$$
Dove:

• $\Omega^+(u) = \{x \in \Omega : u(x) > 0\}$ e $\Omega^-(u) = \{x \in \Omega : u(x) \le 0\}^\circ$.
• $u^+_\nu$ e $u^-_\nu$ sono le derivate normali verso l'interno rispettivamente in $\Omega^+$ e $\Omega^-$.
• $G(t, x)$ è una funzione che lega le derivate normali delle due fasi, con $t \in [0, \infty)$.
• $f \in L^\infty(\Omega)$ è continuo all'interno delle fasi.

L'obiettivo principale è stabilire la continuità lipschitziana locale ($C^{0,1}$) delle soluzioni di viscosità, che rappresenta la regolarità ottimale attesa per questo tipo di problemi.

2. Metodologia e Strumenti Teorici

Gli autori adottano un approccio basato sulla teoria delle soluzioni di viscosità, permettendo così di trattare un'ampia classe di problemi senza richiedere regolarità a priori delle soluzioni. La strategia segue l'idea introdotta da De Silva, Ferrari e Salsa ([DS]) per operatori uniformemente ellittici, ma adattata alle difficoltà specifiche del p-Laplaciano (che è singolare per $1<p<2$ e degenere per $p>2$).

I pilastri metodologici includono:

• Soluzioni di Viscosità: Il lavoro utilizza la definizione di soluzione di viscosità, che è più flessibile rispetto alle soluzioni deboli classiche, permettendo di gestire la discontinuità della derivata normale sulla frontiera libera.
• Stime di Hölder Preliminari: Prima di dimostrare la lipschitzianità, viene stabilita la continuità Hölderiana locale ($C^{0,\alpha}$) per una classe più generale di condizioni al contorno (Teorema 1.2). Questo risultato è ottenuto tramite un'analisi di "alternativa" basata sull'ineguaglianza di Harnack debole per il p-Laplaciano.
• Regolarità per Frontiere Piatte (Flatness): Il cuore della dimostrazione risiede nell'uso di teoremi di regolarità per frontiere libere "piatte". Gli autori si basano e affinano i risultati del loro lavoro precedente ([FL3]), dimostrando che se una soluzione è sufficientemente vicina a una "soluzione a due piani" (una soluzione 1D del tipo $U_\beta(t) = \alpha t^+ - \beta t^-$), allora la frontiera libera è $C^{1,\gamma}$ e la soluzione è $C^{1,\gamma}$ fino alla frontiera.
• Argomento di Contraddizione e Riscaldamento (Blow-up): Per provare la regolarità Lipschitziana, si assume per assurdo che la soluzione non sia lipschitziana. Si costruisce una successione di soluzioni riscale (blow-up) che, grazie alla compattezza, converge a una soluzione limite.
  • Se il termine di destra $f$ è nullo o $p=2$, la soluzione limite soddisfa $\Delta_p u^* = 0$.
  • Se $f \not\equiv 0$ e $p \neq 2$, si richiede un'ulteriore ipotesi strutturale su $G$ (ipotesi P4) per garantire che la soluzione limite sia ancora gestibile tramite i teoremi di regolarità per frontiere piatte.
• Ipotesi sulla Funzione $G$:
  • (P1) $G$ è strettamente crescente e tende a infinito.
  • (P2) Comportamento asintotico lineare: $\partial_t G \to 1$ e $\partial^2_{tt} G = O(1/t)$ per $t \to \infty$.
  • (P3) Regolarità Hölderiana in $x$.
  • (P4) (Solo se $f \not\equiv 0, p \neq 2$) $G(t,x) \equiv G(t)$ con $t^{-1}G(t)$ strettamente decrescente per $t$ grandi.

3. Risultati Principali

• Teorema 1.1 (Regolarità Ottimale):
  Sotto le ipotesi (P1)-(P4) e con $f \in L^\infty$, ogni soluzione di viscosità $u$ è localmente Lipschitziana. Viene fornita una stima esplicita:
  $$\|\nabla u\|_{L^\infty(B_{1/2})} \le C (\|u\|_{L^\infty(B_{3/4})} + 1)$$
  dove $C$ dipende da $n, p, \|f\|_\infty$ e dalla funzione $G$. Questo è il risultato principale e rappresenta la regolarità ottimale.

• Teorema 1.2 (Continuità Hölderiana):
  Per una classe più ampia di funzioni $G$ (che soddisfano solo una crescita lineare $\sigma t \le G \le \sigma^{-1} t$), le soluzioni sono localmente Hölderiane ($C^{0,\alpha}$). Questo risultato è di per sé interessante e necessario come passo intermedio.

• Miglioramenti dei Risultati Precedenti ([FL3]):
  Nella Sezione 3, gli autori affinano i teoremi di regolarità $C^{1,\gamma}$ per frontiere piatte. In particolare, dimostrano che i risultati valgono anche sotto ipotesi più deboli su $G$ (come l'ipotesi (H3') o (H3'')) quando $f \equiv 0$, $p=2$, o quando $G$ dipende solo da $t$. Questi miglioramenti sono cruciali per gestire il caso limite nel processo di blow-up.

4. Contributi Chiave e Innovazioni

1. Gestione del Termine di Destra Non Nullo: A differenza di molti lavori precedenti che trattavano il caso omogeneo ($f=0$), questo articolo affronta la complessità introdotta da $f \not\equiv 0$. La presenza di $f$ impedisce di ignorare il fattore $|\eta|^{p-2}$ nelle stime, rendendo l'analisi molto più delicata.
2. Validità per Soluzioni di Viscosità: Il risultato è stabilito per soluzioni di viscosità, una classe molto ampia che include soluzioni deboli ma permette di trattare problemi dove la regolarità classica non è garantita a priori.
3. Nuovi Risultati anche nel Caso Omogeneo: Gli autori sottolineano che i loro risultati sono nuovi anche quando $f \equiv 0$, poiché la letteratura esistente sulla continuità Lipschitziana attraverso la frontiera libera si concentrava principalmente sui minimi funzionali (caso p-Bernoulli) e non su soluzioni generali di viscosità con condizioni al contorno generali.
4. Estensione al Caso $p=2$: Sebbene il caso $p=2$ (Laplaciano) fosse parzialmente noto tramite formule di monotonia (come in [CJK]), questo lavoro fornisce una dimostrazione esplicita e unificata che non dipende da tali formule, estendendo il metodo a condizioni al contorno generali $u^+_\nu = G(u^-_\nu, x)$.

5. Significato e Impatto

Questo lavoro è significativo perché colma un divario importante nella teoria dei problemi a frontiera libera per operatori degeneri/singolari.

• Ottimalità: Dimostra che la regolarità Lipschitziana è raggiungibile anche in presenza di termini sorgente non nulli e operatori non lineari complessi, confermando che la struttura del problema non degrada la regolarità oltre questo limite.
• Generalità: Le tecniche sviluppate sono robuste e applicabili a una vasta gamma di condizioni al contorno non lineari, superando le limitazioni dei metodi basati su formule di monotonia che non esistono per $p \neq 2$.
• Fondamento Teorico: Fornisce gli strumenti analitici necessari (stime di Hölder, regolarità $C^{1,\gamma}$ per frontiere piatte sotto ipotesi deboli) per futuri studi su problemi di frontiera libera non lineari più complessi, inclusi quelli in strutture non commutative o con operatori degeneri.

In sintesi, Ferrari e Lederman riescono a unificare e generalizzare la teoria della regolarità per problemi a due fasi p-Laplaciani, risolvendo la questione della regolarità ottimale in un contesto inhomogeneo e per soluzioni di viscosità, un risultato che era rimasto aperto nella letteratura matematica.