About the Use of Entropy Production for the Landau–Fermi–Dirac Equation

In this paper, we present new estimates for the entropy dissipation of the Landau–Fermi–Dirac equation (with hard or moderately soft potentials) in terms of a weighted relative Fisher information adapted to this equation. Such estimates are used for studying the large time behaviour of the equation, as well as for providing new a priori estimates (in the soft potential case). An important feature of such estimates is that they are uniform with respect to the quantum parameter. Consequently, the same estimations are recovered for the classical limit, that is the Landau equation.

• Entropy estimates contribute to new a priori estimates.This is the case in the kinetic theory of gases where the famous H-Theorem of Boltzmann is the cornerstone in many studies on the topic and one of the essential bricks in the construction of D P L renormalized solutions [26].That entropy yields new natural a priori estimates is also well-understood in the study of other equations, and the Boltzmann entropy f log f appeared in this context in the fundamental work [32] on parabolic equations.We refer the reader to [27] for an overview of entropy methods for diffusive equations.
• Entropy production estimates also arise naturally in the study of long time behaviour of solutions to evolution problems.Indeed, entropy acts in this case as a natural Lyapunov functional which brings the system towards its equilibrium state (which is a minimizer of the entropy) through some LaSalle's invariance principle.In this context, functional inequalities linking the entropy to the entropy production are a fundamental tool to quantify the rate of convergence.In the study of kinetic theory, this has been understood since the celebrated Cercignani's conjecture for Boltzmann equation [16,36,22] and the pioneering works [10,11].Such ideas have been applied efficiently also in various other frameworks, for the study of reaction-diffusion systems [21], parabolic equations [14], coagulation and fragmentation processes [1,9] and in various problems in mathematical biology [33,31], just to mention a few.
In the kinetic framework, entropy and entropy production have been thoroughly studied for the Boltzmann equation [36,25] as well as for the Landau equation.This latter equation arises in the modelling of plasma and can also be derived from the Boltzmann equation in the so-called grazing collision limit.For this model, the equivalent of Cercignani's conjecture was proven to hold first in the special case of the so-called Maxwell molecules in [24], together with weaker versions of the functional inequality linking the entropy to its entropy production for hard potentials.This kind of functional inequalities has been then extended to cover the physically relevant case of Coulomb interactions in [13] using techniques from [18].
In a recent contribution [3], the entropy method has been applied to the study of the long time behaviour of solutions to the Landau-Fermi-Dirac equation with hard potentials.Some non optimal functional inequalities linking the entropy production to the associated entropy have been obtained therein which, when combined with a careful spectral analysis, yield an optimal (exponential) rate of convergence to equilibrium.It is the purpose of this paper to provide a systematic study of the entropy and entropy production functional for the spatially homogeneous Landau-Fermi-Dirac equation, extending the results obtained in [3] and complementing them with a study of the soft potentials case.The results of the present contribution in that context will then be applied to the long-time behaviour of solutions to the Landau-Fermi-Dirac equation with moderately soft potentials in the forthcoming work [5].
1.1.The model.The Landau-Fermi-Dirac (LFD) equation models the time evolution of a particle gas satisfying Pauli's exclusion principle in the Landau's grazing limit regime and reads, in the homogeneous setting, as where the collision operator is given by a modification of the Landau operator which includes Pauli's exclusion principle: We use here the standard shorthand f = f (t, v) and f * = f (t, v * ).The matrix-valued function z → Π(z) denotes the orthogonal projection on (Rz) ⊥ , and Ψ(z) = |z| 2+γ is the kinetic potential.The choice Ψ(z) = |z| 2+γ corresponds to inverse power law potentials.We point out that the Pauli exclusion principle implies that a solution to (1.1) must satisfy the a priori bound where the quantum parameter depends on the reduced Planck constant ℏ ≈ 1.054 × 10 −34 m 2 kg s −1 , the mass m, and the statistical weight β of the particles species, see [17,Chapter 17].Recall that the statistical weight is the number of independent quantum states in which the particle can have the same internal energy.For example, for electrons, β = 2 corresponding to the two possible electron spin values.
In the case of electrons m ≈ 9.1×10 −31 kg, and therefore, ε ≈ 1.93×10 −10 ≪ 1.The parameter ε encapsulates the quantum effects of the model, the case ε = 0 corresponding to the classical Landau equation as studied in [24].The above equation shares many properties with the classical Landau equation, corresponding to non quantum particles: which corresponds to the case ε = 0.As mentioned earlier, Eq. (1.3) is a fundamental model of kinetic theory for plasmas and received considerable attention in the past decades, cf. for example [23,24,13,12].Up to our knowledge, the mathematical study of (1.1) has been restricted to the case of hard potentials (or Maxwell molecules) only, i.e. for γ ∈ [0 , 1].We refer to [3,7] for a discussion of the model, its physical relevance and the properties of the solutions for γ ∈ [0, 1].We point out here that the study of the Cauchy problem for (1.1) has been performed in [7], and the careful study of the steady states is given in [8].In a recent contribution [3], three of the authors of the present paper discussed both the regularity and the long time asymptotics of the solution to (1.1).The analysis of (1.1) for moderately soft potentials, corresponding to −2 < γ < 0, has been initiated by the authors of the present paper in [5].
1.2.The role of entropy.In the classical context (corresponding to ε = 0), the Boltzmann entropy 3).Moreover, given any constant u ∈ R 3 , under the constraints the functional H(f ) reaches its unique minimum if f is the Maxwellian distribution for which the above constraints are satisfied with equality sign.Of course, such a Maxwellian distribution is the only solution to Q 0 (M ) = 0, satisfying (1.4) with equality sign.In the quantum case, for ε > 0, one introduces the Fermi-Dirac entropy: i.e. S ε (f for any suitable solution to (1.1).For ε 0, the entropy production associated to the above Landau-Fermi-Dirac operator is defined as for any smooth function 0 < g < ε −1 , with In contrast to what happens in the classical case, here the steady solutions to (1.1) satisfying (1.4) are of two different kinds: first, where the parameters a ε , b ε are semi-explicit and tuned so that M ε satisfies (1.4) with equality sign.Second, the distribution where , also satisfies Q ε (F ε ) = 0 and (1.4) (for ε small enough), where |S 2 | is the volume of the unit sphere.Such a degenerate stationary state, referred to as saturated Fermi-Dirac distribution, can occur for very cold gases, where an explicit condition on the gas temperature can be found.Notice that, under the additional constraints: the Fermi-Dirac statistics is the unique stationary state (see [8]).It is also a minimizer of the functional −S ε (f ).
The coexistence of these two kinds of steady solutions has important consequences on the long time behaviour of solutions to (1.1).Indeed, as long as finite energy solutions are not saturated, only the Fermi-Dirac statistics (1.8) are possible limit points for the solution to (1.1); yet, if the initial datum happens to be very close to the degenerate state (1.9), one expects the convergence to be slowed down by such equilibrium regimes.To illustrate this, let us summarize some of the results of our contribution [3] dealing with γ ∈ (0, 1].Theorem 1.1.Consider 0 < γ 1 and 0 f 0 ∈ L 1 sγ (R 3 ) with s γ = max{ 3γ 2 + 2, 4 − γ} satisfying (1.11), and let f = f (t, v) be a weak solution to (1.1) as constructed in [7].Then, (1) where M ε is the Fermi-Dirac statistics with same mass, energy and momentum as f 0 .
Here above and in all the sequel, The optimal convergence given in (1.10) is based upon a careful spectral analysis of the linearized Landau-Fermi-Dirac operator around M ε , and λ ε > 0 is its spectral gap.The condition on the quantum parameter ε ∈ (0, ε ‡ ) is interpreted as a non-saturation condition of the dynamics (and not as a smallness condition).Indeed, if we call ε sat the limiting quantum parameter that saturates the initial data, the results in [3] are valid in the range 0 < ε ‡ < c ε sat for some explicit universal c < 1.Although convergence to Fermi-Dirac statistics still happens up to ε ‡ < ε sat , it is an open problem to prove such convergence with explicit rates.
The main scope of the present paper is to provide a direct approach to the trend to equilibrium for the evolution of the Landau-Fermi-Dirac dynamic where the convergence is obtained in terms of the relative entropy only.This requires sharp functional estimates.
Let us introduce the relative Fermi-Dirac entropy defined, for any nonnegative f, g ∈ L 1  2 (R 3 ) with 0 f ε −1 and 0 g ε −1 , by The definition is similar to the usual Boltzmann relative entropy dv, and used in particular in the study of (1.3).
1.3.Main results.Before stating the main results of the present contribution, we introduce the baseline class of functions to which the initial distribution f in is associated to: and S ε (f ) S ε (f in ).
Remark 1.3.The definition above can be naturally extended to cover the case ε = 0. Of course for this case we also assume ε 0 = 0 and replace (1.11) simply with and we say that ) is nonnegative and satisfies (1.12) together with Up to replacing f with there is no loss in generality in assuming This assumption will be made in all the sequel and M ε will always denote the Fermi-Dirac statistics corresponding to this normalization.Solutions to the Landau-Fermi-Dirac (also called LFD) equation constructed in [7] are known to belong (for all t 0) to the class Y ε (f in ) if the initial datum f in satisfies conditions (1.11)-(1.12).This is the reason why we focus on the study of the entropy production functional D ε (g) for functions g belonging to such a class.More specifically, f in will always be assumed to satisfy (1.11)-(1.12).The analysis developed in this manuscript allows us to revisit the contribution of [3], devoted to hard potentials, and to improve it in several aspects.More precisely, we provide a new entropyentropy production estimate based on works of the third author which allows to strengthen and simplify several results given in [3].Namely, we prove the following inequality.
Theorem 1.4.Assume that g belongs to the class Y ε (f in ) together with the normalization (1.13) and assume moreover that there exists κ 0 > 0 such that inf (1.14) Then for γ 0, where λ(g) > 0 is given by with Recall that M ε and b ε were introduced in (1.8).
The condition (1.14) is needed here to rule out the possibility that g be too close to the degenerate state (1.9).We already point out that solutions f (t, v) to LFD equation (1.1) satisfy (1.14) as soon as t > 0. We refer to [5,3] for the proof of this fact in the range γ ∈ (−2, 0] and γ ∈ (0, 1] respectively, under some conditions on ε < ε sat .In fact, κ 0 is uniform w.r.t.time when t t 0 > 0. It is noteworthy to observe that Theorem 1.4 is valid in the classical case ε = 0 with g ∈ Y 0 (f in ) (as described in Remark 1.3).In this case, assumption (1.14) is clearly satisfied and b 0 = 1 2 .This yields the following novel version of the results in [24], which can be seen as a variant of Cercignani's conjecture for the Landau equation with true hard potentials (this result could alternatively be obtained using the logarithmic Sobolev inequality of Gross [27,Chapter 2] and Proposition 4 extracted from [20]): Corollary 1.5.Assume that g ∈ Y 0 (f in ) together with the normalization (1.13).The Landau entropy production where λ(g) > 0 is given by (1.15).
For suitable solutions to Landau equation one deduces then the following corollary, which improves the entropic convergence obtained in [24]: 11) in the case ε = 0 = ε 0 together with the normalization (1.12)-(1.13).Let f = f (t, v) be a weak solution to the Landau equation (1.3) as constructed in [23].Then, for any t 0 > 0, there exists some explicit µ > 0 such that Proof.We give here a sketch of the proof which illustrates the interest of deriving functional inequalities like those of Theorem 1.4.If f (t, •) is a solution to (1.3) as constructed in [23], then ∀t > 0 so that, according to Corollary 1.5, we deduce that One can then prove easily (see Section 4 for details) that, for any t 0 > 0, inf from which the conclusion follows by a simple application of Gronwall Lemma and the fact that The above line of reasoning can be still implemented for the LFD equation and an important consequence of Theorem 1.4 is the following improvement of the convergence result stated in Theorem 1.1.
.11) together with the normalization (1.12)-(1.13).Let f = f (t, v) be a weak solution to the LFD equation as constructed in [7] .Then, for any t 0 > 0, there exists ε † ∈ (0, ε 0 ) and µ > 0 (depending only on t 0 and H(f in )), such that It is worth noticing that the convergence here is an entropic convergence which, of course, implies a convergence in L 1  2 thanks to the following Csiszar-Kullback inequality for Fermi-Dirac relative entropy obtained in [30,Theorem 3]: ) As mentioned earlier, we aim to provide a systematic study of the entropy production which in particular applies also to the study of soft potentials.For such soft potentials, the entropy estimate provides some fundamental a priori estimate on solutions to (1.1).We refer the reader to the recent contribution [20] where this question is described in detail for solutions to the Landau equation (1.3) for Coulomb interactions.In this context, our main result can be formulated as follows: 2 (R 3 ) be fixed, and satisfy (1.11) together with the normalization (1.12)-(1.13).Assume that γ < 0 and ε ∈ (0, ε 0 ].Then, there exists a positive constant C 0 (γ) depending only on H(f in ) and on γ such that A similar result is known to hold for Landau equation (i.e.ε = 0), and is a consequence of more general functional inequalities for the entropy production D 0 , see [18,19].In the quantum case, the situation is very similar, and Theorem 1.8 is a consequence of a more general functional inequality (see Proposition 2.2).
1.4.Organization of the paper.In Section 2, we present the two main functional inequalities satisfied by the entropy production D ε .In particular the complete proof of Theorem 1.8 is presented.The method is inspired by the results of [18,20].In Section 3, the links of the functional inequalities obtained in Section 2 and the relative entropy H ε (f |M ε ) are described.We give the full proof of Theorem 1.4 which is valid for hard (and Maxwell molecules) potentials γ 0. We briefly explain how such estimates can be used to the study of the LFD equation (1.1) for soft potentials γ < 0, anticipating the results obtained in [5].We finally apply Theorem 1.4 to the long time behaviour and get Theorem 1.7, extending the results of [3], in Section 4.
Acknowledgments.R. Alonso gratefully acknowledges the support from Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), grant Bolsa de Produtividade em Pesquisa (303325/2019-4).BL gratefully acknowledges the financial support from the Italian Ministry of Education, University and Research (MIUR), "Dipartimenti di Eccellenza" grant 2018-2022 as well as the support from the de Castro Statistics Initiative, Collegio Carlo Alberto (Torino).

