Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

On the radius of analyticity and Gevrey regularity for the Boltzmann equation

Wei-Xi Li, Lvqiao Liu, Hao Wang

TL;DR

This work analyzes the non-cutoff Boltzmann equation for hard potentials in a near-equilibrium regime and derives rigorous radius-of-analyticity and Gevrey-regularity results. It first establishes a sharp local-in-time radius estimate for mild solutions, then proves a global-in-time radius bound in Gevrey spaces, by coupling hypoelliptic smoothing with a macro-micro decomposition and careful commutator/vector-field analysis. The results identify a Gevrey index $\tau=\max\{1,\tfrac{1}{2s}\}$ and show a global radius that scales like $t^{(1+2s)/(2s)}$ in the Gevrey setting, reflecting the intrinsic velocity diffusion and transport interactions. The methodology blends coercivity/trilinear estimates, subelliptic estimates, and macroscopic analysis to obtain time-uniform control of higher-order derivatives, contributing to the understanding of regularization effects in hydrodynamic limits of kinetic equations. Overall, the paper provides quantitative, time-uniform Gevrey regularity results for the Boltzmann equation with singular kernels, advancing the theory of kinetic regularity and its implications for hydrodynamic limits.

Abstract

This paper investigates the non-cutoff Boltzmann equation for hard potentials in a perturbative setting. We first establish a sharp short-time estimate on the radius of analyticity and Gevrey regularity of mild solutions. Furthermore, we obtain a global-in-time radius estimate in Gevrey space. The proof combines hypoelliptic estimates with the macro-micro decomposition.

On the radius of analyticity and Gevrey regularity for the Boltzmann equation

TL;DR

This work analyzes the non-cutoff Boltzmann equation for hard potentials in a near-equilibrium regime and derives rigorous radius-of-analyticity and Gevrey-regularity results. It first establishes a sharp local-in-time radius estimate for mild solutions, then proves a global-in-time radius bound in Gevrey spaces, by coupling hypoelliptic smoothing with a macro-micro decomposition and careful commutator/vector-field analysis. The results identify a Gevrey index and show a global radius that scales like in the Gevrey setting, reflecting the intrinsic velocity diffusion and transport interactions. The methodology blends coercivity/trilinear estimates, subelliptic estimates, and macroscopic analysis to obtain time-uniform control of higher-order derivatives, contributing to the understanding of regularization effects in hydrodynamic limits of kinetic equations. Overall, the paper provides quantitative, time-uniform Gevrey regularity results for the Boltzmann equation with singular kernels, advancing the theory of kinetic regularity and its implications for hydrodynamic limits.

Abstract

This paper investigates the non-cutoff Boltzmann equation for hard potentials in a perturbative setting. We first establish a sharp short-time estimate on the radius of analyticity and Gevrey regularity of mild solutions. Furthermore, we obtain a global-in-time radius estimate in Gevrey space. The proof combines hypoelliptic estimates with the macro-micro decomposition.
Paper Structure (19 sections, 21 theorems, 326 equations)

This paper contains 19 sections, 21 theorems, 326 equations.

Table of Contents

  1. Introduction
  2. Boltzmann equation
  3. Notations and function spaces
  4. Regularity and radius analysis for toy models
  5. Main results
  6. Related literature
  7. Methodology
  8. Organization of the paper
  9. Preliminaries
  10. Coercivity property and trilinear estimate
  11. Technical lemmas
  12. Subelliptic estimates
  13. Local-in-time sharp estimate on radius
  14. Macroscopic estimates
  15. Global-in-time estimate on radius
  16. ...and 4 more sections

Key Result

Theorem 1.2

Assume that the cross-section satisfies hypotheses kern and angu with parameters $0 \leq \gamma \leq 1$ and $0 < s < 1$, and that the initial datum $f_0$ satisfy smallass and ini-law. Let $f \in L^1_k L^\infty_T L^2_v$ be a solution to the Boltzmann equation 3 for any $T > 0$, which satisfies law an where $\tau = \max\left\{1, \frac{1}{2s}\right\}$ and the constant $C > 0$ depends only on the para

Theorems & Definitions (42)

  • Definition 1.1
  • Theorem 1.2: Local estimate
  • Theorem 1.3: Global estimate
  • Remark 1.4
  • Lemma 2.1: Lemma 2.6 in MR4356815
  • Lemma 2.2
  • proof
  • Lemma 2.3: Commutator estimate
  • proof
  • Proposition 2.4
  • ...and 32 more