Abstract
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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Entropy production estimates have been significantly used in recent years for the study of partial differential equations. Such estimates arise in many contexts for different purposes:
-
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 Di Perna-Lions 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 \(\int f\log f\) appeared in this context in the fundamental work [32] on parabolic equations. We refer the reader to [28] 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, 25, 36] 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 [31, 33], just to mention a few.
In the kinetic framework, entropy and entropy production have been thoroughly studied for the Boltzmann equation [24, 36] 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 [23], 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 [5], 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 [5] 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 [6].
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 \mapsto \Pi (z)\) denotes the orthogonal projection on \(({\mathbb {R}}z)^\perp \),
and \(\Psi (z)=|z|^{2+\gamma }\) is the kinetic potential. The choice \(\Psi (z)=|z|^{2+\gamma }\) 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 \(\hslash \approx 1.054\times 10^{-34} \mathrm {m}^{2}\mathrm {kg\,s}^{-1}\), the mass m, and the statistical weight \(\beta \) 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, \(\beta =2\) corresponding to the two possible electron spin values. In the case of electrons \(m\approx 9.1\times 10^{-31}\) kg, and therefore, \({\varvec{\varepsilon }}\approx 1.93\times 10^{-10}\ll 1\). The parameter \({\varvec{\varepsilon }}\) encapsulates the quantum effects of the model, the case \({\varvec{\varepsilon }}=0\) corresponding to the classical Landau equation as studied in [23].
The above equation shares many properties with the classical Landau equation, corresponding to non quantum particles:
which corresponds to the case \({\varvec{\varepsilon }}=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 [12, 13, 22, 23].
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 \(\gamma \in [0,1]\). We refer to [5, 7] for a discussion of the model, its physical relevance and the properties of the solutions for \(\gamma \in [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 [5], 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< \gamma <0\), has been initiated by the authors of the present paper in [6].
1.2 The Role of Entropy
In the classical context (corresponding to \({\varvec{\varepsilon }}=0\)), the Boltzmann entropy
is a Lyapunov functional for (1.3), i.e.
if f(t) is a suitable solution to (1.3). Moreover, given any constant \({\varvec{u}} \in {\mathbb {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
satisfying (1.4) with equality sign.
In the quantum case, for \({\varvec{\varepsilon }}>0\), one introduces the Fermi–Dirac entropy:
i.e. \({\mathcal {S}}_{{\varvec{\varepsilon }}}(f)= -{\varvec{\varepsilon }}^{-1}\left( H({\varvec{\varepsilon }}\,f)+H(1-{\varvec{\varepsilon }}f)\right) \), well-defined for any \(0 \leqslant f\leqslant {\varvec{\varepsilon }}^{-1}.\) One can then show that \(-{\mathcal {S}}_{{\varvec{\varepsilon }}}(f)\) is a Lyapunov function for (1.1), i.e.
for any suitable solution to (1.1). For \({\varvec{\varepsilon }}\geqslant 0\), the entropy production associated to the above Landau–Fermi–Dirac operator is defined as
for any smooth function \(0< g < {\varvec{\varepsilon }}^{-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, \({\mathcal {Q}}_{{\varvec{\varepsilon }}}({\mathcal {M}}_{{\varvec{\varepsilon }}})=0\) if \({\mathcal {M}}_{{\varvec{\varepsilon }}}\) is the following Fermi–Dirac statistics:
where the parameters \(a_{{\varvec{\varepsilon }}},b_{{\varvec{\varepsilon }}}\) are semi-explicit and tuned so that \({\mathcal {M}}_{{\varvec{\varepsilon }}}\) satisfies (1.4) with equality sign. Second, the distribution
where \(B({\varvec{u}},R)\) is the open ball in \({\mathbb {R}}^{3}\) centered at \({\varvec{u}}\) with explicit radius \(R:= \left( \dfrac{3\varrho {\varvec{\varepsilon }}}{|{\mathbb {S}}^{2}|} \right) ^{\frac{1}{3}}\), also satisfies \({\mathcal {Q}}_{{\varvec{\varepsilon }}}(F_{{\varvec{\varepsilon }}})=0\) and (1.4) (for \({\varvec{\varepsilon }}\) small enough), where \(|{\mathbb {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 \(-{\mathcal {S}}_{{\varvec{\varepsilon }}}(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 [5] dealing with \(\gamma \in (0,1]\).
Theorem 1.1
Consider \(0 < \gamma \leqslant 1\) and \(0\leqslant f_0\in L^{1}_{s_\gamma }({\mathbb {R}}^{3})\) with \(s_{\gamma }=\max \{\tfrac{3\gamma }{2}+2,4-\gamma \}\) satisfying (1.11), and let \(f=f(t,v)\) be a weak solution to (1.1) as constructed in [7]. Then,
-
(1)
\(\lim _{t\rightarrow \infty }\Vert f(t)-{\mathcal {M}}_{{\varvec{\varepsilon }}}\Vert _{L^{1}_{2}}=0\) where \({\mathcal {M}}_{{\varvec{\varepsilon }}}\) is the Fermi–Dirac statistics with same mass, energy and momentum as \(f_{0}\).
-
(2)
If moreover \(f \in L^{2}_{k}({\mathbb {R}}^{3})\) for k large enough (explicit), then there exists \({\varvec{\varepsilon }}^{\ddagger } \in (0,1)\) such that for any \({\varvec{\varepsilon }}\in (0,{\varvec{\varepsilon }}^{\ddagger })\),
$$\begin{aligned} \Vert f(t)-{\mathcal {M}}_{{\varvec{\varepsilon }}}\Vert _{L^{1}_{2}} \leqslant C\exp (-\lambda _{{\varvec{\varepsilon }}}t), \qquad \forall \,t \geqslant 0\,, \end{aligned}$$(1.10)where \(\lambda _{{\varvec{\varepsilon }}} >0\) is explicit, and \(C>0\).
Here above and in all the sequel,
with
The optimal convergence given in (1.10) is based upon a careful spectral analysis of the linearized Landau–Fermi–Dirac operator around \({\mathcal {M}}_{{\varvec{\varepsilon }}}\), and \(\lambda _{{\varvec{\varepsilon }}} >0\) is its spectral gap. The condition on the quantum parameter \({\varvec{\varepsilon }}\in (0,{\varvec{\varepsilon }}^{\ddagger })\) is interpreted as a non-saturation condition of the dynamics (and not as a smallness condition). Indeed, if we call \({\varvec{\varepsilon }}_{\mathrm {sat}}\) the limiting quantum parameter that saturates the initial data, the results in [5] are valid in the range \(0<{\varvec{\varepsilon }}^{\ddagger }<c\,{\varvec{\varepsilon }}_{\mathrm {sat}}\) for some explicit universal \(c<1\). Although convergence to Fermi–Dirac statistics still happens up to \({\varvec{\varepsilon }}^{\ddagger }<{\varvec{\varepsilon }}_{\mathrm {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 \in L^1_2({\mathbb {R}}^3)\) with \(0 \leqslant f \leqslant {\varvec{\varepsilon }}^{-1}\) and \(0 \leqslant g \leqslant {\varvec{\varepsilon }}^{-1}\), by
The definition is similar to the usual Boltzmann relative entropy
defined for nonnegative \(f,g \in L^{1}({\mathbb {R}}^{3})\) with \(\int _{{\mathbb {R}}^{3}}f(v)\mathrm {d}v=\int _{{\mathbb {R}}^{3}}g(v)\mathrm {d}v\), 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_{\mathrm {in}}\) is associated to:
Definition 1.2
Fix \({\varvec{\varepsilon }}_{0}>0\) and a nonnegative \(f_{\mathrm {in}}\in L^{1}_{2}({\mathbb {R}}^{3})\) satisfying
For any \({\varvec{\varepsilon }}\in [0,{\varvec{\varepsilon }}_{0}]\), we say that \(f \in {\mathcal {Y}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}})\) if \(f\in L^{1}_{2}({\mathbb {R}}^{3})\) satisfies \(0\leqslant f\leqslant {\varvec{\varepsilon }}^{-1}\),
and \({\mathcal {S}}_{{\varvec{\varepsilon }}}(f) \geqslant {\mathcal {S}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}}).\)
Remark 1.3
The definition above can be naturally extended to cover the case \({\varvec{\varepsilon }}=0\). Of course for this case we also assume \({\varvec{\varepsilon }}_{0}=0\) and replace (1.11) simply with
and we say that \(f \in {\mathcal {Y}}_{0}(f_{\mathrm {in}})\) if \(f \in L^{1}_{2}({\mathbb {R}}^{3})\) is nonnegative and satisfies (1.12) together with \(H(f) \leqslant H(f_{\mathrm {in}})\).
Up to replacing f with
there is no loss in generality in assuming
This assumption will be made in all the sequel and \({\mathcal {M}}_{{\varvec{\varepsilon }}}\) will always denote the Fermi–Dirac statistics corresponding to this normalization. We point out that the constants in the various statements in the sequel all depend on \(\Vert f_\mathrm{in}\Vert _{L^1_2}\) and, as such, would differ if another choice of normalisation is made. Solutions to the Landau–Fermi–Dirac (also called LFD) equation constructed in [7] are known to belong (for all \(t \geqslant 0\)) to the class \({\mathcal {Y}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}})\) if the initial datum \(f_{\mathrm {in}}\) satisfies conditions (1.11)–(1.12). This is the reason why we focus on the study of the entropy production functional \({\mathscr {D}}_{{\varvec{\varepsilon }}}(g)\) for functions g belonging to such a class. More specifically, \(f_{\mathrm {in}}\) will always be assumed to satisfy (1.11)–(1.12).
The analysis developed in this manuscript allows us to revisit the contribution of [5], devoted to hard potentials, and to improve it in several aspects. More precisely, we provide a new entropy–entropy production estimate based on works of the third author which allows to strengthen and simplify several results given in [5]. Namely, we prove the following inequality.
Theorem 1.4
Assume that g belongs to the class \({\mathcal {Y}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}})\) together with the normalization (1.13) and assume moreover that there exists \(\kappa _{0} >0\) such that
Then for \(\gamma \geqslant 0\),
where \(\lambda (g) >0\) is given by
with
and
Recall that \({\mathcal {M}}_{{\varvec{\varepsilon }}}\) and \(b_{{\varvec{\varepsilon }}}\) 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 Eq. (1.1) satisfy (1.14) as soon as \(t>0\). We refer to [5, 6] for the proof of this fact in the range \(\gamma \in (-2,0]\) and \(\gamma \in (0,1]\) respectively, under some conditions on \({\varvec{\varepsilon }}<{\varvec{\varepsilon }}_{\mathrm {sat}}\). In fact, \(\kappa _0\) is uniform w.r.t. time when \(t \geqslant t_0>0\).
It is noteworthy to observe that Theorem 1.4 is valid in the classical case \({\varvec{\varepsilon }}=0\) with \(g \in {\mathcal {Y}}_{0}(f_{\mathrm {in}})\) (as described in Remark 1.3). In this case, assumption (1.14) is clearly satisfied and \(b_{0}=\frac{1}{2}.\) This yields the following novel version of the results in [23], 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 [28, Chapter 2] and Proposition 4 extracted from [20]):
Corollary 1.5
Assume that \(g \in {\mathcal {Y}}_{0}(f_{\mathrm {in}})\) together with the normalization (1.13). The Landau entropy production
satisfies, for \(\gamma \geqslant 0\),
where \(\lambda (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 [23]:
Corollary 1.6
Let \(\gamma \in [0,1]\). Consider \(0\leqslant f_{\mathrm {in}}\in L^{1}_{2+\delta }({\mathbb {R}}^{3})\), with \(\delta >0\), satisfying (1.11) in the case \({\varvec{\varepsilon }}=0={\varvec{\varepsilon }}_{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 [22]. Then, for any \(t_{0} >0\), there exists some explicit \(\mu >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,\cdot )\) is a solution to (1.3) as constructed in [22], then
so that, according to Corollary 1.5, we deduce that
One can then prove easily (see Sect. 4 for details) that, for any \(t_{0} >0\),
from which the conclusion follows by a simple application of Gronwall Lemma and the fact that \({\mathcal {H}}_{0}(f(t_{0})|{\mathcal {M}}) \leqslant {\mathcal {H}}_{0}(f_{\mathrm {in}}|{\mathcal {M}})\). \(\square \)
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.
Theorem 1.7
Let \(\gamma \in (0,1]\). Consider \(0 \leqslant f_{\mathrm {in}}\in L^{1}_{s_{\gamma }}({\mathbb {R}}^{3})\), with \(s_{\gamma }=\max \big \{\tfrac{3\gamma }{2}+2, 4-\gamma \big \}\), satisfying (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 \({\varvec{\varepsilon }}^{\dagger } \in (0,{\varvec{\varepsilon }}_{0})\) and \(\mu >0\) (depending only on \(t_{0}\) and \(H(f_{\mathrm {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]:
for all \(0 \leqslant f \leqslant \frac{1}{{\varvec{\varepsilon }}}\) with
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:
Theorem 1.8
Let \(0\leqslant f_{\mathrm {in}}\in L^{1}_{2}({\mathbb {R}}^{3})\) be fixed, and satisfy (1.11) together with the normalization (1.12)–(1.13). Assume that \(\gamma <0\) and \({\varvec{\varepsilon }}\in (0,{\varvec{\varepsilon }}_{0}]\). Then, there exists a positive constant \(C_{0}(\gamma )\) depending only on \(H(f_{\mathrm {in}})\) and on \(\gamma \) such that
A similar result is known to hold for Landau equation (i.e. \({\varvec{\varepsilon }}=0\)), and is a consequence of more general functional inequalities for the entropy production \({\mathscr {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 Sect. 2, we present the two main functional inequalities satisfied by the entropy production \({\mathscr {D}}_{{\varvec{\varepsilon }}}\). In particular the complete proof of Theorem 1.8 is presented. The method is inspired by the results of [18, 20]. In Sect. 3, the links of the functional inequalities obtained in Sect. 2 and the relative entropy \({\mathcal {H}}_{{\varvec{\varepsilon }}}(f|{\mathcal {M}}_{{\varvec{\varepsilon }}})\) are described. We give the full proof of Theorem 1.4 which is valid for hard (and Maxwell molecules) potentials \(\gamma \geqslant 0\). We briefly explain how such estimates can be used to the study of the LFD equation (1.1) for soft potentials \(\gamma <0\), anticipating the results obtained in [6]. We finally apply Theorem 1.4 to the long time behaviour and get Theorem 1.7, extending the results of [5], in Sect. 4.
2 Two Kinds of Functional Inequalities for Entropy Production
We provide in this section the two main functional inequalities associated to the entropy production \({\mathscr {D}}_{{\varvec{\varepsilon }}}(f)\). Before doing so, we recall the following result, see [5, Lemmas 2.3, 2.4].
Lemma 2.1
Let \(0\leqslant f_{\mathrm {in}}\in L^{1}_{2}({\mathbb {R}}^{3})\) be fixed and bounded satisfying (1.11). Then, for any \({\varvec{\varepsilon }}\in (0,{\varvec{\varepsilon }}_{0}]\), the following holds:
-
(1)
For any \(f \in {\mathcal {Y}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}})\), it holds that
$$\begin{aligned} \inf _{0<{\varvec{\varepsilon }}\leqslant {\varvec{\varepsilon }}_{0}}\int _{|v|\leqslant R(f_{\mathrm {in}})} f(1-{\varvec{\varepsilon }}f)\, \mathrm {d}v \geqslant \eta (f_{\mathrm {in}})>0\,, \end{aligned}$$(2.1)for some \(R(f_{\mathrm {in}})>0\) and \(\eta (f_{\mathrm {in}})\) depending only on \(H(f_{\mathrm {in}})\) but not on \({\varvec{\varepsilon }}\).
-
(2)
For any \(\delta >0\) there exists \(\eta _*(\delta )>0\) depending only on \(H(f_{\mathrm {in}})\) such that for any \(f \in {\mathcal {Y}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}})\), and any measurable set \(A\subset {\mathbb {R}}^3\),
$$\begin{aligned} |A|\leqslant {\eta _*(\delta )} \Longrightarrow \int _A f(1-{\varvec{\varepsilon }}f)\, \mathrm {d}v \leqslant \delta . \end{aligned}$$(2.2)
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 \(\gamma >0\)) and prove the following functional inequality where, for any \(s \in {\mathbb {R}}\) and any function \(f=f(v)\) and \(\chi =\chi (r)\) \((r \geqslant 0\)), we set
Proposition 2.2
(Functional inequality) Let \(g=g(v),\,M=M(v) \geqslant 0\) and \(\phi = \phi (r)\) be given nonnegative functions with \(0 \leqslant g\leqslant {\varvec{\varepsilon }}^{-1}\). Write
Then, for any \(\gamma \in {\mathbb {R}}\) and any \(i,j=1,2,3\), \(i\ne j\),
where
and
One deduces then our main result in this context (Theorem 1.8) in this way:
Proof of Theorem 1.8
Remember that \(\gamma <0\). Let us fix \({\varvec{\varepsilon }}\in (0,{\varvec{\varepsilon }}_{0}]\) and \(g \in {\mathcal {Y}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}})\). Notice then that
under assumptions (1.12)–(1.13). We apply Proposition 2.2 with
One has
and
by Cauchy–Schwarz inequality. Moreover, there is some explicit \(C_{\gamma } >0\) such that,
so that
resulting in
Finally,
Therefore, with such a choice of \(\phi \) and M, we get (for all \(i\ne j\))
It remains to find a lower bound for \(\Delta _{\phi ,i,j}(F)\). One can write
where \(\llbracket \cdot ,\cdot \rrbracket \) denotes the inner product on \(L^{2}({\mathbb {R}}^{3}, \phi (\frac{1}{2}|\cdot |^2)F \mathrm {d}w)\). Thus, \(\Delta _{\phi , i,j}(F)\) is the determinant of a Gram matrix and as such,
since the right-hand side is less than any eigenvalue of the matrix. Recall that we picked \(\phi (z)=(1+2z)^{\gamma /4}\). For any \(\sigma =(\sigma _{1},\sigma _{2},\sigma _{3}) \in {\mathbb {S}}^{2}\), one has, for all \(\tau>0, R >0\),
where \(B_{R}=\{w \in {\mathbb {R}}^{3}\,;\,|w| \leqslant R\}\). Thus
With the notations of Lemma 2.1, let now consider \(\delta >0\), to be fixed later. Arguing as in [19, p. 141], we can find \(\tau =\tau _{R, \delta } >0\) small enough such that
where, for any \(\sigma \in {\mathbb {S}}^{2}\), we introduced the set \(A_{\tau }=\left\{ \left| \sigma _{1}+\sigma _{2}\,w_{i}+\sigma _{3}\,w_{j}\right| \leqslant \tau \right\} \). Then, thanks to Lemma 2.1 (2),
Selecting \(R=R(f_{\mathrm {in}})\) given by Lemma 2.1 (1), and using the quantity \(\eta (f_{\mathrm {in}}) > 0\) appearing in this lemma,
We pick then \(\delta =\frac{1}{2}\eta (f_{\mathrm {in}})\), and get that \(\Delta _{\phi ,i,j}(F)\) is bounded below by some strictly positive constant depending only on \(H(f_{\mathrm {in}})\). We conclude then thanks to (2.4). \(\square \)
Remark 2.3
Whenever \(-3 \leqslant \gamma \leqslant 0\), for an initial datum \(f_{\mathrm {in}}\) satisfying assumptions (1.11) and (1.12), any suitable solution \(f(t,\cdot )\) to Landau–Fermi–Dirac equation (as constructed for instance in [6] in the case \(-2 < \gamma \leqslant 0\)) will then satisfy
Since
one deduces then that
Notice that a different proof of such inequalities is obtained in [6] for \(-2< \gamma <0.\)
Using the Sobolev embedding \(\Vert u\Vert _{L^{6}}\lesssim \Vert \nabla u\Vert _{L^{2}}\) with \(u=\langle v\rangle ^{\gamma /2}\sqrt{f(t,\cdot )}\). The above regularity estimate translates easily into an estimate for the weighted norm \(\Vert \langle \cdot \rangle ^{\gamma }{f(t,\cdot )}\Vert _{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 [6] for details).
2.2 Entropy Production Aiming to Long-Time Behaviour
We will consider in all this Section a function \(f_{\mathrm {in}}\) satisfying (1.11)–(1.12) and (1.13) and a function g belonging to the class \({\mathcal {Y}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}})\), \({\varvec{\varepsilon }}\in (0,{\varvec{\varepsilon }}_{0}]\) (or \(g \in {\mathcal {Y}}_{0}(f_{\mathrm {in}})\) in the case \({\varvec{\varepsilon }}=0={\varvec{\varepsilon }}_{0}\), see Remark 1.3).
Without loss of generality (it amounts to the use of a rotation of \({\mathbb {R}}^3\)), we also assume that
Noticing that, for any \(z,y \in {\mathbb {R}}^{3}\),
we have, with \(z=v-v_{*}\) and \(y=\nabla \varphi -\nabla \varphi _{*}\),
where \(F=g(1-{\varvec{\varepsilon }}\,g)\) and
Notice that
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
Remark 2.4
Notice that, under the additional assumption that \(\inf _{v}(1-{\varvec{\varepsilon }}g(v)) \geqslant \kappa _{0}\) (see (1.14) hereafter),
which makes K well-defined. Moreover, \(K <0\) with \(\lim _{{\varvec{\varepsilon }}\rightarrow 0}K_{{\varvec{\varepsilon }}}=-\int _{{\mathbb {R}}^{3}}g(v)\mathrm {d}v=-1\). One actually can check that
In particular, since \(\nabla {\mathcal {M}}_{{\varvec{\varepsilon }}}(v)=-2b_{{\varvec{\varepsilon }}}v\,{\mathcal {M}}_{{\varvec{\varepsilon }}}(v)(1-{\varvec{\varepsilon }}{\mathcal {M}}_{{\varvec{\varepsilon }}}(v))\), one has
since the energy of \({\mathcal {M}}_{{\varvec{\varepsilon }}}\) 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 \(\kappa _{0} >0.\) Then, for any \(\gamma \in {\mathbb {R}}\) and any \(i\ne j\),
and
where, for any \(s \geqslant 0\),
Proof
From Cauchy–Schwarz inequality, we infer that
so that
The last integral is bounded from above by \(4\kappa _{0}^{-2}{\mathscr {D}}_{{\varvec{\varepsilon }}}(g)\) according to (1.14), whereas the first integral is obviously bounded by \({\varvec{I}}_{\gamma }^{(2)}(g)\), whence the result. The proof for \(N_{ij}\) is identical. \(\square \)
Remark 2.7
Notice that, for \(\gamma >0\), \({\varvec{I}}_{\gamma }^{(s)}(g) <\infty \) as soon as \(v \mapsto |v|^{s}g(v)\) is smooth enough whereas for \(\gamma < 0\), using that \(|v-w|^{-\gamma } \leqslant \max (1, 2^{-\gamma - 1}) \, \langle v\rangle ^{-\gamma }\langle w\rangle ^{-\gamma }\) for any \(v,w \in {\mathbb {R}}^{3}\), one sees that
Notice that (2.10) can be written as
so that
and integrating against \(g(v)\langle v\rangle ^{\gamma }\), we obtain
which holds for any \(1 \leqslant i \ne j\leqslant 3\), and any \(\gamma \in {\mathbb {R}}.\) We need to estimate the various terms in the right-hand side of this expression. We begin with the following:
Lemma 2.8
With the above notations, for any \(\gamma \in {\mathbb {R}}\), we have
where, for \(\ell =1,2,3\),
Proof
Using (2.10) for i, j, k all distinct, we see that
Taking the square of (2.16) and integrating against \(g(v)\langle v\rangle ^{\min (\gamma ,0)}\), we get
One observes then easily, by a homogeneity argument, that if \(\gamma <0\), then
whereas, using (1.12), we have
since \(0\leqslant a_{j} \leqslant 3\). This shows that
so that (2.17) reads
Remembering that \(a_1+a_2+a_3=3\), which can be rewritten (for i, j, k all distinct)
we get first that
whereas (2.18) implies
and
which result in (2.14). \(\square \)
We also get the following lemma:
Lemma 2.9
For any \(\gamma \in {\mathbb {R}}\), we set \({\varvec{A}}_{\gamma }=\max \displaystyle \left( 1,\frac{3}{\min _{\ell }A_{\ell ,\gamma }}\right) \) and
One has, for all distinct \(i,j,k \in \{1,2,3\}\)
Proof
One observes that, inserting (2.10) in (2.9), we get
Integrating the square of this identity against \(g(v)\langle v\rangle ^{\min (\gamma ,0)-2}\), we obtain
Clearly, by a homogeneity argument, the left-hand-side is bigger than
whereas, using the bound \(v_{i}^{2}\langle v\rangle ^{\min (\gamma -2,-2)} \leqslant 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 \({\varvec{A}}_{\gamma }.\) \(\square \)
Remark 2.10
Arguing exactly as in [13, Proof of Proposition 5, Estimate of \(S_{f}\), pp. 395–396], one can prove easily that, when
there exist \(c_{0} >0\) depending on \({\bar{H}}\) and \(c_{1} >0\) such that
In the same way, for \(\gamma <0\), and any \(\sigma \in {\mathbb {S}}^{1}\),
where \(C_{R}:=\{v \in {\mathbb {R}}^{3}\,,\,|v| \leqslant R\,,\,|\sigma _{1}v_{\ell }-\sigma _{2}| \geqslant 1\}.\) Then,
since \(\int _{|v|>R}g(v)\mathrm {d}v \leqslant R^{-2}\int _{|v| >R}g(v)|v|^{2}\mathrm {d}v \leqslant \tfrac{3}{R^{2}}.\) Now, arguing exactly as in [3, Proposition A.1], under (2.22), there exists \(C({\bar{H}}) >0\) depending only on \({\bar{H}}\) such that
Remark 2.11
Recall (see [5, Proof of Lemma 2.4]) that, if \(g \in {\mathcal {Y}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}})\) and satisfy the normalization conditions (1.12)–(1.13) then
where we recall that \(\, H(g)=\int _{{\mathbb {R}}^{3}}g(v)\log g(v)\mathrm {d}v\). Reminding also from [3, Lemma A.1] that there is some constant \(c_{2} >0\) such that
we see that, for \(g \in {\mathcal {Y}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}})\), (2.22) is met with \({\bar{H}}\) depending only on \(H(f_{\mathrm {in}})\).
We have all in hands to prove the functional inequality.
Proposition 2.12
Let g satisfy (1.12)–(1.13) and (1.14), and \(\gamma \in {\mathbb {R}}\). Then, the following estimate holds:
where \({\varvec{B}}_{\gamma }=\max _{i\ne j}B_{ij}\), \({\varvec{A}}_{\gamma }=\max \left( 1,\frac{3}{\min _{j}A_{j,\gamma }}\right) \), \({\varvec{e}}_{\gamma }=\frac{3}{\min _{i}a_{i}}\),
and we recall that \(K=\dfrac{1}{{\varvec{\varepsilon }}}\displaystyle \int _{{\mathbb {R}}^{3}}\log (1-{\varvec{\varepsilon }}g)\mathrm {d}v\), where \(A_{j,\gamma }\) is defined in (2.15), \(a_i\) is defined in (2.11), and \(B_{ij}\) is defined in (2.21).
Proof
We fix \(j \in \{1,2,3\}\) and estimate the terms in (2.13) using the previous Lemmas. For a fixed \(i\ne 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_{k}^{2} \leqslant 9\) and \(\frac{1}{A_{k,\gamma }} \leqslant \frac{1}{3}{\varvec{A}}_{\gamma }\) for any \(k \in \{1,2,3\}.\) According to Lemma 2.6, one obtains then
Moreover, still using Lemma 2.6,
One also has from Lemma 2.9
which, from Lemma 2.6 gives
Combining these estimates, summing up over \(j=1,2,3\) and using that \(1 \leqslant {\varvec{A}}_{\gamma },\) \(1 \leqslant {\varvec{e}}_{\gamma }\), while \({\varvec{I}}_{\gamma }^{(0)}(g)+{\varvec{I}}_{\gamma }^{(2)}(g)={\mathscr {I}}_{\gamma }(g)\), we get
which yields the desired estimate. \(\square \)
3 Link with the Relative Entropy
The results of the previous section presented several functional inequalities for the entropy production \({\mathscr {D}}_{{\varvec{\varepsilon }}}\) 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 \({\mathscr {D}}_{{\varvec{\varepsilon }}}(g)\) controls some quantity \({\varvec{F}}^{(\gamma )}(g)\) (see (2.23)), which has to be interpreted as a weighted relative Fisher information for \(h=\log g-\log (1-{\varvec{\varepsilon }}g)\). To be able to get tractable estimates for the evolution of the relative entropy \({\mathcal {H}}_{{\varvec{\varepsilon }}}(g\,|{\mathcal {M}}_{{\varvec{\varepsilon }}})\), a comparison of such relative Fisher information to \({\mathcal {H}}_{{\varvec{\varepsilon }}}(g\,|{\mathcal {M}}_{{\varvec{\varepsilon }}})\) is needed. We face two difficulties:
-
(i)
First, because of the parameter K, the Fermi–Dirac statistics is not making the weighted Fisher information vanish. The relative Fisher information which can be related to the Fermi–Dirac entropy is, for function g satisfying (1.12),
$$\begin{aligned} {\mathscr {F}}_{{\varvec{\varepsilon }}}^{(\gamma )}(g)=\int _{{\mathbb {R}}^{3}}\left| \nabla h(v)+2b_{{\varvec{\varepsilon }}}v\right| ^{2}g(v)\langle v\rangle ^{\min (\gamma ,0)}\mathrm {d}v,\end{aligned}$$(3.1)since it is the one which vanishes for \(g={\mathcal {M}}_{{\varvec{\varepsilon }}}\) 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 well-known and is given by the logarithmic Sobolev inequality [28, Chapter 2].
3.1 The Hard Potential (and Maxwell Molecules) Case
In this paragraph, we assume \(\gamma \geqslant 0.\) We still consider here functions g in the class \({\mathcal {Y}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}})\) as in Sect. 2.2. In this case, the weighted relative Fisher information \({\varvec{F}}^{(\gamma )}\) in (2.23) can be bounded from below by \({\varvec{F}}^{(0)}\), i.e.
and inequality (2.23) reads
where \(\lambda ^{-1}(g)\) is given by (1.15), since \(A_{\gamma } = 3 \,{\varvec{e}}_{\gamma }\) when \(\gamma \geqslant 0\). Now,
where we recall that h is given by (2.3). Using this with the identity \(g \nabla h = - \frac{1}{{\varvec{\varepsilon }}} \nabla \log (1 - {\varvec{\varepsilon }}g)\) and the fact that the energy of g is 3, gives
With the notation (3.1), the same considerations give
Taking this into account, inequality (3.2) reads
or equivalently
It is known from general results in [14] that \({\mathscr {F}}^{(0)}_{{\varvec{\varepsilon }}}(g)\) controls the relative entropy \({\mathcal {H}}_{{\varvec{\varepsilon }}}(g|{\mathcal {M}}_{{\varvec{\varepsilon }}})\) (see [15, Eq. (3.21)]). Precisely,
We therefore need to compare \((K+2b_{{\varvec{\varepsilon }}})\) with \({\mathscr {D}}_{{\varvec{\varepsilon }}}(g)\).
Lemma 3.1
If \(g \in {\mathcal {Y}}_{{\varvec{\varepsilon }}}(f_{\mathrm{in}})\) satisfies (1.12)–(1.13) and (1.14) and \({\mathcal {M}}_{{\varvec{\varepsilon }}}\) is the associated Fermi–Dirac statistics,
Proof
One has
where we introduced the function \(\zeta (x)=\log (1-x)+x\), \(x >0\). Observe that
so that
Assuming that \(\min (1-{\varvec{\varepsilon }}x,1-{\varvec{\varepsilon }}y) \geqslant \kappa _{0}\) and, say, \(x>y\), one gets
so that
which gives the result. \(\square \)
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). \(\square \)
A crucial point for the long time behaviour of solutions to Landau–Fermi–Dirac equation is that \(\Vert g\Vert _{\infty }\) is independent of \({\varvec{\varepsilon }}\) (in the large time), so that we can take \({\varvec{\varepsilon }}\) sufficiently small for the coefficient in the theorem to be positive.
3.2 The Soft-Potential Case
The case \(\gamma < 0\) is difficult due to the weight \(\langle \cdot \rangle ^{\gamma }\) in \({\varvec{F}}^{(\gamma )}(g)\). In particular, no functional inequality in the spirit of (3.4) seems available in this case. In order to exploit the entropy production \({\mathscr {D}}_{{\varvec{\varepsilon }}}(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 \(\gamma < 0\) and \(\gamma \geqslant 0\). More specifically, denoting the entropy production associated to the potential \(\Psi (z)=|z|^{s+2}\) by \({\mathscr {D}}_{{\varvec{\varepsilon }}}^{(s)}(g)\),
with \({\varvec{\Xi }}_{{\varvec{\varepsilon }}}[g]\) defined by (1.7), a use of Hölder’s inequality implies that, for \(0 \leqslant g\leqslant {\varvec{\varepsilon }}^{-1}\) with \({\mathcal {S}}_{{\varvec{\varepsilon }}}(g) < \infty \),
Using Theorem 1.4 for \(\gamma =0\), one sees that
for some function \({\bar{\lambda }}_{{\varvec{\varepsilon }}}(g)\) which can be chosen to be positive under a smallness assumption on \({\varvec{\varepsilon }}>0\) provided that \(\Vert g\Vert _{\infty } \leqslant C < {\varvec{\varepsilon }}^{-1}\) for some positive constant independent of \({\varvec{\varepsilon }}\).
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 \({\varvec{\varepsilon }}_{\star } >0\) and \(\lambda _{0} >0\) such that
Therefore, to bound from below \({\mathscr {D}}_{{\varvec{\varepsilon }}}^{(\gamma )}(g)\) by some power of \({\mathcal {H}}_{{\varvec{\varepsilon }}}(g|{\mathcal {M}}_{{\varvec{\varepsilon }}})\), it suffices to provide an upper bound for \({\mathscr {D}}^{(s)}_{{\varvec{\varepsilon }}}(g)\), hopefully independent of \({\varvec{\varepsilon }}\).
It is not difficult to check that
Therefore, establishing an upper bound for \({\mathscr {D}}_{{\varvec{\varepsilon }}}^{(s)}(g)\) is equivalent to establish an upper bound for the weighted Fisher information \(\int _{{\mathbb {R}}^{3}}\langle v \rangle ^{s+2}\big | \nabla \sqrt{g}\big |^{2}\mathrm {d}v\).
This approach is adopted successfully for the solution to (1.1) in our contribution [6] for moderate soft potentials \(\gamma \in (-2,0)\). We refer to [6, Sect. 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.
4 Application to the Long Time Behaviour of Solutions for Hard Potentials
In all this Section, we consider hard potentials. We aim here to complement the results obtained in [5] regarding the long time behaviour of the solutions to (1.1) in that case. We recall that in reference [5] exponential convergence to equilibrium has been obtained for \(\gamma \in (0,1]\) by combining a non-optimal functional inequality for \({\mathscr {D}}_{{\varvec{\varepsilon }}}(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 [25], for the Landau–Fermi–Dirac equation.
4.1 Reminders of Known Estimates
We recall that the following results were obtained in [5, Theorem 3.1].
Proposition 4.1
Consider \(0 < \gamma \leqslant 1\) and \(0\leqslant f_{\mathrm {in}}\in L^{1}_{s_{\gamma }}({\mathbb {R}}^{3})\), with \(s_{\gamma }=\max \big \{\tfrac{3\gamma }{2}+2, 4-\gamma \big \}\), satisfying (1.11) together with the normalization (1.12)–(1.13). Let \(f=f(t,v)\) be a weak solution to the LFD equation.
(i) Then, for any \(s\geqslant 0\)
(ii) There exists some positive constant \(C_{t_0}\) depending on \(H(f_{\mathrm {in}})\), s and \(t_0\), but not on \({\varvec{\varepsilon }}\), such that
Moreover, if
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 [5, Corollary 3.7].
Proposition 4.2
Consider \(0\leqslant f_{\mathrm {in}}\in L^{1}_{s_{\gamma }}({\mathbb {R}}^{3})\) satisfying (1.11) together with the normalization (1.12)–(1.13) and \(\gamma \in (0,1]\). Then, for any solution \(f(t)=f_{{\varvec{\varepsilon }}}(t)\) to (1.1), it holds
The constant \({\bar{C}}_{t_{0}}\) only depends on \(H(f_{\mathrm {in}})\) and \(t_0\).
Consequently, for any \(t_{0} >0\) and \({\bar{\kappa }}_{0} \in (0,1)\), there exists \({\varvec{\varepsilon }}_{\star }>0\) depending only on \({\bar{\kappa }}_{0}\), \(t_{0}\) and \(H(f_{\mathrm {in}})\), such that
4.2 Long Time Behaviour
We first observe that for any \(g \in {\mathcal {Y}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}})\), the quantity \(\lambda (g)\) is bounded below by a strictly positive constant depending only on \({\varvec{m}}_{2+\gamma }(g)\) and \(\Vert g\Vert _{L^{2}_{2+\gamma }}\). This is a consequence of the two following lemmas.
Lemma 4.3
Let \(\gamma \in [0,1]\). For any \(g \in {\mathcal {Y}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}}) \cap L^{2}_{2+\gamma }({\mathbb {R}}^{3})\) satisfying the normalization conditions (1.12)–(1.13), it holds that
for some \(c_\gamma >0\) depending only on \(\gamma \).
Proof
For all \(v \in {\mathbb {R}}^3\), we split the integration in \(\langle v\rangle ^{\gamma }\int _{{\mathbb {R}}^{3}}g(w)|v-w|^{-\gamma }\langle w\rangle ^{2}\mathrm {d}w\) according to the regions \(\{|v-w| \leqslant \tfrac{|v|}{2}\}\) and
to get
Each of the first two integrals can be bounded by \(\int _{{\mathbb {R}}^{3}}g(w)|v-w|^{-\gamma }\langle w\rangle ^{2+\gamma }\mathrm {d}w\) since \(\gamma \geqslant 0.\) Therefore, using the rough estimate \(2^{\gamma }+2^{\frac{\gamma }{2}} \leqslant 2^{\gamma +1}\), we end up with
As a consequence,
and the result follows from Young’s convolution inequality since \(\int _{|v| \leqslant 1}|v|^{-2\gamma }\mathrm {d}v < \infty \) for \(\gamma \in \left( 0,\frac{3}{2}\right) \). \(\square \)
We now have the equivalent of the bounds in Remarks 2.10 and 2.11 for \(\gamma \in [0,1]\).
Lemma 4.4
Let \(\gamma \in [0,1]\). For any \(g \in {\mathcal {Y}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}}) \cap L^{2}({\mathbb {R}}^{3})\), it holds that
are bounded below by a strictly positive constant depending only on \(\Vert g\Vert _{L^2}\).
Proof
We observe first that
so that it is sufficient to bound below \(\frac{1}{{\varvec{B}}_{\gamma }}\).
Then for all \(\tau \geqslant 0\) and \(\sigma \in {\mathbb {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 \(\sigma \) and \(i \ne j\), when \(\tau \) is small enough. \(\square \)
In that case, Theorem 1.4 can be improved as following:
Corollary 4.5
Assume that \(\gamma \in [0,1]\) and \(g \in {\mathcal {Y}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}}) \cap L^{2}_{2+\gamma }({\mathbb {R}}^{3})\) satisfies the normalization conditions (1.12)–(1.13). Then, there exists a positive constant \(C_{0}[g]>0\) depending only on \(\kappa _{0}\) and some (upper bounds on) \({\varvec{m}}_{2+\gamma }(g)\) and \(\Vert g\Vert _{L^{2}_{2+\gamma }}\), 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 \(\lambda (g)\) from below by a positive constant depending on \(\kappa _{0},\Vert g\Vert _{L^{2}_{2+\gamma }}\) and \({\varvec{m}}_{2+\gamma }(g)\). \(\square \)
We now are in a position to give a direct proof of the exponential decay of the relative entropy drastically improving [5, Theorem 6.10].
Proof of Theorem 1.7
The proof is a simple combination of Corollary 4.5 together with Propositions 4.1 and 4.2. Namely, for \(t_{0} >0\) and \({\bar{\kappa }}_{0} >0\), the solution f(t) to (1.1) satisfies the lower bound (4.2) for any \(t >t_{0}\) and any \({\varvec{\varepsilon }}\in (0,{\varvec{\varepsilon }}_{\star })\). Moreover, according to Proposition 4.1, \(\sup _{t \geqslant t_{0}}{\varvec{m}}_{2+\gamma }(f(t)) \leqslant C_{t_{0}}\) and \(\sup _{t\geqslant t_{0}}\Vert f(t)\Vert _{L^{2}_{2+\gamma }} \leqslant C_{t_{0}}.\) Consequently, with the notations of Corollary 4.5, one has
Now, using again Proposition 4.2, \(\sup _{t\geqslant t_{0}}\Vert f(t)\Vert _{L^{\infty }} \leqslant {\bar{C}}_{t_{0}}\). Moreover, according to [5, Lemma A.1], we know that \(b_{{\varvec{\varepsilon }}} >\frac{1}{8}\) for any \({\varvec{\varepsilon }}\leqslant {\overline{{\varvec{\varepsilon }}}}=\left( \frac{2}{5}\right) ^{\frac{5}{2}}(18\pi )^{\frac{3}{2}}\) and there is a universal numerical constant \(c_{0} >0\) such that \(\sup _{{\varvec{\varepsilon }}\in {(0,{\overline{{\varvec{\varepsilon }}}})}}\Vert {\mathcal {M}}_{{\varvec{\varepsilon }}}\Vert _{\infty } \leqslant c_{0}\)Footnote 1 , one can choose \({\varvec{\varepsilon }}^{\dagger }\in (0,{\overline{{\varvec{\varepsilon }}}})\) such that, say,
Setting now \(\mu :=\frac{1}{16}\nu \), one deduces from Corollary (4.5) that
Recall now that
so that we deduce after integration that
and the result follows since \({\mathcal {H}}_{{\varvec{\varepsilon }}}(f_{t_{0}}|{\mathcal {M}}_{{\varvec{\varepsilon }}}) \leqslant {\mathcal {H}}_{{\varvec{\varepsilon }}}(f_{\mathrm {in}}|{\mathcal {M}}_{{\varvec{\varepsilon }}}).\) \(\square \)
Notes
Namely, \(\Vert {\mathcal {M}}_{{\varvec{\varepsilon }}}\Vert _{L^{\infty }} \leqslant a_{{\varvec{\varepsilon }}} \leqslant \frac{5}{3}\left( \frac{5}{18\pi }\right) ^{\frac{3}{2}}\) for any \({\varvec{\varepsilon }}\leqslant {\overline{{\varvec{\varepsilon }}}}\) according to [5, Lemma A.1].
References
Aizenman, M., Bak, T.: Convergence to equilibrium in a system of reacting polymers. Commun. Math. Phys. 65, 203–230 (1979)
Alonso, R.J.: Emergence of exponentially weighted \(L^{p}\)-norms and Sobolev regularity for the Boltzmann equation. Commun. Partial Differ. Equ. 44, 416–446 (2019)
Alonso, R.J., Lods, B.: Two proofs of Haff’s law for dissipative gases: the use of entropy and the weakly inelastic regime. J. Math. Anal. Appl. 397, 260–275 (2013)
Alonso, R.J., Bagland, V., Lods, B.: Uniform estimates on the Fisher information for solutions to Boltzmann and Landau equations. Kinet. Relat. Models 12, 1163–1183 (2019)
Alonso, R.J., Bagland, V., Lods, B.: Long time dynamics for the Landau–Fermi–Dirac equation with hard potentials. J. Differ. Equ. 270, 596–663 (2021)
Alonso, R.J., Bagland, V., Desvillettes, L., Lods, B.: On the Landau–Fermi–Dirac Equation for Soft Potentials. Work in preparation
Bagland, V.: Well-posedness for the spatially homogeneous Landau–Fermi–Dirac equation for hard potentials. Proc. R. Soc. Edinb. Sect. A 134, 415–447 (2004)
Bagland, V., Lemou, M.: Equilibrium states for the Landau–Fermi–Dirac equation, nonlocal elliptic and parabolic problems. Banach Center Publ. 66, 29–37 (2004)
Cañizo, J.A., Einav, A., Lods, B.: Trend to equilibrium for the Becker–Döring equations: an analogue of Cercignani’s conjecture. Anal. PDE 10, 1663–1708 (2017)
Carlen, E.A., Carvalho, M.C.: Entropy production estimates for Boltzmann equations with physically realistic collision kernels. J. Stat. Phys. 74, 743–782 (1994)
Carlen, E.A., Gabetta, E., Toscani, G.: Propagation of smoothness and the rate of exponential convergence to equilibrium for a spatially homogeneous Maxwellian gas. Commun. Math. Phys. 199, 521–546 (1999)
Carrapatoso, K.: Exponential convergence to equilibrium for the homogeneous Landau equation with hard potentials. Bull. Sci. Math. 139, 777–805 (2015)
Carrapatoso, K., Desvillettes, L., He, L.: Estimates for the large time behavior of the Landau equation in the Coulomb case. Arch. Ration. Mech. Anal. 224, 381–420 (2017)
Carrillo, J.A., Jüngel, A., Markowich, P.A., Toscani, G., Unterreiter, A.: Entropy dissipation methods for degenerate parabolic problems and generalized Sobolev inequalities. Monatsh. Math. 133, 1–82 (2001)
Carrillo, J.A., Laurençot, P., Rosado, J.: Fermi–Dirac–Fokker–Planck equation: well-posedness and long-time asymptotics. J. Differ. Equ. 247, 2209–2234 (2009)
Cercignani, C.: H-theorem and trend to equilibrium in the kinetic theory of gases. Arch. Mech. (Arch. Mech. Stos.) 34, 231–241 (1983)
Chapman, S., Cowling, T.G.: The Mathematical Theory of Non-uniform Gases. Cambridge University Press, Cambridge (1970)
Desvillettes, L.: Entropy dissipation estimates for the Landau equation in the Coulomb case and applications. J. Funct. Anal. 269, 1359–1403 (2015)
Desvillettes, L.: Entropy dissipation estimates for the Landau equation: general cross sections. In: From Particle Systems to Partial Differential Equations. III, Vol. 162, pp. 121–143. Springer (2016)
Desvillettes, L.: About Boltzmann’s H-Theorem for Landau equation (Autour du Théorème H de Boltzmann). In: Proceedings of the Seminar ”Laurent Schwartz EDP et Applications” (2019–2020). to appear
Desvillettes, L., Fellner, K.: Exponential decay toward equilibrium via entropy methods for reaction-diffusion equations. J. Math. Anal. Appl. 319, 157–176 (2006)
Desvillettes, L., Villani, C.: On the spatially homogeneous Landau equation for hard potentials. Part I. Existence, uniqueness and smoothness. Commun. Partial Differ. Equ. 25, 179–259 (2000)
Desvillettes, L., Villani, C.: On the spatially homogeneous Landau equation for hard potentials. Part II : H theorem and applications. Commun. Partial Differ. Equ. 25, 261–298 (2000)
Desvillettes, L., Villani, C.: On the trend to global equilibrium for spatially inhomogeneous kinetic systems: the Boltzmann equation. Invent. Math. 159, 245–316 (2005)
Desvillettes, L., Mouhot, C., Villani, C.: Celebrating Cercignani’s conjecture for the Boltzmann equation. Kinet. Relat. Models 4(1), 277–294 (2011)
DiPerna, R.J., Lions, P.-L.: On the Cauchy problem for Boltzmann equations: global existence and weak stability. Ann. Math. 130, 321–366 (1989)
Gross, L.: Logarithmic Sobolev inequalities. Am. J. Math. 97, 1061–1083 (1975)
Jüngel, A.: Entropy methods for diffusive partial differential equations. In: SpringerBriefs in Mathematics. Springer (2016)
Lu, X.: On spatially homogeneous solutions of a modified Boltzmann equation for Fermi–Dirac particles. J. Stat. Phys. 105, 353–388 (2001)
Lu, X., Wennberg, B.: On stability and strong convergence for the spatially homogeneous Boltzmann equation for Fermi-Dirac particles. Arch. Ration. Mech. Anal. 168, 1–34 (2003)
Michel, P., Mischler, S., Perthame, B.: General relative entropy inequality: an illustration on growth models. J. Math. Pures Appl. 84, 1235–1260 (2005)
Nash, J.F.: Continuity of solutions of parabolic and elliptic equations. Am. J. Math. 80, 931–954 (1958)
Perthame, B.: Transport equations in biology. In: Frontiers in Mathematics. Birkhäuser Verlag, Basel (2007)
Toscani, G.: Entropy production and the rate of convergence to equilibrium for the Fokker–Planck equation. Q. Appl. Math. 57, 521–541 (1999)
Toscani, G., Villani, C.: On the trend to equilibrium for some dissipative systems with slowly increasing a priori bounds. J. Stat. Phys. 98, 1279–1309 (2000)
Villani, C.: Cercignani’s conjecture is sometimes true and always almost true. Commun. Math. Phys. 234, 455–490 (2003)
Acknowledgements
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).
Funding
Open access funding provided by University degli Studi di Torino within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Clement Mouhot.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Alonso, R., Bagland, V., Desvillettes, L. et al. About the Use of Entropy Production for the Landau–Fermi–Dirac Equation. J Stat Phys 183, 10 (2021). https://doi.org/10.1007/s10955-021-02751-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10955-021-02751-z