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

Resumo Técnico: Sobre as Conjecturas de Schiffer e Berenstein com Alta Frequência para Domínios Convexos no Plano

Enunciado do Problema
Este artigo aborda dois problemas clássicos de elipticidade sobredeterminada em geometria espectral, conhecidos como as conjecturas de Schiffer e Berenstein. A questão central é se a existência de uma solução não trivial para esses problemas implica que o domínio limitado subjacente $\Omega \subset \mathbb{R}^2$ deve ser um disco.

Os dois problemas são:

1. A Conjectura de Berenstein (caso de Dirichlet): $-\Delta u = \alpha u$ em $\Omega$, com $u=0$ em $\partial\Omega$ e $\frac{\partial u}{\partial \nu} = c_D$ (constante) em $\partial\Omega$.
2. A Conjectura de Schiffer (caso de Neumann): $-\Delta u = \alpha u$ em $\Omega$, com $\frac{\partial u}{\partial \nu} = 0$ em $\partial\Omega$ e $u = c_N$ (constante) em $\partial\Omega$.

Embora se saiba que bolas admitem soluções, a conjectura postula que as bolas são os únicos domínios que admitem tais soluções. Resultados anteriores de Berenstein e Yang estabeleceram que, se um domínio admite uma sequência infinita de tais autovalores tendendo ao infinito, o domínio deve ser uma bola. No entanto, o caso de um único autovalor grande permaneceu em aberto. Contraexemplos recentes às conjecturas irrestritas (em domínios duplamente conexos ou não limitados) destacam a necessidade de classes geométricas controladas e limiares de frequência.

Metodologia
A abordagem dos autores está fundamentada no método da fase estacionária, mas introduz modificações significativas para lidar com o caso de um único autovalor grande, em vez de uma sequência.

1. Expansão de Fase Estacionária de Dois Pontos:
   Ao contrário de trabalhos anteriores que dependiam do limite de uma sequência infinita de autovalores (onde os parâmetros $t$ e $\lambda$ poderiam variar independentemente para satisfazer condições assintóticas específicas), este artigo fixa o autovalor $\alpha$ como grande, porém finito. Eles expressam $\alpha = \lambda^2 - t^2$ com $t \in \{-1, 1\}$ fixo e $\lambda = \sqrt{\alpha + 1}$ grande.
   Utilizando identidades de Green, a existência de uma solução é reduzida ao desaparecimento de integrais oscilatórias específicas sobre o contorno $\partial\Omega$. Os autores aplicam uma expansão de fase estacionária uniforme de dois pontos a essas integrais. Para um domínio uniformemente convexo, a função de fase possui exatamente dois pontos críticos não degenerados (pontos antipodais).

2. Defeito de Amplitude de Dois Pontos ($B(\Omega)$):
   Uma inovação fundamental é a introdução do "defeito de amplitude de dois pontos", definido como:
   $$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|$$
   onde $h$ é a função de suporte e $\rho = h + h''$ é o raio de curvatura. Os autores provam que $B(\Omega) = 0$ se, e somente se, $\Omega$ é um disco.

3. Estimativas Geométricas Quantitativas:
   O artigo estabelece uma relação quantitativa entre o defeito $B(\Omega)$ e a distância geométrica de $\Omega$ em relação a um disco.

   • Caso Geral: Para domínios em uma classe $C^m$ controlada ($m \ge 5$), eles provam que $B(\Omega) \ge c_m \min(d_{\text{disk}}(\Omega)^{p_m}, 1)$, onde $p_m = \frac{m-1}{m-2}$ e $d_{\text{disk}}$ é a distância da função de suporte $C^2$. Isso baseia-se em uma decomposição par-ímpar da função de suporte e desigualdades de interpolação.
   • Caso de Simetria Central: Se $\Omega$ é centralmente simétrico, o defeito relaciona-se linearmente com a distância de Hausdorff em relação a discos centrados, resultando em uma estimativa mais forte.

4. Exclusão de Alta Frequência:
   Ao combinar a expansão de fase estacionária (que mostra que a integral é dominada pelo defeito) com as estimativas geométricas, os autores derivam um limiar. Se o autovalor $\alpha$ exceder um limite específico dependente da classe geométrica e da distância de um disco, o defeito não poderá ser zero, e assim nenhuma solução existirá.

Contribuições Principais e Resultados

• Teorema 1.1 (Conjectura de Berenstein): Para um domínio uniformemente convexo $\Omega \subset \mathbb{R}^2$ com contorno $C^{2,\epsilon}$, se o problema de Dirichlet (1.1) admite uma solução não trivial para um autovalor suficientemente grande $\alpha > \alpha_0(\Omega)$, então $\Omega$ deve ser um disco.
• Teorema 1.2 (Conjectura de Schiffer): Da mesma forma, para um domínio uniformemente convexo $\Omega \subset \mathbb{R}^2$ com um contorno Lipschitz conexo, se o problema de Neumann (1.2) admite uma solução não trivial para um autovalor suficientemente grande $\alpha > \alpha_0(\Omega)$, então $\Omega$ deve ser um disco.
• Dependência de Regularidade: O artigo fornece cortes explícitos para o autovalor $\alpha$ baseados na regularidade $m$ do domínio. Para um domínio a uma distância $\epsilon$ de um disco em uma classe $C^m$, o limiar de exclusão escala como $O(1 + \epsilon^{-2p_m})$.
• Nitidez (Sharpness): Os autores demonstram via construção (Proposição 3.8) que o expoente $p_m = \frac{m-1}{m-2}$ é ótimo para a conversão geométrica de distância para defeito sob controle $C^m$ uniforme, mesmo dentro da subclasse centralmente simétrica.

Significância e Alegações
O artigo alega uma resposta parcialmente positiva às conjecturas de Schiffer e Berenstein em duas dimensões. Sua principal significância reside em:

1. Rigidez de Único Autovalor: Ele remove a exigência de uma sequência infinita de autovalores, provando que um único autovalor sobredeterminado suficientemente grande é suficiente para forçar o domínio a ser um disco, desde que o domínio seja uniformemente convexo e suficientemente suave.
2. Mecanismo Quantitativo: Identifica um mecanismo geomético específico — o defeito de amplitude de dois pontos — que caracteriza discos e quantifica como desvios da circularidade impedem a existência de soluções de alta frequência.
3. Resolução de Contraexemplos de Alta Frequência: Os resultados esclarecem por que contraexemplos recentes (que existem para frequências específicas ou domínios não limitados) não contradizem a conjectura no regime de alta frequência para classes convexas controladas. O artigo estabelece que, embora contraexemplos possam existir abaixo de um limiar de frequência, eles são excluídos acima de um corte dependente da classe.

Os autores declaram explicitamente que seus resultados são restritos ao caso bidimensional e não constituem um teorema de rigidez de "todas as frequências" (ou seja, eles não descartam a existência de um número finito de autovalores excepcionais abaixo do limiar derivado); o limiar $\alpha_0(\Omega)$ depende da geometria específica do domínio, não apenas da classe, o que significa que o resultado é uma "exclusão de alta frequência" em vez de uma afirmação universal para todos os autovalores.