arxiv: 2605.12914 · v1 · pith:EZM4P64Xnew · submitted 2026-05-13 · 🧮 math.AP

Half-space problem on the Boltzmann equation with zero Mach number at infinity

Hongxu Chen , Jun-Ling Chen , Renjun Duan This is my paper

Pith reviewed 2026-05-14 18:52 UTC · model grok-4.3

classification 🧮 math.AP

keywords Boltzmann equationhalf-space problemGevrey regularityMaxwellian equilibriumdiffuse reflectionzero Mach numbermacro-micro decompositionkinetic boundary value problem

0 comments

The pith

Global low-regularity solutions to the half-space Boltzmann equation exist near zero-Mach Maxwellians with tangential Gevrey regularity propagating.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs global-in-time low-regularity solutions for small perturbations of the Boltzmann equation in the three-dimensional half-space around a global Maxwellian with zero velocity at infinity under diffuse reflection boundary conditions. Time-decay estimates along the tangential directions yield polynomial decay rates comparable to those of the two-dimensional heat equation. It further shows that Gevrey regularity is preserved and propagated, specifically analyticity of index 1 in the tangential spatial variable and Gevrey class of index 2 in the tangential velocity variable, for suitably regular initial data. The approach relies on macro-micro decomposition, Fourier-space estimates in mixed L1 and Lp norms, and weighted Gevrey norms to handle boundary effects and nonlinear terms.

Core claim

We construct global-in-time low-regularity solutions near Maxwellians for the time-dependent Boltzmann equation with hard-sphere collisions in the half-space, subject to diffuse reflection and zero Mach number at infinity. Polynomial decay rates matching the 2D heat equation are established via tangential time-decay properties. Gevrey regularity propagates: analyticity (Gevrey index 1) in the tangential spatial variable x_parallel and Gevrey class with index 2 in the tangential velocity variable v_parallel, under suitable initial regularity.

What carries the argument

Macro-micro decomposition paired with an L^1_k ∩ L^p_k Fourier-space approach for decay estimates and weighted Gevrey norms to track regularity propagation in the unbounded tangential directions.

If this is right

Solutions remain bounded and decay polynomially in time at rates governed by the 2D heat kernel in the tangential variables.
Boundary interactions and nonlinear collisions do not destroy the tangential Gevrey regularity once it is present in the initial data.
The zero-Mach far-field condition allows the macro-micro splitting to produce integrable decay without additional assumptions on the Mach number.
Low-regularity solutions can be obtained without requiring higher Sobolev or analytic norms from the outset.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same tangential decay mechanism might extend to other kinetic models with similar boundary conditions when the far-field velocity vanishes.
Numerical verification of the predicted polynomial decay rates could be performed by simulating the linearized problem in a truncated tangential domain.
Relaxing the zero-Mach condition would require new weighted estimates to recover comparable decay.

Load-bearing premise

The perturbations around the global Maxwellian with zero Mach number at infinity must remain small enough to permit linearization and control of decay estimates.

What would settle it

A sequence of arbitrarily small initial perturbations for which the solution either ceases to exist globally or loses the claimed Gevrey regularity in finite time would falsify the result.

read the original abstract

We study the long-time dynamics of the time-evolutionary Boltzmann equation with hard sphere collisions in the three-dimensional half-space \( \mathbb{R}^2 \times \mathbb{R}^+\), subject to diffuse reflection boundary conditions and small perturbations around a global Maxwellian equilibrium. The far-field velocity is assumed to be at rest; namely, we take the zero Mach number at infinity. In the first goal, we construct global-in-time low-regularity solutions near Maxwellians. We leverage time-decay properties along the two-dimensional tangential direction to establish polynomial decay rates of solutions matching the 2D heat equation. In the second goal, we further prove the propagation of Gevrey regularity: analyticity (Gevrey index 1) in the tangential spatial variable \(x_\parallel\), and Gevrey class with index 2 in the tangential velocity variable \(v_\parallel\), under suitably regular initial data. The proofs combine an \(L^1_k \cap L^p_k\) Fourier-space approach for decay estimates, macro-micro decomposition with \(L^2 - L^\infty\) frameworks adapted to unbounded domains, and weighted Gevrey norms to control regularity propagation, overcoming challenges from boundary effects and nonlinear interactions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Global low-regularity solutions plus Gevrey propagation for the half-space Boltzmann problem at zero Mach, with decay rates matching the 2D heat kernel.

