Regularity and Decay for Navier-Slip Fluid-Structure Interaction in Exterior Domains

Resumen Técnico: Regularidad y Decaimiento para la Interacción Fluido-Estructura de Deslizamiento de Navier en Dominios Exteriores

Planteamiento del Problema
Este artículo investiga el movimiento linealizado de un cuerpo rígido esférico sumergido en un fluido incompresible y viscoso que ocupa todo el espacio tridimensional ($\mathbb{R}^3$). El sistema está gobernado por las ecuaciones de Navier-Stokes acopladas con ecuaciones diferenciales ordinarias que describen la dinámica traslacional y rotacional del cuerpo rígido. Una característica crítica de este estudio es la imposición de condiciones de contorno de deslizamiento de Navier con fricción en la interfaz fluido-estructura, en contraposición a las clásicas condiciones de no deslizamiento (Dirichlet). Los autores se centran en el sistema linealizado alrededor del estado de reposo, donde la velocidad del fluido, la presión y las velocidades traslacional y angular del cuerpo evolucionan de acuerdo con un sistema acoplado en un dominio exterior $\Omega = \mathbb{R}^3 \setminus B$, donde $B$ es una bola.

Metodología
El análisis se lleva a cabo dentro del marco de la teoría de semigrupos y la regularidad máxima de $L^q$. Los autores definen un operador de interacción fluido-estructura $A_{\alpha,q}$ que actúa sobre un espacio de Banach $X_q$ que encapsula la velocidad del fluido, la velocidad traslacional y la velocidad angular. La metodología procede a través de varias etapas clave:

1. Formulación del Operador: El sistema se reformula en todo el espacio $\mathbb{R}^3$ extendiendo la velocidad del cuerpo rígido hacia el interior de la esfera. Esto permite el uso de una descomposición de Helmholtz-Weyl adaptada a la interacción fluido-estructura, facilitando la definición del generador $A_{\alpha,q}$.
2. Teoría $L^2$: Los autores establecen primero la autodualidad y la definición positiva del operador en el entorno de espacios de Hilbert ($q=2$). Esto se basa en una forma bilineal específica que involucra el tensor de tasa de deformación y el término de fricción en la frontera.
3. Localización y Estimaciones A Priori: Para extender los resultados a espacios $L^q$ generales ($1 < q < \infty$), los autores emplean una técnica de localización. Unen resultados conocidos para el operador de Stokes en todo el espacio y en dominios acotados. Crucialmente, derivan una desigualdad de tipo Korn generalizada para la condición de deslizamiento de Navier, la cual acota el gradiente completo de la velocidad mediante el gradiente simétrico y el término de deslizamiento en la frontera.
4. Sectorialidad y Analiticidad: La prueba de que el semigrupo es acotado y analítico depende del establecimiento de la sectorialidad del operador. Para $q=2$, esto se deriva de la autodualidad. Para $1 < q < 3/2$, se deriva de estimaciones de regularidad máxima uniformes en el tiempo. Los resultados para los rangos restantes de $q$ se obtienen mediante argumentos de interpolación y dualidad.
5. Estimaciones de Decaimiento: Las tasas de decaimiento se derivan combinando la regularidad establecida con métodos de energía. Un paso clave consiste en cerrar la estimación de energía utilizando la desigualdad de tipo Korn y la desigualdad de Gagliardo-Nirenberg, seguido de un argumento de tipo Gronwall para determinar las tasas de decaimiento temporal para tiempos grandes.

Contribuciones Clave y Resultados
El artículo establece los siguientes resultados principales para el sistema de fluido-estructura linealizado bajo condiciones de deslizamiento de Navier en un dominio exterior:

• Regularidad Fuerte $L^q$: Los autores demuestran la existencia de soluciones fuertes únicas para el sistema linealizado con regularidad máxima $L^q$. Específicamente, para datos iniciales que satisfacen las condiciones de compatibilidad apropiadas y fuerzas externas en $L^q$, la solución $(v, \pi, \ell, \omega)$ satisface estimaciones en espacios tales como $L^q(0, T; W^{2,q}(\Omega))$ y $W^{1,q}(0, T; L^q(\Omega))$.
• Semigrupo Analítico Acotado: El operador de fluido-estructura genera un semigrupo analítico acotado en el subespacio $X_q$ para todo $1 < q < \infty$. Esta es una extensión significativa, ya que los resultados previos para condiciones de deslizamiento estaban limitados principalmente a dominios acotados.
• Estimaciones de Decaimiento $L^q-L^r$ Óptimas: El artículo deriva tasas de decaimiento óptimas para la solución cuando $t \to \infty$. Para datos iniciales en $L^r$, la velocidad y sus derivadas decaen con tasas que dependen de la diferencia entre $1/r$ y $1/q$. Específicamente, los autores muestran:
  • $\|v(t)\|_{L^q} \sim t^{-\frac{3}{2}(\frac{1}{r} - \frac{1}{q})}$ para tiempos cortos y regímenes específicos de tiempo largo.
  • Estimaciones refinadas para las velocidades traslacional y angular $(\ell, \omega)$ y sus derivadas temporales, mostrando tasas de decaimiento de $(1+t)^{-\frac{1}{2} - \frac{3}{2}(\frac{1}{r} - \frac{1}{m})}$ para valores grandes de $m$.
  • También se proporcionan estimaciones para el gradiente de presión y las derivadas espaciales de segundo orden, distinguiendo entre comportamientos de corto tiempo ($t \le 1$) y largo tiempo ($t \ge 1$).

Significado
Los autores afirman que estos resultados proporcionan una base rigurosa para la construcción de soluciones fuertes para el correspondiente sistema no lineal. Al establecer la regularidad fuerte $W^{2,1}_q$ y soluciones de tipo Kato para el problema linealizado, este trabajo permite la aplicación de argumentos de punto fijo al problema completo de interacción fluido-estructura no lineal. El artículo señala que, si bien la regularidad del semigrupo y el decaimiento están bien comprendidos para el caso de no deslizamiento en dominios exteriores, tales resultados han sido limitados en el entorno de deslizamiento, particularmente respecto a la naturaleza no acotada del dominio. Este trabajo cierra esa brecha explotando la regularidad geométrica de la esfera para manejar el entorno de dominio exterior bajo condiciones de deslizamiento de Navier.