On the fractional logarithmic $p$-Laplacian

Resumen Técnico: Sobre el p-Laplaciano Logarítmico Fraccional

Planteamiento del Problema y Motivación
Este artículo introduce e investiga el p-Laplaciano logarítmico fraccional, denotado como $(-\Delta)^{s+\log}_p$. El operador se define como la derivada de primer orden con respecto al parámetro de orden $t$ del p-Laplaciano fraccional $(-\Delta)^t_p$, evaluada en un punto arbitrario $s \in (0, 1)$. Mientras que el caso lineal ($p=2$) y el caso límite $s \to 0$ (que conduce al Laplaciano logarítmico $L_\Delta$) han sido estudiados recientemente por Chen et al. y Dyda et al., este trabajo extiende la teoría al contexto no lineal y cuasilineal donde $1 < p < \infty$.

La motivación principal surge de la necesidad de comprender el comportamiento asintótico de los operadores fraccionales y desarrollar un marco funcional riguroso para problemas impulsados por este nuevo operador no local. Un desafío significativo abordado es la diferenciación del núcleo integral no local bajo el signo de la integral, lo cual introduce una singularidad logarítmica $|x-y|^{-N-sp} \ln|x-y|$. Este factor logarítmico altera la estructura de la singularidad, particularmente en el rango $1 < p < 2$, y cambia el signo del núcleo para $|x-y| > 1$, complicando los argumentos variacionales estándar respecto a la coercividad y la positividad.

Metodología y Marco Funcional
Los autores establecen un marco de análisis funcional integral basado enteramente en métodos de variable real, evitando las técnicas de transformada de Fourier que no están disponibles para $p \neq 2$.

1. Definición y Representación del Operador:
   El artículo demuestra que para $u \in C^2_c(\mathbb{R}^N)$, la aplicación $t \mapsto (-\Delta)^t_p u(x)$ es de clase $C^1$ en $(0, 1)$. La derivada produce la representación integral explícita:
   $$(-\Delta)^{s+\log}_p u(x) = B(N, s, p)(-\Delta)^s_p u(x) - p C(N, s, p) \text{P.V.} \int_{\mathbb{R}^N} \frac{|u(x)-u(y)|^{p-2}(u(x)-u(y)) \ln|x-y|}{|x-y|^{N+sp}} dy$$
   donde $C(N, s, p)$ es una constante de normalización específica que asegura límites correctos cuando $s \to 0$ y $s \to 1$, y $B(N, s, p) = \frac{d}{ds} \ln C(N, s, p)$. Se demuestra que el núcleo $K^{s+\log}_p$ cambia de signo, descomponiéndose en partes positivas y negativas.

2. Espacios de Energía:
   Se introduce el espacio de energía natural $W^{s+\log,p}_0(\Omega)$, definido mediante una seminorma tipo Gagliardo que involucra la parte positiva del núcleo logarítmico. Los autores prueban que este espacio es un espacio de Banach separable, uniformemente convexo y reflexivo. Establecen que este espacio se sitúa estrictamente entre los espacios de Sobolev fraccionales estándar $W^{s+\epsilon,p}_0(\Omega)$ y $W^{s,p}_0(\Omega)$.

3. Desigualdades Clave:
   El artículo deriva varias desigualdades fundamentales esenciales para el análisis:

   • Desigualción tipo Poincaré: Establece el control de la norma $L^p$ mediante la seminorma logarítmica fraccional.
   • Desigualción tipo Hardy: Una desigualción de Hardy en la frontera con un peso logarítmico cerca de la frontera.
   • Desigualción de Díaz-Saa: Probada bajo la condición geométrica $\text{diam}(\Omega) < e^{-1/sp}$, conduciendo a resultados de unicidad.
   • Desigualción de Gagliardo-Nirenberg: Interpolando entre $L^p$ y la norma logarítmica fraccional.
   • Identidad de Pohozaev: Se deriva una identidad de Pohozaev modificada, revelando una "medida de defecto" estrictamente positiva $\Gamma_{s,p}(u)$ que surge del peso logarítmico rompiendo la homogeneidad del núcleo clásico.

