Support growth of vorticity for bi-rotational Euler flows in high dimensions

Resumo Técnico: Suporte ao Crescimento da Vorticidade para Fluxos de Euler Bi-rotacionais em Altas Dimensões

Enunciado do Problema
Este artigo investiga as equações de Euler incomprimíveis em altas dimensões ($d \ge 4$) sob uma restrição de simetria específica conhecida como simetria bi-rotacional sem redemoinho (swirl). Os autores consideram soluções onde o campo de velocidade é invariante sob rotações que fixam ou os primeiros $n+1$ coordenadas ou as últimas $m+1$ coordenadas (onde $d = n + m + 2$), e o vetor velocidade reside inteiramente no subespaço gerado pelos vetores unitários radiais desses dois subespaços.

O objetivo primário é analisar o comportamento de longo prazo do suporte da vorticidade para dados iniciais do tipo "patch" (mancha). Especificamente, os autores buscam determinar se o diâmetro do suporte da vorticidade permanece limitado ou cresce indefinidamente ao longo do tempo. Embora a bem-postura global seja conhecida para certas classes de dados em $d=4$, o comportamento para $d \ge 5$ e a dinâmica específica de soluções de patch em dimensões mais altas permanecem menos compreendidos.

Metodologia e Formulação Matemática
O estudo reduz o sistema de Euler completo de $d$ dimensões a uma equação de advecção escalar ao explorar a simetria bi-rotacional.

1. Redução de Coordenadas: Usando coordenadas bi-polares $(r, s)$, onde $r$ e $s$ representam os raios nos dois subespaços ortogonais, o campo de velocidade é expresso como $v = u_r e_r + u_s e_s$.
2. Vorticidade Escalar: O tensor de vorticidade $\omega$ reduz-se a uma função escalar $w(r, s)$ (salvo um fator geométrico). As equações de Euler transformam-se em uma equação de transporte para a quantidade $w/(r^n s^m)$:
   $$\partial_t \left( \frac{w}{r^n s^m} \right) + (u_r \partial_r + u_s \partial_s) \left( \frac{w}{r^n s^m} \right) = 0$$
   Os componentes da velocidade $(u_r, u_s)$ são recuperados de $w$ via uma função de fluxo $\psi$ que satisfaz uma equação de operador elíptico específica envolvendo o Laplaciano em um espaço de maior dimensão ($\mathbb{R}^{n+3} \times \mathbb{R}^{m+3}$).
3. Soluções de Patch: Os autores focam em dados iniciais onde $w/(r^n s^m)$ é a função indicadora de um conjunto aberto limitado $\Omega_0$ separado dos eixos ($r=0, s=0$). A evolução do suporte $\Omega_t$ é governada pelo mapa de fluxo gerado pelo campo de velocidade.

Principais Contribuições e Resultados

• Bem-postura Local (Teorema 1.1): O artigo estabelece a existência e unicidade local no tempo de soluções para dados iniciais do tipo patch. A solução mantém a estrutura de patch $w(t) = r^n s^m \mathbf{1}_{\Omega_t}$ enquanto o suporte permanecer limitado. Um critério de explosão (blow-up) é derivado: a solução existe globalmente se, e somente se, o diâmetro do suporte $L(t) = R(t) + S(t)$ permanecer finito.
• Crescimento Infinito do Suporte (Teorema 1.2): O resultado central demonstra que, para qualquer dado inicial do tipo patch que satisfaça a condição de separação, o diâmetro do suporte $L(t)$ cresce sem limite ao longo de uma sequência de momentos temporais. Especificamente:
  $$\sup_{t \in [0, T_{\max})} L(t) = +\infty$$
  Isso ocorre mesmo se o tempo de existência máxima $T_{\max}$ for infinito (ou seja, não ocorre explosão de norma de tempo finito).
• Mecanismo de Crescimento: A prova baseia-se em um argumento de contradição envolvendo impulsos (momentos ponderados) da vorticidade. Os autores definem o impulso-$r$, $P^r(t)$, e o impulso-$s$, $P^s(t)$. Eles mostram que $P^r(t)$ é não-decrescente e sua derivada temporal é estritamente positiva, impulsionada pela componente de velocidade $u_s$ próximo ao eixo $s=0$. Ao estimar o limite inferior do núcleo de velocidade (especificamente $\partial_s \psi$ em $s=0$) e utilizar a conservação da massa e a natureza não-crescente de $P^s(t)$, eles provam que assumir um suporte limitado leva a uma contradição com o crescimento de $P^r(t)$.

Significância e Alegações
Os autores posicionam este trabalho como o primeiro resultado demonstrando o crescimento infinito do suporte para soluções de Euler bi-rotacionais.

• Contraste com Fluxos Axissimétricos: Enquanto trabalhos recentes sobre fluxos axissimétricos de alta dimensão (invariantes sob rotação em torno de um único eixo) forneceram limites inferiores quantitativos para o crescimento do suporte, o caso bi-rotacional apresenta dificuldades distintas. O núcleo de velocidade no cenário bi-rotacional não pode ser representado pelas integrais elípticas disponíveis no caso axissimétrico, necessitando de uma abordagem analítica diferente.
• Limitações: O artigo nota explicitamente que a prova de crescimento infinito é não-construtiva (baseada em contradição) e não fornece informações detalhadas sobre a forma, perímetro ou curvatura do patch conforme $t \to \infty$. Além disso, os autores afirmam que não foram capazes de provar que a norma $L^\infty$ da vorticidade $\|w(t)\|_{L^\infty}$ diverge conforme $t \to \infty$, pois o fator geométrico $r^n s^m$ poderia potencialmente decair ao longo das trajetórias de fluxo, mesmo que o suporte cresça.
• Contexto: O estudo conecta-se às "equações de lago" (lake equations) com profundidade $d(r,s) = r^n s^m$ e movimentos de vórtices pontuais estudados em literaturas anteriores (Khesin–Yang, Yang), estendendo a análise de vórtices pontuais para patches de tamanho finito.

Em resumo, o artigo prova rigorosamente que, para fluxos de Euler bi-rotacionais em dimensões $d \ge 4$, as vorticidades do tipo patch não podem permanecer confinadas em uma região limitada indefinidamente, estabelecendo uma propriedade dinâmica fundamental destes sistemas fluídos de alta dimensão.