Acoustic limit of Boltzmann equations for gas mixture

1. Problem Statement

The paper investigates the rigorous derivation of hydrodynamic limits from the Boltzmann equations for a two-species gas mixture where the particle masses are unequal ($m_A \neq m_B$).

• Governing Equations: The system consists of coupled Boltzmann equations for species $A$ and $B$, scaled by the Knudsen number $\varepsilon$ (proportional to the mean free path).
• Key Challenge: In single-species gases or mixtures with equal masses ($m_A = m_B$), the linearized collision operator possesses specific symmetries. When masses differ, these symmetries are lost, leading to a loss of symmetry in the linearized collision operator. This complicates the spectral analysis and the estimation of the collision operator, particularly the compact part (often denoted as $K$).
• Goals:
  1. Establish the Hydrodynamic Limit (Compressible Euler equations) for the gas mixture when the initial perturbation is small but independent of $\varepsilon$.
  2. Rigorously justify the Acoustic Limit (linearized acoustic system) when the initial perturbation strength $\delta$ depends on $\varepsilon$ (specifically $\varepsilon/\delta \to 0$).

2. Methodology

The authors employ the Hilbert Expansion method combined with $L^2-L^\infty$ energy estimates (a framework developed by Guo and others).

A. Hilbert Expansion

The solution $F^\varepsilon$ is expanded in powers of $\varepsilon$:
$$F^\varepsilon = F_0 + \varepsilon F_1 + \dots + \varepsilon^5 F_5 + \varepsilon^3 F_R$$
where $F_R$ is the remainder term.

• $F_0$: Determined to be a local bi-Maxwellian distribution.
• $F_1, \dots, F_5$: Determined recursively by solving linear equations involving the linearized collision operator $L$.
• Remainder Equation: The error term $F_R$ satisfies a linearized Boltzmann equation with source terms derived from the truncation of the expansion.

B. Analysis of the Linearized Collision Operator

The core technical innovation lies in the analysis of the linearized collision operator $L$ for unequal masses.

• Decomposition: The operator is split into a collision frequency part ($\nu$) and a compact integral operator ($K$).
• The "Hybrid" Structure: The authors decompose the compact operator $K$ (specifically the non-singular part $K_{1-\chi}$) into two distinct components:
  1. Typical Part: Behaves similarly to the single-species case (or equal-mass mixture).
  2. Hybrid Part: Arises specifically due to $m_A \neq m_B$. This part is further split into:
     • A degenerate part (when $m_\alpha = m_\beta$).
     • An exponential decay part (when $m_\alpha \neq m_\beta$).
• Key Lemma (Lemma 2.4): The authors prove precise pointwise estimates for the integral kernels of these operators. They show that the "Hybrid part" exhibits exponential decay in velocity space when masses are different, which is a crucial property for establishing $L^\infty$ bounds. This decay compensates for the loss of symmetry.

C. $L^2-L^\infty$ Estimates

• $L^2$ Estimates: Utilize the coercivity of the linearized operator $L$ to control the microscopic part of the remainder.
• $L^\infty$ Estimates: Use the method of characteristics and the precise decay estimates of the $K$-operator (derived in Lemma 2.4) to bound the macroscopic and microscopic parts in the $L^\infty$ norm.

3. Key Contributions

1. Resolution of Mass Disparity: The paper provides the first rigorous justification of the hydrodynamic and acoustic limits for gas mixtures with unequal particle masses ($m_A \neq m_B$). Previous works largely focused on equal masses or single species.
2. Structural Analysis of the Collision Operator: The authors identify and rigorously estimate the "Hybrid part" of the collision operator. They demonstrate that the mass difference introduces a specific structure that allows for exponential decay estimates, overcoming the lack of symmetry in the operator.
3. Rigorous Acoustic Limit: They prove that under the scaling where the initial perturbation $\delta \to 0$ as $\varepsilon \to 0$ (with $\varepsilon/\delta \to 0$), the Boltzmann system converges to the Acoustic System (linearized compressible Euler equations).
4. Optimal Convergence Rate: The error estimate is shown to be of order $O(\frac{\varepsilon}{\delta} + \delta)$. The optimal convergence rate is achieved when $\delta = \sqrt{\varepsilon}$.

4. Main Results

Theorem 1.1: Hydrodynamic Limit

For initial data with small perturbations (strength $\delta$) independent of $\varepsilon$, the Boltzmann solution converges to the solution of the Compressible Euler Equations for gas mixtures.

• Time Scale: The solution exists and converges on the time interval $[0, \tau^\delta]$ where $\tau^\delta = O(1/\delta)$.
• Convergence: The remainder term satisfies uniform bounds in $L^2$ and $L^\infty$ weighted norms, proving that $F^\varepsilon \to F_0$ (the bi-Maxwellian) as $\varepsilon \to 0$.

Theorem 1.2: Acoustic Limit

When the initial perturbation strength $\delta$ depends on $\varepsilon$ such that $\varepsilon/\delta \to 0$, the scaled fluctuation $G^\varepsilon = (F^\varepsilon - \mu_0)/\delta$ converges to the solution $G$ of the Acoustic System:
$$\begin{cases} \partial_t \sigma_A + \nabla \cdot u = 0 \\ \partial_t \sigma_B + \nabla \cdot u = 0 \\ \partial_t u + \frac{2}{m_A+m_B}\nabla \theta + \frac{1}{m_A+m_B}\nabla n = 0 \\ \partial_t \theta + \frac{2}{3}\nabla \cdot u = 0 \end{cases}$$
where $n = \sigma_A + \sigma_B$.

• Error Bound: $\|G^\varepsilon - G\| \leq C(\frac{\varepsilon}{\delta} + \delta)$.
• Significance: This confirms that the macroscopic acoustic waves in a two-species gas mixture are governed by the linearized Euler equations, even with mass disparity.

5. Significance

• Mathematical Physics: This work bridges a gap in kinetic theory by handling the complex spectral properties of multi-species systems with mass disparity, a scenario common in real-world applications (e.g., atmospheric science, plasma physics) but mathematically difficult due to the loss of operator symmetry.
• Methodological Advancement: The decomposition of the collision operator into "Typical" and "Hybrid" parts and the subsequent proof of exponential decay for the hybrid part provide a new toolkit for analyzing non-symmetric kinetic equations.
• Validation of Fluid Models: It rigorously validates the use of compressible Euler and acoustic equations for modeling mixtures of gases with different molecular weights, confirming the validity of these macroscopic models derived from microscopic particle interactions.

In summary, the paper successfully extends the Hilbert expansion and $L^2-L^\infty$ framework to unequal-mass gas mixtures by developing novel estimates for the linearized collision operator, thereby rigorously deriving both the compressible Euler and acoustic limits.