On Brezis Open Problem 3.1

Resumo Técnico: Unicidade de Mapas Harmônicos Fracos com Traço de Círculo de Latitude

Enunciado do Problema
Este artigo aborda uma questão aberta de longa data sobre a unicidade de mapas harmônicos fracos do disco unitário $B_1 \subset \mathbb{R}^2$ para a esfera unitária $S^2$. Especificamente, considera o problema de Dirichlet para a equação do mapa harmônico:
$$-\Delta u = |\nabla u|^2 u \quad \text{em } B_1, \quad u|_{\partial B_1} = g_R,$$
onde o traço de contorno $g_R(e^{i\theta}) = (R \cos \theta, R \sin \theta, \sqrt{1-R^2})$ descreve um círculo de latitude percorrido uma vez a velocidade constante, com $0 < R < 1$.

Em 1983, Brézis e Coron estabeleceram a existência de duas soluções explícitas, $u_+$ e $u_-$, correspondentes aos preenchimentos conformes e anticonformes dos capes esféricos definidos pelo traço de contorno. Eles provaram que esses mapas são os únicos minimizadores de energia dentro de seus respectivos classes de homotopia relativa (graus $\pm 1$). No entanto, restou a questão se pontos críticos não minimizantes (pontos de sela) poderiam existir para os mesmos dados de contorno. Isso foi formalmente colocado como o Problema Aberto 3.1 na lista de "Problemas Abertos Favoritos" de Brézis. O artigo visa determinar se os dois mapas de Brézis–Coron esgotam o conjunto de todos os mapas harmônicos fracos com este traço específico.

Metodologia
Os autores empregam um argumento de "rigidez de contorno" que combina análise geométrica, análise complexa e desigualdades isoperimétricas. A prova procede em duas etapas primárias:

1. Rigidez de Contorno via Potenciais Auxiliares e Desigualdades Isoperimétricas:

   • Potencial Auxiliar: Associado ao mapa harmônico $u$, os autores definem um potencial global $X: B_1 \to \mathbb{R}^3$ satisfazendo $X_x = -u \times u_y$ e $X_y = u \times u_x$. Esta construção está enraizada na correspondência do mapa de Gauss/curvatura média constante (CMC).
   • Curva Projetada e Área Algébrica: Eles analisam a curva de contorno $\Gamma = X|_{\partial B_1}$ e sua projeção ortogonal $\gamma$ no plano horizontal $x_3=0$. Usando uma identidade de projeção-Jacobiano, eles provam que a área com sinal (algébrica) delimitada por $\gamma$ é exatamente $\pi R^2$.
   • Identidade de Pohozaev e Limites de Comprimento: A identidade de Pohozaev para o diferencial de Hopf fornece um limite integral exato para o comprimento de $\Gamma$. Especificamente, $\int_0^{2\pi} |u_r(1, \theta)|^2 d\theta = 2\pi R^2$.
   • Saturação Isoperimétrica: Ao aplicar a desigualdade isoperimétrica planar à curva projetada $\gamma$ (relacionando seu comprimento à sua área algébrica) e compará-la com o comprimento de $\Gamma$, os autores estabelecem uma cadeia de desigualdades:
     $$4\pi^2 R^2 \leq L_h^2 \leq L^2 \leq 4\pi^2 R^2.$$
     Como o limite inferior (da área algébrica exata) e o limite superior (da identidade de Pohozaev) coincidem, todas as desigualdades devem ser igualdades. Essa "saturação" força identidades pontuais no contorno: $|u_r| \equiv R$ e $u_r \cdot u_\theta \equiv 0$.

2. Classificação Conforme:

   • Diferencial de Hopf Nulo: As identidades de contorno derivadas acima implicam que o diferencial de Hopf $q(z) = u_z \cdot u_z$ desaparece em $\partial B_1$. Como $q$ é holomorfo em $B_1$, o princípio do módulo máximo força $q \equiv 0$ em todo o disco. Assim, o mapa é fracamente conforme.
   • Projeção Estereográfica e Série de Laurent: Usando a projeção estereográfica do polo sul, o mapa é representado por uma função de valor complexo $w$ em uma vizinhança do contorno. O desaparecimento do diferencial de Hopf implica que $w$ é ou holomorfo ou anti-holomorfo.
   • Unicidade na Vizinhança: Dado o derivativo de contorno não nulo e o traço específico $w(e^{i\theta}) = \rho e^{i\theta}$, uma expansão de série de Laurent mostra que $w$ deve ser ou $\rho z$ (holomorfo) ou $\rho/\bar{z}$ (anti-holomorfo).
   • Extensão Global: Pela analiticidade real das soluções para o sistema elíptico, a identificação na vizinhança se estende a todo o disco, resultando exatamente nos dois mapas de Brézis–Coron.

Principais Contribuições e Resultados

• Resolução do Problema Aberto 3.1: O artigo prova o Teorema 1.1, afirmando que, para $0 < R < 1$, os únicos mapas harmônicos fracos em $H^1(B_1; S^2)$ com traço $g_R$ são os dois mapas explícitos de Brézis–Coron $u_+$ e $u_-$. Isso responde definitivamente à questão ao excluir a existência de quaisquer pontos críticos não minimizantes.
• Mecanismo de Rigidez de Contorno: Os autores introduzem um novo argumento de rigidez que converte a área algébrica exata de uma curva de potencial projetada no desaparecimento do diferencial de Hopf. Este mecanismo isola uma característica geométrica do traço de latitude de "uma volta" que é invisível para métodos de classificação variacional padrão.
• Aplicação a Sistemas H: O artigo deriva o Corolário 1.2, aplicando o resultado de unicidade a sistemas $H$ bidimensionais (imersões conformes com curvatura média constante), classificando imersões conformes $Y: B_1 \to \mathbb{R}^3$ com traços de normal unitária prescritos, mostrando que elas devem ser traduções rígidas dos discos modelo $Z_+$ ou $Z_-$.
• Análise de Limite: Os autores analisam os limites $R \to 1$ (equador) e $R \to 0$ (polo). Eles mostram que o resultado vale para $R=1$ (não degenerado), enquanto $R=0$ representa um caso degenerado onde o contorno colapsa para um ponto, resultando apenas no mapa constante.

Significância
O artigo fornece uma resposta afirmativa definitiva ao Problema Aberto 3.1 de Brézis. Sua significância reside em demonstrar que, para o caso específico de um círculo de latitude de uma volta, o fenômeno de "multiplicidade" observado em dados de contorno de maior enrolamento ou mais gerais não ocorre. A prova estabelece que os dois preenchimentos naturais, conformes e anticonformes, esgotam todos os pontos críticos, não apenas os minimizadores.

O trabalho destaca uma rigidez geométrica especial inerente ao traço de uma volta, impulsionada pela interação entre a identidade de Pohozaev, o diferencial de Hopf e a desigualdade isoperimétrica planar aguda. Esta abordagem oferece uma nova perspectiva sobre problemas de unicidade na teoria de mapas harmônicos, distinguindo casos onde métodos variacionais sozinhos são insuficientes daqueles onde a rigidez geométrica força a unicidade. Os autores observam que este mecanismo colapsa para números de enrolamento mais altos ($m \geq 2$), onde múltiplos pontos críticos são esperados, esclarecendo assim os limites topológicos e geométricos da unicidade neste campo.