Global strong solutions to a one-dimensional full non-Newtonian fluid with far field vacuum

Aquí presento un resumen técnico detallado del artículo "Global Strong Solutions to a One-Dimensional Full Non-Newtonian Fluid with Far Field Vacuum" (Soluciones Fuertes Globales para un Fluido No Newtoniano Completo Unidimensional con Vacío en el Campo Lejano), escrito por Li Fang, Yu Wang y Aibin Zang.

---

1. Planteamiento del Problema

El artículo aborda el problema de Cauchy para un fluido compresible no newtoniano, completo (con conducción de calor) y no homogéneo en una dimensión espacial. El sistema de ecuaciones gobernante describe la evolución de la densidad ($\rho$), la velocidad ($u$) y la temperatura ($\theta$).

El Sistema de Ecuaciones:
En coordenadas de Euler, el sistema incluye:

1. Ecuación de continuidad: $\partial_t \rho + \partial_x(\rho u) = 0$.
2. Ecuación de momento: $\partial_t(\rho u) + \partial_x(\rho u^2) - \partial_x(|\partial_x u|^{q-2}\partial_x u) + \partial_x(R\rho\theta) = 0$.
3. Ecuación de energía (temperatura): $\partial_t(\rho\theta) + \partial_x(\rho u\theta) - \partial_x(|\partial_x \theta|^{p-2}\partial_x \theta) + R\rho\theta\partial_x u = |\partial_x u|^q$.

Características Clave:

• No Newtoniano: La viscosidad y el flujo de calor no son lineales. El tensor de esfuerzo viscoso es proporcional a $|\partial_x u|^{q-2}\partial_x u$ y el flujo de calor a $|\partial_x \theta|^{p-2}\partial_x \theta$, con $1 < p, q < 2$.
• Vacío en el Campo Lejano: Se considera el caso donde la densidad inicial $\rho_0(x)$ tiende a cero cuando $|x| \to \infty$ (vacío en el infinito), pero no necesariamente en el dominio finito inicial.
• Objetivo: Establecer la existencia y unicidad de soluciones fuertes globales (válidas para todo tiempo $t > 0$) bajo estas condiciones.

2. Metodología

Los autores emplean una combinación de análisis funcional, estimaciones de energía a priori y técnicas iterativas para superar las dificultades matemáticas inherentes a la singularidad de los términos no lineales y la presencia de vacío.

Transformación a Coordenadas Lagrangianas:
Para manejar la densidad variable y el vacío, el sistema se transforma a coordenadas lagrangianas mediante el mapa de flujo $\eta(y,t)$. Se definen nuevas variables:

• $J = \eta_y$ (el determinante del Jacobiano, relacionado con la densidad inversa).
• $\varrho(y,t) = \rho(\eta(y,t), t)$, $v = u(\eta, t)$, $\Theta = \theta(\eta, t)$.
  Esto transforma el sistema en uno donde la densidad aparece como un coeficiente fijo en la ecuación de continuidad ($J_t = v_y$ y $J\varrho = J_0\varrho_0$), facilitando el análisis de la regularidad.

Estrategia de Prueba:

1. Existencia Local: Se demuestra primero la existencia local de soluciones fuertes en un intervalo de tiempo $[0, T]$, utilizando un método iterativo y el teorema del punto fijo. Se asume inicialmente que la densidad está acotada inferiormente (sin vacío) para construir la solución, y luego se extiende al caso con vacío mediante aproximación.
2. Estimaciones A Priori Independientes de la Densidad: El desafío principal es obtener cotas uniformes que no dependan del límite inferior de la densidad inicial ($\inf \rho_0$), ya que este puede ser cero. Los autores derivan estimaciones de energía ponderadas con potencias de la densidad inicial ($\rho_0^\alpha$).
3. Control del Jacobiano ($J$): Un obstáculo crítico es evitar que $J$ (y por ende la densidad) colapse a cero en tiempo finito. Se demuestra que, bajo ciertas condiciones de decaimiento de la densidad inicial, $J$ permanece estrictamente positivo.
4. Extensión Global: Se utiliza un argumento de continuación. Si la solución existe en $[0, T]$, se verifica que las normas de la solución en $t=T$ satisfacen las condiciones iniciales para extender la solución a un nuevo intervalo. La clave es probar que la suma de los intervalos de tiempo de extensión diverge a infinito.

