Fractional higher differentiability of solutions to strongly nonlinear Stokes systems

A continuación presento un resumen técnico detallado del artículo "Fractional Higher Differentiability of Solutions to Strongly Nonlinear Stokes Systems" (Diferenciabilidad fraccionaria superior de soluciones a sistemas de Stokes fuertemente no lineales), escrito por Andrea Cianchi, Flavia Giannetti, Antonia Passarelli di Napoli y Christoph Scheven.

1. Planteamiento del Problema

El trabajo se centra en el análisis de la regularidad de las soluciones locales $(u, \pi)$ a sistemas de tipo Stokes estacionarios que modelan el movimiento de fluidos no newtonianos incompresibles. El sistema está dado por:

$$\begin{cases} -\text{div } a(x, Eu) + \nabla \pi = f \\ \text{div } u = 0 \end{cases}$$

en un dominio abierto $\Omega \subset \mathbb{R}^n$ ($n \ge 2$), donde:

• $u$ es la velocidad del fluido y $\pi$ es la presión.
• $Eu = \frac{1}{2}(\nabla u + (\nabla u)^T)$ es el gradiente simétrico (tasa de deformación).
• $a(x, P)$ es un operador no lineal que representa el tensor de esfuerzos desviadores.
• $f$ es una fuerza externa.

Características clave del problema:

• No linealidad fuerte: El operador $a$ no sigue necesariamente un comportamiento polinomial (como en el caso $p$-Laplaciano), sino que está gobernado por funciones de Young generales $\phi$. Esto requiere el uso de espacios de Orlicz y Orlicz-Sobolev.
• Falta de suavidad en $x$: El operador $a(x, P)$ no se asume diferenciable en la variable espacial $x$, sino que satisface una condición de regularidad fraccionaria (tipo Hölder o Sobolev fraccionaria) con respecto a $x$.
• Objetivo: Establecer propiedades de diferenciabilidad fraccionaria para el gradiente simétrico $Eu$ y la presión $\pi$, más allá de la regularidad débil estándar.

2. Metodología y Marco Funcional

Los autores emplean un marco funcional avanzado basado en espacios de Orlicz y espacios de Besov.

