On the optimal sets in Pólya and Makai type inequalities

Resumen Técnico: Cotas Cuantitativas en Desigualdades de Tipo Pólya y Makai

1. Planteamiento del Problema

El artículo se centra en el estudio de funcionales de forma definidos sobre conjuntos abiertos, acotados y convexos $\Omega \subset \mathbb{R}^n$ ($n \ge 2$). Estos funcionales combinan dos cantidades espectrales y geométricas fundamentales:

1. La rigidez de torsión $T(\Omega)$.
2. El primer valor propio del Laplaciano con condiciones de Dirichlet $\lambda(\Omega)$.

Los autores analizan cuatro funcionales específicos introducidos históricamente por Pólya, Makai y Hersch:

• Funcional de torsión de Pólya: $J_1(\Omega) = \frac{T(\Omega)P^2(\Omega)}{|\Omega|^3}$.
• Funcional de valor propio de Pólya: $J_2(\Omega) = \frac{\lambda(\Omega)|\Omega|^2}{P^2(\Omega)}$.
• Funcional de Makai: $J_3(\Omega) = \frac{T(\Omega)}{R_\Omega^2 |\Omega|}$.
• Funcional de Hersch: $J_4(\Omega) = \lambda(\Omega)R_\Omega^2$.

El problema central: Se sabe que estos funcionales están acotados (por desigualdades cualitativas clásicas), pero no admiten un conjunto óptimo dentro de la clase de conjuntos convexos. En su lugar, los extremos (mínimos o máximos) se alcanzan asintóticamente mediante secuencias de conjuntos que se "adelgazan" o colapsan (como cilindros planos, triángulos finos o pirámides colapsantes).
El objetivo del trabajo es establecer desigualdades cuantitativas (estabilidad) que caractericen el comportamiento de estas secuencias minimizantes. Específicamente, se busca cuantificar qué tan cerca está un funcional de su óptimo en función de parámetros geométricos que miden la "delgadez" del dominio.

2. Metodología

La metodología empleada combina análisis variacional, teoría de funciones de distancia y desigualdades geométricas clásicas.

• Términos de Residuo (Remainder Terms): Los autores introducen y utilizan dos parámetros geométricos clave para medir la desviación de la optimalidad:

  1. $\alpha(\Omega) = \frac{w_\Omega}{\text{diam}(\Omega)}$: La relación entre el ancho mínimo y el diámetro. Mide la "delgadez" global.
  2. $\beta(\Omega) = \frac{P(\Omega)R_\Omega}{|\Omega|} - 1$: Una medida basada en el perímetro, el radio inradio y el volumen.
  • Se demuestra que $\beta(\Omega) \ge C_0(n) \alpha(\Omega)$, pero la recíproca no es cierta (existen secuencias donde $\alpha \to 0$ pero $\beta \not\to 0$).

• Funciones de Distancia y Conjuntos Paralelos Internos:

  • Se utiliza la función de distancia al borde $d(x, \partial\Omega)$.
  • Se analizan los conjuntos paralelos internos $\Omega_t = \{x \in \Omega : d(x, \partial\Omega) > t\}$.
  • Se aprovechan propiedades de concavidad de la medida $\mu(t) = |\Omega_t|$ y del perímetro $P(t)$ de estos conjuntos, derivadas de la desigualdad de Brunn-Minkowski y las desigualdades de Aleksandrov-Fenchel.

• Funciones de Prueba (Test Functions):

  • Para las cotas inferiores, se construyen funciones de prueba específicas basadas en la función de distancia (método de Pólya) para estimar $T(\Omega)$ y $\lambda(\Omega)$.
  • Se selecciona un nivel de corte específico en la función de distancia, $t = |\Omega|/P(\Omega)$, que resulta ser crucial para relacionar la geometría del conjunto con el término de residuo $\beta(\Omega)$.

• Análisis Asintótico:

  • Se estudian secuencias de conjuntos "adelgazantes" (como paralelepípedos $[0,1]^{n-1} \times [0,a]$ con $a \to 0$) para probar la agudeza (sharpness) de los exponentes en las desigualdades.
  • Se utilizan contraejemplos (como pirámides colapsantes) para demostrar que ciertas recíprocas no pueden sostenerse.

3. Contribuciones y Resultados Clave

El artículo establece nuevas desigualdades cuantitativas que vinculan el "déficit" de los funcionales con los términos de residuo $\alpha(\Omega)$ y $\beta(\Omega)$.

A. Caracterización de Secuencias Minimantes mediante $\beta(\Omega)$
Los Teoremas 1.2, 1.3 y 1.4 demuestran que las secuencias que minimizan los funcionales de Pólya y Makai son exactamente aquellas que minimizan $\beta(\Omega)$. Esto significa que $\beta(\Omega)$ caracteriza completamente el comportamiento asintótico de estos funcionales.

