Closing the gap: Maz'ya-Shaposhnikova and asymptotics of fractional perimeters

Resumen Técnico: Cerrando la Brecha: Maz'ya-Shaposhnikova y Asintóticas de Perímetros Fraccionarios

Enunciado del Problema
El estudio de las asintóticas de las seminormas de Gagliardo es central en el análisis no local, cerrando la brecha entre los espacios de Sobolev fraccionarios $W^{s,p}$ y los espacios clásicos a medida que el parámetro $s$ tiende a 0 o 1. La fórmula clásica de Maz'ya-Shaposhnikova (MS) [36] describe el límite cuando $s \to 0^+$ para funciones $u \in L^p(\mathbb{R}^d)$, estableciendo que $s [u]_{W^{s,p}}^p$ converge a un múltiplo de la norma $L^p$. Sin embargo, esta fórmula depende de la suposición estructural de que $u$ se anula en el infinito (es decir, $u \in L^p(\mathbb{R}^d)$). Esta restricción suprime artificialmente el "comportamiento de cola" de las funciones, que es precisamente el régimen donde la naturaleza no local del núcleo fraccionario es más pronunciada a medida que $s \to 0^+$.

Por el contrario, trabajos recientes sobre las asintóticas de perímetros fraccionarios [20] para funciones características de conjuntos $E$ revelaron que si un conjunto tiene masa no nula en el infinito, el límite involucra un término $\alpha_1(E)$ que representa la "cola no local". Esto sugiere que para funciones generales que no pertenecen a $L^p(\mathbb{R}^d)$, el límite no debería ser un simple múltiplo de la norma local $L^p$, sino más bien una energía de interacción entre los valores de la función dentro de un dominio acotado $\Omega$ y su comportamiento "en el infinito".

Metodología
Los autores se centran en el caso Hilbertiano $p=2$ e introducen una seminorma de Gagliardo localizada en un dominio Lipschitz acotado $\Omega$:
$$[u]_{W^{s,2}(Q\Omega)}^2 = \iint_{Q\Omega} \frac{|u(x) - u(y)|^2}{|x-y|^{d+2s}} \, dx \, dy,$$
donde $Q\Omega = (\mathbb{R}^d \times \mathbb{R}^d) \setminus (\Omega^c \times \Omega^c)$. Este funcional cuenta las interacciones que involucran al menos un punto en $\Omega$, aislando la energía de las interacciones interior-interior, interior-exterior y exterior-interior, mientras ignora las contribuciones exterior-exterior.

La innovación metodológica central es la definición de la masa $p$ en el infinito para una función medible $u$:
$$\alpha_p(u) := \lim_{s \to 0^+} s \int_{B_1^c(0)} \frac{u(y)}{|y|^{d+sp}} \, dy.$$
Los autores establecen que esta cantidad es invariante bajo traslaciones y está bien definida para funciones que pueden no ser integrables globalmente. Descomponen la seminorma localizada en cuatro términos:

1. Interior-Interior: Se muestra que se anula cuando $s \to 0^+$ (Lema 2.5).
2. Interior-Exterior (Cuadrado): Convierte a un término que involucra la masa de la función constante 1 y la integral de $u^2$ sobre $\Omega$.
3. Término Cruzado: Involucra el producto $u(x)u(y)$, que se expande utilizando las partes positiva y negativa de $u$ ($u_+, u_-$) y se analiza mediante la masa en el infinito.
4. Exterior-Interior (Cuadrado): Convierte a un término que involucra la masa de $u^2$ y el volumen de $\Omega$.

Las pruebas se basan en una combinación de estimaciones directas, la desigualdad de Hardy fraccionaria y una versión generalizada de la fórmula MS en espacios métricos de medida (Proposición 2.3 de [28]), adaptada para manejar medidas ponderadas por los propios valores de la función.

Contribuciones y Resultados Clave

