ACF Almost Monotonicity at Infinity with Applications to Perturbed Global Solutions

Resumo Técnico: Quase Monotonicidade de ACF no Infinito com Aplicações a Soluções Globais Perturbadas

Enunciado do Problema
Este artigo investiga o comportamento geométrico em larga escala do conjunto de coincidência $\{u=0\}$ para perturbações de soluções globais do problema do obstáculo clássico em $\mathbb{R}^n \setminus B_1$. Especificamente, os autores consideram soluções $u$ que satisfazem $\Delta u = \chi_{\{u>0\}}$ no domínio exterior, com dados de contorno suaves prescritos em $\partial B_1$, e que convergem para um polinômio quadrático homogêneo $p(x')$ (independente da direção $x_n$) sob escalonamento de blow-down.

Embora as soluções globais para o problema do obstáculo em $\mathbb{R}^n$ sejam bem caracterizadas (seus conjuntos de coincidência são elipsoides generalizados, paraboloides ou semi-espaços), a estabilidade estrutural dessas soluções sob perturbações locais próximas à origem permanece uma questão em aberto. Os autores visam determinar a geometria da fronteira livre $\partial\{u>0\}$ no infinito para tais soluções perturbadas, focando particularmente na parte regular da fronteira.

Metodologia
O núcleo da metodologia é o desenvolvimento de uma fórmula de quase monotonicidade em larga escala para o funcional de Alt–Caffarelli–Friedman (ACF).

1. Contraste com a Teoria de Pequena Escala: Os autores observam que os argumentos perturbativos clássicos (por exemplo, em [3]) dependem do desaparecimento algébrico das soluções em um ponto base para controlar termos de erro. Essa abordagem falha no infinito porque os limites de blow-down relevantes exibem crescimento quadrático em vez de desaparecimento.
2. O Mecanismo de Larga Escala: Em vez de depender do desaparecimento pontual, os autores exploram o fato de que as perturbações locais desaparecem sob o escalonamento de blow-down. O argumento procede comparando a solução perturbada $w$ (estendida por zero dentro de $B_1$) com uma solução de "substituição" $v_{\tilde{\rho}}$ em uma bola grande $B_{\tilde{\rho}}(x_0)$. A substituição $v_{\tilde{\rho}}$ resolve o problema do obstáculo exato com os mesmos dados de contorno de $w$ em $\partial B_{\tilde{\rho}}(x_0)$.
3. Estabilidade e Controle de Erro:
   • O funcional ACF para a substituição $v_{\tilde{\rho}}$ é genuinamente monótono.
   • Utilizando estimativas de estabilidade para o problema do obstáculo, os autores mostram que $w$ e $v_{\tilde{\rho}}$ são suficientemente próximos nas normas $W^{1,2}$ e $C^1$, com a diferença controlada pelo tamanho da região de perturbação (que é fixa) em relação à grande escala $\tilde{\rho}$.
   • Isso permite a transferência das propriedades de monotonicidade da solução exata $v_{\tilde{\rho}}$ para a solução perturbada $w$, resultando em uma fórmula de "quase monotonicidade" onde o defeito tende a zero conforme a escala aumenta.

Principais Contribuições e Resultados

• Teorema 1.1 (Quase Monotonicidade no Infinito): Os autores provam que para $n \ge 3$, o funcional ACF $\Phi$ aplicado a diferenciais finitas da solução satisfaz uma desigualdade de quase monotonicidade:
  $$\Phi(w_{e,h}, x_0, r) \le \Phi(w_{e,h}, x_0, R) + C r^{-1/2} + \delta$$
  para $1 < r < R$ e $x_0$ na fronteira livre. Para $n=2$, aparece um termo de correção logarítmica, que permanece suficiente para a classificação. Este resultado aplica-se a soluções que são perturbações de soluções globais confinadas a um conjunto compacto.

• Classificação de Limites de Blow-Down (Lema 4.1): Utilizando o Teorema 1.1, os autores classificam os limites de blow-down da solução ao longo de centros móveis. Eles estabelecem que o limite $w_0$ é ou uma solução de semi-espaço ou uma solução global cujo blow-down é o polinômio quadrático específico $p$.

• Estrutura da Fronteira Livre Regular (Teorema 1.2): O principal resultado geométrico afirma que para $n \ge 3$, suficientemente longe da origem (a uma distância $R_\epsilon$), as seções transversais do conjunto de coincidência $\{u=0\}$ perpendiculares à direção $e_n$ são gráficos normais $C^2$ sobre cópias homotéticas do elipsoide $E'$ associado ao polinômio $p$.

  • Especificamente, se $x_0 = (x'_0, t)$ é um ponto regular com $t \ge R_\epsilon$, a fronteira $\partial \Sigma_t$ (onde $\Sigma_t = \{x' : (x', t) \in \{u=0\}\}$) é um gráfico normal $\epsilon$-$C^2$ sobre uma cópia escalonada de $\partial E'$.

Significância e Alegações
O artigo afirma fornecer um mecanismo modelo para controlar erros no infinito em problemas de fronteira livre estáveis. A significância reside na mudança fundamental da análise perturbativa de pequena escala (baseada no desaparecimento) para a análise de larga escala (baseada no encolhimento da região de perturbação sob escalonamento).

Os autores declaram explicitamente que, embora uma classificação completa de todas as soluções globais perturbadas (incluindo pontos singulares) seja provavelmente intratável devido ao potencial de comportamento selvagem no conjunto singular, seu método recupera com sucesso informações estruturais para a parte regular da fronteira livre em grandes escalas. O trabalho demonstra que o funcional ACF, tradicionalmente uma ferramenta para regularidade local, pode ser adaptado para analisar o comportamento assintótico quando combinado com estimativas de estabilidade e a geometria específica das soluções globais do problema do obstáculo.

O artigo restringe sua análise geométrica detalhada ao caso em que o núcleo do polinômio limite tem dimensão 1 (correspondente a soluções de paraboloide), observando que a fórmula de monotonicidade em si (Teorema 1.1) é geral o suficiente para lidar com outros casos, que poderiam ser tratados adaptando argumentos da literatura existente (especificamente [7]).