T
We provide in this section the two main functional inequalities associated to the entropy production D ε (f ).Before doing so, we recall the following result, see ) be fixed and bounded satisfying (1.11).Then, for any ε ∈ (0, ε 0 ], the following holds: for some R(f in ) > 0 and η(f in ) depending only on H(f in ) but not on ε. (2) For any δ > 0 there exists η * (δ) > 0 depending only on H(f in ) such that for any f ∈ Y ε (f in ), and any measurable set 2.1.Entropy production aiming to regularity.We now aim to provide a control of the regularity of the solution f (t) to (1.1) by the entropy production in the spirit of [18,19].We first observe that we can easily adapt the computations of [19, Theorem 2] (which actually work also in the case γ > 0) and prove the following functional inequality where, for any s ∈ R and any function f = f (v) and χ = χ(r) (r 0), we set Then, for any γ ∈ R and any i, j = 1, 2, 3, i = j, where One deduces then our main result in this context (Theorem 1.8) in this way: Proof of Theorem 1.8.Remember that γ < 0. Let us fix ε ∈ (0, ε 0 ] and g ∈ Y ε (f in ).Notice then that under assumptions (1.12)-(1.13).We apply Proposition 2.2 with One has by Cauchy-Schwarz inequality.Moreover, there is some explicit Finally, Therefore, with such a choice of φ and M , we get (for all i = j) It remains to find a lower bound for ∆ φ,i,j (F ).One can write where •, • denotes the inner product on is the determinant of a Gram matrix and as such, ∆ φ,i,j (F ) since the right-hand side is less than any eigenvalue of the matrix.Recall that we picked φ(z) = (1 + 2z) γ/4 .For any σ = (σ 1 , σ 2 , σ 3 ) ∈ S 2 , one has, for all τ > 0, R > 0, With the notations of Lemma 2.1, let now consider δ > 0, to be fixed later.Arguing as in [19, p. 141], we can find τ = τ R,δ > 0 small enough such that where, for any σ ∈ S 2 , we introduced the set A τ = {|σ 1 + σ 2 w i + σ 3 w j | τ }.Then, thanks to Lemma 2.1 (2), ∆ φ,i,j (F ) Selecting R = R(f in ) given by Lemma 2.1 (1), and using the quantity η(f in ) > 0 appearing in this lemma, ∆ φ,i,j (F ) We pick then δ = 1  2 η(f in ), and get that ∆ φ,i,j (F ) is bounded below by some strictly positive constant depending only on H(f in ).We conclude then thanks to (2.4).
Using the Sobolev embedding u L 6 ∇u L 2 with u = v γ/2 f (t, •).The above regularity estimate translates easily into an estimate for the weighted norm • γ f (t, •) L 3 .It is also possible to deduce (for some p > 1) L p t L p v bounds for the solution to (1.1) (see [5] for details).

