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

Resumen Técnico: Una prueba breve de la regularidad óptima para los minimizadores del problema de Alt-Phillips

Enunciado del Problema
El artículo aborda la regularidad de los minimizadores para el problema de la frontera libre de Alt-Phillips, definido por el funcional:
$$J^\gamma(u, B_1) := \int_{B_1} \left( |\nabla u|^2 + u_+^\gamma \right) dx$$
donde $\gamma \in (0, 1)$, $B_1 \subset \mathbb{R}^d$ es la bola unitaria, y $u \in H^1(B_1)$ tiene datos de contorno no negativos prescritos. Aunque la regularidad óptima $u \in C^{1, \beta-1}_{loc}(B_1)$ (con $\beta = \frac{2}{2-\gamma} \in (1, 2)$) ha sido establecida en la literatura previa (por ejemplo, [AP86]), este trabajo tiene como objetivo proporcionar una prueba autocontenida, pedagógica y concisa específicamente para el rango $\gamma \in (0, 1)$.

Metodología
La prueba se basa en un argumento de dicotomía adaptado de [DSS20], desarrollado originalmente para casi-minimizadores. La estrategia central consiste en analizar el promedio $L^2$ del minimizador en diferentes escalas para establecer dos comportamientos distintos:

1. Decaimiento: Si el promedio es suficientemente grande, el promedio reescalado en $\beta$ decae por un factor de $1/2$.
2. Aproximación por Constantes: Alternativamente, el minimizador es cercano a una constante positiva en una bola más pequeña.

La metodología procede a través de tres etapas preliminares:

• Regularidad Hölder Preliminar: El autor establece primero la regularidad $C^{0, \alpha}$ para minimizadores de energías de Dirichlet perturbadas con potenciales de crecimiento cuadrático. Esto se logra mediante el enfoque de Campanato, utilizando un lema que acota la oscilación del minimizador respecto a un reemplazo armónico.
• El Argumento de la Dicotomía (Proposición 3.2): Para un minimizador con un promedio $L^2$ grande $a$, la prueba demuestra que o bien el promedio decae significativamente al reescalar, o bien la función es uniformemente cercana a una constante positiva $m$ (donde $m \sim a$).
• Escalamiento Iterativo y Estimaciones de Harnack: Al iterar la dicotomía, el autor deriva una tasa de crecimiento $\beta$ desde los puntos de la frontera libre (donde $u=0$) y una desigualdad de tipo Harnack dentro del conjunto de positividad (donde $u>0$). Específicamente, si $u(0) > 0$, la función permanece comparable a $u(0)$ en una bola de radio proporcional a $u(0)^{1/\beta}$.

Resultados Clave
El artículo establece su teorema principal:

• Teorema 3.1: Los minimizadores $u$ del funcional de Alt-Phillips para $\gamma \in (0, 1)$ pertenecen a $C^{1, \beta-1}_{loc}(B_1)$. Además, la norma está controlada por la norma $L^2$ de los datos de contorno:
  $$\|u\|_{C^{1, \beta-1}(B_{1/2})} \leq C \left(1 + \|u\|_{L^2(B_1)}\right)$$

La prueba sintetiza dos componentes:

1. Crecimiento $\beta$: Cerca de la frontera libre, el minimizador crece a un ritmo de $r^\beta$.
2. Regularidad Interior: Dentro del conjunto de positividad $\{u > 0\}$, el minimizador satisface una ecuación elíptica $\Delta u = \gamma u^{\gamma-1}$. Utilizando la desigualdad de Harnack derivada de la dicotomía, el autor aplica estimaciones elípticas interiores estándar para mostrar que el gradiente es Hölder continuo con exponente $\beta-1$.

Significancia y Reivindicaciones
El autor enmarca explícitamente su contribución como una prueba autocontenida y pedagógica de un resultado conocido. El artículo no pretende descubrir nuevos resultados de regularidad ni extender la teoría a nuevos regímenes de $\gamma$ (más allá del enfoque específico para $\gamma \in (0, 1)$). En su lugar, su significancia radica en:

• Simplificación: Proporcionar una derivación más corta y accesible de la regularidad óptima en comparación con la literatura existente.
• Adaptación de Técnicas: Adaptar con éxito el argumento de la dicotomía de [DSS20] (diseñado para casi-minimizadores) al contexto específico del funcional de Alt-Phillips.
• Claridad: Ofrecer un enfoque unificado que combina la tasa de crecimiento desde la frontera libre con estimaciones de tipo Harnack en el conjunto positivo para obtener la regularidad $C^{1, \beta-1}$ final.

El trabajo reconoce desarrollos relacionados en el problema del obstáculo ($\gamma=1$) [Caf98, PS05], el problema de Bernoulli de una fase ($\gamma=0$) [CS05, Vel23], y el funcional general de Alt-Phillips ($\gamma \in (0, 2)$) [AP86], posicionando este artículo como una clarificación enfocada para el caso subcuadrático $\gamma \in (0, 1)$.