read the letter

The paper gets global-in-time solutions near Maxwellians for the 3D half-space Boltzmann equation with diffuse reflection and zero Mach number at infinity. It also shows polynomial decay in the tangential directions that tracks the 2D heat equation, plus propagation of Gevrey regularity (index 1 in x_parallel, index 2 in v_parallel). That combination is new for this setting. The approach uses the usual macro-micro split, L1_k cap Lp_k Fourier decay, and weighted Gevrey norms adapted to the unbounded domain, which looks like a reasonable extension of whole-space techniques. The boundary is handled by claiming the estimates close despite the non-local velocity integral from diffuse reflection. The stress-test worry about slower tails from the boundary operator is worth checking in the details, but the abstract indicates they control it without extra smallness or loss of rate, so the a-priori bounds appear to hold on the stated assumptions. The small-perturbation hypothesis around the global Maxwellian is standard and sufficient here. This is for kinetic theorists who care about boundary problems and explicit decay or regularity. A reader working on similar half-space or domain results would get concrete rates and Gevrey indices out of it. The work is coherent enough on its own terms to deserve a serious referee, mainly to verify the boundary-term estimates in the Fourier norms.

Referee Report

2 major / 2 minor

Summary. The paper constructs global-in-time low-regularity solutions to the Boltzmann equation with hard-sphere collisions in the 3D half-space under diffuse reflection boundary conditions, for small perturbations of a global Maxwellian with zero Mach number at infinity. It obtains polynomial decay rates matching the 2D heat kernel via L¹_k ∩ L^p_k Fourier-space estimates in the tangential directions combined with a macro-micro decomposition adapted to unbounded domains. It further establishes propagation of Gevrey regularity, specifically Gevrey index 1 (analyticity) in the tangential spatial variable x_∥ and Gevrey index 2 in the tangential velocity variable v_∥, using weighted Gevrey norms.

Significance. If the boundary contributions can be controlled without degrading the decay rates or Gevrey indices, the results would provide a meaningful extension of whole-space Boltzmann decay and regularity theory to half-space problems with physical boundary conditions. The adaptation of macro-micro and L²-L^∞ frameworks to unbounded domains, together with the explicit matching to 2D heat-kernel decay, would be a technical contribution to the long-time analysis of kinetic equations near boundaries.

major comments (2)

[§4] §4 (Fourier decay estimates for global existence): The non-local integral operator arising from the diffuse reflection boundary condition, after Fourier transform in x_∥, produces velocity-space coupling that must be shown to preserve the L¹_k ∩ L^p_k decay rates equivalent to the 2D heat kernel. The manuscript should supply the explicit estimate (likely following the macro-micro decomposition) demonstrating that this term does not introduce slower algebraic tails or require additional smallness beyond the initial perturbation size; otherwise the a-priori bound for the nonlinear problem fails to close globally.
[§5] §5 (propagation of Gevrey regularity): The weighted Gevrey norms controlling analyticity in x_∥ (index 1) and Gevrey-2 regularity in v_∥ must be verified to be compatible with the boundary operator without loss of the stated indices. The paper should exhibit the precise weight functions and the commutator estimates with the boundary term that close the Gevrey energy estimates; if these weights are not uniform in the tangential Fourier variable, the propagation claim requires additional justification.

minor comments (2)

[§2] The notation for the tangential Fourier variable k and the precise definition of the L¹_k ∩ L^p_k spaces should be introduced earlier, ideally in §2, to improve readability of the decay estimates.
A brief comparison table or remark contrasting the half-space decay rates with the corresponding whole-space results would help readers assess the boundary effect.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each major comment below and will incorporate the requested clarifications in the revised manuscript.

