Conformal Metrics on the Disk with Prescribed Negative Gaussian Curvature and Boundary Geodesic Curvature

Resumo Técnico: Métricas Conformais no Disco com Curvatura Gaussiana Negativa Prescrita

1. O Problema

O artigo investiga o problema de prescrever a curvatura gaussiana ($K$) no interior de uma superfície Riemanniana compacta com bordo (especificamente o disco unitário $D$) e a curvatura geodésica ($h$) no seu bordo ($\partial D$), através de uma mudança conformal da métrica.

Seja $(\Sigma, \tilde{g})$ a métrica de referência (assumida como a métrica euclidiana padrão no disco devido ao Teorema do Mapeamento de Riemann). Procura-se uma função $u$ tal que a nova métrica $g = e^u \tilde{g}$ satisfaça as curvaturas prescritas $K(x)$ e $h(x)$. Isso leva ao seguinte sistema de equações diferenciais parciais elípticas não lineares:

$$\begin{cases} -\Delta u = 2K(x)e^u & \text{em } D, \\ \frac{\partial u}{\partial \nu} + 2 = 2h(x)e^{u/2} & \text{em } \partial D, \end{cases}$$

onde $\Delta$ é o operador Laplace-Beltrami e $\nu$ é o vetor normal unitário exterior.

O Desafio Específico:
A literatura anterior focou predominantemente em casos onde $K$ e $h$ são constantes, ou onde pelo menos uma delas é positiva. Este trabalho trata especificamente do regime de curvatura gaussiana negativa ($K < 0$).

• Diferentemente do caso de curvatura positiva (problema de Nirenberg), onde a condição de área e comprimento limitados é frequentemente automática, no caso $K < 0$, soluções de "explosão" (blow-up) podem ocorrer com área e comprimento divergentes.
• Isso torna a análise de compactidade muito mais difícil, pois as técnicas padrão de análise de blow-up (que assumem massa limitada) não se aplicam diretamente.

2. Metodologia

A estratégia dos autores é variacional, combinada com uma análise refinada de blow-up e técnicas de perturbação.

1. Formulação Variacional:
   As soluções são buscadas como pontos críticos do funcional de energia $I: H^1(D) \to \mathbb{R}$:
   $$I(u) = \int_D \left( \frac{1}{2}|\nabla u|^2 - 2K(x)e^u \right) + \int_{\partial D} \left( 2u - 4h(x)e^{u/2} \right).$$
   O problema é que este funcional não satisfaz a condição de Palais-Smale (PS) globalmente devido à possibilidade de soluções explodirem.

2. Perturbação e Truque de Monotonicidade:
   Para contornar a falta de compacidade, os autores introduzem uma família de funcionais perturbados $I_\varepsilon$:
   $$I_\varepsilon(u) = I(u) + \varepsilon \frac{T(u)}{1+\varepsilon},$$
   onde $T(u)$ é um termo de regularização. Eles utilizam o Truque de Monotonicidade de Struwe para encontrar sequências de Palais-Smale limitadas para quase todo $\varepsilon$ pequeno.

   • Geometria do Funcional: A estrutura variacional depende criticamente do sinal de $\varepsilon$:
     • Para $\varepsilon > 0$: O funcional exibe uma geometria de ponto de sela (mountain-pass).
     • Para $\varepsilon < 0$: O funcional exibe uma estrutura de linking tridimensional (uma contribuição nova e sofisticada do artigo), que permite controlar o índice de Morse das soluções.

3. Análise de Blow-up Refinada:
   Uma vez obtidas soluções $u_n$ para $\varepsilon_n \to 0$ com índice de Morse limitado, os autores aplicam uma análise de blow-up baseada em trabalhos anteriores ([29], [35]).

   • Eles provam que, sob a hipótese de índice de Morse limitado, a massa (área e comprimento) permanece limitada, mesmo no regime $K < 0$.
   • Eles realizam uma expansão assintótica detalhada das soluções perto do ponto de explosão $p \in \partial D$, utilizando identidades de Kazdan-Warner adaptadas ao contexto perturbado.

