The incompressible Navier-Stokes limit from the lattice BGK Boltzmann equation

Bartosz Protas; Makiko Sasada; Pritpal Matharu; Tsuyoshi Yoneda; Xin Hu; Zhongyang Gu

arxiv: 2407.20804 · v1 · submitted 2024-07-30 · 🧮 math.AP

The incompressible Navier-Stokes limit from the lattice BGK Boltzmann equation

Zhongyang Gu , Xin Hu , Pritpal Matharu , Bartosz Protas , Makiko Sasada , Tsuyoshi Yoneda This is my paper

Pith reviewed 2026-05-23 22:13 UTC · model grok-4.3

classification 🧮 math.AP

keywords incompressible Navier-Stokeshydrodynamic limitBGK Boltzmann equationlattice Boltzmannweak solutionsKnudsen numberdiscrete velocities

0 comments

The pith

A local weak solution to the incompressible Navier-Stokes equations arises as the hydrodynamic limit of a velocity-discretized Boltzmann equation with a simplified BGK collision operator.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs local weak solutions to the incompressible Navier-Stokes equations in any dimension d at least 2 by passing to the hydrodynamic limit in a lattice Boltzmann model. The model uses a finite set of particle velocities together with a simplified BGK collision operator, and the limit is taken as the Knudsen number approaches zero. In dimensions two and three the admissible velocity-probability combinations that recover the Navier-Stokes equations are fully characterized. Two-dimensional numerical tests supply information on the rate at which the limit is attained.

Core claim

A local weak solution to the d-dimensional incompressible Navier-Stokes equations (d ≥ 2) is obtained by taking the hydrodynamic limit of a velocity-discretized Boltzmann equation equipped with a simplified BGK collision operator. In the cases d = 2 and d = 3 the paper characterizes the finite sets of particle velocities and associated probabilities that permit this recovery of the Navier-Stokes equations.

What carries the argument

The hydrodynamic limit (Knudsen number to zero) applied to a velocity-discretized Boltzmann equation with simplified BGK collision operator, under admissible choices of discrete velocities and probabilities.

If this is right

Local weak solutions to the incompressible Navier-Stokes equations exist in every dimension d ≥ 2 via this construction.
In two and three dimensions only specific discrete velocity sets and probability weights yield the Navier-Stokes equations after the limit.
Numerical evidence in two dimensions indicates a concrete convergence rate as the Knudsen number tends to zero.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same limiting procedure could be tested on other discrete-velocity models to see whether additional fluid equations become recoverable.
The explicit characterization in low dimensions supplies a concrete test that future lattice Boltzmann schemes can be checked against before taking the continuum limit.

Load-bearing premise

The chosen finite set of particle velocities and probabilities must be such that the moment equations recover the incompressible Navier-Stokes system in the limit.

What would settle it

A velocity-probability set in two dimensions that violates the stated characterization yet still produces a Navier-Stokes limit under the same hydrodynamic scaling would falsify the characterization.

read the original abstract

In this paper, we prove that a local weak solution to the $d$-dimensional incompressible Navier-Stokes equations ($d \geq 2$) can be constructed by taking the hydrodynamic limit of a velocity-discretized Boltzmann equation with a simplified BGK collision operator. Moreover, in the case when the dimension is $d=2,3$, we characterize the combinations of finitely many particle velocities and probabilities that lead to the incompressible Navier-Stokes equations in the hydrodynamic limit. Numerical computations conducted in 2D provide information about the rate with which this hydrodynamic limit is achieved when the Knudsen number tends to zero.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Claims a hydrodynamic limit construction from discrete BGK Boltzmann to local weak solutions of incompressible NS, with velocity-probability characterization in d=2,3 and 2D numerics, but only the abstract is available so the proof cannot be checked.

read the letter