• Espacios de Orlicz ($L^\phi, W^{1,\phi}$): Se utilizan para manejar la no linealidad del operador. Las condiciones de crecimiento y elípticidad de $a$ se definen mediante funciones de Young $\phi$ y $\psi$, que no son necesariamente potencias ($t^p$).
• Expresión No Lineal $V(Eu)$: Un elemento crítico es el estudio de la regularidad de la transformación no lineal:
  $$V(Eu) = \sqrt{\frac{\phi'(|Eu|)}{|Eu|}} Eu$$
  Esta expresión es esencial para manejar la posible degeneración del operador diferencial. La regularidad de $V(Eu)$ implica la regularidad fraccionaria de $Eu$.
• Espacios de Besov ($B^{\sigma, \phi, \infty}$): La regularidad fraccionaria se caracteriza mediante la pertenencia de $V(Eu)$y$\pi$ a espacios de Besov locales. Esto permite cuantificar la suavidad en términos de diferencias finitas.
• Técnicas de Prueba:
  • Diferencias Finitas: Se utiliza el operador de diferencia finita $\tau_h$ para probar la pertenencia a espacios de Besov.
  • Lema de Bogovski˘ı en Orlicz: Se emplea una versión del operador de resolución de la ecuación de divergencia en espacios de Orlicz para construir funciones de prueba con divergencia nula, esencial para el sistema de Stokes.
  • Desigualdad de Poincaré-Sobolev Modular: Se demuestra una nueva versión de esta desigualdad en espacios de Orlicz para dominios de medida finita, utilizando una función conjugada modificada $\phi_{0,n}$ que evita restricciones técnicas sobre el comportamiento de $\phi$ cerca de cero.
  • Proceso de Aproximación: Dado que las hipótesis sobre $a$ son débiles (regularidad fraccionaria en $x$), los autores primero prueban estimaciones a priori bajo suposiciones de regularidad más fuertes (usando moleradores) y luego recuperan el resultado general mediante un argumento de aproximación.

3. Contribuciones Clave

1. Balance Óptimo entre No Linealidad y Datos: El artículo establece una condición precisa de equilibrio entre la no linealidad del operador (definida por $\phi$) y la integrabilidad del dato $f$ (definida por $\psi$). Esta relación se formula mediante una desigualdad de interpolación que involucra las inversas de las funciones de Young y su conjugada Sobolev $\phi_n$.
2. Regularidad Fraccionaria para Operadores No Polinomiales: A diferencia de la literatura previa que se centraba en casos $p$-Laplacianos ($\phi(t)=t^p$), este trabajo generaliza los resultados a operadores con crecimiento arbitrario (no necesariamente polinomial), cubriendo casos degenerados y singulares.
3. Regularidad de la Presión en Espacios de Besov de Orlicz: Se demuestra por primera vez la regularidad fraccionaria de la presión $\pi$ en el contexto de sistemas de Stokes con no linealidades generales, expresada en términos de espacios de Besov de Orlicz ($B^{\varrho, \tilde{\phi}, \infty}$).
4. Nueva Desigualdad de Poincaré-Sobolev: Se introduce una desigualdad modular en espacios de Orlicz para dominios de medida finita que es crucial para las pruebas y que supera limitaciones técnicas de las versiones clásicas.

4. Resultados Principales

El teorema central (Teorema 4.1) establece que si el dato $f$ pertenece a un espacio de Orlicz $L^\psi_{loc}$ que es "ligeramente mejor" que el requerido para la existencia de soluciones débiles (específicamente, cumpliendo una condición de interpolación con parámetro $\theta \in (0, 1]$), entonces:

• Para el Gradiente Simétrico: La transformación no lineal $V(Eu)$ pertenece al espacio de Besov local $B^{\sigma, 2, \infty}_{loc}(\Omega, \mathbb{R}^{n \times n})$, donde el exponente de regularidad es:
  $$\sigma = \min\left\{ \alpha, \theta, \frac{\theta s'_\phi}{2} \right\}$$
  Aquí, $\alpha$ es el exponente de regularidad de $a$ en $x$, $\theta$ mide la integrabilidad extra de $f$, y $s'_\phi$ es el índice conjugado de Simonenko de $\phi$.
  Esto implica que $Eu$ tiene diferenciabilidad fraccionaria en el sentido de Sobolev ($W^{\rho, 2}_{loc}$) para cualquier $\rho < \sigma$.

• Para la Presión: La presión $\pi$ pertenece al espacio de Besov local $B^{\varrho, \tilde{\phi}, \infty}_{loc}(\Omega)$, con:
  $$\varrho = \frac{\sigma}{\max\{1, i'_\phi/2\}}$$
  donde $i'_\phi$ es el índice conjugado de Simonenko.

• Sistema Elíptico Asociado: Se ofrecen resultados paralelos para el sistema elíptico puro $-\text{div } a(x, Eu) = f$, donde la prueba se simplifica al no requerir la condición de divergencia nula en las funciones de prueba.

5. Significado e Impacto

• Avance Teórico: Este trabajo cierra una brecha significativa en la teoría de regularidad para sistemas de Stokes no lineales, extendiendo resultados conocidos para el caso $p$-Laplaciano a un marco de Orlicz mucho más general.
• Aplicabilidad Física: Al permitir no linealidades no polinomiales, los resultados son aplicables a una gama más amplia de fluidos no newtonianos (como suspensiones, polímeros fundidos o fluidos biológicos) donde las leyes de comportamiento no siguen una ley de potencia simple.
• Herramientas Nuevas: La demostración de la regularidad fraccionaria de la presión en este contexto general y el desarrollo de desigualdades de Poincaré-Sobolev modulares en Orlicz proporcionan herramientas técnicas que serán útiles para futuros estudios en ecuaciones diferenciales parciales no lineales.
• Optimalidad: Las condiciones sobre el dato $f$ se muestran como óptimas o cercanas a lo óptimo, alineándose con los límites conocidos para la ecuación de Laplace estándar y generalizándolos a este contexto complejo.

En resumen, el artículo proporciona una teoría de regularidad fraccionaria robusta y general para soluciones de sistemas de Stokes fuertemente no lineales, estableciendo un nuevo estándar para el análisis de fluidos no newtonianos en marcos funcionales no estándar.