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

Resumen Técnico: El Conjunto de Euler como un Atractor Turbulento

Planteamiento del Problema
Este artículo aborda la estabilidad de Lyapunov de los conjuntos de Euler finitos, los cuales se proponen como puntos fijos aritméticos compactos de la ecuación de bucle de momento reescalada para la turbulencia de Navier-Stokes incompresible en decaimiento libre. La cuestión central es si estos conjuntos, derivados de la evolución estadística exacta de las ecuaciones de Navier-Stokes, constituyen atractores turbulentos estables en el límite continuo. Específicamente, el trabajo investiga el espectro de exponentes de Lyapunov para perturbaciones linealizadas alrededor de estos puntos fijos para determinar si el estado turbulento es estable, inestable o marginalmente estable.

Metodología
El análisis procede mediante una reducción rigurosa del problema de la dinámica de fluidos a un problema espectral aritmético:

1. Representación de Bucle de Momento: El estudio utiliza la formulación de espacio de bucles de la turbulencia de Navier-Stokes, donde la evolución estadística se codifica en un funcional de bucle de circulación $\Psi(C, t)$. Este se mapea a una representación de bucle de momento de un solo lazo $P_\alpha(\theta, t)$.
2. Subvariedad Invariante: El análisis restringe la dinámica a una subvariedad esférica invariante compacta definida por la condición $P^2_{k+1} = P^2_k$. En esta subvariedad, el término de advección Euleriana se cancela identicamente, y la ecuación del bucle de momento se reduce a una forma algebraica resoluble.
3. Reescalado y Linealización: La solución de Euler en decaimiento se reescala utilizando $\tau = \log(\nu(t+t_0))$ para transformar la solución dependiente del tiempo en un punto fijo de una dinámica autónoma. Se introducen perturbaciones lineales $F_k = f_k + \xi_k e^{\lambda \tau}$ para definir los exponentes de Lyapunov $\lambda$.
4. Reducción Aritmética: Se demuestra que el problema espectral tangencial de $N$ finito es exactamente resoluble. La historia completa de Ising del sistema ($\sigma_k = \pm 1$) entra en la condición de estabilidad únicamente a través del número de giro de cierre $qr = \sum \sigma_k$. Esto reduce el análisis de estabilidad a un problema aritmético sobre ángulos racionales reducidos $p/q$ y sectores de giro $r$.
5. Sectores de Paridad y Funciones de Partición: La restricción de paridad $N - qr \equiv 0 \pmod 2$ se utiliza para clasificar el límite continuo en tres sectores locales distintos. Las funciones de partición $Z_o(N)$, $Z_{e,0}(N)$ y $Z_{e,\ast}(N)$ se analizan para determinar el peso relativo de estos sectores.
6. Perturbaciones Transversales: Para dimensiones $d > 2$, las perturbaciones transversales se analizan en órdenes lineales y cuadráticos para determinar si generan desplazamientos espectrales o actúan como modos cero.

Contribuciones Clave y Resultados

• Tres Sectores Locales: El límite continuo no es descrito por un único conjunto de Euler, sino que se divide en tres sectores basados en la paridad y el giro:

  1. $E_o$ (Conjunto Impar): $N$ es impar, lo que implica que $q$ y $r$ son impares. El sector de giro cero $r=0$ queda excluido por paridad.
  2. $E_{e,0}$ (Sector de Giro Cero Par): $N$ es par y $r=0$. Este sector es un modo cero discreto singular. Su función de partición está aumentada respecto al sector par perforado por un factor de orden $N$ ($Z_{e,0}/Z_{e,\ast} \sim 3N/\pi^2$).
  3. $E_{e,\ast}$ (Sector Par Perforado): $N$ es par, pero el sector $r=0$ ha sido removido mediante condicionamiento.

• Estabilidad del Sector de Giro Cero Par ($E_{e,0}$):
  En este sector, el ángulo espectral no está cuantizado. El espectro tangencial forma una curva continua $\lambda(\vartheta; p, q)$ que contiene exponentes de Lyapunov positivos. Por consiguiente, el conjunto de giro cero par es Lieputmente inestable.

• Estabilidad Marginal de $E_o$ y $E_{e,\ast}$:
  En ambos conjuntos, el impar y el par perforado, el ángulo espectral permanece cuantizado ($\vartheta_n = \pi n / rq$).

  • Para cualquier etiqueta espectral no nula $n$ fija, la ley de la distribución de valores normalizada colapsa débilmente a una función delta en cero: $\rho^{(N)}_n \Rightarrow \delta_0$.
  • Estos sectores son marginalmente estables (el espectro se concentra en $\lambda=0$, no estrictamente en negativo).
  • Los valores propios positivos finitos no desaparecen puntualmente, sino que sobreviven solo como un "borde aritmético de peso evanescente". En el conjunto impar, los momentos positivos de este borde escalan como $M_{s,+} \sim \sqrt{\frac{\pi}{2N}} |n|^s \zeta(s)$ para $s > 1$, vinculando el borde de estabilidad directamente con la función zeta de Riemann.

• Modos Transversales:
  En dimensiones $d > 2$, las perturbaciones transversales son modos cero en orden lineal ($\lambda_\perp = 0$).

  • En el sector inestable $E_{e,0}$, la obstrucción cuadrática es una restricción genuina gobernada por una forma cuadrática indefinida.
  • En los sectores marginales ($E_o$ y $E_{e,\ast}$), la obstrucción cuadrática es absorbida por una corrección radial $c^*[\rho]$, sin dejar desplazamiento espectral cuadrático. Así, el sector transversal actúa como un centro de variedad neutra hasta este orden.

Significado y Reivindicaciones
El artículo afirma proporcionar una solución número-teórica exacta y determinista para el atractor turbulento, contrastando con la visión tradicional de la turbulencia como pura amplificación de ruido caótico. La principal significación radica en la clasificación rigurosa del límite continuo de Euler:

1. No Unicidad: El atractor turbulento no es único; existe en dos variaciones estables (el conjunto impar y el conjunto par perforado) y una variación inestable (el conjunto de giro cero par).
2. Control Aritmético: La estabilidad del atractor está controlada no por un continuo suave de modos, sino por la estructura aritmética de los sectores de giro racional. El "borde" del espectro está gobernado por la función zeta de Riemann y los topos de Jordan.
3. Marginalidad: Los atractores estables son "marginales", lo que significa que su espectro de Lyapunov colapsa hacia cero en lugar de ser estrictamente negativo. Esto sugiere un tipo específico de estabilidad donde los valores propios positivos finitos existen solo como un borde aritmético evanescente.

Los autores enfatizan que la realización física de cualquiera de los sectores marginales depende de la selección dinámica y la preparación estadística inicial, no meramente del cálculo de Lyapunov de modo fijo. El trabajo redefine el problema de la turbulencia como un colapso espectral aritmético, ofreciendo un marco matemáticamente exacto para el estado estadístico tardío de la turbulencia en decaimiento.