This paper claims to prove that local weak solutions to the d-dimensional incompressible Navier-Stokes equations (d ≥ 2) can be constructed by taking the hydrodynamic limit of a velocity-discretized Boltzmann equation with a simplified BGK collision operator. For d=2 and 3 they also characterize the finite sets of velocities and probabilities that recover the Navier-Stokes equations in the limit, and they include 2D numerical checks on the convergence rate as the Knudsen number tends to zero. The characterization of which discrete velocity-probability combinations work is the concrete new element here, and the numerics add practical information on rates that many pure existence proofs omit. The approach connects a specific kinetic model to the fluid equations in a way that could be useful if the details hold. The main limitation is that only the abstract is provided. There is no access to the actual proof, the precise assumptions on the velocity discretization, the convergence argument, or how the numerics are implemented, so it is impossible to verify soundness or spot any gaps in the reasoning. The abstract presents the result as a direct limit without obvious circularity, but that is all we have. If the full manuscript contains a complete and correct proof, this would be a useful contribution for researchers working on hydrodynamic limits between kinetic and fluid models. It is aimed at the mathematical fluid dynamics and kinetic theory community, where such constructions are of interest. I would bring the full paper to a reading group to examine the proof step by step. It deserves peer review because the claim is specific and the area is active, even if revisions turn out to be needed. I would not cite it until the complete argument is available and checked.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to prove that a local weak solution to the d-dimensional incompressible Navier-Stokes equations (d ≥ 2) can be constructed by taking the hydrodynamic limit of a velocity-discretized Boltzmann equation with a simplified BGK collision operator. For d=2,3 it characterizes the admissible finite sets of particle velocities and probabilities that recover the Navier-Stokes equations in the limit, and reports 2D numerical computations on the convergence rate as the Knudsen number tends to zero.

Significance. If the claimed proof is correct, the result would establish a rigorous hydrodynamic limit from a discrete-velocity BGK model to incompressible Navier-Stokes, offering a constructive approach to weak solutions and a characterization of admissible lattice velocities in low dimensions. The numerical evidence on convergence rates would provide practical insight into the limit process. These elements would be of interest to the kinetic theory and fluid dynamics communities, particularly for lattice Boltzmann methods.

major comments (1)

Abstract: the central claim asserts the existence of a complete proof of the hydrodynamic limit and a characterization of velocity-probability pairs, but the provided manuscript consists solely of the abstract with no derivations, assumptions on the velocity set, or convergence arguments available for inspection; this prevents verification of whether the mathematical details support the stated result.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We address the single major comment below by clarifying the availability of the full manuscript.

read point-by-point responses

Referee: Abstract: the central claim asserts the existence of a complete proof of the hydrodynamic limit and a characterization of velocity-probability pairs, but the provided manuscript consists solely of the abstract with no derivations, assumptions on the velocity set, or convergence arguments available for inspection; this prevents verification of whether the mathematical details support the stated result.

Authors: The full manuscript, including all derivations, assumptions on the velocity sets, convergence arguments, the characterization for d=2,3, and the 2D numerical results, is available on arXiv:2407.20804. The text supplied for this review appears limited to the abstract, but the complete paper on arXiv contains the detailed proofs and supporting material. We are prepared to supply specific excerpts or address targeted questions on the arguments if the referee has not yet accessed the full version. revision: no

Circularity Check

0 steps flagged

No circularity in abstract; derivation chain not visible

full rationale

Only the abstract is provided, which states a standard hydrodynamic limit result from a discretized BGK Boltzmann equation to incompressible Navier-Stokes without exhibiting any equations, parameter fits, or self-citations. No load-bearing steps can be quoted or shown to reduce by construction to inputs, self-definitions, or author-specific uniqueness claims. The claim is presented as a direct mathematical construction and characterization for d=2,3, with no evidence of renaming, smuggling ansatzes, or fitted predictions. This is the expected honest non-finding when the derivation is not inspectable.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters or invented entities; relies on standard mathematical assumptions in the field.

axioms (2)

domain assumption Existence of local weak solutions to Navier-Stokes under certain conditions
The construction relies on this background result in PDE theory.
standard math Standard properties of the BGK operator and hydrodynamic limits in kinetic theory
Invoked implicitly in the limit process.

pith-pipeline@v0.9.0 · 5610 in / 1146 out tokens · 29763 ms · 2026-05-23T22:13:14.194940+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

isotropic lattice ... n∑ wi=1, n∑ wivi,α=0, n∑ wivi,αvi,β=cs²δαβ, ... (4)
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

gεeq := ρε + vi·uε/cs² + ε/2cs⁴ ... (6); hydrodynamic limit ε→0

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.