1. Fórmula Generalizada de Maz'ya-Shaposhnikova (Teorema 1.3):
   El artículo demuestra que para $u \in L^2_{\text{loc}}(\mathbb{R}^d)$ con masa finita en el infinito (específicamente, existen $\alpha(u_+), \alpha(u_-), \alpha(u^2)$), el límite de la seminorma localizada es:
   $$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \sum_{k=0}^2 \binom{2}{k} (-1)^k \alpha(u^k) \int_\Omega u^{2-k}(x) \, dx.$$
   Esta fórmula unifica la fórmula MS clásica (recuperada cuando $u \in L^2(\mathbb{R}^d)$, de modo que $\alpha(u^k)=0$ para $k \ge 1$) y las asintóticas del perímetro fraccionario.

2. Interpretación Geométrica (Teorema 2.11):
   Para funciones $u$ que admiten un límite radial $u_\infty(\theta)$ cuando $|x| \to \infty$, el funcional límite se caracteriza explícitamente como una energía de interacción entre los valores de $u$ dentro de $\Omega$ y su límite en el infinito:
   $$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \frac{1}{2} \int_\Omega \int_{S^{d-1}} |u(x) - u_\infty(\theta)|^2 \, d\mathcal{H}^{d-1}(\theta) \, dx.$$
   Esto aclara que el límite no es una norma, sino una energía que mide la desviación de la función respecto a su comportamiento en el infinito.

3. Convergencia Gamma (Teorema 3.4):
   Los autores establecen que la secuencia de funcionales $F_s(u, \Omega) = \frac{s}{2}[u]_{H^s(Q\Omega)}^2$ converge Gamma con respecto a la topología débil-$L^2(\Omega)$ al funcional identificado en el Teorema 1.3. Este resultado implica que el funcional límite es el envoltorio semicontinuo inferior del funcional conjunto que describe el perímetro fraccionario asintótico (Ecuación 1.6).

4. Extensión a Espacios Métricos de Medida (Teorema 4.5):
   Los resultados se extienden a espacios métricos de medida generales $(M, d, m)$ bajo suposiciones específicas sobre los núcleos de convolución $\rho_n$ y la existencia de masa en el infinito. Esto incluye aplicaciones a Grupos de Carnot.

5. Distinción con Perímetros Gaussianos (Observación 4.9):
   El artículo señala que las asintóticas derivadas no se cumplen para el perímetro fraccionario gaussiano. En el contexto gaussiano, la medida es finita y los núcleos no concentran masa en el infinito de la misma manera; en consecuencia, el límite depende de la medida total de los conjuntos en lugar de las interacciones locales de la frontera.

Significado y Afirmaciones
El artículo afirma "cerrar la brecha" entre la fórmula clásica de Maz'ya-Shaposhnikova y las asintóticas de perímetros no locales al proporcionar un marco unificado que acomoda funciones con masa no nula en el infinito.

• Unificación: El funcional límite identificado se reduce a la norma $L^2$ clásica para funciones integrables globalmente y recupera el límite puntual de los perímetros fraccionarios $s$ para funciones características de conjuntos.
• Insight Estructural: Al introducir la noción de "masa en el infinito", los autores caracterizan rigurosamente las interacciones de largo alcance que dominan la energía a medida que $s \to 0^+$. Demuestran que el límite es una energía de interacción entre el interior del dominio y el "horizonte" (infinito), en lugar de una norma local.
• Robustez: Se demuestra que los resultados se cumplen en el sentido de la convergencia Gamma, asegurando estabilidad bajo convergencia débil, y se generalizan al contexto de espacios métricos de medida, cubriendo espacios como los Grupos de Carnot.

Los autores declaran explícitamente que el caso para $p \neq 2$ general requiere un enfoque diferente y es objeto de un artículo complementario [13], señalando que para $p$ impar, puede no ser alcanzable una fórmula cerrada análoga a la expansión binomial utilizada aquí.