Zero-viscosity limit of the chemotaxis-Navier-Stokes equations with the Navier-slip boundary condition

Resumen Técnico: Límite de Viscosidad Cero de las Ecuaciones de Quimiotaxis-Navier-Stokes con la Condición de Contorno Navier-Slip

Planteamiento del Problema
Este artículo investiga la justificación matemática rigurosa del límite de viscosidad nula para un sistema acoplado de quimiotaxis-Navier-Stokes en un semiespacio bidimensional ($\mathbb{R}^2_+$). El sistema modela la interacción entre la densidad bacteriana ($n_\varepsilon$), la concentración de oxígeno ($c_\varepsilon$) y la velocidad del fluido ($u_\varepsilon$), donde los coeficientes de viscosidad y difusión química están escalados por un parámetro pequeño $\varepsilon$. El estudio se centra en el régimen donde tanto la viscosidad del fluido como la difusión quimiotáctica desaparecen simultáneamente, un escenario motivado por observaciones experimentales de penachos bioconvectivos y microturbulencia en suspensiones bacterianas (por ejemplo, Dombrowski et al. [3], Tuval et al. [39]).

Un desafío central en este límite es la formación de capas límite debido al desajuste entre las condiciones de contorno de no deslizamiento (o Navier-slip) del sistema viscoso y las condiciones de deslizamiento libre del sistema límite invíscido. Si bien el límite de viscosidad nula para las ecuaciones puras de Navier-Stokes ha sido estudiado extensamente (por ejemplo, la teoría de Prandtl, trabajos de Oleinik, Sammartino, Caflisch, Masmoudi), el sistema acoplado de quimiotaxis-fluido presenta singularidades adicionales debido al fuerte acoplamiento no lineal entre la dinámica de fluidos y la agregación quimiotáctica.

Metodología
Los autores emplean el método de desarrollo asintótico emparejado para construir soluciones aproximadas y analizar rigurosamente la tasa de convergencia. Los componentes metodológicos centrales incluyen:

1. Desarrollo Asintótico: La solución se descompone en una capa externa (invíscida) y una corrección interna (capa límite). Los autores introducen coordenadas de capa límite $z = y/\varepsilon$ y expanden las variables ($n, c, u, p$) en potencias de $\varepsilon$.

   • La expansión incluye términos hasta correcciones de capa límite de segundo orden ($nb,2, cb,2, ub,2$).
   • Una observación estructural clave es que las ecuaciones para los términos de capa límite de orden superior (por ejemplo, $nb,j$) a menudo se degeneran, perdiendo sus derivadas temporales y convirtiéndose en relaciones lineales que involucran únicamente derivadas espaciales y términos de orden inferior conocidos. Esto permite a los autores resolver estos términos secuencialmente sin dependencia circular.

2. Espacios Funcionales: Para manejar la naturaleza anisotrópica de la capa límite (donde las derivadas normales son grandes), los autores utilizan espacios de Sobolev conormales anisotrópicos ($Y^{l,m}$). Estos espacios asignan pesos diferentes a las derivadas tangenciales ($x$) y normales ($y$), utilizando una función de peso $\psi(y)$ que se anula en el contorno. Este marco se adapta de técnicas utilizadas para las ecuaciones de Navier-Stokes con condiciones Navier-slip (Masmoudi y Rousset [26]), pero se aplica aquí de manera innovadora al sistema de quimiotaxis-fluido.

3. Análisis de Error: La diferencia entre la solución verdadera y la solución aproximada construida se define como las variables de error $(n, c, u)$. Los autores derivan un sistema de ecuaciones de error y establecen estimaciones de energía para estas variables.

   • Las estimaciones implican controlar términos no lineales, conmutadores que surgen de las derivadas conormales y el acoplamiento entre las ecuaciones de quimiotaxis y de fluidos.
   • Se presta especial atención al término de presión y a la ecuación de vorticidad para recuperar las derivadas normales, utilizando una variable de vorticidad modificada $\tilde{\omega} = \omega - \varepsilon^2 \partial_x f e^{-y}$ para manejar los efectos de contorno.

