Resumen Técnico: Sobre algunos funcionales que involucran la rigidez torsional, el autovalor principal y el perímetro

1. Planteamiento del problema

Este artículo investiga la interacción entre dos cantidades geométricas fundamentales asociadas al Laplaciano en un dominio $\Omega \subset \mathbb{R}^m$: la rigidez torsional $T(\Omega)$ y el primer autovalor de Dirichlet $\Lambda(\Omega)$. Mientras que la desigualdad de Saint–Venant establece que las bolas maximizan la rigidez torsional para un volumen (o perímetro) fijo, y la desigualdad de Faber–Krahn establece que las bolas minimizan el primer autovalor para un volumen (o perímetro) fijo, el comportamiento de su producto es no trivial debido a estas propiedades extremales opuestas.

El objetivo principal es optimizar el producto $\Lambda(\Omega)T(\Omega)$ bajo una restricción de perímetro prescrito. Los autores definen el funcional invariante por escala:
$$G(\Omega) := \frac{T(\Omega)\Lambda(\Omega)}{P(\Omega)^{\frac{m}{m-1}}}$$
donde $P(\Omega)$ denota el perímetro de De Giorgi. El estudio se lleva a cabo en tres clases distintas de dominios:

1. $\mathcal{O}$: La clase de subconjuntos abiertos de $\mathbb{R}^m$ con perímetro finito.
2. $\mathcal{C}$: La subclase de conjuntos abiertos, acotados y convexos.
3. $\mathcal{S}_{\delta, \gamma}$: La clase de conjuntos "casi esféricos" (perturbaciones de la bola unidad $B_1$).

Además, el artículo generaliza este problema a una familia de funcionales $F_q(\Omega) = T(\Omega)^q \Lambda(\Omega) V(\Omega)^{-\alpha_q}$ (donde $\alpha_q = \frac{(m+2)q-2}{m}$) y un correspondiente generalización con restricción de perímetro $G_q(\Omega)$.

2. Metodología

Los autores emplean una combinación de teoría de optimización de formas, análisis espectral y desigualdades geométricas.

• Derivadas de forma y estabilidad: La herramienta analítica central es el cálculo de variaciones para funcionales de forma. Los autores utilizan el teorema de estructura para las primeras y segundas derivadas de forma (Teorema 2.6) para analizar la criticidad y estabilidad de la bola. Verifican que la bola es una forma crítica (la primera derivada se anula) e investigan la coercitividad de la segunda derivada (Hessiano) en espacios de Sobolev fraccionarios ($H^s$).
• Expansión en armónicos esféricos: Para analizar la segunda variación de los funcionales sobre la bola, los autores expanden las perturbaciones de la frontera $h$ en términos de armónicos esféricos. Esto les permite calcular explícitamente los autovalores del Hessiano, determinando si la bola es un minimizador local, maximizador o punto de silla basándose en el signo de los coeficientes $G_k$ o $F^q_k$.
• Homogeneización y argumentos de homogeneización: Para establecer cotas en la clase de conjuntos abiertos ($\mathcal{O}$), los autores construyen secuencias específicas de dominios.
  • Secuencias minimizadoras: Construidas mediante dominios adelgazados o secuencias donde la razón isoperimétrica se anula.
  • Secuencias maximizadoras: Construidas mediante homogeneización (introduciendo una matriz densa de pequeños agujeros) para aproximarse al supremo del funcional de Pólya, combinada con el control de la razón isoperimétrica.
• Desigualdades geométricas: El análisis se apoya fuertemente en desigualdades conocidas como las de Saint–Venant y Faber–Krahn, así como en cotas específicas para conjuntos convexos que involucran el diámetro, el radio interior y el ancho mínimo (por ejemplo, Proposiciones 2.3–2.5).
• Análisis de regularidad: Para el caso convexo en el entorno plano ($m=2$), se utiliza un argumento de contradicción para probar que cualquier maximizador debe tener una frontera de clase $C^1$, descartando esquinas.

3. Contribuciones y resultados clave

A. Optimización en la clase de conjuntos abiertos ($\mathcal{O}$)

• Ínfimo: El ínfimo de $G(\Omega)$ sobre $\mathcal{O}$ es 0. Esto se logra mediante secuencias de conjuntos que se vuelven cada vez más delgados (razón isoperimétrica evanescente).
• Supremo: El supremo no se alcanza. Está dado por el valor $m^{\frac{m}{m-1}} \omega_m^{-\frac{1}{m-1}}$ (donde $\omega_m$ es el volumen de la bola unidad). Este valor es aproximado por secuencias construidas mediante la homogeneización de una bola, donde el funcional de Pólya se aproxima a 1 y la razón isoperimétrica está controlada.
• Generalización ($G_q$): Para el funcional generalizado $G_q$, si $q \le \frac{2}{m+2}$, la bola es el minimizador global. Si $q > \frac{2}{m+2}$, el ínfimo es 0. El supremo es $+\infty$ para $q < 1$ y finito para $q \ge 1$.

