The Spatial Hydrodynamic Attractor: Resurgence of the Gradient Expansion

This paper demonstrates that while the non-relativistic spatial gradient expansion in far-from-equilibrium kinetic systems is factorially divergent due to unbounded Galilean velocities, it remains strictly Borel summable and transforms into a convergent series with a finite radius of convergence when relativistic causality is enforced.

The Gist

The Big Picture: Predicting the Weather of Particles

Imagine you are trying to predict the weather. You have billions of tiny air molecules bouncing around. If you tried to track every single molecule, it would be impossible. Instead, meteorologists use fluid dynamics (hydrodynamics) to describe the air as a smooth, flowing substance (like wind or rain).

Usually, scientists get from "billions of bouncing balls" to "smooth wind" by using a mathematical shortcut called a gradient expansion. Think of this like zooming out on a camera. As you zoom out, the individual pixels (molecules) blur into a smooth picture (fluid).

The Problem: For a long time, scientists knew this zooming-out trick had a flaw. If you tried to calculate the picture using too many layers of detail (higher orders of the expansion), the math would explode. The numbers would get infinitely huge, and the series would never settle down. It was like trying to build a tower of blocks that keeps getting wobblier the higher you go, eventually toppling over.

This paper solves a specific mystery about how that tower falls and how to fix it, specifically looking at space (how things change from left to right) rather than time (how things change from second to second).

---

Analogy 1: The Infinite Library (The Divergence)

Imagine the mathematical series used to describe the fluid is a library of books.

• The Non-Relativistic Case (Normal Speed): In the non-relativistic world (where particles can go infinitely fast), the library has a problem. The books are written in a code where the numbers get bigger and bigger, faster than you can count.
  • Book 1: 1
  • Book 2: 2
  • Book 3: 6
  • Book 4: 24
  • ...and so on, multiplying by huge numbers every time.
  • If you try to read the whole library, you never finish because the numbers go to infinity. This is called factorial divergence.

The Old Belief: Scientists thought this meant the math was broken and useless.

The New Discovery: The author, Mahdi Kooshkbaghi, found a secret decoder ring. Even though the numbers get huge, they follow a very specific, alternating pattern (positive, negative, positive, negative).

• The Metaphor: Imagine a seesaw. One side goes up, the other goes down. Even if the seesaw is huge, if you know the exact rhythm of the up-and-down, you can predict exactly where the center point will land.
• The Solution: The author proved that this "spatial" math series is Borel summable. In plain English, this means: Even though the series looks like it's exploding, there is a precise mathematical way to "tame" the explosion and get a single, perfect, finite answer. The "attractor" (the true behavior of the fluid) is hidden inside the chaos, waiting to be unlocked.

Analogy 2: The Speed Limit (Relativity)

Now, let's look at the second part of the paper. Why does the math explode in the first place?

The Cause: In the non-relativistic world, particles can theoretically move at infinite speeds.

• The Metaphor: Imagine a race track where cars can accelerate to infinite speed. If you try to calculate the average speed of the crowd, a few cars going "infinite" will break your calculator. The "tail" of the speed distribution is unbounded.

The Fix: The author asks, "What if we put a speed limit on the universe?"

• In our real universe, nothing goes faster than the speed of light ($c$). This is relativistic causality.
• The Result: When the author applied this speed limit to the math, the "infinite speed" cars disappeared. The speed distribution was now cut off at the speed of light.
• The Magic: Suddenly, the math stopped exploding. The series didn't just become "tameable" (Borel summable); it became perfectly convergent. The numbers stopped growing forever and settled down naturally.
• The Lesson: The "broken" math of the non-relativistic world wasn't a fundamental flaw in physics; it was just an artifact of allowing particles to move faster than light. Once you enforce the cosmic speed limit, the math works perfectly without needing any special tricks.

---

The "Attractor" Concept

Throughout the paper, the author talks about a Hydrodynamic Attractor.

