On the Schiffer and Berenstein conjectures with high-frequency for convex domains in the plane

Sintesi Tecnica: Sulle congetture di Schiffer e Berenstein ad alta frequenza per domini convessi nel piano

Enunciato del problema
Questo articolo affronta due problemi ellittici sovradeterminati classici nella geometria spettrale, noti come congetture di Schiffer e Berenstein. La questione centrale è se l'esistenza di una soluzione non banale a questi problemi implichi che il dominio limitato sottostante $\Omega \subset \mathbb{R}^2$ debba essere un disco.

I due problemi sono:

1. La congettura di Berenstein (caso di Dirichlet): $-\Delta u = \alpha u$ in $\Omega$, con $u=0$ su $\partial\Omega$ e $\frac{\partial u}{\partial \nu} = c_D$ (costante) su $\partial\Omega$.
2. La congettura di Schiffer (caso di Neumann): $-\Delta u = \alpha u$ in $\Omega$, con $\frac{\partial u}{\partial \nu} = 0$ su $\partial\Omega$ e $u = c_N$ (costante) su $\partial\Omega$.

Sebbene sia noto che i dischi ammettono soluzioni, la congettura postula che i dischi siano gli unici domini ad ammettere tali soluzioni. Risultati precedenti di Berenstein e Yang hanno stabilito che se un dominio ammette una sequenza infinita di tali autovalori tendenti all'infinito, il dominio deve essere un disco. Tuttavia, il caso di un singolo grande autovalore è rimasto aperto. Recenti controesempi alle congetture non ristrette (in domini bi-connessi o illimitati) evidenziano la necessità di classi geometriche controllate e di soglie di frequenza.

Metodologia
L'approccio degli autori si basa sul metodo della fase stazionaria, introducendo tuttavia significative modifiche per gestire il caso di un singolo grande autovalore piuttosto che di una sequenza infinita.

1. Espansione della fase stazionaria a due punti:
   A differenza dei lavori precedenti che si basavano sul limite di una sequenza infinita di autovalori (dove i parametri $t$ e $\lambda$ potevano variare indipendentemente per soddisfare specifiche condizioni asintotiche), questo articolo fissa l'autovalore $\alpha$ come grande ma finito. Essi esprimono $\alpha = \lambda^2 - t^2$ con $t \in \{-1, 1\}$ fisso e $\lambda = \sqrt{\alpha + 1}$ grande.
   Utilizzando le identità di Green, l'esistenza di una soluzione viene ridotta alla scomparsa di integrali oscillatori specifici sull'intervallo $\partial\Omega$. Gli autori applicano un'espansione della fase stazionaria uniforme a due punti a questi integrali. Per un dominio uniformemente convesso, la funzione di fase possiede esattamente due punti critici non degeneri (punti antipodici).

2. Difetto di ampiezza a due punti ($B(\Omega)$):
   Una chiave innovazione è l'introduzione del "difetto di ampiezza a due punti", definito come:
   $$B(\Omega) := \max_{\theta \in \mathbb{R}, t \in \{-1,1\}} \left| \sqrt{\rho(\theta)}e^{th'(\theta)} - \sqrt{\rho(\theta + \pi)}e^{-th'(\theta + \pi)} \right|$$
   dove $h$ è la funzione di supporto e $\rho = h + h''$ è il raggio di curvatura. Gli autori dimostrano che $B(\Omega) = 0$ se e solo se $\Omega$ è un disco.

3. Stime geometriche quantitative:
   L'articolo stabilisce una relazione quantitativa tra il difetto $B(\Omega)$ e la distanza geometrica di $\Omega$ da un disco.

   • Caso generale: Per domini in una classe $C^m$ controllata ($m \ge 5$), dimostrano che $B(\Omega) \ge c_m \min(d_{\text{disk}}(\Omega)^{p_m}, 1)$, dove $p_m = \frac{m-1}{m-2}$ e $d_{\text{disk}}$ è la distanza della funzione di supporto in $C^2$. Ciò si basa su una decomposizione pari-dispari della funzione di supporto e su disequaglianze di interpolazione.
   • Caso di simmetria centrale: Se $\Omega$ è centralmente simmetrico, il difetto si relaziona linearmente con la distanza di Hausdorff dai dischi centrati, fornendo una stima più forte.

