A Short Proof of Optimal Regularity for minimizers of the Alt-Phillips Problem

Resumo Técnico: Uma Prova Curta da Regularidade Ótima para Minimizadores do Problema de Alt-Phillips

Enunciado do Problema
O artigo aborda a regularidade dos minimizadores para o problema da fronteira livre de Alt-Phillips, definido pelo funcional:
$$J^\gamma(u, B_1) := \int_{B_1} \left( |\nabla u|^2 + u_+^\gamma \right) dx$$
onde $\gamma \in (0, 1)$, $B_1 \subset \mathbb{R}^d$ é a bola unitária, e $u \in H^1(B_1)$ possui dados de contorno não negativos prescritos. Embora a regularidade ótima $u \in C^{1, \beta-1}_{loc}(B_1)$ (com $\beta = \frac{2}{2-\gamma} \in (1, 2)$) tenha sido estabelecida na literatura prévia (ex: [AP86]), este trabalho visa fornecer uma prova autossuficiente, pedagógica e concisa especificamente para o intervalo $\gamma \in (0, 1)$.

Metodologia
A prova baseia-se em um argumento de dicotomia adaptado de [DSS20], originalmente desenvolvido para quase-minimizadores. A estratégia central envolve analisar a média $L^2$ do minimizador em diferentes escalas para estabelecer dois comportamentos distintos:

1. Decaimento: Se a média for suficientemente grande, a média reescalonada por $\beta$ decai por um fator de $1/2$.
2. Aproximação por Constantes: Alternativamente, o minimizador é próximo de uma constante positiva em uma bola menor.

A metodologia procede através de três estágios principais:

• Regularidade de Hölder Preliminar: O autor estabelece primeiro a regularidade $C^{0, \alpha}$ para minimizadores de energias de Dirichlet perturbadas com potenciais de crescimento quadrático. Isso é alcançado via a abordagem de Campanato, utilizando um lema que limita a oscilação do minimizador em relação a uma substituição harmônica.
• O Argumento de Dicotomia (Proposição 3.2): Para um minimizador com uma média $L^2$ grande $a$, a prova demonstra que ou a média decai significativamente ao ser reescalonada, ou a função é uniformemente próxima de uma constante positiva $m$ (onde $m \sim a$).
• Escalonamento Iterativo e Estimativas de Harnack: Ao iterar a dicotomia, o autor deriva uma taxa de crescimento $\beta$ a partir de pontos de fronteira livre (onde $u=0$) e uma desigualdade do tipo Harnack dentro do conjunto de positividade (onde $u>0$). Especificamente, se $u(0) > 0$, a função permanece comparável a $u(0)$ em uma bola de raio proporcional a $u(0)^{1/\beta}$.

Resultados Principais
O artigo estabelece seu teorema principal:

• Teorema 3.1: Minimizadores $u$ do funcional de Alt-Phillips para $\gamma \in (0, 1)$ pertencem a $C^{1, \beta-1}_{loc}(B_1)$. Além disso, a norma é controlada pela norma $L^2$ dos dados de contorno:
  $$\|u\|_{C^{1, \beta-1}(B_{1/2})} \leq C \left(1 + \|u\|_{L^2(B_1)}\right)$$

A prova sintetiza dois componentes:

1. Crescimento $\beta$: Próximo à fronteira livre, o minimizador cresce a uma taxa de $r^\beta$.
2. Regularidade Interior: Dentro do conjunto de positividade $\{u > 0\}$, o minimizador satisfaz uma equação elíptica $\Delta u = \gamma u^{\gamma-1}$. Usando a desigualdade de Harnack derivada da dicotomia, o autor aplica estimativas elípticas interiores padrão para mostrar que o gradiente é Hölder contínuo com expoente $\beta-1$.

Significância e Alegações
O autor enquadra explicitamente sua contribuição como uma prova autossuficiente e pedagógica de um resultado conhecido. O artigo não alega descobrir novos resultados de regularidade ou estender a teoria para novos regimes de $\gamma$ (além do foco específico em $\gamma \in (0, 1)$). Em vez disso, sua significância reside em:

• Simplificação: Fornecer uma derivação mais curta e acessível da regularidade ótima em comparação com a literatura existente.
• Adaptação de Técnicas: Adaptar com sucesso o argumento de dicotomia de [DSS20] (projetado para quase-minimizadores) para o contexto específico do funcional de Alt-Phillips.
• Clareza: Oferecer uma abordagem unificada que combina a taxa de crescimento da fronteira livre com estimativas do tipo Harnack no conjunto positivo para obter a regularidade $C^{1, \beta-1}$ final.

O trabalho reconhece desenvolvimentos relacionados no problema do obstáculo ($\gamma=1$) [Caf98, PS05], o problema de Bernoulli de uma fase ($\gamma=0$) [CS05, Vel23], e o funcional geral de Alt-Phillips ($\gamma \in (0, 2)$) [AP86], posicionando este artigo como um esclarecimento focado para o caso subquadrático $\gamma \in (0, 1)$.