On the lower bound and upper bound of the Sum of Eigenvalues of the Fractional-Logarithmic Laplacian

A continuación presento un resumen técnico detallado del artículo "On the lower bound and upper bound of the Sum of Eigenvalues of the Fractional-Logarithmic Laplacian", escrito por Hichem Hajaiej.

1. Planteamiento del Problema

El artículo aborda el problema espectral asociado al Laplaciano Fraccional-Logarítmico, denotado como $(-\Delta)^{s+\ln}$, definido en un dominio acotado $\Omega \subset \mathbb{R}^n$. Este operador es una generalización singular que combina las propiedades del Laplaciano fraccional $(-\Delta)^s$ y el Laplaciano logarítmico $(-\Delta)^{\ln}$.

• Definición del Operador: Su símbolo de Fourier está dado por $|\xi|^{2s} \ln |\xi|^2$. Fue introducido recientemente como la derivada del Laplaciano fraccional con respecto al parámetro de orden $s$.
• Objetivo: Establecer cotas inferiores y superiores precisas para la suma parcial de los primeros $k$ valores propios de Dirichlet:
  $$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega)$$
  donde $0 < \lambda_1^{s+\ln} \le \lambda_2^{s+\ln} \le \dots \to +\infty$.
• Desafío Principal: A diferencia del Laplaciano fraccional puro (cuyo símbolo es homogéneo y monótono) o del Laplaciano logarítmico puro, el símbolo $|\xi|^{2s} \ln |\xi|^2$ no es monótono globalmente en la variable radial debido a su comportamiento en frecuencias bajas (cerca de $\xi=0$). Esto complica la aplicación directa de métodos estándar como el de Berezin-Li-Yau o Kröger.

2. Metodología

El autor emplea un enfoque analítico que combina técnicas de teoría espectral, análisis armónico y estimaciones asintóticas:

A. Cota Inferior (Método Berezin-Li-Yau Adaptado)

1. Transformada de Fourier y Desigualdad de Bessel: Se construye una función de densidad espectral $f(\xi) = \sum_{j=1}^k |\widehat{\phi_j}(\xi)|^2$, donde $\phi_j$ son los autofunciones ortonormales.
2. Lema de Optimización (Lema 2.4): Se demuestra un lema técnico clave que establece una desigualdad integral para funciones medibles $f$ acotadas. Este lema optimiza una integral ponderada por el símbolo $|\xi|^{2s} \ln |\xi|^2$ sobre una bola, manejando cuidadosamente la parte negativa del símbolo en frecuencias bajas ($|\xi| < 1$).
3. Teoremas Tauberianos: Se utiliza el Teorema de Karamata para funciones de variación lenta (Proposición 2.2) para deducir el comportamiento asintótico de la suma de los valores propios a partir del comportamiento individual de $\lambda_k \sim k^{2s/n} \ln k$.

B. Cota Superior (Método de Kröger Adaptado)

1. Funciones de Prueba con Cortes: Se construyen funciones de prueba utilizando una función de corte suave $\eta_0$ y ondas planas moduladas $v_\sigma(z, x) = w_\sigma(x)e^{-ix\cdot z}$, donde $w_\sigma$ es una función que vale 1 lejos del borde y 0 en una capa de espesor $\sigma$ cerca del borde.
2. Principio de Rayleigh-Ritz: Se proyectan estas funciones de prueba sobre el complemento ortogonal de los primeros $k$ autofunciones para obtener una cota superior para $\lambda_{k+1}$.
3. Estimación de Errores de Capa Frontera: Se realiza un análisis detallado de los términos de error generados por la no-localidad del operador y la discontinuidad en el borde, demostrando que estos términos son controlables bajo ciertas condiciones de regularidad del dominio (estimación de la capa de borde $|\Omega_t| \le C t$).

3. Contribuciones Clave y Resultados Principales

El trabajo logra rigorizar la estructura espectral multiplicativa heurística de este operador.

Resultado Asintótico (Proposición 2.3)

Se confirma que la suma de los valores propios sigue la ley de Weyl modificada:
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \sim \frac{2}{n+2s} (2\pi)^{2s} (\omega_n |\Omega|)^{-2s/n} k^{1+2s/n} \ln k$$
donde $\omega_n$ es el volumen de la bola unitaria. Esto muestra que el crecimiento es el producto exacto del crecimiento fraccional ($k^{1+2s/n}$) y la corrección logarítmica ($\ln k$).

Teorema de Cota Inferior (Teorema 2.5)

Para todo $k \ge 1$:
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \ge -C_1 |\Omega|$$
y para $k$ suficientemente grande ($k \ge (2\pi)^{-n}\omega_n|\Omega|$):
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \ge \frac{2}{n+2s}(2\pi)^{2s}(\omega_n|\Omega|)^{-2s/n} k^{1+2s/n} \left( \ln \frac{(2\pi)^n k}{\omega_n|\Omega|} - \frac{n}{n+2s} \right)$$
Esta cota tiene el orden de crecimiento correcto $k^{1+2s/n} \ln k$ y la constante principal óptima.

Teorema de Cota Superior (Teorema 3.2)

Bajo la hipótesis de que el dominio admite una estimación de capa de borde (típico para dominios con frontera Lipschitz), existe una constante $C$ tal que para $k$ grande:
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \le \frac{2}{n+2s}(2\pi)^{2s}(\omega_n|\Omega|)^{-2s/n} k^{1+2s/n} \ln k + C k^{1+2s/n}$$

4. Significado e Impacto

1. Unificación Espectral: El artículo demuestra que el Laplaciano Fraccional-Logarítmico hereda una estructura espectral "multiplicativa" simple, actuando como un puente natural entre los operadores homogéneos (fraccionales) y sus correcciones logarítmicas.
2. Superación de Obstáculos Técnicos: La principal contribución metodológica es la capacidad de obtener cotas precisas a pesar de la no monotonía global del símbolo en frecuencias bajas. El autor logra aislar el comportamiento de alta frecuencia (que domina el crecimiento asintótico) del comportamiento de baja frecuencia (que introduce constantes negativas o términos de orden inferior).
3. Generalización de Clásicos: Extiende las famosas desigualdades de Berezin-Li-Yau (para cotas inferiores) y Kröger (para cotas superiores), conocidas para el Laplaciano clásico y fraccional, a este nuevo contexto de operadores no locales con crecimiento logarítmico.
4. Aplicaciones Futuras: Estos resultados proporcionan la base teórica necesaria para estudiar problemas de optimización de formas, estabilidad espectral y propiedades cualitativas de soluciones de ecuaciones diferenciales parciales gobernadas por este operador híbrido.

En resumen, el artículo establece el marco fundamental para el análisis espectral del Laplaciano Fraccional-Logarítmico, proporcionando las primeras cotas rigurosas que coinciden con la ley de Weyl asintótica esperada, a pesar de las complejidades analíticas introducidas por el término logarítmico en el símbolo.