Traveling wave solutions to a general incompressible Navier-Stokes-Fourier system with free boundary

1. Problema Investigado

O artigo estuda a existência e unicidade de soluções de ondas viajantes para um sistema de equações de Navier-Stokes-Fourier (NSF) generalizado, envolvendo um fluido viscoso, incompressível e condutor de calor, com uma superfície livre.

Configuração Física:

• Domínio: Um domínio em forma de camada infinita horizontalmente, com profundidade finita. O fluido é limitado inferiormente por uma superfície rígida plana ($\Sigma_0$) e superiormente por uma superfície livre móvel ($\Sigma_{b+\zeta}$).
• Equações de Governação: O sistema acopla a conservação de momento, a incompressibilidade e a conservação de energia (temperatura).
  • O tensor de tensão viscosa $\Pi$ e o fluxo de calor $\Psi$ são funções gerais da temperatura e dos gradientes de velocidade/temperatura, permitindo que a viscosidade e a condutividade térmica dependam da temperatura.
  • Inclui forças externas de corpo, tensões de fronteira externas e fontes de calor externas.
• Efeitos de Superfície: A superfície livre está sujeita à gravidade, pressão atmosférica, tensão de tensão (capilaridade) e tensões de Marangoni (devidas ao gradiente de tensão superficial causado por variações de temperatura).
• Ansatz de Onda Viajante: Busca-se soluções que sejam estacionárias em um referencial que se move com velocidade constante $\gamma e_1$ paralela à superfície inferior.

2. Metodologia

Os autores empregam uma abordagem analítica rigorosa baseada em análise funcional não linear e teoria de equações diferenciais parciais (EDPs).

Estrutura da Prova:

1. Reformulação em Domínio Fixo: O problema original, definido em um domínio com fronteira livre variável $\Omega_{b+\zeta}$, é transformado em um problema em um domínio fixo e achatado $\Omega = \mathbb{R}^{n-1} \times (0, b)$ através de um difeomorfismo $F_\eta$. Isso permite trabalhar em espaços de Sobolev fixos.
2. Linearização e Teorema da Função Implícita: O objetivo é provar a existência de soluções para dados pequenos. Isso é feito aplicando o Teorema da Função Implícita em espaços de Banach. Para isso, é necessário provar que o operador linearizado do sistema é um isomorfismo (bijetivo e contínuo) entre os espaços de dados e soluções.
3. Análise do Sistema Linearizado:
   • O sistema linearizado envolve um sistema de Stokes generalizado acoplado a uma equação de calor.
   • Os autores utilizam a teoria de Lax-Milgram combinada com teoria de regularidade elíptica para estabelecer a bem-postura do sistema linearizado em um contexto de Sobolev $L^2$.
   • Um desafio central é lidar com a condição de compatibilidade necessária para a existência de soluções no sistema sobredeterminado resultante da eliminação da variável da superfície livre.
4. Síntese de Símbolos de Fourier e ODEs:
   • Para caracterizar a solvabilidade e a regularidade da superfície livre, os autores utilizam a transformada de Fourier nas variáveis horizontais.
   • Eles derivam símbolos de Fourier para os operadores que mapeam a tensão normal na superfície para as soluções do sistema adjunto.
   • A análise assintótica desses símbolos (especialmente para baixas frequências $|\xi| \to 0$) é realizada resolvendo explicitamente um sistema de Equações Diferenciais Ordinárias (EDOs) resultante da transformada de Fourier.
   • Demonstram-se estimativas cruciais para o símbolo $\rho(\xi)$, que governa a regularidade da superfície livre, mostrando que ele não se anula e possui o comportamento assintótico necessário para definir o espaço de funções adequado para $\eta$.
5. Análise Não Linear: Finalmente, verifica-se que os operadores não lineares (termos convectivos, condições de fronteira não lineares, etc.) são de classe $C^1$ nos espaços de Sobolev escolhidos, permitindo a aplicação do Teorema da Função Implícita.

3. Principais Contribuições e Resultados

Teorema 1.1 (Bem-postura em Domínio Fixo):

• Estabelece que, para dados de força, tensão e calor suficientemente pequenos em espaços de Sobolev apropriados, existe uma solução única para o sistema reformulado em domínio fixo.
• A solução depende continuamente (e de forma Lipschitziana localmente) dos dados de entrada.
• O teorema exige uma condição técnica sobre os parâmetros físicos (viscosidade $\mu$, condutividade $\kappa$ e derivada da tensão superficial $\sigma'(0)$) para garantir a coercividade do sistema linearizado:
  $$\max\left(\frac{\|Q_1\|^2}{4}, \frac{\|Q_2\|^2}{4}\right) |\sigma'(0)|^2 < 2\mu\kappa$$
  onde $Q_1$ e $Q_2$ são formas bilineares relacionadas aos termos de acoplamento.

Teorema 1.2 (Retorno ao Domínio Original):

• Converte a solução encontrada no domínio achatado de volta para o domínio físico original, provando a existência de soluções clássicas para o problema de fronteira livre original.
• Garante a regularidade das variáveis (velocidade, temperatura, pressão e superfície livre) nos espaços de Sobolev e Hölder esperados.

Descoberta Chave: Ondas Viajantes Induzidas por Calor

• Um dos resultados mais significativos é a demonstração de que fontes de calor externas são suficientes para gerar ondas viajantes viscosas.
• Diferentemente de trabalhos anteriores que exigiam forças de corpo ou tensões de fronteira externas para gerar movimento, este trabalho mostra que, se a fonte de calor $h$ for não nula (mesmo que as forças mecânicas $f$ e tensões $t$ sejam zero), o sistema pode suportar um estado de onda viajante não trivial. Isso destaca o papel crucial do acoplamento termo-mecânico (efeitos térmicos) na dinâmica de fluidos viscosos.

4. Significado e Impacto

• Generalidade do Modelo: O trabalho trata de um sistema "geral" onde a viscosidade e a condutividade térmica podem depender da temperatura, indo além dos modelos clássicos de Navier-Stokes-Fourier com coeficientes constantes.
• Avanço na Teoria de Ondas Viajantes: A literatura sobre ondas viajantes em fluidos viscosos com superfície livre é relativamente nova em comparação com fluidos invíscidos (Euler). Este artigo expande o conhecimento para sistemas termicamente acoplados complexos.
• Mecanismo de Acionamento Térmico: A prova de que o calor sozinho pode sustentar ondas viajantes em fluidos viscosos incompressíveis é uma contribuição teórica importante, sugerindo novos mecanismos para a geração de fluxo em sistemas microfluídicos ou geofísicos onde gradientes térmicos são predominantes.
• Técnicas Analíticas: O desenvolvimento de uma teoria de símbolos de Fourier para sistemas acoplados com condições de contorno complexas (incluindo tensões de Marangoni) e a análise assintótica detalhada das EDOs associadas representam avanços técnicos significativos na análise de EDPs não lineares.

Em resumo, o artigo fornece uma fundamentação matemática rigorosa para a existência de ondas viajantes em fluidos condutores de calor com superfícies livres, demonstrando a viabilidade de tais fenômenos impulsionados puramente por efeitos térmicos e estabelecendo a estabilidade local dessas soluções sob perturbações pequenas.