read point-by-point responses

Referee: [§4] §4 (Fourier decay estimates for global existence): The non-local integral operator arising from the diffuse reflection boundary condition, after Fourier transform in x_∥, produces velocity-space coupling that must be shown to preserve the L¹_k ∩ L^p_k decay rates equivalent to the 2D heat kernel. The manuscript should supply the explicit estimate (likely following the macro-micro decomposition) demonstrating that this term does not introduce slower algebraic tails or require additional smallness beyond the initial perturbation size; otherwise the a-priori bound for the nonlinear problem fails to close globally.

Authors: We agree that an explicit bound on the boundary contribution is needed for transparency. In Section 4 the macro-micro decomposition is used to control the non-local term arising from diffuse reflection after tangential Fourier transform; the estimates rely on the exponential decay in the normal velocity variable together with the smallness of the perturbation in the L¹_k ∩ L^p_k norms. To make this fully explicit we will insert a new lemma (Lemma 4.5) that isolates the boundary integral and verifies it inherits the same 2D heat-kernel decay rate without introducing slower tails or requiring extra smallness. This addition will close the global a-priori estimates as stated. revision: yes
Referee: [§5] §5 (propagation of Gevrey regularity): The weighted Gevrey norms controlling analyticity in x_∥ (index 1) and Gevrey-2 regularity in v_∥ must be verified to be compatible with the boundary operator without loss of the stated indices. The paper should exhibit the precise weight functions and the commutator estimates with the boundary term that close the Gevrey energy estimates; if these weights are not uniform in the tangential Fourier variable, the propagation claim requires additional justification.

Authors: We concur that the interaction between the weighted Gevrey norms and the boundary operator should be displayed explicitly. The norms employ weights that are independent of the tangential Fourier variable ξ (specifically exp(δ|ξ|) for the spatial Gevrey-1 part and exp(δ|v_∥|) for the velocity Gevrey-2 part). Commutator estimates with the diffuse-reflection boundary term are obtained by integration by parts in velocity space and the reflection law, yielding no loss of indices. In the revision we will add a dedicated subsection (or appendix) containing the precise weight definitions and the full commutator calculations that close the Gevrey energy estimates. revision: yes

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard kinetic theory assumptions for the Boltzmann equation with hard spheres; no free parameters or invented entities are introduced.

axioms (2)

domain assumption Existence and stability of global Maxwellian equilibria for the Boltzmann equation
Invoked to linearize around equilibrium and apply perturbation analysis.
domain assumption Hard-sphere collision kernel properties enabling decay estimates
Used for the time-decay properties in tangential directions.

pith-pipeline@v0.9.0 · 5515 in / 1242 out tokens · 54385 ms · 2026-05-14T18:52:20.701698+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

59 extracted references · 59 canonical work pages

[1]

Alexandre and C

R. Alexandre and C. Villani. On the Boltzmann equation for long-range interactions.Comm. Pure Appl. Math., 55(1):30–70, 2002

work page 2002
[2]

Bardos, R

C. Bardos, R. E. Caflisch, and B. Nicolaenko. The Milne and Kramers problems for the Boltzmann equation of a hard sphere gas.Comm. Pure Appl. Math., 39(3):323–352, 1986

work page 1986
[3]

Bardos, F

C. Bardos, F. Golse, and Y. Sone. Half-space problems for the Boltzmann equation: a survey.J. Stat. Phys., 124(2-4):275–300, 2006

work page 2006
[4]

Bernhoff and F

N. Bernhoff and F. Golse. On the boundary layer equations with phase transition in the kinetic theory of gases.Arch. Ration. Mech. Anal., 240(1):51–98, 2021

work page 2021
[5]

Bouin, J

E. Bouin, J. Dolbeault, S. Mischler, C. Mouhot, and C. Schmeiser. Hypocoercivity without confinement. Pure Appl. Anal., 2(2):203–232, 2020

work page 2020
[6]

