Table of Contents
Fetching ...

On the Boltzmann-Fermi-Dirac Equation for Hard Potential: Global Existence and Uniqueness, Gaussian Lower Bound, and Moment Estimates

Gayoung An, Sungbin Park

TL;DR

The work analyzes the spatially homogeneous Boltzmann-Fermi-Dirac equation with hard potentials ($0 \le \gamma \le 2$) and angular cutoff, proving global existence, uniqueness, and $L^1_2$ stability, along with Gaussian lower bounds and comprehensive moment control. It develops and leverages ω- and Carleman representations to handle quantum statistics, establishes positivity and spreading mechanisms to obtain a Gaussian lower bound for $f$ and exponential-tail control for $1-f$, and proves creation/propagation of polynomial and exponential moments as well as $L^\infty$ Gaussian upper bounds under additional kernel hypotheses. The results extend classical Boltzmann theory to the FD setting, providing rigorous global well-posedness and quantitative tail behavior for FD particles with hard potentials, and supplying robust tools for further quantum kinetic analyses. The techniques combine Carleman-type representations, precise positivity estimates, and moment-method arguments to obtain a coherent picture of existence, stability, and tail behavior in this quantum kinetic model.

Abstract

In this paper, we study the global existence and uniqueness, Gaussian lower bound, and moment estimates in the spatially homogeneous Boltzmann equation for Fermi-Dirac particles for hard potential ($0\leq γ\leq 2$) with angular cutoff $b$. Our results extend classical results to the Boltzmann-Fermi-Dirac setting. In detail, (1) we show existence, uniqueness, and $L^1_2$ stability of global-in-time solutions of the Boltzmann-Fermi-Dirac equation. (2) Assuming the solution is not a saturated equilibrium, we prove creation of a Gaussian lower bound for the solution. (3) We prove creation and propagation of $L^1$ polynomial and exponential moments of the solution under additional assumptions on the angular kernel $b$ and $0<γ\leq 2$. (4) Finally, we show propagation of $L^\infty$ Gaussian and polynomial upper bounds when $b$ is constant and $0<γ\leq 1$.

On the Boltzmann-Fermi-Dirac Equation for Hard Potential: Global Existence and Uniqueness, Gaussian Lower Bound, and Moment Estimates

TL;DR

The work analyzes the spatially homogeneous Boltzmann-Fermi-Dirac equation with hard potentials () and angular cutoff, proving global existence, uniqueness, and stability, along with Gaussian lower bounds and comprehensive moment control. It develops and leverages ω- and Carleman representations to handle quantum statistics, establishes positivity and spreading mechanisms to obtain a Gaussian lower bound for and exponential-tail control for , and proves creation/propagation of polynomial and exponential moments as well as Gaussian upper bounds under additional kernel hypotheses. The results extend classical Boltzmann theory to the FD setting, providing rigorous global well-posedness and quantitative tail behavior for FD particles with hard potentials, and supplying robust tools for further quantum kinetic analyses. The techniques combine Carleman-type representations, precise positivity estimates, and moment-method arguments to obtain a coherent picture of existence, stability, and tail behavior in this quantum kinetic model.

Abstract

In this paper, we study the global existence and uniqueness, Gaussian lower bound, and moment estimates in the spatially homogeneous Boltzmann equation for Fermi-Dirac particles for hard potential () with angular cutoff . Our results extend classical results to the Boltzmann-Fermi-Dirac setting. In detail, (1) we show existence, uniqueness, and stability of global-in-time solutions of the Boltzmann-Fermi-Dirac equation. (2) Assuming the solution is not a saturated equilibrium, we prove creation of a Gaussian lower bound for the solution. (3) We prove creation and propagation of polynomial and exponential moments of the solution under additional assumptions on the angular kernel and . (4) Finally, we show propagation of Gaussian and polynomial upper bounds when is constant and .

Paper Structure

This paper contains 15 sections, 47 theorems, 484 equations, 5 figures, 1 table.

Key Result

Theorem 1.1

Assume the collision kernel satisfies $0\leq \gamma\leq 2$ and (H1). For $f_0\in L^1_2$ with $0\leq f_0\leq 1$ on $\mathbb{R}^3$, there exists a unique conservative solution of the Boltzmann-Fermi-Dirac equation. Also, the solution satisfies the entropy identity eq:entropy_identity.

Figures (5)

  • Figure 1: The collision diagram with pre- and post-collision velocities.
  • Figure 2: The intersection of two balls with radius $r$ and center distance $r$. The intersection area is clipped by the height from the bisection plane by $h_1$ and $h_2$. The gray domain contains the domain such that the distance between any two points is smaller than $r$.
  • Figure 3: The gray boxes represents $\mathcal{Q}_{R_0}(v_{-1})$. The orange boxes represent the boxes having relatively high density. The blue balls are $\mathcal{B}_{R_1}(v_1)$ and $\mathcal{B}_{R_2}(v_2)$ and have distance between the centers at least $\frac{10}{13}R_0$.
  • Figure 4: Intersection of spherical shell with radius $\|V\|$ and a ball with diameter $2\sqrt{3}R$.
  • Figure 5: Geometry of the balls used in the proof.

Theorems & Definitions (95)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Remark 1.4
  • Remark 1.5
  • Theorem 1.6
  • Remark 1.7
  • Definition 3.1
  • Lemma 3.2
  • proof
  • ...and 85 more