Abstract
In this paper, we introduce Prodi–Serrin like criteria which enable us to provide a priori estimates for the solutions to the spatially homogeneous Landau equation for all classical soft potentials and dimensions \(d \geqq 3\). The physical case of Coulomb interaction in dimension \(d=3\) is included in our analysis; this generalizes the work of Silvestre (J Differ Equ 262:3034–3055, 2017). Our approach is quantitative and does not require a preliminary knowledge of elaborate tools for nonlinear parabolic equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 The Spatially Homogeneous Landau Equation
In this work, we are interested in the regularity properties of the solutions to the (spatially homogeneous) Landau equation
supplemented with the initial condition
where \(\mathcal {Q}\) denotes the (quadratic) Landau collision operator
with the usual shorthands \(f:= f(v)\), \(f_*:= f(v_*)\), and where \(\Pi (z)\) is the orthogonal projector onto \(z^{\bot }\):
In the present contribution we obtain new results for the Landau equation in the case of so-called very soft potentials
including the physically relevant Coulomb case \(d=3\), \(\gamma = -3\), in which the Landau operator models collisions between charged particle; see Lifschitz-Pitaevskii [43]. We nevertheless point out that the results presented here still hold when \(-2 \leqq \gamma <0\) (so-called moderately soft potentials), and this enables us to get new proofs of already known results (see for example Wu [59]; Desvillettes [18] and Alonso et al. [5]). The case of Maxwell molecules (\(\gamma =0\)) and hard potentials (\(\gamma \in (0,1]\)) is quite different (see for example Desvillettes, Villani [22]), and is not considered in this work.
1.2 Notations
For \(k \in {\mathbb {R}}\) and \( p\geqq 1\), we define the Lebesgue space \(L^{p}_{k}=L^{p}_{k}({\mathbb {R}}^{d})\) through the norm
where \(\langle v\rangle :=\sqrt{1+|v|^{2}}\), \(v\in {\mathbb {R}}^{d}.\) For \(k=0\), we simply denote \(\Vert \cdot \Vert _{p}\) as the \(L^{p}\)-norm. We also denote the homogeneous Sobolev space \(\dot{\mathbb {H}}^{m}\) through the norm
and the weighted homogenous Sobolev space \(\dot{\mathbb {H}}^{m}_{k}\) through the norm
where \(\mathcal {F}[f]\) denotes the Fourier transform of f. Given \(k \in {\mathbb {R}}\) and \(f \in L^{1}_{k}({\mathbb {R}}^{d})\), we also define the statistical moments as
In relation to the coefficients of the Landau equation, we introduce, for \(\gamma \in [-d,0)\),
Therefore,
For any \(f \in L^{1}_{2+\gamma }({\mathbb {R}}^{d})\), we define then the matrix-valued mapping \(\mathcal {A}[f]\) given by
In the same way, we define \({\varvec{b}}[f] \in {\mathbb {R}}^{d}\) and \({\varvec{c}}_{\gamma }[f] \in {\mathbb {R}}\) by
We emphasize the dependency with respect to the parameter \(\gamma \) in \({\varvec{c}}_{\gamma }[f]\) since, in several places, we apply the same definition with \(\gamma +1\) replacing \(\gamma \). Notice that
where \(c_{d}:=(d-1)(d-2)|{\mathbb {S}}^{d-1}|.\)
With these notations, the Landau equation can then be written alternatively under the form
where \(D^{2}f\) is the Hessian matrix of f. Notice that, with respect to previous existing works on the field, we adopt here a convention in which the term \({\varvec{c}}_{\gamma }[f]\) in (1.5) is nonnegative. With such a convention, \({\varvec{c}}_{\gamma }[f]=-\nabla \cdot {\varvec{b}}[f].\)
1.3 Solutions to the (Spatially Homogeneous) Landau Equation
We discuss here some of the results existing in the literature for the Landau equation in dimension \(d=3\).
In the case of hard potentials (\(\gamma \in (0,1]\)), existence, uniqueness, appearance of smoothness and of moments is known Desvillettes, Villani [22]. Exponential convergence towards equilibrium also holds, see Alonso et al. [8] and Desvillettes [20]. The situation for Maxwell molecules (\(\gamma =0\)) and moderately soft potentials (\(\gamma \in [-2, 0)\)), is almost identical in terms of existence, uniqueness and appearance of smoothness. The main difference concerns the statistical moments, which are propagated (and grow at most linearly with time) but are not created (see Wu [59]; Desvillettes [18]; Desvillettes, Villani [22]). Moreover, the speed of convergence towards equilibrium is proved under suitable assumptions on the initial datum to be "stretched exponential" (see Theorem 1.4 of Carrapatoso [15] for the case \(-1< \gamma <0\) or Section 6 of Alonso et al. [7] for the more general case of Landau-Fermi-Dirac equation, covering in particular the Landau case). A systematic study of the Landau equation for moderately soft potentials, including in particular the “critical case” \(\gamma =-2\) has been addressed recently with techniques partly similar to those of the present paper in Alonso et al. [5].
The case of very soft potentials (\(\gamma \in [-3,-2)\)), which includes the physically relevant case of Coulomb potential (\(\gamma = -3\)) is different. Up to the appearance of the very recent paper [34], only weak solutions (including H-solutions) were known to exist and uniqueness was an open problem as discussed in Desvillettes [18]. Notice that stretched exponential convergence to equilibrium still holds Carrapatoso et al. [16].
Focusing on Coulomb interactions \(\gamma =-3\), the main a priori estimate in Lebesgue spaces states that H-solutions f satisfy
see Desvillettes [18]. We point out the very recent improvement in terms of moments for Coulomb potential \(\gamma =-3\) which shows that \(f \in L^{1}([0,T];L^{3}_{s}({\mathbb {R}}^{3}))\) with \(s \geqq -5\), see Ji [36]. Such an estimate is deduced from a careful study of the entropy production of the Landau collision operator and can be interpolated with the energy estimate stating that \(f \in L^{\infty }([0,T]; L^1_{2}({\mathbb {R}}^3))\).
As far as the regularity of solutions is concerned, it is possible to get a bound on the Hausdorff dimension of the times in which the solution might be singular (see Golse et al. [27] for the Coulomb case and Golse et al. [28] for general very soft potentials). Various perturbative results are also available in the literature: we refer to Golding et al. [24] for a recent construction of close-to-equilibrium solutions in the case of Coulomb interactions while local in time solutions for large data and global in time solutions for data close to equilibrium have been recently obtained in Desvillettes et al. [21].
Finally, in [53, Theorem 3.8], conditional results show that if the solution lies in \(L^{\infty }([0,T]; L^{p}_{\kappa }({\mathbb {R}}^3))\) for \(p>\frac{3}{2}\) and \(\kappa \) sufficiently large, then it is bounded and consequently smooth. We refer also to [12] for a local version of a close result.
We end this description of the literature on the Landau equation with very interesting results about a related model, known as the isotropic Landau equation, introduced in Ben Porath [38] and investigated later in Gressman et al. [29]; Gualdani and Guillen [31, 32]. For such a model, the projection \(\Pi (z)\) in the Landau equation is simply replaced with \(\Pi (z)=\textrm{Id}\) and this simplification yields striking results. In particular, there exists \(\gamma _{*} \in (-\frac{5}{2},-2)\) such that, for \(\gamma \in (\gamma _{*},-2)\), \(L^{p}\)-norms are propagated for \(p > \frac{d}{d+\gamma +2}\) and become instantaneously bounded. Therefore, classical solutions of the isotropic Landau equation remain smooth for every finite time (see Theorem 1.1 of Gualdani and Guillen [32]). Similar results have been obtained recently for an isotropic version of the Boltzmann equation; see Snelson [54].
1.4 Link Between the Landau Equation and the Navier–Stokes Equation
Some striking analogies between the spatially homogeneous Landau for very soft potentials and the incompressible 3d-Navier–Stokes have been observed in recent contributions. More precisely, recall the incompressible 3d-Navier–Stokes with viscosity \({\varvec{\nu }} >0\):
Here \(u=u(t,x) \in {\mathbb {R}}^{3}\). It appears that the H-solutions constructed in Villani [57] share several common points with Leray solutions to the incompressible 3d-Navier–Stokes equations Leray [41]; Ożański and Pooley [47]:
-
One first evidence is the contribution of the third author about the role of entropy dissipation, showing that H-solutions to Landau equation satisfy (1.13) for any \(T >0\) providing an a priori estimate for solutions f to (1.1). In particular, H-solutions to Landau equation are weak-solutions just like Leray solutions to Navier–Stokes equations are weak solutions and the entropy H plays for the Landau equation a similar role as the energy \(\Vert u(t)\Vert ^2_{2}\) for the Navier–Stokes equation. Note that in this analogy, \(\sqrt{f}\) plays the role of u, since on one hand \(\sqrt{f} \in L^{\infty }_t(L^2_v)\), and on the other hand \(\sqrt{f}\) belongs to some weigthed \(L^2_t(H^1_v)\) space.
-
Based on this estimate, it has been shown in Golse et al. [27] that the Hausdorff dimension of the set of time singularities is at most \(\frac{1}{2}\) for solutions to (1.1) in the Coulomb case (\(\gamma =-3\), \(d=3\)). This result has been extended to soft potentials \(-3< \gamma < -2\) in Golse et al. [28] and is the analogue of the celebrated Caffarelli-Kohn-Nirenberg Theorem Caffarelli et al. [14]; Ożański [48] for the Navier-Stokes equations.
-
Finally, a new monotonicity formula for a functional involving entropy, regularity and moments has been obtained in Desvillettes, He and Jiang [21]. This formula entails in particular that, if
$$\begin{aligned} H(f_{\textrm{in}})\left( \Vert f_{\textrm{in}}-\mathcal {M}\Vert _{\dot{\mathbb {H}}^{1}}+C\right) \leqq \frac{5}{2}, \end{aligned}$$then no blow-up can occur for solutions to (1.1). Here, \(H(f_{\textrm{in}})\) is the entropy of the initial datum, \(\mathcal {M}\) is the associated Maxwellian steady state, and \(C >0\) is some fixed universal constant. Such a result can be compared to the result of Leray [41] for Navier–Stokes equation which shows that, provided \(\Vert u_{\textrm{in}}\Vert _{2}\,\Vert \nabla u_{\textrm{in}}\Vert _{2} \ll 1,\) the Navier–Stokes equations admit global smooth solutions (see also Ożański and Pooley [47]). Regularity of solutions after a given (sufficiently large) time can also be considered as a common feature of both equations.
An important criterion about the existence of global classical solutions to 3d-incompressible Navier–Stokes equation is the celebrated Prodi–Serrin criterion which reads as follows (see [11, Theorems 4.8 and 4.9]):
Theorem 1.1
(Prodi–Serrin criterion for 3d-incompressible Navier–Stokes equation) Consider two Leray-Hopf weak solutions \(u,\tilde{u}\) of the Navier–Stokes equation with \(u(0)=\tilde{u}(0)=u_{\textrm{in}}\). If
then \(u=\tilde{u}\) on [0, T). Moreover, for \(q=3\) (and \(r=\infty \)), there exists a universal constant \(\delta >0\) such that, if
then \(u=\tilde{u}\) on [0, T). Finally, in both cases, u is a strong solution on [0, T] provided \(u_{\textrm{in}} \in H^{1}({\mathbb {R}}^{3})\) whereas, if \(u_{\textrm{in}} \in L^{2}({\mathbb {R}}^{3})\), then u is a strong solution solution on \([t_{*},T]\) for any \(t_{*} >0.\)
We refer to Bedrossian and Vicol [11]; Lemarié-Rieusset [40] for more details on the notions of Leray-Hopf weak solutions in the above Theorem. The aforementioned result has been proven first in Prodi [50] (with some additional assumption) for \(q >3\) and derived in the present form in Serrin [52], still for \(q >3.\) The statement here above for \(q=3\) is a very special case called the endpoint Prodi–Serrin criterion. It is somehow possible to remove the smallness assumption on \(\Vert u\Vert _{L^{\infty }([0,T];L^{3}({\mathbb {R}}^{3}))}\) in that case, but the corresponding result reads then a bit differently: the breakthrough result Iskauriaza et al. [35] dealing with the case \(r=\infty ,q=3\) shows indeed smoothness and uniqueness in some indirect way. Precisely, result of Iskauriaza et al. [35] rather reads as follows: if u is a classical solution to Navier-Stokes equation whose maximal time of existence T is finite, then
We also refer the reader to Chapters 12 and 15 of Lemarié–Rieusset [40]. Similar criteria have been established for other types of problems, spanning from the study of MHD equations Jia and Zhou [37] to stochastic differential equations Neves and Olivera [46]; Krylov and Röckner [39]; Rööckner and Zhao [51]. We notice that the proof of Theorem 1.1 is fully quantitative whereas the endpoint proof of Iskauriaza et al. [35] is obtained by contradiction and thanks to a compactness argument (we refer to the recent contributions Tao [56]; Palasek [49] for a quantitative approach of the same result).
1.5 Main Results of the Paper
In the present paper, we intend to obtain a result which extends the bounds obtained in Silvestre [53], and which is the equivalent for the Landau equation of the Prodi–Serrin result for the Navier–Stokes equation. As mentioned already, our results cover all dimensions \(d \geqq 3\), any soft potentials \(\gamma \in [-d, 0)\), and are valid for a suitable range of admissible \(L^r_t(L^q_v)\) spaces (with exception of the end-point estimate \(r=\infty \), see Section 5.2).
As it is the case for the Navier–Stokes equation, the Prodi–Serrin criteria that we obtain are actually the fundamental conditional assumptions which allow to prove the propagation and appearance of \(L^{p}\)-norms for suitable p, for the solutions to the spatially homogeneous equation. Such propagation/appearance of \(L^{p}\)-norms can be seen as the main result of the present contribution and such conditional results are completely new to our knowledge (for \(r<\infty \)). We will see that they are also the cornerstone for uniqueness and further smoothness of solutions to (1.1).
For the clarity of presentation, and due to the physical relevance of the Coulomb case, we distinguish the two cases \(\gamma =-d\) and \(\gamma \in (-d,0)\), beginning with the Prodi–Serrin criterion for Landau equation in the Coulomb case \(\gamma =-d\).
Theorem 1.2
(Prodi–Serrin criterion for Landau equation and Coulomb interaction) We consider an integer dimension \(d \geqq 3\) and let \(f_{\textrm{in}}\) and \(f=f(t,v)\) define a solution to Eq. (1.1) in the sense of Definition 1.15 with
Assume that the solution f satisfies one of the following conditions:
or
Then, the following holds:
-
(a)
(Propagation of \(L^{p}\)-norms). Given \(p \in (1,\infty )\), if \(f_{\textrm{in}} \in L^{p}({\mathbb {R}}^{d})\) then
$$\begin{aligned} \sup _{t \in [0,T]}\Vert f(t)\Vert _{p} \leqq {\varvec{C}}_{p,q,T}\,\Vert f_{\textrm{in}}\Vert _{p } \end{aligned}$$where \({\varvec{C}}_{p,q,T}\) is an explicit constant depending on p, d, q and the norms \(\Vert f\Vert _{L^{1}([0,T];\,L^{\infty }({\mathbb {R}}^{d}))}\) or \(\Vert \langle \cdot \rangle ^{d}f\Vert _{L^{r}([0,T];\,L^{q}({\mathbb {R}}^{d}))}\) according to the above condition (1.8).
-
(b)
(Appearance of \(L^{p}\)-norms). Given \(p \in (1,\infty )\), assume that
$$\begin{aligned} f_{\textrm{in}} \in L^{1}_{\nu _{p}}({\mathbb {R}}^{d}), \qquad \nu _{p}= \frac{d^{2}}{2}\frac{p-1}{p} \end{aligned}$$then
$$\begin{aligned} \Vert f(t)\Vert _{p} \leqq C_{p,T}(f_{\textrm{in}})\,t^{-\frac{d}{2}\left( 1-\frac{1}{p}\right) }, \qquad \forall t \in (0,T] \end{aligned}$$for some explicit positive constant \(C_{p,T}(f_{\textrm{in}})\) which depends on T, p, d, q, the initial datum \(f_{\textrm{in}}\) through the quantifies \(\varrho _{\textrm{in}}\), \(E_{\textrm{in}}\), \(H(f_{\textrm{in}})\) defined in Definition 1.11, \(\Vert f_{\textrm{in}}\Vert _{L^{1}_{\nu _{p}}}\), and the norms associated to the above condition (1.8).
Remark 1.3
We emphasise here the different nature of the two Prodi–Serrin criteria in (1.8). The assumption (1.8a) does not require any moment assumption on f whereas the Prodi–Serrin criterion (1.8b) involves the weighted solution \(\langle \cdot \rangle ^{d}f\), see Remark 1.6 for more details. We also point out that, under the assumption \(f \in L^{1}([0,T]\,,\,L^{\infty }({\mathbb {R}}^{d}))\), the conclusion of point (a) still holds for \(p=\infty \) (see Proposition 2.1).
The full proof of the above Theorem is presented in Section 2 and is based on several intermediate results. Typically, Proposition 2.1 shows the propagation of \(L^{p}\)-norm under the \(L^{1}_{t}(L^{\infty }_{v})\) criterion while Proposition 2.2 shows the appearance of \(L^{p}\)-norms under this assumption. The general \(L^{r}_{t}(L^{q}_{v})\) case is dealt with in Proposition 2.5 and Corollary 2.7 for appearance and propagation of \(L^{p}\)-norms respectively. Note also that constants are explicitly given in those propositions.
An analogue of the above result holds true for general soft-potentials \(\gamma \in (-d,0)\).
Theorem 1.4
(Prodi–Serrin criterion for Landau equation with soft potentials) We consider an integer dimension \(d \geqq 3\) and let \(f_{\textrm{in}}\) and \(f=f(t,v)\) define a solution to Eq. (1.1) in the sense of Definition 1.15 with
Assume that the solution f satisfies either
or
where \(r \in (1,\infty ),\) \(q \in \left( \max \left( 1,\frac{d}{d+\gamma +2}\right) , \frac{d}{d+\gamma } \right) .\) Then, the following holds:
-
(a)
(Propagation of \(L^{p}\)-norms). If \(f_{\textrm{in}} \in L^{p}({\mathbb {R}}^{d})\) with \(p \in (1,\frac{d}{d+\gamma })\) under condition (1.9a) or \(p \in (1,\infty )\) under condition (1.9b), then
$$\begin{aligned} \sup _{t \in [0,T]}\Vert f(t)\Vert _{p} \leqq {\varvec{C}}_{p,\gamma ,q,T}\,\Vert f_{\textrm{in}}\Vert _{p } \end{aligned}$$where \({\varvec{C}}_{p,\gamma ,q,T}\) is an explicit constant depending on \(p,d,q,\gamma \) the initial datum \(f_{\textrm{in}}\) through \(\varrho _{\textrm{in}}\), \(E_{\textrm{in}}\), \(H(f_{\textrm{in}})\), and the norms associated to the above conditions (1.9).
-
(b)
(Appearance of \(L^{p}\)-norms). Let \(p \in (1,\frac{d}{d+\gamma })\) under condition (1.9a) or \(p \in (1,\infty )\) under condition (1.9b). Assume that
$$\begin{aligned} f_{\textrm{in}} \in L^{1}_{\nu _{\gamma ,p}}({\mathbb {R}}^{d}), \qquad \nu _{\gamma ,p}:= \frac{|\gamma | d}{2}\left( 1-\frac{1}{p}\right) , \end{aligned}$$then
$$\begin{aligned} \Vert f(t)\Vert _{p} \leqq C_{p,\gamma ,q,T}(f_{\textrm{in}})\,t^{-\frac{d}{2}(1-\frac{1}{p})}, \qquad \forall t \in (0,T] \end{aligned}$$for some explicit positive constant \(C_{p,\gamma ,q,T}(f_{\textrm{in}})\) which depends on \(d,\gamma ,T,p,q\), the initial datum \(f_{\textrm{in}}\) through \(\varrho _{\textrm{in}}\), \(E_{\textrm{in}}\), \(H(f_{\textrm{in}})\), \(\Vert f_{\textrm{in}}\Vert _{L^{1}_{\nu _{\gamma ,p}}}\), and the norms associated to the above condition (1.9).
Remark 1.5
Notice that the link \(\frac{2}{r}+\frac{d}{q}=2+d+\gamma \), with \(r,q >1\) implies
so that this condition is automatically satisfied in Theorem 1.4.
Remark 1.6
As in the Coulomb case, one notices the discrepancy between the two sets of assumptions for our Prodi–Serrin like criteria. In particular, the assumption (1.9a) does not require any moment assumption on f whereas the Prodi–Serrin criterion (1.9b) applies to the weighted solution \(\langle \cdot \rangle ^{|\gamma |}f\) instead of the mere solution f. We point out that, by using a simple interpolation argument, we can reformulate the Prodi–Serrin assumption with an inequality linking the two parameters (r, q). Namely, if one assumes that \(\gamma +2<0\) and
then given \(\max \left( 1,\frac{d}{d+\gamma +2}\right)< q < \infty \), assuming
one can find \(r >1\) such that
We also refer to Golding et al. [24] for consideration on another kind of inequality relating the parameters r and q.
The above result is similar to its analogue for the Coulomb case but we point out here that, dealing with soft-potentials \(\gamma \in (-d,0)\) leads to additional technical difficulties due to the fact that the lowest order term \({\varvec{c}}_{\gamma }[f]\) in (1.1) is a convolution. To overcome this difficulty, we give here a general estimate involving such a term, which is a variant of estimates introduced in Gualdani and Guillen [30], who named it \(\varepsilon \)-Poincaré inequality. For moderately soft potentials, the \(\varepsilon \)-Poincaré inequality has been already used to show the appearance of \(L^{p}\)-norms in the contributions Alonso et al. [7]; Alonso et al. [5]. We propose here a version, possibly sharp, of such a functional inequality, which involves suitable \(L^{q}\)-space estimates.
Proposition 1.7
(General \(\varepsilon \)-Poincaré inequality) Assume that \(d\in {\mathbb {N}}\), \(d\geqq 3\), \(-d \leqq \gamma < 0\), and
Then there exists \(C_{0} >0\) depending only on \(d, \gamma , q\) such that, for any \(\varepsilon >0\) (and suitable functions \(\phi \) and \(g\geqq 0\)),
where \(s \in (0,1)\) is given by \(s=\dfrac{d-q(d+\gamma )}{2q}.\)
Remark 1.8
With the above notations, if one sets \(r=\frac{1}{1-s}\), one notices that \(\frac{2}{r}+\frac{d}{q}=d+\gamma +2\). When applied to the solution \(g=f(t)\) to the Landau equation (1.1), one sees therefore that the integrability in time of \(\left\| \langle \cdot \rangle ^{|\gamma |}f(t)\right\| _{q}^{\frac{1}{1-s}}\) exactly corresponds to our Prodi–Serrin criterion (1.9b).
The proof of this fundamental functional inequality is given in Section 3.2. This is the main tool in the proof of Theorem 1.4, under assumption (1.9b). The proof of Theorem 1.4 is then given in Section 3, in which Proposition 3.2 shows the propagation of \(L^{p}\)-norm under condition (1.9a) while Proposition 3.4 shows the appearance of \(L^{p}\)-norms under this same condition. The general \(L^{r}_{t}(L^{q}_{v})\) case (1.9b) is dealt with in Proposition 3.6 and Corollary 3.7, for appearance and propagation of \(L^{p}\)-norms respectively. The constants in Theorem 1.4 are made explicit in those results.
1.6 Relevance of Our Main Results
We chose to present the main results of the paper as conditional theorems ensuring the propagation and appearance of \(L^{p}\)-norms for the solutions to the Landau equation. Besides their specific interest, such propagation and appearance results are the fundamental tools which allow to deduce both uniqueness and regularity of solutions to the Landau equation. Precisely, as already observed in Chern and Gualdani [13] in the Coulomb case, suitable bounds on \(L^{p}\)-norms for solutions to Landau equation imply uniqueness of the solution. While the result is stated in Chern and Gualdani [13] as a consequence of \(L^{\infty }([0,T],\,L^{p}({\mathbb {R}}^{d}))\) norms with \(p > \frac{3}{2}\) in the Coulomb case \(\gamma =-3,d=3\), our main results Theorem 1.2 and 1.4 can be seen as suitable conditional result yielding such bounds valid for any dimension \(d \geqq 3\) and for any choice \(\gamma \in [-d,0)\). Then, as in Chern and Gualdani [13], such bounds yield uniqueness of suitable strong solutions. This question is addressed in Section 4 and the main result of this section can then be stated as follows:
Theorem 1.9
We consider an integer dimension \(d \geqq 3\). Let \(\gamma \in [-d, -2)\) and assume that \(2 > \frac{d}{d+\gamma +2}.\) Let \(f=f(t,v), g=g(t,v)\) define two solutions to Eq. (1.5) in the sense of Definition 1.15, with
where \(k>d\), and N is defined in Proposition 4.2. If f, g satisfy one of the two assumptions (1.9a) or (1.9b) if \(\gamma \in (-d,0)\), or (1.8a) or (1.8b) in the Coulomb case \(\gamma =-d\), then
Remark 1.10
We restrict our uniqueness result to the case of very soft potentials \(-d \leqq \gamma < -2\) only, since the case of moderate soft potentials \(\gamma \in [-2,0)\) is well-understood (see Alexandre et al. [1]; Wu [59] and the recent contribution Alonso et al. [5]). Notice that because of the condition \(2 > \frac{d}{d+\gamma +2}\), our analysis is restricted in the Coulomb case to the physical dimension \(d=3\).
The above result can be seen as a generalisation and an improvement on existing conditional uniqueness results for Landau equation. As mentioned already, the uniqueness of weak solutions with bounded mass, momentum, energy, and entropy which further lie in \(L^{1}([0, T]; L^{\infty }({\mathbb {R}}^{d}))\) (that is, under condition (1.8a)) has been established in the Coulomb case in Fournier [23] via probabilistic arguments, whereas the results of Chern and Gualdani [13] provide uniqueness of solutions to (1.1) under some \(L^{\infty }([0,T],\,L^{p}({\mathbb {R}}^{d}))\) bound (and decay) with \(p >\frac{3}{2}\). Our uniqueness result generalises these two results and extends them to general soft potentials \(\gamma \in [-d,0)\), \(d \geqq 3\), and the whole range \(L^r([0,T]; L^q({\mathbb {R}}^d))\), \(\frac{2}{r} + \frac{d}{q} = 2 + d + \gamma \), with \(r \in [1, \infty )\).
Besides the above uniqueness result, our two main results also allow to deduce suitable unique continuation and regularity results for the solutions to Landau equation. Even though we do not elaborate on this point in the present contribution, we mention here that, due to the parabolic nature of the Landau equation, the appearance of \(L^{p}\)-bounds is of paramount important in order to deduce regularity estimates:
-
(1)
Elaborating on the pioneering work of De Giorgi [17] (suitably adapted to spatially homogeneous kinetic equations in Alonso [3]), it is a well-established fact that the appearance of (uniform in time) \(L^{p}\)-bounds (for p large enough) yields the appearance of \(L^{\infty }\)-bounds for solutions to Landau equation. Such a \(L^{p}-L^{\infty }\) De Giorgi’s argument has been already introduced in the study of Landau equations in Alonso et al. [7]; Golding et al. [24]; Alonso et al. [5]. More specifically, one can deduce from Theorems 1.2 or 1.4 the following: if \(f=f(t,v)\) is a solution to the Landau equation (1.1) satisfying (1.8) or (1.9b) (according to \(\gamma =-d\) or \(-d< \gamma <0\)), and suitable \(L^{1}\)-moments estimates, then for any \(t_{\star } \in (0,T)\) there exists \(K(t_{\star },T) >0\) such that
$$\begin{aligned} \sup _{t \in [t_{*},T]}\left\| f(t, \cdot )\right\| _{ {\infty }} \leqq K(t_{*},T). \end{aligned}$$(1.11)A full proof of such an estimate is given in the case of moderately soft potentials \(\gamma \in [-2,0)\) in Alonso et al. [5] and in Alonso et al. [6] for general \(-d \leqq \gamma < -2\). This appearance of \(L^{\infty }\)-bounds (uniform in time on \([t_{*},T]\)) is close to results presented in Silvestre [53]. While the approach of the latter is based upon general results regarding strong solutions to parabolic equations, the approach in Alonso et al. [6]; Alonso et al. [5] is, as said, based upon an adaptation of the approach of De Giorgi [17] to spatially homogeneous kinetic equations introduced in Alonso [3].
-
(2)
Suitable \(L^{\infty }\)-bounds like (1.11) can then be combined with parabolic regularising effect to deduce the smoothness of the solution. We refer to [28, Proposition A.1] for a full proof of the fact that, in dimension \(d=3\) and for any \(\gamma \in [-3,-2)\), for any weak solution \(f=f(t)\) to (1.1) in the sense of Definition 1.15, it holds
$$\begin{aligned} f \in L^{\infty }([t_{*},T];\,L^{\infty }({\mathbb {R}}^{d})) \implies f \in \mathscr {C}^{\infty }((t_{*},T] \times {\mathbb {R}}^{d}). \end{aligned}$$Therefore, our main results Theorems 1.2 and 1.4, provide conditional results (in the form of the assumptions (1.8) or (1.9)) ensuring the smoothness of the solution to the Landau equation. We recall also that such smoothness provides also unique continuation criteria of the solution. We refer to the recent contribution Snelson and Solomon [55] for more details about this question.
The above two points illustrate the importance of devising sufficient conditions yielding the appearance and/or propagation of \(L^{p}\)-norms for solutions to the Landau equation and, on this basis, we strongly believe that the Prodi–Serrin criteria (1.8) (in the case \(\gamma =-d\)) or (1.9) (in the case \(\gamma \in (-d,0)\)) provide a significant contribution to the conditional uniqueness and regularity of Landau equation, yielding an analogue of the Theorem 1.1 for Navier-Stokes equation.
We end this description mentioning that the method and ideas developed in this paper can be adapted to derive Prodi–Serrin criterion for the spatially homogeneous Boltzmann equation with soft potentials without cut-off assumptions. We refer to the work in progress Alonso et al. [9] for further details.
1.7 About the Class of Solutions
Our main results Theorems 1.2 and 1.4 have to be interpreted as practical criteria to get a priori estimates for weak solutions to the Landau equation in an explicit and quantitative way. In this context, most of the computations that we are providing may be seen as formal, especially since they use one or several integrations by parts. Those estimates can however be fully justified under some extra assumption and, in particular, we strongly believe that our formal estimates are actually valid for any weak solutions to the Landau equation, which satisfy the Prodi–Serrin criteria that we stated. We define here weak solutions in the following way:
Definition 1.11
Given \(d\in {\mathbb {N}}\), \(d \geqq 3\), \(\gamma \in [-d,0)\) and \(T >0\), let \(f_{\textrm{in}} \geqq 0\) lie in \(L^{1}_{2}({\mathbb {R}}^{d}) \cap L\log L({\mathbb {R}}^{d})\), that is \(f_{\textrm{in}}\) admits finite mass, energy and entropy as defined respectively by
and
We say that a family \(f=f(t,v) \geqq 0\) is a weak solution to (1.1) with initial condition \(f(0,v)=f_{\textrm{in}}(v)\) if the following hold:
-
(1)
\(f \in \mathcal {C}([0, T ); \mathcal {D}'({\mathbb {R}}^{d}))\) and
$$\begin{aligned} \int _{{\mathbb {R}}^{d}}f(t,v)\left( \begin{array}{c}1 \\ v \\ |v|^{2}\end{array}\right) \textrm{d}v=\int _{{\mathbb {R}}^{d}}f_{\textrm{in}}(v)\left( \begin{array}{c}1 \\ v \\ |v|^{2}\end{array}\right) \textrm{d}v\,.\end{aligned}$$(1.12) -
(2)
One has
$$\begin{aligned}{} & {} H(f(t)) \leqq H(f_{\textrm{in}}) \qquad \forall t \in [0,T]\,, \quad \text { and }\nonumber \\ {}{} & {} \quad {\int _{0}^{T}\textrm{d}t} {\int _{{\mathbb {R}}^{d}}\left| \nabla \sqrt{f(t,v)}\right| ^{2}\langle v\rangle ^{\gamma }\textrm{d}v < \infty \,.} \end{aligned}$$(1.13) -
(3)
For any \(\varphi =\varphi (t,v) \in \mathscr {C}_{c}^{2}([0,T)\times {\mathbb {R}}^{d})\),
$$\begin{aligned}{} & {} -\int _{0}^{T}\textrm{d}t\int _{{\mathbb {R}}^{d}}f(t,v)\partial _{t}\varphi (t,v) \textrm{d}v-\int _{{\mathbb {R}}^{d}}f_{\textrm{in}}(v)\varphi (0,v)\textrm{d}v\nonumber \\{} & {} \quad =\frac{1}{2}\sum _{i,j=1}^{d}\int _{0}^{T}\textrm{d}t \int _{{\mathbb {R}}^{d} \times {\mathbb {R}}^{d}} f(t,v)f(t,w)a_{i,j}(v-w)\nonumber \\{} & {} \qquad \left[ \partial ^{2}_{v_{i},v_{j}}\varphi (t,v) +\partial ^{2}_{w_{i},w_{j}}\varphi (t,w)\right] \textrm{d}v\textrm{d}w\nonumber \\{} & {} \qquad + \sum _{i=1}^{d}\int _{0}^{T}\textrm{d}t\int _{{\mathbb {R}}^{d}\times {\mathbb {R}}^{d}}f(t,v)f(t,w){\varvec{b}}_{i}(v-w)\nonumber \\{} & {} \qquad \left[ \partial _{v_{i}}\varphi (t,v) -\partial _{w_{i}}\varphi (t,w)\right] \textrm{d}v\textrm{d}w. \end{aligned}$$(1.14)
Remark 1.12
Notice that slightly weaker solutions to Landau equation have been shown to exist in Villani [57] for initial data considered in Def. 1.11 (and called H-solutions) which are not assumed to satisfy estimate (1.13). It has been shown later (when \(d=3\)) in Desvillettes [18] that such solutions (when they are built thanks to a suitable approximation process) do satisfy (1.13) and are in fact weak solutions in the sense of Def. 1.11. Subsequently, it has been shown in Gualdani, Zamponi [33] that such solutions satisfy the estimates
and, for any test-function \(\phi \in L^{\infty }((0,T)\;,\;\mathbb {W}^{1,\infty }_{c}({\mathbb {R}}^{d}))\), it holds that
Here, \(\mathbb {W}^{1,\infty }_{c}({\mathbb {R}}^{d})\) denotes the collection of all bounded and compactly supported functions \(\phi \) such that \(\nabla \phi \in L^{\infty }({\mathbb {R}}^{d})\), and all terms can be well defined.
Remark 1.13
We point out that weak solutions \(f=f(t)\) as defined in Definition 1.11 are such that there exists a constant \(K_{0} > 0,\) depending on \(H(f_{\textrm{in}})\) and \(\Vert f_{\textrm{in}}\Vert _{L^{1}_{2}}\) such that
We refer to Lemma A.3 in Appendix A for a full proof of this estimate.
To avoid technical complications and keep the presentation as simple as possible, we rather consider in the paper a class of solutions which already enjoy a sufficient regularity to justify the computations in the next sections. Such local-in-time solutions were recently constructed in Desvillettes et al. [21] in dimension \(d=3\), and can be as expressed as follows:
Theorem 1.14
(Desvillettes et al. [21]) Let \(f_{\textrm{in}} \in L\log L({\mathbb {R}}^{3}) \cap L^{1}_{55}({\mathbb {R}}^{3}) \cap \dot{\mathbb {H}}^{1}({\mathbb {R}}^{3})\) be nonnegative. There exists some explicit \(T_{\star } >0\) depending on \({\varvec{m}}_{55}(f_{\textrm{in}}),\Vert f_{\textrm{in}}\Vert _{\dot{\mathbb {H}}^{1}}\) and \(H(f_{\textrm{in}}),\varrho _{\textrm{in}},E_{\textrm{in}}\) such that (1.1) admits a unique solution f on the time interval \([0,T_{\star }]\) such that
Motivated by the above existence and uniqueness result, we define the following notion of solutions, which we will use through out the sequel:
Definition 1.15
In all the sequel, given \(d\in {\mathbb {N}}\), \(d \geqq 3\), \(\gamma \in [-d,0)\) and \(T >0\), we will say that an initial datum \(f_{\textrm{in}} \geqq 0\) and a family \(f=f(t,v) \geqq 0\) define a solution to (1.1) if \(f=f(t,v)\) is a weak solution to (1.1) in the sense of Definition 1.11 that further satisfies
Remark 1.16
The computations in the next section will consist in choosing formally \(\phi \) as a power of f as test function in the identity (1.15). Under the above additional regularity, we point out that this can be made rigorous simply by choosing, as in Chern and Gualdani [13], for the test function \(\phi \) in (1.15) a suitable truncation of a power of f using a cutoff function \(\eta _{R}(v)=\eta \left( R^{-1}v\right) \), \(R >1\), where \(\eta \) is a smooth cutoff function identically equal to 1 on the unit ball of \({\mathbb {R}}^{d}\) and vanishing on the ball centered at the origin and with radius 2. The computations are then valid for such \(\phi \) and all the estimates turn out to be independent of R so, letting \(R \rightarrow \infty \), we justify our computations.
1.8 Organization of the Paper
The proof of Theorem 1.2 is given in Section 2 where the two different criteria (1.8a) and (1.8b) are treated separately as well as propagation (point (a)) and appearance (point (b)) of \(L^{p}\)-norms.
Section 3 gives the full proof of Theorem 1.4 with again the various cases (a), (b) under conditions (1.9a) or (1.9b) treated separately. In particular, the full proof of the \(\varepsilon \)-Poincaré Proposition 1.7 is given in Section 3.2.
The stability and uniqueness of solutions to the Landau equation is discussed in Section 4, which culminates with the proof of Theorem 1.9.
A final Section 5 is devoted to additional features of the Landau equation. Namely, we show in Section 5.1 how the Prodi–Serrin criteria in Theorem 1.4 applies to the case of moderate soft potentials \(-2 \leqq \gamma <0.\) It is well-known that, for such potentials, propagation/appearance of \(L^{p}\)-norms occurs as well as the uniqueness and regularity of the solution (see Alexandre et al. [1]; Wu [59]; Alonso et al. [5]) but we believe that Theorem 1.4 sheds a new light on this case, showing that Prodi–Serrin criteria (1.9) are met in this case. We also discuss the end-point case \(r=\infty \), \(q=\frac{d}{d+\gamma +2}\) of the Prodi–Serrin criterion (1.8b)–(1.9b) in Section 5.2, showing an analogue of the end-point case \(r=\infty ,q=3\) in Theorem 1.1 for Navier–Stokes equations. We point out here that the role of viscosity \({\varvec{\nu }}\) in Theorem 1.1 is played by the coercivity constant \(K_{0}\) in Remark 1.13 (see Theorem 5.2 for details).
In Appendix A we recall some known results about weak solutions to the Landau equation. Some of them are found in the literature only in dimension \(d=3\), so that we also give some sketches of proof to extend them to arbitrary dimension \(d \geqq 3\).
Finally, Appendix B gives some technical results regarding the evolution of weighted \(L^{p}\)-norms which are useful for the proof of the uniqueness result Theorem 1.9.
2 Prodi–Serrin like Criteria for Coulomb Interactions
In this section, we focus on the Landau equation for charged particles associated to Coulomb interactions. In this situation, we recall from (1.4)–(1.5) that
where \(D^{2}f\) is the Hessian matrix of f and \(c_{d}:=(d-1)(d-2)|{\mathbb {S}}^{d-1}|.\)
We start with a simple proposition which shows the propagation of \(L^p\) norms (including the case when \(p=\infty \)) under one of the end point of Prodi–Serrin condition.
Proposition 2.1
Let \(f_{\textrm{in}}\) and \(f=f(t,v)\) define a solution to Eq. (2.1) in the sense of Definition 1.15. Assume that
for some \(T >0\), and \(f_{\textrm{in}} \in L^{p}({\mathbb {R}}^{d})\) for some \(p\in [1,\infty ]\). Then f also lies in \(L^{\infty }([0,T]; L^p({\mathbb {R}}^d))\). More precisely, the following estimate holds:
Proof
Using the multiplicator \(f^{p-1}\) for \(p \in [1, \infty [\) in Eq. (2.1), we see that, using the nonnegativity of the matrix \(\mathcal {A}[f]\), and the identity \(-\nabla \cdot {\varvec{b}}[f] = {\varvec{c}}[f] = {c_{d}}\, f\),
Thanks to Grönwall’s lemma, we end up with, for \(t\in [0,T]\),
and consequently,
This concludes the proof when \(p \in [1, \infty [\). Passing to the limit when \(p \rightarrow \infty \) in the above estimate shows that the proposition also holds when \(p=\infty \). \(\square \)
We then show the appearance when \(t>0\) of \(L^p\) norms for finite \(1< p < \infty \) (notice that the result now excludes the case when \(p=\infty \)) under one of the end point of Prodi–Serrin condition, assuming that the initial datum has some moments in \(L^1\).
Proposition 2.2
Let \(f_{\textrm{in}}\) and \(f=f(t,v)\) define a solution to Eq. (2.1) in the sense of Definition 1.15. Given \(p \in (1,\infty )\), assume that
and that
for some \(T >0\). Then, the solution \(f=f(t,v)\) satisfies the following estimate, for any \(t \in (0,T]\):
where
\(K_0\) is the constant (depending on \(\varrho _{\textrm{in}}\), \(E_{\textrm{in}}\) and \(H(f_{\textrm{in}})\)) appearing in Remark 1.13, and \(C_{\textrm{Sob}}\) is the constant appearing in the Sobolev embedding \(\dot{\mathbb {H}}^1({\mathbb {R}}^d) \hookrightarrow L^{\frac{2d}{d-2}}({\mathbb {R}}^d)\) as defined in (2.5).
Remark 2.3
Recall that, under the assumption \(f_{\textrm{in}} \in L^{1}_{\nu _{p}}({\mathbb {R}}^{d})\), one has
where \(C_{d,p}\) is a positive constant depending only on d, p and \({\varvec{m}}_{\nu _{p}}(0)=\Vert f_{\textrm{in}}\Vert _{L^{1}_{\nu _{p}}}\) (see Proposition A.8).
Proof
Proceeding as in the proof of Proposition 2.1, we write
where we notice that
Using the uniform ellipticity of the diffusion matrix \(\mathcal {A}[f]\) (recall Proposition 1.13), we deduce that
Multiplying this inequality by p and using the elementary inequality
this turns into
At this point, we combine Sobolev’s inequality with a suitable interpolation inequality with weights to conclude. Namely, recall that Sobolev’s inequality reads (with \(C_{\textrm{Sob}}\) the best constant in the Sobolev embedding \(\dot{\mathbb {H}}^1({\mathbb {R}}^d) \hookrightarrow L^{\frac{2d}{d-2}}({\mathbb {R}}^d)\)) as
Now, we use the standard Hölder interpolation inequality (with weights), which holds for all functions g for which the norms are
with \(r,r_1,r_2 \geqq 1\), \(a,a_1, a_2 \in {\mathbb {R}}\),
Using inequality (2.6) for \(g:= f(t,\cdot )\) with
we get
where we used (2.5) in the last inequality. Recalling now the expression of \(a_{1}\) and \(\theta \), we use this estimate under the form
Plugging this in (2.4), we end up with
after having dropped the weight \( \langle \cdot \rangle ^{-d-2} \). Defining
we see that y(t) satisfies the differential inequality
which can be solved (for \(t \in [0,T]\)) as
Recalling the definition of y, we get the desired estimate.
\(\square \)
Remark 2.4
Following the dependency with respect to p in the proof, we can prove that, if \(f_{\textrm{in}} \in L^{1}_{\frac{d^{2}}{2}}({\mathbb {R}}^{d})\) then, for all \(t_{*}, T>0\) and \(\kappa >0\) small enough, the following estimate holds:
Here \(C>0\) is a constant depending only on \(t_*, T\), \(\varrho _{\textrm{in}}\), \(E_{\textrm{in}}\), \(H(f_{\textrm{in}})\), d, \(\Vert f_{in}\Vert _{L^1_{\frac{d^2}{2}}({\mathbb {R}}^d)}\), and \(\left\| f\right\| _{L^{1}([0,T],\,L^{\infty }({\mathbb {R}}^{d}))}\).
We now turn to the general case, in which the Prodi–Serrin condition appears as a weighted \(L^r_{t}(L^q_{v})\) norm assumed to be finite. More precisely, we have
Proposition 2.5
Let \(f_{\textrm{in}}\) and \(f=f(t,v)\) define a solution to Eq. (2.1) in the sense of Definition 1.15. Assume that
for some \(T >0\), where \(r \in (1,\infty )\), \(q \in (\frac{d}{2},\infty )\). Given \(p \in (1,\infty )\), assume that
then the solution \(f=f(t,v)\) satisfies, for any \(t \in (0,T]\)
where
and where \(K_0\) is the constant (depending on \(\varrho _{\textrm{in}}\), \(E_{\textrm{in}}\) and \(H(f_{\textrm{in}})\)) appearing in Remark 1.13, \(C_{Sob}\) is the Sobolev constant defined in (2.5), and \( C_{\textrm{Sob},q}\) is the Sobolev constant relative to the embedding \(\dot{\mathbb {H}}^{\frac{d}{2q} }({\mathbb {R}}^d) \hookrightarrow L^{\frac{2q}{q-1}}({\mathbb {R}}^d)\).
Proof
We start from inequality (2.4) obtained in the proof of Proposition 2.2 and we estimate the term
thanks to Hölder’s inequality. Denoting \(q'=\frac{q}{q-1}\), where q is the exponent in the Prodi–Serrin condition, we obtain
Now using the inequality \(\Vert \cdot \Vert _{2q'}^2 \leqq C_{\textrm{Sob},q}\Vert \cdot \Vert _{\dot{\mathbb {H}}^{\frac{d}{2q}}}^2\) resulting from the Sobolev embedding \(\dot{\mathbb {H}}^{\frac{d}{2q} }({\mathbb {R}}^d) \hookrightarrow L^{\frac{2q}{q-1}}({\mathbb {R}}^d)\) ) (see Bahouri et al. [10], Theorem 1.38), we first deduce that
Observing now that, since \(q > \frac{d}{2}\), \(0< \frac{d}{2q} < 1\), we can invoke the interpolation inequality \(\dot{\mathbb {H}}^1({\mathbb {R}}^d) \cap L^2({\mathbb {R}}^d) \subset \dot{\mathbb {H}}^{\frac{d}{2q} }({\mathbb {R}}^d)\) (see Bahouri et al. [10], Proposition 1.32) to deduce that
Plugging this in inequality (2.4), we obtain
We now resort to Young’s inequality (for \(x,y \geqq 0, \, \varepsilon >0\)) in the form
with the choice
and
Inserting this into (2.11), we obtain
Observing that \(\left\| \langle \cdot \rangle ^{-\frac{d}{2}} \,f^{\frac{p}{2}}(t)\right\| _{2}^{2}=\displaystyle \int _{{\mathbb {R}}^{d}}\langle v\rangle ^{-d}f^{p}(t,v)\textrm{d}v\), we can deduce from the above that
where
We now plug estimate (2.7) in this inequality to deduce (neglecting the negative weight in the last integral):
We now proceed as at the end of the proof of Proposition 2.2, introducing
and checking that
so that (for \(t \in [0,T]\))
Recalling the definition of y, we get estimate (2.9) after observing that \(r = \frac{2q}{2q-d}\). \(\square \)
Remark 2.6
In both Propositions 2.2 and 2.5, whenever \(p \leqq \frac{d^{2}}{d^{2}-4}\), we observe that \(\frac{d^{2}}{2}\left( 1 - \frac{1}{p}\right) \leqq 2\), so that no extra moment (beyond the kinetic energy) for the initial datum is required in this case.
One can also deduce from the proof above the following propagation result:
Corollary 2.7
Let \(f_{\textrm{in}}\) and \(f=f(t,v)\) define a solution to Eq. (2.1) in the sense of Definition 1.15. Assume that (2.8) holds for some \(T >0\), where \(r \in (1,\infty )\), \(q \in (\frac{d}{2},\infty )\). Given \(p \in (1,\infty )\), assume that \(f_{\textrm{in}} \in L^{p}({\mathbb {R}}^{d})\). Then, the solution \(f=f(t,v)\) satisfies the estimate
where \(C_{p,q}\) is defined in (2.10).
Proof
We start from inequality (2.12) for the evolution of the \(L^{p}({\mathbb {R}}^{d})\)-norm of f (note that this inequality does not use the assumption that \(L^1\)-moments are initially finite). Then, dropping the weight \(\langle \cdot \rangle ^{-d}\) and the nonnegative term involving the integral of the gradient on the right-hand-side, we deduce that
where \(C_{p,q}\) is given by (2.10). According to Gronwall’s Lemma, one deduces that, for all \( t \in [0,T]\),
from which the result easily follows. \(\square \)
Proof of Theorem 1.2
It is a direct consequence of Proposition 2.1 and Proposition 2.2 when the \(L^{1}_{t}(L^{\infty }_{v})\) condition is considered, and of Proposition 2.5 and Corollary 2.7 when the \(L^{r}_{t}(L^{q}_{v})\) condition is considered. \(\square \)
3 Prodi–Serrin like Criteria for Soft Potentials \(-d< \gamma <0\)
We present here an analysis, similar to the one of the previous section, for the Landau equation with soft potentials \(-d< \gamma <0.\) The main difference between the Coulomb case treated in Section 2 and the present one is the nature of the lower order term \({\varvec{c}}_{\gamma }[f]\) which is now a convolution operator. The analysis of this term requires then the specific use of the Hardy-Littlewood-Sobolev inequality, which we recall here for the sake of completeness.
Proposition 3.1
(Hardy-Littlewood-Sobolev inequality) Let \(d\in {\mathbb {N}}\), \(d\geqq 1\), \(1< r,p < \infty \) and \(0< \lambda < d\) with
Then there exists \(C_\mathrm{{HLS}}>0\) (depending on \(d,p,\lambda \)) such that the estimate
holds for any smooth \(g,h\,:\,{\mathbb {R}}^{d}\rightarrow {\mathbb {R}}\).
3.1 Appearance of \(L^{p}\)-norms - the \(L^{1}_{t}(L^{\frac{d}{d+\gamma }})\) case
As in the Coulomb case, we are already in position to prove the propagation of \(L^p\) norms for \(p < \frac{d}{d+\gamma }\) under one of the end point of Prodi–Serrin condition
Proposition 3.2
We consider \(d\in {\mathbb {N}}\), \(d \geqq 3\) and \(\gamma \in (-d, 0)\). Let \(f_{\textrm{in}}\) and \(f=f(t,v)\) define a solution to Eq. (2.1) in the sense of Definition 1.15. Assume that
for some \(T >0\) and that \(f_{\textrm{in}} \in L^{p}({\mathbb {R}}^{d})\) for some \(p\in (1,\frac{d}{d+\gamma })\). Then f also lies in \(L^{\infty }([0,T]; L^p({\mathbb {R}}^d))\). More precisely, the following estimate holds:
Here \(C_{d,\gamma ,p} >0\) is an explicit constant depending only on \(d,\gamma ,p\).
Proof
Since only propagation of \(L^{p}\)-norms are involved here, we simply notice that
so that
and we only need to estimate this last integral. Using Hardy-Littlewood-Sobolev inequality (3.1) with \(g= f(t,\cdot ) \in L^{p}\), \(h=f^{p}(t,\cdot )\) and \(\lambda = - \gamma \), we observe that \(p < \frac{d}{d+\gamma }\) implies
and conclude that
where \(C_{d,\gamma ,p}:=(d-1)(d+\gamma )\,C_\mathrm{{HLS}}\) is depending only on \(d,\gamma ,p\). Writing \(q_{0}=\frac{d}{d+\gamma }\) and recalling that \(p < \frac{d}{d+\gamma }\), we use an interpolation based on Hölder’s inequality, namely,
with
Observing that \(\frac{1}{r}=\frac{1}{q_{0}}+1-\frac{1}{p},\) one actually has \(\theta =1-\frac{1}{p},\) so that \(p\,(1-\theta )=1\) and
with
by assumption. Thanks to Grönwall’s lemma, we obtain that, for \(t\in [0,T]\),
which gives the desired result. \(\square \)
In order to show the appearance of \(L^{p}\)-norms, we need to investigate more carefully the evolution of \(L^{p}\)-norms for solutions to the Landau equation (1.5). We use in the sequel the notation, for \(k\in {\mathbb {R}}\) and \(p \in (1,\infty )\),
together with the shorthand notation \(\mathbb {M}_{p}(t):=\mathbb {M}_{0,p}(t)\).
Lemma 3.3
We consider \(d\in {\mathbb {N}}\), \(d \geqq 3\) and \(\gamma \in [-d, 0)\), and assume that \(f_{\textrm{in}}\) and \(f=f(t,v)\) define a solution to Eq. (1.1) in the sense of Definition 1.15. Then, for all \(p \in (1,\infty )\), if
it holds that
where \(K(p):=\frac{p-1}{p}K_{0}\), \(K_0\) being the constant appearing in Remark 1.13 and \(C_{\textrm{Sob}}\) is the Sobolev constant appearing in the Sobolev embedding \(\dot{\mathbb {H}}^1({\mathbb {R}}^d) \hookrightarrow L^{\frac{2d}{d-2}}({\mathbb {R}}^d)\) (see (2.5)).
Proof
As in the proof of the previous proposition, we start with
where we recall that \(\nabla \cdot {\varvec{b}}[f]=-{\varvec{c}}_{\gamma }[f].\) Now, as previously observed,
Moreover, writing
which implies
we observe that
Inserting this into (3.7) we obtain
where we simply observe that \(\langle v\rangle ^{\gamma -2} \leqq 1.\)
Now, as in the proof of Proposition 2.2, we combine a Sobolev inequality with a suitable interpolation inequality with weights to estimate \({\mathbb {D}_{\gamma , p}(t)}\) in terms of \({\varvec{m}}_{\nu _{\gamma ,p}}(t)\) and \(\mathbb {M}_{p}(t)\). Namely, one can reformulate the Sobolev embedding inequality (2.5) as
We now use the interpolation inequality (2.6) with the choice
We can reformulate (2.7) as
Plugging this into (3.9), we get the result. \(\square \)
Thanks to the above evolution, we can now show the analogue of Proposition 2.2 and prove the appearance of \(L^{p}\)-norms, for \(p < \frac{d}{d+\gamma }\) under the endpoint Prodi–Serrin criterion (3.2)
Proposition 3.4
We consider \(d\in {\mathbb {N}}\), \(d \geqq 3\) and \(\gamma \in (-d, 0)\), and assume that \(f_{\textrm{in}}\) and \(f=f(t,v)\) define a solution to Eq. (1.1) in the sense of Definition 1.15. Assume that
for some \(T >0\). Assume moreover that
with \(\nu _{\gamma ,p}\) defined by (3.5). Then, for any \(t \in (0,T]\),
where
\(K_0\) is the constant (depending on \(\varrho _{\textrm{in}}\), \(E_{\textrm{in}}\) and \(H(f_{\textrm{in}})\)) appearing in Remark 1.13, \(C_{\textrm{Sob}}\) is the constant appearing in the Sobolev embedding \(\dot{\mathbb {H}}^1({\mathbb {R}}^d) \hookrightarrow L^{\frac{2d}{d-2}}({\mathbb {R}}^d)\) (see (2.5)), and \(C_{d,\gamma .p}\) is the positive constant (depending on \(d, \gamma \) and p) appearing in Proposition 3.2.
Proof
We already observed (see (3.4)) that, under assumption (3.2),
where \(\Lambda _{0}(t):=C_{d,\gamma ,p}\Vert f(t)\Vert _{\frac{d}{d+\gamma }}\) and \(1< p< \frac{d}{d+\gamma }.\) Inserting this in the evolution of \(\mathbb {M}_{p}(t)\) given in (3.6), we deduce that
with \(\Lambda _{0} \in L^{1}([0,T]).\) As in the proof of Proposition 2.2, we can now define
and we see that y(t) satisfies the differential inequality
where we used that \(y(t) \leqq \mathbb {M}_{p}(t)\). This inequality can be solved (for \(t \in [0,T]\)) as
This proves the result. \(\square \)
Remark 3.5
The aforementioned criterion (3.2) is always met in the case of moderately soft potentials \(\gamma \in [-2,0)\), see Section 5.1.
3.2 Proof of the \(\varepsilon \)-Poincaré Inequality
For the Prodi–Serrin criteria with \(r >1\), by virtue of the proof of the above Proposition, the crucial point for the appearance of \(L^{p}\)-moments lies in a suitable estimate for
To deal with such a term, one resorts to the \(\varepsilon \)-Poincaré inequality stated in Proposition 1.7. We first give the proof of this fundamental result
Proof of Proposition 1.7
We start with the case \( -d< \gamma < 0\). For a given \(g, \phi \geqq 0\), we define
For any \(v,v_{*}\in {\mathbb {R}}^{d}\), if \(|v-v_{*}| < \frac{1}{2}\langle v\rangle \), then \(\langle v\rangle \leqq 2\langle v_{*}\rangle \). We deduce from this (see) [2, Eq. (2.5)], that
Therefore,
with
Introducing
one checks that
while
We estimate then \(I_{2}\) thanks to Hardy-Littlewood-Sobolev inequality (3.1) to get
where C depends only on \(\gamma , d, q\).
We recall that we apply this with \(\frac{d}{d+2+\gamma }< q< \frac{d}{d+\gamma }.\) We write, for some \(s \in (0,1)\),
Notice that \(2r=\frac{2d}{d-2s}\). According for example to Theorem 1.38 of Bahouri et al. [10], \(\dot{\mathbb {H}}^{s}\) is continuously embedded in \(L^{2r}\), that is (for \(C>0\) depending on d, s),
Moreover, since
(see for example) [10, Proposition 1.32], one has that
Thanks to Young’s inequality, there is \(\tilde{C} >0\) depending only on \(d,\gamma ,s\) such that, for any \(\delta >0\),
Plugging this inequality into the estimate for \(I_{1}\), we see that
which is exactly the desired estimate, since \(F=\langle \cdot \rangle ^{|\gamma |} g\).
We now turn to the case of when \(\gamma = -d\). One notices that
Thus, a simple use of Hölder’s inequality yields
Writing for \(s\in (0,1)\) that \(q=\frac{d}{2s}\), we see that \(r=\frac{d}{d-2s}\), and we proceed identically as to the case \(-d< \gamma < 0\). \(\square \)
3.3 Appearance of \(L^{p}\)-Norms–General \(L^{r}_{t}(L^{q})\) Case
We now turn to the general Prodi–Serrin criterion in the \(L^{r}_{t}(L^{q}_{v})\) case, with \(r >1\). In such a situation, \(L^{p}\)-norms appear for any choice of \(p >1\). This contrasts with the previous case in which appearance of \(L^{p}\) norms occurred only for \(p < \frac{d}{d+\gamma }\). The following is the analogue of Proposition 2.5 for \(-d< \gamma <0:\)
Proposition 3.6
Let \(f_{\textrm{in}}\) and \(f=f(t,v)\) define a solution to Eq. (1.5) in the sense of Definition 1.15 with \(-d< \gamma < 0.\) Assume that
for some \(T >0\), where \(r \in (1,\infty )\), \(q \in \left( \max \left( 1, \frac{d}{2+d+\gamma }\right) ,\frac{d}{d+\gamma }\right) \). Given \(p \in (1,\infty )\), assume that
Then, the solution \(f=f(t,v)\) satisfies, for any \(t \in (0,T]\),
where
and where \(K_0\) is the constant (depending on \(\varrho _{\textrm{in}}\), \(E_{\textrm{in}}\) and \(H(f_{\textrm{in}})\)) appearing in Remark 1.13, \(C_{\textrm{Sob}}\) is the constant appearing in the Sobolev embedding \(\dot{\mathbb {H}}^1({\mathbb {R}}^d) \hookrightarrow L^{\frac{2d}{d-2}}({\mathbb {R}}^d)\) (see (2.5)), and \(C_{0}\) is the positive constant (depending on \(d, \gamma , q\)) appearing in the \(\varepsilon \)-Poincaré inequality (1.10).
Proof
The Prodi–Serrin condition (3.16) amounts to
Notice that the assumption on q implies that \(\frac{d}{d+2+\gamma }< q < \frac{d}{d+\gamma }\), and therefore, for some \(s \in (0,1)\),
and the relation between r and s is \(r=\frac{1}{1-s}\).
We recall the evolution of \(L^{p}\)-norms given by (3.9):
We also estimate the last integral thanks to an application of the \(\varepsilon \)-Poincaré inequality (1.10) with \(g=f(t, \cdot )\), \(\phi =f(t, \cdot )^{\frac{p}{2}}\). This yields
Choosing \(\varepsilon \) in such a way that \((p-1)\, \varepsilon =K(p)\), we see that
with
(the last point is precisely the Prodi–Serrin assumption (3.16)). Dropping the weight \(\langle v\rangle ^{\gamma }\) in the last integral, we end up with
At this point, using again, (3.11) as in the proof of Proposition 3.3, we deduce that
The conclusion follows exactly as in the proof of Proposition 3.4 (which corresponds to the case \(s=0\)).\(\square \)
As far as propagation of \(L^{p}\)-norms is concerned, we can also deduce the following:
Corollary 3.7
Let \(f_{\textrm{in}}\) and \(f=f(t,v)\) define a solution to Eq. (1.5) in the sense of Definition 1.15 with \(-d< \gamma < 0.\) Assume that (3.16) holds true for some \(T >0\), where \(r \in (1,\infty )\), \(q \in \left( \max \left( 1,\frac{d}{2+d+\gamma }\right) , {\frac{d}{d+\gamma }}\right) \). Given \(p \in (1,\infty )\), assume that \(f_{\textrm{in}} \in L^{p}({\mathbb {R}}^{d})\). Then, the solution \(f=f(t,v)\) belongs to \(L^{\infty }([0,T],\,L^{p}({\mathbb {R}}^{d}))\). More precisely,
where \(K_0\) is the constant (depending on \(\varrho _{\textrm{in}}\), \(E_{\textrm{in}}\) and \(H(f_{\textrm{in}})\)) appearing in Remark 1.13, and \(C_{0}\) is the positive constant (depending on \(d, \gamma , q\)) appearing in the \(\varepsilon \)-Poincaré inequality (1.10).
Proof
Coming back to (3.18) (notice that no assumption on the finiteness of \(L^1\)-moment is needed to get this inequality), dropping the nonnegative term \(K(p)\mathbb {D}_{p}(t)\) on the right-hand-side, we deduce from Grönwall’s Lemma that
from which the result follows. \(\square \)
Proof of Theorem 1.4
It is a direct consequence of Proposition 3.2 and Proposition 3.4 when the \(L^{1}_{t}(L^{\infty }_{v})\) condition is considered, and of Proposition 3.6 and Corollary 3.7 when the \(L^{r}_{t}(L^{q}_{v})\) condition is considered. \(\square \)
4 Stability and Uniqueness of Solution
We adapt here the strategy proposed in Chern and Gualdani [13] to deduce uniqueness of solutions. Notice that our proof covers all cases \(\gamma \in [-d,0)\) and \(d\geqq 3\) whereas the uniqueness result in Chern and Gualdani [13] is given in dimension \(d=3\) for the Coulomb case \(\gamma =-3\).
Our strategy is inspired by the work Chern and Gualdani [13] in the sense that we deduce the stability from suitable \(L^{\infty }([0,T];\,L^{p}_{k}({\mathbb {R}}^{d}))\) estimates on the solution to (1.5). We show first that such uniform in time estimates, which are variants of the estimates obtained in Sections 2 and 3, hold true under our Prodi–Serrin conditions. The result is a consequence of the study of the evolution of weighted \(L^{p}\)-norms provided in Appendix B. More precisely, we show
Proposition 4.1
Let \(f_{\textrm{in}}\) and \(f=f(t,v)\) define a solution to Eq. (1.5) in the sense of Definition 1.15 on [0, T] (for some \(T>0\)) with \(d\in {\mathbb {N}}\), \(d\geqq 3\), \(-d \leqq \gamma < 0.\) Let \(k \geqq 0\). We consider the following two alternative assumptions (with the convention \(\frac{d}{d+\gamma } = \infty \) if \(\gamma =-d\)):
-
Hyp. 1. \(f_{\textrm{in}} \in L^{p}_{k}({\mathbb {R}}^{d})\) for some \(1< p < \frac{d}{d+\gamma }\) and
$$\begin{aligned} f \in L^{1}\left( [0,T];\;L^{\frac{d}{d+\gamma }}({\mathbb {R}}^{d})\right) \qquad . \end{aligned}$$ -
Hyp. 2. \(f_{\textrm{in}} \in L^{p}_{k}({\mathbb {R}}^{d})\) for some \(p >1\) and
$$\begin{aligned} \langle \cdot \rangle ^{|\gamma |}\,f \in L^{r}([0,T];\,L^{q}({\mathbb {R}}^{d})) \quad \text { with } \quad \frac{2}{r}+\frac{d}{q}=2+d+\gamma , \end{aligned}$$where \(r \in (1,\infty )\,, q \in \left( \max \left( 1, \frac{d}{2+d+\gamma }\right) ,\frac{d}{d+\gamma }\right) \,.\) Moreover, in the Coulomb case in dimension \(d=3=-\gamma \), we assume \(f_{\textrm{in}} \in L^{1}_{s}({\mathbb {R}}^{d})\) for some \(s >2.\)
Then, under Hyp. 1 or Hyp. 2, and for any \(t \in [0,T]\), one has
where \(\,{\varvec{C}}(T,f_{\textrm{in}})\) is an explicit positive constant depending on d, \(\gamma ,p,k,T, K_0, \Vert f_{\textrm{in}}\Vert _{L^{1}_{2}}, H(f_{\textrm{in}}), \Vert f_{\textrm{in}}\Vert _{L^{p}_{k}}\) and the Prodi–Serrin norms \(\Vert f\Vert _{L^{1}_{t}(L^{\frac{d}{d+\gamma }})}\) or \(\left\| \langle \cdot \rangle ^{|\gamma |}f\right\| _{L^{r}_{t}(L^{q})}\) (and q), according to the considered case (and on \(\Vert f_{\textrm{in}}\Vert _{L^{1}_{s}}\) \(s >2\) in the Coulomb case in dimension \(d=3\)).
If one moreover assumes in Assumptions Hyp. 1 or Hyp. 2 that \(p > \frac{d}{d+\gamma +2}\) and
with
where \(a^{-}=-a\textbf{1}_{a <0}\), then, for any smooth \(\phi \), the following version of the \(\varepsilon \)-Poincaré inequality is valid for any \(t \in [0,T]\) and any \(\varepsilon >0\):
Here \(C_{k}(T, f_{\textrm{in}},\varepsilon )\) is an explicit positive constant depending on \( \Vert f_{\textrm{in}}\Vert _{L^{p}_{k}}\), \(\Vert f_{\textrm{in}}\Vert _{L^{1}_{\max (2,\nu )} }\), \(\varepsilon \), \(d,\gamma ,p\), \(k,T, K_0,\) and the Prodi–Serrin norms \(\Vert f\Vert _{L^{1}_{t}(L^{\frac{d}{d+\gamma }})}\) or \(\left\| \langle \cdot \rangle ^{|\gamma |}f\right\| _{L^{r}_{t}(L^{q})}\) (and q), according to the considered case.
Proof
The proof follows the line of the corresponding results in Proposition 3.4 and Theorem 3.6, whose proofs are modified in order to handle weights. Given \(k \geqq 0\), we use the notations of Appendix B and deduce the evolution of the weighted \(L^{p}\)-norms from (B.1), which holds for any \(p > 1\):
Here \(C_{k,\gamma ,p}\) depends on \(d, k,\gamma ,p\) (the explicit value of the constant is given in Appendix B).
We divide the proof according to the two cases \(\gamma =-d\) or \(-d< \gamma <0.\)
1) The Coulomb case. Let us begin with the Coulomb case \(\gamma =-d\). Thanks to (B.5), we deduce now from (4.3) that
where \({\varvec{C}}_{k,p},{\varvec{c}}_{k,p},C_{k,p}\) are explicit positive constants depending only on \(p,d,k,K_{0},\Vert f_{\textrm{in}}\Vert _{L^{1}}\) and where, for all \(\alpha \in (-d,0)\)
We estimate the last two integrals in (4.4) in different ways according to the Prodi–Serrin conditions that we consider.
\(\bullet \) Hyp. 1. First, one has \(\displaystyle \int _{{\mathbb {R}}^{d}}\langle v\rangle ^{k}f^{p+1}(t,v)\textrm{d}v \leqq \Vert f(t)\Vert _{\infty }\mathbb {M}_{k,p}(t).\) Second,
so that
Therefore, (4.4) becomes
and, since \(\Vert f(\cdot )\Vert _{\infty } \in L^{1}([0,T])\) by assumption, we deduce from Grönwall’s Lemma the bound
which gives the result.
\(\bullet \) Hyp. 2. In this second case, we observe that the term \(\int _{{\mathbb {R}}^{d}}\langle v\rangle ^{k}f^{p+1}(t,v)\textrm{d}v\) is identical (up to a constant) to \(\int _{{\mathbb {R}}^{d}}\langle v\rangle ^{k}{\varvec{c}}_{-d}[f(t)](v)f^{p}(t,v)\textrm{d}v\) and is estimated using the Coulomb version of the \(\varepsilon \)-Poincaré inequality (1.10), with \(\phi =\langle \cdot \rangle ^{\frac{k}{2}}f^{\frac{p}{2}}\) and \(g=f\), leading to
where \(q >\frac{d}{2}\) is given by \(\frac{2}{r}+\frac{d}{q}=2\) (recall we consider here \(\gamma =-d\)) and \(r=\frac{2q}{2q-d}\).
To estimate the term
we have to additionally distinguish the two cases \(d=3\), \(d \geqq 4\). We give here only the proof in the case \(d=3\) and refer to [6, Proof of Prop. 1.8, \(d \geqq 4\)] for the other case. We point out already that the use that we will make of Proposition 4.1 in the subsequent stability result is actually restricted to the case \(d=3.\)
For \(d=3\), one has \(\overline{{\varvec{c}}}_{1-d}[f(t)]=\overline{{\varvec{c}}}_{-2}[f(t)]\leqq {\varvec{c}}_{-2}[f(t)]\) and, resorting to the critical \(\varepsilon \)-Poincaré inequality in Alonso et al. [5] (see Proposition A.10 in Appendix A), one has the following: for any \(\alpha >2\) and any \(\varepsilon >0\),
for some \(C_{0} >0\) depending only on \(\varrho _{\textrm{in}}\), \(E_{\textrm{in} }\) and \(H(f_{\textrm{in}})\). In particular, assuming \(f_{\textrm{in}} \in L^{1}_{\alpha }({\mathbb {R}}^{3})\) and \(\alpha >2\), one deduces that there exists \(C_{T} >0\) depending only on \(\Vert f_{\textrm{in}}\Vert _{L^{1}_{\alpha }}\), \(H(f_{\textrm{in}})\) such that
Plugging (4.7), (4.6) into (4.4) and choosing \(\varepsilon =\varepsilon _{0}>0\) small enough, we obtain
where we introduced, for the specific choice of \(\varepsilon =\varepsilon _{0}\),
By assumption, \(\Lambda \in L^{1}([0,T])\) and one concludes as before by a Grönwall argument.
2) The case \(-d<\gamma <0.\) Combining Eq. (4.3) with Lemma B.2 (and modifying the name of the constant appearing in this lemma), we deduce then that
where \({\varvec{C}}_{k,p},{\varvec{c}}_{k,p}\) are explicit positive constants depending only on \(k,p,d,\gamma ,K_{0}\). As before, we estimate the last integral in different ways according to the Prodi–Serrin conditions that we consider.
Hyp. 1. According to Peetre’s inequality, for all \(v,v_{*}\in {\mathbb {R}}^{d}\) and \(s \in {\mathbb {R}}\), \(\langle v\rangle ^{s} \leqq 2^{\frac{|s|}{2}}\langle v-v_{*}\rangle ^{|s|}\langle v_{*}\rangle ^{s}\), so that (for some \(C_s>0\) depending on s)
for any \(0 \leqq s \leqq k\). Using the Hardy-Littlewood-Sobolev inequality (3.1) with \(g=\langle \cdot \rangle ^{s}f(t,\cdot )\), \(h(\cdot )=\langle \cdot \rangle ^{k-s}f^{p}(t,\cdot )\), so that
and we conclude that (for some \(C_{d,\gamma ,p,s}>0\) depending on \(d,\gamma ,p,s\))
Writing \(q_{0}=\frac{d}{d+\gamma }\) and recalling that \(p < \frac{d}{d+\gamma }\), we use an interpolation based on Hölder’s inequality, namely
with
Observing that \(\frac{1}{r}=\frac{1}{q_{0}}+1-\frac{1}{p},\) one actually has \(\theta =1-\frac{1}{p},\) so that \(p\,(1-\theta )=1\) and
Choosing \(s=a=\frac{k}{p}\) and observing that \(b=0\) and \(\Vert \langle \cdot \rangle ^{s}f(t)\Vert _{{p}}^{p}=\mathbb {M}_{k,p}(t)\), we see that
with
Coming back to (4.8), we end up with the differential inequality
so that assuming that \(f_{\textrm{in}} \in L^{p}_{k}({\mathbb {R}}^{d})\) and remembering that \({\varvec{c}}_{p}+{\varvec{C}}_{p}\Lambda _{0}(t) \in L^{1}([0,T])\), we deduce from Grönwall’s Lemma the bound
which gives the result.
Hyp. 2. In this second case, observing that \(\overline{{\varvec{c}}}_{\gamma }[f(t)] \leqq {\varvec{c}}_{\gamma }[f(t)]\), we apply the \(\varepsilon \)-Poincaré inequality (1.10) with \(g=f(t, \cdot )\), \(\phi =\langle \cdot \rangle ^{\frac{k}{2}}f^{\frac{p}{2}}(t, \cdot )\), and we deduce that, when \(\varepsilon >0\),
for some positive constant \(C >0\), and where \(s=\frac{d-q(d+\gamma )}{2q} \in (0,1)\). Proceeding now as in the proof of Theorem 3.6, choosing \(\varepsilon \) in such a way that \( {\varvec{C}}_{k,p} \varepsilon =K(p)\), we deduce from (4.8) that
with (using \(C_\varepsilon >0\) for emphasizing the dependence w.r.t \(\varepsilon \))
(the last point is precisely the assumption of the Proposition). As before, we conclude thanks to Grönwall’s Lemma and integration of (4.10). This proves (4.1) in the case \(-d< \gamma <0\) under the two possible assumptions Hyp. 1 or Hyp. 2.
Let us now show how the \(L^{\infty }([0,T],\,L^{p}_{k}({\mathbb {R}}^{d}))\) estimate (4.1) is enough to deduce (4.2). Let \(p >\frac{d}{d+\gamma +2}\) be fixed – with the restriction \(p < \frac{d}{d+\gamma }\) when we work under Hyp. 1.
Applying the \(\varepsilon \)-Poincaré inequality (1.10) with \(g=f(t, \cdot )\), we deduce as above that (for any suitable \(\phi \))
is valid for any \(\max \left( 1,\frac{d}{d+\gamma +2}\right)< \bar{q} < \frac{d}{d+\gamma }\) with \(s=\frac{d-\bar{q}(d+\gamma )}{2\bar{q}}.\) Using simple interpolation with \(\max \left( 1,\frac{d}{d+\gamma +2}\right)< \bar{q} <p\) one has
with
Since \(m=m(\bar{q})=\frac{\bar{q}(p-1)|\gamma |-k(\bar{q}-1)}{p-\bar{q}}\), the mapping \(\bar{q} \mapsto m(\bar{q})\) is nondecreasing if \(p|\gamma | \geqq k\) and nonincreasing if \(k\geqq p|\gamma |.\) Thus, recalling that \(\max \left( 1,\frac{d}{d+\gamma +2}\right)< \bar{q} < \frac{d}{d+\gamma }\), one has
where \(a^-:= - a \, 1_{a<0}\).
Thus, assuming \(f_{\textrm{in}} \in L^{1}_{\nu }({\mathbb {R}}^{d})\) with \(\nu > \overline{\nu }\), one can choose \(\max \left( 1,\frac{d}{d+\gamma +2}\right)< \bar{q} < \frac{d}{d+\gamma }\) with \(m=m(\bar{q}) \leqq \nu \) so that
Then, thanks to (4.1),
where \(C_{T}(f_{\textrm{in}})\) depends on \({\varvec{C}}_{T}(f_{\textrm{in}})\) appearing in (4.1) and \(\Vert f_{\textrm{in}}\Vert _{L^{1}_{\nu }}\). This proves the result. \(\square \)
With this, we can deduce the following stability result for solutions to Landau equation note that the assumptions on the two considered initial data are not identical:
Proposition 4.2
Let d be an integer, \(d\geqq 3\), and \(\gamma \) be such that \(-d \leqq \gamma < -2\) and \(\frac{d}{d+\gamma +2} < 2\). Let \(f_{\textrm{in}},g_{\textrm{in}}\) and \(f=f(t,v), g=g(t,v)\) define two solutions to Eq. (1.5) in the sense of Definition 1.15 with \(f(0,\cdot ) =f_{\textrm{in}}\), \(g(0,\cdot ) =g_{\textrm{in}}\). We consider one of the following two assumptions (with the convention \(\frac{d}{d+\gamma } = \infty \) when \(\gamma = -d\)):
-
Hyp. 1: there exists \(T >0\) such that \(f,g \in L^{1}([0,T]\,;\;L^{\frac{d}{d+\gamma }}({\mathbb {R}}^{d}))\) and \(\frac{d}{d+\gamma } >2\);
-
Hyp. 2: there exists \(T >0\) such that
$$\begin{aligned} \langle \cdot \rangle ^{|\gamma |}\,f; \,\langle \cdot \rangle ^{|\gamma |}\,g \in L^{r}([0,T];\,L^{q}({\mathbb {R}}^{d})), \qquad \text { with } \quad \frac{2}{r}+\frac{d}{q}=2+d+\gamma , \end{aligned}$$where \(r \in (1,\infty )\), \(q \in \left( \frac{d}{2+d+\gamma },\frac{d}{d+\gamma }\right) \).
Given \(k > d\), assume moreover that
with \(N > \max \left( \frac{d}{2},2,\frac{(d-k)|\gamma |}{d+2\gamma },\frac{(d-k)|\gamma |+2k}{d+2(\gamma +2)}\right) .\) Then, there exists \({\varvec{C}}_{T}(f_{\textrm{in}},g_{\textrm{in}}) >0\) depending on \(d, \gamma , T, k, K_0\), \(\Vert f_{\textrm{in}}\Vert _{L^{1}_{N}}, \Vert g_{\textrm{in}}\Vert _{L^{1}_{2}}\), \(H(f_{\textrm{in}}), H(g_{\textrm{in}})\), \(\Vert f_{\textrm{in}}\Vert _{L^{2}_{k}}, \Vert g_{\textrm{in}}\Vert _{L^{2}_{k+ 2|\gamma |}}\), and the Prodi–Serrin norms \(\Vert f,g\Vert _{L^{1}_{t}(L^{\frac{d}{d+\gamma }})}\) or \(\left\| \langle \cdot \rangle ^{|\gamma |}f, \langle \cdot \rangle ^{|\gamma |}g\right\| _{L^{r}_{t}(L^{q})}\) (and q), such that
Remark 4.3
Notice that the result still applies if f and g do not satisfy the same hypothesis: it applies if f satisfies Hyp. 1 and g satisfies Hyp. 2 or the opposite. We stated the result in the above way for simplicity.
Remark 4.4
We point out that, in the Coulomb case \(\gamma =-d\), the restriction \(\frac{d}{d+\gamma +2} <2\) enforces \(d=3.\)
Proof
We consider two solutions f, g with initial data \(f(0)=f_{\textrm{in}}\) and \(g(0)=g_{\textrm{in}}\), and write \(h=f-g\). We notice first that, since \(f_{\textrm{in}}, g_{\textrm{in}} \in L^{2}_{k}({\mathbb {R}}^{d})\), estimate (4.1) holds true for both f, g with \(p=2\), where we recall that, under Assumption Hyp. 1, we assume \(2 < \frac{d}{d+\gamma }\). It ensures that
This means that for all \(t \in [0,T]\), \(h(t,\cdot )\in L^{\infty }([0,T]\,;\,L^{2}_{k}({\mathbb {R}}^{d}))\). Furthermore, since \(g_{\textrm{in}} \in L^{2}_{k+2|\gamma |}({\mathbb {R}}^{d})\), we deduce from Proposition 4.1 that
We then investigate the evolution of
One that has
As in the proof of Lemma B.1, one has \(\mathscr {I}_{1}=\mathscr {I}_{1,1}+\mathscr {I}_{1,2}\), with
From the diffusive properties of \(\mathcal {A}[f]\),
Now,
Therefore, using the reasoning and notations of Lemma B.1
Using several integration by parts and using that \(\nabla \cdot {\varvec{b}}[f]=-{\varvec{c}}_{\gamma }[f]\), one also shows that
therefore
Using the estimate of \(\textrm{Trace}\left( \mathcal {A}[f]\cdot {\varvec{A}}(v)\right) \) in Lemma B.1 and estimate (B.4) for estimating the integral involving \({\varvec{b}}[f]\), we deduce that
Using Lemma B.2, we deduce in the case \(-d<\gamma <-2\) that there exist \(C=C(d,k,\gamma ), c=c(d,k,\gamma ) >0\) (depending on \(\Vert f_{\textrm{in}}\Vert _{L^1_2({\mathbb {R}}^d)}\)) such that
Thus, observing that \(\overline{{\varvec{c}}}_{\gamma }[f] \leqq {\varvec{c}}_{\gamma }[f]\), we get
In the case \(\gamma =-d\), Lemma B.2 implies that there exist \(C=C(d,k), \tilde{C}=\tilde{C}(d,k), c=c(d,k) >0\) such that
Note that (4.5) holds when Assumption Hyp. 1 is in force and implies that
Now, under Assumption Hyp. 2, since \(d=3\) (see Remark 4.4), we have \(\overline{{\varvec{c}}}_{1-d}[f(t)]\leqq {\varvec{c}}_{-2}[f(t)]\) and we deduce from Proposition A.10 that there exist \(C_0>0\) such that, for any \(\varepsilon >0\) (\(N>2\) being defined in the statement of the theorem),
Thus, in the case \(\gamma =-d\), for any \(\varepsilon >0\),
where \(\Gamma _{\varepsilon }\in L^{1}([0,T])\).
Finally, gathering (4.14) and (4.15), we obtain for \(-d\leqq \gamma <-2\) and for any \(\varepsilon >0\),
with \(\Gamma _{\varepsilon } \in L^{1}([0,T])\).
One now looks at \(\mathscr {I}_{2}\), which is more delicate. One has again \(\mathscr {I}_{2}=\mathscr {I}_{2,1}+\mathscr {I}_{2,2}\), with
Writing \(\langle v\rangle ^{k-2} h \mathcal {A}[h]\nabla g \cdot v=\left( \langle v\rangle ^{\frac{k-2}{2}} h \,v\right) \cdot \left( \langle v\rangle ^{\frac{k-2}{2}}\mathcal {A}[h]\nabla g\right) \) and using Young’s inequality, we deduce that
Similarly, with \(\langle v\rangle ^{k} \mathcal {A}[h]\nabla g \cdot \nabla h=\left( \langle v\rangle ^{\frac{k+\gamma }{2}} \nabla h\right) \cdot \left( \langle v\rangle ^{\frac{k-\gamma }{2}} \mathcal {A}[h]\nabla g\right) \), we deduce from Young’s inequality that, for any \(\delta >0\),
We deduce that there exists \(C_{k} > 0\) such that, for any \(\delta \in ]0,1]\),
Now, from Lemma A.9, Eq. (A.7), there is \(C >0\) such that, when \(q > \frac{d}{d+2+\gamma }\) and \(m > d\left( 1-\frac{1}{q}\right) \),
Applying this with \(q=2\), \(m=\frac{k}{2}\), and this shows that, if \(k>d\),
and we deduce therefore that, for any \(\delta \in ]0,1]\),
where
Notice that (4.13) implies that for any \(\delta \in ]0,1]\),
One proceeds in that exactly same way for \(\mathscr {I}_{4}=\mathscr {I}_{4,1}+\mathscr {I}_{4,2}\), with
To estimate \(|{\varvec{b}}[h]|\), we need to distinguish between the case \(2 > \frac{d}{d+\gamma +1}\) for which can apply (A.8) to estimate \(\Vert {\varvec{b}}[h]\Vert _{\infty }\) in terms of \(\Vert \langle \cdot \rangle ^{m}h\Vert _{2}\) \((m > \frac{d}{2})\), and the case \(2 \leqq \frac{d}{d+\gamma +1}\) for which we resort to (A.9) or (A.10). We focus here on this second case, the case \({\varvec{b}}[h] \in L^{\infty }({\mathbb {R}}^{d})\) being simpler (one can follow the line of the previous estimate for \(\Vert \mathcal {A}[h]\Vert _{\infty }\), we leave it to the reader). We treat in details first the case \(2 < \frac{d}{d+\gamma +1}\). Clearly,
Let \(p_{\gamma }^{*}\) be defined as in (A.9) with the choice of \(q=2\), that is \(p^{*}_{\gamma }=\frac{2d}{d-2(1+\gamma +d)} > 2\). Let p be such that \(\frac{1}{p_{\gamma }^{*}}+\frac{1}{2}+\frac{1}{p}=1\), that is \(p=\frac{d}{1+\gamma +d}\). One deduces from Hölder’s inequality that
Now, a simple use of Young’s inequality yields, for any \(\delta >0\),
We now use (A.9) to deduce that \(\Vert {\varvec{b}}[h]\Vert _{p^{*}_{\gamma }}^{2} \leqq C(f_{\textrm{in}},g_{\textrm{in}})\Vert h\Vert _{2}^{2}\), where \(C(f_{\textrm{in}},g_{\textrm{in}})\) depends on \(d,\gamma \) and \(\Vert f_{\textrm{in}}\Vert _{1},\Vert g_{\textrm{in}}\Vert _{1}.\) It remains only to estimate
One checks easily that \(p < \frac{2d}{d-2}\) under the assumption \(2>\frac{d}{d+\gamma +2}\), while \(p >2\) clearly holds by assumption. Then, by interpolation and Sobolev embedding, there exist \(C >0\) and \(\alpha \in (0,1)\) such that
Thanks to Young’s inequality, we deduce that
We showed that, for any \(\delta >0\),
where
for some positive constant \(C_{d,\gamma ,k}\) depending on \(d,\gamma ,k\) and \(\Vert f_{\textrm{in}}\Vert _{1},\Vert g_{\textrm{in}}\Vert _{1}\). Notice that, according to (4.13), one has \(\Theta _{\delta } \in L^{1}([0,T])\). In the same way,
As before, this yields then the estimate
where
for some positive constant \(C_{d,\gamma ,k}>0\) depending on \(d,\gamma ,k\) and \(\Vert f_{\textrm{in}}\Vert _{L^{1}_{2}}\). In particular, \(\Theta \in L^{1}([0,T])\). Combining these two estimates, for any \(\delta >0\), there is \(\Lambda _{\delta } \in L^{1}([0,T])\) such that
Choosing \(\delta =\delta _{0}= \min (1,\frac{K_{0}}{2})\) in (4.17)-(4.18) and combining this with (4.16), one sees that
with
Since \(f_{\textrm{in}} \in L^1_{N}({\mathbb {R}}^d)\), we may now use the \(\varepsilon \)-Poincaré inequality (4.2) with \(\phi ^{2}=\langle \cdot \rangle ^{k}h^{2}\). Notice that the definition of \(\overline{\nu }\) in (4.11) with \(p=2\) yields \(\bar{\nu }=\frac{d|\gamma |+k\gamma +2k}{d+2(\gamma +2)}\) if \(k \leqq 2|\gamma |\) while \(\bar{\nu }=\frac{(d-k)|\gamma |}{d+2\gamma }\) if \(k \geqq 2|\gamma |\). We deduce that, for any \(\varepsilon >0\),
where \(C_{T}(f_{\textrm{in}},\varepsilon ) >0\) is a positive constant depending only on \(\varepsilon ,T,\Vert f_{\textrm{in}}\Vert _{L^{2}_{k}},\gamma \). Recalling that there are \(c_{0},c_{1} >0\) such that
one chooses then \(\varepsilon =\varepsilon _{0} > 0\) such that \(C\varepsilon _{0}=\frac{1}{2}K_{0}c_{0}\) to deduce that
with
We conclude by a Gronwall argument that, for any \(t \in [0,T]\),
which gives the result.
The case \(\frac{d}{d+\gamma +1}=2\) is treated in the same way using now the weighted estimate (A.10) for \(q=2\). Given \(\frac{2d}{d+2}< \ell < 2\) one defines \(\bar{p}^{*}_{\gamma }=\frac{2\ell }{2-\ell }\) and for p such that \(\frac{1}{\bar{p}_{\gamma }^{*}}+\frac{1}{2}+\frac{1}{p}=1\), that is \(p=\ell '=\frac{\ell }{\ell -1}\), we get, as before, for any \(\delta >0\),
for \(m > |1+\gamma |=\frac{d}{2}\), where we used (A.10) in the case \(q=2\). The estimate for \(\left\| \langle \cdot \rangle ^{\frac{k-\gamma }{2}}\,g(t) \right\| _{p}^{2}\) with \(p=\frac{\ell }{\ell -1}\) is made as before since \(2< p < \frac{2d}{d-2}\) (because \(\frac{2d}{d+2}< \ell < 2\)). Details are left to the reader. \(\square \)
As a consequence, we immediately deduce our main uniqueness result as stated in the Introduction.
Proof of Theorem 1.9
The proof is a simple consequence of the above stability inequality and the fact that \(g_{\textrm{in}}=f_{\textrm{in}}\).\(\square \)
5 Further Comments
In this last section we give an informal discussion of some additional features of our contribution. Specifically, we explain how the results of the previous sections allow to recover well-known results in the case of moderately soft potentials \(-2 \leqq \gamma <0\), and then we discuss the endpoint case of Prodi–Serrin criterion for which \(r=\infty \).
5.1 About the Moderate Soft Potential Case
We illustrate here how Prodi–Serrin’s criterion is satisfied by any weak solution constructed with an approximation procedure, as in Desvillettes [18] to the Landau equation, in the moderate soft potential case
It is already a well-known fact that Landau equation is globally well-posed in this case (weak solutions are global and unique under suitable assumptions) and that apperance/propagation of \(L^{p}\)-norm occurs in this case. Moreover, as shown in the recent contribution Alonso et al. [5], such appearance of \(L^{p}\)-bounds implies the appearance of pointwise bounds for solutions to (1.5). The key point which makes the Prodi–Serrin criterion satisfied is the a priori estimate related to the weighted Fisher information obtained by the third author in Alonso et al. [18], see Corollary A.6 which, for \(-2 \leqq \gamma < 0\) is strong enough to ensure one of the Prodi–Serrin criterion to hold.
Proposition 5.1
Let \(f_{\textrm{in}}\) and \(f=f(t,v)\) a weak solution to equation (1.1) in the sense of Definition 1.15. Then the following holds:
-
(1)
Assume that \(-2< \gamma <0\) and \(f_{\textrm{in}} \in L^{1}_{ {s}}({\mathbb {R}}^{d})\) with \(s=\frac{\gamma ^{2}}{2(\gamma +2)}\), then
$$\begin{aligned} f \in L^{1}([0,T],\,L^{\frac{d}{d+\gamma }}({\mathbb {R}}^{d})), \qquad \forall T >0. \end{aligned}$$ -
(2)
For \(-2 \leqq \gamma < 0\), assume that there is some \(\delta >0\) such that \(f_{\textrm{in}} \in L^{1}_{|\gamma |+\delta }({\mathbb {R}}^{d})\). Then, there is a pair (r, q) with \(r >1\), \(1< q <\frac{d}{d+\gamma }\) and \(\frac{2}{r}+\frac{d}{q}=d+\gamma +2\) such that
$$\begin{aligned} \langle \cdot \rangle ^{|\gamma |}f \in L^{r}([0,T],\,L^{q}({\mathbb {R}}^{d})), \qquad \forall T >0. \end{aligned}$$
Proof
Recall that Corollary A.6 ensures that the weak solution f satisfies
We begin with Assumption 1 (and \(-2< \gamma <0\)). Thanks to Sobolev inequality
(and since \(\gamma >-2\)), we can use the interpolation (Hölder’s) inequality
with \(\frac{d+\gamma }{2d}=\frac{1-\alpha }{2}+\frac{d-2}{2d}\alpha ,\) \(a(1-\alpha )+\frac{\gamma }{2}\alpha =0,\) which means \(\alpha =\frac{|\gamma |}{2}\) and \(a=\frac{\gamma ^{2}}{2(2+\gamma )}\). This, combined with the above Sobolev inequality, implies that
Since \(|\gamma | < 2\), we see from (5.1) that \(\Vert f(\cdot )\Vert _{\frac{d}{d+\gamma }} \in L^{1}([0,T])\) and this proves the first point.
Now, for the second Prodi–Serrin criterion, we still resort to (5.1) but now with the weighted interpolation inequality
with
We assume that \(1< q < \frac{d}{d+\gamma }\) so that \(0< \theta < \frac{|\gamma |}{2} \leqq 1\). We then choose
so that
while
which makes (r, q) an admissible Prodi–Serrin pair. Now, since \(2r\theta \leqq 2\), one sees that
One notices now that \(\beta = |\gamma |\, \frac{1 + \frac{d}{2}\, (1 - q^{-1})}{1 + \frac{d}{2}\, (1 - q^{-1})}\). We see that if \(\gamma >-2\), we can get \(\beta = 2\) by choosing \(q>1\) sufficiently close to 1. If \(\gamma =-2\), we get (for some given \(\delta >0\)) \(\beta = 2 + \delta \) by also choosing \(q>1\) sufficiently close to 1. This proves the result. \(\square \)
Remark 5.2
For \(-2< \gamma <0\), the second point here above means that Prodi–Serrin’s criterion \(L^{r}_{t}(L^{q})\) with \(r >1\) is satisfied for some pair (r, q) for any admissible initial datum \(f_{\textrm{in}} \in L^{1}_{2}({\mathbb {R}}^{d})\) whereas, for \(\gamma =-2\), some additional moment assumption \(f_{\textrm{in}} \in L^{1}_{2+\delta }({\mathbb {R}}^{d})\) is needed. Notice that, arguing as in Alonso et al. [5] and resorting to the de la Vallée-Poussin criterion, this additional assumption can be removed. Even if the first point of the Proposition seems to yield a non optimal moment assumption on \(f_{\textrm{in}}\), we still believe it provides interesting information on the link between the Prodi–Serrin criterion in the endpoint case \(r=1,q=\frac{d}{d+\gamma }\), and the Fisher information estimate of Corollary A.6.
5.2 About the Critical Endpoint \(r=\infty ,\) \(q=\frac{d}{d+\gamma +2}\)
We consider \(d\in {\mathbb {N}}\), \(d \geqq 3\), and \(\gamma \in [-d, -2)\). In the endpoint case for which \(r=\infty \) and \(q=\frac{d}{d+\gamma +2}\), it is actually possible to obtain a result similar to that of Theorem 1.1. Indeed, under some smallness assumption on
the appearance and propagation of \(L^{p}\)-norms which is the cornerstone of our analysis still holds true.
Proposition 5.3
We consider \(d\in {\mathbb {N}}\), \(d \geqq 3\) and \(\gamma \in [-d, -2)\). Let \(f_{\textrm{in}}\) and \(f=f(t,v)\) be a weak solution to equation (1.1) in the sense of Definition 1.15 with \(f_{\textrm{in}} \in L^{1}_{s}({\mathbb {R}}^{d})\) \((s >2).\) Additionally, assume that there exists \(T>0\) such that
Then, given \(k \geqq 0\), \(p > 1\), there exists some explicit \(\delta >0\) (depending on \(d, \gamma , k\) and p) such that, if
and
one has, for any \(t \in [0,T]\),
where \(\,{\varvec{C}}(T,f_{\textrm{in}},\delta )\) is an explicit positive constant depending on \(d,\gamma , T, p, k, K_0, \delta ,\Vert f_{\textrm{in}}\Vert _{L^{p}_{k}},\Vert f_{\textrm{in}}\Vert _{L^{1}_{s}}\) and the Prodi–Serrin norms \(\Vert f\Vert _{L^{\infty }_{t}(L_v^{\frac{d}{d+\gamma +2}})}\), while \(C_{\delta ,p,k}\) is an explicit constant depending only on \(p,\delta \) and k.
Proof
We set \(q_{0}=\frac{d}{d+2+\gamma }\) and recall the evolution of \(L^{p}\) norms given in (4.8):
As in the proof of Proposition 3.6, the key point is to evaluate the singular term
in terms of \(\Vert \langle \cdot \rangle ^{|\gamma |}f(t,\cdot )\Vert _{q_{0}}\). We argue as in the proof of the \(\varepsilon \)-Poincaré inequality to estimate
with
Indeed, since \(\alpha _{1,\gamma } \leqq \langle v_{*}\rangle ^{\gamma } \leqq \alpha _{2,\gamma }\langle v \rangle ^{\gamma }\) when \(|v-v_*| \leqq 1\) (for some constants \(\alpha _{1,\gamma }, \alpha _{2,\gamma } >0\)), the estimate on \(\int _{{\mathbb {R}}^{d}}\overline{{\varvec{c}}}_{\gamma }[F]\psi ^{2}\textrm{d}v\) yields an estimate on \(\int _{{\mathbb {R}}^{d}} \langle \cdot \rangle ^{k} \overline{{\varvec{c}}}_{\gamma }[f(t,\cdot )]\, f^{p}(t,v) \textrm{d}v\).
We can use Hardy-Littlewood-Sobolev inequality (3.1) to get
This yields
since \(\frac{2d}{d-2}\) is the critical exponent for the Sobolev embedding and \(C_{d,\gamma }=C_{\text {HLS}}C_{\text {Sob}}\). Moreover, since \(\psi = \langle \cdot \rangle ^{\frac{\gamma +k}{2}}f^{\frac{p}{2}}\), we deduce from (5.4) that
for some positive constant \({\varvec{C}}_{k,p,d,\gamma }\) depending on \(k,p,d,\gamma \), related to \({\varvec{C}}_{k,p}C_{d,\gamma }\) and the constants \(\alpha _{1,\gamma },\alpha _{2,\gamma }.\) Therefore, assuming that
one obtains, recalling that \(K(p)=K_{0}\frac{p-1}{p}\),
which allows the to conclude exactly as in the proof of Proposition 4.1.
We now briefly explain how to modify the above proof in the case \(\gamma =-d\), when \(d=3\). We first observe that \(\mathbb {M}_{k,p}\) now satisfies the differential inequality
Then, we recall (see Proposition A.10) the estimate
which holds for any \({\varvec{\varepsilon }}>0\) and any \(\eta >2\). Finally, we notice that
This proves the result. \(\square \)
Remark 5.4
Notice that the above assumption (5.2) is not optimal. Indeed, with the notations of the proof, and decomposing further,
After reproducing the aforementioned computations, it is possible to replace (5.2) with an estimate of the type
which is more general than some mere uniform integrability of the family \((F^{q_{0}}(t))_{t\in [0,T]}\) since we do not assume the above \(\limsup \) to vanish. In particular, the conclusion of Proposition 5.3 holds true for instance if
We do not elaborate more in this direction.
Finally, for the Navier–Stokes equation, a sharper endpoint estimate than Theorem 1.1 has been derived in Iskauriaza et al. [35] by a compactness argument. This result has been made quantitative very recently in Tao [56]; Palasek [49] and appears interesting to inquire about the Landau equation counterpart.
Data availability
No data was used for the research described in the article.
References
Alexandre, R., Liao, J., Lin, C.-J.: Some a priori estimates for the homogeneous Landau equation with soft potentials. Kinet. Relat. Models 8, 617–650, 2015
Alexandre, R., Morimoto, Y., Ukai, S., Xu, C.-J., Yang, T.: Smoothing effect of weak solutions for the spatially homogeneous Boltzmann equation without angular cutoff. Kyoto J. Math. 52, 433–463, 2012
Alonso, R.: Emergence of exponentially weighted \(L^{p}\)-norms and Sobolev regularity for the Boltzmann equation. Commun. Partial Differ. Equ. 44, 416–446, 2019
Alonso, R., 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., Bagland, V., Lods, B.: The Landau equation with moderate soft potentials: An approach using \(\varepsilon \)-Poincaré inequality and Lorentz spaces. J. Differential Equations 395, 69–105, 2024
Alonso, R.J., Bagland, V., Desvillettes, L., Lods, B.: Solutions to Landau equation under Prodi-Serrin’s like criteria preprint 2023. arXiv:2306.15729
Alonso, R.J., Bagland, V., Desvillettes, L., Lods, B.: About the Landau–Fermi–Dirac equation with moderately soft potentials. Arch. Ration. Mech. Anal. 244, 779–875, 2022
Alonso, R.J., Bagland, V., Desvillettes, L., Lods, B.: About the use of entropy production for the Landau-Fermi-Dirac equation. J. Stat. Phys. 183, 1163–1183, 2021
Alonso, R.J., Gervais, P., Lods, B.: Prodi-Serrin criteria for the spatially homogeneous Boltzmann equation without cut-off, preprint, https://arxiv.org/abs/2403.15613
Bahouri, H., Chemin, J.-Y., Danchin, R.: Fourier Analysis and Nonlinear Partial Differential Equations, Grundlehren der Mathematischen Wissenschaften, 343. Springer, Heidelberg (2011)
Bedrossian, J., Vicol, V.: The Mathematical Analysis of the Incompressible Euler and Navier–Stokes Equations - An Introduction, Graduate Studies in Mathematics, 225. American Mathematical Society, Providence, RI (2022)
Ben Porath, I.: Local conditional regularity for the Landau equation with Coulomb potential. Kinet. Rel. Mod. 15(5), 775–791, 2022
Chern, J., Gualdani, M.P.: Uniqueness of higher integrable solution to the Landau equation with Coulomb interactions. Math. Res. Lett. 29, 945–960, 2022
Caffarelli, L., Kohn, R., Nirenberg, L.: Partial regularity of suitable weak solutions of the Navier-Stokes equations. Commun. Pure Appl. Math. 35, 771–831, 1982
Carrapatoso, K.: On the rate of convergence to equilibrium for the homogeneous Landau equation with soft potentials. J. Math. Pures Appl. 104, 276–310, 2015
Carrapatoso, K., Desvillettes, L., He, L.-B.: Estimates for the large time behavior of the Landau equation in the Coulomb case. Arch. Ration. Mech. Anal. 224, 381–420, 2017
De Giorgi, E.: Sulla differenziabilità e l’analiticità delle estremali degli integrali multipli regolari. Mem. Accad. Sci. Torino. Cl. Sci. Fis. Mat. Nat. (3) 3, 25–43, 1957
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. From particle systems to partial differential equations. III, 121–143, Springer Proc. Math. Stat., 162, Springer, 2016
Desvillettes, L.: Some remarks about the link between the Fisher information and Landau or Landau-Fermi-Dirac entropy dissipation From particle systems to partial differential equations. X, Springer Proc. Math. Stat., to appear
Desvillettes, L., He, L.-B., Jiang, J.-C.: A new monotonicity formula for the spatially homogeneous Landau equation with Coulomb potential and its applications, J. Eur. Math. Soc., to appear
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
Fournier, N.: Uniqueness of bounded solutions for the homogeneous Landau equation with a Coulomb potential. Commun. Math. Phys. 299, 765–782, 2010
Golding, W., Gualdani, M.-P., Loher, A.: Global existence for the Landau equation with small initial data, preprint 2023. arXiv:2303.02281
Golding, W., Loher, A.: Local-in-time strong solutions of the homogeneous Landau-Coulomb with \(L^{p}\) initial datum, preprint 2023. arXiv:2308.10288
Golding, W., Gualdani, M.-P., Loher, A.: Global smooth solutions to the Landau-Coulomb equation in \(L^{3/2}\), preprint 2024, arXiv:2401.06939
Golse, F., Gualdani, M.P., Imbert, C., Vasseur, A.: Partial regularity in time for the space homogeneous Landau equation with Coulomb potential. Ann. Sci. Ecole Normale Sup. (4) 55, 1575–1611, 2022
Golse, F., Imbert, C., Vasseur, A.: Partial regularity for the space homogeneous Landau equation with very soft potentials, preprint 2022, https://doi.org/10.48550/arXiv.2206.05155
Gressman, P., Krieger, J., Strain, R.: A non-local inequality and global existence. Adv. Math. 230, 642–648, 2012
Gualdani, M.-P., Guillen, N.: On \(A_{p}\) weights and the Landau equation. Calc. Var. Partial Differ. Equ. 58, 17–55, 2019
Gualdani, M.-P., Guillen, N.: Estimates for radial solutions of the homogeneous Landau equation with Coulomb potential. Anal. PDE 9, 1772–1809, 2016
Gualdani, M.-P., Guillen, N.: Hardy’s inequality and the isotropic Landau equation. J. Funct. Anal. 283, 109559, 25, 2022
Gualdani, M.-P., Zamponi, N.: Global existence of weak even solutions for an isotropic Landau equation with Coulomb potential. SIAM J. Math. Anal. 50, 3676–3714, 2018
Guillen, N., Silvestre, L.: The Landau equation does not blow up, preprint 2023, arXiv:2311.09420
Iskauriaza, L., Serëgin, G.A., Šverák, V.: \(L_{3,\infty }\)-solutions of Navier–Stokes equations and backward uniqueness. Uspekhi Mat. Nauk58, 3–44 2003; translation in Russian Math. Surveys58 (2003), 211–250
Ji, S.: Entropy dissipation estimates for the Landau equation with Coulomb potentials, preprint 2023, arXiv:2305.09841
Jia, X., Zhou, Y.: Ladyzhenskaya-Prodi-Serrin type regularity criteria for the 3D incompressible MHD equations in terms of \(3 \times 3\) mixture matrices. Nonlinearity 28, 3289–3307, 2015
Krieger, J., Strain, R.: Global solutions to a non-local diffusion equation with quadratic non-linearity. Commun. Partial Differ. Equ. 37, 647–689, 2012
Krylov, N.V., Röckner, M.: Strong solutions of stochastic equations with singular time dependent drift. Probab. Theory Rel. Fields 131, 154–196, 2005
Lemarié-Rieusset, P.-M.: The Navier–Stokes Problem in the 21st Century. CRC Press, Boca Raton, FL (2016)
Leray, J.: Sur le mouvement d’un liquide visqueux emplissant l’espace. Acta Math. 63, 193–248, 1934
Lieb, E.H., Loss, M.: Analysis, Graduate Studies in Mathematics 14, AMS, 2001
Lifschitz, E.M., Pitaevskii, L.P.: Physical kinetics. Perg. Press, Oxford (1981)
Matthes, D., Toscani, G.: Variation on a theme by Bobylëv and Villani. C. R. Math. Acad. Sci. Paris 350, 107–110, 2012
Meng, F., Wang, H., Min, L., Jin, Z.: Uniform estimates for the Fisher information of the Landau equation for soft potentials. J. Math. Anal. Appl. 523, 126992, 21, 2023
Neves, W., Olivera, C.: Wellposedness for stochastic continuity equations with Ladyzhenskaya-Prodi-Serrin condition. Nonlinear Differ. Equ. Appl. 22, 1247–1258, 2015
Ożański, W.S., Pooley, B.C.: Leray’s fundamental work on the Navier-Stokes equations: a modern review of "Sur le mouvement d’un liquide visqueux emplissant l’espace”, Partial differential equations in fluid mechanics, 113–203, London Math. Soc. Lecture Note Ser., 452, Cambridge Univ. Press, Cambridge, 2018
Ożański, W.S.: The partial regularity theory of Caffarelli, Kohn, and Nirenberg and its sharpness Lecture Notes in Mathematical Fluid Mechanics. Birkhaüuser/Springer, Cham (2019)
Palasek, S.: A minimum critical blowup rate for the high-dimensional Navier-Stokes equations. J. Math. Fluid Mech. 24, 108, 28, 2022
Prodi, G.: Un teorema di unicità per le equazioni di Navier-Stokes. Ann. Mat. Pura Appl. 48, 173–182, 1959
Röckner, M., Zhao, G.: SDEs with critical time dependent drifts: weak solutions. Bernoulli 29, 757–784, 2023
Serrin, J.: The initial value problem for the Navier–Stokes equations, Nonlinear Problems (Proc. Sympos., Madison, Wis., 1962), pp. 69–98, University of Wisconsin Press, Madison, Wis., 1963
Silvestre, L.: Upper bounds for parabolic equations and the Landau equation. J. Differ. Equ. 262, 3034–3055, 2017
Snelson, S.: Global existence for an isotropic modification of the Boltzmann equation, preprint 2023, arXiv:2304.12353
Snelson, S., Solomon, C.: A continuation criterion for the Landau equation with very soft and Coulomb potentials, preprint 2023, arXiv:2309.15690
Tao, T.: Quantitative bounds for critically bounded solutions to the Navier–Stokes equations, Nine mathematical challenges – an elucidation, 149–193, Proc. Sympos. Pure Math., 104, Amer. Math. Soc., Providence, RI, 2021
Villani, C.: On a new class of weak solutions to the spatially homogeneous Boltzmann and Landau equations. Arch. Ration. Mech. Anal. 143, 273–307, 1998
Villani, C.: Decrease of the Fisher information for solutions of the spatially homogeneous Landau equation with Maxwellian molecules. Math. Models Methods Appl. Sci. 10, 153–161, 2000
Wu, K.-C.: Global in time estimates for the spatially homogeneous Landau equation with soft potentials. J. Funct. Anal. 266, 3134–3155, 2014
Acknowledgements
B.L. was partially supported by PRIN2022 (project ID: BEMMLZ) Stochastic control and games and the role of information. He also gratefully acknowledges the financial support from the Italian Ministry of Education, University and Research (MIUR), Dipartimenti di Eccellenza grant 2022–2027 as well as the support from the de Castro Statistics Initiative, Collegio Carlo Alberto (Torino). Note added to the paper. After the completion of this work and the publication of a previous version of our manuscript as a preprint in Alonso et al. [6], an important contribution by Guillen and Silvestre [34] appeared as a preprint, presenting a proof of the fact that classical solutions to (1.1) do not blow up and can be defined globally. A recent significant contribution by Golding et al. [26] also appeared after the submission of the paper. These two works provide new insights on the problem discussed in this paper.
Funding
Open access funding provided by Università degli Studi di Torino within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by P.-L. Lions.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Facts About Solutions to the Landau Equation
We collect several mathematical results about the solutions to the Landau equation in the range of parameters we are dealing with here: \(- d\leqq \gamma <0\). These results are meant to serve as a mathematical tool-box for the core of the paper.
Definition A.1
Let \(f_{\textrm{in}} \in L^{1}_{2}({\mathbb {R}}^{d}) \cap L\log L({\mathbb {R}}^{d})\) be given and nonnegative with
and
We say that \(f \in \mathcal {Y}_{0}(f_{\textrm{in}})\) if \(f\in L^{1}_{2}({\mathbb {R}}^{d})\) and
and \(H(f) \leqq H(f_{\textrm{in}}).\)
We observe that at the formal level, a solution \(f=f(t,v)\) of the Landau equation with initial datum \(f_{\textrm{in}} \in L^{1}_{2}({\mathbb {R}}^{d}) \cap L\log L({\mathbb {R}}^{d})\) satisfies
For general estimates regarding the class of functions \(\mathcal {Y}_{0}(f_{\textrm{in}})\) and the following lemma, we refer to Alexandre et al. [1]:
Lemma A.2
Let \(0\leqq f_{\textrm{in}}\in L^{1}_{2}({\mathbb {R}}^{d}) \cap L\log L({\mathbb {R}}^{d})\) be fixed as in Definition A.1. Then, the following hold:
-
(1)
For any \(f \in \mathcal {Y}_{0}(f_{\textrm{in}})\), it holds that
$$\begin{aligned} \int _{|v|\leqq R} f \, \textrm{d}v \geqq \varrho _{\textrm{in}}\left( 1-\frac{E_{\textrm{in}}}{\varrho _{\textrm{in}}R^{2}}\right) \qquad \forall R >0. \end{aligned}$$(A.1) -
(2)
For any \(\delta >0\) there exists \(\eta (\delta )>0\) depending only on \(\Vert f_{\textrm{in}}\Vert _{L^{1}_{2}}\) and \(H(f_{\textrm{in}})\) such that for any \(f \in \mathcal {Y}_{0}(f_{\textrm{in}})\) and measurable set \(A\subset {\mathbb {R}}^{d}\)
$$\begin{aligned} |A|\leqq \eta (\delta ) \Longrightarrow \int _A f \, \textrm{d}v \leqq \delta \,. \end{aligned}$$(A.2)
The aforementioned estimates are the key for the proof of the coercivity estimate for the matrix \(\mathcal {A}[f]\) given in Remark 1.13. Namely, one has
Lemma A.3
Let \(0\leqq f_{\textrm{in}}\in L^{1}_{2}({\mathbb {R}}^{d}) \cap L\log L({\mathbb {R}}^{d})\) be fixed. Then, there exists a constant \(K_{0} > 0,\) depending on d, \(\gamma \), \(\rho _{\textrm{in}}\), \(E_{\textrm{in}}\), \(H(f_{\textrm{in}})\) such that
holds for any \(f \in \mathcal {Y}_{0}(f_{\textrm{in}})\).
Proof
We show here how the conclusion of Lemma A.2 allows to deduce the result. We follow the proof of [1, Proposition 2.3] given in dimension \(d=3\) and explain where some changes have to be made to treat general dimension \(d\geqq 3.\) First, one observes that it is enough to show the result for \(\xi \in {\mathbb {R}}^{d}\) with \(|\xi |=1\). We fix such \(\xi \) and, for \(\theta \in (0,\frac{\pi }{2})\), we introduce
Given \(v,v_{*}\in {\mathbb {R}}^{d}\), \(v \ne v_{*}\) we set for simplicity \(u=v-v_{*}\), \(\widehat{u}=\frac{u}{|u|}\) and notice that
Therefore, if \(v \in {\mathbb {R}}^{d}\) it holds that
For any \(f \in \mathcal {Y}_{0}(f_{\textrm{in}})\) and any \(v \in {\mathbb {R}}^{d}\), we have then, for any \(\theta \in \left( 0,\frac{\pi }{2}\right) \) and any \(R >0\)
where \(B_{R}=\{v_{*}\in {\mathbb {R}}^{d}\,,\,|v_{*}| \leqq R\}.\) Thus
We now fix \(R > \sqrt{\frac{2E_{\textrm{in}}}{\varrho _{\textrm{in}}}}\) so that (A.1) reads \(\int _{B_{R}}f(v_{*})\textrm{d}v_{*}\geqq \frac{\varrho _{\textrm{in}}}{2}\) and
One argues as in Desvillettes, Villani [22] to estimate \(\left| B_{R}\cap D_{\theta ,\xi }(v)\right| .\) This is the only place in the proof in which dimension d plays a role, the proof in Desvillettes, Villani [22] being given in \(d=3.\) Notice that \(B_{R}\cap D_{\theta ,\xi }(v)\) is the intersection of a cone with a ball. It can be estimated from above by the intersection of the cylinder with the ball \(B_{R}\) where the cylinder is obtained choosing \(u=v-v_{*}\) parallel to \(\xi \). The radius of the basis of the cylinder is then \(r:=(R+|v|)\tan \theta \) and its maximal length is the diameter of the ball. Thus, \(|B_{R}\cap D_{\theta ,\xi }(v)| \leqq c_{d}R\,r^{d-1},\) with \(c_{d}\) depending only on \(|{\mathbb {S}}^{d-2}|\), that is,
We distinguish between two cases.
\(\bullet \) First case: \(|v|>2R\). In such a case, for \(v_{*}\in B_{R}\), one has \(\frac{1}{2}|v| \leqq |v-v_{*}| \leqq \frac{3}{2}|v|\) and there exists \(C_{\gamma } >0\) such that \(|v-v_{*}|^{\gamma +2} \geqq C_{\gamma }|v|^{\gamma +2}\). According to (A.3)–(A.4), it holds
where, according to (A.5), \(|B_{R} \cap D_{\theta ,\xi }(v)| \leqq c_{d}R\left( \frac{3}{2}|v|\right) ^{d-1}\tan ^{d-1}\theta .\) With the notations of (A.2), given \(\delta =\frac{1}{4}\varrho _{\textrm{in}}\), we choose \(\theta \) (depending on v) small enough so that
according to (A.2) (notice that such a choice of \(\theta \) is always possible up to increasing R). Then, (A.6) yields
Notice that \(\tan \theta =\frac{2}{3|v|}\left( \frac{\eta (\delta )}{c_{d}R}\right) ^{\frac{1}{d-1}}\), so that \(\sin ^{2}\theta =C_{R,d}|v|^{-2}\cos ^{2}\theta \) for some explicit \(C_{R,d}\) depending only on d, R and \(\rho _{\textrm{in}}\), \(E_{\textrm{in}}\), \(H(f_{\textrm{in}})\). Therefore
with \(\cos ^{2}\theta > \frac{1}{2}\) since we choose \(\theta \) small enough (up to having picked R larger). Thus, there is \(K >0\) (depending on \(d,\gamma \), \(\rho _{\textrm{in}}\), \(E_{\textrm{in}}\), \(H(f_{\textrm{in}})\)) such that
\(\bullet \) Second case: \(|v| < 2R\). In such a case, arguing exactly as in [1, Prop. 1.3], we conclude that
which of course implies the result with \(K_{0}=\min (K,\tilde{K})\). The details of this second case are left to the reader and are readily adapted from the corresponding result in Alexandre et al. [1]; Desvillettes, Villani [22].\(\square \)
Remark A.4
From the above construction, the constant \(K_{0}\) depends on R (and therefore on \(\varrho _{\textrm{in}},E_{\textrm{in}})\) and on the construction of the mapping \(\eta \) in (A.2) so that \(K_{0}\) depends also on \(H(f_{\textrm{in}})\).
The following property of the dissipation of entropy for Landau operator was observed in Desvillettes [18, 19]:
Proposition A.5
Let \(0\leqq f_{\textrm{in}}\in L^{1}_{2}({\mathbb {R}}^{d}) \cap L\log L({\mathbb {R}}^{d})\) be fixed as in Definition A.1. Then, there is a positive constant \(C_{0}(\gamma )\) depending only on d, \(\gamma \), \(\rho _{\textrm{in}}\), \(E_{\textrm{in}}\), \(H(f_{\textrm{in}})\) such that, for all \(f \in \mathcal {Y}_{0}(f_{\textrm{in}})\),
where \(\mathscr {D}(f)\) denotes the dissipation of entropy functional defined as
In particular, since formally the entropy of solutions to the Landau equation is decreasing according to
one can prove that, for H-solutions \(f=f(t,v)\) to the Landau equation, it holds that
and one deduces the following result from Desvillettes [18, 19]:
Corollary A.6
If \(f_{\textrm{in}}\) and \(f=f(t,v)\) define a solution to Eq. (1.1) in the sense of Definition 1.15 then
where \({\varvec{C}}_{T}(f_{\textrm{in}})\) is an explicit positive constant depending only on \(T,d,\gamma \), \(\varrho _{\textrm{in}},E_{\textrm{in}}\) and \(H(f_{\textrm{in}}).\)
Remark A.7
Notice that, since \(f \in L^{\infty }([0,T];\,L^{1}({\mathbb {R}}^{d}))\), the above can be reformulated in the equivalent way as
for some \({\varvec{C}}_{T}(f_{\textrm{in}})\) different from the previous one. It is in this form that the result is stated in Desvillettes [18].
Finally, recall the a priori growth of moments of solutions to the Landau equation, referring to Carrapatoso [15]; Carrapatoso et al. [16] for a proof in dimension \(d=3\). The general case is following the same lines (see for instance Alonso et al. [7] for a proof in the case of the Landau-Fermi-Dirac equation which is easily adapted to the Landau setting).
Proposition A.8
We consider \(d\in {\mathbb {N}}\), \(d \geqq 3\) and \(\gamma \in [-d, 0)\), and assume that \(f_{\textrm{in}}\) and \(f=f(t,v)\) define a solution to Eq. (1.1) in the sense of Definition 1.15. Assume that
then
for some positive constant \(C_{s}\) depending on d, \(\gamma \), s, \(\rho _{\textrm{in}}\), \(E_{\textrm{in}}\), \(H(f_{\textrm{in}})\). In particular,
We complement also the above with the following properties of the matrix \(\mathcal {A}[h]\) and vector \({\varvec{b}}[h]\). Notice that the result applies without any sign assumption on the mapping \(h\,:{\mathbb {R}}^{d} \rightarrow {\mathbb {R}}.\)
Lemma A.9
Let \(d\in {\mathbb {N}}\), \(d \geqq 3\), \(-d \leqq \gamma < -2\). For any
there is \(C_{m,d,\gamma ,q} >0\) depending only on \(m,d, \gamma ,q\) such that
In the same way, if \(q \in \left( \frac{d}{d+\gamma +1}, \infty \right) \),
for \(\tilde{C}_{m,d,\gamma ,q} >0\) depending only on \(m,d,\gamma ,q\).
Then, for
there exists \(C_{d,\gamma ,q} >0\) depending only on d, \(\gamma \), q such that
Finally, if \(q=\frac{d}{d+\gamma +1}\), for any \(p \in (\frac{d}{d+\gamma +2},q)\) and any \(m > |\gamma +1|\), there exists \(C_{m,d,\gamma ,p} >0\) such that
In the case when \(q=\frac{d}{d+\gamma +1}=2\), the estimate becomes, for any \(p\in (\frac{2d}{d+2}, 2)\),
Proof
Let us write, for a smooth h,
and notice that \(|\mathcal {A}[h]| \leqq 2I_{\gamma +2}[h]\) and \(|{\varvec{b}}[h]| \leqq (d-1)I_{\gamma +1}[h].\) We prove the result for \(I_{\gamma +2}[h]\). One has, for any \(R >0\)
where \(\frac{1}{q}+\frac{1}{q'}=1\) and \(q >\frac{d}{2+d+\gamma }.\) One has then easily that there is \(C >0\) (depending on \(\gamma ,d\) and q) such that
which, after optimizing R (recall that \(\gamma +2<0\) while \(\gamma +2+\frac{d}{q'} >0\) since \(\frac{1}{q} < 1 + \frac{\gamma +2}{d}\)), reads simply
Since (for some C depends on d, m, q) \(\Vert h\Vert _{1} \leqq C \,\Vert h\langle \cdot \rangle ^{m}\Vert _{q}\) for any \(m >\frac{d}{q'}\), this yields (A.7).
Now, the same exact estimate holds for \(|{\varvec{b}}[h]| \leqq (d-1)I_{\gamma +1}[h]\) under the assumption \(q > \frac{d}{d+\gamma +1}\) and this proves (A.8).
Let us now prove (A.9), recalling that \(\frac{d}{d+\gamma +2}<q < \frac{d}{d+\gamma +1}\). According to Hardy-Littlewood-Sobolev inequality (Proposition 3.1), for any \(q < \frac{d}{d+\gamma +1}\), a simple duality argument shows that
Notice that \(r'> 1 \iff q > \frac{d}{1+\gamma +2d}\) which is satisfied since \(\frac{d}{d+\gamma +2} > \frac{d}{1+\gamma +2d}\). This proves (A.9).
Strangely, the case \(q=\frac{d}{1+\gamma +d}\) is not covered by the above statements and deserves a separate treatment. Indeed, Hardy-Littlewood-Sobolev inequality (A.12) for \(q=\frac{d}{d+\gamma +1}\) would give \(r'=\infty \), which is excluded by (3.1). We rather apply this with \(p < q=\frac{d}{d+\gamma +1}\) and, as above, deduce that
Since \(1< p < q\), we use a further interpolation \(\Vert h\Vert _{p} \leqq \Vert h\Vert _{1}^{\theta }\,\Vert h\Vert _{q}^{1-\theta }\) with \(\theta =\frac{q-p}{p(q-1)}\) and, with Young’s inequality
This concludes the proof of the Lemma. \(\square \)
We finally recall a result regarding the \(\varepsilon \)-Poincaré inequality in the (critical) case \(\gamma =-2\) in any dimension established in Alonso et al. [5].
Proposition A.10
Let \(d\in {\mathbb {N}}, d \geqq 3\). Assume \(f_{\textrm{in}}\) be as in Definition A.1. Then there exists \(C_{0} >0\) depending only on \(\Vert f_{\textrm{in}}\Vert _{L^{1}_{2}}\) and \(H(f_{\textrm{in}})\) such that, for any \(\varepsilon >0\),
holds true for any suitable nonnegative functions \(g \in \mathcal {Y}_{0}(f_{\textrm{in}}) \cap L^{1}_{s}({\mathbb {R}}^{d})\) \((s >2)\) and \(\phi \).
Proof
We refer to Alonso et al. [5] for a full proof of the result in general dimension \(d \geqq 3\) which uses Lorentz spaces. We just explain the main steps of it, referring to Alonso et al. [5] for details and to Bahouri et al. [10] for definition and properties of Lorentz spaces. As in the proof of Proposition 1.7, eq. (3.14), we decompose, according to \(|v-v_*| \geqq \frac{\langle v\rangle }{2}\) or not,
with \(I_{1} \leqq \Vert g\Vert _{{1}} \Vert \psi ^{2}\Vert _{{1}}\,,\) and \(I_{2} \leqq C_{d,\gamma }\, \int _{{\mathbb {R}}^{d}\times {\mathbb {R}}^{d}}|v-v_{*}|^{-2}\psi (v)^{2}F(v_{*})\textrm{d}v_{*}\textrm{d}v\,,\) still using the notations \( F(v)=\langle v\rangle ^{2}g(v)\), \(\psi (v)=\langle v\rangle ^{-1}\phi (v)\). Then \(I_2 \leqq J_{1}+J_{2}\), with
and
The term \(J_2\) is then further split, for \(R >0\), according to
and
Then, \(J_{2,R}^{-} \leqq C_d\, R\, \Vert \psi \Vert _{2}^{2}\), while, thanks to the use of Lorentz spaces,
Then, we end up with
In order to conclude the proposition, one needs to prove that \(\Vert F_{R}^{+}\Vert _{1}\) is small as R is sufficiently large. This comes from the observation that for, \(s>2\) and \(\theta _{s}=1-\frac{2}{s}\) and any suitable function \(g \in L^{1}_{s} \cap L\log L({\mathbb {R}}^{d})\),
We refer the reader to Alonso et al. [5] for more details. \(\square \)
Appendix B: Evolution of Weighted \(L^{p}\)-Norms
We briefly explain here how the analysis of Sections 2 and 3 can be modified to allow the appearance of weighted \(L^{p}\)-norms. We recall the notations
for \(k\in {\mathbb {R}}\) and \(p \in (1,\infty )\). Let us dig directly into the technical lemma as follows:
Lemma B.1
Consider \(d\in {\mathbb {N}}\), \(d \geqq 3\) and \(\gamma \in [-d, 0)\), and assume that \(f_{\textrm{in}}\) and \(f=f(t,v)\) define a solution to Eq. (1.1) in the sense of Definition 1.15. Then, for all \(k\in {\mathbb {R}}_+\) and \(p \in (1,\infty )\),
with (\(K_0\) being the constant appearing in Remark 1.13)
Proof
We easily check that, for any \(k\geqq 0\),
Arguing as in the proof of Proposition 3.3, we obtain that
Moreover, writing
from which
we observe that
Also, note that
Therefore,
Let us investigate in more detail the latter term. Integration by parts shows that
Using the product rule
where \(D_{v}\big ( \langle v\rangle ^{k-2} v\big )\) is the matrix with entries \(\partial _{v_{i}}\big ( \langle v\rangle ^{k-2} v_{j}\big )\), \(i,j=1,\ldots ,d\), or more compactly,
where \({\varvec{A}}(v)=\langle v\rangle ^{2}\textbf{Id}+(k-2)\,v\otimes v\), \(v \in {\mathbb {R}}^{d}\), we obtain
We denote by \(I_{1},I_{2},I_{3},I_{4}\) the various terms on the right-hand-side of (B.3) and control each of them separately. We get
that is,
Clearly, we also get
For the term \(I_{4}\), one checks easily that, for any \(i,j \in \{1,\ldots ,d\}\),
and
Therefore,
which proves the result thanks to (B.3). \(\square \)
We now estimate the various terms
and observe that the less favourable estimate corresponds to the most singular case \(i=0\).
Lemma B.2
Consider \(d\in {\mathbb {N}}\). For any \(-d< \gamma <0\), \(p \in (1,\infty )\), \(k\in {\mathbb {R}}_+\), and suitable functions \(f\geqq 0\) and h, the following estimate holds:
Here \(C_{d,\gamma }:=3\frac{\gamma +d+2}{\gamma +d}\), \(c_{d,\gamma }:=3(d-1)\,(\gamma +d+2)\, \Vert f\Vert _{L^1_2 }\), and where
In the Coulomb case \(\gamma =-d\), the estimate becomes
for \(\tilde{C}_{d}:= 3(d-1)\), \(\tilde{c}_{d}:= 3(d-1)\,\Vert f_{\textrm{in}}\Vert _{1}\).
Proof
For \(i=0,1,2\), one simply writes
and splits the above integral according to \(|v-v_{*}| >1\) and \(|v-v_{*}| \leqq 1\). Clearly,
whereas, given that \(\gamma <0\),
since \(|v-v_{*}| \leqq \langle v\rangle \langle v_{*}\rangle \). Recalling that \(i=0,1,2\),
Thus,
and the result follows by defining \(C_{d,\gamma }\) and \(c_{d,\gamma }\) as in the statement.
In the case \(\gamma =-d\), the proof is almost identical and one simply needs to estimate the sum
Then we observe that for \(i=1,2\),
Therefore, \({\varvec{c}}_{i-d}[f] \leqq (d-1)\,i\, \bigg ( \overline{{\varvec{c}}}_{1-d}[f] + \Vert f\Vert _{1} \bigg ),\) which gives (B.5). \(\square \)
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. A Priori Estimates for Solutions to Landau Equation Under Prodi–Serrin Like Criteria. Arch Rational Mech Anal 248, 42 (2024). https://doi.org/10.1007/s00205-024-01992-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00205-024-01992-y