4. Buen Planteamiento: El artículo establece el buen planteamiento local tanto de las ecuaciones de la capa externa (un sistema de quimiotaxis-Euler) como de las ecuaciones de la capa límite (un sistema de ecuaciones parabólicas y de transporte) en espacios de Sobolev apropiados, asegurando que la solución aproximada esté bien definida.

Contribuciones y Resultados Clave
El resultado principal es la prueba rigurosa del límite de viscosidad nula con una tasa de convergencia específica.

• Teorema Principal (Teorema 2.2): Asumiendo la existencia de una solución aproximada suave que satisface cotas específicas (Proposición 2.1), los autores demuestran que para $\varepsilon$ suficientemente pequeño, el sistema de quimiotaxis-Navier-Stokes admite una solución única que converge a la solución aproximada en los espacios de Sobolev conormales anisotrópicos.
• Tasa de Convergencia: El error entre la solución verdadera y la solución aproximada está acotado por $O(\varepsilon^{3/2})$ en la norma $L^\infty(0, T; L^2 \cap L^\infty)$. Específicamente:
  $$\|(n_\varepsilon - n_a, c_\varepsilon - c_a, u_\varepsilon - u_a)\|_{L^\infty_t Y^{1,2}} + \|\nabla(n_\varepsilon - n_a)\|_{L^2_t Y^{1,2}} + \dots \leq C \varepsilon^{3/2}$$
  Esta tasa mejora resultados previos para sistemas similares (por ejemplo, Hou [10] obtuvo $O(\varepsilon^{1/2})$ para una configuración diferente).
• Estructura de la Capa Límite: El artículo construye explícitamente los perfiles de la capa límite. Demuestra que el efecto de la capa límite en este sistema es inducido por la dinámica de fluidos y no únicamente por el mecanismo quimiotáctico. En ausencia de acoplamiento fluido ($u=0$), las correcciones de capa límite para las variables quimiotácticas se anulan idénticamente.
• Manejo de la Degeneración: Una contribución técnica significativa es el método utilizado para resolver las correcciones de capa límite $nb,j$. Al explotar la degeneración de las ecuaciones (donde las derivadas temporales se anulan para ciertos órdenes), los autores derivan relaciones lineales que permiten determinar $nb,j$ utilizando términos de orden inferior, evitando la dificultad de resolver directamente EDPs dependientes del tiempo de alto orden.

Significado y Afirmaciones
El artículo afirma proporcionar la primera verificación matemática rigurosa de la estructura asintótica de la capa límite para una clase de ecuaciones de quimiotaxis-fluido bajo el límite de viscosidad nula.

• Novelidad Matemática: Extiende la teoría de los límites de viscosidad nula desde la dinámica de fluidos pura hasta acoplamientos complejos biológico-fluido. El trabajo aborda la "región altamente singular" creada por la desaparición simultánea de las viscosidades del fluido y quimiotáctica.
• Relevancia Física: Los resultados ofrecen una base matemática para comprender la formación de capas límite y microturbulencia observadas en suspensiones bacterianas (por ejemplo, el fenómeno de la "línea blanca" en placas de Petri). Confirma que la viscosidad del fluido juega un papel crítico en dictar el comportamiento de la capa límite quimiotáctica.
• Avance Metodológico: La aplicación exitosa de espacios de Sobolev conormales anisotrópicos a este sistema acoplado demuestra un marco robusto para manejar la interacción entre términos no lineales de quimiotaxis y capas límite de fluidos.

Los autores se mantienen modestos respecto a la tasa de convergencia, señalando que la tasa de $O(\varepsilon^{3/2})$ es subóptima en comparación con el potencial teórico del desarrollo (que llega hasta segundo orden) debido a la pérdida inherente de escalado $\varepsilon$ al estimar derivadas normales y a la truncación del desarrollo en la corrección de segundo orden. Reconocen que relajar las suposiciones de regularidad sobre los datos iniciales sigue siendo un desafío para trabajos futuros.