Condiciones agudas para la fórmula BBM y asintótica de energías tipo contenido de calor

Información Básica

• ID del Artículo: 2502.14655
• Título: Condiciones agudas para la fórmula BBM y asintótica de energías tipo contenido de calor
• Autores: Luca Gennaioli (University of Warwick), Giorgio Stefani (Università degli Studi di Padova)
• Clasificación: math.AP (Análisis de EDPs), math.FA (Análisis Funcional)
• Fecha de Presentación: 7 de noviembre de 2025 (arXiv v2)
• Enlace del Artículo: https://arxiv.org/abs/2502.14655

Resumen

Este artículo proporciona condiciones necesarias y suficientes para $p \in [1,\infty)$, garantizando que familias de núcleos medibles no negativos $(ρ_t)_{t\in(0,1)}$ aseguren que las energías Bourgain-Brezis-Mironescu (BBM) asociadas $(\mathscr{F}_{t,p})_{t\in(0,1)}$ converjan cuando $t\to 0^+$ a una variante de la energía $p$-Dirichlet en $\mathbb{R}^N$, incluyendo convergencia puntual y convergencia Γ. Los autores también proporcionan condiciones suficientes para $(ρ_t)_{t\in(0,1)}$ que garanticen compacidad local en $L^p(\mathbb{R}^N)$ de sucesiones con energía BBM acotada. Además, cuando la energía $p$-límite es de tipo no local, el artículo proporciona condiciones suficientes que garantizan convergencia puntual, convergencia Γ y compacidad. Finalmente, los autores aplican estos resultados a fórmulas asintóticas para energías tipo contenido de calor, cubriendo casos locales y no locales.

Antecedentes de Investigación y Motivación

Problema Central

Este artículo estudia el comportamiento asintótico de funcionales de energía no local, particularmente energías de tipo BBM: $\mathscr{F}_{t,p}(u) = \int_{\mathbb{R}^N} \int_{\mathbb{R}^N} \frac{|u(x)-u(y)|^p}{|x-y|^p} ρ_t(x-y) dx dy$ cuando el parámetro $t \to 0^+$ converge a la energía $p$-Dirichlet clásica.

Importancia de la Investigación

1. Significado Teórico: La fórmula BBM establece un puente entre funcionales no locales y espacios de Sobolev clásicos, siendo una herramienta fundamental en el análisis moderno
2. Valor de Aplicación: Tiene aplicaciones amplias en eliminación de ruido en imágenes, ciencia de materiales (interacciones de intercambio antisimétrico), investigación de convergencia de funcionales de Ginzburg-Landau no locales, entre otros campos
3. Trasfondo Físico: El contenido de calor (heat content) describe la evolución del calor en el tiempo en un contenedor perfectamente aislado, cuyo comportamiento asintótico codifica información geométrica

Limitaciones de Métodos Existentes

1. Solo Condiciones Suficientes: Desde el trabajo pionero de Bourgain-Brezis-Mironescu 20, la literatura principalmente proporciona condiciones suficientes para la validez de la fórmula BBM
2. Restricciones del Método de Fourier: Davoli et al. 34 obtuvieron condiciones necesarias y suficientes para $p=2$ utilizando transformadas de Fourier, pero este método no se generaliza a $p \neq 2$
3. Suposición de Simetría Radial: Muchos resultados (como 38) solo aplican a familias de núcleos radialmente simétricos, limitando el rango de aplicaciones
4. Falta de Análisis de Compacidad: Para familias de núcleos no radialmente simétricas, los resultados de equicoercividad son prácticamente inexistentes

Motivación de la Investigación

1. Responder la conjetura planteada en 34: proporcionar condiciones necesarias y suficientes para la fórmula BBM para todo $p \in [1,\infty)$
2. Generalizar condiciones necesarias y suficientes de convergencia puntual a convergencia Γ (concepto de convergencia variacional más fuerte)
3. Establecer criterios de compacidad para familias de núcleos no radialmente simétricas
4. Tratar de manera unificada el comportamiento asintótico de núcleos de calor y núcleos de calor fraccionarios