3. Contribuciones Clave y Resultados Principales

A. Existencia de Soluciones Fuertes Locales (Teorema 1.1)

Se establece la existencia y unicidad de una solución fuerte local para el problema transformado en coordenadas lagrangianas.

• Condiciones Iniciales: Se requieren condiciones de regularidad en los datos iniciales $(J_0, \varrho_0, v_0, \Theta_0)$, incluyendo que $\varrho_0$ sea positiva en cualquier intervalo finito y que sus derivadas ponderadas pertenezcan a espacios de Sobolev adecuados ($L^p, L^q, L^2$).
• Parámetros: Los resultados son válidos para $1 < p, q < 2$ y un parámetro de peso $\alpha$ que satisface ciertas desigualdades dependientes de $p$ y $q$.

B. Existencia Global de Soluciones Fuertes (Teorema 1.2)

Este es el resultado principal del artículo. Se demuestra que la solución local se puede extender a un tiempo global $T \in (0, \infty)$.

• Condición de Vacío: La extensión global requiere una condición específica sobre el decaimiento de la densidad inicial en el infinito:
  $$\varrho_0(y) \geq \frac{A_0}{(1+|y|)^l}$$
  donde $l$ debe estar en un rango específico que depende de $p, q$ y $\alpha$. Esto implica que la densidad no puede decaer demasiado rápido; debe ser "suficientemente lenta" para mantener la energía acotada.
• Diferencia con Fluidos Newtonianos: El resultado contrasta con el trabajo de Li y Xin (2020) para fluidos de Navier-Stokes. En el sistema de Navier-Stokes, la energía puede crecer sin límite si hay vacío. Sin embargo, para este fluido no newtoniano completo, los autores demuestran que la energía es acotada en el tiempo si el vacío ocurre en el campo lejano y la densidad decae lentamente.

C. Técnicas Innovadoras

• Manejo de Singularidades: Los términos no lineales $|v_y|^{q-2}v_y$ y $|\Theta_y|^{p-2}\Theta_y$ con $q, p < 2$ introducen singularidades cuando los gradientes son cero. Los autores utilizan un método iterativo para obtener cotas uniformes que evitan estas singularidades.
• Funciones de Control para $J$: Se introduce una función especial dependiente del tiempo para controlar el límite inferior de $J(y,t)$, demostrando que no colapsa a cero en el intervalo de existencia local, lo cual es crucial para la extensión global.
• Serie Divergente de Tiempos: Para probar la existencia global, se construye una secuencia de tiempos $T_1, T_2, \dots$ donde la solución se extiende paso a paso. Se demuestra que la suma de los incrementos de tiempo $\sum (T_l - T_{l-1})$ diverge, garantizando la existencia para todo $t > 0$.

4. Significado e Impacto

• Avance Teórico: Este trabajo llena un vacío en la literatura matemática sobre fluidos no newtonianos compresibles completos. Mientras que existen resultados para fluidos incompresibles o compresibles sin conducción de calor (isentropos), la combinación de compresibilidad, conducción de calor, no linealidad en la viscosidad y vacío en el campo lejano era un problema abierto.
• Diferenciación con Navier-Stokes: El artículo destaca una diferencia fundamental en el comportamiento asintótico de la energía entre los fluidos newtonianos y no newtonianos en presencia de vacío. La estructura no lineal de los términos de disipación en el modelo no newtoniano permite un control de la energía que no es posible en el modelo clásico de Navier-Stokes bajo las mismas condiciones de vacío.
• Aplicaciones: Los modelos de potencia ($p, q$) son ampliamente utilizados en reología, ingeniería química y mecánica de coloides. Los resultados teóricos proporcionan una base rigurosa para la simulación numérica y el análisis de estabilidad de estos fluidos en condiciones extremas (como vacíos o gradientes de temperatura altos).

En resumen, Fang, Wang y Zang han logrado establecer la bien-posedness global (existencia, unicidad y dependencia continua) para un sistema complejo de ecuaciones de fluidos no newtonianos, superando las dificultades analíticas impuestas por la no linealidad fuerte y la presencia de vacío en el infinito.