Fractional diffusion as the limit of a short range potential Rayleigh gas
Karsten Matthies, Theodora Syntaka
TL;DR
The paper rigorously derives a fractional diffusion equation as the hydrodynamic limit of a deterministic Rayleigh gas with a short-range potential in three dimensions. It uses a Boltzmann-Grad scaling with a Poisson background having a fat-tailed velocity distribution and leverages collision-tree semigroup methods to control empirical dynamics and compare them to a linear Boltzmann equation. A Carleman representation and Mellet-type hydrodynamic limit are employed to translate the high-velocity tail into a nonlocal diffusion operator, yielding a fractional diffusion equation of order $\gamma$ on time scales where $cT$ grows like a negative power of the small parameter. The analysis provides quantitative error bounds over extended times and verifies the necessary assumptions to pass from Boltzmann to fractional diffusion, linking micro-scale deterministic dynamics to nonlocal macro-scale transport. This work advances the understanding of nonlocal diffusion arising from deterministic particle systems with heavy-tailed backgrounds.
Abstract
The fractional diffusion equation is rigorously derived as a scaling limit from a deterministic Rayleigh gas, where particles interact via short range potentials with support of size $\varepsilon$ and the background is distributed in space $\mathbb{R}^3$ according to a Poisson process with intensity $N$ and in velocity according to some fat-tailed distribution. As an intermediate step a linear Boltzmann equation is obtained in the Boltzmann-Grad limit as $\varepsilon$ tends to zero and $N$ tends to infinity with $N \varepsilon^2 =c$. The convergence of the empiric particle dynamics to the Boltzmann-type dynamics is shown using semigroup methods to describe probability measures on collision trees associated to physical trajectories in the case of a Rayleigh gas. The fractional diffusion equation is a hydrodynamic limit for times $t \in [0,T]$, where $T$ and inverse mean free path $c$ can both be chosen as some negative rational power $\varepsilon^{-k}$.
