The Euler Ensemble as a Turbulent Attractor: Parity Sectors, Zero Modes, and a Zeta Edge

Resumo Técnico: O Ensemble de Euler como um Atrator Turbulento

Enunciado do Problema
Este artigo aborda a estabilidade de Lyapunov dos ensembles de Euler finitos, que são propostos como pontos fixos aritméticos compactos da equação de loop de momento reescalada para a turbulência de Navier-Stokes incompressível em decaimento livre. A questão central é se esses ensembles, derivados da evolução estatística exata das equações de Navier-Stokes, constituem atratores turbulentos estáveis no limite contínuo. Especificamente, o trabalho investiga o espectro de expoentes de Lyapunov para perturbações lineares em torno desses pontos fixos para determinar se o estado turbulento é estável, instável ou marginalmente estável.

Metodologia
A análise procede através de uma redução rigorosa do problema da dinâmica de fluidos para um problema espectral aritmético:

1. Representação de Loop de Momento: O estudo utiliza a formulação de espaço de loop da turbulência de Navier-Stokes, onde a evolução estatística é codificada em um funcional de loop de circulação $\Psi(C, t)$. Este é mapeado para uma representação de loop de momento envolvendo um loop de momento unidimensional $P_\alpha(\theta, t)$.
2. Subvariedade Invariante: A análise restringe a dinâmica a uma subvariedade esférica invariante compacta definida pela condição $P^2_{k+1} = P^2_k$. Nesta subvariedade, o termo de advecção Euleriana cancela-se identicamente, e a equação de loop de momento reduz-se algebricamente a uma forma solucionável.
3. Reescalonamento e Linearização: A solução de Euler em decaimento é reescalonada usando $\tau = \log(\nu(t+t_0))$ para transformar a solução dependente do tempo em um ponto fixo de uma dinâmica autônoma. Perturbações lineares $F_k = f_k + \xi_k e^{\lambda \tau}$ são introduzidas para definir os expoentes de Lyapunov $\lambda$.
4. Redução Aritmética: O problema espectral tangencial de $N$ finito é mostrado como sendo exatamente solucionável. A história completa de Ising do sistema ($\sigma_k = \pm 1$) entra na condição de estabilidade unicamente através do número de enrolamento de fechamento $qr = \sum \sigma_k$. Isso reduz a análise de estabilidade a um problema aritmético sobre ângulos racionais reduzidos $p/q$ e setores de enrolamento $r$.
5. Setores de Paridade e Funções de Partição: A restrição de paridade $N - qr \equiv 0 \pmod 2$ é usada para classificar o limite contínuo em três setores locais distintos. As funções de partição $Z_o(N)$, $Z_{e,0}(N)$ e $Z_{e,\ast}(N)$ são analisadas para determinar o peso relativo desses setores.
6. Perturbações Transversais: Para dimensões $d > 2$, perturbações transversais são analisadas em ordens linear e quadrática para determinar se geram deslocamentos espectrais ou se atuam como modos nulos.

Contribuições Principais e Resultados

• Três Setores Locais: O limite contínuo não é descrito por um único ensemble de Euler, mas divide-se em três setores baseados em paridade e enrolamento:

  1. $E_o$ (Ensemble Ímpar): $N$ é ímpar, implicando que $q$ e $r$ são ímpares. O setor de enrolamento zero $r=0$ é excluído pela paridade.
  2. $E_{e,0}$ (Setor Par de Enrolamento Zero): $N$ é par e $r=0$. Este setor é um modo nulo discreto singular. Sua função de partição é aumentada em relação ao setor par perfurado por um fator de ordem $N$ ($Z_{e,0}/Z_{e,\ast} \sim 3N/\pi^2$).
  3. $E_{e,\ast}$ (Setor Par Perfurado): $N$ é par, mas o setor $r=0$ é removido por condicionamento.

• Estabilidade do Setor Par de Enrolamento Zero ($E_{e,0}$):
  Neste setor, o ângulo espectral não é quantizado. O espectro tangencial forma uma curva contínua $\lambda(\vartheta; p, q)$ que contém expoentes de Lyapunov positivos. Consequentemente, o ensemble par de enrolamento zero é liapunovmente instável.

• Estabilidade Marginal de $E_o$ e $E_{e,\ast}$:
  Em ambos os ensembles (ímpar e o setor par perfurado), o ângulo espectral permanece quantizado ($\vartheta_n = \pi n / rq$).

  • Para qualquer rótulo espectral não nulo $n$ fixo, a lei de autovalores normalizada colapsa fracamente para uma função delta em zero: $\rho^{(N)}_n \Rightarrow \delta_0$.
  • Estes setores são marginalmente estáveis (o espectro concentra-se em $\lambda=0$, não estritamente negativo).
  • Autovalores positivos finitos não desaparecem pontualmente, mas sobrevivem apenas como uma "borda aritmética de peso evanescente". No setor ímpar, os momentos positivos desta borda escalam como $M_{s,+} \sim \sqrt{\frac{\pi}{2N}} |n|^s \zeta(s)$ para $s > 1$, ligando a borda de estabilidade diretamente à função zeta de Riemann.

• Modos Transversais:
  Em dimensões $d > 2$, perturbações transversais são modos nulos em ordem linear ($\lambda_\perp = 0$).

  • No setor instável $E_{e,0}$, a obstrução quadrática é uma restrição genuína governada por uma forma quadrática indefinida.
  • Nos setores marginais ($E_o$ e $E_{e,\ast}$), a obstrução quadrática é absorvida por uma correção radial $c^*[\rho]$, não deixando nenhum deslocamento espectral quadrático. Assim, o setor transversal atua como uma variedade central neutra até esta ordem.

Significância e Alegações
O artigo afirma fornecer uma solução número-teórica exata e determinística para o atrator turbulento, contrastando com a visão tradicional da turbulência como pura amplificação de ruído caótico. A principal significância reside na classificação rigorosa do limite contínuo de Euler:

1. Não-Unicidade: O atrator turbulento não é único; ele existe em duas variações estáveis (o ensemble ímpar e o ensemble par perfurado) e uma variação instável (o ensemble par de enrolamento zero).
2. Controle Aritmético: A estabilidade do atrator é controlada não por um continuum suave de modos, mas pela estrutura aritmética dos setores de enrolamento racional. A "borda" do espectro é governada pela função zeta de Riemann e pelos totientes de Jordan.
3. Marginalidade: Os atratores estáveis são "marginais", o que significa que seu espectro de Lyapunov colapsa para zero em vez de ser estritamente negativo. Isso sugere um tipo específico de estabilidade onde autovalores positivos finitos existem apenas como uma borda aritmética evanescente.

Os autores enfatizam que a realização física de qualquer setor marginal depende de seleção dinâmica e preparação estatística inicial, não meramente do cálculo de Lyapunov de modo fixo. O trabalho reformula o problema da turbulência como um colapso espectral aritmético, oferecendo um arcabouço matematicamente exato para o estado estatístico tardio da turbulência em decaimento.