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

Resumo Técnico: Grande Decaimento Temporal do Fluxo de Oseen em Domínios Exteriores Sujeitos à Condição de Contorno de Escorregamento de Navier com Atrito

Enunciado do Problema
O artigo investiga o comportamento assintótico do fluxo de Oseen, que serve como a linearização das equações de Navier-Stokes, em um domínio exterior $\Omega$ (o complemento de um obstáculo limitado) em três dimensões. O fluido é viscoso e incompressível. O estudo foca no sistema sujeito à condição de contorno de escorregamento de Navier com atrito na fronteira do obstáculo $\partial\Omega$ e uma velocidade de saída prescrita $u_\infty$ no infinito espacial.

As equações governantes para a velocidade de perturbação $u$ e a pressão $p$ em torno do estado estacionário $u_\infty$ são dadas pelo problema de valor inicial de Oseen:
$$\partial_t u = \Delta u + \eta \cdot \nabla u - \nabla p, \quad \text{div } u = 0 \quad \text{em } \Omega \times (0, \infty),$$
onde $\eta = -u_\infty$. As condições de contorno são:
$$\nu \cdot u|_{\partial\Omega} = 0, \quad [(2Du)\nu]_\tau + \alpha u_\tau|_{\partial\Omega} = 0, \quad \lim_{|x|\to\infty} u = 0,$$
onde $\nu$ é a normal unitária externa, $Du$ é o gradiente simétrico e $\alpha(x) \geq 0$ é o coeficiente de atrito, e o subscrito $\tau$ denota a componente tangencial.

Os objetivos primários são duplos:

1. Caracterizar o conjunto do resolvente do operador de Oseen associado $L$ no arcabouço $L^q$, analisando especificamente as propriedades espectrais próximo à origem no plano complexo sob a influência da geometria da fronteira, do coeficiente de atrito $\alpha$ e do escoamento de saída $\eta$.
2. Estabelecer estimativas de decaimento $L^q$-$L^r$ para o semigrupo de Oseen $e^{-tL}$ conforme $t \to \infty$, que são cruciais para provar a bem-postura global do sistema de Navier-Stokes não linear próximo a um estado estacionário.

Metodologia
A análise emprega uma combinação de teoria espectral, análise funcional e métodos de energia, estruturada da seguinte forma:

1. Análise do Resolvente e Unicidade: O artigo primeiro estabelece a unicidade das soluções para o sistema do resolvente $(\lambda + L)u = f$ dentro de classes específicas de funções. Isso envolve a derivação de estimativas de energia multiplicando a equação pela solução e integrando sobre o domínio. Um passo crítico é lidar com os termos de fronteira decorrentes da condição de Navier. Os autores utilizam o mapa de Weingarten da fronteira $\partial\Omega$ para relacionar o tensor de deformação $Du$ ao gradiente $\nabla u$. Especificamente, eles utilizam a identidade:
   $$2\|Du\|_2^2 = \|\nabla u\|_2^2 - \int_{\partial\Omega} [(\nabla N)u] \cdot u \, d\sigma,$$
   onde $-\nabla N$ é o mapa de Weingarten e $\kappa(x)$ representa seu autovalor mínimo (relacionado às curvaturas principais). Este termo geométrico permite a derivação de condições sob as quais a parte real da identidade de energia é não-negativa, garantindo a unicidade.

2. Construção do Parametrix: Para construir o resolvente no domínio exterior, os autores utilizam um procedimento de corte (cut-off). Eles combinam o operador de solução para todo o espaço $\mathbb{R}^3$ (resolvente de Oseen) com o operador de solução para um domínio interior limitado (sujeito à mesma condição de contorno). Um operador de Bogovskii é empregado em uma região anular para corrigir a divergência da solução colada (patched solution), garantindo que a condição de solenoidalidade seja atendida. Isso resulta em uma representação do resolvente envolvendo um operador de perturbação compacta $T_\eta(\lambda)$.

3. Regularidade Próximo à Origem: A análise central do decaimento depende do comportamento do resolvente $(\lambda + L)^{-1}$ próximo a $\lambda = 0$, particularmente ao longo do eixo imaginário. Os autores provam que, sob condições específicas de $\alpha$ e da curvatura de $\partial\Omega$, o resolvente é analítico em uma vizinhança da origem (excluindo a própria origem para o caso de Stokes) e satisfaz estimativas de continuidade de Hölder específicas na norma $L^q$.

