Weakly stable solutions of Serrin's problem

Sintesi Tecnica: Soluzioni Debolmente Stabili del Problema di Serrin

Enunciato del Problema
Il saggio affronta il problema sovradeterminato di Serrin, che cerca un dominio $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) e una funzione $u \in C^\infty(\bar{\Omega})$ soddisfacente:
$$\begin{cases} -\Delta u = n & \text{in } \Omega, \\ u > 0 & \text{in } \Omega, \\ u = 0 & \text{su } \partial\Omega, \\ |Du| = 1 & \text{su } \partial\Omega. \end{cases}$$
Mentre J. Serrin (1971) e H. Weinberger (1971) hanno stabilito che le soluzioni compatte devono essere unità sferiche, esistono soluzioni non compatte (ad esempio, cilindri). H. Berestycki, L. Caffarelli e L. Nirenberg hanno ipotizzato che ogni soluzione non compatta debba essere o un'unità sferica o congruente a un cilindro della forma $\{y \in \mathbb{R}^m : |y| < m/n\} \times \mathbb{R}^{n-m}$. Tuttavia, esistono controesempi a questa congettura per problemi semilineari generali. Questo articolo investiga la congettura specificamente per il caso $f(u) = n$ sotto l'ulteriore ipotesi di stabilità debole.

Metodologia e Approccio
Gli autori impiegano un approccio variazionale combinato con l'analisi geometrica e stime asintotiche. La metodologia centrale prevede:

1. Caratterizzazione Variazionale: Le soluzioni sono viste come punti critici del funzionale $J(u) = \frac{1}{2}\int_{\{u>0\}} |Du|^2 - \int_{\{u>0\}} F(u)$ (dove $F' = f = n$) soggetto a un vincolo di volume relativo.
2. Definizioni di Stabilità:
   • Stabilità Debole: Il dominio soddisfa il test della derivata seconda per $J$ tra perturbazioni compatte che preservano il volume relativo di $\{u > 0\}$. Ciò è formalizzato dalla disuguaglianza:
     $$\int_{\partial\Omega} (f(0) - H) \phi^2 \le \int_{\Omega} (|D\phi|^2 - f'(u)\phi^2)$$
     per ogni $\phi \in C^\infty_c(\bar{\Omega})$ con $\int_{\partial\Omega} \phi = 0$.
   • Stabilità: La stessa disuguaglianza è valida per ogni $\phi \in C^\infty_c(\bar{\Omega})$ senza il vincolo di media nulla.
3. Stime del Gradiente e Asintotiche: Gli autori stabiliscono cruciali stime del gradiente per $u$ (specificamente $|Du| < 1$ in $\Omega$ e $H \le n$ su $\partial\Omega$) e analizzano il comportamento asintotico del volume $V(\lambda)$ e dell'area superficiale $A(\lambda)$ di $\Omega$ intersecato con grandi sfere $B_\lambda(0)$.
4. Argomento per Contraddizione: La dimostrazione procede assumendo che $\Omega$ abbia volume infinito. Utilizzando la relazione asintotica $A(\lambda) \approx n V(\lambda)$ derivata dal teorema della divergenza, gli autori dimostrano che il volume infinito implica che il dominio sia pienamente stabile. Utilizzando una funzione di test con funzioni di taglio specifiche e sfruttando la subarmonicità di una funzione ausiliaria $\phi = u + \frac{1}{2}|Du|^2$, derivano una contraddizione tra il segno dell'integrale di bordo e la condizione di stabilità.
5. Analisi del Volume Finito: Una volta esclusi i volumi infiniti, gli autori adattano l'argomento di Weinberger al contesto non compatto per mostrare che le componenti a volume finito devono essere unità sferiche. La stabilità debole viene poi utilizzata per dimostrare che il dominio è connesso, escludendo unioni disgiunte di sfere.

Risultati Chiave

• Teorema 2 (Risultato Principale): Per ogni dimensione $n \ge 2$, se $\Omega$ è una soluzione debolmente stabile del problema di Serrin, allora $\Omega$ è una sfera di raggio 1. Di conseguenza, non esistono soluzioni non compatte debolmente stabili.
• Vincoli del Gradiente: Il saggio dimostra che per ogni soluzione, $|Du| < 1$ in $\Omega$ e la curvatura media $H$ soddisfa $H \le n$ su $\partial\Omega$.
• Implicazione della Stabilità: Se una soluzione ha volume infinito, la stabilità debole implica la piena stabilità.
• Indipendenza dalla Dimensione: A differenza di risultati precedenti per problemi correlati (ad esempio, il problema di Bernoulli a una fase) che dipendono fortemente dalla dimensione (ad esempio, $n \le 3$ vs. $n \ge 7$), questo risultato è valido per tutti i $n \ge 2$.

Significato e Rivendicazioni
Il saggio afferma di aver dimostrato che le soluzioni debolmente stabili del problema di Serrin sono necessariamente compatte (specificamente, sfere rotonde). Questo risultato risolve efficacemente la congettura di Berestycki-Caffarelli-Nirenberg per il caso $f=n$ sotto l'ipotesi di stabilità debole, dimostrando che le alternative non compatte (cilindri) non sono debolmente stabili. Tale ipotesi è descritta come "naturale da un punto di vista variazionale".

Gli autori sottolineano che il loro risultato generalizza un teorema precedente (Teorema 1 in [12]) che era limitato alla dimensione $n=2$ e richiedeva una curvatura limitata di $\partial\Omega$. Il presente lavoro rimuove la restrizione dimensionale e l'ipotesi di curvatura limitata. La tecnica di dimostrazione è distinta dai lavori precedenti; evita il teorema di Gauss-Bonnet (specifico per $n=2$) e argomenti specifici per basse dimensioni che falliscono in dimensioni superiori a causa di noti controesempi in problemi di stabilità correlati.

Il risultato si colloca nel contesto della teoria delle superfici minime, dove le soluzioni debolmente stabili del problema di Serrin emergono come limiti di blow-up di superfici capillari debolmente stabili. Il risultato di rigidità qui stabilito funge da ingrediente fondamentale per la caratterizzazione di tali superfici capillari con angoli di contatto vicini a $0$o$\pi$.