Soon will happen a Conference in memory of Carlo Cercignani at IHP, Paris 9-11 february which I am co-organizing together with François Bolley, Laurent Desvillettes and Silvia Lorenzani. Moreover several works quoted for the Fields medal 2010 of Cédric Villani are directly related and somehow motivated by the so-called Cercignani’s conjecture in kinetic theory.

As a tribute to Carlo Cercignani, one of founder of the modern mathematical kinetic theory and a great scientist, here is a short presentation about Cercignani’s conjecture. More details (including references and latest results about the conjecture) can be found in this review paper.

**Boltzmann equation **

The **Boltzmann equation** describes the behavior of a rarefied gas when the only interactions taken into account are binary collisions. In the case when this distribution function is assumed to be independent of the position, it reduces to the **spatially homogeneous Boltzmann equation **

where is the quadratic **Boltzmann collision operator**, defined by the bilinear form

with the shorthands , and , where

and

stand for the pre-collisional velocities of particles which after collision have velocities and . The function is called the **Boltzmann collision kernel** and it is determined by physics (it is related to the physical cross-section by the formula ). On physical grounds (in particular galilean invariance), it is assumed that and is a function of and only.

** The collision kernel **

In the theory of Maxwell and Boltzmann, the interaction between particles is reflected in the formula for the collision kernel . It may be short-range or long-range. The most important case of short-range interaction is the **hard spheres** model, where particles are spheres interacting by contact. In that case, in dimension (constant cross-section). Typical models of long-range interactions are given by inverse power-law forces. In dimension , if the intermolecular force scales like with , then

where is smooth except near ,

and

** Conserved quantities and entropy structure **

Boltzmann’s and Landau’s collision operators have the fundamental properties of conserving mass, momentum and energy

for and satisfying (the first part of) Boltzmann’s theorem, which can be formally written as

where Boltzmann’s so-called “ functional”

is the opposite of the entropy of the gas. The second part of Boltzmann’s theorem states that under appropriate boundary conditions, any equilibrium distribution function (that is, such that ) satisfies , or equivalently , and takes the form of a Maxwellian (gaussian) distribution associated with the parameters , and which are interpreted as respectively the density, mean velocity and temperature of the gas.

** The linearized collision operators **

We introduce the fluctuation around the Maxwellian equilibrium computed above:

where denotes the Lebesgue space on with reference measure . Then the linearized collision operator writes

It is easy to check that is symmetric in the Hilbert space and that it is non-positive in this space (this is the linearized form of the theorem). The dissipation of squared norm, that is the opposite of the Dirichlet form associated with , is

It is straightforward from this formula that the null space of has dimension , and is spanned by the so-called **collisional invariants** .

** Comparison with usual differential operators and classification **

The Boltzmann collision operators are *a priori* extremely intricate, partly due to their integral or integro-differential nature (and partly of course due to their nonlinear nature!). Therefore it is useful, in order to grab an intuition of these operators, to draw a parallel with usual differential operators which are more familiar.

For the Boltzmann collision operators, say with collision kernel of the form , the most important two “parameters” interplaying and determining its behavior are (1) the growth or decay of , and (2) the singularity of at grazing collisions . To be more precise, let us consider the model case , and , as , for the Boltzmann collision operator. Then the order of singularity (2) plays the role of the order (highest number of derivatives) in a differential operator. For instance in the model means a zero order operator, whereas means a fractional differential operator with order . And the growth or decay of (1) plays the role of the growth or decay of the coefficients in a differential operator. Therefore (the so-called Maxwell or pseudo-Maxwell molecules cases) would correspond to a constant coefficients differential operator, and (similar to hard spheres) would correspond to unbounded polynomially growing coefficients. From this comparison it becomes natural to consider the Landau collision operator with formally as the limit case in the above classification.

**Estimating relaxation to equilibrium **

The relaxation to equilibrium has been studied since the works of Boltzmann and it is at the core of kinetic theory. The motivation is to provide an analytic basis for the second principle of thermodynamics for a statistical physics model of a gas out of equilibrium. Indeed, Boltzmann’s famous theorem gives an analytic meaning to the entropy production process and identifies possible equilibrium states. In this context, proving convergence towards equilibrium is a fundamental step to justify Boltzmann model, but cannot be fully satisfactory as long as it remains based on non-constructive arguments. Indeed, as suggested implicitly by Boltzmann when answering critics of his theory based on Poincaré’s recurrence Theorem, the validity of the Boltzmann equation breaks for very large time for a discussion). It is therefore crucial to obtain constructive quantitative informations on the time scale of the convergence, in order to show that this time scale is much smaller than the time scale of validity of the model. Cercignani’s conjecture is an attempt to provide such constructive quantitative estimates. In the words of Cercignani: “*The present contribution is intended as a step toward the solution of the first main problem of kinetic theory, as defined by Truesdell and Muncaster, i.e. “to discover and specify the circumstances that give rise to solutions which persist forever”.*” It is inspired by the entropy – entropy production method, that we now briefly describe.