Contribuciones Principales

Las contribuciones principales del artículo incluyen:

1. Teorema de Condiciones Necesarias y Suficientes (Teorema 1.1): Para todo $p \in [1,\infty)$, proporciona condiciones necesarias y suficientes para la validez de la fórmula BBM, resolviendo completamente la conjetura en 34, y generaliza el resultado de convergencia puntual a convergencia Γ
2. Teorema de Coercividad (Teorema 1.2): Bajo la suposición de rango máximo (maximal rank), demuestra coercividad de la familia de funcionales, garantizando que el límite de sucesiones convergentes pertenece al espacio de Sobolev apropiado
3. Criterio General de Compacidad (Teorema 1.3): Para familias de núcleos especiales (4.4), proporciona condiciones suficientes para compacidad local, sin requerir suposición de simetría radial
4. Convergencia No Local a No Local (Teoremas 1.4-1.5): Cuando la energía límite sigue siendo de tipo no local, proporciona condiciones suficientes para convergencia puntual/Γ y compacidad
5. Aplicaciones a Núcleos de Calor:
   • Teorema 1.6: Fórmula asintótica para el núcleo de calor clásico (incluyendo convergencia Γ y compacidad)
   • Teorema 1.7: Análisis completo del núcleo de calor fraccionario, distinguiendo tres casos: $2s > p$, $2s = p$, $2s < p$
   • Teorema 6.2: Generalización de 2 a núcleos de tipo calor general
6. Marco de Espacio de Hilbert (Teorema 1.8): Para semigrupos de operadores simétricos fuertemente continuos, proporciona un tratamiento unificado de la asintótica del contenido de calor

Explicación Detallada de Métodos

Definición de Tareas

Tarea Central: Dada una familia de núcleos $(ρ_t)_{t \in (0,1)} \subset L^1_{loc}(\mathbb{R}^N)$ (con $ρ_t \geq 0$) y $p \in [1,\infty)$, analizar la convergencia del funcional $\mathscr{F}_{t,p}(u) = \int_{\mathbb{R}^N} \frac{\|u(\cdot + z) - u\|^p_{L^p}}{|z|^p} ρ_t(z) dz$ cuando $t \to 0^+$, incluyendo:

1. Si converge a la energía $p$-Dirichlet local $\mathscr{D}^μ_p(u) = \int_{S^{N-1}} \|σ \cdot Du\|^p_{L^p} dμ(σ)$
2. Modos de convergencia (puntual, convergencia Γ)
3. Compacidad (precompacidad de conjuntos de subnivel)

Arquitectura Principal de Métodos

1. Estrategia de Prueba para Condiciones Necesarias y Suficientes (Teorema 1.1)

Dirección de Suficiencia (A)⇒(B):

• Paso 1: Demostrar un resultado más fuerte (Teorema 3.1): la condición (A) garantiza convergencia a energía generalizada $\mathscr{G}^{μ,ν}_p(u) = \int_{S^{N-1}} \|σ \cdot Du\|^p_{L^p} dμ(σ) + \int_{\mathbb{R}^N \setminus \{0\}} \frac{\|u(\cdot+z)-u\|^p_{L^p}}{|z|^p} dν(z)$ donde $μ \in \mathcal{M}^+(S^{N-1})$, $ν \in \mathcal{M}^+(\mathbb{R}^N)$
• Paso 2: Utilizar la descomposición de medidas del Lema 2.9:
  • $ν_k = ρ_{t_k} \mathcal{L}^N \stackrel{*}{\rightharpoonup} ν$ (convergencia débil*)
  • $μ$ se define a través del límite de integrales esféricas: $μ^δ_t(E) = \int_E \left(\int^δ_0 ρ_t(σr) r^{N-1} dr\right) d\mathcal{H}^{N-1}(σ)$