2.2.
Entropy production aiming to long-time behaviour.We will consider in all this Section a function f in satisfying (1.11)-(1.12)and (1.13) and a function g belonging to the class Without loss of generality (it amounts to the use of a rotation of R 3 ), we also assume that Noticing that, for any z, y ∈ R 3 , we have, with z = v − v * and y = ∇ϕ − ∇ϕ * , where F = g(1 − ε g) and Notice that q(v, w) = (v − w) × ∇h(v) − ∇h(w) .
We have clearly Integrating q ij (v, w) against g(w) and using (1.12), one has while, integrating q ij (v, w) against g(w)w i , one obtains where ) dv; Remark 2.4.Notice that, under the additional assumption that inf v (1 − εg(v)) κ 0 (see (1.14) hereafter), which makes K well-defined.Moreover, K < 0 with lim ε→0 K ε = − R 3 g(v)dv = −1.One actually can check that In particular, since , one has since the energy of M ε is equal to 3 and, because of radial symmetry, the directional energies all coincide.
Remark 2.5.Finally, notice that We begin with the following basic observation: Lemma 2.6.Besides the above assumption, we assume that g satisfies (1.14) for some κ 0 > 0.Then, for any γ ∈ R and any i = j, and where, for any s 0, Proof.From Cauchy-Schwarz inequality, we infer that The last integral is bounded from above by 4κ −2 0 D ε (g) according to (1.14), whereas the first integral is obviously bounded by I (2) γ (g), whence the result.The proof for N ij is identical.
We also get the following lemma: Lemma 2.9.For any γ ∈ R, we set One has, for all distinct i, j, k ∈ {1, 2, 3} Proof.One observes that, inserting (2.10) in (2.9), we get Integrating the square of this identity against g(v) v min(γ,0)−2 , we obtain Clearly, by a homogeneity argument, the left-hand-side is bigger than whereas, using the bound v 2 i v min(γ−2,−2) 1 and the fact that we obtain the bound where we used (2.20) to estimate the last term.We obtain the desired result using the definition of A γ .
Remark 2.10.Arguing exactly as in [13, Proof of Proposition 5, Estimate of S f , p. 395-396], one can prove easily that, when there exist c 0 > 0 depending on H and c 1 > 0 such that In the same way, for γ < 0, and any σ ∈ S 1 , where and satisfy the normalization conditions (1.12)-(1.13)then where we recall that H(g) = R 3 g(v) log g(v)dv.Reminding also from [6, Lemma A.1] that there is some constant c 2 > 0 such that We have all in hands to prove the functional inequality.Proposition 2.12.Let g satisfy (1.12)-(1.13)and (1.14), and γ ∈ R.Then, the following estimate holds: where and we recall that and B ij is defined in (2.21).
Proof.We fix j ∈ {1, 2, 3} and estimate the terms in (2.13) using the previous Lemmas.For a fixed i = j, we denote for simplicity S 1 , S 2 , S 3 the first, second and third term on the right-hand-side of (2.13).One deduces first from (2.14) that where we used that a 2 k 9 and 1 A γ for any k ∈ {1, 2, 3}.According to Lemma 2.6, one obtains then Moreover, still using Lemma 2.6, One also has from Lemma 2.9 Combining these estimates, summing up over j = 1, 2, 3 and using that 1 A γ , 1 e γ , while γ (g) = I γ (g), we get which yields the desired estimate.

