On Weiss Almost Monotonicity Formula

1. O Problema Investigado

O artigo aborda o estudo de minimizadores quase (ou almost minimizers) de um funcional de energia de tipo Alt-Phillips com coeficientes variáveis. O funcional considerado é:

$$J (u, \Omega) := \int_{\Omega} \left( \frac{1}{2} \langle A(x)\nabla u, \nabla u \rangle + \sigma(x, u) \right) dx$$

Especificamente, o foco recai sobre o caso onde $\sigma(x, u) = \delta(x) u^{\gamma(x)}$, resultando no problema de Alt-Phillips com coeficientes não constantes:
$$J (u) := \int_{\Omega} \left( \frac{|\nabla u|^2}{2} + \delta(x) u^{\gamma(x)} \right) dx$$

Contexto e Motivação:

• Coeficientes Variáveis: Diferente dos problemas clássicos onde os coeficientes são constantes, aqui $A(x)$ (matriz elíptica), $\delta(x)$ e $\gamma(x)$ variam no domínio.
• Baixa Regularidade: Trabalha-se sob hipóteses mínimas de regularidade para os coeficientes. Enquanto trabalhos anteriores (como [4]) exigiam que $\delta, \gamma \in W^{1,q}$ com $q > d$, este artigo busca relaxar essas condições para regularidades do tipo Dini e Log-Dini.
• Objetivo Principal: Estabelecer uma fórmula de quase-monotonicidade do tipo Weiss para classificar os limites de blow-up (explosão) e analisar a estrutura da fronteira livre associada a esses minimizadores.

2. Metodologia

A estratégia central do autor baseia-se na frozen coefficients (coeficientes congelados) e na regularidade ótima das soluções perto da fronteira livre.

• Fórmula de Weiss Quase-Monótona: O autor deriva uma fórmula de monotonicidade para um funcional de energia escalado, $A_{u,x_0}(r)$, que mede a energia em uma bola de raio $r$ centrada em um ponto da fronteira livre $x_0$.
• Comparação "Para Frente e Para Trás":
  1. Congelamento: Fixa-se um ponto $x_0$ na fronteira livre e considera-se um funcional "congelado" $J_{x_0}$, onde os coeficientes $A, \delta, \gamma$ são avaliados apenas em $x_0$.
  2. Competidor Ótimo: Utiliza-se a regularidade ótima da solução $u$ para construir um competidor $w$ (uma extensão homogênea de $u$ a partir da fronteira da bola).
  3. Desvio da Monotonicidade: Como os coeficientes originais não são constantes, o funcional original $J$ difere do funcional congelado $J_{x_0}$. A diferença é quantificada por um termo de erro que depende da oscilação (modulus of continuity) dos coeficientes $\omega_A, \omega_\delta, \omega_\gamma$ e do gauge de quase-minimalidade $\varrho$.
• Condições de Regularidade: A prova exige que a soma das oscilações dos coeficientes, ponderada por logaritmos (devido à singularidade do expoente $\gamma$), pertença à classe de Dini ($C_{0, \text{dini}}$). Especificamente:
  • $\delta \in C_{0, \text{dini}}$
  • $\gamma \in C_{0, \text{log-dini}}$
  • $A$ contínua e uniformemente elíptica.

3. Principais Contribuições e Resultados

A. Fórmula de Quase-Monotonicidade (Teorema 3.1)

O resultado central é a demonstração de que o funcional de Weiss modificado satisfaz:
$$\frac{d}{dr} A_{u,x_0}(r) \geq -g(r)$$
onde $g \in L^1(0, 1)$. O termo $g(r)$ captura o desvio da monotonicidade estrita devido à não-constância dos coeficientes. Isso garante a existência do limite $\lim_{r \to 0} A_{u,x_0}(r)$.

B. Homogeneidade dos Limites de Blow-up (Corolário 3.1)

Como consequência direta da fórmula quase-monótona, prova-se que qualquer limite de blow-up $u_0$ de um minimizador local é homogêneo com expoente $\beta(x_0) = \frac{2}{2-\gamma(x_0)}$.
$$u_0(\lambda x) = \lambda^{\beta(x_0)} u_0(x)$$
Isso é crucial para a classificação dos pontos da fronteira livre.

C. Regularidade da Fronteira Livre (Seção 4)

O autor aplica a nova fórmula para reestabelecer a regularidade da fronteira livre sob hipóteses muito mais fracas do que as existentes na literatura:

• Conjunto Regular ($R(u)$): É localmente uma superfície $C^{1,\alpha}$.
• Conjunto Singular ($\Sigma(u)$): Tem dimensão de Hausdorff $\dim_H(\Sigma(u)) \leq d-3$.
• Medida de Hausdorff: A medida $(d-1)$-dimensional da fronteira livre é finita localmente.
• Relaxamento de Hipóteses: Substitui a exigência de $W^{1,q}$ ($q>d$) por $\delta \in C_{\text{dini}}$ e $\gamma \in C_{\text{log-dini}}$, aproximando-se de uma condição de regularidade "natural" para o problema.

D. Extensões (Seção 5)

O método é generalizado para:

1. Problema de Alt-Caffarelli: Funcionais com termo de obstáculo $\chi_{\{u>0\}}$.
2. Caso de Duas Fases: Funcionais que envolvem termos para $u>0$ e $u<0$ (Alt-Caffarelli e Alt-Phillips de duas fases).

4. Significado e Impacto

• Avanço Teórico: Este trabalho representa um dos primeiros desenvolvimentos de fórmulas de quase-monotonicidade do tipo Weiss para problemas de tipo Alt-Phillips com coeficientes variáveis sob regularidade extremamente baixa.
• Otimização de Hipóteses: Ao reduzir as exigências de regularidade dos coeficientes, o artigo amplia o escopo de aplicabilidade da teoria de regularidade de fronteiras livres para modelos físicos onde os materiais ou parâmetros podem não ser suficientemente suaves para satisfazer condições de Sobolev de alta ordem.
• Ferramenta Robusta: A metodologia de "congelar coeficientes" e comparar com o funcional original, controlando o erro via regularidade Dini, oferece um modelo para analisar outros funcionais não-lineares com coeficientes variáveis.
• Fundamento para Futuras Pesquisas: O artigo abre caminho para investigar quais são as condições de regularidade mais fracas possíveis para manter a regularidade da fronteira livre e sugere extensões para o caso $p$-Laplaciano.

Em resumo, Sobral fornece uma ferramenta analítica poderosa (a fórmula quase-monótona) que permite classificar a estrutura fina da fronteira livre em problemas de energia variável com coeficientes pouco regulares, superando barreiras técnicas impostas por métodos clássicos que exigiam coeficientes mais suaves.