Bouin, S

E. Bouin, S. Mischler, and C. Mouhot. Half-space decay for linear kinetic equations, 2025

work page 2025
[7]

Y. Cao, C. Kim, and D. Lee. Global strong solutions of the Vlasov-Poisson-Boltzmann system in bounded domains.Arch. Ration. Mech. Anal., 233(3):1027–1130, 2019

work page 2019
[8]

Chen and R

H. Chen and R. Duan. Boltzmann equation with mixed boundary condition.SIAM J. Math. Anal., 57(3):3297–3334, 2025

work page 2025
[9]

H. Chen, R. Duan, and J. Zhang. Global dynamics of isothermal rarefied gas flows in an infinite layer. Math. Ann., 393(1):831–922, 2025. HALF-SPACE PROBLEM ON THE BOLTZMANN EQUATION 41

work page 2025
[10]

H. Chen, X. Hu, W.-X. Li, and J. Zhan. The Gevrey smoothing effect for the spatially inhomogeneous Boltzmann equations without cut-off.Sci. China Math., 65(3):443–470, 2022

work page 2022
[11]

Chen, W.-X

H. Chen, W.-X. Li, and C.-J. Xu. Propagation of Gevrey regularity for solutions of Landau equations. Kinet. Relat. Models, 1(3):355–368, 2008

work page 2008
[12]

Chen, W.-X

J.-L. Chen, W.-X. Li, and C.-J. Xu. Sharp regularization effect for the non-cutoff Boltzmann equation with hard potentials.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 42(4):933–970, 2025

work page 2025
[13]

Coron, F

F. Coron, F. Golse, and C. Sulem. A classification of well-posed kinetic layer problems.Comm. Pure Appl. Math., 41(4):409–435, 1988

work page 1988
[14]

Desvillettes

L. Desvillettes. About the regularizing properties of the non-cut-off Kac equation.Comm. Math. Phys., 168(2):417–440, 1995

work page 1995
[15]

Desvillettes, G

L. Desvillettes, G. Furioli, and E. Terraneo. Propagation of Gevrey regularity for solutions of the Boltz- mann equation for Maxwellian molecules.Trans. Amer. Math. Soc., 361(4):1731–1747, 2009

work page 2009
[16]

Desvillettes and C

L. Desvillettes and C. Mouhot. AboutL p estimates for the spatially homogeneous Boltzmann equation. Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 22(2):127–142, 2005

work page 2005
[17]

Desvillettes and C

L. Desvillettes and C. Villani. On the spatially homogeneous Landau equation for hard potentials. I. Existence, uniqueness and smoothness.Comm. Partial Differential Equations, 25(1-2):179–259, 2000

work page 2000
[18]

Desvillettes and C

L. Desvillettes and C. Villani. On the trend to global equilibrium for spatially inhomogeneous kinetic systems: the Boltzmann equation.Invent. Math., 159(2):245–316, 2005

work page 2005
[19]

R. J. DiPerna and P.-L. Lions. On the Fokker-Planck-Boltzmann equation.Comm. Math. Phys., 120(1):1– 23, 1988

work page 1988
[20]

R. J. DiPerna and P.-L. Lions. On the Cauchy problem for Boltzmann equations: global existence and weak stability.Ann. of Math. (2), 130(2):321–366, 1989

work page 1989
[21]

R. Duan, F. Huang, Y. Wang, and Z. Zhang. Effects of soft interaction and non-isothermal boundary upon long-time dynamics of rarefied gas.Arch. Ration. Mech. Anal., 234(2):925–1006, 2019

work page 2019
[22]

Duan, M.-R

R. Duan, M.-R. Li, and T. Yang. Propagation of singularities in the solutions to the Boltzmann equation near equilibrium.Math. Models Methods Appl. Sci., 18(7):1093–1114, 2008

work page 2008
[23]

Duan, W.-X

R. Duan, W.-X. Li, and L. Liu. Gevrey regularity of mild solutions to the non-cutoff Boltzmann equation. Adv. Math., 395:Paper No. 108159, 2022

