Geometrical bounds for the torsion and the first eigenvalue of the Laplacian with Robin boundary condition

A continuación presento un resumen técnico detallado del artículo "Geometrical bounds for the torsion and the first eigenvalue of the Laplacian with Robin boundary condition" (Límites geométricos para la torsión y el primer autovalor del Laplaciano con condición de frontera de Robin), escrito por Rosa Barbato, Alba Lia Masiello y Rossano Sannipoli.

1. Planteamiento del Problema

El artículo se centra en el estudio de funcionales geométricos asociados a dos problemas clásicos de valores propios en el Laplaciano, pero bajo condiciones de frontera de Robin (en lugar de las condiciones de Dirichlet tradicionales). Sea $\Omega \subset \mathbb{R}^n$ un conjunto abierto, acotado y convexo, y $\beta > 0$ un parámetro.

Los dos problemas fundamentales son:

1. Problema de Torsión (TP):
   $$\begin{cases} -\Delta u = 1 & \text{en } \Omega \\ \frac{\partial u}{\partial \nu} + \beta u = 0 & \text{en } \partial\Omega \end{cases}$$
   Se define la Torsión de Robin $T_\beta(\Omega)$ como la norma $L^1$ de la solución única, o mediante su caracterización variacional.

2. Problema de Autovalor (EP):
   $$\begin{cases} -\Delta u = \lambda u & \text{en } \Omega \\ \frac{\partial u}{\partial \nu} + \beta u = 0 & \text{en } \partial\Omega \end{cases}$$
   Se define el Primer Autovalor de Robin $\lambda_\beta(\Omega)$ como el primer valor propio positivo, también con su caracterización variacional.

El objetivo principal es establecer relaciones cualitativas y cuantitativas entre estos funcionales ($T_\beta$ y $\lambda_\beta$) y cantidades geométricas del dominio $\Omega$, específicamente: la medida de Lebesgue ($|\Omega|$), el perímetro ($P(\Omega)$) y el radio inescrito ($r(\Omega)$).

Dificultades específicas del caso Robin:
A diferencia del caso de Dirichlet ($\beta \to \infty$), en el caso de Robin:

• No existe monotonía respecto a la inclusión de conjuntos.
• Las propiedades de escalamiento estándar no se cumplen de la misma manera.
• Las técnicas de reordenamiento (rearrangement) que funcionan para Dirichlet fallan aquí porque la solución no es constante en la frontera.

2. Metodología

Los autores emplean una combinación de técnicas de análisis funcional, cálculo de variaciones y geometría convexa:

• Descomposición y Acotación por Dimensiones: Para la torsión, descomponen el dominio convexo en subregiones donde la función distancia al borde es diferenciable. Utilizan desigualdades de Cauchy-Schwarz y reducen el problema a una dimensión (problema 1D en segmentos) para obtener cotas superiores.
• Fórmula de Coarea: Se utiliza extensivamente para relacionar integrales sobre el dominio con integrales sobre las curvas de nivel de la función distancia $d(x, \partial\Omega)$. Esto permite expresar integrales de la distancia en términos del perímetro de los conjuntos paralelos internos $\Omega_t$.
• Concavidad y Desigualdades Geométricas: Aprovechan la concavidad de la función distancia en conjuntos convexos y la desigualdad de Brunn-Minkowski para el perímetro de los conjuntos paralelos.
• Problema Unidimensional de Autovalores: Para el autovalor, analizan un problema de Sturm-Liouville en 1D con condiciones de frontera mixtas (Neumann en 0, Robin en $s_0$) para obtener cotas superiores explícitas.
• Términos de Residuo Cuantitativos: Introducen y utilizan términos de "residuo" o asimetría, específicamente $R(\Omega) = \frac{P(\Omega)r(\Omega)}{|\Omega|} - 1$ y $A(\Omega) = \frac{w_\Omega}{\text{diam}(\Omega)}$, para medir cuánto se desvía un conjunto de ser un "slab" (dominio tipo placa).

3. Contribuciones Clave y Resultados Principales

A. Cotas Superiores para la Torsión de Robin