L
The results of the previous section presented several functional inequalities for the entropy production D ε and some weighted Fisher information.Since applications are oriented more to the study of the long-time behaviour of the solution to (1.1), it is more relevant to link the entropy production to the Fermi-Dirac relative entropy rather than the Fisher information.Proposition 2.12 is a first step in this direction since the entropy production D ε (g) controls some quantity F (γ) (g) (see (2.23)), which has to be interpreted as a weighted relative Fisher information for h = log g − log(1 − εg).To be able to get tractable estimates for the evolution of the relative entropy H ε (g |M ε ), a comparison of such relative Fisher information to H ε (g |M ε ) is needed.We face two difficulties: i) First, because of the parameter K, the Fermi-Dirac statistics is not making the weigthed Fisher information vanish.The relative Fisher information which can be related to the Fermi-Dirac entropy is, for function g satisfying (1.12), since it is the one which vanishes for g = M ε given by (1.8).ii) Second, we need an additional general functional inequality which allows to link the relative Fisher information to the relative entropy.In the classical framework, such a link is wellknown and is given by the logarithmic Sobolev inequality [27, Chapter 2].
We still consider here functions g in the class Y ε (f in ) as in Section 2.2.In this case, the weighted relative Fisher information F (γ) in (2.23) can be bounded from below by F (0) , i.e.
Proof.One has where we introduced the function Assuming that min(1 − εx, 1 − εy) κ 0 and, say, x > y, one gets which gives the result.
We deduce from the above the full proof of our main result: Proof of Theorem 1.4.Combining (3.3) and (3.4) with the previous Lemma, we get which gives the result thanks to Czizar-Kullback inequality (1.16).
A crucial point for the long time behaviour of solutions to Landau-Fermi-Dirac equation is that g ∞ is independent of ε (in the large time), so that we can take ε sufficiently small for the coefficient in the theorem to be positive.

