Molecular Seeds of Shear: An operator-level necessity result for first-order Chapman-Enskog deviatoric stress

TL;DR

This paper establishes a precise operator-level condition linking the first Chapman--Enskog correction to the emergence of deviatoric stress in kinetic systems, resolving a longstanding gap in the kinetic-to-continuum transition theory.

Contribution

It provides a rigorous necessity theorem showing that nonzero first-order correction is required for first-order deviatoric stress to appear in the hydrodynamic limit, under explicit functional-analytic hypotheses.

Findings

Proves that zero first-order correction implies no first-order deviatoric stress.

Identifies the moment-to-stress operator and bounds the remainder contributions.

Verifies the theory with a BGK model example.

Abstract

A new operator-level necessity result for the Chapman--Enskog expansion is established: in closed and unforced kinetic systems, the $O(\varepsilon)$ deviatoric stress arises if and only if the first Chapman--Enskog correction $f^{(1)}$ is nonzero. This resolves a gap in the classical kinetic-to-continuum literature, where the presence of first-order deviatoric stress is typically assumed or derived formally but not shown to be necessary under explicit functional-analytic hypotheses. Under precise nullspace structure, coercivity or quantitative hypocoercivity, and Fredholm solvability of the linearized collision operator--together with uniform $O(\varepsilon^2)$ remainder control--a sharp necessity theorem (Theorem 6.1) is proved: if $f^{(1)}\equiv 0$, then no $O(\varepsilon)$ deviatoric stress can appear in the hydrodynamic limit. The argument identifies the bounded mapping \[ f^{(0)} \mapsto f^{(1)} = -L^{-1}(\partial_t^{(0)} + v \cdot \nabla_x) f^{(0)}, \] and the induced moment-to-stress operator, and shows how remainder bounds preclude hidden $O(\varepsilon)$ contributions. A worked BGK example verifies the construction, transport coefficients, and operator constants. Detailed assumptions and analytic estimates are provided in Section 4 and Appendix A. The discussion concludes by describing how microscopic seeds (deterministic or finite-$N$) can project into macroscopic amplification channels relevant for transition and turbulence.