• Paso 3: Estimación por regiones (ecuación 3.2): $\mathscr{F}_{t,p}(u; \mathbb{R}^N) = \mathscr{F}_{t,p}(u; B_δ) + \mathscr{F}_{t,p}(u; A_δ) + \mathscr{F}_{t,p}(u; B^c_{1/δ})$ donde $A_δ = \{x: δ < |x| < 1/δ\}$
• Paso 4: Tratar cada región por separado:
  • Bola pequeña $B_δ$: utilizar la desigualdad del Lema 2.2(i) $\|u(\cdot+z)-u\|_{L^p} \leq \|\frac{z}{|z|} \cdot Du\|_{L^p}$
  • Región anular $A_δ$: utilizar continuidad $z \mapsto \frac{\|u(\cdot+z)-u\|^p_{L^p}}{|z|^p} \in C(\mathbb{R}^N \setminus \{0\})$
  • Exterior $B^c_{1/δ}$: controlado por condición (1.4) como $o(1)$
• Paso 5: La segunda parte de la condición (A) $ν_k \stackrel{*}{\rightharpoonup} αδ_0$ garantiza $ν = αδ_0$, por lo tanto $\mathscr{G}^{μ,αδ_0}_p = \mathscr{D}^μ_p$

Dirección de Necesidad (B)⇒(A):

• Paso 1: De la convergencia puntual en (B) obtener estimación uniforme (Lema 2.11): $\limsup_{t \to 0^+} \mathscr{F}_{t,p}(u) \leq C\|Du\|^p_{L^p}, \quad \forall u \in \text{Lip}_c(\mathbb{R}^N)$
• Paso 2: Verificar la condición (1.4) mediante funciones de prueba cuidadosamente construidas:
  • Para integral exterior: seleccionar $u_R(x) = \mathbb{1}_{B_{R/4}} * \text{(cutoff suave)}$
  • Para integral interior: seleccionar función radial $v(x) = e^{|x|^2} * \text{(cutoff suave)}$
• Paso 3: Aplicar Teorema 3.1 para obtener convergencia a $\mathscr{G}^{λ,ν}_p$ (para algunos $λ, ν$)
• Paso 4: Argumento de cambio de escala (Lema 2.13): si $\mathscr{G}^{μ,ν}_p = \mathscr{G}^{μ,0}_p$ para todo $u \in \text{Lip}_c(\mathbb{R}^N)$, entonces necesariamente $ν = αδ_0$
  • Clave: definir $u_ε(x) = ε^{1-N/p} u(x/ε)$, entonces $\|σ \cdot Du_ε\|_{L^p} = \|σ \cdot Du\|_{L^p}$$\|u_ε(\cdot+z) - u_ε\|_{L^p} = ε^p \|u(\cdot + z/ε) - u\|_{L^p}$
  • Utilizar teorema de convergencia dominada para obtener $\lim_{ε \to 0^+} ε^p \int \frac{\|u(\cdot+z/ε)-u\|^p_{L^p}}{|z|^p} dν(z) = 0$

2. Prueba del Criterio de Compacidad (Teorema 1.3)

Idea Central: Construcción de aproximación por funciones de Sobolev

• Paso 1 (Proposición 4.4): Para familias de núcleos especiales (4.4), demostrar que existe $v_t \in S^p(\mathbb{R}^N)$ tal que $\|v_t - u\|_{L^p} \leq C \mathscr{F}^K_{t,p}(u) β(t)^{-p}, \quad \|∇v_t\|_{L^p} \leq C \mathscr{F}^K_{t,p}(u)$
• Paso 2: Método de construcción — suavizado por convolución:
  • Seleccionar $φ \in \text{Lip}_c(\mathbb{R}^N)$ satisfaciendo $φ \leq G * G$ y $|∇φ| \leq G * G$, donde $G = \min\{K, 1\}$
  • Definir $v_t = u * φ_t$, donde $φ_t(x) = β(t)^N φ(β(t)x) / \|φ\|_{L^1}$
