Regularidad de Sobolev para ecuaciones fraccionarias perturbadas de 1-Laplace en el caso subcuadrático

Información Básica

• ID del Artículo: 2510.14346
• Título: Sobolev regularity for the perturbed fractional 1-Laplace equations in the subquadratic case
• Autores: Dingding Li, Chao Zhang (Facultad de Matemáticas, Universidad Tecnológica de Harbin)
• Clasificación: math.AP (Análisis Matemático - Ecuaciones Diferenciales Parciales)
• Fecha de Publicación: 16 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2510.14346v1

Resumen

Este artículo estudia la regularidad de Sobolev de soluciones débiles de ecuaciones fraccionarias perturbadas de 1-Laplace en el caso subcuadrático. Bajo la hipótesis de que la solución débil es localmente acotada, los autores establecen propiedades de regularidad análogas al caso supercuadrático. Mediante la introducción del umbral $\frac{p-1}{p}$, se divide el rango del parámetro $s_p$ en dos casos distintos. Específicamente, para $s_p \in \left(0, \frac{p-1}{p}\right]$ y $q \geq p$, se demuestra que la solución posee regularidad $W^{\gamma,q}_{\text{loc}}$, donde $\gamma \in \left(0, \frac{s_p p}{p-1}\right)$; para $s_p \in \left(\frac{p-1}{p}, 1\right)$ y $q \geq p$, se demuestra regularidad $W^{1,q}_{\text{loc}}$. El método de análisis se basa en técnicas de diferencias finitas no locales combinadas con esquemas de iteración tipo Moser.

Antecedentes de Investigación y Motivación

Importancia del Problema

La ecuación central estudiada en este artículo es la ecuación fraccionaria perturbada de 1-Laplace: $(-\Delta_1)^{s_1}u + (-\Delta_p)^{s_p}u = 0 \quad \text{en} \Omega$

donde $s_1, s_p \in (0,1)$, $p \in (1,2)$ (caso subcuadrático), $\Omega \subset \mathbb{R}^N$ es un dominio acotado.

Motivación de la Investigación

1. Llenar vacíos teóricos: Los autores investigaron previamente el caso supercuadrático ($p \geq 2$) en 23, y este artículo completa la teoría para el caso subcuadrático
2. Problemas de crecimiento no uniforme: Esta ecuación puede verse como un caso especial de problemas de crecimiento $(p,q)$ con estructuras de crecimiento distintas
3. Aplicaciones prácticas: La versión clásica tiene aplicaciones en mecánica de fluidos y ciencia de materiales
4. Desafíos técnicos: La no convexidad estricta de la estructura 1 presenta dificultades analíticas únicas

Limitaciones de Métodos Existentes

• La formulación débil del operador fraccionario de 1-Laplace requiere el uso de notación de función signo multivaluada
• La energía puede ser discontinua, y la existencia de soluciones requiere condiciones de pequeñez
• Los métodos variacionales tradicionales son difíciles de aplicar directamente

Contribuciones Principales

1. Establecimiento de teoría completa de regularidad en el caso subcuadrático: Se demuestran dos teoremas principales que cubren diferentes rangos del parámetro $s_p$
2. Introducción del umbral crítico $\frac{p-1}{p}$: Este umbral determina la existencia del gradiente $\nabla u$, diferente del umbral $\frac{p-2}{p}$ en ecuaciones fraccionarias de $p$-Laplace
3. Desarrollo de método analítico sistemático: Combinación de técnicas de diferencias finitas no locales e iteración tipo Moser
4. Obtención de resultados de regularidad óptimos: Se obtiene regularidad de Sobolev y Hölder casi óptima en sus respectivos rangos de parámetros

Explicación Detallada de Métodos

Definición de la Tarea

Estudiar la regularidad de soluciones débiles $u \in W^{s_1,1}_{\text{loc}}(\Omega) \cap W^{s_p,p}_{\text{loc}}(\Omega) \cap L^{p-1}_{s_p p}(\mathbb{R}^N)$, donde la solución débil satisface:

