On the continuity in time of solutions to a generalized Navier--Stokes--Fourier system

A continuación presento un resumen técnico detallado del artículo "On the Continuity in Time of Solutions to a Generalized Navier–Stokes–Fourier System" (Sobre la continuidad en el tiempo de las soluciones a un sistema generalizado de Navier-Stokes-Fourier), escrito por Miroslav Bulíček, Petr Kaplický y Lucie Wintrová.

1. Planteamiento del Problema

El artículo aborda el análisis matemático del flujo de un fluido no newtoniano incompresible y conductor de calor en un dominio acotado bidimensional ($\Omega \subset \mathbb{R}^2$). El sistema está gobernado por las ecuaciones de conservación de momento, masa, energía interna y entropía:

• Ecuación de Momento (1.1): Incluye un término de viscosidad no lineal $S$ (parte viscosa del tensor de Cauchy) y un término convectivo.
• Incompresibilidad (1.2): $\text{div } u = 0$.
• Balance de Energía Interna (1.3): Describe la evolución de la temperatura $\vartheta$, acoplada con la disipación viscosa $S:D u$.
• Balance de Entropía (1.4): Ecuación para la entropía $\eta = \log \vartheta$.

Constituyentes y Supuestos:

• Fluido No Newtoniano: La relación constitutiva para el estrés viscoso sigue una ley de potencia con índice $p \ge 2$: $S = S^*(\vartheta, D u)$, donde $D u$ es la parte simétrica del gradiente de velocidad. Se asumen condiciones de monotonicidad y crecimiento coercitivo.
• Conducción de Calor: Se asume la ley de Fourier $q = -\kappa(\vartheta)\nabla \vartheta$ con conductividad térmica acotada.
• Condiciones de Contorno: Velocidad nula (Dirichlet homogéneo) y temperatura no homogénea (Dirichlet espacialmente inhomogéneo).
• Datos Iniciales: Velocidad en $L^2$ y temperatura en $L^1$ (datos de energía finita).

El objetivo principal es establecer la existencia de soluciones globales en el tiempo que satisfagan la igualdad de entropía y, crucialmente, demostrar la continuidad temporal de la temperatura en la norma $L^1(\Omega)$.

2. Metodología

Los autores emplean una combinación de técnicas de análisis funcional, teoría de ecuaciones en derivadas parciales no lineales y métodos de aproximación:

1. Aproximación de Galerkin: Se construyen soluciones aproximadas $(u_{N,M}, \vartheta_{N,M})$ utilizando bases ortonormales en espacios de Sobolev. Se demuestra la existencia de soluciones para el sistema de EDOs resultante.
2. Estimaciones Uniformes: Se derivan cotas a priori uniformes para las aproximaciones en espacios de Lebesgue y Sobolev.
   • Para la velocidad: Estimaciones en $L^\infty(0,T; L^2)$ y $L^p(0,T; W^{1,p})$.
   • Para la temperatura: Se utilizan pruebas de energía y el principio del mínimo para obtener cotas en $L^\infty(0,T; L^1)$ y regularidad en espacios de Sobolev fraccionarios o con pesos.
3. Paso al Límite: Se utiliza el Lema de Aubin-Lions (y sus generalizaciones) para obtener convergencia fuerte de las subsucesiones, permitiendo pasar al límite en los términos no lineales.
4. Identificación del Límite (Truco de Minty): Se utiliza para identificar el límite del tensor de estrés $S$ con la función constitutiva $S^*(\vartheta, Du)$, aprovechando la monotonicidad del operador.
5. Principio de Entropía y Renormalización: En lugar de depender únicamente de soluciones renormalizadas clásicas (DiPerna-Lions), los autores construyen soluciones que satisfacen directamente la igualdad de entropía. Esto es clave para evitar la pérdida de información en el límite.
6. Análisis de Continuidad Temporal: Se demuestra que la secuencia de aproximaciones de la temperatura es de Cauchy en $C([0,T]; L^1(\Omega))$. Esto implica que el límite es continuo en el tiempo.

3. Contribuciones Clave y Resultados Principales

El trabajo presenta dos teoremas principales:

Teorema 1.1: Existencia de Solución con Igualdad de Entropía (2D)

• Resultado: Se prueba la existencia de un cuádruplo $(u, S, \vartheta, \eta)$ que satisface el sistema de ecuaciones en sentido débil.
• Propiedades de la Solución:
  • La velocidad $u$ es continua en el tiempo con valores en $L^2$.
  • La temperatura $\vartheta$ es continua en el tiempo con valores en $L^1(\Omega)$ ($\vartheta \in C([0,T]; L^1(\Omega))$).
  • Se satisface la igualdad de entropía (no solo la desigualdad), lo que es un resultado fuerte de estabilidad.
  • Se cumple el principio del mínimo para la temperatura ($\vartheta \ge \mu > 0$).
• Novelty: La continuidad temporal en $L^1$ para datos iniciales en $L^1$ en este contexto de fluidos no newtonianos acoplados con calor no había sido establecida rigurosamente antes.

Teorema 1.2: Papel de la Igualdad de Entropía y Regularidad (Dimensiones Arbitrarias)

Este teorema generaliza los resultados a dimensiones arbitrarias $d$ y a ecuaciones de calor con términos fuente en $L^1$, bajo regularidad mínima de la velocidad.

• Equivalencias: Se demuestra que la continuidad temporal de la temperatura en $L^1$ es equivalente a varias condiciones:
  1. Control de disipación en niveles altos: El límite de la integral del gradiente de temperatura sobre los conjuntos donde la temperatura es muy alta tiende a cero (Ecuación 1.38).
  2. Desigualdad/Equaldad Variacional Truncada: Una desigualdad truncada para funciones de prueba admissibles se convierte en igualdad.
  3. Desigualdad/Equaldad de Energía Relativa: Una formulación basada en una función de Lyapunov (energía relativa) que conecta la estabilidad termodinámica con la regularidad temporal.
• Significado: Esto revela una conexión profunda entre la disipación de energía, la estabilidad débil y la regularidad temporal.

4. Significado e Impacto

1. Superación de Limitaciones de Renormalización: Tradicionalmente, para datos en $L^1$, se requerían soluciones renormalizadas que a menudo no garantizaban la continuidad temporal ni la satisfacción estricta de la igualdad de entropía. Este trabajo muestra que, bajo la hipótesis de la igualdad de entropía, se puede evitar el marco clásico de renormalización y obtener resultados más fuertes (continuidad fuerte en $L^1$).
2. Estabilidad Termodinámica: La validación de la igualdad de entropía es crucial para el análisis de estabilidad a largo plazo y la convergencia a estados estacionarios, temas que son difíciles de abordar con soluciones débiles estándar.
3. Generalidad: Aunque el Teorema 1.1 se centra en 2D, el Teorema 1.2 extiende la lógica de la continuidad temporal a dimensiones arbitrarias y a ecuaciones parabólicas con datos irregulares, proporcionando un marco unificado para entender la regularidad temporal en problemas de transporte-difusión con fuentes no lineales.
4. Aplicabilidad: Los resultados son relevantes para la modelización de fluidos complejos (como polímeros fundidos o lodos) donde la viscosidad depende de la temperatura y la velocidad, y donde la conservación precisa de la energía y la entropía es fundamental para la física del problema.

En resumen, el artículo cierra una brecha importante en la teoría de fluidos no newtonianos conductores de calor, demostrando que la validez de la igualdad de entropía es la llave para obtener soluciones con regularidad temporal fuerte, incluso con datos iniciales de baja regularidad.