The development of accurate and fast algorithms for the Boltzmann collision integral and their analysis represent a challenging problem in scientific computing and numerical analysis. Recently, several works were devoted to the derivation of spectrally accurate schemes for the Boltzmann equation, but very few of them were concerned with the stability analysis of the method. In particular there was no result of stability except when the method is modified in order to enforce the posivity preservation, which destroys the spectral accuracy. In this paper we propose a new method to study the stability of homogeneous Boltzmann equations perturbed by smoothed balanced operators which do not preserve positivity of the distribution. This method takes advantage of the "spreading" property of the collision, together with estimates on regularity and entropy production. As an application we prove stability and convergence of spectral methods for the Boltzmann equation, when the discretization parameter is large enough (with explicit bound).
In this paper, we consider a class of spatially homogeneous Boltzmann equation without angular cutoff. We prove that any radial symmetric weak solution of the Cauchy problem become analytic for positive time.
For the non cutoff radially symmetric homogeneous Boltzmann equation with Maxwellian molecules, we give the numerical solutions using symbolic manipulations and spectral decomposition of Hermit functions. The initial data can belong to some measure space.
In this work, we prove the existence, uniqueness and smoothing properties of the solution to the Cauchy problem for the spatially homogeneous Boltzmann equation with Debye-Yukawa potential for probability measure initial datum.
In this paper, we will introduce a precise classification of characteristic functions in the Fourier space according to the moment constraint in the physical space of any order. Based on this, we construct measure valued solutions to the homogeneous Boltzmann equation with the exact moment condition as the initial data.
We study the spatially homogeneous relativistic Boltzmann equation for massless particles in an FLRW background with scattering kernels in a certain range of soft and hard potentials. We obtain the future global existence of small solutions in a weighted $L^1\cap L^\infty$ space.
In this paper, we consider the spatially homogeneous Boltzmann equation without angular cutoff. We prove that every $L^1$ weak solution to the Cauchy problem with finite moments of all order acquires the $C^\infty$ regularity in the velocity variable for the positive time.
For the homogeneous Boltzmann equation with (cutoff or non cutoff) hard potentials, we prove estimates of propagation of Lp norms with a weight $(1+ |x|^2)^q/2$ ($1 < p < +\infty$, $q \in \R\_+$ large enough), as well as appearance of such weights. The proof is based on some new functional inequalities for the collision operator, proven by elementary means.
The Boltzmann H-theorem implies that the solution to the Boltzmann equation tends to an equilibrium, that is, a Maxwellian when time tends to infinity. This has been proved in varies settings when the initial energy is finite. However, when the initial energy is infinite, the time asymptotic state is no longer described by a Maxwellian, but a self-similar solution obtained by Bobylev-Cercignani. The purpose of this paper is to rigorously justify this for the spatially homogeneous problem with Maxwellian molecule type cross section without angular cutoff.
The classification of equilibria for the spatially homogeneous Boltzmann equation for Fermi-Dirac particles is proved for any $n$-dimensional velocity space with $n\ge 2$. The same classification has been proven in \cite{Lu2001} for $n=3$. Now the proof for $n\ge 2$ is based on a recent result on a characterization of Euclidean balls for all dimensions $\ge 2$.
In this work, we study the Cauchy problem for the radially symmetric spatially homogeneous Boltzmann equation with Debye-Yukawa potential. We prove that this Cauchy problem enjoys the same smoothing effect as the Cauchy problem defined by the evolution equation associated to a fractional logarithmic harmonic oscillator. To be specific, we can prove the solution of the Cauchy problem belongs to Shubin spaces.
We prove a local-in-time existence and uniqueness theorem for a smooth classical solution to the spatially homogeneous Boltzmann equation with cutoff soft potentials. Our proof is based on a series of bilinear estimates for the integrability and Sobolev regularity of the associated collision operator. While the global-in-time existence is left inconclusive, we give a lower bound of the maximal time of existence and a necessary condition for finite time extinction of existence.
We consider the spatially homogeneous Boltzmann equation for hard potentials without cutoff. We prove that an exponential moment of order $ρ=\min\{2γ/(2-ν),2\}$, with the usual notation, is immediately created. This is stronger than what happens in the case with cutoff. We also show that exponential moments of order $ρ\in (0,2]$ are propagated.
For the spatially homogeneous Boltzmann equation with cutoff hard potentials it is shown that solutions remain bounded from above, uniformly in time, by a Maxwellian distribution, provided the initial data have a Maxwellian upper bound. The main technique is based on a comparison principle that uses a certain dissipative property of the linear Boltzmann equation. Implications of the technique to propagation of upper Maxwellian bounds in the spatially-inhomogeneous case are discussed.
In this paper, we study the Gevrey regularity of spatially homogeneous Boltzmann equation without angular cutoff. We prove the propagation of Gevrey regularity for $C^\infty$ solutions with the Maxwellian decay to the Cauchy problem of spatially homogeneous Boltzmann equation. The idea we use here is based on the framework of Morimoto's recent paper (See Morimoto: J. Pseudo-Differ. Oper. Appl. (2010) 1: 139-159, DOI:10.1007/s11868-010-0008-z), but we extend the range of the index $γ$ satisfying $γ+ 2s \in (-1,1)$, $s\in (0,1/2)$ and in this case we consider the kinetic factor in the form of $Φ…
In this paper, we study spatially homogeneous solutions of the Boltzmann equation in special relativity and in Robertson-Walker spacetimes. We obtain an analogue of the Povzner inequality in the relativistic case and use it to prove global existence theorems. We show that global solutions exist for a certain class of collision cross sections of the hard potential type in Minkowski space and in spatially flat Robertson-Walker spacetimes.
We develop the regularity theory of the spatially homogeneous Boltzmann equation with cut-off and hard potentials (for instance, hard spheres), by (i) revisiting the Lp-theory to obtain constructive bounds, (ii) establishing propagation of smoothness and singularities, (iii) obtaining estimates about the decay of the sin- gularities of the initial datum. Our proofs are based on a detailed study of the "regularity of the gain operator". An application to the long-time behavior is presented.
We prove that the Cauchy problem associated to the radially symmetric spatially homogeneous non-cutoff Boltzmann equation with Maxwellian molecules enjoys the same Gelfand-Shilov regularizing effect as the Cauchy problem defined by the evolution equation associated to a fractional harmonic oscillator.
It is expected in physics that the homogeneous quantum Boltzmann equation with Fermi-Dirac or Bose-Einstein statistics and with Maxwell-Boltzmann operator (neglecting effect of the statistics) for the weak coupled gases will converge to the homogeneous Fokker-Planck-Landau equation as the Planck constant $\hbar$ tends to zero. In this paper and the upcoming work \cite{HLP2}, we will provide a mathematical justification on this semi-classical limit. Key ingredients into the proofs are the new framework to catch the {\it weak projection gradient}, which is motivated by Villani \cite{V1} to ident…
Numerical approximation of the Boltzmann equation is a challenging problem due to its high-dimensional, nonlocal, and nonlinear collision integral. Over the past decade, the Fourier-Galerkin spectral method has become a popular deterministic method for solving the Boltzmann equation, manifested by its high accuracy and potential of being further accelerated by the fast Fourier transform. Albeit its practical success, the stability of the method is only recently proved by Filbet, F. & Mouhot, C. in [$ Trans. Amer. Math. Soc.$ 363, no. 4 (2011): 1947-1980.] by utilizing the "spreading" property …
We study weak solutions of the homogeneous Boltzmann equation for Maxwellian molecules with a logarithmic singularity of the collision kernel for grazing collisions. Even though in this situation the Boltzmann operator enjoys only a very weak coercivity estimate, it still leads to strong smoothing of weak solutions in accordance to the smoothing expected by an analogy with a logarithmic heat equation.
We justify the Villani conjecture on the smoothing effect for measure value solutions to the space homogeneous Boltzmann equation of Maxwellian type cross sections. This is the first rigorous proof of the smoothing effect for any measure value initial data except the single Dirac mass, which gives the optimal description on the regularity of solutions for positive time, caused by the singularity in the cross section. The main new ingredient in the proof is the introduction of a time degenerate coercivity estimate by using the microlocal analysis.
A uniform approach is introduced to study the existence of measure valued solutions to the homogeneous Boltzmann equation for both hard potential with finite energy, and soft potential with finite or infinite energy, by using Toscani metric. Under the non-angular cutoff assumption on the cross-section, the solutions obtained are shown to be in the Schwartz space in the velocity variable as long as the initial data is not a single Dirac mass without any extra moment condition for hard potential, and with the boundedness on moments of any order for soft potential.
In this paper we prove the strong and time-averaged strong convergence to equilibrium for solutions (with general initial data) of the spatially homogeneous Boltzmann equation for Fermi-Dirac particles. The assumption on the collision kernel includes the Coulomb potential with a weaker angular cutoff. The proof is based on moment estimates, entropy dissipation inequalities, regularity of the collision gain operator, and a new observation that many collision kernels are larger than or equal to some completely positive kernels, which enables us to avoid dealing with the convergence problem of th…
We study the homogeneous Boltzmann equation with the fractional Laplacian term. Working on the Fourier side we solve the resulting integral equation, and improve a previous result by Y.-K. Cho. We replace the initial data space with a certain space $\mathcal{M}^α$ introduced by Morimoto, Wang, and Yang. This space precisely captures the Fourier image of probability measures with bounded fractional moments, providing a more natural initial condition. We show existence of a unique global solution, in addition to the expected maximal growth estimates and stability estimates. As a consequence we o…
In this work, we study the Cauchy problem for the spatially homogeneous non-cutoff Boltzamnn equation with Maxwellian molecules. We prove that this Cauchy problem enjoys Gelfand-Shilov regularizing effect, that means the smoothing properties is same as the Cauchy problem defined by the evolution equation associated to a fractional harmonic oscillator. The power of this fractional is exactly the singular index of non-cutoff collisional kernel of Boltzmann operator. So that we get the regularity of solution in the Gevery class with the sharp power and the optimal exponential decay of solutions. …
For the spatially homogeneous Boltzmann equation with hard po- tentials and Grad's cutoff (e.g. hard spheres), we give quantitative estimates of exponential convergence to equilibrium, and we show that the rate of exponential decay is governed by the spectral gap for the linearized equation, on which we provide a lower bound. Our approach is based on establishing spectral gap-like estimates valid near the equilibrium, and then connecting the latter to the quantitative nonlinear theory. This leads us to an explicit study of the linearized Boltzmann collision operator in functional spaces larger…
The purpose of this paper is to introduce a new characterization of the characteristic functions for the study on the measure valued solution to the homogeneous Boltzmann equation so that it precisely captures the moment constraint in physics. This significantly improves the previous result by Cannone-Karch [CPAM 63(2010), 747-778] in the sense that the new characterization gives a complete description of infinite energy solutions for the Maxwellian cross section. In addition, the global in time smoothing effect of the infinite energy solution except for a single Dirac mass initial datum is ju…
A challenging problem in solving the Boltzmann equation numerically is that the velocity space is approximated by a finite region. Therefore, most methods are based on a truncation technique and the computational cost is then very high if the velocity domain is large. Moreover, sometimes, non-physical conditions have to be imposed on the equation in order to keep the velocity domain bounded. In this paper, we introduce the first nonlinear approximation theory for the Boltzmann equation. Our nonlinear wavelet approximation is non-truncated and based on a nonlinear, adaptive spectral method asso…
In this paper, we study the Cauchy problem for radially symmetric homogeneous non-cutoff Boltzmann equation with Maxwellian molecules, the initial datum belongs to Shubin space of the negative index which can be characterized by spectral decomposition of the harmonic oscillators. The Shubin space of the negative index contains the measure functions. Based on this spectral decomposition, we construct the weak solution with Shubin class initial datum, we also prove that the Cauchy problem enjoys Gelfand-Shilov smoothing effect, meaning that the smoothing properties are the same as the Cauchy pro…
In this paper, we study the Cauchy problem for the linear spatially homogeneous Boltzamnn equation with Debye-Yukawa potential. Using the spectral decomposition of the linear operator, we prove that, for an initial datum in the sense of distribution which contains the dual of the Sobolev spaces, there exists a unique solution which belongs to a more regular Sobolev space for any positive time. We also study the sharp regularity of the solution.
In this paper, we prove the propagation of $L^p$ upper bounds for the spatially homogeneous relativistic Boltzmann equation for any $1<p<\infty$. We consider the case of relativistic \textit{hard ball} with Grad's angular cutoff. Our proof is based on a detailed study of the interrelationship between the relative momenta, the regularity and the $L^p$ estimates for the gain operator, the development of the relativistic Carleman representation, and several estimates on the relativistic hypersurface $E^{v_*}_{v'-v}$. We also derive a Pythagorean theorem for the \textit{relative momenta} $g(v,v_*)…
We prove an inequality on the Wasserstein distance with quadratic cost between two solutions of the spatially homogeneous Boltzmann equation without angular cutoff, from which we deduce some uniqueness results. In particular, we obtain a local (in time) well-posedness result in the case of (possibly very) soft potentials. A global well-posedeness result is shown for all regularized hard and soft potentials without angular cutoff. Our uniqueness result seems to be the first one applying to a strong angular singularity, except in the special case of Maxwell molecules. Our proof relies on the ide…
In this paper, we prove some a priori stability estimates (in weighted Sobolev spaces) for the spatially homogeneous Boltzmann equation without angular cutoff (covering every physical collision kernels). These estimates are conditioned to some regularity estimates on the solutions, and therefore reduce the stability and uniqueness issue to the one of proving suitable regularity bounds on the solutions. We then prove such regularity bounds for a class of interactions including the so-called (non cutoff and non mollified) hard potentials and moderately soft potentials. In particular, we obtain t…
We consider the spatially homogeneous Boltzmann equation for regularized soft potentials and Grad's angular cutoff. We prove that uniform (in time) bounds in $L^1 ((1 + |v|^s)dv)$ and $H^k$ norms, $s, k \ge 0$ hold for its solution. The proof is based on the mixture of estimates of polynomial growth in time of those norms together with the quantitative results of relaxation to equilibrium in $L^1$ obtained by the so-called "entropy-entropy production" method in the context of dissipative systems with slowly growing a priori bounds (see reference [14]).
This paper deals with the long time behavior of solutions to the spatially homogeneous Boltzmann equation. The interactions considered are the so-called (non cut-off and non mollified) hard potentials. We prove an exponential in time convergence towards the equilibrium, improving results of Villani from \cite{Vill1} where a polynomial decay to equilibrium is proven. The basis of the proof is the study of the linearized equation for which we prove a new spectral gap estimate in a $L^1$ space with a polynomial weight by taking advantage of the theory of enlargement of the functional space for th…
It has long been suspected that the non-cutoff Boltzmann operator has similar coercivity properties as a fractional Laplacian. This has led to the hope that the homogenous Boltzmann equation enjoys similar regularity properties as the heat equation with a fractional Laplacian. In particular, the weak solution of the fully nonlinear non-cutoff homogenous Boltzmann equation with initial datum in $L^1_2(\mathbb{R}^d)\cap L\log L(\mathbb{R}^d)$, i.e., finite mass, energy and entropy, should immediately become Gevrey regular for strictly positive times. We prove this conjecture for Maxwellian molec…
The goal of this work is to present an approach to the homogeneous Boltzmann equation for Maxwellian molecules with a physical collision kernel which allows us to construct unique solutions to the initial value problem in a space of probability measures defined via the Fourier transform. In that space, the second moment of a measure is not assumed to be finite, so infinite energy solutions are not {\it a priori} excluded from our considerations. Moreover, we study the large time asymptotics of solutions and, in a particular case, we give an elementary proof of the asymptotic stability of self-…
We consider the spatially homogeneous Boltzmann equation for hard potentials with angular cutoff. This equation has a unique conservative weak solution $(f_t)_{t\geq 0}$, once the initial condition $f_0$ with finite mass and energy is fixed. Taking advantage of the energy conservation, we propose a recursive algorithm that produces a $(0,\infty)\times\mathbb{R}^3$ random variable $(M_t,V_t)$ such that $E[M_t {\bf 1}_{\{V_t \in \cdot\}}]=f_t$. We also write down a series expansion of $f_t$. Although both the algorithm and the series expansion might be theoretically interesting in that they expl…
We investigate the large time behavior of solutions to the spatially homogeneous linear Boltzmann equation from a semigroup viewpoint. Our analysis is performed in some (weighted) $L^{1}$-spaces. We deal with both the cases of hard and soft potentials (with angular cut-off). For hard potentials, we provide a new proof of the fact that, in weighted $L^{1}$-spaces with exponential or algebraic weights, the solutions converge exponentially fast towards equilibrium. Our approach uses weak-compactness arguments combined with recent results of the second author on positive semigroups in $L^{1}$-spac…
Departing from the weak solution, we prove the uniqueness, smoothing estimates and the global dynamics for the non cutoff spatially homogeneous Boltzmann equation with moderate soft potentials. Our results show that the behavior of the solution(including the production of regularity and the longtime behavior) can be {\it characterized quantitatively} by the initial data at the large velocities, i.e.(i). initially polynomial decay at the large velocities in $L^1$ space will induce the finite smoothing estimates in weighted Sobolev spaces and the polynomial convergence rate (including the lower …
In this paper, we prove the propagation of uniform upper bounds for the spatially homogeneous relativistic Boltzmann equation. These $L^\infty$ bounds have been known to be a challenging open problem in relativistic kinetic theory. To accomplish this, we establish two types of estimates for the gain part of the collision operator: first, we prove a potential type estimate and a relativistic hyper-surface integral estimate. We then combine those estimates using the relativistic counter-part of the Carleman representation to derive uniform control of the gain term for the relativistic collision …
The paper is concerned with the spatially homogeneous isotropic Boltzmann equation for Bose-Einstein particles with quantum collision kernel where the interaction potential $ϕ({\bf x})$ can be approximately written as the delta function plus a certain attractive potential such that the Fourier transform $\widehatϕ$ of $ϕ$ behaves like $0 \le \widehatϕ(ξ) \le {\rm const.} |ξ|^η$ for $|ξ|<<1$ for some constant $η\ge 1$. We prove that in this case, there is no condensation in finite time for all temperatures and all solutions, and thus it is completely different from the case $\widehatϕ(ξ) \ge {\…
We present recent results [4, 28, 29] about the quantitative study of the linearized Boltzmann collision operator, and its application to the study of the trend to equilibrium for the spatially homogeneous Boltzmann equation for hard spheres.
We prove an inequality on the Kantorovich-Rubinstein distance --which can be seen as a particular case of a Wasserstein metric-- between two solutions of the spatially homogeneous Boltzmann equation without angular cutoff, but with a moderate angular singularity. Our method is in the spirit of [7]. We deduce some well-posedness and stability results in the physically relevant cases of hard and moderately soft potentials. In the case of hard potentials, we relax the regularity assumption of [6], but we need stronger assumptions on the tail of the distribution (namely some exponential decay). We…
We consider the $n$-dimensional space homogeneous Boltzmann equation for elastic collisions for variable hard potentials with Grad (angular) cutoff. We prove sharp moment inequalities, the propagation of $L^1$-Maxwellian weighted estimates, and consequently, the propagation $L^\infty$-Maxwellian weighted estimates to all derivatives of the initial value problem associated to the afore mentioned problem. More specifically, we extend to all derivatives of the initial value problem associated to this class of Boltzmann equations corresponding sharp moment (Povzner) inequalities and time propagati…
