Grad-Caflisch pointwise decay estimates revisited

TL;DR

This paper revisits and rigorously proves pointwise decay estimates for the inverse linearized Boltzmann operator, extending Grad's polynomial decay to exponential decay for certain collision kernels, with applications to fluid limits.

Contribution

It provides a full proof of Caflisch-Grad decay estimates without derivatives for specific collision kernels and analyzes commutator estimates in fluid limit applications.

Findings

Extended decay estimates to exponential type for -3/2<γ≤1

Proved pointwise estimates without derivatives for certain kernels

Analyzed commutator estimates in fluid limit context

Abstract

In the influential paper \cite{Caflish-1980-CPAM} which was the starting point of the employment of Hilbert expansion method to the rigorous justifications of the fluid limits of the Boltzmann equation, Caflisch discovered an elegant and crucial estimate on each expansion term (Proposition 3.1 in \cite{Caflish-1980-CPAM}). The proof essentially relied on an estimate of Grad \cite{Grad-1963}, which was on the pointwise decay properties of $\mathcal{L}^{-1}$, the pseudo-inverse operator of the linearized Boltzmann collision operator $\mathcal{L}$, for the hard potential collision kernel, i.e. the power $0\leq \gamma\leq 1$. Caflisch's arguments need the exponential version of Grad's estimate. However, Grad's original paper was only on the polynomial decay. In this paper, we revisit and provide a full proof of the Caflisch-Grad type decay estimates and the corresponding applications in the compressible Euler limit of the Boltzmann equaiton. The main novelty is that for the case collision kernel power $-\frac{3}{2}<\gamma\leq 1$, the proof of the pointwise estimate does not use any derivatives. So the potential applications of this estimate could be wider than in the Hilbert expansion. For the completeness of the result, we also prove the almost everywhere pointwise estimate using derivatives for the case $-3<\gamma\leq -\frac{3}{2}$. Furthermore, in the application to fluid limits, $\mathcal{L}^{-1}$ and the derivatives with respect to the parameters (for example, $(t,x)$, this must happen when $\mathcal{L}$ is linearized around local Maxwellian which depends on $(t,x)$) are not commutative. We detailed analyze the estimate of commutators, which was missing in previous literatures of fluid limits of the Boltzmann equation. This estimate is needed in all compressible fluid limits from Boltzmann equation.