3.2.
The soft-potential case.The case γ < 0 is difficult due to the weight • γ in F (γ) (g).In particular, no functional inequality in the spirit of (3.4) seems available in this case.In order to exploit the entropy production D ε (g) to deduce results about the long time behaviour of solutions to (1.1), a possible route is to adapt the strategy initiated in [35] which consists in looking for an interpolation estimate between the entropy dissipation associated to γ < 0 and γ 0.More specifically, denoting the entropy production associated to the potential with Ξ ε [g] defined by (1.7), a use of Hölder's inequality implies that, for 0 Using Theorem 1.4 for γ = 0, one sees that for some function λε (g) which can be chosen to be positive under a smallness assumption on ε > 0 provided that g ∞ C < ε −1 for some positive constant independent of ε.
Assuming such inequality, we deduce that In the application to the equation, it is possible to prove that C depends only on mass, energy, and initial entropy of g.Thus, there exists an explicit ε ⋆ > 0 and λ 0 > 0 such that inf{ λε (g) ; g ∞ C} λ 0 > 0, ∀ε ∈ (0, ε ⋆ ].
Therefore, to bound from below D ε (g) by some power of H ε (g|M ε ), it suffices to provide an upper bound for D This approach is adopted successfully for the solution to (1.1) in our contribution [5] for moderate soft potentials γ ∈ (−2, 0).We refer to [5,Section 6] for more details, but we can already point out that several major technical difficulties arise when trying to follow this approach: (1) First, one needs to obtain a control of the various terms in Theorem 1.4, i.e. regularity estimates, moment estimates and related issues.All these quantities depend of course on the time t, but the a priori estimates turn out to grow moderately with time.
(2) Second and more difficult, one needs to show that the solution f (t, v) to (1.1) satisfies the lower bound (1.14).Such bounds are derived thanks to a new approach based on a suitable level set approach inspired by De Giorgi's method for parabolic equation and introduced in [2] for the study of Boltzmann equation.(3) Finally, because of the upper bound (3.5), some upper bound for the Fisher information with weights has to be established for solution to (1.1).This can be done by adapting to the Landau-Fermi-Dirac case the recent approach of [4], introduced for both the Boltzmann and Landau equation.

