Removable singularities for nonlocal minimal graphs

Resumen Técnico: Singularidades Removibles para Gráficos Mínimos No Locales

Planteamiento del Problema
Este artículo aborda el problema de las singularidades removibles para gráficos mínimos no locales. Específicamente, investiga si una solución a la ecuación de superficies mínimas no locales (y una clase más amplia de ecuaciones no locales) definida en un conjunto abierto $\Omega \setminus K$, donde $K$ es un conjunto compacto de capacidad $(s, 1)$ cero, puede extenderse a una solución en todo el dominio $\Omega$.

El estudio está motivado por la teoría clásica de las superficies mínimas, donde Bers, Nitsche y De Giorgi–Stampacchia establecieron que las singularidades de medida de Hausdorff $(n-1)$-dimensional cero (o de capacidad 1 cero) son removibles para las soluciones a la ecuación de superficie mínima. El autor busca generalizar estos resultados al entorno no local, donde la ecuación gobernante involucra la curvatura media no local $H_s$ o, más generalmente, un operador no local de la forma:
$$-\int_{\mathbb{R}^n} A\left(x, y, \frac{u(x)-u(y)}{|x-y|}\right) \frac{dy}{|x-y|^{n+s}} = B(x, u)$$
donde $s \in (0, 1)$, y $A$ y $B$ satisfacen condiciones estructurales específicas (monotonicidad, acotación y restricciones de crecimiento).

Metodología
La demostración del teorema principal procede en tres pasos distintos, adaptando las técnicas de la teoría local (específicamente el enfoque de Serrin) al marco no local, abordando al mismo tiempo los desafíos planteados por la no localidad.

1. Regularidad bajo Supuestos de Integrabilidad:
   El primer paso establece que si una solución $u$ ya posee un cierto nivel de integrabilidad local (específicamente $u \in L^\varepsilon_{\text{loc}}(\Omega)$ para algún $\varepsilon > 0$) cerca del conjunto singular $K$, entonces $u$ alcanza la regularidad $W^{s,1}_{\text{loc}}(\Omega)$.

   • Técnica: El autor emplea estimaciones de tipo Caccioppoli que involucran "dobles truncamientos" de la solución ($\bar{u}$ y $u$). Estas estimaciones se derivan de funciones de prueba construidas mediante la suavización (mollification) y una secuencia de funciones de corte $\bar{\eta}_j$ que se anulan cerca de $K$ pero convergen a 1 casi en todas partes.
   • Herramientas: La demostración utiliza la desigualdad de Sobolev fraccional y una técnica de iteración de Moser para mejorar la integrabilidad de $u$ de $L^\varepsilon$ a $L^\infty_{\text{loc}}$, lo que posteriormente asegura la regularidad $W^{s,1}_{\text{loc}}$.

2. Verificación de la Integrabilidad:
   El segundo paso demuestra que el supuesto de integrabilidad adicional requerido en el Paso 1 se satisface automáticamente para cualquier solución definida en $\Omega \setminus K$.

   • Desafío: Las técnicas clásicas (por ejemplo, el doble truncamiento de Serrin con niveles que exceden el máximo de la frontera) fallan en el entorno no local porque los valores de "frontera" de un problema no local dependen del comportamiento de la función en todo el complemento del dominio, el cual puede ser no acotado.
   • Solución: El autor introduce una técnica de localización. Al utilizar la estructura específica de la ecuación (correspondiente al caso $p=1$ en ecuaciones de tipo $p$-laplaciano fraccional), el método evita la necesidad de supremums finitos en el complemento. En su lugar, aprovecha el hecho de que la ecuación involucra una forma de "norma $L^0$ ponderada" (un término constante) para adaptar la demostración de Serrin utilizando dobles truncamientos. Este paso depende crucialmente de la compacidad de $K$.

3. Extensión de la Solución:
   El paso final utiliza un argumento de aproximación estándar para mostrar que la función extendida satisface la formulación débil de la ecuación en todo el dominio $\Omega$.

   • Técnica: Se utiliza una secuencia de funciones de prueba $\phi_j = \phi \bar{\eta}_j$, donde $\bar{\eta}_j$ se anula cerca de $K$. El autor demuestra que los términos integrales no locales y los términos de orden inferior convergen a los límites requeridos cuando $j \to \infty$, utilizando la propiedad de medida cero de los conjuntos con capacidad $(s, 1)$ cero y el teorema de la convergencia dominada.

Contribuciones Clave y Resultados

• Teorema Principal (Teorema 1.4): El artículo demuestra que si $K \subset \Omega$ es un conjunto compacto de capacidad $(s, 1)$ cero, cualquier solución a la ecuación no local general (1.3) en $\Omega \setminus K$ tiene un representante que es una solución en todo $\Omega$.
• Aplicación a Gráficos Mínimos No Locales: Como corolario directo, este trabajo establece que cualquier gráfico mínimo no local definido en $\Omega \setminus K$ (donde $K$ tiene capacidad $(s, 1)$ cero) es, de hecho, un gráfico mínimo no local en $\Omega$.
• Generalización de la Clase de Ecuaciones: El resultado se extiende más allá de la ecuación específica de superficie mínima no local a una amplia clase de ecuaciones con curvatura media no local prescrita, incluyendo casos donde el término de la derecha $B(x, u)$ satisface condiciones de crecimiento específicas (por ejemplo, ecuaciones de tipo capilaridad).
• Distinción de Conceptos de Solución: El artículo distingue cuidadosamente entre "soluciones débiles" (funciones medibles que satisfacen la formulación integral) y "soluciones" (soluciones débiles que también pertenecen a $W^{s,1}_{\text{loc}}$). El teorema principal se aplica a estas últimas, mientras que un resultado separado (Teorema 5.1) aborda las soluciones débiles bajo supuestos algo más fuertes sobre el término de orden inferior $B$.

Significado y Reivindicaciones
El autor afirma que este trabajo proporciona el primer teorema de singularidad removible para gráficos mínimos no locales y una amplia clase de ecuaciones no locales. Una característica notable del resultado es que, a diferencia de los teoremas de singularidad removible para ecuaciones de tipo $p$-laplaciano no lineal no local con $p > 1$, el teorema para el caso $p=1$ (que incluye los gráficos mínimos no locales) no requiere supuestos a priori sobre el comportamiento de la solución $u$ cerca del conjunto singular $K$.

El artículo reconoce que, si bien la teoría de regularidad para gráficos mínimos no locales implica que las soluciones son $C^\infty$, la teoría de regularidad para la ecuación general (1.3) aún no está plenamente establecida. Por consiguiente, el artículo no pretende que la solución extendida sea necesariamente continua o suave para el caso general, sino solo que es una solución válida en el sentido definido.

El trabajo también señala que el caso donde el conjunto singular $K$ se aproxima a la frontera de $\Omega$ sigue siendo una cuestión abierta, aunque el artículo proporciona un resultado parcial para soluciones débiles en el Teorema 5.1 donde el conjunto $E$ es relativamente cerrado (permitiendo que se aproxime a la frontera) bajo condiciones específicas sobre el término de orden inferior.