• Paso 3: Utilizar Lema 4.5 (generalización de desigualdad de Young): $\int \|u(\cdot+z)-u\|^p_{L^p} (G*G)(z) dz \leq 2^p \|G\|_{L^1} \int \|u(\cdot+z)-u\|^p_{L^p} G(z) dz$
• Paso 4: Para sucesiones de energía acotada $(u_k)$, construir $(v_k)$ acotada en $S^p(\mathbb{R}^N)$, por lo tanto localmente compacta

3. Tratamiento de Convergencia No Local (Teoremas 1.4-1.5)

Teorema 1.4 (Convergencia Puntual/Γ):

• Suposición: $\frac{ρ_t(z)}{|z|^p} \leq Cκ(z), \quad \lim_{t \to 0^+} \frac{ρ_t(z)}{|z|^p} = κ(z) \text{ c.t.p.}$
• Prueba: Aplicación directa del teorema de convergencia dominada y lema de Fatou

Teorema 1.5 (Compacidad):

• Suposición: Para cada $ε > 0$, existe $δ > 0$ tal que $\frac{ρ_t(z)}{|z|^p} \geq \frac{1}{εδ^N}, \quad \forall z \in B_δ, t \in (0,δ)$
• Prueba: Utilizar teorema de compacidad de Fréchet-Kolmogorov, controlando error de suavizado mediante Lema 5.1

Puntos de Innovación Técnica

1. Marco Unificado: Generalizar el método de Fourier de $p=2$ a $p \in [1,\infty)$ general, evitando dependencia del teorema de Plancherel
2. Técnica de Descomposición de Medidas (Lema 2.9):

• Descomponer ingeniosamente $ρ_t \mathcal{L}^N$ en medida esférica $μ$ y medida de volumen $ν$
• Utilizar conjunto numerable $I_0$ para evitar saltos de medida en la frontera

3. Argumento de Cambio de Escala (Lema 2.13): Mediante invariancia de escala de $u_ε(x) = ε^{1-N/p} u(x/ε)$, demostrar que $ν$ debe concentrarse en el origen
4. Condición de Rango Máximo (Definición 2.8):

• Análogo de elipticidad no local
• Garantizar $\text{span}(\text{supp} μ) = \mathbb{R}^N$, por lo tanto $\inf_{S^{N-1}} Θ_μ > 0$ (Lema 2.1)

5. Tratamiento por Regiones: Emplear diferentes técnicas de estimación en diferentes escalas, controlando cuidadosamente el error

Configuración Experimental

Este artículo es un trabajo puramente teórico que no incluye experimentos numéricos. Todos los resultados se obtienen mediante pruebas matemáticas rigurosas.

Formas de Verificación

1. Verificación mediante Ejemplos Conocidos:
   • Núcleos fraccionarios estándar: $ρ_t(z) = \frac{1-t}{|z|^{N-(1-t)p}}$ (Observación 2.7)
   • Núcleos de calor y núcleos de calor fraccionarios (Secciones 6.1-6.2)
2. Construcción de Contraejemplos (Observación 3.2):
   • Construir familia de núcleos $(ρ_t)$ satisfaciendo (A) pero requiriendo pasar a subsucesión para satisfacer (B)
   • Definición: $ρ_t = ρ^{(1,1)}_t$ ($t = 1/k$, $k$ impar) o $ρ^{(N-1,2)}_t$ ($k$ par)
   • Resultado: Convergencia a lo largo de subsucesión impar a $\|e_1 \cdot Du\|^p_{L^p}$, subsucesión par a $\|e_N \cdot Du\|^p_{L^p}$

Resultados Experimentales

Resultados Teóricos Principales

1. Fórmula Asintótica para Núcleo de Calor (Teorema 1.6)

Para el núcleo de calor clásico $h_t(x) = e^{-|x|^2/(4t)} / (4πt)^{N/2}$: $\lim_{t \to 0^+} t^{-p/2} \int_{\mathbb{R}^N} H_t(|u-u(x)|^p)(x) dx = \frac{2Γ(p)}{Γ(p/2)} \|Du\|^p_{L^p}$ donde la constante es: