On Brezis Open Problem 3.1

Resumen Técnico: Unicidad de los Mapas Armónicos Débiles con Traza de Círculo de Latitud

Planteamiento del Problema
Este artículo aborda una pregunta abierta de larga data sobre la unicidad de los mapas armónicos débiles desde el disco unidad $B_1 \subset \mathbb{R}^2$ hacia la esfera unidad $S^2$. Específicamente, considera el problema de Dirichlet para la ecuación de mapa armónico:
$$-\Delta u = |\nabla u|^2 u \quad \text{en } B_1, \quad u|_{\partial B_1} = g_R,$$
donde la traza de frontera $g_R(e^{i\theta}) = (R \cos \theta, R \sin \theta, \sqrt{1-R^2})$ describe un círculo de latitud recorrido una vez a velocidad constante, con $0 < R < 1$.

En 1983, Brézis y Coron establecieron la existencia de dos soluciones explícitas, $u_+$ y $u_-$, correspondientes a los llenados conformes y anticonformes de los casquetes esféricos definidos por la traza de la frontera. Ellos demostraron que estos mapas son los únicos minimizadores de energía dentro de sus respectivos grados de homotopía relativa (grados $\pm 1$). Sin embargo, la pregunta permaneció sobre si podrían existir puntos críticos no minimizantes (puntos de silla) para los mismos datos de frontera. Esto fue planteado formalmente como el Problema Abierto 3.1 en la lista de "Problemas Abiertos Favoritos" de Brézis. El artículo tiene como objetivo determinar si los dos mapas de Brézis–Coron agotan el conjunto de todos los mapas armónicos débiles con esta traza específica.

Metodología
Los autores emplean un argumento de "rigidez de frontera" que combina análisis geométrico, análisis complejo y desigualdades variacionales. La prueba procede en dos etapas principales:

1. Rigidez de Frontera mediante Potenciales Auxiliares y Desigualdades Isoperimétricas:

   • Potencial Auxiliar: Asociado al mapa armónico $u$, los autores definen un potencial global $X: B_1 \to \mathbb{R}^3$ que satisface $X_x = -u \times u_y$ y $X_y = u \times u_x$. Esta construcción está arraigada en la correspondencia del mapa de Gauss/curvatura media constante (CMC).
   • Curva Proyectada y Área Algebraica: Analizan la curva de frontera $\Gamma = X|_{\partial B_1}$ y su proyección ortogonal $\gamma$ sobre el plano horizontal $x_3=0$. Utilizando una identidad de proyección-Jacobiano, demuestran que el área con signo (algebraica) encerrada por $\gamma$ es exactamente $\pi R^2$.
   • Identidad de Pohozaev y Límites de Longitud: La identidad de Pohozaev para el diferencial de Hopf proporciona un límite integral exacto sobre la longitud de $\Gamma$. Específicamente, $\int_0^{2\pi} |u_r(1, \theta)|^2 d\theta = 2\pi R^2$.
   • Saturación Isoperimétrica: Al aplicar la desigualdad isoperimétrica planar a la curva proyectada $\gamma$ (relacionando su longitud con su área algebraica) y comparándola con la longitud de $\Gamma$, los autores establecen una cadena de desigualdades:
     $$4\pi^2 R^2 \leq L_h^2 \leq L^2 \leq 4\pi^2 R^2.$$
     Dado que el límite inferior (proveniente del área algebraica exacta) y el límite superior (proveniente de la identidad de Pohozaev) coinciden, todas las desigualdades deben ser igualdades. Esta "saturación" fuerza identidades puntuales en la frontera: $|u_r| \equiv R$ y $u_r \cdot u_\theta \equiv 0$.

2. Clasificación Conforme:

   • Diferencial de Hopf Nulo: Las identidades de frontera derivadas anteriormente implican que el diferencial de Hopf $q(z) = u_z \cdot u_z$ se anula en $\partial B_1$. Dado que $q$ es holomorfo en $B_1$, el principio del módulo máximo fuerza que $q \equiv 0$ en todo el disco. Por lo tanto, el mapa es débilmente conforme.
   • Proyección Estereográfica y Serie de Laurent: Utilizando la proyección estereográfica del polo sur, el mapa se representa mediante una función de valor complejo $w$ en un collar de frontera. El hecho de que el diferencial de Hopf sea nulo implica que $w$ es o bien holomorfa o bien anti-holomorfa.
   • Unicidad en el Collar: Dado el derivado de frontera no nulo y la traza específica $w(e^{i\theta}) = \rho e^{i\theta}$, una expansión de la serie de Laurent muestra que $w$ debe ser o bien $\rho z$ (holomorfa) o bien $\rho/\bar{z}$ (anti-holomorfa).
   • Extensión Global: Mediante la analiticidad real de las soluciones al sistema elíptico, la identificación en el collar se extiende a todo el disco, produciendo exactamente las dos soluciones de Brézis–Coron.

Contribuciones Clave y Resultados

• Resolución del Problema Abierto 3.1: El artículo demuestra el Teorema 1.1, que establece que para $0 < R < 1$, los únicos mapas armónicos débiles en $H^1(B_1; S^2)$ con traza $g_R$ son los dos mapas explícitos de Brézis–Coron. Esto responde definitivamente a la pregunta al descartar la existencia de cualquier punto crítico no minimizante.
• Mecanismo de Rigidez de Frontera: Los autores introducen un novedoso argumento de rigidez que convierte el área algebraica exacta de una curva de potencial proyectada en la anulación del diferencial de Hopf. Este mecanismo aísla una característica geométrica de la traza de círculo de latitud de "una vuelta" que es invisible para los métodos de clasificación variacional estándar.
• Aplicación a Sistemas H: El artículo deriva el Corolario 1.2, aplicando el resultado de unicidad a los sistemas-$H$ bidimensionales (inmersiones conformes con curvatura media constante), clasificando las inmersiones conformes $Y: B_1 \to \mathbb{R}^3$ con trazas de normal unitaria prescritas, mostrando que deben ser traslaciones rígidas de los discos modelo $Z_+$ o $Z_-$.
• Análisis de Extremos: Los autores analizan los límites $R \to 1$ (ecuador) y $R \to 0$ (polo). Muestran que el resultado se mantiene para $R=1$ (no degenerado), mientras que $R=0$ representa un caso degenerado donde la frontera colapsa a un punto, resultando únicamente en el mapa constante.

Significancia
El artículo proporciona una respuesta afirmativa definitiva al Problema Abierto 3.1 de Brézis. Su importancia radica en demostrar que para el caso específico de una traza de una sola vuelta, el fenómeno de "multiplicidad" observado en datos de frontera con mayor número de vueltas o más generales no ocurre. La prueba establece que los dos llenados naturales, conforme y anticonforme, agotan todos los puntos críticos, no solo los minimizadores.

El trabajo destaca una rigidez geométrica especial inherente a la traza de una sola vuelta, impulsada por la interacción entre la identidad de Pohozaev, el diferencial de Hopf y la aguda desigualdad isoperimétrica planar. Este enfoque ofrece una nueva perspectiva sobre los problemas de unicidad en la teoría de mapas armónicos, distinguiendo los casos donde los métodos variacionales por sí solos son insuficientes de aquellos donde la rigidez geométrica fuerza la unicidad. Los autores señalan que este mecanismo colapsa para números de vueltas superiores ($m \geq 2$), donde se esperan múltiples puntos críticos, aclarando así los límites topológicos y geométicos de la unicidad en este campo.