1. Existe una función $Z \in L^{\infty}(\mathbb{R}^N \times \mathbb{R}^N)$ tal que $Z \in \text{sgn}(u(x)-u(y))$
2. Para toda función de prueba $\phi$, se cumple la identidad integral (1.4)

Métodos Técnicos Principales

1. Técnica de Diferencias Finitas No Locales

Se define el operador de diferencia $\tau_h u(x) := u(x+h) - u(x)$, controlando el crecimiento de $\int_{B_r} |\tau_h u|^q dx$ para establecer regularidad.

2. Estimaciones de Energía (Proposición 3.3)

Se establece la desigualdad clave: $\int_{B_r} \int_{B_r} \frac{\left|J_{\frac{q}{p}+1}(\tau_h u(x)) - J_{\frac{q}{p}+1}(\tau_h u(y))\right|^p}{|x-y|^{N+\frac{s_p p^2}{2}+\sigma(1-\frac{p}{2})}} dx dy$$\leq \left(\frac{C}{(R-r)^{N+s_p p+1}}\right)^{\frac{p}{2}} \cdots$

donde $J_\gamma(a) := |a|^{\gamma-2}a$.

3. Esquema de Iteración Tipo Moser

Se define la secuencia $\gamma_i$: $\gamma_0 = \gamma, \quad \gamma_{i+1} = \gamma_i\left(1-\frac{p^2}{2q}+\frac{p}{2q}\right) + \frac{s_p p^2}{2q}$

Mediante iteración se eleva el índice de regularidad.

Puntos de Innovación Técnica

1. Tratamiento de la singularidad de la estructura 1: Se maneja la no diferenciabilidad de $\frac{u(x)-u(y)}{|u(x)-u(y)|}$ mediante la introducción de funciones multivaluadas $Z$
2. Nuevo análisis de umbral: Se descubre que $\frac{p-1}{p}$ es el umbral crítico que determina la existencia del gradiente
3. Estimaciones de energía mejoradas: En comparación con el caso supercuadrático, las estimaciones de regularidad local en el caso subcuadrático dependen de más parámetros

Configuración Experimental

Este artículo es una investigación puramente teórica sin experimentos numéricos. Todos los resultados se obtienen mediante demostraciones matemáticas rigurosas.

Herramientas Técnicas Principales

• Lemas 2.5-2.6: Desigualdades algebraicas para tratar términos no lineales
• Lemas 2.7-2.11: Lemas fundamentales de técnicas de diferencias finitas
• Lema 3.1: Estimaciones integrales para tratar términos de $p$-crecimiento no local

Resultados Principales

Teorema 1.3 (Caso 1: $s_p \in (0, \frac{p-1}{p}]$)

Para soluciones débiles localmente acotadas $u$, se tiene $u \in W^{\sigma,q}_{\text{loc}}(\Omega)$, donde $q \geq p$, $s_p \leq \sigma < \frac{s_p p}{p-1}$.

Estimación: $[u]^q_{W^{\sigma,q}(B_r)} \leq \frac{C(T + [u]_{W^{s_p,p}(B_R)} + 1)^q}{(R-r)^\kappa}$

Teorema 1.4 (Caso 2: $s_p \in (\frac{p-1}{p}, 1)$)

Para soluciones débiles localmente acotadas $u$, se tiene $u \in W^{1,q}_{\text{loc}}(\Omega)$, $q \geq p$.

Estimación: $\|\nabla u\|^q_{L^q(B_r)} \leq \frac{C(T + [u]_{W^{s_p,p}(B_R)} + 1)^q}{(R-r)^\kappa}$

Corolarios de Regularidad Hölder

Corolario 1.5: Cuando $s_p \in (0, \frac{p-1}{p}]$, $u \in C^{0,\gamma}_{\text{loc}}(\Omega)$, $\gamma \in (0, \frac{s_p p}{p-1})$

Corolario 1.6: Cuando $s_p \in (\frac{p-1}{p}, 1)$, $u \in C^{0,\gamma}_{\text{loc}}(\Omega)$, $\gamma \in (0,1)$

Regularidad del Gradiente

Corolario 1.8: Cuando $s_p \in (\frac{p-1}{p}, 1)$ y $q \geq 2$, $u \in W^{1+\alpha,q}_{\text{loc}}(\Omega), \quad \alpha \in \left(0, \frac{p}{2q}(s_p p - p + 1)\right)$

