Extremal domains in $\mathbb{S}^2$: Geometric and Analytic methods

Resumen Técnico: Dominios Extremales en la Esfera $S^2$

1. Planteamiento del Problema

El artículo estudia dominios extremales ($f$-extremales) en la esfera unitaria $S^2$. Estos son dominios $\Omega \subset S^2$ que admiten soluciones positivas $u$ a un problema elíptico sobredeterminado (OEP, por sus siglas en inglés):

$$\begin{cases} \Delta u + f(u, |\nabla u|) = 0 & \text{en } \Omega, \\ u > 0 & \text{en } \Omega, \\ u = 0 & \text{en } \partial\Omega, \\ |\nabla u| = \text{constante localmente} & \text{en } \partial\Omega. \end{cases}$$

El objetivo principal es clasificar la geometría de tales dominios y la simetría de las soluciones $u$, bajo la hipótesis de que las soluciones son analíticas. Se consideran no linealidades $f$ generales, incluyendo casos clásicos como:

• Problema de autovalores: $f(x) = \lambda x$.
• Problema de Serrin: $f(x) = \lambda x + c$.
• Dominios armónicos: $f(x) = c$.
• No linealidades tipo Allen-Cahn o potencias: $f(x) = \lambda x + x^\beta$.

2. Metodología

Los autores combinan dos enfoques poderosos: métodos geométricos (basados en el principio de reflexión de Alexandrov) y métodos analíticos (basados en estimaciones de gradientes y funciones de comparación).

A. Método Geométrico: Extensión del Método del Plano Móvil

• Adaptación a $S^2$: Extienden el método del plano móvil clásico (usualmente aplicado en $\mathbb{R}^n$ o hemisferios) a dominios con fronteras desconectadas en la esfera completa.
• Condiciones de partida: A diferencia de métodos previos que requerían que el complemento del dominio contuviera una geodésica completa, este trabajo demuestra que basta con que el complemento contenga dos puntos antipodales.
• Técnica de "Lifting" (Levantamiento): Para manejar la topología de la esfera y evitar singularidades al reflejar, levantan la superficie gráfica radial asociada a la solución ($\Sigma \subset \mathbb{R}^3$) al recubridor universal de $\mathbb{R}^3 \setminus L(x)$ (donde $L(x)$ es la línea que une los puntos antipodales). Esto permite aplicar la reflexión de Alexandrov en un espacio paramétrico donde la superficie es compacta y bien comportada.
• Aplicación a Superficies CMC: Traducen los resultados analíticos a la geometría de superficies de curvatura media constante (CMC) con bordes capilares, demostrando rigidez para superficies que contienen un "cuello" (neck).

B. Método Analítico: Funciones Pseudo-Radiales y Estimaciones

• Soluciones Modelo: Introducen una familia de soluciones modelo rotacionalmente simétricas $(\Omega_{R,M,f}, u_{R,M,f})$ parametrizadas por el valor máximo $M$ y la altura crítica $R$.
• Función $\tau$: Definen una función invariante $\tau(\Gamma)$ basada en el gradiente de la solución en la frontera, normalizada por la solución modelo en un disco geodésico. Esta función establece una correspondencia canónica entre soluciones generales y modelos.
• Funciones Pseudo-Radiales ($\Psi$): Construyen funciones que mapean los puntos de una solución general a coordenadas de altura en la solución modelo.
• Estimaciones de Gradiente: Utilizan el Teorema del Máximo en una desigualdad elíptica para la función $F = |\nabla u|^2 - \bar{W}$ (donde $\bar{W}$ es el gradiente del modelo). Bajo ciertas condiciones en $f$, prueban que $|\nabla u|^2 \leq \bar{W}$, lo que permite controlar la curvatura de las líneas de nivel.

3. Contribuciones Clave y Resultados Principales

Teorema A (Simetría Estructural)

• Hipótesis: Sea $(\Omega, u)$ una solución analítica. Si el conjunto de puntos máximos $\text{Max}(u)$ contiene una curva cerrada simple $\gamma$ que es una componente aislada de $\text{Max}(u)$.
• Resultado: El dominio $\Omega$ y la solución $u$ son o bien antipodalmente simétricos, o bien rotacionalmente simétricos.
• Implicación: La estructura topológica de los puntos críticos (la existencia de una curva de máximos) fuerza la simetría global del dominio. Si es rotacional, $\Omega$ es un disco o un anillo.

Corolario A

• Si $f(x, 0) > 0$ para todo $x > 0$, entonces o bien $\text{Max}(u)$ consiste solo en puntos aislados finitos, o bien la solución es simétrica (antipodal o rotacional). En el caso simétrico, si hay una curva de máximos, $\Omega$ debe ser un anillo.

Teorema B (Aplicación Geométrica: Superficies CMC)

• Establece un análogo geométrico para superficies CMC embebidas en $\mathbb{R}^3 \setminus \{0\}$ con bordes capilares.
• Si la superficie contiene un "cuello" (curva donde la distancia al origen es mínima) que es una componente aislada y satisface condiciones de separación geométrica, la superficie es antipodal o rotacionalmente simétrica.
• En el caso rotacional, la superficie es parte de una catenoide (si $H=0$) o una superficie de Delaunay (si $H \neq 0$).

Teorema C (Clasificación Estricta)

• Hipótesis: Se imponen condiciones adicionales sobre la no linealidad $f$: $f(x) \geq x f'(x)$ y $f'(x) \geq 2$ para $x > 0$ (o $f \equiv 1$).
• Resultado: Se elimina la posibilidad de simetría antipodal. Si $\text{Max}(u)$ contiene una curva cerrada, la solución debe ser rotacionalmente simétrica y $\Omega$ es un anillo.
• Significado: Esto generaliza resultados previos (como los de [17] para $f(x)=2x$) a una clase mucho más amplia de no linealidades, demostrando que la simetría rotacional es la única opción bajo estas condiciones analíticas.

4. Significado e Impacto

1. Unificación de Métodos: El trabajo demuestra cómo la combinación de técnicas geométricas (reflexión) y analíticas (funciones de comparación y estimaciones de gradientes) permite superar las limitaciones de cada enfoque por separado. Mientras la geometría establece la simetría general, el análisis refina el resultado para eliminar casos antipodales.
2. Generalización de Resultados Clásicos: Extiende el Teorema de Serrin y resultados de Kumaresan-Prajapat a la esfera completa con dominios de frontera desconectada y no linealidades generales, no solo lineales.
3. Conexión con Superficies Mínimas y CMC: Establece un puente robusto entre problemas sobredeterminados elípticos y la teoría de superficies de curvatura media constante con bordes capilares, proporcionando nuevos criterios de rigidez para estas superficies.
4. Nuevas Herramientas Analíticas: La introducción de la función $\tau$ y las funciones pseudo-radiales para no linealidades generales (donde no existe una función $P$ explícita como en casos clásicos) abre nuevas vías para el estudio de problemas sobredeterminados en variedades riemannianas.

En resumen, el artículo proporciona una clasificación casi completa de los dominios extremales en $S^2$ bajo condiciones de analiticidad, demostrando que la presencia de ciertas estructuras topológicas en los puntos críticos (curvas de máximos) impone una simetría rotacional o antipodal estricta, y que bajo condiciones analíticas específicas, la simetría antipodal se descarta, dejando únicamente la rotacional.