On the continuous properties for the 3D incompressible rotating Euler equations

Resumo Técnico: Propriedades de Continuidade para as Equações de Euler 3D Incompressíveis com Força de Coriolis

Autores: Jinlu Li, Yanghai Yu e Neng Zhu.
Data: 26 de março de 2026 (arXiv:2503.05069v2).

1. O Problema

O artigo investiga o problema de Cauchy para as equações de Euler tridimensionais (3D) para fluidos incompressíveis perfeitos, incluindo o efeito da força de Coriolis, no espaço todo ($\mathbb{R}^3$). O sistema é descrito por:
$$\begin{cases} \partial_t u + \Omega e_3 \times u + u \cdot \nabla u + \nabla P = 0, \\ \text{div } u = 0, \\ u(0, x) = u_0(x), \end{cases}$$
onde $u$ é o campo de velocidade, $P$ a pressão escalar, $\Omega$ o parâmetro de Coriolis (velocidade de rotação em torno do vetor unitário vertical $e_3$) e $e_3 \times u$ representa o termo de Coriolis.

O objetivo central é analisar a bem-posedness (bem-postura) do problema no sentido de Hadamard, especificamente focando nas propriedades de continuidade da aplicação dados-solução ($u_0 \mapsto S_t(u_0)$) em espaços de Besov não homogêneos $B^s_{p,r}(\mathbb{R}^3)$. O estudo busca determinar se a dependência dos dados iniciais é uniforme e se a solução possui regularidade de Hölder em relação ao tempo.

2. Metodologia

Os autores utilizam uma abordagem baseada na teoria de espaços de funções (espaços de Besov) e análise harmônica, combinada com técnicas de construção de contraexemplos específicos.

• Existência Local e Unicidade: Para o Teorema 1.1, a existência e unicidade são estabelecidas seguindo a teoria padrão para equações de Euler (sem Coriolis), aproveitando o fato de que o termo de Coriolis é linear e não afeta a estrutura hiperbólica simétrica localmente para os índices de regularidade considerados ($s > 3/p + 1$).
• Construção de Dados Iniciais Específicos: Para provar a má-postura (ill-posedness), os autores constroem sequências de dados iniciais de alta frequência e baixa frequência.
  • Utilizam funções de onda localizadas no espaço de Fourier (baseadas em transformadas de Fourier de funções suaves $\phi$ e $\theta$) com frequências escaladas por potências de 2 ($2^n$).
  • Definem dados iniciais $f_n$ (alta frequência) e $g_n$ (baixa frequência) projetados para explorar a não-linearidade do termo convectivo $u \cdot \nabla u$.
• Análise de Perturbação:
  • Decompõem a diferença entre a solução exata e a aproximação linear (ou dados iniciais) em termos de ordem superior.
  • Utilizam estimativas de comutadores e leis de produto em espaços de Besov para controlar os termos de erro.
  • Demonstram que, embora a diferença inicial seja pequena, a evolução não-linear gera uma divergência significativa em componentes específicas da solução em tempos curtos.
• Técnicas de Decomposição de Littlewood-Paley: O uso intensivo de blocos dyádicos ($\Delta_j$) permite isolar as interações de frequência que levam à perda de regularidade ou à descontinuidade.

3. Contribuições Principais e Resultados

O artigo apresenta quatro teoremas principais que estabelecem a natureza "mal-posta" (ill-posed) do sistema em certos sentidos, mesmo que a existência local seja garantida.

• Teorema 1.1 (Existência Local): Estabelece a existência e unicidade local de soluções no espaço $B^s_{p,r}(\mathbb{R}^3)$ para $s > 3/p + 1$ (ou casos críticos específicos). A solução depende continuamente dos dados iniciais no sentido pontual, mas não uniformemente.
• Teorema 1.2 (Não-Uniformidade da Dependência):
  • Resultado: A aplicação dados-solução não é uniformemente contínua em subconjuntos limitados de $B^s_{p,r}$.
  • Mecanismo: Existem duas sequências de dados iniciais $u_{0,n}$ e $v_{0,n}$ que convergem uma para a outra na norma de Besov, mas as soluções correspondentes $S_t(u_{0,n})$ e $S_t(v_{0,n})$ se afastam linearmente no tempo (na segunda componente da velocidade) em qualquer intervalo de tempo $[0, T]$.
  • Inovação: Estende o trabalho seminal de Himonas-Misiołek (2010) para o contexto mais geral de espaços de Besov e para o sistema com força de Coriolis.
• Teorema 1.3 (Falha de Regularidade de Hölder):
  • Resultado: Para qualquer expoente $\alpha \in (0, 1)$, existe um dado inicial $u_0 \in B^s_{p,r}$ tal que a solução não é Hölder contínua em relação ao tempo.
  • Mecanismo: O limite superior de $\|S_t(u_0) - u_0\|_{B^s_{p,r}} / t^\alpha$ tende a infinito quando $t \to 0^+$.
  • Significância: Este é o primeiro trabalho a abordar a falha da continuidade de Hölder no tempo para as equações de Euler clássicas (com ou sem Coriolis).
• Teorema 1.4 (Descontinuidade em Espaços Mais Fracos):
  • Resultado: No espaço de Besov mais fraco $B^s_{p,\infty}$, a aplicação dados-solução é descontínua no tempo $t=0$.
  • Implicação: O problema é mal-posto no sentido de Hadamard nesses espaços específicos, pois a solução não depende continuamente dos dados iniciais no instante inicial.

4. Significância e Impacto

• Generalização do Modelo de Coriolis: O trabalho confirma que a presença da força de Coriolis, embora introduza efeitos dispersivos que podem estabilizar soluções globalmente em regimes de rotação rápida, não restaura a bem-postura uniforme ou a regularidade de Hölder em espaços de Sobolev/Besov críticos para a existência local. A estrutura não-linear hiperbólica domina o comportamento local.
• Limites da Teoria de Equações Hiperbólicas: Os resultados reforçam a delicadeza da dependência contínua em sistemas hiperbólicos simétricos (como Euler e Burgers), mostrando que a continuidade da aplicação dados-solução é, na melhor das hipóteses, não-uniforme e não Hölder.
• Avanço Metodológico: A construção de dados iniciais específicos que exploram a interação entre a dispersão de Coriolis e a não-linearidade convectiva oferece novas ferramentas para analisar a estabilidade de sistemas de fluidos rotativos.
• Abertura para Futuras Pesquisas: Os autores sugerem que, para os casos extremos $p=1$ ou $p=\infty$, o efeito dispersivo da rotação pode impedir a bem-postura devido à falta de limitação do transformado de Riesz nesses espaços, um problema que permanece em aberto e é alvo de investigações futuras.

Em resumo, o artigo demonstra que, embora as equações de Euler rotativas tenham soluções locais únicas, a dependência desses dados iniciais é extremamente instável (não uniforme e não Hölder), o que tem implicações profundas para a previsibilidade numérica e teórica de grandes escoamentos atmosféricos e oceânicos modelados por essas equações.