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

Resumo Técnico: Regularidade e Decaimento para Interação Fluido-Estrutura com Escorregamento de Navier em Domínios Exteriores

Enunciado do Problema
Este artigo investiga o movimento linearizado de um corpo rígido esférico imerso em um fluido viscoso incompressível que ocupa todo o espaço tridimensional ($\mathbb{R}^3$). O sistema é governado pelas equações de Navier-Stokes acopladas a equações diferenciais ordinárias que descrevem a dinâmica de translação e rotação do corpo rígido. Uma característica crítica deste estudo é a imposição de condições de contorno de escorregamento de Navier com fricção na interface fluido-estrutura, em oposição às clássicas condições de não-escorregamento (Dirichlet). Os autores focam no sistema linearizado em torno do estado de repouso, onde a velocidade do fluido, a pressão e as velocidades de translação e angular do corpo evoluem de acordo com um sistema acoplado em um domínio exterior $\Omega = \mathbb{R}^3 \setminus B$, onde $B$ é uma bola.

Metodologia
A análise é conduzida dentro do arcabouço da teoria dos semigrupos e da regularidade máxima $L^q$. Os autores definem um operador fluido-estrutura $A_{\alpha,q}$ que atua em um espaço de Banach $X_q$, o qual encapsula a velocidade do fluido, a velocidade de translação e a velocidade angular. A metodologia procede através de etapas fundamentais:

1. Formulação do Operador: O sistema é reformulado em todo o espaço $\mathbb{R}^3$ ao estender a velocidade do corpo rígido para o interior da esfera. Isso permite o uso de uma decomposição de Helmholtz-Weyl adaptada à interação fluido-estrutura, facilitando a definição do gerador $A_{\alpha,q}$.
2. Teoria $L^2$: Os autores estabelecem primeiramente a autoadjunticidade e a definição positiva do operador no contexto de espaços de Hilbert ($q=2$). Isso baseia-se em uma forma bilinear específica envolvendo o tensor de taxa de deformação e o termo de fricção na fronteira.
3. Localização e Estimativas A Priori: Para estender os resultados para espaços $L^q$ gerais ($1 < q < \infty$), os autores empregam uma técnica de localização. Eles unem resultados conhecidos para o operador de Stokes no espaço total e em domínios limitados. Crucialmente, eles derivam uma desigualdade do tipo Korn generalizada para a condição de escorregamento de Navier com fricção, que limita o gradiente total da velocidade pelo gradiente simétrico e pelo termo de escorregamento na fronteira.
4. Setorialidade e Analiticidade: A prova de que o semigrupo é limitado e analítico baseia-se no estabelecimento da setorialidade do operador. Para $q=2$, isso decorre da autoadjunticidade. Para $1 < q < 3/2$, isso é derivado de estimativas de regularidade máxima uniformes no tempo. Os resultados para os demais intervalos de $q$ são obtidos via interpolação e argumentos de dualidade.
5. Estimativas de Decaimento: As taxas de decaimento são derivadas combinando a regularidade estabelecida com métodos de energia. Um passo fundamental envolve o fechamento da estimativa de energia usando a desigualdade do tipo Korn e a desigualdade de Gagliardo-Nirenberg, seguido por um argumento do tipo Gronwall para determinar as taxas de decaimento temporal para tempos grandes.

Principais Contribuições e Resultados
O artigo estabelece os seguintes resultados principais para o sistema fluido-estrutura linearizado sob condições de escorregamento de Navier em um domínio exterior:

• Regularidade Forte $L^q$: Os autores provam a existência de soluções fortes únicas para o sistema linearizado com regularidade máxima $L^q$. Especificamente, para dados iniciais que satisfazem condições de compatibilidade apropriadas e forças externas em $L^q$, a solução $(v, \pi, \ell, \omega)$ satisfaz estimativas em espaços como $L^q(0, T; W^{2,q}(\Omega))$ e $W^{1,q}(0, T; L^q(\Omega))$.
• Semigrupo Analítico Limitado: O operador fluido-estrutura gera um semigrupo analítico limitado no subespaço $X_q$ para todo $1 < q < \infty$. Esta é uma extensão significativa, pois resultados anteriores para condições de escorregamento estavam amplamente limitados a domínios limitados.
• Estimativas de Decaimento $L^q-L^r$ Estritas: O artigo deriva taxas de decaimento ótimas para a solução quando $t \to \infty$. Para dados iniciais em $L^r$, a velocidade e suas derivadas decaem com taxas dependentes da diferença entre $1/r$ e $1/q$. Especificamente, os autores mostram:
  • $\|v(t)\|_{L^q} \sim t^{-\frac{3}{2}(\frac{1}{r} - \frac{1}{q})}$ para tempos curtos e regimes específicos de tempo grande.
  • Estimativas refinadas para as velocidades de translação e angular $(\ell, \omega)$ e suas derivadas temporais, mostrando taxas de decaimento de $(1+t)^{-\frac{1}{2} - \frac{3}{2}(\frac{1}{r} - \frac{1}{m})}$ para $m$ grande.
  • Estimativas para o gradiente de pressão e derivadas espaciais de segunda ordem também são fornecidas, distinguindo entre comportamentos de curto tempo ($t \le 1$) e longo tempo ($t \ge 1$).

Significância
Os autores afirmam que estes resultados fornecem uma fundação rigorosa para a construção de soluções fortes para o sistema não linear correspondente. Ao estabelecer a regularidade forte $W^{2,1}_q$ e soluções do tipo Kato para o problema linearizado, este trabalho permite a aplicação de argumentos de ponto fixo para o problema completo de interação fluido-estrutura não linear. O artigo observa que, embora a regularidade de semigrupo e o decaimento sejam bem compreendidos para o caso de não-escorregamento em domínios exteriores, tais resultados têm sido limitados no cenário de escorregamento, particularmente em relação à natureza não limitada do domínio. Este trabalho preenche essa lacuna ao explorar a regularidade geométrica da esfera para lidar com o cenário de domínio exterior sob condições de escorregamento de Navier.