The Makai inequality in higher dimensions: qualitative and quantitative aspects

Resumen Técnico: La Desigualdad de Makai en Dimensiones Superiores

1. Planteamiento del Problema

El artículo aborda el estudio de la rigidez de torsión ($T(\Omega)$) del Laplaciano en dominios convexos, acotados y abiertos $\Omega \subset \mathbb{R}^n$ (donde $n \ge 2$). El objetivo central es analizar el comportamiento del funcional escalante $F(\Omega)$, definido como:

$$F(\Omega) = \frac{T(\Omega) P^2(\Omega)}{|\Omega|^3}$$

donde:

• $P(\Omega)$ es el perímetro (medida de Hausdorff $(n-1)$-dimensional de la frontera).
• $|\Omega|$ es la medida de Lebesgue (volumen) del dominio.
• $T(\Omega)$ es la rigidez de torsión, definida variacionalmente como:
  $$T(\Omega) = \max_{\substack{\phi \in H^1_0(\Omega) \\ \phi \not\equiv 0}} \frac{\left(\int_\Omega \phi \, dx\right)^2}{\int_\Omega |\nabla \phi|^2 \, dx}$$

Contexto Histórico:

• Minimización: Pólya demostró que $F(\Omega) \ge 1/3$ en el plano, con asintótica alcanzada por rectángulos aplanados. Esto se extendió a dimensiones superiores con cilindros aplanados.
• Maximización (Plano): Makai probó que en $\mathbb{R}^2$, $F(\Omega) \le 2/3$, con la cota alcanzada asintóticamente por triángulos aplanados.
• Conjetura: En dimensiones superiores ($n \ge 3$), Briani, Buttazzo y Prinari conjeturaron que el supremo es:
  $$\sup_{\Omega \in K_n} F(\Omega) = \frac{2n^2}{(n+1)(n+2)}$$
  donde $K_n$ es la clase de conjuntos convexos no vacíos, abiertos y acotados.

2. Metodología

Los autores emplean un enfoque que combina análisis funcional, geometría convexa y cálculo de variaciones. Las herramientas clave incluyen:

1. Función de Distancia y Conjuntos Paralelos Internos: Utilizan la función de distancia al borde $d(x, \partial\Omega)$ y los conjuntos paralelos internos $\Omega_t = \{x \in \Omega : d(x, \partial\Omega) > t\}$.
2. Fórmula de Coárea y Desigualdad de Brunn-Minkowski: Aprovechan la concavidad de la función $t \mapsto P(t)^{1/(n-1)}$ (donde $P(t)$ es el perímetro de $\Omega_t$) para establecer cotas superiores.
3. Aproximación por Poliedros: Demuestran resultados para poliedros convexos y los extienden a conjuntos generales mediante argumentos de aproximación.
4. Análisis Asintótico de Dominios Delgados: Estudian secuencias de dominios que se "adelgazan" (thinning domains), específicamente conos que colapsan, para verificar la agudeza de las cotas.
5. Términos de Residuo Cuantitativo: Introducen parámetros geométricos ($\alpha, \beta, \gamma$) para medir qué tan "delgado" o "tangencial" es un dominio, permitiendo una estimación cuantitativa de la desviación del óptimo.

3. Contribuciones y Resultados Principales

El paper establece tres teoremas fundamentales:

A. Teorema 1.1: Confirmación de la Conjetura de Makai (Cualitativo)

• Resultado: Se prueba que para todo $\Omega \in K_n$:
  $$F(\Omega) \le \frac{2n^2}{(n+1)(n+2)}$$
• Agudeza: La constante es óptima. La igualdad se alcanza asintóticamente por una secuencia de conos que se aplanan (flattening cones).
• Significado: Esto generaliza el resultado de Makai del plano a dimensiones arbitrarias, resolviendo la conjetura abierta.

B. Teorema 1.2: No Existencia de Maximizador (Cualitativo)

• Resultado: El supremo de $F(\Omega)$ no se alcanza en ningún conjunto $\Omega \in K_n$.
• Razón: Cualquier secuencia maximizante $\{\Omega_k\}$ debe ser una secuencia de dominios que se adelgazan, es decir, la relación entre el ancho mínimo y el diámetro tiende a cero:
  $$\lim_{k \to \infty} \frac{w_{\Omega_k}}{\text{diam}(\Omega_k)} = 0$$
  Si existiera un maximizador fijo, su ancho mínimo sería positivo, lo que contradice la condición necesaria para alcanzar el supremo.

C. Teorema 1.3 y Corolario 1.4: Estimaciones Cuantitativas

• Nuevo Parámetro: Se introduce un término de residuo $\gamma(\Omega)$ relacionado con la "espesor" y la geometría tangencial:
  $$\gamma(\Omega) = n - \frac{P(\Omega)R_\Omega}{|\Omega|}$$
  donde $R_\Omega$ es el radio de la bola inscrita.
• Desigualdad Cuantitativa: Se establece una cota inferior para el déficit del funcional:
  $$\frac{2n^2}{(n+1)(n+2)} - F(\Omega) \ge C_1(n) \cdot \gamma(\Omega)^n$$
  donde $C_1(n)$ es una constante explícita dependiente de la dimensión.
• Caracterización de Secuencias: Una secuencia es maximizante si y solo si es una secuencia de cuerpos tangenciales que se aplanan (flattening tangential bodies). Esto significa que tanto el parámetro de adelgazamiento $\alpha(\Omega)$ como el parámetro de cuerpo tangencial $\gamma(\Omega)$ deben tender a cero simultáneamente.

4. Significado e Impacto

1. Resolución de un Problema Abierto: El trabajo cierra la brecha entre la teoría bidimensional (Makai) y las dimensiones superiores, proporcionando la cota superior exacta para la rigidez de torsión en convexos.
2. Comprensión Geométrica de la Optimización: A diferencia de problemas de minimización donde los óptimos suelen ser esferas o formas simétricas, este trabajo demuestra que la maximización de la rigidez de torsión relativa a la geometría del dominio ocurre en el límite de dominios extremadamente delgados y con formas específicas (conos).
3. Estabilidad Cuantitativa: Al proporcionar estimaciones del tipo "déficit $\ge$ constante $\times$ distancia geométrica", el artículo permite cuantificar cuán cerca está un dominio arbitrario de ser un optimizador. Esto es crucial para aplicaciones en ingeniería y física donde se busca maximizar la resistencia a la torsión bajo restricciones de volumen y perímetro.
4. Herramientas Nuevas: La introducción y análisis del parámetro $\gamma(\Omega)$ ofrece una nueva perspectiva para estudiar la estructura de secuencias optimizantes en problemas isoperimétricos, diferenciándose de los parámetros de adelgazamiento tradicionales ($\alpha$ y $\beta$).

En conclusión, el artículo no solo confirma una conjetura importante, sino que profundiza en la naturaleza de las secuencias optimizantes, demostrando que la estructura geométrica de los dominios que maximizan la rigidez de torsión es intrínsecamente singular (delgada y tangencial) en el límite.