4. Esclusione ad alta frequenza:
   Combinando l'espansione della fase stazionaria (che mostra che l'integrale è dominato dal difetto) con le stime geometriche, gli autori derivano una soglia. Se l'autovalore $\alpha$ supera un limite specifico dipendente dalla classe geometrica e dalla distanza da un disco, il difetto non può essere zero, e quindi non esiste alcuna soluzione.

Contributi chiave e risultati

• Teorema 1.1 (Congettura di Berenstein): Per un dominio uniformemente convesso $\Omega \subset \mathbb{R}^2$ con bordo $C^{2,\epsilon}$, se il problema di Dirichlet (1.1) ammette una soluzione non banale per un autovalore sufficientemente grande $\alpha > \alpha_0(\Omega)$, allora $\Omega$ deve essere un disco.
• Teorema 1.2 (Congettura di Schiffer): Similmente, per un dominio uniformemente convesso $\Omega \subset \mathbb{R}^2$ con bordo Lipschitz connesso, se il problema di Neumann (1.2) ammette una soluzione non banale per un autovalore sufficientemente grande $\alpha > \alpha_0(\Omega)$, allora $\Omega$ deve essere un disco.
• Dipendenza dalla regolarità: L'articolo fornisce cut-off espliciti per l'autovalore $\alpha$ basati sulla regolarità $m$ del dominio. Per un dominio a distanza $\epsilon$ da un disco in una classe $C^m$, la soglia di esclusione scala come $O(1 + \epsilon^{-2p_m})$.
• Nitidezza (Sharpness): Gli autori dimostrano tramite costruzione (Proposizione 3.8) che l'esponente $p_m = \frac{m-1}{m-2}$ è ottimale per la conversione geometrica della distanza in difetto sotto controllo $C^m$ uniforme, anche all'interno della sottoclasse centralmente simmetrica.

Significato e affermazioni
L'articolo rivendica una risposta parzialmente positiva alle congetture di Schiffer e Berenstein in due dimensioni. Il suo significato primario risiede in:

1. Rigidità del singolo autovalore: Rimuove il requisito di una sequenza infinita di autovalori, dimostrando che un singolo autovalore sovradeterminato sufficientemente grande è sufficiente per imporre che il dominio sia un disco, a condizione che il dominio sia uniformemente convesso e sufficientemente regolare.
2. Meccanismo quantitativo: Identifica un meccanismo geometrico specifico — il difetto di ampiezza a due punti — che caratterizza i dischi e quantifica come le deviazioni dalla circolarità impediscano l'esistenza di soluzioni ad alta frequenza.
3. Risoluzione dei controesempi ad alta frequenza: I risultati chiariscono perché i recenti controesempi (che esistono per specifiche frequenze o domini illimitati) non contraddicono la congettura nel regime di alta frequenza per classi convesse controllate. L'articolo stabilisce che, sebbene i controesempi possano esistere al di sotto di una certa soglia di frequenza, essi sono esclusi sopra un cut-off dipendente dalla classe.

Gli autori dichiarano esplicitamente che i loro risultati sono limitati al caso bidimensionale e non costituiscono un teorema di rigidità "per tutte le frequenze" (ovvero, non escludono l'esistenza di un numero finito di autovalori eccezionali al di sotto della soglia derivata); la soglia $\alpha_0(\Omega)$ dipende dalla geometria specifica del dominio, non solo dalla classe, il che significa che il risultato è un' "esclusione ad alta frequenza" piuttosto che un'affermazione universale per tutti gli autovalori.