Resultados Clave

• Propiedades de Inmersión: El artículo establece inmersiones continuas de $W^{s+\log,p}_0(\Omega)$ en $L^q(\Omega)$ para $1 \le q \le p^*_s$ (donde $p^*_s = Np/(N-sp)$). Crucialmente, los autores prueban la inmersión compacta en el exponente crítico $p^*_s$. Esto distingue el contexto logarítmico fraccional de los espacios de Sobolev fraccionales clásicos, donde la compacidad falla en el exponente crítico. Este resultado implica que no se forman concentraciones de masa de Dirac, haciendo innecesarios los argumentos de concentración-compacidad en dominios acotados.

• Problema de Valores Propios de Dirichlet: Los autores investigan el problema de valores propios no lineal:
  $$(-\Delta)^{s+\log}_p u = \lambda |u|^{p-2}u \quad \text{en } \Omega, \quad u = 0 \quad \text{en } \mathbb{R}^N \setminus \Omega.$$
  Bajo la suposición geométrica $\text{diam}(\Omega) < e^{-1/sp}$ (que asegura que el núcleo permanece estrictamente positivo en $\Omega \times \Omega$) y $B(N, s, p) \ge 0$, prueban:

  1. Existencia: El primer valor propio $\lambda^{s+\log}_{1,p}$ se alcanza mediante el método directo del cálculo de variaciones.
  2. Positividad y Simplicidad: El primer valor propio es estrictamente positivo, y la autofunción asociada $\phi^{s+\log}_{1,p}$ es simple (única hasta un múltiplo escalar) y estrictamente positiva en casi todo punto en $\Omega$.
  3. Acotación: Las autofunciones están globalmente acotadas ($L^\infty(\Omega)$).
  4. Principio Fuerte del Mínimo: Se establece un principio fuerte del mínimo para supersoluciones débiles, extendiendo resultados previos para operadores fraccionales.

• No Existencia vs. Existencia de Pohozaev: La identidad de Pohozaev derivada incluye un término de defecto $\Gamma_{s,p}(u) > 0$. Los autores notan que, a diferencia del p-Laplaciano fraccional clásico, donde la identidad de Pohozaev a menudo conduce a resultados de no existencia para exponentes críticos en dominios estrellados, la presencia de la medida de defecto positiva en el caso logarítmico permite la posibilidad de soluciones críticas y supercríticas.

Significado y Afirmaciones
El artículo afirma proporcionar el primer marco variacional riguroso para el p-Laplaciano logarítmico fraccional en el régimen no lineal ($p \neq 2$). Su significado radica en:

1. Extensión de la Teoría Lineal: Generalizar con éxito la teoría del Laplaciano logarítmico lineal al contexto cuasilineal, superando las dificultades planteadas por la falta de multiplicadores de Fourier.
2. Compacidad Crítica: Demostrar que la corrección logarítmica induce una propiedad de compacidad más fuerte en el exponente crítico de Sobolev, una característica no presente en los espacios de Sobolev fraccionales estándar.
3. Insights Estructurales: Revelar cómo el peso logarítmico rompe la invariancia de escala, conduciendo a una identidad de Pohozaev modificada con una medida de defecto que altera fundamentalmente la teoría de existencia para problemas críticos.
4. Propiedades Espectrales: Establecer la existencia, simplicidad y positividad del primer valor propio bajo restricciones geométricas específicas, proporcionando una base para un análisis espectral adicional de operadores no locales con singularidades logarítmicas.

El trabajo se presenta como un paso fundamental, desarrollando las herramientas necesarias (espacios funcionales, desigualciones y estimaciones de regularidad) para estudiar problemas de valores en la frontera impulsados por este operador, sin proponer aplicaciones físicas específicas más allá del contexto matemático de fenómenos no locales.