• The Metaphor: Imagine a river flowing through a canyon. No matter where you drop a leaf (whether it starts on a rock, in a whirlpool, or in the middle of the current), after a while, all leaves end up flowing in the same smooth path down the canyon.
• That smooth path is the Attractor.
• The paper proves that even if your starting point is chaotic (far from equilibrium), the system naturally collapses onto this smooth path. The author shows us exactly how to calculate that path using the "decoder ring" (Borel summation) for non-relativistic systems, and how the path becomes naturally smooth for relativistic systems.

Summary of Key Takeaways

1. The Series is Broken but Fixable: The math used to describe how fluids flow in space looks like it explodes (diverges), but it actually has a hidden order. It can be "resummed" to give the correct answer.
2. Why it Explodes: The explosion happens because non-relativistic physics allows particles to move infinitely fast.
3. The Speed Limit Saves the Day: If you enforce the speed of light (relativity), the math stops exploding entirely and becomes a perfect, converging series.
4. The Big Picture: This helps solve a century-old puzzle (Hilbert's 6th Problem) about how to rigorously turn the chaotic motion of individual atoms into the smooth laws of fluid dynamics. It suggests that hydrodynamics is a robust, universal truth that emerges from chaos, provided we know how to read the math correctly.

In a nutshell: The author found the "off-switch" for a mathematical explosion in fluid dynamics, showing that the universe's speed limit is the key to making the math work perfectly.

Technical Summary

1. Problem Statement

The paper addresses the mathematical validity and analytic structure of the spatial gradient expansion in kinetic theory, specifically within the context of the Bhatnagar-Gross-Krook (BGK) model.

• Context: Far-from-equilibrium kinetic systems are traditionally described by a hydrodynamic attractor, approximated via a gradient expansion (Chapman-Enskog expansion). While it is well-established that temporal gradient expansions are factorially divergent and non-Borel summable (requiring transseries completions), the analytic structure of spatial gradient expansions has remained elusive.
• The Issue: Spatial gradients often trigger ultraviolet pathologies, such as the Burnett instability, where low-order truncations of the expansion diverge at moderate wavenumbers.
• The Question: Is the spatial gradient series merely asymptotic like its temporal counterpart, or does it possess a different analytic structure that allows for a unique reconstruction of the hydrodynamic attractor?

2. Methodology

The author employs a combination of exact algebraic derivation, spectral analysis, and resummation techniques to analyze the one-dimensional BGK kinetic equation.

• Model Setup: The study starts with the non-dimensionalized BGK equation. The distribution function $f(x, v, t)$ is analyzed via its velocity moments $M_l$ and a generating function $Z(\lambda, x, t)$.
• Invariant Manifold Approach: The infinite hierarchy of moment equations is reduced to a single exact Ordinary Differential Equation (ODE) for a frequency function $\hat{\Omega}(\lambda, k^2)$ by imposing the dynamic invariance condition (macroscopic and microscopic time derivatives must agree).
• Exact Solution:
  • The ODE is transformed using a substitution to eliminate variable coefficients, reducing it to a constant-coefficient ODE.
  • The solution is expressed as a convolution with a Green's function, leading to an exact self-consistency condition (an integral equation) for the dispersion relation $\hat{\omega}(k)$.
• Coefficient Extraction: The Chapman-Enskog (CE) coefficients are derived exactly at all orders using Lagrange inversion on the implicit relation between the wavenumber $k$ and the frequency $\hat{\omega}$.
• Resurgence Analysis: The Borel transform of the resulting series is calculated to determine summability.
• Relativistic Extension: The analysis is repeated for the Anderson-Witting relativistic BGK model, where the velocity phase space is bounded by the speed of light ($v \in [-1, 1]$).

3. Key Contributions

A. Exact Closed-Form Coefficients

The paper derives exact, closed-form expressions for the Chapman-Enskog transport coefficients at all orders ($a_{2n}$).

• The coefficients are determined entirely by the equilibrium velocity moments.
• For the non-relativistic case, the coefficients are given by:
  $$a_{2n} = \frac{1}{n} [x^{n-1}] \left\{ F'(x) (1+F(x))^{-2n} \right\}$$
  where $F(x)$ involves the double factorial moments $(2m-1)!!$.

B. Proof of Strict Borel Summability

The author proves that while the non-relativistic spatial gradient series is factorially divergent ($a_{2n} \sim (-1)^n n! 2^n$), it is strictly Borel summable.

• Mechanism: The divergence originates from the unbounded velocity tail of the equilibrium Maxwellian distribution (an ultraviolet microscopic effect).
• Analytic Structure: The Borel transform of the series, $B[F](\sigma) = (1+2\sigma)^{-1/2} - 1$, possesses a singularity only at $\sigma = -1/2$ (on the negative real axis).
• Consequence: Because the singularity is not on the positive real axis (the integration contour for the Laplace transform), the series is unambiguously summable without the need for lateral contour deformation or transseries completion. This contrasts sharply with the temporal expansion, where singularities on the positive real axis necessitate transseries.

C. Resolution of the Burnett Instability

The paper demonstrates that the "Burnett instability" (divergence of low-order truncations) is not a fundamental pathology of hydrodynamics but an artifact of truncating an alternating, divergent series.

• Borel-Padé Resummation: When the divergent CE series is resummed using Borel-Padé techniques, it exactly reconstructs the non-perturbative hydrodynamic attractor, matching the exact solution derived from the invariant manifold.

D. Relativistic Causality Cures Divergence

The study shows that imposing relativistic causality (bounding velocities by the speed of light) fundamentally alters the convergence properties.

• In the relativistic BGK model, the velocity moments $\mu_{2m}$ are bounded ($\mu_{2m} \leq 1$) rather than growing factorially.
• This results in a series $F_{rel}(x)$ with a strictly non-zero radius of convergence.
• Result: The spatial gradient expansion in the relativistic case is strictly convergent, eliminating the need for resummation techniques.

4. Results

1. Non-Relativistic Case:

   • The spatial gradient series diverges factorially ($|a_{2n}| \sim n! 2^n$).
   • The series is strictly Borel summable.
   • Finite-order truncations (e.g., CE2, CE4) fail at moderate wavenumbers, but the Borel-resummed series recovers the exact attractor.
   • The spectral polynomials $P_n(\hat{\omega}, k^2)$ converge to the attractor as the truncation order $n$ increases.

2. Relativistic Case:

   • The bounded velocity support ($v \in [-1, 1]$) ensures the coefficients do not grow factorially.
   • The series possesses a finite radius of convergence.
   • The hydrodynamic expansion is valid without resummation.

3. Comparison with Temporal Expansion:

   • Temporal: Divergent, non-Borel summable (singularities on positive real axis), requires transseries.
   • Spatial (Non-relativistic): Divergent, strictly Borel summable (singularities on negative real axis), requires no transseries.
   • Spatial (Relativistic): Convergent.

5. Significance

• Unifying Picture of Hydrodynamic Attractors: The paper suggests a unified framework where hydrodynamic attractors exist regardless of the divergence of the gradient series. Whether temporal or spatial, the attractor is the unique non-perturbative manifold defined by the invariant manifold condition.
• Resolution of Hilbert's Sixth Problem: The work provides a rigorous pathway from kinetic theory to hydrodynamics that does not rely on the convergence of the perturbation series. It proposes that Borel resummation of factorially divergent series is the correct non-perturbative method to derive hydrodynamics from kinetics.
• Physical Interpretation of Instabilities: It reinterprets the Burnett instability not as a failure of hydrodynamics, but as a truncation artifact of an alternating divergent series that is fully resolvable via resurgence theory.
• Role of Causality: It highlights that relativistic causality is not just a physical constraint but a mathematical necessity that can cure the divergence of gradient expansions, yielding a strictly convergent theory.

In summary, the paper establishes that the spatial hydrodynamic attractor is robust and mathematically well-defined, accessible via Borel resummation in the non-relativistic limit and via direct convergence in the relativistic limit.