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

Resumen Técnico: Sobre las Conjeturas de Schiffer y Berenstein con Alta Frecuencia para Dominios Convexos en el Plano

Planteamiento del Problema
Este artículo aborda dos problemas elípticos sobredeterminados clásicos en geometría espectral, conocidos como las conjeturas de Schiffer y Berenstein. La cuestión central es si la existencia de una solución no trivial a estos problemas implica que el dominio acotado subyacente $\Omega \subset \mathbb{R}^2$ debe ser un disco.

Los dos problemas son:

1. La Conjetura de Berenstein (caso de Dirichlet): $-\Delta u = \alpha u$ en $\Omega$, con $u=0$ en $\partial\Omega$ y $\frac{\partial u}{\partial \nu} = c_D$ (constante) en $\partial\Omega$.
2. La Conjetura de Schiffer (caso de Neumann): $-\Delta u = \alpha u$ en $\Omega$, con $\frac{\partial u}{\partial \nu} = 0$ en $\partial\Omega$ y $u = c_N$ (constante) en $\partial\Omega$.

Si bien se sabe que los círculos admiten soluciones, la conjetura postula que los círculos son los únicos dominios que admiten tales soluciones. Resultados previos de Berenstein y Yang establecieron que si un dominio admite una secuencia infinita de tales autovalores tendiendo al infinito, el dominio debe ser un círculo. Sin embargo, el caso de un único autovalor grande permanecía abierto. Contraejemplos recientes a las conjeturas sin restricciones (en dominios doblemente conexos o no acotados) resaltan la necesidad de clases geométricas controladas y umbrales de frecuencia.

Metodología
El enfoque de los autores se basa en el método de la fase estacionaria, pero introduce modificaciones significativas para manejar el caso de un único autovalor grande en lugar de una secuencia.

1. Expansión de Fase Estacionaria de Dos Puntos:
   A diferencia de trabajos anteriores que dependían del límite de una secuencia infinita de autovalores (donde los parámetros $t$ y $\lambda$ podían variar independientemente para satisfacer condiciones asintóticas específicas), este artículo fija el autovalor $\alpha$ como grande pero finito. Expresan $\alpha = \lambda^2 - t^2$ con $t \in \{-1, 1\}$ fijo y $\lambda = \sqrt{\alpha + 1}$ grande.
   Utilizando identidades de Green, la existencia de una solución se reduce a la anulación de integrales oscilatorias específicas sobre la frontera $\partial\Omega$. Los autores aplican una expansión de fase estacionaria uniforme de dos puntos a estas integrales. Para un dominio uniformemente convexo, la función de fase tiene exactamente dos puntos críticos no degenerados (puntos antipodales).

2. Defecto de Amplitud de Dos Puntos ($B(\Omega)$):
   Una innovación clave es la introducción del "defecto de amplitud de dos puntos", 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|$$
   donde $h$ es la función de soporte y $\rho = h + h''$ es el radio de curvatura. Los autores demuestran que $B(\Omega) = 0$ si y solo si $\Omega$ es un disco.

3. Estimaciones Geométricas Cuantitativas:
   El artículo establece una relación cuantitativa entre el defecto $B(\Omega)$ y la distancia geométrica de $\Omega$ respecto a un disco.

   • Caso General: Para dominios en una clase $C^m$ controlada ($m \ge 5$), demuestran que $B(\Omega) \ge c_m \min(d_{\text{disk}}(\Omega)^{p_m}, 1)$, donde $p_m = \frac{m-1}{m-2}$ y $d_{\text{disk}}$ es la distancia de la función de soporte $C^2$. Esto se basa en una descomposición par-impar de la función de soporte e desigualdades de interpolación.
   • Caso de Simetría Central: Si $\Omega$ es centralmente simétrico, el defecto se relaciona linealmente con la distancia de Hausdorff respecto a discos centrados, lo que produce una estimación más fuerte.

4. Exclusión de Alta Frecuencia:
   Al combinar la expansión de fase estacionaria (que muestra que la integral está dominada por el defecto) con las estimaciones geométricas, los autores derivan un umbral. Si el autovalor $\alpha$ excede un límite específico que depende de la clase geométrica y la distancia de un disco, el defecto no puede ser cero, y por lo tanto no existe solución.

Contribuciones Clave y Resultados

• Teorema 1.1 (Conjetura de Berenstein): Para un dominio uniformemente convexo $\Omega \subset \mathbb{R}^2$ con frontera $C^{2,\epsilon}$, si el problema de Dirichlet (1.1) admite una solución no trivial para un autovalor suficientemente grande $\alpha > \alpha_0(\Omega)$, entonces $\Omega$ debe ser un disco.
• Teorema 1.2 (Conjetura de Schiffer): De manera similar, para un dominio uniformemente convexo $\Omega \subset \mathbb{R}^2$ con una frontera de Lipschitz conexa, si el problema de Neumann (1.2) admite una solución no trivial para un autovalor suficientemente grande $\alpha > \alpha_0(\Omega)$, entonces $\Omega$ debe ser un disco.
• Dependencia de la Regularidad: El artículo proporciona cortes explícitos para el autovalor $\alpha$ basados en la regularidad $m$ del dominio. Para un dominio a una distancia $\epsilon$ de un disco en una clase $C^m$, el umbral de exclusión escala como $O(1 + \epsilon^{-2p_m})$.
• Nitidez (Sharpness): Los autores demuestran mediante construcción (Proposición 3.8) que el exponente $p_m = \frac{m-1}{m-2}$ es óptimo para la conversión geométrica de distancia a defecto bajo control $C^m$ uniforme, incluso dentro de la subclase de simetría central.

Significado y Reivindicaciones
El artículo afirma una respuesta parcial positiva a las conjeturas de Schiffer y Berenstein en dos dimensiones. Su principal significancia radica en:

1. Rigidez de un Único Autovalor: Elimina el requisito de una secuencia infinica de autovalores, demostrando que un único autovalor sobredeterminado suficientemente grande es suficiente para forzar al dominio a ser un disco, siempre que el dominio sea uniformemente convexo y suficientemente suave.
2. Mecanismo Cuantitativo: Identifica un mecanismo geométrico específico —el defecto de amplitud de dos puntos— que caracteriza a los discos y cuantifica cómo las desviaciones de la circularidad impiden la existencia de soluciones de alta frecuencia.
3. Resolución de Contraejemplos de Alta Frecuencia: Los resultados aclaran por qué los contraejemplos recientes (que existen para frecuencias específicas o dominios no acotados) no contradicen la conjetura en el régimen de alta frecuencia para clases convexas controladas. El artículo establece que, si bien los contraejemplos pueden existir por debajo de un umbral de frecuencia determinado, quedan excluidos por encima de un corte dependiente de la clase.

Los autores declaran explícitamente que sus resultados están restringidos al caso de dos dimensiones y no constituyen un teorema de rigidez de "todas las frecuencias" (es decir, no descartan la existencia de un número finito de autovalores excepcionales por debajo del umbral derivado); el umbral $\alpha_0(\Omega)$ depende de la geometría específica del dominio, no solo de su clase, lo que significa que el resultado es una "exclusión de alta frecuencia" en lugar de una declaración universal para todos los autovalores.