Serrin's overdetermined theorem and weak Bernoulli laws without Alt--Caffarelli regularity

Sintesi Tecnica di "Serrin's Overdetermined Theorem and Weak Bernoulli Laws Without Alt–Caffarelli Regularity"

Enunciato del Problema
Il saggio investiga la rigidità dei problemi ai valori al contorno sovradeterminati di tipo Serrin e dei problemi a frontiera libera a una fase quando le assunzioni classiche di regolarità della teoria di Alt–Caffarelli vengono rimosse. Nello specifico, l'autore studia domini $\Omega \subset \mathbb{R}^n$ che ammettono una soluzione $u$ della legge di Bernoulli distribuionale:
$$\Delta u = c \mathcal{H}^{n-1}\lfloor \partial^*\Omega - f(u)\mathbf{1}_\Omega dx \quad \text{in } \mathcal{D}'(\mathbb{R}^n),$$
dove $f \in C^2$, $f(0) > 0$, e $\partial^*\Omega$ denota il bordo ridotto. La questione centrale è se l'identità distribuionale da sola, senza le ipotesi di crescita uniforme o di densità (specificamente il limite superiore di densità uniforme $\mathcal{H}^{n-1}(\partial\Omega \cap B_r(x)) \leq L r^{n-1}$) richieste nella teoria di Alt–Caffarelli, costringa $\Omega$ a essere una palla (nel caso $f \equiv 1$) o un disco (nel caso planare).

Metodologia
Il saggio impiega una combinazione di analisi complessa, analisi armonica e tecniche di PDE ellittiche pesate per costruire controesempi e dimostrare risultati di rigidità.

1. Rigidità Planare (Classe di Smirnov):
   Per i domini planari, l'autore stabilisce che se $\Omega$ è un dominio di Smirnov (una classe di domini di Jordan in cui la derivata della mappa conforme è una funzione esterna), la legge di Bernoulli distribuionale implica che $\Omega$ sia un disco. La dimostrazione utilizza l'identità di quadratura armonica derivata dalla legge di Bernoulli per costruire una relazione di ortogonalità di Cauchy al bordo. Tale relazione produce una funzione olomorfa limitata nell'unità del disco, permettendo l'applicazione del metodo della $P$-funzione di Weinberger in un contesto di bassa regolarità.

2. Controesempi Planari (Non-Smirnov):
   Per mostrare l'acutezza della condizione di Smirnov, l'autore costruisce domini non sferici e non di Smirnov che soddisfano la legge. La costruzione si basa sul meccanismo di Duren–Shapiro–Shields (DSS), che genera domini con fattori interni singolari non banali nelle loro derivate conformi.

   • Ostruzione: Una perturbazione ingenua del disco utilizzando una misura singolare fissa fallisce nel soddisfare la forte identità di quadratura (Proposizione 4.1).
   • Risoluzione: L'autore introduce una simmetria quadrupla per eliminare i modi di Fourier associati alle traslazioni del disco (che richiederebbero altrimenti una riduzione di Lyapunov–Schmidt); viene quindi utilizzato un argomento di punto fisso non lineare per risolvere per un fattore esterno che corregga la densità al bordo, mentre il fattore interno singolare rimane per garantire che il dominio non sia di Smirnov.

3. Controesempi in Dimensioni Superiori ($n \geq 3$):
   La costruzione conforme planare non si estende direttamente a dimensioni superiori. Invece, l'autore utilizza una riduzione assialsimmetrica.

   • Riduzione Pesata: Il problema viene ridotto a un problema di conducibilità planare pesata con un peso $r^p$ (con $p=n-2$) derivante dal Laplaciano in coordinate cilindriche.
   • Perturbazione Singolare: La costruzione coinvolge un operatore di traccia ellittico pesato. Una difficoltà chiave è l'ostruzione del modo "sin $t$" generata dal peso assiale. L'autore introduce un secondo parametro singolare $\delta$ per creare uno squilibrio top-bottom controllato nella misura singolare, che cancella il termine di forzamento assiale.
   • Punto Fisso: Un argomento di contrazione risolve per i modi ad alta frequenza, mentre il modo scalare del seno è bilanciato regolando $\delta$. Il dominio meridiano risultante viene ruotato per formare il controesempio in $n$ dimensioni.

Contributi Chiave e Risultati

• Teorema 1.1 (Rigidità Planare): Se $\Omega \subset \mathbb{C}$ è un dominio di Jordan limitato con bordo rettificabile che è un dominio di Smirnov e soddisfa l'identità del momento armonico (equivalente alla legge di Bernoulli distribuionale per $f \equiv 1$), allora $\Omega$ è un disco. Questo rafforza i risultati precedenti sostituendo l'assunzione di densità superiore uniforme con la più debole condizione analitica di Smirnov.
• Teorema 1.2 (Controesempio Planare): Per ogni $f \in C^2$ con $f(0) > 0$, esistono domini di Jordan limitati, rettificabili e non di Smirnov che non sono dischi ma soddisfano la legge di Bernoulli distribuionale. Questi domini possiedono un fattore interno singolare non banale nella loro derivata conforme, portando a un fallimento dei limiti di densità superiore uniforme sul bordo.
• Teorema 1.4 (Controesempio in Dimensioni Superiori): Per $n \geq 3$, esistono insiemi limitati di perimetro finito $\Omega \subset \mathbb{R}^n$ (omeomorfi a $B^2 \times S^{n-2}$) che soddisfano la legge di Bernoulli distribuionale ma non sono palle. Questi insiemi falliscono la condizione di densità superiore uniforme (1.3), dimostrando che l'ipotesi di densità di Alt–Caffarelli è essenziale per la rigidità in dimensioni $n \geq 3$.
• Soglie di Regolarità: Il saggio identifica la condizione di Smirnov come la soglia esatta per la rigidità nel piano e il limite di densità superiore uniforme come la soglia per $n \geq 3$.

Significato

Il saggio dimostra che le assunzioni di crescita uniforme e di densità nella teoria classica di Alt–Caffarelli non sono meramente convenienze tecniche, ma sono necessarie per escludere comportamenti limite singolari che permettono soluzioni non sferiche.

• Fallimento dell'Unicità Distribuionale: La legge di Bernoulli distribuionale da sola è insufficiente a garantire la simmetria radiale o la regolarità della frontiera libera, anche tra domini rettificabili.
• Ruolo dei Fattori Singolari: I controesempi si basano su fattori interni singolari nelle mappe conformi (in 2D) o su misure singolari nella costruzione (in $n$D). Questi fattori sono invisibili alla densità della lunghezza d'arco al bordo, ma influenzano la densità del Jacobiano all'interno, interrompendo l'identità del momento armonico richiesta per la rigidità.
• Acutezza dei Teoremi Esistenti: I risultati confermano che i teoremi di rigidità che si basano su limiti di densità uniforme (come in [23]) sono acuti; rimuovendo tali limiti, è possibile ammettere l'esistenza di soluzioni "ruvide" che soddisfano la formulazione debole ma mancano della regolarità geometrica di una palla.

Il lavoro chiarisce il confine preciso tra flessibilità e rigidità nei problemi a frontiera libera, mostrando che senza vincoli di regolarità specifici (Smirnov in 2D, densità uniforme in $n \geq 3$), il problema sovradeterminato ammette una ricca classe di soluzioni non sferiche.