3. Contribuições Chave

• Remoção de Simetria: Trabalhos anteriores para $K < 0$ exigiam hipóteses de simetria nas curvaturas. Este artigo remove essas restrições, fornecendo resultados de existência gerais.
• Nova Estrutura de Linking: A construção de uma estrutura de linking tridimensional para o caso $\varepsilon < 0$ é uma inovação técnica significativa, permitindo o controle do índice de Morse em um regime onde a geometria do funcional é complexa.
• Análise de Blow-up sem Massa Limitada: O artigo fornece uma descrição rigorosa do comportamento de soluções de blow-up quando a condição de massa limitada (4.3) não é assumida a priori, mas sim derivada do controle do índice de Morse.
• Condições de Não-Existência e Obstruções: O trabalho esclarece as condições necessárias para a existência, mostrando que certas configurações de $K$ e $h$ levam a contradições via identidades de Kazdan-Warner, estabelecendo limites precisos para a existência de soluções.

4. Resultados Principais

O teorema principal (Teorema 1.1) estabelece a existência de pelo menos uma solução sob as seguintes condições:

• Hipótese (H): $K \in C^2(D)$, $h \in C^2(\partial D)$ e $K < 0$ em $D$.
• Condição (a): $\min_{\partial D} h(x) > \max_{\partial D} \sqrt{|K(x)|}$.
• Condição de Borda (b): Seja $\Phi(x) = H(x) + \sqrt{H(x)^2 + K(x)}$, onde $H$ é a extensão harmônica de $h$.
  • Ou $\partial_\nu \Phi(x) < 0$ para todo $x \in \partial D$ tal que $\partial_\tau \Phi(x) = 0$ (condição $b_-$).
  • Ou $\partial_\nu \Phi(x) > 0$ para todo $x \in \partial D$ tal que $\partial_\tau \Phi(x) = 0$ (condição $b_+$).

Teorema 2.1 e 2.2: Os autores refinam esses resultados, mostrando que a condição (a) pode ser relaxada se a condição (b-) for satisfeita, desde que exista um ponto onde a razão entre $h$ e $\sqrt{|K|}$ seja maior que 1.

Mecanismo de Prova:
A prova por contradição assume que a sequência de soluções $u_n$ explode (tende a infinito). A análise de blow-up mostra que, se houver explosão, deve haver um único ponto $p \in \partial D$ tal que:

1. $\partial_\tau \Phi(p) = 0$ (ponto crítico tangencial).
2. $\varepsilon_n \partial_\nu \Phi(p) \geq 0$.

No entanto, as hipóteses do teorema (b-) ou (b+) garantem que $\partial_\nu \Phi(p)$ tenha o sinal oposto ao de $\varepsilon_n$ (ou seja, $\varepsilon_n \partial_\nu \Phi(p) < 0$), criando uma contradição. Portanto, a sequência deve ser limitada, garantindo a convergência para uma solução do problema original.

5. Significância

Este trabalho é fundamental na teoria de equações de curvatura prescrita por várias razões:

1. Avanço no Regime Negativo: Preenche uma lacuna significativa na literatura sobre curvatura negativa, um regime onde o comportamento das soluções é menos compreendido e mais instável do que no caso positivo.
2. Robustez Variacional: Demonstra que métodos variacionais modernos (como o truque de monotonicidade e estruturas de linking de alta dimensão) podem ser aplicados a problemas geométricos complexos com bordos, mesmo na ausência de simetria.
3. Aplicabilidade: As técnicas desenvolvidas, especialmente a análise de blow-up com índice de Morse limitado e a construção de estruturas de linking para $\varepsilon < 0$, podem ser adaptadas para outros problemas geométricos não lineares onde a compacidade falha.

Em suma, o artigo resolve um problema de existência clássico em geometria diferencial, superando obstáculos técnicos relacionados à falta de compacidade e à interação complexa entre curvaturas internas e de bordo em superfícies com curvatura negativa.