4. Decaimento de Energia Local: Utilizando a regularidade do resolvente ao longo do eixo imaginário, o artigo deriva estimativas de decaimento de energia local. Isso é alcançado expressando o semigrupo via integral de Dunford e aplicando um lema que relaciona a taxa de decaimento da transformada de Fourier inversa com a regularidade da função no domínio da frequência (especificamente, o módulo de continuidade do resolvente).

Principais Contribuições e Resultados

• Caracterização do Conjunto do Resolvente:
  O artigo estabelece que o conjunto do resolvente $\rho(-L)$ contém o semiplano direito (excluindo a origem) sob a condição:
  $$\alpha(x) \geq \frac{\eta \cdot \nu(x)}{2} \quad \text{para todo } x \in \partial\Omega.$$
  Além disso, se uma condição mais forte envolvendo a curvatura da fronteira for atendida:
  $$\alpha(x) + \kappa(x) \geq \frac{\eta \cdot \nu(x)}{2},$$
  onde $\kappa(x)$ é o mínimo das curvaturas principais, o conjunto do resolvente contém a região $\mathbb{C} \setminus S_\eta$, onde $S_\eta = \{ \lambda \in \mathbb{C} : |\eta|^2 \text{Re } \lambda + (\text{Im } \lambda)^2 \leq 0 \}$. Isso estende resultados anteriores conhecidos para a condição de não-escorregamento (no-slip) para o caso de escorregamento de Navier com atrito.

• Estimativas de Decaimento $L^q$-$L^r$:
  O resultado principal (Teorema 2.2) fornece estimativas de decaimento para o semigrupo de Oseen. Para dados iniciais $f \in L^q_\sigma(\Omega)$, a solução satisfaz:
  $$\|\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$, e uma taxa ligeiramente modificada envolvendo $(1+t)$ para $j=1$. Estas estimativas são válidas para $t \to \infty$ sob a condição $\alpha(x) \geq \frac{\eta \cdot \nu(x)}{2}$.

• Recuperação de Resultados Conhecidos:
  Os resultados recuperam as estimativas de decaimento conhecidas para o semigrupo de Stokes ($\eta=0$) sob escorregamento total ($\alpha=0$) e o semigrupo de Oseen sob a condição de não-escorregamento ($\alpha \to \infty$) como casos particulares.

Significância e Alegações
O artigo afirma preencher uma lacuna na literatura existente referente ao problema exterior com escoamento de saída não nulo ($u_\infty \neq 0$) sob condições de contorno de Navier, visto que trabalhos anteriores assumiam majoritariamente escoamento zero para tais condições de contorno.

A significância reside em:

1. Preenchimento da Lacuna: Os resultados interpolam entre os regimes de escorregamento total ($\alpha=0$) e não-escorregamento ($\alpha \to \infty$), fornecendo um arcabouço unificado para estimativas de decaimento de tempo longo.
2. Visão Geométrica: A análise destaca o papel da geometria da fronteira (via o mapa de Weingarten e as curvaturas principais) em determinar as propriedades espectrais do operador de Oseen, especificamente a forma do conjunto do resolvente próximo à origem.
3. Fundação para Estabilidade Não Linear: As estimativas de decaimento $L^q$-$L^r$ estabelecidas são apresentadas como uma ferramenta necessária para investigar a bem-postura global e a estabilidade do sistema de Navier-Stokes não linear em domínios exteriores com condições de contorno de escorregamento, especialmente para dados iniciais próximos a um estado estacionário.

Os autores observam que, embora as taxas de decaimento para o gradiente ($j=1$) sejam ótimas para o caso de Stokes sob não-escorregamento, a otimalidade para o caso de Oseen com escoamento de saída não nulo não é alegada devido à diferente estrutura de decaimento espacial (estrutura de esteira/wake structure) do fluxo de Oseen estacionário. Adicionalmente, a dependência da constante de decaimento em relação ao coeficiente de atrito $\alpha$ permanece uma questão em aberto devido à falta de estimativas a priori uniformes em domínios limitados para $\alpha$ pequeno.