Large time decay of the Oseen flow in exterior domains subject to the Navier slip-with-friction boundary condition

Resumen Técnico: Gran Decaimiento Temporal del Flujo de Oseen en Dominios Exteriores Sujetos a la Condición de Contorno de Deslizamiento de Navier con Fricción

Planteamiento del Problema
El artículo investiga el comportamiento asintótico del flujo de Oseen, que sirve como la linealización de las ecuaciones de Navier-Stokes, en un dominio exterior tridimensional $\Omega$ (el complemento de un obstáculo acotado). El fluido es viscoso e incompresible. El estudio se centra en el sistema sujeto a la condición de contorno de deslizamiento de Navier con fricción en la frontera del obstáculo $\partial\Omega$ y una velocidad de salida prescrita $u_\infty$ en el infinito espacial.

Las ecuaciones gobernantes para la velocidad de perturbación $u$ y la presión $p$ alrededor del estado estacionario $u_\infty$ están dadas por el problema de valor inicial de Oseen:
$$\partial_t u = \Delta u + \eta \cdot \nabla u - \nabla p, \quad \text{div } u = 0 \quad \text{en } \Omega \times (0, \infty),$$
donde $\eta = -u_\infty$. Las condiciones de contorno son:
$$\nu \cdot u|_{\partial\Omega} = 0, \quad [(2Du)\nu]_\tau + \alpha u_\tau|_{\partial\Omega} = 0, \quad \lim_{|x|\to\infty} u = 0,$$
donde $\nu$ es la normal unitaria exterior, $Du$ es el gradiente simétrico y $\alpha(x) \geq 0$ es el coeficiente de fricción, y el subíndice $\tau$ denota la componente tangencial.

Los objetivos primordiales son dos:

1. Caracterizar el conjunto del resolvente del operador de Oseen asociado $L$ en el marco $L^q$, analizando específicamente las propiedades espectrales cerca del origen en el plano complejo bajo la influencia de la geometría de la frontera, el coeficiente de fricción $\alpha$ y el flujo de salida $\eta$.
2. Establecer estimaciones de decaimiento $L^q$-$L^r$ para el semigrupo de Oseen $e^{-tL}$ cuando $t \to \infty$, las cuales son cruciales para probar la existencia global y la buena definición del sistema de Navier-Stokes no lineal cerca de un estado estacionario.

Metodología
El análisis emplea una combinación de teoría espectral, análisis funcional y métodos de energía, estructurados de la siguiente manera:

1. Análisis del Resolvente y Unicidad: El artículo establece primero la unicidad de las soluciones al sistema del resolvente $(\lambda + L)u = f$ dentro de clases específicas de funciones. Esto implica derivar estimaciones de energía multiplicando la ecuación por la solución e integrando sobre el dominio. Un paso crítico es el manejo de los términos de contorno que surgen de la condición de Navier. Los autores utilizan el mapa de Weingarten de la frontera $\partial\Omega$ para relacionar el tensor de deformación $Du$ con el gradiente $\nabla u$. Específicamente, utilizan la identidad:
   $$2\|Du\|_2^2 = \|\nabla u\|_2^2 - \int_{\partial\Omega} [(\nabla N)u] \cdot u \, d\sigma,$$
   donde $-\nabla N$ es el mapa de Weingarten y $\kappa(x)$ representa su autovalor mínimo (relacionado con las curvaturas principales). Este término geomético permite la derivación de condiciones bajo las cuales la parte real de la identidad de energía es no negativa, asegurando la unicidad.

2. Construcción del Paramétro: Para construir el resolvente en el dominio exterior, los autores utilizan un procedimiento de corte (cut-off). Combinan el operador de solución para todo el espacio $\mathbb{R}^3$ (resolvente de Oseen) con el operador de solución para un dominio interior acotado (sujeto a la misma condición de contorno). Se emplea un operador de Bogovskii en una región anular para corregir la divergencia de la solución parcheada, asegurando que se cumpla la condición de solenoidalidad. Esto produce una representación del resolvente que involucra un operador de perturbación compacta $T_\eta(\lambda)$.

3. Regularidad cerca del Origen: El núcleo del análisis de decaimiento reside en el comportamiento del resolvente $(\lambda + L)^{-1}$ cerca de $\lambda = 0$, particularmente a lo largo del eje imaginario. Los autores demuestran que, bajo condiciones específicas de $\alpha$ y la curvatura de $\partial\Omega$, el resolvente es analítico en un entorno del origen (excluyendo el origen mismo para el caso de Stokes) y satisface estimaciones de continuidad de Hölder específicas en la norma $L^q$.