Trabajos Relacionados

Caso Clásico

• Giga-Tsubouchi 19: Demuestran continuidad del gradiente para soluciones débiles convexas
• Tsubouchi 35: Eliminan la condición de convexidad, establecen regularidad $C^1$ interior
• De Filippis-Mingione 13: Estudian funcionales con crecimiento cercano a lineal

Caso Fraccionario

• Trabajos previos de los autores 23: Teoría completa para caso supercuadrático ($p \geq 2$)
• Serie de trabajos de Brasco-Lindgren 6,7: Teoría de regularidad para ecuaciones fraccionarias de $p$-Laplace
• Garain-Lindgren 18: Caso subcuadrático de ecuaciones fraccionarias de $p$-Laplace

Conclusiones y Discusión

Conclusiones Principales

1. Perfeccionamiento del sistema teórico: Combinado con resultados previos del caso supercuadrático, forma una teoría completa de regularidad para ecuaciones fraccionarias perturbadas de 1-Laplace
2. Revelación del umbral crítico: La importancia de $\frac{p-1}{p}$ refleja la influencia esencial de la estructura 1 en el problema
3. Obtención de resultados óptimos: Se obtiene regularidad casi óptima dentro de las limitaciones técnicas

Limitaciones

1. Hipótesis de acotación local: Se requiere asumir previamente la acotación local de la solución débil
2. Limitaciones de iteración: En el caso $s_p \in (\frac{p-1}{p}, 1)$, la técnica de diferencias finitas no puede iterar indefinidamente
3. Dependencia de parámetros: Las estimaciones en el caso subcuadrático dependen de más parámetros, las constantes pueden no ser suficientemente precisas

Direcciones Futuras

1. Eliminación de hipótesis de acotación: Investigar si la acotación puede obtenerse directamente de la definición de solución débil
2. Regularidad en la frontera: Extender el análisis de regularidad cerca de la frontera
3. Optimalidad: Investigar si los índices de regularidad obtenidos son óptimos

Evaluación Profunda

Fortalezas

1. Completitud teórica: Llena el vacío teórico del caso subcuadrático, formando un sistema completo con el caso supercuadrático
2. Innovación técnica: Manejo ingenioso de la singularidad de la estructura 1, desarrollo de técnicas analíticas aplicables
3. Precisión de resultados: Obtención de índices de regularidad casi óptimos y estimaciones precisas
4. Sistematización de métodos: Establecimiento de metodología sistemática para abordar este tipo de problemas

Deficiencias

1. Condiciones previas fuertes: La hipótesis de acotación local limita la generalidad de los resultados
2. Complejidad técnica: El proceso de demostración implica numerosos detalles técnicos, la legibilidad podría mejorarse
3. Limitaciones de aplicación: Principalmente resultados teóricos, valor de aplicación práctica limitado

Impacto

1. Valor académico: Contribución importante a la teoría de ecuaciones elípticas singulares no locales
2. Significado metodológico: Las técnicas desarrolladas pueden generalizarse a otros problemas relacionados
3. Completitud: Forma un marco teórico completo con la literatura existente

Escenarios Aplicables

• Análisis de regularidad en problemas variacionales no locales
• Investigación de ecuaciones elípticas con estructuras de crecimiento distintas
• Análisis de modelos no locales en procesamiento de imágenes y otras aplicaciones

Referencias

El artículo cita 38 referencias relacionadas, incluyendo principalmente:

• 4-7,14,17,18: Literatura fundamental en espacios de Sobolev fraccionarios y técnicas de diferencias finitas
• 19,35: Teoría de regularidad para ecuaciones clásicas perturbadas de 1-Laplace
• 22,23: Trabajos previos relacionados de los autores
• 25,26: Trabajos pioneros de Marcellini sobre problemas de crecimiento $(p,q)$

Este artículo proporciona una contribución teórica importante a la teoría de regularidad de ecuaciones fraccionarias perturbadas de 1-Laplace, con métodos técnicos innovadores y resultados óptimos, representando un avance importante en este campo.