A
In all this Section, we consider hard potentials.We aim here to complement the results obtained in [3] regarding the long time behaviour of the solutions to (1.1) in that case.We recall that in reference [3] exponential convergence to equilibrium has been obtained for γ ∈ (0, 1] by combining a non-optimal functional inequality for D ε (f (t)) together with a careful spectral analysis of the linearized equation.Based on the results of the previous section, we prove that exponential convergence can be deduced directly thanks to the entropy production appearing in Theorem 1.4 which is an analogue of a proof of Cercignani's conjecture, refer to [22], for the Landau-Fermi-Dirac equation.(i) Then, for any s 0 (ii) There exists some positive constant C t 0 depending on H(f in ), s and t 0 , but not on ε, such that then t 0 = 0 is a valid choice in the estimate (4.1) with a constant depending on such initial quantity.
We also recall the following pointwise estimates, taken from [3, Corollary 3.7].
The constant Ct 0 only depends on H(f in ) and t 0 .
Consequently, for any t 0 > 0 and κ0 ∈ (0, 1), there exists ε ⋆ > 0 depending only on κ0 , t 0 and H(f in ), such that .This is a consequence of the two following lemmas.
Proof.For all v ∈ R 3 , we split the integration in v γ Proof.We observe first that so that it is sufficient to bound below 1 Bγ .Then for all τ 0 and σ ∈ S 1 , with the notations of Lemma 2.1 (1), . This last quantity is bounded below by a strictly positive constant, uniformly with respect to σ and i = j, when τ is small enough.
In that case, Theorem 1.4 can be improved as following: Corollary 4.5.Assume that γ ∈ [0, 1] and g ∈ Y ε (f in ) ∩ L 2 2+γ (R 3 ) satisfies the normalization conditions (1.12)-(1.13).Then, there exists a positive constant C 0 [g] > 0 depending only on κ 0 and some (upper bounds on) m 2+γ (g) and g L 2 2+γ , such that Proof.The proof is a simple application of Theorem 1.4 once we notice that, thanks to the two previous Lemmas, it is possible to bound λ(g) from below by a positive constant depending on κ 0 , g L 2 2+γ and m 2+γ (g).We now are in a position to give a direct proof of the exponential decay of the relative entropy drastically improving [3,Theorem 6.10].

. 5 )
Therefore, establishing an upper bound for D (s) ε (g) is equivalent to establish an upper bound for the weighted Fisher information R 3 v s+2 ∇ √ g 2 dv.
arguing exactly as in [6, Proposition A.1], under (2.22), there exists C( H) > 0 depending only on H such that Long time behaviour.We first observe that for any g ∈ Y ε (f in ), the quantity λ(g) is bounded below by a strictly positive constant depending only on m 2+γ (g) and g L 2 2+γ , sup t t 0 m 2+γ (f (t)) C t 0 and sup t t 0 f (t) L 2 2+γ C t 0 .Consequently, with the notations of Corollary 4.5, one has inf Now, using again Proposition 4.2, sup t t 0 f (t) L ∞ Ct 0 .Moreover, according to [3, Lemma A.1], we know that b ε > 1 C 0 [f (t)] =: ν > 0.