** The entropy – entropy production method **

This method was first used in kinetic theory for the **Fokker-Planck equation**

In that case, the equilibrium is given by the formula

and the entropy production is

The exponential convergence is then obtained thanks to the **logarithmic Sobolev inequality**, which exactly means in this setting

Consider the more general case of an equation for which a Lyapunov functional exists, that is

and assume that the entropy is maximal for a unique function (among the functions belonging to a space depending on the conserved quantities in the equation). As seen in the previous section, this structure is provided by the theorem for Boltzmann and Landau equations. The **entropy – entropy production method** consists in looking for (functional) estimates like

where is a function such that

The stronger increases near the better the rate of relaxation to equilibrium, since the differential inequality

leads to

where is the reciprocal of a primitive of {}. Then, if the relative entropy is coercive in the sense that it controls from below some distance or some norm (denoted by ) between and its associated equilibrium distribution (for the Boltzmann entropy this is precisely provided by the so-called Czizsar-Kullback-Pinsker inequality, we obtain

where (generically) In the particular case (like in the case of the Fokker-Planck equation), one gets

*i.e.*, **exponential convergence towards equilibrium** (with explicit rate). In the slightly worse case for some (or all) we can deduce

and we thus get **algebraic convergence towards equilibrium** (with explicit rate). When can be taken as small as one wishes, we speak of **almost exponential convergence**.

** Cercignani’s conjecture **

The original Cercignani’s conjecture is written in the following form: for any and its associated maxwellian state with same mass, momentum and temperature

where is the density (mass of ) and is a “*suitable constant*”. We shall now develop this very general statement into a layer of more specified conjectures. Let us fix without loss of generality. In the case when the constant only depends on the collision kernel , the temperature of (or ), and some bound on the entropy of (*i.e.*, only the basic physical *a priori* estimates), we shall call this inequality the **strong form of Cercignani’s conjecture**. In the case when the constant also depends on some additional bounds on (typically of smoothness, moments and lower bounds), we shall call such an inequality the **weak form of Cercignani’s conjecture**. Let us point out that it is of crucial importance to know whether the bounds used can be shown to be propagated by the Boltzmann equation, in order to be able to “apply” the weak form of Cercignani’s conjecture to the relaxation to equilibrium of its solutions. This of course guides which bounds are natural or not. In the slightly different case when the following inequality holds

we shall speak of the **-polynomial Cercignani’s conjecture** and it can be divided again into weak and strong versions according to how much the constant depends on . Finally a strictly similar hierarchy of conjectures can be formulated on the Landau entropy production functional, and we shall call it **Cercignani’s conjecture for the Landau equation**.

** A linearized counterpart to the conjecture **

A natural linearized counterpart of Cercignani’s conjecture for the Boltzmann or Landau equation consists in replacing the entropy production functional and the Boltzmann entropy by their linearized approximation, *i.e.*, respectively the Dirichlet form of the collision operators discussed above and the norm. This spectral gap question was already well-known for a long time and used by Cercignani as an inspiration and supportive argument for his conjecture. So let us call this the **linearized Cercignani’s conjecture**:

where denotes the orthogonal projector in onto the null space of the linearized collision operator, and only depends on the collision kernel and the temperature of . Note that due the linear homogeneity of this relation, no weak version (with constant depending on the function ) would make sense. Again obviously the same question can be asked on the Dirichlet form of the Landau collision operators and leads to the **linearized Cercignani’s conjecture for the Landau equation**.

** Comparison with differential operators **

In the light of the comparison we have made with usual differential operators, a functional inequality interpretation of Cercignani’s conjecture is the following. Its nonlinear form is an intricate (because of strong nonlinearity and average over additional angular variables) amplified version of a logarithmic Sobolev inequality. Its linearized form is an intricate (because again of average over additional angular variables) amplified version of a Poincaré inequality.