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

Resumo Técnico: Limite de Viscosidade Zero das Equações de Quimiotaxia-Navier-Stokes com a Condição de Deslizamento de Navier

Enunciado do Problema
Este artigo investiga a justificação matemática rigorosa do limite de viscosidade nula para um sistema acoplado de quimiotaxia-Navier-Stokes em um semiespaço bidimensional ($\mathbb{R}^2_+$). O sistema modela a interação entre a densidade bacteriana ($n_\varepsilon$), a concentração de oxigênio ($c_\varepsilon$) e a velocidade do fluido ($u_\varepsilon$), onde os coeficientes de viscosidade e difusão química são escalonados por um parâmetro pequeno $\varepsilon$. O estudo foca no regime onde tanto a viscosidade do fluido quanto a difusão quimiotática desaparecem simultaneamente, um cenário motivado por observações experimentais de plumas bioconvectivas e microturbulência em suspensões bacterianas (por exemplo, Dombrowski et al. [3], Tuval et al. [39]).

Um desafio central neste limite é a formação de camadas limite devido à incompatibilidade entre as condições de contorno de não-deslizamento (ou deslizamento de Navier) do sistema viscoso e as condições de deslizamento livre do sistema limite invíscido. Embora o limite de viscosidade nula para as equações puras de Navier-Stokes tenha sido extensivamente estudado (por exemplo, a teoria de Prandtl, trabalhos de Oleinik, Sammartino, Caflisch, Masmoudi), o sistema acoplado de quimiotaxia-fluido apresenta singularidades adicionais devido ao forte acoplamento não linear entre a dinâmica dos fluidos e a agregação quimiotática.

Metodologia
Os autores empregam o método de expansão assintótica casada para construir soluções aproximadas e analisar rigorosamente a taxa de convergência. Os componentes metodológicos centrais incluem:

1. Expansão Assintótica: A solução é decomposta em uma camada externa (invíscida) e uma correção interna (camada limite). Os autores introduzem coordenadas de camada limite $z = y/\varepsilon$ e expandem as variáveis ($n, c, u, p$) em potências de $\varepsilon$.

   • A expansão inclui termos até correções de camada limite de segunda ordem ($nb,2, cb,2, ub,2$).
   • Uma observação estrutural chave é que as equações para termos de camada limite de ordem superior (por exemplo, $nb,j$) frequentemente degeneram, perdendo suas derivadas temporais e tornando-se relações lineares envolvendo apenas derivadas espaciais e termos de ordem inferior conhecidos. Isso permite aos autores resolver esses termos sequencialmente sem dependência circular.

2. Espaços Funcionais: Para lidar com a natureza anisotrópica da camada limite (onde as derivadas normais são grandes), os autores utilizam espaços de Sobolev conormais anisotrópicos ($Y^{l,m}$). Esses espaços atribuem pesos diferentes às derivadas tangenciais ($x$) e normais ($y$), utilizando uma função de peso $\psi(y)$ que se anula na fronteira. Este quadro é adaptado de técnicas usadas para equações de Navier-Stokes com condições de deslizamento de Navier (Masmoudi e Rousset [26]), mas é aplicado de forma inovadora aqui ao sistema de quimiotaxia-fluido.

3. Análise de Erro: A diferença entre a solução verdadeira e a solução aproximada construída é definida como as variáveis de erro $(n, c, u)$. Os autores derivam um sistema de equações de erro e estabelecem estimativas de energia para essas variáveis.

   • As estimativas envolvem o controle de termos não lineares, comutadores surgindo das derivadas conormais e o acoplamento entre as equações de quimiotaxia e fluido.
   • Atenção especial é dada ao termo de pressão e à equação de vorticidade para recuperar derivadas normais, utilizando uma variável de vorticidade modificada $\tilde{\omega} = \omega - \varepsilon^2 \partial_x f e^{-y}$ para lidar com efeitos de fronteira.

4. Bem-postura: O artigo estabelece a bem-postura local tanto das equações da camada externa (um sistema de quimiotaxia-Euler) quanto das equações da camada limite (um sistema de equações parabólicas e de transporte) em espaços de Sobolev apropriados, garantindo que a solução aproximada seja bem definida.

Contribuições e Resultados Principais
O resultado primário é a prova rigorosa do limite de viscosidade nula com uma taxa de convergência específica.

• Teorema Principal (Teorema 2.2): Assumindo a existência de uma solução aproximada suave satisfazendo limites específicos (Proposição 2.1), os autores provam que, para $\varepsilon$ suficientemente pequeno, o sistema de quimiotaxia-Navier-Stokes admite uma solução única que converge para a solução aproximada nos espaços de Sobolev conormais anisotrópicos.
• Taxa de Convergência: O erro entre a solução verdadeira e a solução aproximada é limitado por $O(\varepsilon^{3/2})$ na norma $L^\infty(0, T; L^2 \cap L^\infty)$. Especificamente:
  $$\|(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 taxa supera resultados anteriores para sistemas semelhantes (por exemplo, Hou [10], que obteve $O(\varepsilon^{1/2})$ para uma configuração diferente).
• Estrutura da Camada Limite: O artigo constrói explicitamente os perfis da camada limite. Demonstra-se que o efeito da camada limite neste sistema é induzido pela dinâmica dos fluidos e não pelo mecanismo quimiotático isoladamente. Na ausência de acoplamento fluido ($u=0$), as correções da camada limite para as variáveis quimiotáticas desaparecem identicamente.
• Tratamento da Degenerescência: Uma contribuição técnica significativa é o método usado para resolver as correções da camada limite $nb,j$. Ao explorar a degenerescência das equações (onde as derivadas temporais desaparecem para certas ordens), os autores derivam relações lineares que permitem a determinação de $nb,j$ usando termos de ordem inferior, contornando a dificuldade de resolver diretamente EDPs dependentes do tempo de alta ordem.

Significado e Alegações
O artigo alega fornecer a primeira verificação matemática rigorosa da estrutura assintótica da camada limite para uma classe de equações de quimiotaxia-fluido sob o limite de viscosidade nula.

• Novidade Matemática: Estende a teoria dos limites de viscosidade nula da dinâmica de fluidos pura para acoplamentos complexos biológico-fluido. O trabalho aborda a "região altamente singular" criada pelo desaparecimento simultâneo das viscosidades do fluido e quimiotática.
• Relevância Física: Os resultados oferecem uma fundação matemática para entender a formação de camadas limite e microturbulência observadas em suspensões bacterianas (por exemplo, o fenômeno da "linha branca" em placas de Petri). Confirma que a viscosidade do fluido desempenha um papel crítico em ditar o comportamento da camada limite quimiotática.
• Avanço Metodológico: A aplicação bem-sucedida de espaços de Sobolev conormais anisotrópicos a este sistema acoplado demonstra um quadro robusto para lidar com a interplay entre termos de quimiotaxia não lineares e camadas limite de fluidos.

Os autores permanecem modestos quanto à taxa de convergência, observando que a taxa $O(\varepsilon^{3/2})$ é subótima em comparação com o potencial teórico da expansão (que vai até a segunda ordem) devido à perda inerente de escalonamento $\varepsilon$ ao estimar derivadas normais e ao truncamento da expansão na correção de segunda ordem. Eles reconhecem que relaxar as suposições de regularidade sobre os dados iniciais permanece um desafio para trabalhos futuros.