• Teorema 1.2 (Torsión de Pólya):
  $$\frac{n+1}{3}\beta(\Omega) \ge \frac{T(\Omega)P^2(\Omega)}{|\Omega|^3} - \frac{1}{3} \ge C \cdot \beta(\Omega)^3$$
  Esto generaliza y mejora resultados previos en dimensión 2, estableciendo que el exponente óptimo para la cota inferior es 3 (en términos de $\beta$).

• Teorema 1.3 (Valor Propio de Pólya):
  $$\frac{\pi^2}{2}\beta(\Omega) \ge \frac{\pi^2}{4} - \frac{\lambda(\Omega)|\Omega|^2}{P^2(\Omega)} \ge C \cdot \beta(\Omega)^4$$
  Se establece una cota inferior con exponente 4, mejorando conocimientos previos.

• Teorema 1.4 (Funcional de Makai):
  $$\frac{2}{3}\beta(\Omega) \ge \frac{1}{3} - \frac{T(\Omega)}{R_\Omega^2 |\Omega|} > C \cdot \beta(\Omega)$$
  Aquí, el exponente es lineal (1), lo que implica una caracterización directa y fuerte de la secuencia minimizante.

B. Resultados en términos de $\alpha(\Omega)$ (Ancho/Diámetro)
La Proposición 1.5 aborda la relación con el parámetro $\alpha(\Omega)$.

• Se demuestra que:
  $$\frac{T(\Omega)P^2(\Omega)}{|\Omega|^3} - \frac{1}{3} \ge C_1(n) \alpha(\Omega)$$
  $$\frac{\pi^2}{4} - \frac{\lambda(\Omega)|\Omega|^2}{P^2(\Omega)} \ge C_2(n) \alpha(\Omega)$$
• Importancia: Esto resuelve una conjetura de trabajos anteriores (como [3]) sobre la optimalidad del exponente 1 para la torsión de Pólya en cualquier dimensión.
• Limitación: Se prueba que la recíproca no es cierta (no se puede acotar $\beta$ superiormente por $\alpha$), lo que justifica la distinción entre los resultados basados en $\alpha$ y $\beta$.

C. Funcional de Hersch
Se obtiene una cota superior para el funcional de Hersch en términos de $\beta(\Omega)$ (Corolario 1.6):
$$\lambda(\Omega)R_\Omega^2 - \frac{\pi^2}{4} \le \frac{\pi^2(n+1)}{4} \beta(\Omega)$$
Esto evita la dependencia de constantes que involucran valores propios de proyecciones, simplificando la expresión.

4. Significado e Impacto

1. Caracterización de la Optimalidad: El trabajo proporciona una descripción precisa de la estructura de las secuencias que acercan los funcionales a sus límites óptimos. Se demuestra que, para estos funcionales, la "cercanía" al óptimo es equivalente a la "cercanía" de la geometría del conjunto a un cilindro plano o una lámina (slab), medida por $\beta(\Omega)$.
2. Resolución de Conjeturas: Se confirma la conjetura sobre el exponente óptimo en las desigualdades cuantitativas para la torsión de Pólya en dimensiones superiores ($n \ge 5$), mostrando que el exponente 1 en $\alpha(\Omega)$ es agudo.
3. Herramientas Nuevas: La introducción y el uso sistemático del término de residuo $\beta(\Omega)$ junto con el análisis de los conjuntos paralelos internos en un nivel específico ($|\Omega|/P(\Omega)$) ofrece una nueva metodología para abordar problemas de estabilidad en optimización de formas sin óptimo.
4. Distinción Geométrica: El artículo clarifica la diferencia fundamental entre medir la delgadez por el ancho/diámetro ($\alpha$) y por la relación perímetro-radio/volumen ($\beta$), mostrando que $\beta$ es el parámetro más adecuado para caracterizar estos funcionales específicos.

5. Conclusiones y Problemas Abiertos

Los autores concluyen que sus resultados caracterizan completamente las secuencias optimizantes de los funcionales de Pólya y Makai en términos de $\beta(\Omega) Sin embargo, señalan que una descripción más precisa de los perfiles de estas secuencias (más allá de ser simplemente "cilindros que colapsan") sigue siendo un problema abierto. Sugieren que futuras investigaciones podrían explorar si estas secuencias se asemejan a "cilindroides" que pierden al menos una dimensión.

En resumen, el artículo avanza significativamente en la teoría de desigualdades isoperimétricas cuantitativas para funcionales espectrales, proporcionando cotas agudas y una comprensión profunda de la geometría de los dominios que casi optimizan estas cantidades físicas y matemáticas.