El Teorema 1.1 establece una cota superior para $T_\beta(\Omega)$ en términos de las normas $L^1$ y $L^2$ de la función distancia al borde:
$$T_\beta(\Omega) \leq \int_\Omega d(x, \partial\Omega)^2 dx + \frac{2}{\beta} \int_\Omega d(x, \partial\Omega) dx$$
Esto permite generalizar la desigualdad de Makai para el caso de Robin (Corolario 1.2):
$$\frac{T_\beta(\Omega)}{r(\Omega)^2 |\Omega|} \leq \frac{1}{3} + \frac{1}{r(\Omega)\beta}$$
Esta cota es óptima asintóticamente para secuencias de dominios tipo "placa" (slabs).

B. Estimaciones Cuantitativas (Desigualdades con Términos de Residuo)

El trabajo avanza más allá de las desigualdades cualitativas, proporcionando versiones cuantitativas que miden la estabilidad de las desigualdades.

1. Estabilidad de la Desigualdad de Makai (Teorema 1.3):
   Se prueba que la diferencia entre el lado derecho y el izquierdo de la desigualdad de Makai está acotada inferior y superiormente por múltiplos del término de asimetría $R(\Omega)$.
   $$C_1 R(\Omega) \leq \left(\frac{1}{3} + \frac{1}{\beta r(\Omega)}\right) - \frac{T_\beta(\Omega)}{|\Omega|r(\Omega)^2} \leq 2\left(\frac{1}{3} + \frac{1}{\beta r(\Omega)}\right)R(\Omega)$$
   Esto confirma que las secuencias de dominios tipo placa son las únicas que alcanzan el límite óptimo.

2. Estabilidad de la Desigualdad de Pólya (Teorema 1.4):
   Para la funcional de Pólya $T_\beta(\Omega)P^2(\Omega)/|\Omega|^3$, se demuestra una desigualdad cuantitativa donde el término de error es del orden de $R(\Omega)^3$ en la cota inferior.
   $$T_\beta(\Omega)\frac{P^2(\Omega)}{|\Omega|^3} - \left(\frac{1}{3} + \frac{1}{\beta r(\Omega)}\right) \geq C_2 R(\Omega)^3$$

3. Estabilidad del Autovalor de Robin (Teorema 1.5):
   Se generaliza la cota superior conocida para $\lambda_\beta(\Omega)$ basada en el autovalor unidimensional $\nu_1(\beta, s_0)$ con $s_0 = |\Omega|/P(\Omega)$. Se establece una desigualdad cuantitativa:
   $$\nu_1(\beta, s_0) - \lambda_\beta(\Omega) \geq K_2 R(\Omega)^4$$
   Esto muestra que la diferencia entre el autovalor del dominio y el de la "placa" equivalente escala con la cuarta potencia de la asimetría.

C. Mejoras con el Término $A(\Omega)$

En la Sección 6, los autores demuestran que es posible mejorar las cotas inferiores de las desigualdades de Pólya y eigenvalores utilizando el término de asimetría $A(\Omega)$ (relación entre ancho mínimo y diámetro), logrando exponentes agudos (sharp) en las desigualdades.

4. Significado e Impacto

• Generalización del Caso Dirichlet: El trabajo extiende resultados clásicos de Pólya, Makai y Hersch-Protter (originalmente para $\beta = \infty$) al caso general de condiciones de frontera de Robin ($\beta \in (0, \infty)$).
• Resolución de la Falta de Monotonía: Aborda la dificultad técnica de que la torsión y el autovalor de Robin no son monótonos respecto a la inclusión, utilizando técnicas de aproximación y reducción dimensional en lugar de reordenamientos.
• Identificación de Óptimos: Confirma que, en el contexto de convexos, los dominios que optimizan estas desigualdades (en el sentido de alcanzar el límite asintótico) son las placas (slabs), es decir, productos cartesianos de un intervalo y un conjunto convexo en dimensión inferior, y no las bolas (que son óptimas bajo restricción de volumen fijo para Dirichlet).
• Estabilidad Cuantitativa: Proporciona una comprensión más profunda de la estructura de los conjuntos óptimos al cuantificar la tasa de convergencia hacia el límite óptimo en función de la geometría del dominio (a través de $R(\Omega)$ y $A(\Omega)$). Esto es crucial para problemas de optimización de formas y análisis de estabilidad.

En resumen, el artículo establece un marco riguroso para entender cómo la geometría de un dominio convexo controla sus propiedades espectrales y de torsión bajo condiciones de Robin, proporcionando nuevas desigualdades geométricas con términos de error explícitos y agudos.