Volumetric density estimates for nonlocal minimal surfaces

Resumen Técnico: Estimaciones de Densidad Volumétrica para Superficies Mínimas No Locales

Planteamiento del Problema
El artículo aborda la teoría de regularidad de las superficies mínimas no locales, centrándose específicamente en la validez de las estimaciones de densidad volumétrica para subsoluciones de viscosidad de ecuaciones de curvatura media no local. En la teoría clásica de superficies mínimas, las estimaciones de densidad (que cuantifican cuán "próximas" pueden estar porciones de una superficie) son herramientas fundamentales. Para las superficies mínimas clásicas, las estimaciones de densidad volumétrica (V) y las estimaciones de densidad superficial desde arriba (SA) se cumplen para minimizadores, pero fallan para superficies estacionarias generales (por ejemplo, el catenoide o los bloques periódicos).

En el contexto no local, definido por núcleos comparables al laplaciano fraccional, resultados previos establecieron que (V), (SA) y (SB) se cumplen para minimizadores del perímetro no local. Sin embargo, para conjuntos no minimizadores generales (soluciones estacionarias o subsoluciones de viscosidad), la validez de la estimación volumétrica (V) permaneció como una pregunta abierta. Además, para núcleos generales (no solo el laplaciano fraccional), la validez de estas estimaciones para soluciones estacionarias era en gran medida desconocida, particularmente porque las pruebas existentes para el caso fraccional dependían de fórmulas de monotonía que no se extienden a núcleos generales.

Metodología
Los autores emplean un argumento por contradicción arraigado en las propiedades de las subsoluciones de viscosidad y la geometría del operador de curvatura media no local. La metodología central implica:

1. Formulación de Viscosidad: Los autores trabajan con la definición de subsoluciones de viscosidad, donde se requiere que la curvatura media no local $H_{K,E}$ esté acotada superiormente en puntos donde el conjunto $E$ admite una bola de contacto exterior. Esto permite el análisis de conjuntos potencialmente irregulares (conjuntos de Borel) sin requerir diferenciabilidad clásica.
2. Desigualdad Maximal de Hardy-Littlewood: La prueba utiliza la función maximal para identificar un conjunto de puntos $D_\alpha$ dentro de una bola donde el conjunto $E$ es "disperso" (es decir, tiene baja densidad) a todas las escalas.
3. Desigualdades de Rearreglo: Una herramienta técnica clave es una desigualdad de rearrreglo (Lema 3.2) que demuestra que si un conjunto $E$ tiene medida pequeña en una región, la energía de interacción no local (y por tanto la curvatura) en un punto frontera que toca una bola exterior debe ser grande.
4. Contradicción mediante Densidad: Los autores asumen que la estimación de densidad volumétrica falla (es decir, $E$ tiene medida arbitrariamente pequeña en una bola). Muestran que esta dispersión fuerza a que la curvatura media no local exceda el límite impuesto por la condición de subsolución de viscosidad en puntos específicos.
5. Manejo de la Medida de la Frontera: Se hace una distinción técnica crítica respecto a la medida de Lebesgue de la frontera $\partial E$. Los autores demuestran que si la densidad es demasiado baja, el conjunto de puntos donde la curvatura no local es infinita debe tener medida de Lebesgue positiva. Dado que la definición de viscosidad solo restringe puntos con bolas de contacto exterior, y los puntos con curvatura infinita en este contexto carecen necesariamente de tales bolas, los autores derivan una contradicción con la suposición de que $\partial E$ tiene medida de Lebesgue cero.

Contribuciones y Resultados Clave

• Estimaciones Volumétricas Universales para Subsoluciones (Teorema 1.2): El resultado principal establece que para cualquier conjunto de Borel $E$ con una frontera de medida de Lebesgue cero, si $E$ es una subsolución de viscosidad de una ecuación de curvatura media no local con un núcleo comparable al laplaciano fraccional, entonces $E$ satisface una estimación universal de densidad volumétrica. Específicamente, $|E \cap B_R| \geq \delta |B_R|$ para todo $R > 0$, donde $\delta$ depende únicamente de la dimensión, el orden fraccional $s$ y las constantes de elipticidad del núcleo.
• Extensión a Núcleos Generales (Corolario 1.4): A diferencia de resultados previos para superficies $s$-mínimas que dependían de fórmulas de monotonía específicas, estas estimaciones se cumplen para núcleos simétricos generales que satisfacen cotas de elipticidad uniforme (comparables a $|y|^{-(d+s)}$).
• Densidad Superficial desde Abajo (Corolario 1.5): Al combinar las nuevas estimaciones volumétricas con la desigualdad isoperimétrica relativa, los autores demuestran que las superficies mínimas no locales generales (soluciones estacionarias) satisfacen una estimación universal de densidad superficial desde abajo (SB). Esto extiende la validez de (SB) más allá del caso del laplaciano fraccional.
• El Fenómeno de la "Frontera Gorda" (Teorema 1.6): El artículo prueba una conjetura sorprendente: si una subsolución de viscosidad tiene densidad "demasiado baja" (por debajo de un umbral universal), su frontera topológica debe tener medida de Lebesgue positiva. Específicamente, el conjunto de puntos en la frontera donde la curvatura media no local es $+\infty$ tiene medida de Lebesgue positiva. Esto resalta una rigidez en el marco de soluciones de viscosidad: no se puede tener un conjunto "delgado" con una frontera "delgada" que satisfaga la condición de subsolución; si el conjunto es demasiado disperso, la frontera se vuelve "gorda" (medida positiva) y la curvatura explota en un conjunto de medida positiva.

Significado y Afirmaciones
El artículo afirma resolver la validez de las estimaciones de densidad volumétrica para superficies mínimas no locales no minimizadoras con núcleos generales. Los autores enfatizan que sus resultados se cumplen para subsoluciones de viscosidad, una clase más amplia que los minimizadores o puntos estacionarios en el sentido clásico.

El significado radica en:

1. Universalidad: Establecer que las estimaciones de densidad volumétrica son una propiedad robusta de las superficies mínimas no locales, independiente de si el conjunto es un minimizador global, siempre que la frontera sea suficientemente regular (medida de Lebesgue cero).
2. Núcleos Generales: Avanzar más allá del núcleo específico del laplaciano fraccional hacia una amplia clase de núcleos, ampliando así la aplicabilidad de la teoría de superficies mínimas no locales a modelos con diferentes rangos de interacción.
3. Perspectiva Estructural: El Teorema 1.6 proporciona una nueva perspectiva estructural sobre la naturaleza de las soluciones de viscosidad, vinculando directamente la baja densidad con la existencia de una "frontera gorda" y curvatura infinita, un fenómeno que no está presente en la teoría local clásica en la misma forma.

Los autores señalan que sus resultados no requieren suposiciones de estabilidad (a diferencia de resultados previos para la estimación de densidad superficial desde arriba en el contexto no local) y se aplican a todo el espacio a todas las escalas. El trabajo se basa en la interacción entre la singularidad del operador no local y las restricciones geométricas impuestas por la definición de solución de viscosidad.