B. Optimización en la clase de conjuntos convexos ($\mathcal{C}$)

• Existencia de maximizadores: A diferencia de la clase $\mathcal{O}$, el supremo de $G(\Omega)$ sobre $\mathcal{C}$ sí se alcanza. Los autores prueban la existencia de un maximizador demostrando que las secuencias maximizadoras no pueden "colapsar" (es decir, la razón entre el ancho mínimo y el diámetro no puede anularse) y, por lo tanto, convergen a un límite convexo.
• Regularidad: En el caso plano ($m=2$), cualquier maximizador de $G$ en $\mathcal{C}$ es de clase $C^1$. La prueba demuestra que un punto de esquina permitiría una perturbación que aumentaría el valor del funcional, contradiciendo la maximalidad.
• La bola como candidata: Sigue siendo un problema abierto si la bola es el maximizador global en $\mathcal{C}$. Las simulaciones numéricas apoyan esta conjetura, pero no está probada.
• Generalización ($G_q$): El comportamiento de $G_q$ en $\mathcal{C}$ depende de $q$. Para $q > 2/3$, el ínfimo es 0 y existe un maximizador. Para $q < 2/3$, el supremo es $+\infty$.

C. Optimalidad local y estabilidad (Dominios casi esféricos)

El artículo proporciona un análisis local detallado de la estabilidad de la bola para $G$ y la familia $F_q$ (y $G_q$) dentro de la clase de conjuntos casi esféricos $\mathcal{S}_{\delta, \gamma}$.

• Maximalidad local de la bola para $G$: La bola es un maximizador local estricto para el funcional $G$. Específicamente, existe una constante $C > 0$ tal que para cualquier perturbación casi esférica $B_h$:
  $$G(B_1) - G(B_h) > C \|h\|_{H^1(\partial B_1)}^2$$
• Comportamiento local de $F_q$ y $G_q$: La estabilidad de la bola depende críticamente del parámetro $q$:
  • $q < \frac{2}{m+2}$: La bola es un minimizador estricto.
  • $\frac{2}{m+2} < q < q^*$: La bola es un punto de silla (ni minimizador ni maximizador local). Aquí $q^*$ es un umbral crítico que involucra el primer cero de una función de Bessel.
  • $q > q^*$: La bola se convierte en un maximizador estricto.
• Significado de $q^*$: El artículo identifica un intervalo de valores de $q$ (específicamente entre $\frac{2}{m+2}$ y $q^*$) donde la bola se comporta como un punto de silla. Esto contrasta con el comportamiento global donde la bola es el minimizador global para $q \le \frac{2}{m+2}$.

4. Significado y afirmaciones

El artículo afirma resolver la optimización del producto de la rigidez torsional y el primer autovalor bajo una restricción de perímetro, un problema que no había sido caracterizado completamente en la literatura.

• Resolución de valores extremales: Los autores establecen que, si bien el ínfimo del funcional es 0 en la clase general de conjuntos abiertos, el supremo no se alcanza. Sin embargo, restringir el problema a conjuntos convexos asegura la existencia de un maximizador.
• Estabilidad local: Una contribución significativa es la prueba rigurosa de que la bola es un maximizador local para el funcional del producto con restricción de perímetro $G$. Esto proporciona un fuerte apoyo teórico a la conjetura de que la bola es el maximizador global en la clase convexa.
• Generalización: El trabajo extiende el análisis clásico del funcional de Pólya a una familia más amplia de funcionales $F_q$ y $G_q$, trazando la transición de la minimalidad a la maximalidad (y el comportamiento de punto de silla) a medida que varía el exponente $q$.
• Rigor metodológico: El artículo proporciona un marco completo para analizar las derivadas de forma de funciales mixtos espectrales-geométricos, manejando específicamente la interacción entre volumen, perímetro y cantidades espectrales mediante expansiones de armónicos esféricos.

Los autores se mantienen modestos respecto a la optimalidad global de la bola en la clase convexa, declarando explícitamente que si el máximo es alcanzado por una bola sigue siendo un problema abierto, a pesar de la evidencia numérica y la probada estabilidad local.