An isoperimetric inequality for lower order Neumann eigenvalues in Gauss space

Resumen Técnico: Una desigualdad isoperimétrica para los autovalores de Neumann de orden inferior en el espacio de Gauss

Planteamiento del problema
Este artículo aborda la optimización de los autovalores de Neumann para el Laplaciano de Witten (o el operador de Ornstein-Uhlenbeck) en el contexto de la medida gaussiana. Específicamente, los autores investigan la media armónica de los primeros $m-1$ autovalores de Neumann no nulos, denotados como $\mu_1(\Omega), \dots, \mu_{m-1}(\Omega)$, para un dominio Lipschitz conexo $\Omega \subset \mathbb{R}^m$. El problema central es determinar qué forma de dominio maximiza esta media armónica bajo la restricción de un volumen gaussiano fijo.

Mientras que la clásica desigualdad de Szegö-Weinberger establece que la bola maximiza de forma única el primer autovalor de Neumann ($\mu_1$) en el espacio euclídeo, y su análogo gaussiano fue probado por Chiacchio y Di Blasio para dominios simétricos respecto al origen, el comportamiento de los autovalores de orden inferior (específicamente la suma de sus recíprocos) en el espacio de Gauss permanecía como una cuestión abierta. El artículo busca generalizar el resultado de Szegö-Weinberger a la media armónica de los primeros $m-1$ autovalores para dominios simétricos respecto al origen.

Metodología
La demostración del teorema principal se basa en un enfoque variacional combinado con técnicas de simetrización adaptadas a la medida gaussiana. La metodología procede a través de los siguientes pasos:

1. Caracterización variacional: Los autores utilizan la formulación estándar del cociente de Rayleigh para los autovalores de Neumann en el espacio de Sobolev pesado $H^1(\Omega, d\gamma_m)$. Los autovalores se caracterizan como ínfimos sobre subespacios ortogonales a las autofunciones de orden inferior.
2. Análisis de la bola: Se lleva a cabo un análisis espectral detallado del primer autovalor no nulo $\mu_1(B_R)$ para una bola $B_R$ centrada en el origen. Los autores establecen que:
   • $\mu_1(B_R)$ tiene multiplicidad $m$.
   • Las autofunciones correspondientes toman la forma $u_i(x) = g(r)\psi_i(\theta)$, donde $\psi_i$ son funciones de coordenadas lineales.
   • La parte radial $g(r)$ satisface una ecuación de Sturm-Liouville específica.
   • Crucialmente, el Lema 2.3 demuestra que la autofunción radial $g(r)$ es estrictamente creciente y satisface la desigualdad $g'(r) \leq g(r)/r$ para $r \in (0, R]$.
3. Construcción de funciones de prueba: Para acotar los autovalores de un dominio arbitrario $\Omega$, los autores construyen funciones de prueba $v_i(x)$ basadas en las autofunciones de la bola de comparación $B$. Estas funciones se definen como $v_i(x) = G(|x|) \frac{x_i}{|x|}$, donde $G(r)$ es una extensión de la autofunción radial $g(r)$ que permanece constante fuera del radio de la bola.
4. Factorización QR y Ortogonalidad: Dado que $\Omega$ es simétrico respecto al origen, las funciones de prueba $v_i$ tienen media cero. Los autores emplean un argumento de factorización QR para rotar el sistema de coordenadas, asegurando que las funciones de prueba satisfagan las condiciones de ortogonalidad necesarias respecto a las primeras $i-1$ autofunciones de $\Omega$. Esto permite que $v_i$ sirva como función de prueba válida para la caracterización variacional de $\mu_i(\Omega)$.
5. Simetrización Gaussiana: La demostración utiliza un lema de monotonicidad (Lema 3.1) relativo a la reordenación gaussiana. Este lema establece que, para una función radial no creciente $h(r)$, la integral sobre $\Omega$ está acotada por la integral sobre la bola $B$ del mismo volumen gaussiano. Esto se aplica a los términos que involucran a $G(r)$ y sus derivadas.
6. Síntesis de la desigualdad: Al sumar las desigualdades variacionales para $i=1$ hasta $m$, y utilizando las propiedades de monotonicidad de $g(r)$ y el orden de los autovalores $\mu_1 \leq \dots \leq \mu_m$, los autores derivan una cota inferior para la suma de los recíprocos.

Contribuciones clave y resultados
El resultado principal es el Teorema 1.1, el cual establece una desigualdad isoperimétrica aguda para la media armónica de los primeros $m-1$ autovalores de Neumann en el espacio de Gauss.

Sea $\Omega \subset \mathbb{R}^m$ un dominio Lipschitz simétrico respecto al origen, y sea $B$ la bola centrada en el origen con el mismo volumen gaussiano que $\Omega$. Entonces:
$$\sum_{i=1}^{m-1} \frac{1}{\mu_i(\Omega)} \geq \frac{m-1}{\mu_1(B)}$$
La igualdad se cumple si y solo si $\Omega = B$.

Significado y pretensiones
El artículo afirma que este resultado generaliza la desigualdad de tipo Szegö-Weinberger en el espacio de Gauss establecida previamente por Chiacchio y Di Blasio (específicamente el Teorema 4.1 en [12]), que trataba únicamente con el primer autovalor $\mu_1$. Al demostrar la desigualdad para la media armónica de los primeros $m-1$ autovalores, los autores proporcionan una restricción más fuerte que implica el resultado original (dado que $\mu_1(\Omega) \leq \mu_1(B)$ es una consecuencia directa de la desigualdad de la media armónica debido al orden de los autovalores).

Los autores señalan que, si bien el resultado respalda la conjetura más amplia de Ashbaugh-Benguria respecto a la suma de los recíprocos de los primeros $m$ autovalores en el espacio euclídeo, la cuestión de si dicha conjetura se cumple en el espacio de Gauss sin el supuesto de simetría sigue abierta. El supuesto de simetría en este trabajo es esencial para garantizar la validez de las condiciones de ortogonalidad requeridas para las funciones de prueba.

El artículo no propone nuevas aplicaciones o propuestas experimentales, sino que se centra estrictamente en extender el marco teórico de la geometría espectral en espacios gaussianos.