Year: 2026
Type: preprint
Abstract: We present a formalization in Lean 4 of Mouhot and Villani's theorem on nonlinear Landau damping in $\mathbb T^d$ in all Gevrey regularity indices $s > 1/3$ for small backgrounds.
Source: arXiv (Cornell University)
Author: Bedrossian, Jacob
Institution: University of California, Los Angeles
Language: English
Subfield: Applied Mathematics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Funder: National Science Foundation
OpenAlex ID: W7213426850