SOME APPLICATIONS OF THE METHOD OF MOMENTS FOR THE HOMOGENEOUS BOLTZMANN AND KAC EQUATIONS Laurent Desvillettes ECOLE NORMALE SUPERIEURE 45, Rue d Ulm 7530 Paris Cédex 05 March 6, 013 Abstract Using the method of moments, we prove that any polynomial moment of the solution of the homogeneous Boltzmann equation with hard potentials or hard spheres is bounded as soon as a moment of order strictly higher than exists initially. We also give partial results of convergence towards the Maxwellian equilibrium in the case of soft potentials. Finally, exponential as well as Maxwellian estimates are introduced for the Kac equation. 1 Introduction The spatially homogeneous Boltzmann equation of rarefied gas dynamics writes f (t,v) = Q(f)(t,v), t (1.1) where f is a nonnegative function of the time t and the velocity v, and Q is a quadratic collision kernel taking in account any collisions preserving momentum and kinetic energy: Q(f)(t,v) = v 1 IR 3 {f(t,v )f(t,v 1) f(t,v)f(t,v 1 )} ω S B( v v 1, ω v v 1 v v 1 )dωdv 1, (1.) 1
with v = v (ω (v v 1 ))ω, (1.3) v 1 = v 1 +(ω (v v 1 ))ω, (1.4) and the nonnegative cross section B depends on the type of interaction between molecules (Cf. [Ce], [Ch, Co], [Tr, Mu]). In a gas of hard spheres, the cross section is B(x,y) = xy. (1.5) However, for inverse s th power forces with angular cut off (Cf. [Ce], [Gr]), B(x,y) = x α β(y), (1.6) where α = s 5 s 1, and there exists β 1 > 0 such that for a.e. y [0,1], 0 < β(y) β 1. (1.7) When s > 5, the potentials are said to be hard and 0 < α < 1. But when 3 < s < 5, the potentials are said to be soft and 1 < α < 0. The intermediate case when s = 5 is called Maxwellian molecules and makes exact computations possible (Cf. [Tr], [Tr, Mu] and [Bo]). Since hard and soft potentials are fairly involved, (the function β is defined implicitly), engineers often use in numerical computations the simpler variable hard spheres (VHS) model, in which B(x,y) = x α y, (1.8) and 0 < α 1. Note that, at least formally, for every function ψ(v), Q(f)(t,v)ψ(v)dv = 3 and also 3 B( v v 1, ω 3 Q(f)(t,v)ψ(v)dv = 1 4 v 1 IR 3 ω S {ψ(v ) ψ(v)}f(t,v)f(t,v 1 ) v v 1 v v 1 )dωdv 1dv, (1.9) 3 v 1 IR 3 ω S {ψ(v )+ψ(v 1)
ψ(v) ψ(v 1 )}{f(t,v )f(t,v 1) f(t,v)f(t,v 1 )} v v 1 B( v v 1, ω v v 1 )dωdv 1dv. (1.10) When ψ(v) = 1,v, v in (1.10), one obtains the conservation of mass, momentum and energy for the Boltzmann kernel: 3 Q(f)(t,v)(1,v, v )dv = 0. (1.11) Moreover, using (1.10) with ψ = logf, one obtains the entropy estimate: 3 Q(f)(t,v) logf(t,v)dv 0. (1.1) According to [A 1], [A ], for any of the cross sections previously presented, there exists a nonnegative solution f(t, v) of eq. (1.1) satisfying f(0,v) = f 0 (v) as soon as f 0 is nonnegative and 3 f 0 (v)(1+ v r + logf 0(v) )dv < + (1.13) for some r >. Moreover, estimates (1.11) and (1.1) hold for this solution, and therefore f satisfies 3 f(t,v)(1,v, v )dv = f 0 (v)(1,v, v )dv, (1.14) 3 f(t,v) logf(t,v)dv f 0 (v) logf 0 (v)dv (1.15) 3 3 when t 0. Note that condition (1.13) can berelaxed by taking r = for theproof of existence, but in that case (1.14) may not hold (at least for soft potentials). Note also the results in [DP, L 1] of existence and weak stability for the inhomogeneous equation. In this work, when we consider solutions of the Boltzmann equation(1.1), it will always be the nonnegative solutions of [A 1] or [A ]. It is now well known that in the case of VHS models (including hard spheres) and hard potentials (including Maxwellian molecules), the moments of the solution of the Boltzmann equation l r (t) = f(t,v) v r dv (1.16) 3 3
for r >, are boundedon [0,+ [ as soon as they exist at time t = 0 (Cf. [El 1]). The same estimate holds for soft potentials, except that l r (t) is bounded only on [0,T] for T > 0 and may blow up when t goes to infinity (Cf. [A ]). Note finally that the case of Maxwellian molecules is treated extensively in [Tr, Mu] and [Bo]. We shall prove in section that in fact, for VHS models (including hard spheres) as well as in the case of hard potentials (but not including Maxwellian molecules) and under assumption (1.13), the moments l q (t) (for q > ) are bounded on [t,+ [ (for any t > 0). In other words, every polynomial moments of f exist for t > 0 as soon as one of them (of order strictly higher than ) exists initially. In section 3, we give some estimates for the solution f of eq. (1.1) with soft potentials. We write the cross section B under the form B(x,y) = x γ β(y), (1.17) with γ > 0 (γ = α in eq. (1.6)). We prove that as soon as l r (0) exists (with r > ), we can find K 0 > 0 such that l r (t) K 0 t+k 0. (1.18) This estimate is a little more explicit than that of [A ]. Moreover, we get also t l r γ (s)ds K 0 t+k 0, (1.19) 0 which means that l r γ is bounded in the Cesaro sense. Note that the same kind of estimates can be found in [Pe 1] and [Pe ], in a linear context. Note also that the estimates can be derived from the works of Elmroth (Cf. [El 1] and [El ]). However, we give here for the sake of completness a self contained proof. These estimates are then used to prove partial results of convergence towards the equilibrium when t goes to infinity (the reader can find a survey on this subject in [De ]). Finally, in section 4, we introduce Kac s model (Cf. [K], [MK]) and, using monotony results, we prove exponential and Maxwellian estimates for its solution. 4
Hard potentials The bounds that we present in this work are based on formula (1.9). The exploitation of this estimate is called method of moments. We begin by putting (1.9) under a new form. Writing where ω = cosθ v 1 v v 1 v +sinθ(cosφi v,v 1 +sinφj v,v1 ), (.1) ( ) v1 v v 1 v,i v,v 1,j v,v1 (.) is an orthonormal basis of IR 3, estimate (1.9) becomes π π/ Q(f)(t,v)ψ(v)dv = 3 3 v 1 IR 3 φ=0 θ=0 { ψ(v+cosθ v v 1 {cosθ v } 1 v v 1 v + sinθ(cosφi v,v 1 +sinφj v,v1 )}) ψ(v) f(t,v)f(t,v 1 )sinθb( v v 1,cosθ)dθdφdv 1 dv. (.3) Introducing in eq. (.3) the change of variables θ = δ, and defining R δ,φ ( v 1 v v 1 v ) = cosδ v 1 v v 1 v + sinδ(cosφi v,v 1 +sinφj v,v1 ), (.4) one obtains = 3 v 1 IR 3 π φ=0 π δ=0 Q(f)(t,v)ψ(v)dv { ( 3 v +v1 ψ + v v 1 R δ,φ ( v ) 1 v v 1 v ) } ψ(v) f(t,v)f(t,v 1 ) sin δ B( v v 1,cos δ )dδdφdv 1dv, (.5) which is in fact a classical form for the Boltzmann collision term (Cf. [Bo] or [De 3] for example). We state now three useful lemmas: Lemma 1: Assume that ǫ > 0 and that Λ is a strictly positive function of L ([0,π]). Then, there exists K 1 > 0 and two functions T 1 (v,v 1 ),T (v,v 1 ) such that π π W(v,v 1 ) = 1+ v v 1 v +v 1 φ=0 δ=0 v +v1 5
with and ( R δ,φ ( v ) 1 v v 1 v ) v +v 1 1+ǫ Λ(δ) dδdφ v +v 1 = T 1 (v,v 1 )+T (v,v 1 ), (.6) T 1 (v,v 1 ) = T 1 (v 1,v) (.7) π 0 T (v,v 1 ) K 1 < 1+ǫ π Λ(δ) dδ. (.8) δ=0 Proof of lemma 1: We take the following notations for i = 1,: T i (v,v 1 ) = with π φ=0 We can see that and π δ=0 ( v v1 v +v 1 χ i v +v1 {R δ,φ ( v 1 v v 1 v ) v +v ) 1 v +v 1 } Λ(δ)dδdφ, (.9) χ i (x) = (1+x)1+ǫ +( 1) i (1 x) 1+ǫ. (.10) W(v,v 1 ) = T 1 (v,v 1 )+T (v,v 1 ), (.11) T 1 (v,v 1 ) = T 1 (v 1,v). (.1) But χ is even, strictly increasing from x = 0 to x = 1, and χ (0) = 1, χ (1) = ǫ. (.13) Therefore, using the inequality v v 1 v +v 1 v +v1, (.14) we obtain the estimate 0 T (v,v 1 ) 1+ǫ π π δ=0 Λ(δ) dδ. (.15) Then, a simple argument of compactness ensures that lemma 1 holds. We now prove the second lemma. 6
Lemma : Assume that ǫ > 0 and that the cross section B in (1.) satisfies B(x,y) = B 0 (x)b 1 (y), (.16) where B 1 L ([0,π]) is strictly positive. Then, there exists K > 0 and K 3 ]0,1[ such that 3 Q(f)(t,v) v +ǫ dv K 3 v 1 IR 3 { K 3 (v +v 1 )1+ǫ v +ǫ } f(t,v)f(t,v 1 )B 0 ( v v 1 )dv 1 dv. (.17) Proof of lemma : According to eq. (.5), for ǫ > 0, { Q(f)(t,v) v +ǫ dv = ( v +v π π 1 ) 1+ǫ 3 3 v 1 IR 3 φ=0 δ=0 1+ v v ( 1 v +v 1 v +v1 R δ,φ ( v ) 1 v v 1 v ) v +v 1 1+ǫ sin δ v +v 1 B 1(cos δ )dδdφ π π v +ǫ sin δ φ=0 δ=0 B 1(cos δ }f(t,v)f(t,v )dδdφ 1 )B 0 ( v v 1 )dv 1 dv. (.18) Moreover, using lemma 1 with we have v +ǫ π φ=0 π δ=0 3 Λ(δ) = sin δ B 1(cos δ ), (.19) Q(f)(t,v) v +ǫ dv 3 { ( v +v1 ) 1+ǫ (K 1 +T 1 (v,v 1 )) v 1 IR 3 sin δ B 1(cos δ )dδdφ }f(t,v)f(t,v 1 )B 0 ( v v 1 )dv 1 dv, with K 1 and T 1 (v,v 1 ) as in lemma 1. Therefore, taking (.0) π K = π sin δ δ=0 B 1(cos δ )dδ, (.1) 7
K 3 = K ( π 1 1+ǫ sin δ π δ=0 B 1(cos δ ) 1 )dδ < 1, (.) and using the change of variables (v,v 1 ) (v 1,v), we obtain lemma. We prove now the last lemma. Lemma 3: Let B and ǫ be as in lemma. Then, there exist K 4,K 5 > 0 such that Q(f)(t,v) v +ǫ dv 3 K 4 v +ǫ f(t,v)f(t,v 1 )B 0 ( v v 1 )dv 1 dv 3 v 1 IR 3 +K 5 v v 1 ǫ f(t,v)f(t,v 1 )B 0 ( v v 1 )dv 1 dv. (.3) 3 v 1 IR 3 Proof of lemma 3: Note that there exists K 6 > 0 such that (v +v 1) 1+ǫ v +ǫ + v 1 +ǫ +K 6 ( v v 1 ǫ + v ǫ v 1 ). (.4) Using lemma and the change of variables (v,v 1 ) (v 1,v), one easily obtains lemma 3 with K 4 = K (1 K 3 ) and K 5 = K K 3 K 6. We now come to the main theorem of this section. Theorem 1: Let f 0 satisfying (1.13) be a nonnegative initial datum for the Boltzmann equation (1.1) with hard potentials (but not with Maxwellian molecules) or with the VHS model (including hard spheres). We denote by f(t,v) a solution of the equation with this initial datum. Then, for all r > 0,t > 0, there exists C(r,t) > 0 such that when t t. f(t,v) v r dv C(r,t) (.5) 3 Proof of theorem 1: According to (1.6) and (1.8), the cross section for hard potentials (but not Maxwellian molecules) or for the VHS model (including hard spheres) is of the form (.16) with B 0 (x) = x α, and α ]0,1]. Therefore, we can apply lemma 3. For ǫ > 0, we write 8
K 4 +K 5 3 3 3 Q(f)(t,v) v +ǫ dv v 1 IR 3 v +ǫ v v 1 α f(t,v)f(t,v 1 )dv 1 dv v 1 IR 3 v v 1 ǫ v v 1 α f(t,v)f(t,v 1 )dv 1 dv (.6) K 4 α l +ǫ+α (t)l 0 (t)+k 4 α l (t)l ǫ+α (t) +K 5 l +α (t)l ǫ (t) + K 5 l ǫ+α (t)l (t), (.7) with the notation (1.16). Since f is solution of eq. (1.1), the conservations of mass and energy (1.14) ensure that for θ [0,], l θ (t) is bounded (for t 0). Therefore, there exist K 7,K 8,K 9 > 0 such that Q(f)(t,v) v +ǫ dv K 7 l +ǫ+α (t)+k 8 l +α (t)l ǫ (t)+k 9 l ǫ+α (t). 3 (.8) Remember that t > 0 and r > are given in the hypothesis of theorem 1 (r is defined in (1.13)). We can always suppose that r 4. We prove in a firststep that there exists t 0 ]0,t[ such that l r+α (t) is boundedon [t 0,+ [. According to Hölder s inequality, when 0 < µ < ν, l µ (t) l 1 µ/ν 0 (t)l µ/ν ν (t). (.9) Therefore, using estimate (.8) with ǫ = r 1, one obtains Q(f)(t,v) v r dv K 7 l r+α (t) 3 +α +K 8 lr+α(t)l 1 +α r+α r+α r+α 0 (t) l r (t) + K 9 lr+α (t)l 1 r+α r+α 0 (t). (.30) Rememberthat sincer ]0,], themoments l 0 (t) andl r (t) arebounded on[0,+ [. Moreover, wecanfindk 10,K 11 > 0suchthatwhenx 0, t 0, K 7 x+k 8 x +α Therefore, 1 +α r+α l r+α 0 (t)l r (t)+k 9 x r+α 1 r+α r+α l r+α 0 (t) K 10 x+k 11. (.31) 3 Q(f)(t,v) v r dv K 10 l r+α (t)+k 11. (.3) 9
Integrating the Boltzmann equation (1.1) on [0,t] IR 3 against v r and using estimate (.3), one gets t l r (t)+k 10 l r+α (s)ds K 11 t+l r (0). (.33) 0 According to (1.13) and (.33), we can see that there exists t 0 ]0,t[ such that l r+α (t 0 ) < +. But it is well known that if a moment exists at a given time t 0, then it is bounded for t t 0 (Cf. [El 1] or the remark at the end of section ), therefore l r+α (t) is bounded for t t 0. We now come back to estimate (.8). Using equation (.9), an estimate similar to (.31) and the result of boundedness for l r+α (t), one obtains K 1,K 13 > 0 such that 3 Q(f)(t,v) v +ǫ dv K 1 l +ǫ+α (t)+k 13 (.34) for t t 0. We now integrate (when t 0 t < t) the Boltzmann equation (1.1) on [t,t] IR 3 against v +ǫ and we use estimate (.34) to obtain l +ǫ (t)+k 1 t t l +ǫ+α (s)ds K 13 (t t )+l +ǫ (t ). (.35) Therefore, if t 0 t and if l +ǫ (t ) < +, there exists τ [t,t[ such that l +ǫ+α (τ) < +. Finally, we note that any moment is bounded on [τ,+ [ as soon as it is defined at time τ (Cf. [El 1]), and we use a proof by induction to get theorem 1. Remark: Note that using eq. (.35), we can produce explicitly the maximum principle for l +ǫ. Namely when ǫ > 0, estimate (.9) ensures that there exists K 14 > 0 such that which gives +ǫ+α d dt l +ǫ +ǫ(t) K 14 l+ǫ (t)+k 13, (.36) ( l +ǫ (t) sup l +ǫ (t ),( K ) 13 ) +ǫ +ǫ+α, (.37) K 14 10
for t t (this is another proof of the result of [El 1]). Remark: Theorem 1 can be applied in a lot of situations. For example, it allows to simplify the results on exponential convergence towards equilibrium stated in [A 3]. Namely, the hypothesis used in [A 3] is that there exists enough moments initially bounded. Note also the recent application of this theorem by Wennberg in [We] to the problem of uniqueness of the solution of the Boltzmann equation with hard potentials. Finally, note that in the same work, Wennberg proves a similar theorem in an L p L 1 setting. 3 Soft potentials We consider in this section the Boltzmann equation (1.1) with a cross section B of the form B(x,y) = x γ β(y), (3.1) with γ > 0 (γ = α in formula (1.6)), and β satisfying (1.7). This is exactly the hypothesis of soft potentials. We begin by proving the Theorem : We consider the operator Q defined in (1.) with B satisfying (3.1). Then for ǫ > 0, there exist K 0,K 1 > 0 such that 3 Q(f)(t,v) v +ǫ dv K 0 K 1 3 f(t,v) v +ǫ γ dv (3.) when f(t, v) satisfies the conservations of mass and energy (1.14). (The constants K 0 and K 1 depend in fact of this mass and this energy). = Proof of theorem : According to eq. (.5), for ǫ > 0, 3 v 1 IR 3 π φ=0 π δ=0 3 Q(f)(t,v) v +ǫ dv { v +v 1 + v v 1 R δ,φ ( v 1 v v 1 v ) +ǫ } v +ǫ f(t,v)f(t,v 1 ) v v 1 γ sin δ β(cos δ )dδdφdv 1dv. (3.3) 11
We make the change of variables u = v 1 v, and consider the integral in (3.3) when u 1 and when u 1. Then, we use lemma 3 for the first term and get Q(f)(t,v) v +ǫ dv 3 K 4 v +ǫ f(t,v)f(t,v 1 )B 0 ( v v 1 )dv 1 dv 3 v 1 IR 3 +K 5 v v 1 ǫ f(t,v)f(t,v 1 )B 0 ( v v 1 )dv 1 dv 3 v 1 IR 3 +( 1 π π )1 γ (+ǫ) ( v + 1 )1+ǫ where 3 u 1 φ=0 δ=0 f(t,v)f(t,v +u)sin δ β(cos δ )dδdφdudv, (3.4) B 0 (x) = 1 x 1 x γ. (3.5) With the notation (1.16), one obtains after computations: Q(f)(t,v) v +ǫ dv K 4 3 4 l (l 0 (t)) +ǫ γ(t) l 0 (t)+l (t) + K 4 (l 0(t)) +K 4 l ǫ γ (t)(l (t)+ 1 4 l 0(t)) + K 5 γ l (t)l ǫ (t) + γ+ǫ (+ǫ)π β 1 l 1+ǫ (t)l 0 (t) + γ 1 (+ǫ)π β 1 (l 0 (t)). (3.6) Since we supposed that l 0 (t) = l 0 (0) and l (t) = l (0), there exist K 15, K 16, K 17, K 18, K 19 > 0 such that 3 Q(f)(t,v) v +ǫ dv K 15 l +ǫ γ (t) + K 16 l 1+ǫ (t) +K 17 l ǫ (t) + K 18 l ǫ γ (t) + K 19. (3.7) Using estimate (.9) and working as in (.31), we obtain theorem. We give now the main corollaries of this theorem Corollary.1: We suppose that f(t,v) is a solution of the Boltzmann equation (1.1) with a cross section B satisfying (3.1)(i-e in the case of soft 1
potentials), such that f(0,v) = f 0 (v) 0 and f 0 satisfies (1.13). Then, there exists K 0 > 0 such that 3 f(t,v) v r dv K 0 t+k 0 (3.8) (with r defined in (1.13)). Proof of corollary.1: Integrating the Boltzmann equation (1.1) on [0,t] IR 3 against v r and using theorem with ǫ = r 1, one obtains f(t,v) v r dv f 0 (v) v r dv 3 3 t K 0 t K 1 which yields estimate (3.8) for K 0 = sup(k 0,l r (0)). 0 3 f(s,v) v r γ dvds, (3.9) Corollary.: We suppose that f(t,v) is a solution of the Boltzmann equation (1.1) with a cross section B satisfying (3.1)(i-e in the case of soft potentials), such that f(0,v) = f 0 (v) 0 and 3 f 0 (v)(1+ v r + logf 0 (v) )dv < + (3.10) for some r > +γ. Then, there exist K 0,K > 0 such that and t 0 3 f(s,v) v r γ dvds K 0 t+k 0, (3.11) d f(t,v) v r γ dv K. (3.1) dt 3 Proof of corollary.: Estimate (3.11) comes out of eq. (3.9). Moreover, injecting ǫ = r γ 1 in theorem, we immediately obtain estimate (3.1). We now give a corollary of formulas (3.11) and (3.1), relative to the convergence towards equilibrium for the Boltzmann equation (1.1) with soft potentials. 13
Corollary.3: We suppose that f(t,v) is a solution of the Boltzmann equation (1.1) with a cross section B satisfying (3.1)(i-e in the case of soft potentials), such that f(0,v) = f 0 (v) 0 and 3 f 0 (v)(1+ v r + logf 0 (v) )dv < + (3.13) for some r > +γ. Then, there exists a sequence (t n ) n IN going to infinity such that for all T > 0, f n (t,v) = f(t+t n,v) converges in L ([0,T];L 1 (IR 3 )) weak * to the time independant Maxwellian m(v) = ρ (π T) 3/e v ũ T, (3.14) with and ρ = f 0 (v)dv, (3.15) 3 ρũ = vf 0 (v)dv, (3.16) 3 ρ ũ + 3 3 ρ T v = f 0(v)dv. (3.17) Proof of corollary.3: We first note that the solution f of the Boltzmann equation (1.1) with soft potentials satisfies the following entropy estimate: sup f(t,v) logf(t,v) dv t [0,+ [ 3 + + {f(s,v )f(s,v s=0 3 v 1 IR 3 ω S 1 ) f(s,v)f(s,v 1)} log{ f(s,v )f(s,v 1 ) f(s,v)f(s,v 1 ) } v v 1 γ v v 1 β( ω v v 1 )dωdv 1dvds < +. (3.18) This inequality is obtained from (1.1), (1.14), (1.15) and (3.13) as in the space dependant case (Cf. [DP, L 1] and [DP, L ]). Now according to corollary., there exists a sequence (t n ) n IN going to infinity and r = r γ > such that 3 f(t n,v) v r dv K 0 +1. (3.19) 14
Moreover, because of estimate (3.1), we have for t [0,T], Denoting 3 f(t n +t,v) v r dv K 0 +1+K T. (3.0) Γ(x,y) = (x y)log( x ), (3.1) y and using estimates (3.18), (3.0) and the conservation of mass (1.14), we can find K 3 > 0 such that f n (t,v) = f(t+t n,v) satisfies: sup f (t,v){1+ v r n + logf n (t,v) }dv K 3, (3.) t [0,T] 3 and T s=0 3 v 1 IR 3 ω S Γ(f n (s,v )f n (s,v 1),f n (s,v)f n (s,v 1 )) v v 1 γ β( ω v v 1 v v 1 )dωdv 1dvds 0. (3.3) n + According to estimate (3.), there exists a subsequence of f n (still denotedbyf n )whichconverges toalimit m(t,v) inl ([0,T];L 1 (IR 3 )) weak*. To prove that m is a Maxwellian function of v which does not depend on t, one can proceed essentially as in [De 1]. Then, one must identify ρ,ũ, and T. Using the conservations of mass, impulsion and energy (1.14), one gets for all t [0,T], 3 f n (t,v)(1,v, v )dv = f 0 (v)(1,v, v )dv. (3.4) 3 But because of estimate (3.), T t=0 (1,v, v )f n (t,v)dvdt T (1,v, v )m(v)dv, (3.5) 3 n + 3 and therefore the parameters ρ,ũ, T are given by formulas (3.15) (3.17). 15
Remark: This is only a partial result. One would expect in fact that the whole function tends when t + to the Maxwellian given in (3.14) (3.17). Note that this is the case when hard potentials are concerned, the convergence being even strong and exponential under suitable assumptions (Cf. [A 3]). Note also that the existence of a converging subsequence for any sequence t n going to infinity can be derived from the papers of Arkeryd (Cf. [A ]), but the limits in that case may have less energy than the initial datum. 3.1 The Kac equation We introduce now the one dimensional homogeneous Kac model (Cf. [K], [MK]), whereallcollisions have thesameprobability. Thedensityf(t,v) > 0 of particles which at time t move with velocity v satisfies where Q is a quadratic collision kernel: Q (f)(t,v) = v 1 IR π θ= π f t (t,v) = Q (f)(t,v), (4.1) {f(t,v )f(t,v 1) f(t,v)f(t,v 1 )} dθ π dv 1, (4.) with v = v +v 1 cosθ, (4.3) v 1 = v +v 1 sinθ. (4.4) It is easy to prove (at least at the formal level) the conservation of mass and energy f(t,v)(1, v )dv = and the entropy estimate f(t,v) logf(t,v)dv f(0,v)(1, v )dv, (4.5) f(0,v) logf(0,v)dv. (4.6) Adapting for example the proof of Arkeryd (Cf. [A 1] or [De 4]) for the Boltzmann equation, one can prove that as soon as f 0 0 satisfies f 0 (v)(1+ v + logf 0 (v) )dv < +, (4.7) 16
there exists a solution of the Kac equation (4.1) such that f(0,v) = f 0 (v). Moreover, this solution satisfies estimates (4.5) and (4.6). It is also easy to adapt the theorems of Truesdell (Cf. [Tr] and [Tr, Mu]) for this equation. Namely, one can give an explicit induction formula to compute the moments L n (t) = f(t,v)v n dv (4.8) when n IN, as soon as these moments exist initially. Therefore, we do not deal in this work with the polynomial moments of f, but rather with the Maxwellian moments M f (t,λ) = f(t,v)e λv dv, (4.9) for λ > 0. We begin by proving the following theorem: Theorem 3: Let f 0 0 satisfy (4.7), and consider a solution f(t,v) of the Kac equation (4.1) such that f(0,v) = f 0 (v). Suppose moreover that there exists λ 0 > 0 such that M f (0,λ 0 ) < +. Then, there exists λ > 0 and K 4 > 0 such that when t 0, M f (t,λ) K 4. Proof of theorem 3: We look for an equation satisfied by M f (t,λ). t M f(t,λ) = Q (f)(t,v)e λv dv π = f(t,v)f(t,v 1 ){e λv e λv } dθ v 1 IR θ= π π dv 1dv π = f(t,v)f(t,v 1 ){e λ(v +v1 ) cosθ e λv } dθ π dv 1dv v 1 IR π = θ= π θ= π since the conservation of mass (4.5) holds. (M f (t,λcos θ) M f (t,λ)m f (0,0)) dθ π, (4.10) For any ρ,t > 0, we denote by m ρ,t the steady Maxwellian of density ρ and temperature T, m ρ,t (t,v) = ρ v (πt) 1/e T. (4.11) 17
It is easy to see that m ρ,t is a steady solution of the Kac equation (4.1). Therefore ρ M mρ,t (t,λ) = (4.1) 1 λt 1 is a steady solution of equation (4.10) on [0,+ [ [0, [ (this can be seen T directly on equation (4.10)). We now prove that under the hypothesis of theorem 3, there exist λ > 0,T > 0, such that with since λ [0, λ], M f (0,λ) M mρ,t (0,λ), (4.13) ρ = f(0,v)dv. (4.14) In order to prove (4.13), we use a development around 0 of M f (0,λ): = when λ < λ 0. But = M f (0,λ) = f(0,v)(1+λv +λ v 4 1 f(0,v)e λv dv u=0 (1 u)e λuv du)dv f(0,v)dv +λ f(0,v) v dv +O(λ ), (4.15) 1 f(0,v)v 4 ( (1 u)e λuv du)dv u=0 f(0,v)v 4 e λv dv < + (4.16) M mρ,t (0,λ) = ρ+λρt +O(λ ), (4.17) and therefore (4.13) holds as soon as we take λ small enough and T > 1 ρ f(0,v) v dv. (4.18) 18
But equation (4.10) satisfies clearly the following monotony property: If a(0,λ) and b(0,λ) are two initial data for (4.10) and λ is a strictly positive number such that and λ [0,λ[, a(0,λ) b(0,λ), (4.19) a(0,0) = b(0,0), (4.0) then for all t 0, the solutions a(t,λ) and b(t,λ) of (4.10) satisfy λ [0,λ[, a(t,λ) b(t,λ). (4.1) According to (4.1), (4.13), (4.1), and taking we obtain theorem 3. 0 < λ < inf( λ, 1 ), (4.) T We now give estimates for the exponential moments: N f (t,λ) = f(t,v)e λv dv, (4.3) for λ IR. We can prove the following theorem: Theorem 4: Let f 0 0 satisfy (4.7), and consider a solution f(t,v) of the Kac equation (4.1) such that f(0,v) = f 0 (v). Suppose moreover that there exists λ 0 > 0 such that N f (0,λ 0 ) < +, N f (0, λ 0 ) < +, and f 0 (v)vdv = 0. (4.4) Then, there exists λ > 0 and K 5 > 0 such that N f (t,λ)+n f (t, λ) K 5 for t 0. Proof of theorem 4: It is easy to see that t N f(t,λ) = π θ= π {N f (t,λcosθ)n f (t,λsinθ) N f (t,λ)n f (0,0)} dθ π. 19 (4.5)
Moreover, since m ρ,t is a steady solution of the Kac equation (4.1), N mρ,t (t,λ) = ρe λ T (4.6) is a steady solution of equation (4.5) on [0,+ [ IR (this can be seen directly on equation (4.5)). Then, the proof is quite similar to the proof of theorem 3. Aknowledgment: I would like to thank Professor Arkeryd and Doctor Wennberg for their valuable remarks during the preparation of this work. References [A 1] L. Arkeryd, On the Boltzmann equation, I and II, Arch. Rat. Mech. Anal., 45, (197), 1 34. [A ] L. Arkeryd, Intermolecular forces of infinite range and the Boltzmann equation, Arch. Rat. Mech. Anal., 77, (1981), 11 1. [A3]L.Arkeryd, Stability in L 1 for the spatially homogeneous Boltzmann equation, Arch. Rat. Mech. Anal., 103, (1988), 151 167. [Bo] A.V. Bobylev, Exact solutions of the nonlinear Boltzmann equation and the theory of relaxation of a Maxwellian gas, Teor. Math. Phys., 60, n., (1984), 80 310. [Ce] C. Cercignani, The Boltzmann equation and its applications, Springer, Berlin, (1988). [Ch, Co] S. Chapman, T.G. Cowling, The mathematical theory of non uniform gases, Cambridge Univ. Press., London, (195). [De 1] L. Desvillettes, Convergence to equilibrium in large time for Boltzmann and B.G.K. equations, Arch. Rat. Mech. Anal., 110, n.1, (1990), 73 91. [De ] L. Desvillettes, Convergence to equilibrium in various situations for the solution of the Boltzmann equation, in Nonlinear Kinetic Theory and Mathematical Aspects of Hyperbolic Systems, Series on Advances in Mathematics for Applied Sciences, Vol. 9, World Sc. Publ., Singapour, 101 114. [De 3] L. Desvillettes, On asymptotics of the Boltzmann equation when the collisions become grazing, Transp. Th. and Stat. Phys., 1, n.3, (199), 59 76. 0
[De 4] L. Desvillettes, About the regularizing properties of the non cut off Kac equation, Preprint. [DP, L 1] R.J. DiPerna, P-L. Lions, On the Cauchy problem for Boltzmann equations: Global existence and weak stability, Ann. Math., 130, (1989), 31 366. [DP, L ] R.J. DiPerna, P-L. Lions, Global solutions of Boltzmann s equation and the entropy inequality, Arch. Rat. Mech. Anal., 114, (1991), 47 55. [El 1] T. Elmroth, Global boundedness of moments of solutions of the Boltzmann equation for forces of infinite range, Arch. Rat. Mech. Anal., 8, n.1, 1 1. [El ] T. Elmroth, On the H function and convergence towards equilibrium for a space homogeneous molecular density, S.I.A.M. J. Appl. Math., 44, (1984), 150 159. [Gr] H. Grad, Principles of the kinetic theory of gases, in Flügge s Handbuch der Physik, 1, Springer, Berlin, (1958), 05 94. [K]M.Kac, Foundation of kinetic theory, Proc. 3 rd Berkeley Symposium on Math. Stat. and Prob., 3, (1956), 171 197. [MK] H.P. McKean, Speed of approach to equilibrium for Kac s caricature of a Maxwellian gas, Arch. Rat. Mech. Anal., 1, (1966), 347 367. [Pe 1] R. Pettersson, Existence theorems for the linear, space inhomogeneous transport equation, I.M.A. J. Appl. Math., 30, (1983), 81 105. [Pe ] R. Pettersson, On solutions and higher moments for the linear Boltzmann equation with infinite range forces, I.M.A. J. Appl. Math., 38, (1987), 151 166. [Tr] C. Truesdell, On the pressures and the flux of energy in a gas according to Maxwell s kinetic theory II, J. Rat. Mech. Anal., 5, (1955), 55 75. [Tr, Mu] C. Truesdell, R. Muncaster, Fundamentals of Maxwell s kinetic theory of a simple monoatomic gas, Acad. Press., New York, (1980). [We] B. Wennberg, On moments and uniqueness for solutions to the space homogeneous Boltzmann equation, Preprint. 1