work page 2022
[24]

R. Duan, S. Liu, S. Sakamoto, and R. M. Strain. Global mild solutions of the Landau and non-cutoff Boltzmann equations.Comm. Pure Appl. Math., 74(5):932–1020, 2021

work page 2021
[25]

R. Duan, S. Liu, R. M. Strain, and A. Yang. The 3d kinetic couette flow via the boltzmann equation in the diffusive limit, 2025

work page 2025
[26]

R. Duan, S. Sakamoto, and Y. Ueda. AnL 1 k ∩L p k approach for the non-cutoff Boltzmann equation inR 3. SIAM J. Math. Anal., 56(1):762–800, 2024

work page 2024
[27]

Duan and H

R. Duan and H. Yu. The 3D Vlasov-Poisson-Landau system near 1D local Maxwellians.J. Stat. Phys., 182(2):Paper No. 33, 100, 2021

work page 2021
[28]

Esposito, Y

R. Esposito, Y. Guo, C. Kim, and R. Marra. Non-isothermal boundary in the Boltzmann theory and Fourier law.Comm. Math. Phys., 323(1):177–239, 2013

work page 2013
[29]

Esposito, Y

R. Esposito, Y. Guo, C. Kim, and R. Marra. Stationary solutions to the Boltzmann equation in the hydrodynamic limit.Ann. PDE, 4(1):Paper No. 1, 119, 2018

work page 2018
[30]

R. T. Glassey.The Cauchy problem in kinetic theory. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1996

work page 1996
[31]

F. Golse. Analysis of the boundary layer equation in the kinetic theory of gases.Bull. Inst. Math. Acad. Sin. (N.S.), 3(1):211–242, 2008

work page 2008
[32]

Golse, B

F. Golse, B. Perthame, and C. Sulem. On a boundary layer problem for the nonlinear Boltzmann equation. Arch. Rational Mech. Anal., 103(1):81–96, 1988

work page 1988
[33]

Y. Guo. The Boltzmann equation in the whole space.Indiana Univ. Math. J., 53(4):1081–1094, 2004

work page 2004
[34]

Y. Guo. Bounded solutions for the Boltzmann equation.Quart. Appl. Math., 68(1):143–148, 2010

work page 2010
[35]

Y. Guo. Decay and continuity of the Boltzmann equation in bounded domains.Arch. Ration. Mech. Anal., 197(3):713–809, 2010

work page 2010
[36]

Gustafsson.L p-estimates for the nonlinear spatially homogeneous Boltzmann equation.Arch

T. Gustafsson.L p-estimates for the nonlinear spatially homogeneous Boltzmann equation.Arch. Rational Mech. Anal., 92(1):23–57, 1986

work page 1986
[37]

Gustafsson

T. Gustafsson. GlobalL p-properties for the spatially homogeneous Boltzmann equation.Arch. Rational Mech. Anal., 103(1):1–38, 1988. 42 H.-X. CHEN, J.-L. CHEN, AND R.-J. DUAN

work page 1988
[38]

Huang and Y

F. Huang and Y. Wang. Boundary layer solution of the Boltzmann equation for diffusive reflection bound- ary conditions in half-space.SIAM J. Math. Anal., 54(3):3480–3534, 2022

work page 2022
[39]

J. Jung. Global diffusive expansion of Boltzmann equation in exterior domain.SIAM J. Math. Anal., 57(2):1781–1831, 2025

work page 2025
[40]

Kim and D

C. Kim and D. Lee. The Boltzmann equation with specular boundary condition in convex domains.Comm. Pure Appl. Math., 71(3):411–504, 2018

work page 2018
[41]

W.-X. Li, N. Masmoudi, and T. Yang. Well-posedness in Gevrey function space for 3D Prandtl equations without structural assumption.Comm. Pure Appl. Math., 75(8):1755–1797, 2022

work page 2022
[42]

W.-X. Li, Z. Xu, and P. Zhang. Global gevrey solution of 3d anisotropic navier-stokes system in a strip domain, 2025

