A comparison principle for a class of doubly nonlinear parabolic fractional partial differential equations

Resumen Técnico: Un Principio de Comparación para Ecuaciones Diferenciales Parciales Fraccionarias Parabólicas Doblemente No Lineales

Planteamiento del Problema
Este artículo aborda la falta de un principio de comparación para soluciones débiles no negativas de una clase específica de ecuaciones diferenciales parciales fraccionarias parabólicas doblemente no lineales. La ecuación bajo consideración está definida en un cilindro espacio-temporal $\Omega_T = \Omega \times (0, T)$, donde $\Omega \subset \mathbb{R}^n$ es un dominio espacial acotado:
$$\partial_t u^q - L^s_{p,K} u = f$$
Aquí, $s \in (0, 1)$, $p > 1$, y $q > 0$. El operador $L^s_{p,K}$ es un operador de tipo $p$-Laplaciano fraccionario no local definido mediante una integral singular con un núcleo $K(x,y)$ que satisface condiciones estándar de crecimiento y simetría. La inhomogeneidad $f$ es independiente del tiempo y pertenece a un espacio de Lebesgue específico determinado por el conjugado de $e_p = \min\{p, q+1\}$.

El desafío principal radica en la naturaleza "doblemente no lineal" de la ecuación (no linealidad tanto en el término de la derivada temporal $\partial_t u^q$ como en el término de difusión espacial) combinada con el carácter no local del operador. Si bien los principios de comparación están bien establecidos para ecuaciones doblemente no lineales locales bajo diversas suposiciones restrictivas (por ejemplo, rangos específicos de $p$ y $q$, o la positividad estricta de las soluciones), el caso fraccionario no local permanece ampliamente inexplorado, particularmente para datos de contorno de Dirichlet generales.

Metodología
El autor emplea un enfoque analítico riguroso centrado en el doble de la variable temporal, una técnica inspirada en Otto [16] y adaptada en trabajos previos [5]. La estrategia de prueba elude la falta de una derivada temporal débil para las soluciones utilizando una técnica de regularización que involucra la mollificación temporal (suavizado exponencial).

Pasos metodológicos clave incluyen:

1. Definición de Soluciones Débiles: El artículo establece una definición precisa de soluciones débiles no negativas dentro del marco de los espacios de Sobolev fraccionarios $W^{s,p}$, asegurando que se cumplan las condiciones de integrabilidad global para manejar los términos no locales.
2. Lemas Auxiliares: Se derivan dos lemas preliminares (Lema 3.1 y Lema 3.2). Estos establecen relaciones integrales entre una solución débil y una función estacionaria. Crucialmente, estos lemas utilizan funciones de prueba específicas que involucran la función $H_\delta$ (una aproximación suave de la función escalón de Heaviside) y su reflexión impar $\hat{H}_\delta$. Estas funciones de prueba permiten el manejo de la no linealidad de potencia $u^q$ sin requerir la existencia de una derivada temporal para la solución misma.
3. Argumento de Doble de Tiempo: El núcleo de la prueba implica la extensión de las soluciones $u$ y $v$ a un dominio producto $Q = \Omega \times (0, T)^2$ con variables temporales independientes $t_1$ y $t_2$. Al aplicar los lemas auxiliares a estas funciones extendidas y sumar las identidades resultantes, el autor construye una desigualdad global.
4. Procesos de Límite: La prueba depende de pasar al límite cuando el parámetro de regularización $\delta \to 0$ y el parámetro de mollificación $h \to 0$. Esto implica estimaciones cuidadosas utilizando la desigualdad de Hölder, el teorema de la convergencia dominada y el teorema fundamental del cálculo para la función $F(s) = |s|^{p-2}s$.
5. Suposición de Condición de Contorno: Una suposición crítica en la metodología es que al menos una de las dos soluciones comparadas es independiente del tiempo en el dominio exterior $\Omega^c = \mathbb{R}^n \setminus \Omega$. Esta condición es necesaria para asegurar la admisibilidad de las funciones de prueba en el entorno no local.

Contribuciones Clave y Resultados
El resultado principal es el Teorema 1.4, el cual establece un principio de comparación global:

• Teorema 1.4: Sean $u$ y $v$ dos soluciones débiles no negativas de la ecuación (1.1). Si $(u-v)^+ \in L^p(0, T; W^{s,p}_0(\Omega))$, $u(\cdot, 0) \leq v(\cdot, 0)$ casi en todas partes en $\Omega$, y al menos una de las soluciones es independiente del tiempo en $\Omega^c$, entonces $u \leq v$ casi en todas partes en $\Omega_T$.

Como consecuencia directa, el Corolario 1.5 demuestra la unicidad de las soluciones débiles no negativas para el problema correspondiente de Cauchy-Dirichlet, siempre que los datos de contorno sean independientes del tiempo en el dominio exterior.

Significancia y Reivindicaciones
El artículo afirma llenar un vacío significativo en la literatura existente sobre ecuaciones parabólicas fraccionarias doblemente no lineales.

• Extensión de la Teoría Local: Mientras que los principios de comparación para ecuaciones doblemente no lineales locales son conocidos (aunque a menudo requieren suposiciones restrictivas sobre $q$ o la positividad de las soluciones), este trabajo extiende la teoría al entorno no local fraccionario.
• Datos de Contorno Generales: A diferencia de otros resultados no locales previos (por ejemplo, Vázquez [17], Bonforte y Vázquez [8]) que estaban limitados a condiciones de Dirichlet homogéneas o propiedades de contracción específicas, este trabajo establece un principio de comparación para datos de Dirichlet más generales.
• Manejo de la No Linealidad: El trabajo demuestra que la técnica del doble de la variable temporal, combinada con estrategias de mollificación específicas, puede gestionar con éxito la no linealidad de potencia $q > 0$ en el término evolutivo sin requerir que las soluciones posean derivadas temporales débiles.

El autor señala que la suposición de independencia del tiempo en el dominio exterior es una condición necesaria para la técnica de prueba actual, particularmente para manejar eficazmente los términos de interacción no local. El artículo no propone aplicaciones experimentales ni extensiones futuras más allá del alcance de establecer este principio de comparación teórico y la unicidad resultante para el problema de Cauchy-Dirichlet.