An improved version of a spectral inequality by Payne

1. Planteamiento del Problema

El trabajo se centra en la relación espectral entre dos problemas de autovalores clásicos definidos en un conjunto convexo acotado $\Omega \subset \mathbb{R}^n$:

1. El problema de Dirichlet para el Laplaciano:
   $$-\Delta u = \lambda u \quad \text{en } \Omega, \quad u = 0 \quad \text{en } \partial\Omega.$$
   Donde $\lambda(\Omega)$ es el primer autovalor.
2. El problema de pandeo (Buckling):
   $$-\Delta^2 v = \Lambda \Delta v \quad \text{en } \Omega, \quad v = \partial_\nu v = 0 \quad \text{en } \partial\Omega.$$
   Donde $\Lambda(\Omega)$ es el primer autovalor de pandeo.

Desigualdad Clásica: En 1971, L.E. Payne demostró que para cualquier conjunto convexo $\Omega$, se cumple la desigualdad:
$$\Lambda(\Omega) \leq 4\lambda(\Omega).$$
Durante décadas, se creyó que la constante 4 era óptima (no mejorable), basándose en la intuición de que una banda infinita (strip) asimptóticamente alcanzaba la igualdad. El objetivo de este artículo es refutar esta creencia y establecer una versión cuantitativa y más precisa de esta desigualdad, demostrando que el factor 4 puede reducirse estrictamente para conjuntos convexos en dimensiones $n \geq 2$.

2. Metodología

Los autores emplean una combinación de análisis variacional, estimaciones de concavidad logarítmica y construcciones geométricas de dominios de prueba.

• Análisis de la Banda Infinita (Strip):
  Los autores reexaminan el caso de la banda infinita $H = \mathbb{R} \times (0, \pi)$. Mientras que la solución clásica asume funciones constantes en la dirección longitudinal (reduciendo el problema a una EDO unidimensional que da $\Lambda = 4$), demuestran que al permitir soluciones oscilatorias en la dirección longitudinal (de la forma $w(x,y) = h(y)\cos(\sqrt{\mu}x)$), se pueden encontrar autovalores más pequeños.
  Calculan numéricamente que el mínimo autovalor de pandeo para la banda es aproximadamente $\Lambda(H) \approx 3.757$, lo cual es estrictamente menor que 4.

• Mejora de la Concavidad Logarítmica:
  Utilizan una estimación reciente de concavidad logarítmica mejorada para las autofunciones de Dirichlet positivas (Teorema 3.1). Si $u$ es la primera autofunción y $v = \log(u)$, se tiene una cota inferior para la curvatura de las superficies de nivel:
  $$-\langle D^2 v(x)\eta, \eta \rangle \geq \frac{\pi^2}{D(\Omega)^2}|\eta|^2.$$
  Esto permite acotar la curvatura media $H_u$ de las superficies de nivel de $u$, introduciendo un término de corrección en la desigualdad de Payne.

• Funciones de Prueba Variacionales:

  • Para conjuntos "gruesos": Utilizan $u^2$ (el cuadrado de la autofunción de Dirichlet) como función de prueba para el problema de pandeo, incorporando el término de corrección derivado de la concavidad logarítmica.
  • Para conjuntos "delgados" (thin sets): Introducen funciones de prueba oscilatorias de la forma $h(x)\sin(\sqrt{\mu}x \cdot \nu)$ y $h(x)\cos(\sqrt{\mu}x \cdot \nu)$, donde $h$ es una función en $H^2_0(\Omega)$. Esto permite capturar el comportamiento asintótico de dominios muy alargados.

• Geometría de Dominios:
  Para probar el resultado general, aproximan un conjunto convexo arbitrario mediante cilindros o envolventes convexas que se ajustan a la geometría del dominio, utilizando la monotonía de los autovalores respecto al dominio.

3. Contribuciones y Resultados Clave

El artículo presenta dos desigualdades mejoradas que dependen de la "delgadez" del conjunto convexo, cuantificada por el parámetro adimensional $T(\Omega)$:
$$T(\Omega) = \frac{(n-1)\pi^2}{D(\Omega)^2 \lambda(\Omega)},$$
donde $D(\Omega)$ es el diámetro del conjunto.

A. Desigualdad para Conjuntos No Delgados (Proposición 3.2)

Para conjuntos convexos donde $T(\Omega)$ es significativo (conjuntos más "redondos" o menos alargados), se demuestra:
$$\Lambda(\Omega) \leq (4 - 2T(\Omega))\lambda(\Omega).$$
Esta mejora es directa y muestra que la constante 4 se reduce proporcionalmente a la "grosor" del conjunto.

B. Desigualdad para Conjuntos Delgados (Proposición 3.7)

Para conjuntos muy delgados (donde $T(\Omega) \to 0$, como bandas muy largas), la mejora anterior se vuelve débil. Los autores derivan una nueva cota asintótica:
$$\Lambda(\Omega) \leq \frac{8}{3\sqrt{2}} \left( 1 + \frac{2^{5/6}}{(n-1)^{1/3} T(\Omega)^{1/3}} \right)^3 \lambda(\Omega).$$
Aunque esta expresión parece compleja, su límite superior global es estrictamente menor que 4. Específicamente, el factor asintótico es $\frac{8}{3\sqrt{2}} \approx 1.885$ (aunque la expresión completa depende de $T$), y el mínimo global sobre todos los $\mu$ en la banda infinita es $\approx 3.757$.

C. Teorema Principal (Teorema 1.1)

El resultado culminante establece que existe una constante $C_n < 4$ tal que para todo conjunto convexo $\Omega \subset \mathbb{R}^n$ con $n \geq 2$:
$$\Lambda(\Omega) \leq C_n \lambda(\Omega).$$
Los autores prueban que el supremo de la razón $\Lambda(\Omega)/\lambda(\Omega)$ sobre todos los conjuntos convexos es estrictamente menor que 4.

• Para $n \geq 5$, proponen una cota explícita: $C_n = \frac{8}{3}\sqrt{2 - \frac{4}{n} + \frac{2}{n}}$.
• Para $n=2,3,4$, la cota es el mínimo entre la mejora para conjuntos gruesos y la mejora para conjuntos delgados.

4. Significado e Impacto

1. Refutación de una Conjetura: El trabajo demuestra rigurosamente que la constante 4 en la desigualdad de Payne no es óptima para $n \geq 2$, corrigiendo una creencia establecida durante décadas basada en la intuición de la banda infinita.
2. Cuantificación Geométrica: Introduce una dependencia explícita de la constante espectral con la geometría del dominio (diámetro y ancho mínimo), ofreciendo una herramienta más precisa para estimar autovalores en aplicaciones de ingeniería y física matemática.
3. Nuevas Técnicas: La combinación de la concavidad logarítmica mejorada con funciones de prueba oscilatorias abre nuevas vías para el estudio de desigualdades espectrales en variedades riemannianas y otros contextos geométricos.
4. Problema Abierto: El artículo deja como problema abierto la determinación exacta del valor supremo de la razón $\Lambda(\Omega)/\lambda(\Omega)$ y pregunta si este supremo es alcanzado por la banda infinita (lo cual parece ser el caso, dado el análisis numérico $\approx 3.757$).

En resumen, este artículo representa un avance significativo en la teoría espectral de operadores elípticos, transformando una desigualdad clásica "rígida" en una relación espectral dinámica y dependiente de la geometría, con constantes estrictamente mejores.