ACF Almost Monotonicity at Infinity with Applications to Perturbed Global Solutions

Resumen Técnico: Casi Monotonía de ACF en el Infinito con Aplicaciones a Soluciones Perturbadas

Planteamiento del Problema
Este artículo investiga el comportamiento geométrico a gran escala del conjunto de coincidencia $\{u=0\}$ para perturbaciones de soluciones globales del problema del obstáculo clásico en $\mathbb{R}^n \setminus B_1$. Específicamente, los autores consideran soluciones $u$ que satisfacen $\Delta u = \chi_{\{u>0\}}$ en el dominio exterior, con datos de contorno suaves prescritos en $\partial B_1$, y que convergen a un polinomio cuadrático homogéneo $p(x')$ (independiente de la dirección $x_n$) bajo un escalamiento de reducción (blow-down).

Si bien las soluciones globales al problema del obstáculo en $\mathbb{R}^n$ están bien caracterizadas (sus conjuntos de coincidencia son elipsoides generalizados, paraboloides o semiplanos), la estabilidad estructural de estas soluciones bajo perturbaciones locales cerca del origen sigue siendo una cuestión abierta. Los autores pretenden determinar la geometría de la frontera libre $\partial\{u>0\}$ en el infinito para tales soluciones perturbadas, centrándose particularmente en la parte regular de la frontera.

Metodología
El núcleo de la metodología es el desarrollo de una fórmula de casi monotonía a gran escala para el funcional de Alt–Caffarelli–Friedman (ACF).

1. Contraste con la Teoría a Pequeña Escala: Los autores señalan que los argumentos perturbativos clásicos (por ejemplo, en [3]) dependen de la anulación algebraica de las soluciones en un punto base para controlar los términos de error. Este enfoque falla en el infinito porque los límites de reducción relevantes exhiben un crecimiento cuadrático en lugar de anulación.
2. El Mecanismo a Gran Escala: En lugar de depender de la anulación puntual, los autores explotan el hecho de que las perturbaciones locales se anulan bajo el escalamiento de reducción. El argumento procede comparando la solución perturbada $w$ (extendida por cero dentro de $B_1$) con una solución de "reemplazo" $v_{\tilde{\rho}}$ en una bola grande $B_{\tilde{\rho}}(x_0)$. El reemplazo $v_{\tilde{\rho}}$ resuelve el problema del obstáculo exacto con los mismos datos de contorno que $w$ en $\partial B_{\tilde{\rho}}(x_0)$.
3. Estabilidad y Control de Errores:
   • El funcional ACF para la solución de reemplazo $v_{\tilde{\rho}}$ es genuinamente monótono.
   • Utilizando estimaciones de estabilidad para el problema del obstáculo, los autores demuestran que $w$ y $v_{\tilde{\rho}}$ son lo suficientemente cercanos en las normas $W^{1,2}$ y $C^1$, siendo la diferencia controlada por el tamaño de la región de perturbación (que es fija) relativo a la gran escala $\tilde{\rho}$.
   • Esto permite transferir las propiedades de monotonía de la solución exacta $v_{\tilde{\rho}}$ a la solución perturbada $w$, produciendo una fórmula de "casi monotonía" donde el defecto tiende a cero a medida que la escala aumenta.

Contribuciones Clave y Resultados

• Teorema 1.1 (Casi Monotonía en el Infinito): Los autores demuestran que para $n \ge 3$, el funcional ACF $\Phi$ aplicado a cocientes de diferencias finitas de la solución satisface una desigualdad de casi monotonía:
  $$\Phi(w_{e,h}, x_0, r) \le \Phi(w_{e,h}, x_0, R) + C r^{-1/2} + \delta$$
  para $1 < r < R$ y $x_0$ en la frontera libre. Para $n=2$, aparece un término de corrección logarítmica, que sigue siendo suficiente para la clasificación. Este resultado se sostiene para soluciones que son perturbaciones de soluciones globales confinadas a un conjunto compacto.

• Clasificación de Límites de Reducción (Lema 4.1): Utilizando el Teorema 1.1, los autores clasifican los límites de reducción de la solución a lo largo de centros móviles. Establecen que el límite $w_0$ es o bien una solución de semiplano, o bien una solución global cuyo límite de reducción es el polinomio cuadrático específico $p$.

• Estructura de la Frontera Libre Regular (Teorema 1.2): El principal resultado geométrico establece que para $n \ge 3$, a una distancia suficiente del origen (a distancia $R_\epsilon$), las secciones transversales del conjunto de coincidencia $\{u=0\}$ perpendiculares a la dirección $e_n$ son gráficas normales $C^2$ sobre copias homotéticas del elipsoide $E'$ asociado al polinomio $p$.

  • Específicamente, si $x_0 = (x'_0, t)$ es un punto regular con $t \ge R_\epsilon$, la frontera $\partial \Sigma_t$ (donde $\Sigma_t = \{x' : (x', t) \in \{u=0\}\}$) es una gráfica normal $\epsilon$-$C^2$ sobre una copia escalada de $\partial E'$.

Significado y Pretensiones
El artículo pretende proporcionar un mecanismo modelo para controlar errores en el infinito en problemas de frontera libre estables. La significancia radica en el cambio fundamental del análisis perturbativo de pequeña escala (basado en la anulación) al análisis de gran escala (basado en el encogimiento de la región de perturbación bajo reescalamiento).

Los autores declaran explícitamente que, si bien una clasificación completa de todas las soluciones globales perturbadas (incluyendo puntos singulares) es probablemente intratable debido al potencial de comportamiento errático en el conjunto singular, su método recupera con éxito la información estructural para la parte regular de la frontera libre a grandes escalas. El trabajo demuestra que el funcional ACF, tradicionalmente una herramienta para la regularidad local, puede adaptarse para analizar el comportamiento asintótico cuando se combina con estimaciones de estabilidad y la geometría específica de las soluciones globales del problema del obstáculo.

El artículo restringe su análisis geométrico detallado al caso en que el núcleo del polinomio límite tiene dimensión 1 (correspondiente a soluciones de tipo paraboloide), señalando que la fórmula de monotonía misma (Teorema 1.1) es lo suficientemente general como para manejar otros casos, los cuales podrían tratarse adaptando argumentos de la literatura existente (específicamente [7]).