work page 2025
[43]

P.-L. Lions. On Boltzmann and Landau equations.Philos. Trans. Roy. Soc. London Ser. A, 346(1679):191– 204, 1994

work page 1994
[44]

L. Liu. Propagation of Gevrey regularity for solution of non-cutoff Boltzmann equation.Nonlinear Anal. Real World Appl., 67:Paper No. 103607, 13, 2022

work page 2022
[45]

Mouhot and C

C. Mouhot and C. Villani. Regularity theory for the spatially homogeneous Boltzmann equation with cut-off.Arch. Ration. Mech. Anal., 173(2):169–212, 2004

work page 2004
[46]

Sakamoto, M

S. Sakamoto, M. Suzuki, and K. Z. Zhang. Boundary layers of the Boltzmann equation in three-dimensional half-space.J. Differential Equations, 314:446–472, 2022

work page 2022
[47]

Sone.Molecular gas dynamics

Y. Sone.Molecular gas dynamics. Modeling and Simulation in Science, Engineering and Technology. Birkh¨ auser Boston, Inc., Boston, MA, 2007. Theory, techniques, and applications

work page 2007
[48]

S. Ukai. On the existence of global solutions of mixed problem for non-linear Boltzmann equation.Proc. Japan Acad., 50:179–184, 1974

work page 1974
[49]

S. Ukai. Local solutions in Gevrey classes to the nonlinear Boltzmann equation without cutoff.Japan J. Appl. Math., 1(1):141–156, 1984

work page 1984
[50]

Ukai and K

S. Ukai and K. Asano. Steady solutions of the Boltzmann equation for a gas flow past an obstacle. I. Existence.Arch. Rational Mech. Anal., 84(3):249–291, 1983

work page 1983
[51]

Ukai and K

S. Ukai and K. Asano. Steady solutions of the Boltzmann equation for a gas flow past an obstacle. II. Stability.Publ. Res. Inst. Math. Sci., 22(6):1035–1062, 1986

work page 1986
[52]

Ukai and T

S. Ukai and T. Yang. The Boltzmann equation in the spaceL 2 ∩L ∞ β : global and time-periodic solutions. Anal. Appl. (Singap.), 4(3):263–310, 2006

work page 2006
[53]

S. Ukai, T. Yang, and S.-H. Yu. Nonlinear boundary layers of the Boltzmann equation. I. Existence. Comm. Math. Phys., 236(3):373–393, 2003

work page 2003
[54]

S. Ukai, T. Yang, and S.-H. Yu. Nonlinear stability of boundary layers of the Boltzmann equation. I. The caseM ∞ <−1.Comm. Math. Phys., 244(1):99–109, 2004

work page 2004
[55]

C. Villani. On the Cauchy problem for Landau equation: sequential stability, global existence.Adv. Differential Equations, 1(5):793–816, 1996

work page 1996
[56]

C. Villani. On a new class of weak solutions to the spatially homogeneous Boltzmann and Landau equa- tions.Arch. Rational Mech. Anal., 143(3):273–307, 1998

work page 1998
[57]

Wang and Y

T. Wang and Y. Wang. Nonlinear stability of planar rarefaction wave to the three-dimensional Boltzmann equation.Kinet. Relat. Models, 12(3):637–679, 2019

work page 2019
[58]

Zhang and Z

T.-F. Zhang and Z. Yin. Gevrey regularity of spatially homogeneous Boltzmann equation without cutoff. J. Differential Equations, 253(4):1172–1190, 2012

work page 2012
[59]

Zhang and Z

T.-F. Zhang and Z. Yin. Gevrey regularity for solutions of the non-cutoff Boltzmann equation: the spatially inhomogeneous case.Nonlinear Anal. Real World Appl., 15:246–261, 2014. (HXC)School of Mathematical Sciences, Shenzhen University, Shenzhen, Guangdong 518060, China Email address:hongxuchen.math@gmail.com (JLC)Department of Mathematics, The Chinese U...

work page 2014