A new, self-contained proof of Shahgholian's theorem using the thickness function

Sintesi Tecnica: Una nuova dimostrazione del teorema di Shahgholian tramite la funzione di spessore

1. Il Problema

Il documento affronta un risultato geometrico fondamentale stabilito da Henrik Shahgholian nel 1994 riguardante le superfici di quadratura.
Il problema centrale è l'analisi di un dominio limitato $C^2$, $\Omega \subset \mathbb{R}^N$, e di una misura positiva $\mu$ con supporto compatto all'interno di $\Omega$. Si considera il seguente problema sovradeterminato:
$$\begin{cases} -\Delta u = \mu & \text{in } \Omega, \\ u = 0 & \text{su } \partial\Omega, \\ \frac{\partial u}{\partial \nu} = -1 & \text{su } \partial\Omega, \end{cases}$$
dove $\nu$ è la normale esterna.
Il Teorema di Shahgholian afferma che se tale soluzione esiste, allora per ogni punto $x \in \partial\Omega$, il raggio normale interno a $\partial\Omega$ in $x$ interseca l'involucro convesso del supporto della misura, denotato come $C = \text{conv}(\text{supp}\,\mu)$. In termini geometrici, $\Omega$ soddisfa la proprietà "C-GNP" (Generalized Normal Property) rispetto a $C$.

La dimostrazione originale di Shahgholian si basava sul metodo dei piani mobili (moving plane method) e su sofisticati argomenti di confronto, che, sebbene efficaci, introducono una complessità tecnica significativa.

2. Metodologia

L'autore, M. Barkatou, propone una nuova dimostrazione autonoma e concettuale che evita il metodo dei piani mobili. La strategia si fonda su tre pilastri principali:

1. Parametrizzazione Radiale: Sfruttando la convessità di $C$, ogni punto in $\Omega \setminus C$ viene rappresentato univocamente come $x = c + r\nu(c)$, dove $c \in \partial C$ e $\nu(c)$ è la normale esterna a $C$.
2. Funzione di Spessore ($d_t(c)$): Viene definita una funzione che misura la distanza radiale dalla frontiera di $C$ fino alla superficie di livello $\Gamma_t = \{u > t\}$.
3. Principi di Massimo e Minimo: L'analisi si basa sull'armonicità di $u$ fuori da $C$ ($\Delta u = 0$ in $\Omega \setminus C$) e sulle proprietà delle derivate direzionali lungo i raggi normali.

3. Risultati Chiave e Contributi

Il cuore della dimostrazione risiede nella Lemma di Rigidità (Lemma 4.1), che stabilisce una proprietà inaspettata del gradiente della soluzione:

• Rigidità del Gradiente: Si dimostra che il modulo del gradiente della soluzione è costante e unitario in tutto $\Omega \setminus C$:
  $$|\nabla u(x)| = 1 \quad \forall x \in \Omega \setminus C.$$

  • Dimostrazione (Parte 1): Si considera $w = |\nabla u|^2$. Poiché $u$ è armonica in $\Omega \setminus C$, $w$ è subarmonica ($\Delta w \geq 0$). Per il principio di massimo, dato che $|\nabla u|=1$ su $\partial\Omega$, ne segue che $|\nabla u| \leq 1$ ovunque.
  • Dimostrazione (Parte 2): Si considera la derivata direzionale lungo i raggi normali. Poiché la derivata direzionale è anch'essa armonica, il principio del minimo impone che il suo valore non scenda sotto il valore minimo al bordo. Dato che sulla frontiera esterna vale $-1$ e su quella interna è $\leq 0$, si ottiene $|\nabla u| \geq 1$.
  • Conclusione: L'uguaglianza $|\nabla u| = 1$ è forzata dalle condizioni al contorno sovradeterminate.

• Relazione Lineare della Funzione di Spessore:
  Dalla relazione $|\nabla u| = 1$ e dalla definizione della funzione di spessore $d_t(c)$ (distanza da $C$ alla superficie di livello $t$), si ricava una relazione differenziale semplice:
  $$\frac{\partial d_t}{\partial t}(c) = -1.$$
  Integrando questa equazione, si ottiene la forma esplicita:
  $$d_t(c) = d(c) - t,$$
  dove $d(c)$ è la distanza massima dal punto $c \in \partial C$ fino a $\partial\Omega$.

• Geometria delle Superfici di Livello:
  Il risultato lineare implica che tutte le superfici di livello $\Gamma_t$ sono superfici parallele alla frontiera $\partial C$. La soluzione $u$ varia linearmente lungo ogni raggio normale:
  $$u(c + r\nu(c)) = d(c) - r.$$

4. Dimostrazione del Teorema Principale

Utilizzando la struttura geometrica derivata sopra, la dimostrazione del teorema di Shahgholian diventa immediata:

1. Ogni punto $x \in \partial\Omega$ può essere scritto come $x = c + d(c)\nu(c)$.
2. Il raggio normale interno a $\partial\Omega$ in $x$ è l'insieme $\{c + r\nu(c) : r < d(c)\}$.
3. Poiché questo raggio parte da $c \in \partial C$ e si estende verso l'interno, interseca necessariamente l'involucro convesso $C$.
4. Si dimostra inoltre che $\partial\Omega \setminus C$ è una superficie Lipschitziana, garantendo la regolarità richiesta.

5. Significato e Impatto

Questa nuova dimostrazione offre diversi vantaggi rispetto all'approccio originale:

• Semplicità Concettuale: Sostituisce la complessità tecnica del metodo dei piani mobili con un'analisi geometrica diretta basata sulla funzione di spessore e sui principi di massimo/minimo.
• Autonomia: La prova è "self-contained" (autonoma) e non richiede teorie di regolarità esterne complesse.
• Generalizzabilità: L'approccio basato sulla funzione di spessore si presta naturalmente a generalizzazioni per altri operatori ellittici (es. p-Laplaciano), problemi biarmonici e problemi parabolici (equazione del calore), dove le superfici di livello evolvono nel tempo.
• Connessione Geometrica: Rivela chiaramente come la condizione sovradeterminata ($\partial u/\partial \nu = -1$) imponga una struttura geometrica rigida (parallelismo delle superfici di livello) che lega direttamente la soluzione all'involucro convesso del supporto della misura.

In conclusione, il lavoro di Barkatou non solo conferma il teorema di Shahgholian, ma ne svela la struttura geometrica sottostante in modo più elegante, offrendo un nuovo strumento potente per lo studio dei problemi di frontiera libera e dell'ottimizzazione di forma.