Asymptotic behavior at infinity of Weingarten surfaces

Resumo Técnico: Comportamento Assintótico no Infinito de Superfícies de Weingarten

1. Problema e Contexto

O artigo aborda o estudo global de superfícies de Weingarten uniformemente elípticas no espaço euclidiano $\mathbb{R}^3$. Uma superfície $\Sigma$ é definida como de Weingarten se suas curvaturas principais $\kappa_1 \ge \kappa_2$ satisfazem a relação $\kappa_2 = f(\kappa_1)$, onde $f$ é uma função localmente Lipschitziana que satisfaz uma condição de elipticidade uniforme:
$$-\frac{1}{\Lambda} \le f'(t) \le -\Lambda, \quad \forall t \ge c,$$
com $0 < \Lambda < 1$. O foco específico do trabalho são as superfícies do tipo mínimo (onde $f(0)=0$), que incluem superfícies mínimas e de curvatura média constante (CMC) como casos particulares.

O problema central é estender resultados fundamentais da teoria de superfícies mínimas para o contexto não-linear geral das superfícies de Weingarten. Especificamente, os autores buscam:

1. Determinar o comportamento assintótico no infinito de extremidades (ends) embutidas com curvatura total finita.
2. Estabelecer um princípio do máximo no infinito.
3. Resolver o problema de Dirichlet em domínios limitados estritamente convexos.

A dificuldade principal reside na ausência da representação de Weierstrass (disponível apenas para superfícies mínimas) e da estrutura variacional, tornando a análise dependente de equações diferenciais parciais (EDPs) não-lineares totalmente elípticas.

2. Metodologia

Os autores utilizam uma combinação de técnicas avançadas de análise geométrica e teoria de EDPs elípticas não-lineares:

• Redução a Gráficos: Utilizando a finitude da curvatura total e a propriedade de mapeamento quase-regular da aplicação de Gauss, demonstram que as extremidades embutidas podem ser representadas como gráficos de funções $u$ sobre o exterior de um disco em $\mathbb{R}^2$, com limite da normal unitária $N_\infty = (0,0,1)$.
• Estimativas de Regularidade e Curvatura: Empregam estimativas de curvatura (Lema 2.6) e regularidade interior $C^{2,\alpha}$ para equações elípticas não-lineares (Teorema de Evans-Krylov/Nirenberg adaptado) para controlar o comportamento das soluções.
• Método de Continuidade: Para o problema de Dirichlet em domínios convexos, utilizam o método de continuidade, combinado com estimativas a priori de $C^0$ (Lema 3.1) e de curvatura (Lema 3.2), provadas via processos de blow-up e classificação de soluções inteiras.
• Princípio do Máximo e Comparação: Desenvolvem um princípio do máximo no infinito e utilizam funções de barreira (como $w(x) = \log \log |x|$) para comparar soluções.
• Análise de Soluções Radiais: Para o caso onde a relação não é simétrica ($f'(0) \neq -1$), comparam a solução geral com soluções radiais explícitas de uma EDO associada, analisando o comportamento assintótico dessas soluções modelo.
• Expansão Assintótica: No caso simétrico ($f'(0) = -1$), demonstram que o operador não-linear é suficientemente suave ($C^{1,1}$) para permitir uma expansão assintótica detalhada, tratando a equação como uma perturbação da equação de Laplace.

3. Principais Resultados

A. Solvabilidade do Problema de Dirichlet (Teorema 1.1)
Estabelecem a existência e unicidade de soluções para a equação de Weingarten em domínios estritamente convexos limitados $\Omega \subset \mathbb{R}^2$ com dados de fronteira suaves. O resultado fornece uma estimativa global $C^{2,\beta}$ para a solução, dependendo apenas dos parâmetros de elipticidade e da geometria do domínio.

B. Propriedade de Sinal Constante (Teorema 1.2)
Demonstram que, para uma extremidade embutida de curvatura total finita, a função gráfica $u$ (após uma translação vertical) mantém um sinal constante (sempre positiva ou sempre negativa) no exterior de uma bola. Além disso, o limite $u_\infty = \lim_{x\to\infty} u(x)$ existe em $\mathbb{R} \cup \{\pm\infty\}$.

C. Comportamento Assintótico no Infinito (Teorema 1.3)
Este é o resultado central, que classifica o comportamento de $u(x)$ no infinito dependendo do valor de $f'(0)$:

• Caso $-1 < f'(0) < 0$: A solução cresce como uma potência: $u(x) \sim |x|^{1+f'(0)}$ ou tende a uma constante.
• Caso $f'(0) = -1$ (Simétrico): A solução comporta-se como um logaritmo: $u(x) = d \log|x| + c + O(|x|^{-\alpha})$. Este caso é crucial pois inclui superfícies onde a relação é entre curvatura média $H$ e curvatura gaussiana $K$.
• Caso $f'(0) < -1$: A solução tende a uma constante finita $u_\infty \in \mathbb{R}$.

D. Princípio do Máximo no Infinito e Comparação Forte (Teorema 1.4 e Corolário 1.5)
No caso simétrico ($f'(0) = -1$), estabelecem um princípio de comparação forte no infinito. Se duas soluções $u$ e $\tilde{u}$ satisfazem $u \ge \tilde{u}$ e a diferença $u - \tilde{u}$ tende a zero em alguma sequência de pontos que vai ao infinito, então as superfícies são idênticas ($u \equiv \tilde{u}$). Isso generaliza resultados clássicos de rigidez para superfícies mínimas.

E. Generalização de Resultados de Bernstein (Apêndice)
Os autores estendem teoremas de unicidade e estimativas de curvatura (anteriormente válidos apenas para relações simétricas suaves) para funções $f$ gerais, apenas com regularidade Lipschitziana ($C^{0,1}$), removendo a necessidade de simetria na relação de Weingarten.

4. Significado e Impacto

• Ponte entre Teoria Linear e Não-Linear: O trabalho preenche uma lacuna crítica ao mostrar que propriedades globais profundas das superfícies mínimas (como a classificação de extremidades e o princípio do máximo no infinito) podem ser estendidas para o contexto não-linear de Weingarten, desde que a elipticidade seja uniforme.
• Ferramenta para Classificação: A descrição assintótica obtida é uma ferramenta fundamental para futuros trabalhos de classificação de superfícies completas embutidas com curvatura total finita, permitindo a análise do espaço de módulos e a rigidez de períodos.
• Aplicações em Geometria: Os resultados permitem a construção de novos exemplos completos e a generalização de fórmulas importantes, como a fórmula de Jorge-Meeks para superfícies de Weingarten (já aplicada por Espinar e Mesa em trabalhos subsequentes citados no artigo).
• Robustez Analítica: A demonstração de que resultados de regularidade e estimativas de curvatura valem mesmo com $f$ apenas Lipschitziano (e não $C^2$) amplia significativamente a classe de superfícies passíveis de análise geométrica rigorosa.

Em suma, o artigo fornece a base analítica necessária para tratar o comportamento global de uma vasta classe de superfícies curvas em $\mathbb{R}^3$, superando a dependência de estruturas complexas (como a representação de Weierstrass) através de técnicas robustas de EDPs elípticas.