On the stability of the annulus for the torsion of multiply connected domains

Resumen Técnico: Sobre la estabilidad del anillo para la torsión de dominios multiconexos

Planteamiento del Problema
El artículo aborda la estabilidad de la desigualdad isoperimétrica asociada a la rigidez torsional de dominios multiconexos. Si bien es un resultado clásico (Pólya y Weinstein, 1950) que entre todos los dominios multiconexos con un área total fija y un área total de agujeros fija, el anillo concéntrico maximiza la rigidez torsional, la cuestión de la estabilidad permanece: si la rigidez torsional de un dominio está cerca de este máximo, ¿qué tan cerca está el dominio geométricamente de un anillo?

Los autores consideran un dominio $\Omega = G \setminus S$, donde $G$ es un dominio Lipschitz acotado y $S = \bigcup_{i=1}^m \Omega_i$ representa $m$ agujeros disjuntos. La rigidez torsional $T(\Omega)$ se define mediante un cociente de Rayleigh que involucra la solución a una ecuación de Poisson con condiciones de contorno de Dirichlet en $\partial G$ y valores constantes (pero desconocidos) en las fronteras de los agujeros.

Metodología
Los autores emplean una combinación de técnicas de reordenamiento, desigualdades geométricas cuantitativas y la propagación de la asimetría.

1. Reordenamiento y Simetrización: El análisis se apoya fuertemente en el reordenamiento de Schwarz ($u^\sharp$) y el reordenamiento decreciente ($u^*$) de la función de torsión. Los autores utilizan la desigualdad de Pólya-Szegő y sus versiones cuantitativas para comparar la energía de la solución en el dominio general $\Omega$ con la del anillo óptimo $\Omega_O$.
2. Desigualdades Isoperimétricas Cuantitativas: La prueba integra la desigualdad isoperimétrica cuantitativa (Teorema 2.9), que relaciona el déficit de perímetro con el índice de asimetría de Fraenkel $\alpha(\Omega)$. Esto permite a los autores traducir un déficit en la rigidez torsional en un déficit geométrico (asimetría) de los conjuntos de nivel de la función de torsión.
3. Propagación de la Asimetría: Una técnica central consiste en "propagar" la asimetría desde los conjuntos de nivel de la solución hacia las fronteras del dominio. Los autores adaptan lemas relativos a la estabilidad de conjuntos bajo pequeñas perturbaciones de medida (por ejemplo, el Lema 2.10 y el Lema 5.3) para mostrar que, si la rigidez torsional global está cerca de la óptima, la frontera exterior $G$ y la unión de los agujeros $S$ deben ser individualmente cercanos a bolas.
4. Análisis de Concentricidad: Para establecer que el dominio es cercano a un anillo (bolas concéntricas) en lugar de simplemente dos bolas separadas, los autores analizan la "casi radialidad" de la función de torsión. Definen una función truncada $w$ y utilizan la desigualdad cuantitativa de Pólya-Szegő (Teorema 2.11) para mostrar que el gradiente de la solución es cercano al del la solución radial, lo que implica que los agujeros no solo son esféricos, sino también casi concéntricos con la frontera exterior.

Contribuciones Clave y Resultados

• Caracterización de la Rigidez (Proposición 1.1 y Teorema 3.1): Los autores proporcionan una caracterización precisa del caso de igualdad para la desigualdad de Pólya-Weinstein. Demuestran que, si $T(\Omega) = T(\Omega_O)$, entonces $\Omega$ debe ser un anillo concéntrico (salvo traslación). Esto extiende resultados parciales previos a una caracterización completa para dominios multiconexos.
• Estabilidad vía Asimetría de Fraenkel (Teorema 1.2): El artículo establece un resultado de estabilidad cuantitativa. Bajo la suposición de que el área del agujero $|S|$ no es demasiado grande en relación con el dominio exterior ($|S| \leq \frac{2}{3}|G|$), el déficit en la rigidez torsional controla la suma de los cubos de las asimetrías de Fraenkel del dominio exterior y de los agujeros:
  $$T(\Omega_O) - T(\Omega) \geq C \left( |G|^2 \alpha^3(G) + |S|^2 \alpha^3(S) \right).$$
  Este resultado implica que, si la rigidez es cercana a la óptima, tanto la frontera exterior como los agujeros deben ser cercanos a bolas.
• Estabilidad vía Asimetría Anular (Teorema 1.3): Los autores introducen un "índice de asimetría anular" $\beta(\Omega)$, que mide la distancia de $\Omega$ respecto al anillo concéntrico óptimo. Demuestran que el déficit de rigidez controla este índice:
  $$T(\Omega_O) - T(\Omega) \geq C \beta^\theta(\Omega).$$
  Esto confirma que la casi optimalidad en la rigidez fuerza al dominio a estar cerca de una configuración de anillo concéntrico, no solo de una colección de bolas.

Significado y Pretensiones
El artículo pretende resolver la cuestión de la estabilidad para la rigidez torsional de dominios multiconexos, un problema donde las caracterizaciones más precisas del caso de igualdad no estaban disponibles previamente. La importancia radica en:

1. Completar el Panorama de la Rigidez: Ir más allá de la existencia de la forma óptima para proporcionar una descripción precisa del caso de igualdad y el comportamiento de las formas casi óptimas.
2. Manejo de Múltiples Agujeros: Extender el análisis de estabilidad a dominios con un número arbitrario de agujeros ($m \geq 1$), demostrando que la configuración óptima requiere no solo agujeros esféricos, sino también su concentricidad con la frontera exterior.
3. Avance Metodológico: Demostrar cómo las técnicas de propagación de la asimetría, aplicadas previamente a dominios simplemente conexos, pueden adaptarse a la geometría más compleja de los dominios multiconexos mediante el análisis separado de la frontera exterior y de los agujeros.

Los autores mantienen la modestia respecto a la optimalidad de los exponentes en sus estimaciones de estabilidad, enumerando explícitamente la determinación del exponente óptimo en los Teoremas 1.2 y 1.3 como un problema abierto. También sugieren que una versión cuantificada de las cotas de Diaz-Weinstein que involucre momentos de segundo orden podría ser una dirección futura.