Weakly stable solutions of Serrin's problem

Resumen Técnico: Soluciones Débilmente Estables del Problema de Serrin

Planteamiento del Problema
El artículo aborda el problema sobredeterminado de Serrin, que busca un dominio $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) y una función $u \in C^\infty(\bar{\Omega})$ que satisfaga:
$$\begin{cases} -\Delta u = n & \text{en } \Omega, \\ u > 0 & \text{en } \Omega, \\ u = 0 & \text{en } \partial\Omega, \\ |Du| = 1 & \text{en } \partial\Omega. \end{cases}$$
Si bien J. Serrin (1971) y H. Weinberger (1971) establecieron que las soluciones compactas deben ser bolas unitarias, existen soluciones no compactas (por ejemplo, cilindros). H. Berestycki, L. Caffarelli y L. Nirenberg conjeturaron que cualquier solución no compacta debe ser una bola unitaria o congruente con un cilindro de la forma $\{y \in \mathbb{R}^m : |y| < m/n\} \times \mathbb{R}^{n-m}$. Sin embargo, existen contraejemplos a esta conjetura para problemas semilineales generales. Este artículo investiga la conjetura específicamente para el caso $f(u) = n$ bajo la suposición adicional de estabilidad débil.

Metodología y Enfoque
Los autores emplean un enfoque variacional combinado con análisis geométrico y estimaciones asintóticas. La metodología central consiste en:

1. Caracterización Variacional: Las soluciones se ven como puntos críticos del funcional $J(u) = \frac{1}{2}\int_{\{u>0\}} |Du|^2 - \int_{\{u>0\}} F(u)$ (donde $F' = f = n$) sujeto a una restricción de volumen relativo.
2. Definiciones de Estabilidad:
   • Estabilidad Débil: El dominio satisface la prueba de la segunda derivada para $J$ entre perturbaciones compactas que preservan el volumen relativo de $\{u > 0\}$. Esto se formaliza mediante la desigualdad:
     $$\int_{\partial\Omega} (f(0) - H) \phi^2 \le \int_{\Omega} (|D\phi|^2 - f'(u)\phi^2)$$
     para toda $\phi \in C^\infty_c(\bar{\Omega})$ con $\int_{\partial\Omega} \phi = 0$.
   • Estabilidad: La misma desigualdad se cumple para toda $\phi \in C^\infty_c(\bar{\Omega})$ sin la restricción de media cero.
3. Estimaciones de Gradiente y Asintóticas: Los autores establecen estimaciones cruciales del gradiente de $u$ (específicamente $|Du| < 1$ en $\Omega$ y $H \le n$ en $\partial\Omega$) y analizan el comportamiento asintótico del volumen $V(\lambda)$ y el área de la frontera $A(\lambda)$ de $\Omega$ intersectado con bolas grandes $B_\lambda(0)$.
4. Argumento de Contradicción: La prueba procede asumiendo que $\Omega$ tiene volumen infinito. Utilizando la relación asintótica $A(\lambda) \approx n V(\lambda)$ derivada del teorema de la divergencia, los autores demuestran que el volumen infinito implica que el dominio es plenamente estable. Al probar la desigualdad de estabilidad con funciones de corte específicas y utilizando la subarmonicidad de una función auxiliar $\phi = u + \frac{1}{2}|Du|^2$, derivan una contradicción entre el signo de la integral de frontera y la condición de estabilidad.
5. Análisis de Volumen Finito: Una vez descartado el volumen infinito, los autores adaptan el argumento de Weinberger al entorno no compacto para mostrar que los componentes de volumen finito deben ser bolas unitarias. La estabilidad débil se utiliza para probar que el dominio es conexo, descartando uniones disjuntas de bolas.

Resultados Clave

• Teorema 2 (Resultado Principal): Para cualquier dimensión $n \ge 2$, si $\Omega$ es una solución débilmente estable del problema de Serrin, entonces $\Omega$ es una bola de radio 1. En consecuencia, no existen soluciones no compactas débilmente estables.
• Cotas de Gradiente: El artículo demuestra que para cualquier solución, $|Du| < 1$ en $\Omega$ y la curvatura media $H$ satisface $H \le n$ en $\partial\Omega$.
• Implicación de Estabilidad: Si una solución tiene volumen infinito, la estabilidad débil implica estabilidad total.
• Independencia Dimensional: A diferencia de otros resultados para problemas relacionados (por ejemplo, el problema de Bernoulli de una fase) que dependen fuertmente de la dimensión (por ejemplo, $n \le 3$ frente a $n \ge 7$), este resultado se mantiene para todo $n \ge 2$.

Significado y Reivindicaciones
El artículo afirma demostrar que las soluciones débilmente estables del problema de Serrin son necesariamente compactas (específicamente, bolas redondas). Este resultado resuelve efectivamente la conjetura de Berestycki-Caffarelli-Nirenberg para el caso $f=n$ bajo la suposición de estabilidad débil, al demostrar que las alternativas no compactas (cilindros) no son débilmente estables. Esta suposición se describe como "natural desde un punto de vista variacional".

Los autores destacan que su resultado generaliza un teorema previo (Teorema 1 en [12]) que estaba restringido a la dimensión $n=2$ y requería una curvatura acotada de $\partial\Omega$. El presente trabajo elimina la restricción de dimensión y la suposición de acotación de la curvatura. La técnica de prueba es distinta de trabajos anteriores; evita el teorema de Gauss-Bonnet (específico para $n=2$) y argumentos específicos de dimensiones bajas que fallan en dimensiones superiores debido a contraejemplos conocidos en problemas de estabilidad relacionados.

El resultado se sitúa dentro del contexto de la teoría de superficies mínimas, donde las soluciones débilmente estables del problema de Serrin surgen como límites de explosión (blow-up limits) de superficies capilares débilmente estables. El resultado de rigidez establecido aquí sirve como un ingrediente fundamental para caracterizar tales superficies capilares con ángulos de contacto cercanos a $0$o$\pi$.