4. Decaimiento de Energía Local: Utilizando la regularidad del resolvente a lo largo del eje imaginario, el artículo deriva estimaciones de decaimiento de energía local. Esto se logra expresando el semigrupo mediante la integral de Dunford y aplicando un lema que relaciona la tasa de decaimiento de la transformada inversa de Fourier con la regularidad de la función en el dominio de la frecuencia (específicamente, la continuidad de módulo del resolvente).

Contribuciones Clave y Resultados

• Caracterización del Conjunto del Resolvente:
  El artículo establece que el conjunto del resolvente $\rho(-L)$ contiene el semiplano derecho (excluyendo el origen) bajo la condición:
  $$\alpha(x) \geq \frac{\eta \cdot \nu(x)}{2} \quad \text{para todo } x \in \partial\Omega.$$
  Además, si se cumple una condición más fuerte que involucra la curvatura de la frontera:
  $$\alpha(x) + \kappa(x) \geq \frac{\eta \cdot \nu(x)}{2},$$
  donde $\kappa(x)$ es el mínimo de las curvaturas principales, el conjunto del resolvente contiene la región $\mathbb{C} \setminus S_\eta$, donde $S_\eta = \{ \lambda \in \mathbb{C} : |\eta|^2 \text{Re } \lambda + (\text{Im } \lambda)^2 \leq 0 \}$. Esto extiende los resultados previos conocidos para la condición de no deslizamiento al caso de deslizamiento de Navier con fricción.

• Estimaciones de Decaimiento $L^q$-$L^r$:
  El resultado principal (Teorema 2.2) proporciona estimaciones de decaimiento para el semigrupo de Oseen. Para datos iniciales $f \in L^q_\sigma(\Omega)$, la solución satisface:
  $$\|\nabla^j e^{-tL}f\|_r \leq C t^{-\frac{j}{2} - \frac{3}{2}(\frac{1}{q} - \frac{1}{r})} \|f\|_q$$
  para $j=0$, y una tasa ligeramente modificada que involucra $(1+t)$ para $j=1$. Estas estimaciones se mantienen para $t \to \infty$ bajo la condición $\alpha(x) \geq \frac{\eta \cdot \nu(x)}{2}$.

• Recuperación de Resultados Conocidos:
  Los resultados recuperan las estimaciones de decaimiento conocidas para el semigrupo de Stokes ($\eta=0$) bajo deslizamiento total ($\alpha=0$) y el semigrupo de Oseen bajo la condición de no deslizamiento ($\alpha \to \infty$) como casos particulares.

Significancia y Pretensiones
El artículo pretende llenar un vacío en la literatura existente respecto al problema exterior con flujo de salida no nulo ($u_\infty \neq 0$) bajo condiciones de contorno de Navier, dado que trabajos previos asumieron mayoritariamente un flujo de salida cero para tales condiciones de contorno.

La significancia radica en:

1. Cerrar la Brecha: Los resultados interpolan entre los regímenes de deslizamiento total ($\alpha=0$) y no deslizamiento ($\alpha \to \infty$), proporcionando un marco unificado para las estimaciones de decaimiento a gran escala de tiempo.
2. Perspectiva Geométrica: El análisis resalta el papel de la geometría de la frontera (vía el mapa de Weingarten y las curvaturas principales) en la determinación de las propiedades espectrales del operador de Oseen, específicamente la forma del conjunto del resolvente cerca del origen.
3. Fundamento para la Estabilidad No Lineal: Las estimaciones de decaimiento $L^q$-$L^r$ establecidas se presentan como una herramienta necesaria para investigar la existencia global y la estabilidad del sistema de Navier-Stokes no lineal en dominios exteriores con condiciones de contorno de deslizamiento, particularmente para datos iniciales cercanos a un estado estacionario.

Los autores señalan que, si bien las tasas de decaimiento para el gradiente ($j=1$) son óptimas para el caso de Stokes bajo no deslizamiento, no se reclama la optimalidad para el caso de Oseen con flujo de salida no nulo debido a la diferente estructura de decaimiento espacial (estructura de estela) del flujo estacionario de Oseen. Además, la dependencia de la constante de decaimiento respecto al coeficiente de fricción $\alpha$ sigue siendo un tema abierto debido a la falta de estimaciones a priori uniformes en dominios acotados para $\alpha$ pequeño.