ABOUT THE REGULARIZING PROPERTIES OF THE NON CUT{OFF KAC EQUATION. Laurent Desvillettes. 45, Rue d'ulm Paris Cedex 05. April 19, 2002.
|
|
- Maximillian Phelps
- 6 years ago
- Views:
Transcription
1 ABOUT THE REGULARIING PROPERTIES OF THE NON CUT{OFF KAC EQUATION Laurent Desvillettes ECOLE NORMALE SUPERIEURE 45, Rue d'ulm 7530 Paris Cedex 05 April 19, 00 Abstract We prove in this work that under suitable assumptions, the solution of the spatially homogeneous non cut{o Kac equation (or of the spatially homogeneous non cut{o D Boltzmann equation with Maxwellian molecules in the radial case) becomes very regular with respect to the velocity variable as soon as the time is strictly positive. 1 Introduction In the upper atmosphere, a gas is described by the nonnegative density f(t; x; v) of particles which at time t and point x, move with velocity v. Such a density satises the Boltzmann equation (Cf. [Ce], [Ch, Co], + v r xf = Q(f); (1:1) where Q is a quadratic collision kernel acting only on the variable v and taking in account any collisions preserving momentum and kinetic energy: Q(f)(v) = ff(v 0 )f(v) 0 3 =0 =0 with f(v)f(v )g B(jv v j; ) sin dddv ; (1:) v 0 = v + v + jv v j ; (1:3) 1
2 v 0 = v + v jv v j ; (1:4) v v cos = jv v j ; (1:5) and B is a nonnegative cross section. When the collisions in the gas come out of an inverse power law interaction in r 1 (with s ), the cross section s writes B(x; ) = x s 5 s 1 b(); (1:6) where b L 1 (]0; loc ]) and sin b() K(s) s+1 s 1 (1:7) for some K(s) > 0 when! 0. Most of the mathematical work about the Boltzmann equation is made under the assumption of angular cut{o of Grad (Cf. [Gr]), which means that b in eq. (1.6) is supposed to satisfy sin b() L 1 ([0; ]). Note that for inverse power laws in 1 r with s, this assumption never holds (because s of the singularity appearing in eq. (1.7)). For example, the existence of a global renormalized solution to the full Boltzmann equation (1.1) is known under this assumption (Cf. [DP, L]), but it is also the case with most of the works concerning the spatially homogeneous Boltzmann equation (Cf. [A 1], [A 3], [El], [De (t; v) = Q(f)(t; v); with the noticeable exception of [A ], where existence is proved for the non cut{o equation (1.) { (1.8) when s > 3. We shall now concentrate on this spatially homogeneous equation (1.8). When the cut{o assumption is made, it is possible to write where Q + (f)(v) = 3 =0 Q(f) = Q + (f) f Lf; (1:9) =0 f(v 0 ) f(v 0 ) B(jv v j; ) sin dddv ; (1:10) and Lf = A f; (1:11)
3 with A(x) = B(jxj; ) sin d: (1:1) =0 Then, the solution f(t; v) of eq. (1.8) can be written under the form f(t; v) = f(0; v) e R t t Lf (;v)d Q + (f)(s; v) e R t s Lf (;v) d ds: (1:13) But the operator Q + is known to be regularizing with respect to the variable v (at least when f L (IR 3 v), and when B satises some properties) (Cf. [L 1]). Therefore, if f(0; v) is not regular (for example if it belongs to L (IR 3 v) but not to H 1 (IR 3 v)), the solution f(t; v) of eq. (1.8) will at best keep the regularity of f(0; v) when t > 0. In particular, no regularizing eect is expected for the solution of the cut{o homogeneous Boltzmann equation (1.8). On the other hand, one can hope some regularizing properties for the solution of the non cut{o homogeneous Boltzmann equation (1.8), (1.) (when (1.6), (1.7) holds). One of the reasons of assuming such a conjecture is that an asymptotics of the Boltzmann equation when the cross section is concentrating on the grazing collisions (these collisions are those that are neglected when the cut{o assumption is made) leads to the Fokker{Planck{Landau equation (Cf. [De ], [Dg, Lu]), which is known to induce regularizing eects (or at least compactness properties, even in the spatially inhomogeneous case (Cf. [L ])). This article is devoted to the proof of such a conjecture in the simpler case of the spatially homogeneous Kac equation. We recall that the original Kac model is used to describe a one{dimensional spatially homogeneous gas in which the collisions preserve the mass and the energy, but not the momentum (Cf. [K], [MK]). Note also that the theorems of sections, 3 and 4 hold for the spatially homogeneous non cut{o D radially symmetric solutions of the Boltzmann equation with Maxwellian molecules, as is shown in Appendix C. In the Kac model, the nonnegative density f(t; v) (t; v) = K(f)(t; v); 3
4 where K(f)(t; v) = and ff(v 00 ) f(v 00 ) f(v) f(v )g d dv ; (1:15) v 00 = v cos v sin ; (1:16) v 00 = v sin + v cos : (1:17) The analysis leading to eq. (1.13) still holds in this case. Therefore, one can at best hope that the regularity of f(0; v) is conserved for the solution f(t; v) of eq. (1.14) when t > 0. This armation is indeed easily proved when f(0; v) L 1 ((1 + jvj )dv) (Cf. theorem A.1 of Appendix A), but also in the more dicult case when f(0; v) lies in some Holder spaces (Cf. [G]) (Note also the results in the same spirit for the Boltzmann equation of [We]). We will therefore concentrate in this work on the equation where K (f)(t; v) (t; v) = K (f)(t; v); (1:18) ff(v 00 ) f(v 00 ) f(v) f(v )g (jj) ddv ; (1:19) (x) x (1:0) when x! 0 + and ]1; 3]. This kernel is obtained by analogy with the non cut{o kernel (1.), (1.6), (1.7) of Boltzmann equation. However, the analysis in the case when = 3 (corresponding to the Coulombian interaction in the case of the Boltzmann equation (Cf. [Dg, Lu])) is very dierent from the analysis when ]1; 3[. Therefore, we will only consider in the sequel the latter case. We begin in section by proving that the existence of a solution holds for eq. (1.18) { (1.0). We prove then in section 3 our main theorem. Namely, if f(0; v) L 1 (IR v ; (1 + jvj )dv) for all > 0, the solution f(t; v) of eq. (1.18) { (1.0) lies in C 1 (IR v ) for all t > 0. Finally, in section 4, we consider the case when only a nite number of moments are known to be initially bounded for f. The reader will also nd for the sake of completeness some classical results used throughout this work in appendix A and B at the end of the paper, appendix C being devoted to the extension of the results to the D radially symmetric Boltzmann equation with Maxwellian molecules. 4
5 Existence for the non cut{o Kac equation We prove in this section the following theorem: Theorem.1: Let f 0 0 be an initial datum such that f 0 (v) (1 + jvj + j log f 0 (v)j)dv < +1; (:1) and let 0 be a cross section satisfying the following property: 9 0 ; 1 > 0; ]1; 3[; 8x ]0; ]; 0 jxj (x) 1 jxj : (:) Then, there exists a nonnegative solution f(t; v) L 1 ([0; +1[ t ; L 1 (IR v ; (1+ jvj )dv)) to eq. (1.18), (1.19), (.) with initial datum f 0 in the following sense: For all function W ;1 (IR v ), where f(t; v) (v) dv = K (v; v ) = The conservation of mass f(t; v) dv = K (v; v ) f(t; v) f(t; v ) dv dv; (:3) f(v 00 ) (v)g (jj) d: (:4) f 0 (v) dv (:5) holds for these solutions, but the energy may decrease. Moreover, if for some p IN, there exists C :1 > 0 such that f 0 (v) (1 + jvj p ) dv C :1 ; (:6) one can nd C : > 0 such that for all t 0, f(t; v) (1 + jvj p ) dv C : : (:7) Finally, if assumption (.6) holds for some p, the conservation of energy f(t; v) jvj dv = f 0 (v) jvj dv (:8) 5
6 holds. Remark: The analogue of this theorem is proved in [A ] for the Boltzmann equation (with s > 3). The proof given here is very similar to that of [A ]. The sense to give to the right term of denition (.4) will become clear in the sequel. Note however that because of the singularity of, this term is not dened if is not regular (W ;1 ). Proof of theorem.1: We introduce for all n IN the truncated sequence n = ^ n: (:9) Note that because of assumption (.), there exists for all > 1 a strictly positive C :3 () such that for all n IN, (j1 cos j = + j sin j ) n (jj) d C :3 (): (:10) It is also clear that (j1 cos j = + j sin j ) j(jj) n (jj)j d! 0: (:11) n!+1 Then, we consider the (unique) nonnegative solution f n (t; v) of the classical Kac (t; v) = K n (f n )(t; v) (:1) with initial datum f 0 (for the existence and uniqueness of such a solution, Cf. theorem A.1 of Appendix A). This solution is known to satisfy the conservation of mass and energy, and the entropy inequality (Cf. theorem A.1 and A. of Appendix A): f n (t; v) dv = f 0 (v) dv; (:13) f n (t; v) jvj dv = f n (t; v) log f n (t; v) dv f 0 (v) jvj dv; (:14) f 0 (v) log f 0 (v) dv: (:15) 6
7 It is now classical (Cf. [De 3] for example) that eq. (.13) { (.15) ensure the existence of a constant C :4 such that f n (t; v) (1 + jvj + j log f n (t; v)j)dv C :4 : (:16) Because of Dunford{Pettis theorem (Cf. [B]) and of estimate (.16), one can extract from (f n ) nin a subsequence still denoted by (f n ) nin and converging to a function f in L 1 ([0; +1[ t ; L 1 (IR v )) weak *. Moreover, for all q L 1 ([0; +1[) and all L 1 loc ([0; +1[ tir v ) such that we have +1 q(t) 0 lim sup jvj!+1 tir f n (t; v) (t; v) dvdt! n!+1 j (t; v)j jvj = 0; (:17) +1 0 q(t) f(t; v) (t; v) dvdt: (:18) Denoting for all W ;1 (IR v ) Kn (v; v ) = f(v 00 ) (v)g n (jj) d; (:19) it is clear that (using the change of variables (v; v ; )! (v 00 ; v 00; f n (t; v) (v) dv = n(v; v ) f n (t; v) f n (t; v ) dv dv: (:0) We shall now prove that when W ;1 (IR v ), it is possible to pass to the limit in eq. (.0) and to obtain eq. (.3). We begin by the Lemma 1: There exists a constant C :5 > 0 (depending on ) and a sequence C :5 (n) converging to 0 such that the following estimates hold: 1. for all W ;1 (IR v ), jk n(v; v )j C :5 (1 + jvj jv j +5 4 ) jjjjw ;1 (IRv); (:1). for all W ;1 (IR v ), jk (v; v ) K n(v; v )j C :5 (n) (1 + jvj jv j +5 4 ) jjjjw ;1 (IRv): (:) 7
8 Proof of lemma 1: Note that u=0 (v 00 ) (v) = (v cos v sin ) (v) = (v(cos 1) v sin ) 0 (v) + (v(cos 1) v sin ) 1 (1 u) v 00 + u (v(cos 1) v sin ) du: (:3) Therefore, for all ]0; 1[, j(v 00 ) (v) + v sin 0 (v)j j(v 00 ) (v) + v sin 0 (v)j 1 v (cos 1) 0 (v) + (v(cos 1) v sin ) 1 u=0 (1 u) v 00 + u (v(cos 1) v sin ) du 8 (1 + jv j 1 ) (3 jjjj W 1;1 (IRv)) 1 (j cos 1j + j sin j ) (1 + jvj + jv j ) jjjj W ;1 (IR v) C :6 jjjj W ;1 (IRv)(j cos 1j + j sin j ) (1 + jvj 1+ + jv j 1+ ) (:4) for some strictly positive constant C :6. But! sin is odd and therefore jkn(v; v )j = j f(v 00 ) (v)g n (jj) dj = j f(v 00 ) (v) + v sin 0 (v)g n (jj) dj C :6 jjjj W ;1 (IRv) We now use eq. (.10) with = 1+, and obtain 4 (j cos 1j + j sin j ) n (jj) d (1 + jvj 1+ + jv j 1+ ): (:5) jkn(v; v )j C :3 ( 1 + ) C :6 (1 + jvj jv j +5 4 ) jjjjw ;1 (IRv); (:6) which clearly implies estimate (.1). In order to get estimate (.), we use exactly the same proof, except that eq. (.10) is replaced by eq. (.11). 8
9 Lemma : There exists a constant C :7 > 0 (depending on ) such that when W ;1 (IR v ) satises jjjjjj = sup one has the following estimate: j 0 (v)j < +1; (:7) 1 + jvj jk n(v; v )j C :7 (jj 00 jj L 1 (IRv) + jjjjjj)(1 + jvj + jv j ): (:8) Proof of lemma : According to eq. (.3), j(v 00 ) (v) + v sin 0 (v)j = v (cos 1) 0 (v) + (v(cos 1) v sin ) 1 u=0 (1 u) 00 (v + u (v(cos 1) v sin )) du j cos 1j jvj j 0 (v)j + 4 (j cos 1j + j sin j ) (jvj + jv j ) jj 00 jj L 1 (IRv) C :8 (j cos 1j + j sin j ) (1 + jvj + jv j ) (jj 00 jj L 1 (IRv) + jjjjjj) (:9) for some constant C :8 > 0. Using now the oddity of! sin as in lemma 1, and estimate (.10) for =, we get estimate (.8). We now come back to the proof of theorem.1. Suppose that W ;1 (IR v ), q L 1 ([0; +1[), and v IR. because of lemma 1, +1 Kn(v; v ) f n (t; v ) dv q(t) dt t=0 +1 K (v; v ) f(t; v ) dv q(t) dt +j +1 t=0 +1 t=0 t=0 jkn(v; v ) K (v; v )j f n (t; v ) dv q(t) dt C :5 (n) jjqjj L 1 ([0;+1[ t) jjjj W ;1 (IRv) K (v; v ) ff n (t; v ) f(t; v )g dv q(t) dtj 9 Then, (1 + jvj jv j +5 4 )fn (t; v )dv
10 +1 + j K (v; v ) ff n (t; v ) f(t; v )g dv q(t) dtj: (:30) t=0 But the rst term of eq. (.30) tends to 0 because of estimate (.16). Moreover, because of lemma 1, we have for all v IR, jk (v; v lim )j = 0: (:31) jvj!+1 jv j Therefore, estimate (.18) ensures that the second term of eq. (.30) tends to 0. Finally, we obtain for all W ;1 (IR v ) and v IR, the convergence in L 1 ([0; +1[ t ) weak * of L n(t; v) = Kn(v; v ) f n (t; v ) dv (:3) towards L (t; v) = K (v; v ) f(t; v ) dv : (:33) We now observe that for all W ;1 (IR v ) and v IR, the sequence is bounded in L 1 (IR v ). More precisely, Moreover, 1 n(v; v ) Kn (v; v ) Kn (v; v )j = sin 00 (v 00 ) n (jj) dj C :3 () jj 00 jj L 1 (IRv): (:35) n (v; v )j = j sin 0 (v 00 ) n (jj) = j sin f 0 (v 00 ) 0 (v)g n (jj) dj j sin j jvj j cos 1j + jv j j sin j v 00 + u(v(cos 1) v sin ) du n (jj) d u=0 C :3 () jj 00 jj L 1 (1 + jvj + jv j) (:36) 10
11 because of estimate (1.10). Therefore, using lemma, for all W ;1 (IR v ) and v IR, (t; v)j = (v; v ) f n (t; v ) dv j = j wir wir C :7 K K n (v;) n (w; v ) f n (t; w) f n (t; v ) dv dwj (v; )jj L 1 (IRv ) + jjjkn(v; )jjj (1 + jwj + jv j ) f n (t; w) f n (t; v ) dv dw C :4 C :7 fc :3 ()jj 00 jj L 1 (IRv) + C :3 () C :5 (1 + jvj) jj 00 jj L 1 (IRv)g: (:37) It is also clear that jl n (t; v)j j C :5 (1 + jvj jv j +5 4 ) f n (t; v ) dv j jjjj W ;1 (IRv) C :4 C :5 (1 + jvj +5 4 ) jjjjw ;1 (IRv): (:38) Therefore, for all W ;1 (IR v ) and v IR, the sequence L n(; v) is bounded in W 1;1 ([0; +1[ t ). Using now the weak convergence (.33) and Rellich theorem (Cf. [B]), it is clear that for all W ;1 (IR v ), and a.e. (t; v) [0; +1[ t IR v, the sequence L n tends to L. Therefore, for all q L 1 ([0; +1[) and all T > 0 such that Supp q [0; T ], = +1 t=0 +1 t=0 f sup t[0;t ] + +1 t=0 f f Kn (v; v ) f n (t; v) f n (t; v ) dvdv K (v; v ) f(t; v) f(t; v ) dvdv g q(t)dt L n(t; v) f n (t; v) dv jl n(t; v) L (t; v)j f n (t; v) dv L (t; v) f(t; v) dvgq(t) dt jjqjj L 1 ([0;+1[ t) L (t; v) (f n (t; v) f(t; v)) dvg q(t) dt : (:39) 11
12 But according to estimate (.38), lim jvj!+1 sup t[0;+1[ sup jl n (t; v )j = 0: (:40) nin jv j Therefore, estimate (.18) ensures that the second term of (.39) tends to 0. We nally use Egorov's theorem, estimate (.38), the equiintegrability of the sequence f n (obtained by estimate (.16)) and the convergence a.e. of L n to L, in order to obtain the convergence of the rst term of (.39) to 0. As announced before, we can now pass to the limit in eq. (.0) and obtain the rst part of theorem.1. In order to prove the second part of theorem.1, we observe that if assumption (.6) holds, then theorem A. (Cf. Appendix A) ensures the existence of C A:3 > 0 such that f n (t; v) (1 + jvj p ) dv C A:3 (:41) (note that C A:3 does not depend on n). But estimates (.18), (.0) and (.1) imply for a.e. t 0 the convergence of R f n(t; v)(v)dv to R f(t; v)(v)dv when C c (IR v ). Therefore, for all R > 0, t > 0, f(t; v) (1 + jvj p ) dv C A:3 : (:4) jvjr Then, estimate (.7) holds because of Fatou's lemma. Finally, we prove the conservation of mass (.5). We observe that for some function R C (IR v ) such that Supp ( R ) [ R 1; R + 1], j f(t; v) dv f 0 (v) dvj 1 ff n (t; v) + f(t; v)g jvj dv R jvjr + j R (v) ff n (t; v) f(t; v)g dvj (:43) for any R > 0. But according to the properties used in the proof of estimate (.4), estimate (.43) ensures that the conservation of mass (.5) holds. In the same way, we can see that under assumption (.6) with p, the conservation of energy (.8) holds. 1
13 3 Regularization properties when all polynomial moments are initially bounded This section is devoted to the proof of the following theorem: Theorem 3.1: Let f 0 0 be an initial datum such that for all p IN, there exists C 3:1 (p) > 0 satisfying f 0 (v) (1 + jvj p + j log f 0 (v)j) dv C 3:1 (p); (3:1) and let 0 be a cross section satisfying estimate (.). Then, if f(t; v) is a nonnegative solution of eq. (1.18), (1.19), (.) in the sense of eq. (.3) with initial datum f 0, we have for all t > 0 and all q IN: f(t; v) L 1 ([ t; +1[ t ; C q (IR v )); (3:) or in abridged form, f(t; v) L 1 (]0; +1[ t ; C 1 (IR v )): (3:3) Proof of theorem 3.1: According to theorem.1, we know that for all p IN, there exists C 3: (p) > 0 satisfying 8t [0; +1[; f(t; v) (1 + jvj p ) dv C 3: (p): (3:4) Therefore, the Fourier transform ^f(t; ) = of f is such that for all p IN, e iv f(t; v) dv ^f p (t; )j C 3:(p): (3:6) But v! e iv lies in W ;1 (IR v ), and therefore it is possible to use eq. (.3). Then, a simple calculation leads to the following equation for the Fourier transform of (t; ) = f ^f(t; cos ) ^f (t; sin ) ^f(t; 0) ^f(t; )g (jj) d: (3:7) 13
14 Note that this equation is used in [G], and that it also appeared in [De 1], though for the Laplace transform of f. We rewrite it under the (t; ) = 1 + We now use the notations a(t; ) = 1 and b(t; ) = Therefore, and But f ^f(t; sin ) + ^f (t; sin ) ^f(t; 0)g (jj) d ^f(t; ) f ^f(t; cos ) ^f (t; )g ^f(t; sin ) (jj) d: (3:8) f ^f(t; sin ) + ^f(t; sin ) ^f(t; 0)g (jj) d; (3:9) f ^f(t; cos ) ^f(t; )g ^f(t; sin ) (jj) d: (t; ) = a(t; ) ^f(t; ) + b(t; ); (3:11) ^f(t; ) = ^f(0; ) e R t 0 a(;)d + t 0 b(s; ) e R t s a(;)d ds: (3:1) ^f(t; sin ) + ^f (t; sin ) ^f(t; 0) 0; (3:13) because f 0. Therefore, a(t; ) is real and a(t; ) 1 f ^f(t; 0) ^f(t; sin ) ^f(t; sin )g (jj) d: (3:14) Then, we make the change of variables We get u = jj sin : (3:15) a(t; ) 1 jj ujj f ^f(t; 0) ^f(t; u) ^f(t; u)g ( arcsin j u j) 14 du jj q 1 j u j : (3:16)
15 But for any x [0; ], and therefore (x) 0 jxj ; (3:17) a(t; ) 0 4 jj ujj f ^f(t; 0) ^f(t; u) ^f (t; u)g j u j du jj And since jj 0 4 jj 1 f ^f(t; 0) ^f(t; u) ^f(t; u)g juj du: (3:18) ujj ^f(t; 0) ^f(t; u) ^f(t; u) = juj 1 ^f (1 jrj) (t; r u) we get = juj 1 r1 (1 jrj) ^f (t; ru)) dr; But a(t; ) jj jj 1 juj (1 jrj) Re( ujj r1 and estimate (.8) ensures ^f (t; r u)) dr (t; 0) = f(t; v) jvj dv; (t; 0) = f 0 (v) jvj dv: (3:) Moreover, if we denote E = f 0 (v) jvj dv; (3:3) we get (thanks to estimate (3.6)), that for any such that jj E C 3: (3) ; (3:4) 15
16 the ^f (t; )) E holds. But estimates (3.0) and (3.4) ensure that (3:5) a(t; ) 0 16 E jj 1 inf(jj; E C 3: (3) ) juj du E u inf(jj; C 3: (3) ) 0 16(3 ) E jj 1 3 E 3 inf (jj; C 3: (3) ) : (3:6) Therefore, there exists C 3:3 > 0, C 3:4 > 0, such that when jj C 3:3, t 0, a(t; ) C 3:4 jj 1 : (3:7) We will now use eq. (3.1) and estimate (3.7) to prove theorem 3.1 by induction. Lemma 3: We make the assumptions of theorem 3.1. We suppose moreover that there exists 0 such that for all t 1 > 0, 1 > 0, we can nd C 3:5 ( 1 ; t 1 ) > 0 satisfying 8 IR; sup j ^f(s; )j C 3:5( 1 ; t 1 ) st jj : (3:8) 1 Then, for all t 1 > 0, 1 > 0, we can nd C 3:6 ( 1 ; t 1 ) > 0 satisfying 8 IR; sup j ^f(s; )j C 3:6( 1 ; t 1 ) 1 st jj 1 : (3:9) Proof of lemma 3: We x t 1 > 0; 1 > 0. According to eq. (3.1), for any t t 1, ^f(t; ) = ^f(0; ) e R t a(;)d 0 + t 1 0 b(s; ) e R t t a(;)d s ds + b(s; ) e R t a(;)d s ds: (3:30) t 1 Therefore, estimate (3.7) ensures that for any t t 1, jj C 3:3, j ^f(t; )j j ^f(0; )j e C 3:4t jj 1 16
17 t + sup 1 s[0; t 1 jb(s; )j t 1 t e C 3:4 jj 1 + sup jb(s; )j e (t s) C 3:4 jj 1 ds: ] s t t 1 1 (3:31) But for all s [0; +1[; IR, jb(s; )j = f ^f(s; cos ) ^f(s; )g ^f(s; sin ) (jj) d = (cos 1) ^f (s; + u (cos 1))du ^f(s; sin ) (jj) d C :3 () C 3: (0) C 3: (1) jj: (3:3) Therefore, estimate (3.31) implies that for any t t 1, jj C 3:3, j ^f(t; )j C 3: (0) e C 3:4t jj 1 + C :3 () C 3: (0) C 3: (1) t 1 jj t 1 e C 3:4 jj 1 + sup s t 1 According to assumption (3.8), we have for all > 0, 8 IR; sup s t 1 jb(s; )j : (3:33) C 3:4 jj 1 j ^f(s; )j C3:5(; t1 : (3:34) 1 + jj Therefore, using corollary B.3 of Appendix B and assumption (3.1), there exists for all > 0 a strictly positive constant C 3:7 (; t 1 ) such that ) 8 IR; sup ^f s t (s; )j C 3:7(; t 1 ) : (3:35) 1 + jj We now compute (for all jj C 3:3, > 0), sup jb(s; )j = sup f ^f(s; cos ) ^f(s; )g ^f (s; sin ) (jj) d s t 1 s t 1 4 sup j ^f(s; cos ) ^f(s; 1 1 ( )j +) jj 1 + j cos 1j 1 + s t 1 4 ^f 1 (s; + u (cos 1)) du j ^f(s; sin )j (jj) d u=0 17
18 + sup + sup s t 1 s t 1 j j 4 j ^f(s; cos ) ^f(s; )j j ^f(s; sin )j (jj) d 3 4 jj j ^f(s; cos ) ^f(s; )j j ^f(s; sin )j (jj) d: (3:36) We now use estimates (3.34), (3.35) and resume the computation (for all jj C 3:3 ; > 0). sup jb(s; )j C :3 ( 1 + ) jj 1 + C 3: (0) s t 1 ( C 3:5(; t 1 ) 1 + j p j )1 ( 1 +) ( C 3:7(; t 1 ) 1 + j p ) 1 + j + 1 ( C 3:5 (; t 1 4 ) C 3: (0) p 1 + j + 1( 3 C 3:5 (; t 1 j 4 ) C3: (0) 1 + j ) ) p j C :3 () jj 1 + C 3: (0) (C3:5 (; t 1 1 ))1 ( +) (C 3:7 (; t 1 )) ( 4 ) C 3: (0) jj + C 3:5 (; t 1 ) C 3:8 (; t 1 ) jj 1 + (3:37) for some strictly positive constant C 3:8 (; t 1 ). We now use estimate (3.37) to precise estimate (3.33). We get for all t t 1, jj C 3:3, > 0, j ^f(t; )j C 3: (0) e C 3:4t 1 jj 1 + C :3 () C 3: (0) C 3: (1) t 1 jj t 1 e C 3:4 jj 1 + C 3:8(; t 1 ) C 3:4 jj 1 + : (3:38) Taking = 1, we get some strictly positive constant C 3:9( 1 ; t 1 ) such that when t t 1, jj is large enough, j ^f(t; )j C 3:9 ( 1 ; t 1 ) jj : (3:39) Finally, using estimate (3.6) for p = 0, we obtain estimate (3.9). We now come back to the proof of theorem 3.1. We already know (because of estimate (3.6) when p = 0) that assumption (3.8) holds when 18
19 = 0. Then, lemma 3 clearly implies by induction that for any t > 0; q 0, there exists a strictly positive constant C 3:10 ( t; q) such that 8 IR; sup j ^f(t; )j C 3:10( t; q) tt 1 + jj q : (3:40) Using now the Sobolev inequalities (or more simply the fact that H 1 (IR) = C 1 (IR)), we get theorem Regularization properties when some polynomial moments are initially bounded We extend in this section the results of section 3 when assumption (3.1) does not hold any more. Theorem 4.1: Let f 0 0 be an initial datum such that 9r IN; r ; C 4:1 > 0; f 0 (v) (1 + jvj r + j log f 0 (v)j) dv C 4:1 ; (4:1) and let 0 satisfy (.). Then, if f(t; v) is a nonnegative solution of eq. (1.18), (1.19), (.) in the sense of eq. (.3) with initial datum f 0, we have for all t > 0 and all > 0: f(t; v) L 1 ([ t; +1[ t ; H r 1 (IR v )): (4:) Corollary 4.: In particular, under the assumptions of theorem 4.1, we have for all t > 0 and all > 0: f(t; v) L 1 ([ t; +1[ t ; C r ;1 (IR v )): (4:3) Proof of theorem 4.1: Corollary 4. is a straightforward consequence of theorem 4.1 and of classical Sobolev inequalities (Cf. [B]). We now prove theorem 4.1. We use the same strategy as in theorem 3.1. Estimates (3.4) and (3.6) still hold, but only for p r. Moreover, eq. (3.9), (3.10), (3.1) also hold, and lead to estimate (3.7) as in theorem
20 However, lemma 3 is changed in the following way: Lemma 4: We make the assumptions of theorem 4.1. We suppose moreover that there exists 0 such that for all t 1 > 0, 1 > 0, we can nd C 4: ( 1 ; t 1 ) satisfying 8 IR; sup j ^f(s; )j C 4:( 1 ; t 1 ) st jj : (4:4) 1 Then, for all t 1 > 0, 1 > 0, we can nd C 4:3 ( 1 ; t 1 ) satisfying 8 IR; sup st 1 j ^f(s; )j C 4:3 ( 1 ; t 1 ) 1 + jj f1 1 r 1 1 g+ 1 : (4:5) Proof of lemma 4: We x t 1 > 0; 1 > 0. It is clear that estimate (3.33) still holds. However, using theorem B. of Appendix B, we only get for all > 0 a strictly positive constant C 4:4 (; t 1 ) such that 8 IR; sup ^f s t (s; )j C 4:4 (; t 1 ) 1 + jj (1 : (4:6) 1 ) r Then, we note that estimate (3.36) still holds, but estimate (3.37) becomes (for all jj C 3:3 ; > 0), sup jb(s; )j C :3 ( 1 + ) jj 1 + C 3: (0) s t 1 ( C 4:(; t 1 ) p 1 + j j )1 ( 1 +) ( C 4:4 (; t 1 ) 1 p ) 1 + j j(1 1 ) r ( C 4: (; t 1 4 ) C 3: (0) p 1 + j + 1 ( 3 C 4: (; t 1 j 4 ) C3: (0) 1 + j ) ) p j C 4:5 (; t 1 ) jj f 1+ r g+(+ r ) (4:7) for some strictly positive constant C 4:5 (; t 1 ). Then, estimate (3.38) becomes for all jj C 3:3 ; > 0, j ^f(t; )j C 3: (0) e C 3:4t 1 jj 1 + C :3 () C 3: (0) C 3: (1) t 1 jj t 1 e C 3:4 jj 1 0
21 + C 4:5(; t 1 ) C 3:4 jj 1 f1 1 1 r g+(+ r ) : (4:8) Taking = 1 ( + r ) 1, we get some strictly positive constant C 4:6 (; t 1 ) such that when t t 1, jj is large enough, j ^f(t; )j C 4:6 (; t 1 ) jj f1 r g+ 1 : (4:9) Then, lemma 4 is obtained exactly as lemma 3. We now come back to the proof of theorem 4.1. We already know that assumption (4.4) of lemma 4 holds when = 0. Moreover, using lemma 4 by induction, we can see that for all t 1 > 0; 1 > 0; n IN, there exists a strictly positive constant C 4:7 ( 1 ; t 1 ; n) such that 8 IR; sup j ^f(t; )j C 4:7( 1 ; t 1 ; n) tt jj n ; (4:10) 1 where ( n ) nin is the sequence dened by 0 = 0; (4:11) n+1 = n f1 1 1 r g + 1 : (4:1) But this sequence is strictly increasing and converges to r. Therefore for all > 0; t > 0, there exists C 4:8 (; t) such that 8 IR; sup j ^f(s; )j C 4:8(; t ) st 1 + jj r : (4:13) Finally, estimate (4.13) ensures that and theorem 4.1 is proved. ^f(t; ) L 1 ([ t; +1[ t ; H r 1 (IR v )); (4:14) Appendix A: Standard properties of the classical Kac equation We prove in this appendix some classical facts about the spatially homogeneous Kac equation, and present some others that can easily be deduced from the theory of the Boltzmann equation (Cf. [A 1]). 1
22 Theorem A.1: Let f 0 0 be an initial datum such that f 0 (v) (1 + jvj ) dv < +1: (A:1) Then, there exists a unique nonnegative solution f(t; v) of eq. (1.18), (1.19) in L 1 ([0; +1[ t ; L 1 (IR v ; (1 + jvj )dv)) with initial datum f 0 as soon as the cross section in (1.19) belongs to L 1 ([0; ]). This solution satises the conservation of mass and energy for all t 0: f(t; v) dv = f 0 (v) dv; (A:) f(t; v) jvj dv = f 0 (v) jvj dv: (A:3) Proof of theorem A.1: We introduce the sequence (f n (t; v)) nin, de- ned by f 0 (t; v) = f 0 (v); (A:4) t f n+1 (t; v) = f 0 (v) + ff n (s; v 00 ) f n (s; v 00) s=0 f n+1 (s; v) f n+1 (s; v )g (jj) ddv ds; (A:5) and present a proof of existence in the Cauchy{Lipschitz style. Note that it is easy to obtain (by induction) the conservation of mass and energy for f n : f n (t; v) dv = f 0 (v) dv; (A:6) f n (t; v) jvj dv = f 0 (v) jvj dv: (A:7) Therefore, it is possible to write explicitly f n+1 as a function of f n, and the sequence (A.4), (A.5) is well dened. It is also clear that f n 0. Then, we dene for all n IN, u n (t) = jf n (t; v) f n 1 (t; v)j (1 + jvj ) dv: (A:8) We get u n+1 (t) t s=0 f n (s; v ) jf n (s; v) f n 1 (s; v)j
23 + t + s=0 t s=0 (1 + jvj cos + jv j sin ) (jj) d dvdv ds f n 1 (s; v) jf n (s; v ) f n 1 (s; v )j (1 + jvj cos + jv j sin ) (jj) d dvdv ds f n+1 (s; v ) jf n+1 (s; v) f n (s; v)j (1 + jvj ) t + s=0 (1 + jvj ) C A:1 t s=0 (jj) d dvdv ds f n (s; v) jf n+1 (s; v ) f n (s; v )j (jj) d dvdv ds fu n (s) + u n+1 (s)g ds; (A:9) for some strictly positive constant C A:1. Moreover, we can prove in the same way that for all t 0, u 1 (t) C A: t; (A:10) where C A: > 0. But estimate (A.9) ensures that (when t [0; T ], n 1), t u n+1 (t) (C A:1 + C A:1 T eca:1t ) u n (s) ds: s=0 (A:11) Therefore, for all T > 0, s [0; T ]; n 1, u n (s) (C A:1 + C A:1 T ec A:1T ) n 1 s n n! C A:: (A:1) This estimate ensures that the sequence (f n ) nin satises the Cauchy property in L 1 loc ([0; +1[ t; L 1 (IR v ; (1 + jvj )dv)). Its limit f clearly satises eq. (1.18), (1.19). Moreover, f 0 and the conservation of mass and energy (A.3), (A.4) holds. The last property also ensures that f L 1 ([0; +1[ t ; L 1 (IR v ; (1 + jvj )dv)). The uniqueness of such a solution is then directly obtained by a Cauchy{ Lipschitz type argument. 3
24 We now consider the polynomial moments of the solution of the spatially homogeneous Kac equation. Theorem A.: Let f 0 0 be an initial datum such that f 0 (v) (1 + jvj + j log f 0 (v)j)dv < +1: (A:13) Then, for all t s 0, the unique nonnegative solution f(t; v) of eq. (1.18), (1.19) with initial datum f 0 (when the cross section in (1.19) belongs to L 1 ([0; ])) satises f(t; v) log f(t; v) dv f(s; v) log f(s; v) dv f 0 (v) log f 0 (v) dv < +1: (A:14) Moreover, if 9r IN; f 0 (v) (1 + jvj r ) dv < +1; (A:15) there exists C A:3 > 0 (independent of ) such that for all t 0: f(t; v) (1 + jvj r ) dv C A:3 : (A:16) Proof of theorem A.: For estimate (A.14), we refer to [A 1], where it is proved for the Boltzmann equation (for example for Maxwellian molecules with an angular cut{o). We now prove estimate (A.16) in the case when r =. We can f(t; v)jvj 4 dv = (jv cos v sin j 4 jvj 4 ) f(t; v) f(t; v ) (jj) ddv dv f cos 4 + sin 4 1g (jj) d f(t; v) jvj 4 dv + 6 cos sin (jj) d ( f(t; v) jvj dv) f(t; v) dv 4
25 = cos sin (jj) d f(t; v) jvj 4 dv f(t; v) dv + 6( f(t; v) jvj dv) : (A:17) Therefore, a simple application of the maximum principle yields f(t; v)jvj 4 dv sup f 0 (v) jvj 4 dv; 3 ( R f(t; v) jvj dv) R : f(t; v) dv (A:18) Finally, when r >, the same kind of computation can be done. Note that a rigorous proof is given in the case of the Boltzmann equation with Maxwellian molecules in [Tr]. Appendix B: Interpolation between derivatives We give here for the sake of completeness the proof of some classical results used in sections, 3 and 4. Theorem B.1: Let f lie in C (IR) and satisfy 1. There exists C B:1 > 0; > 0, such that. There exists C B: > 0, such that Then, 8x IR; jf(x)j C B:1 1 + jxj : (B:1) 8x IR; jf 00 (x)j C B: : (B:) 8x IR jf 0 (x)j s 8 CB:1 C B: 1 + jxj : (B:3) Proof of theorem B.1: Suppose that jf 0 (x 0 )j > s 8 CB:1 C B: 1 + jx 0 j : (B:4) 5
26 Then, because of estimate (B.), for all t [0; 1], s s x f 0 C B:1 0 + t sgn (x 0 ) C B: (1 + jx 0 j f 0 (x 0 ) ) CB:1 C B: 1 + jx 0 j : (B:5) But estimate (B.5) ensures that s x f 0 C B:1 0 + t sgn (x 0 ) C B: (1 + jx 0 j ) s CB:1 C B: 1 + jx 0 j : (B:6) Therefore, But s I = x f C B:1 0 + sgn (x 0 ) C B: (1 + jx 0 j f(x 0 ) ) C B:1 1 + jx 0 j : (B:7) s I x f C B:1 0 + sgn (x 0 ) C B: (1 + jx 0 j + jf(x 0 )j ) < C B:1 1 + jx 0 j : (B:8) Thus, we get a contradiction and conclude that theorem B.1 holds. Theorem B.: Let p IN, p, and f lie in C p (IR). If f satises the following properties: 1. There exists C B:3 > 0; > 0, such that. There exists C B:4 > 0, such that 8x IR; jf(x)j C B:3 1 + jxj : (B:9) 8q [1; p]; 8x IR; jf (q) (x)j C B:4 : (B:10) Then, for all > 0, there exists C B:5 () > 0, such that 8x IR; jf 0 (x)j 6 C B:5 () 1 + jxj (1 : (B:11) 1 )+ p
27 Proof of theorem B.: We use theorem B.1 and give a proof by induction. We know that if there exists C B:6 > 0 and a nite sequence (u q ) q[0;p] such that for all q [0; p], 8x IR; jf (q) (x)j C B:6 ; (B:1) uq 1 + jxj then there exists C B:7 > 0 such that for all q [0; p], where 8x IR; jf (q) (x)j C B:7 ; (B:13) vq 1 + jxj v 0 = ; 8i [1; p 1]; v i = 1 (u i 1 + u i+1 ); v p = 0: (B:14) Therefore, we dene by induction the sequence and r 0 (0) = ; 8i [1; p]; r i (0) = 0; (B:15) r 0 (n+1) = ; 8i [1; p 1]; r i (n+1) = 1 (r i 1(n)+r i+1 (n)); r p (n+1) = 0: (B:16) It is clear that for all n IN, there exists C B:8 (n) > 0, such that for all q [0; p], 8x IR; jf (q) (x)j C B:8(n) : (B:17) rq(n) 1 + jxj But for all i [0; p], the sequence (r i (n)) nin tends towards r i, where r 0 = ; 8i [1; p 1]; r i = 1 (r i 1 + r i+1 ); r p = 0: (B:18) Therefore, which yields theorem B.. r 1 = (1 1 p ) ; (B:19) Finally, using theorem B. by induction, we get the Corollary B.3: Let f lie in C 1 (IR) and satisfy: 7
28 1. There exists C B:9 > 0; > 0, such that 8x IR; jf(x)j C B:9 1 + jxj : (B:0). For all q IN, there exists C B:10 (q) > 0, such that 8x IR; jf (q) (x)j C B:10 (q): (B:1) Then, for all > 0, there exists C B:11 () > 0, such that 8x IR jf 0 (x)j C B:5() : (B:) 1 + jxj Appendix C: The case of the radially symmetric D Boltzmann equation with Maxwellian molecules We consider now the radially symmetric solutions of the D spatially homogeneous Boltzmann equation with Maxwellian molecules (Note that one can prove the existence of such solutions exactly as in section, provided of course that the initial datum is radially symmetric). The corresponding Boltzmann kernel can be written Q(f)(v) = ff(v 0 )f(v) 0 f(v)f(v )g b(jj) sin ddv ; (C:1) with v 0 = v + v + R ( v v ); (C:) v 0 = v + v R ( v v ): (C:3) We suppose moreover that b satises sin b(jj) K jj (C:4) for some K > 0 when! 0 (this is the non cut{o case) and that b is regular outside 0. Using the fact that f is radially symmetric, one can recast the kernel Q under the form: Q(f)(v) = f( v + R ( v ) + v + R ( v )) 8
29 f( v + R ( v ) + v + R ( v )) f(v)f(v ) b(jj) sin ddv = f(r (v) cos ( ) + R (v ) sin ( )) f(r (v) sin ( ) + R (v ) cos ( )) f(v)f(v ) b(jj) sin ddv = f(v cos ( ) v sin ( ))f(v sin ( ) + v cos ( )) f(v)f(v ) b(jj) sin ddv : (C:5) Thus, we can see that the equation is very similar to the Kac equation. The main dierence is simply that now v is in IR instead of IR. It is then possible to prove all the theorems of the previous sections with exactly the same proof. Note however that for the 3D radially symmetric solutions of the spatially homogeneous Boltzmann equation with Maxwellian molecules, the analogy with the Kac equation is not so clear. This case shall be discussed in a future work. Aknowledgment: I would like to thank Professor Golse for his valuable remarks during the preparation of this work. 9
30 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 innite range and the Boltzmann equation, Arch. Rat. Mech. Anal., 77, (1981), 11{1. [A 3] L. Arkeryd, Stability in L 1 for the spatially homogeneous Boltzmann equation, Arch. Rat. Mech. Anal., 103, (1988), 151{167. [B] H. Brezis, Analyse fonctionnelle, theorie et applications, Masson, Paris, (1983). [Ce] C. Cercignani, The Boltzmann equation and its applications, Springer, Berlin, (1988). [Ch, Co] S. Chapman, T.G. Cowling, The mathematical theory of nonuniform gases, Cambridge Univ. Press., London, (195). [Dg, Lu] P. Degond, B. Lucquin{Desreux, The Fokker{Planck asymptotics of the Boltzmann collision operator in the Coulomb case, Math. Mod. Meth. Appl. Sc.,, (199). [De 1] L. Desvillettes, Some applications of the method of moments for the homogeneous Boltzmann and Kac equations, Arch. Rat. Mech. Anal., 13, (1993), 387{404. [De ] L. Desvillettes, On asymptotics of the Boltzmann equation when the collisions become grazing, Tr. Th. and Stat. Phys., 1, (199), 59{76. [De 3] L. Desvillettes, Convergence to equilibrium in large time for Boltzmann and B.G.K equations, Arch. Rat. Mech. Anal., 110, (1990), 73{91. [DP, L] R.J. DiPerna, P-L. Lions, On the Cauchy problem for Boltzmann equations, Global existence and weak stability, Ann. Math., 130, (1989), 31{366. [El] T. Elmroth, Global boundedness of moments of solutions of the Boltzmann equation for forces of innite range, Arch. Rat. Mech. Anal., 8, (1983), 1{1. [G] E. Gabetta, On a conjecture of McKean with application to Kac's model, to appear in Tr. Th. and Stat. Phys. [Gr] H. Grad, Principles of the kinetic theory of gases, Flugge's Handbuch der Physik, 1, (1958), 05{94. [K] M. Kac, Probability and related topics in the Physical Sciences, New{ York, (1959). [L 1] P-L. Lions, Compactness in Boltzmann's equation via Fourier integral operators and applications, I, II and III, Preprint. 30
31 [L ] P-L. Lions, On Boltzmann and Landau equations, Cahiers de math- ematiques de la decision, n. 90, and to appear in Phil. Trans. Roy. Soc. [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. [Tr] C. Truesdell, On the pressures and the ux of energy in a gas according to Maxwell's kinetic theory II, J. Rat. Mech. Anal., 5, (1955), 55. [Tr, Mu] C. Truesdell, R. Muncaster, Fundamentals of Maxwell kinetic theory of a simple monoatomic gas, Acad. Press., New York, (1980). [We] B. Wennberg, Preprint. 31
SOME APPLICATIONS OF THE METHOD OF MOMENTS FOR THE HOMOGENEOUS BOLTZMANN AND KAC EQUATIONS
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
More informationEntropic structure of the Landau equation. Coulomb interaction
with Coulomb interaction Laurent Desvillettes IMJ-PRG, Université Paris Diderot May 15, 2017 Use of the entropy principle for specific equations Spatially Homogeneous Kinetic equations: 1 Fokker-Planck:
More informationCONVERGENCE TO EQUILIBRIUM IN LARGE TIME FOR BOLTZMANN AND B.G.K. EQUATIONS
CONVERGENCE TO EQUILIBRIUM IN LARGE TIME FOR BOLTZMANN AND B.G.K. EQUATIONS Laurent Desvillettes ECOLE NORMALE SUPERIEURE 45, Rue d Ulm 75230 Paris Cédex 05 July 14, 2013 Abstract We study in this paper
More informationALMOST EXPONENTIAL DECAY NEAR MAXWELLIAN
ALMOST EXPONENTIAL DECAY NEAR MAXWELLIAN ROBERT M STRAIN AND YAN GUO Abstract By direct interpolation of a family of smooth energy estimates for solutions near Maxwellian equilibrium and in a periodic
More informationExponential tail behavior for solutions to the homogeneous Boltzmann equation
Exponential tail behavior for solutions to the homogeneous Boltzmann equation Maja Tasković The University of Texas at Austin Young Researchers Workshop: Kinetic theory with applications in physical sciences
More informationhal , version 1-22 Nov 2009
Author manuscript, published in "Kinet. Relat. Models 1, 3 8) 355-368" PROPAGATION OF GEVREY REGULARITY FOR SOLUTIONS OF LANDAU EQUATIONS HUA CHEN, WEI-XI LI AND CHAO-JIANG XU Abstract. By using the energy-type
More informationR. ALEXANDRE AND C. VILLANI where the unknown f(t; x; v) is a nonnegative integrable function standing for the density of particles in phase space : t
ON THE BOLTMANN EQUATION FOR LONG-RANGE INTERACTIONS R. ALEXANDRE AND C. VILLANI Abstract. We study the Boltzmann equation without Grad's angular cut-o assumption. We introduce a suitable renormalized
More informationGlobal Weak Solution to the Boltzmann-Enskog equation
Global Weak Solution to the Boltzmann-Enskog equation Seung-Yeal Ha 1 and Se Eun Noh 2 1) Department of Mathematical Science, Seoul National University, Seoul 151-742, KOREA 2) Department of Mathematical
More information2 BAISHENG YAN When L =,it is easily seen that the set K = coincides with the set of conformal matrices, that is, K = = fr j 0 R 2 SO(n)g: Weakly L-qu
RELAXATION AND ATTAINMENT RESULTS FOR AN INTEGRAL FUNCTIONAL WITH UNBOUNDED ENERGY-WELL BAISHENG YAN Abstract. Consider functional I(u) = R jjdujn ; L det Duj dx whose energy-well consists of matrices
More informationContractive metrics for scalar conservation laws
Contractive metrics for scalar conservation laws François Bolley 1, Yann Brenier 2, Grégoire Loeper 34 Abstract We consider nondecreasing entropy solutions to 1-d scalar conservation laws and show that
More informationBoltzmann asymptotics with diffuse reflection boundary conditions.
Boltzmann asymptotics with diffuse reflection boundary conditions. L. Arkeryd and A. Nouri. Key words. Botzmann asymptotics, strong L 1 -convergence, diffuse reflection boundary. Mathematics Subject Classification:
More informationHydrodynamic Limits for the Boltzmann Equation
Hydrodynamic Limits for the Boltzmann Equation François Golse Université Paris 7 & Laboratoire J.-L. Lions golse@math.jussieu.fr Academia Sinica, Taipei, December 2004 LECTURE 2 FORMAL INCOMPRESSIBLE HYDRODYNAMIC
More informationEntropy Dissipation Rate and Convergence in Kinetic Equations
Commun. Math. Phys. 123, 687-702 (1989) Communications in Mathematical Physics Springer-Verlag 1989 Entropy Dissipation Rate and Convergence in Kinetic Equations L. Desvillettes Centre de Mathematiques
More informationON TRIVIAL GRADIENT YOUNG MEASURES BAISHENG YAN Abstract. We give a condition on a closed set K of real nm matrices which ensures that any W 1 p -grad
ON TRIVIAL GRAIENT YOUNG MEASURES BAISHENG YAN Abstract. We give a condition on a closed set K of real nm matrices which ensures that any W 1 p -gradient Young measure supported on K must be trivial the
More informationKinetic models of Maxwell type. A brief history Part I
. A brief history Part I Department of Mathematics University of Pavia, Italy Porto Ercole, June 8-10 2008 Summer School METHODS AND MODELS OF KINETIC THEORY Outline 1 Introduction Wild result The central
More informationMarkov processes Course note 2. Martingale problems, recurrence properties of discrete time chains.
Institute for Applied Mathematics WS17/18 Massimiliano Gubinelli Markov processes Course note 2. Martingale problems, recurrence properties of discrete time chains. [version 1, 2017.11.1] We introduce
More informationGerhard Rein. Mathematisches Institut der Universitat Munchen, Alan D. Rendall. Max-Planck-Institut fur Astrophysik, and
A regularity theorem for solutions of the spherically symmetric Vlasov-Einstein system Gerhard Rein Mathematisches Institut der Universitat Munchen, Theresienstr. 39, 80333 Munchen, Germany, Alan D. Rendall
More informationOn the Optimal Choice of Coefficients in a Truncated Wild Sum and Approximate Solutions for the Kac Equation
Journal of Statistical Physics, Vol. 109, Nos. 1/2, October 2002 ( 2002) On the Optimal Choice of Coefficients in a Truncated Wild Sum and Approximate Solutions for the Kac Equation Eric A. Carlen 1 and
More informationON A NEW CLASS OF WEAK SOLUTIONS TO THE SPATIALLY HOMOGENEOUS BOLTZMANN AND LANDAU EQUATIONS
ON A NEW CLASS OF WEAK SOLUTIONS TO THE SPATIALLY HOMOGENEOUS BOLTZMANN AND LANDAU EQUATIONS C. VILLANI Abstract. This paper deals with the spatially homogeneous Boltzmann equation when grazing collisions
More informationExponential moments for the homogeneous Kac equation
Exponential moments for the homogeneous Kac equation Maja Tasković University of Pennsylvania Young Researchers Workshop: Stochastic and deterministic methods in kinetic theory, Duke University, November
More informationin Bounded Domains Ariane Trescases CMLA, ENS Cachan
CMLA, ENS Cachan Joint work with Yan GUO, Chanwoo KIM and Daniela TONON International Conference on Nonlinear Analysis: Boundary Phenomena for Evolutionnary PDE Academia Sinica December 21, 214 Outline
More informationOn Weak Solutions to the Linear Boltzmann Equation with Inelastic Coulomb Collisions
On Weak Solutions to the Linear Boltzmann Equation with Inelastic Coulomb Collisions Rolf Pettersson epartment of Mathematics, Chalmers University of Technology, SE-412 96 Göteborg, Sweden Abstract. This
More informationEntropy Methods for Reaction-Diffusion Equations with Degenerate Diffusion Arising in Reversible Chemistry
1 Entropy Methods for Reaction-Diffusion Equations with Degenerate Diffusion Arising in Reversible Chemistry L. Desvillettes CMLA, ENS Cachan, IUF & CNRS, PRES UniverSud, 61, avenue du Président Wilson,
More informationSpurious Chaotic Solutions of Dierential. Equations. Sigitas Keras. September Department of Applied Mathematics and Theoretical Physics
UNIVERSITY OF CAMBRIDGE Numerical Analysis Reports Spurious Chaotic Solutions of Dierential Equations Sigitas Keras DAMTP 994/NA6 September 994 Department of Applied Mathematics and Theoretical Physics
More informationarxiv: v1 [math.ap] 28 Apr 2009
ACOUSTIC LIMIT OF THE BOLTZMANN EQUATION: CLASSICAL SOLUTIONS JUHI JANG AND NING JIANG arxiv:0904.4459v [math.ap] 28 Apr 2009 Abstract. We study the acoustic limit from the Boltzmann equation in the framework
More informationAnomalous transport of particles in Plasma physics
Anomalous transport of particles in Plasma physics L. Cesbron a, A. Mellet b,1, K. Trivisa b, a École Normale Supérieure de Cachan Campus de Ker Lann 35170 Bruz rance. b Department of Mathematics, University
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-19 Wien, Austria The Negative Discrete Spectrum of a Class of Two{Dimentional Schrodinger Operators with Magnetic
More informationThe Vlasov-Poisson-Landau System in a Periodic Box
The Vlasov-Poisson-Landau System in a Periodic Box Yan Guo Division of Applied Mathematics, Brown University March 9, Abstract The classical Vlasov-Poisson-Landau system describes dynamics of a collisional
More information290 J.M. Carnicer, J.M. Pe~na basis (u 1 ; : : : ; u n ) consisting of minimally supported elements, yet also has a basis (v 1 ; : : : ; v n ) which f
Numer. Math. 67: 289{301 (1994) Numerische Mathematik c Springer-Verlag 1994 Electronic Edition Least supported bases and local linear independence J.M. Carnicer, J.M. Pe~na? Departamento de Matematica
More informationwith Degeneracy Eects Frederic Poupaud Laboratoire de Mathematiques Universite de Nice Parc Valrose, Nice, France Christian Schmeiser*
Charge Transport in Semiconductors with Degeneracy Eects Frederic Poupaud Laboratoire de Mathematiques Universite de Nice Parc Valrose, 634 Nice, France Christian Schmeiser* Institut fur Angewandte und
More informationSharp estimates for a class of hyperbolic pseudo-differential equations
Results in Math., 41 (2002), 361-368. Sharp estimates for a class of hyperbolic pseudo-differential equations Michael Ruzhansky Abstract In this paper we consider the Cauchy problem for a class of hyperbolic
More informationLocal mountain-pass for a class of elliptic problems in R N involving critical growth
Nonlinear Analysis 46 (2001) 495 510 www.elsevier.com/locate/na Local mountain-pass for a class of elliptic problems in involving critical growth C.O. Alves a,joão Marcos do O b; ;1, M.A.S. Souto a;1 a
More informationOle Christensen 3. October 20, Abstract. We point out some connections between the existing theories for
Frames and pseudo-inverses. Ole Christensen 3 October 20, 1994 Abstract We point out some connections between the existing theories for frames and pseudo-inverses. In particular, using the pseudo-inverse
More informationRegularity and compactness for the DiPerna Lions flow
Regularity and compactness for the DiPerna Lions flow Gianluca Crippa 1 and Camillo De Lellis 2 1 Scuola Normale Superiore, Piazza dei Cavalieri 7, 56126 Pisa, Italy. g.crippa@sns.it 2 Institut für Mathematik,
More informationOn the drag and heat transfer coecients in. free-molecular ow. Carlo Cercignani, Maria Lampis, Andrea Lentati
On the drag and heat transfer coecients in free-molecular ow Carlo Cercignani, Maria Lampis, Andrea Lentati Dipartimento di Matematica, Politecnico di Milano, Milano, Italy Abstract. We have calculated
More informationDiscrete Halanay-type inequalities and applications
Nonlinear Analysis 55 (2003) 669 678 www.elsevier.com/locate/na Discrete Halanay-type inequalities and applications Eduardo Liz a;, Anatoli Ivanov b, Juan Bosco Ferreiro c a Departamento de Matematica
More informationError Estimates for Trigonometric Interpolation. of Periodic Functions in Lip 1. Knut Petras
Error Estimates for Trigonometric Interpolation of Periodic Functions in Lip Knut Petras Abstract. The Peano kernel method is used in order to calculate the best possible constants c, independent of M,
More informationON NONHOMOGENEOUS BIHARMONIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT
PORTUGALIAE MATHEMATICA Vol. 56 Fasc. 3 1999 ON NONHOMOGENEOUS BIHARMONIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT M. Guedda Abstract: In this paper we consider the problem u = λ u u + f in, u = u
More informationOn a weighted total variation minimization problem
On a weighted total variation minimization problem Guillaume Carlier CEREMADE Université Paris Dauphine carlier@ceremade.dauphine.fr Myriam Comte Laboratoire Jacques-Louis Lions, Université Pierre et Marie
More information1 Introduction This work follows a paper by P. Shields [1] concerned with a problem of a relation between the entropy rate of a nite-valued stationary
Prexes and the Entropy Rate for Long-Range Sources Ioannis Kontoyiannis Information Systems Laboratory, Electrical Engineering, Stanford University. Yurii M. Suhov Statistical Laboratory, Pure Math. &
More informationConverse Lyapunov Functions for Inclusions 2 Basic denitions Given a set A, A stands for the closure of A, A stands for the interior set of A, coa sta
A smooth Lyapunov function from a class-kl estimate involving two positive semidenite functions Andrew R. Teel y ECE Dept. University of California Santa Barbara, CA 93106 teel@ece.ucsb.edu Laurent Praly
More informationOn the Boltzmann equation: global solutions in one spatial dimension
On the Boltzmann equation: global solutions in one spatial dimension Department of Mathematics & Statistics Colloque de mathématiques de Montréal Centre de Recherches Mathématiques November 11, 2005 Collaborators
More informationM. Ledoux Université de Toulouse, France
ON MANIFOLDS WITH NON-NEGATIVE RICCI CURVATURE AND SOBOLEV INEQUALITIES M. Ledoux Université de Toulouse, France Abstract. Let M be a complete n-dimensional Riemanian manifold with non-negative Ricci curvature
More informationON THE ASYMPTOTIC STABILITY IN TERMS OF TWO MEASURES FOR FUNCTIONAL DIFFERENTIAL EQUATIONS. G. Makay
ON THE ASYMPTOTIC STABILITY IN TERMS OF TWO MEASURES FOR FUNCTIONAL DIFFERENTIAL EQUATIONS G. Makay Student in Mathematics, University of Szeged, Szeged, H-6726, Hungary Key words and phrases: Lyapunov
More informationBLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED
BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED TAOUFIK HMIDI AND SAHBI KERAANI Abstract. In this note we prove a refined version of compactness lemma adapted to the blowup analysis
More informationLittlewood-Paley Decomposition and regularity issues in Boltzmann homogeneous equations I. Non cutoff and Maxwell cases
Littlewood-Paley Decomposition and regularity issues in Boltzmann homogeneous equations I. Non cutoff and Maxwell cases Radjesarane ALEXANDRE and Mouhamad EL SAFADI MAPMO UMR 668 Uniersité d Orléans, BP
More informationA RELATION BETWEEN SCHUR P AND S. S. Leidwanger. Universite de Caen, CAEN. cedex FRANCE. March 24, 1997
A RELATION BETWEEN SCHUR P AND S FUNCTIONS S. Leidwanger Departement de Mathematiques, Universite de Caen, 0 CAEN cedex FRANCE March, 997 Abstract We dene a dierential operator of innite order which sends
More informationOn It^o's formula for multidimensional Brownian motion
On It^o's formula for multidimensional Brownian motion by Hans Follmer and Philip Protter Institut fur Mathemati Humboldt-Universitat D-99 Berlin Mathematics and Statistics Department Purdue University
More informationClassical inequalities for the Boltzmann collision operator.
Classical inequalities for the Boltzmann collision operator. Ricardo Alonso The University of Texas at Austin IPAM, April 2009 In collaboration with E. Carneiro and I. Gamba Outline Boltzmann equation:
More informationA Representation of Excessive Functions as Expected Suprema
A Representation of Excessive Functions as Expected Suprema Hans Föllmer & Thomas Knispel Humboldt-Universität zu Berlin Institut für Mathematik Unter den Linden 6 10099 Berlin, Germany E-mail: foellmer@math.hu-berlin.de,
More informationEXISTENCE AND REGULARITY RESULTS FOR SOME NONLINEAR PARABOLIC EQUATIONS
EXISTECE AD REGULARITY RESULTS FOR SOME OLIEAR PARABOLIC EUATIOS Lucio BOCCARDO 1 Andrea DALL AGLIO 2 Thierry GALLOUËT3 Luigi ORSIA 1 Abstract We prove summability results for the solutions of nonlinear
More informationApplications of the compensated compactness method on hyperbolic conservation systems
Applications of the compensated compactness method on hyperbolic conservation systems Yunguang Lu Department of Mathematics National University of Colombia e-mail:ylu@unal.edu.co ALAMMI 2009 In this talk,
More informationEXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem
Electronic Journal of Differential Equations, Vol. 207 (207), No. 84, pp. 2. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS
More informationFrom Boltzmann Equations to Gas Dynamics: From DiPerna-Lions to Leray
From Boltzmann Equations to Gas Dynamics: From DiPerna-Lions to Leray C. David Levermore Department of Mathematics and Institute for Physical Science and Technology University of Maryland, College Park
More informationEXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system
Electronic Journal of Differential Equations, Vol. 20082008), No. 119, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu login: ftp) EXISTENCE
More informationThe Boltzmann Equation and Its Applications
Carlo Cercignani The Boltzmann Equation and Its Applications With 42 Illustrations Springer-Verlag New York Berlin Heidelberg London Paris Tokyo CONTENTS PREFACE vii I. BASIC PRINCIPLES OF THE KINETIC
More informationMinimal periods of semilinear evolution equations with Lipschitz nonlinearity
Minimal periods of semilinear evolution equations with Lipschitz nonlinearity James C. Robinson a Alejandro Vidal-López b a Mathematics Institute, University of Warwick, Coventry, CV4 7AL, U.K. b Departamento
More informationAN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W 1,p FOR EVERY p > 2 BUT NOT ON H0
AN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W,p FOR EVERY p > BUT NOT ON H FERNANDO FARRONI, RAFFAELLA GIOVA AND FRANÇOIS MURAT Abstract. In this note we give an example of functional
More informationConstrained Leja points and the numerical solution of the constrained energy problem
Journal of Computational and Applied Mathematics 131 (2001) 427 444 www.elsevier.nl/locate/cam Constrained Leja points and the numerical solution of the constrained energy problem Dan I. Coroian, Peter
More informationLARGE TIME BEHAVIOR OF THE RELATIVISTIC VLASOV MAXWELL SYSTEM IN LOW SPACE DIMENSION
Differential Integral Equations Volume 3, Numbers 1- (1), 61 77 LARGE TIME BEHAVIOR OF THE RELATIVISTIC VLASOV MAXWELL SYSTEM IN LOW SPACE DIMENSION Robert Glassey Department of Mathematics, Indiana University
More informationTAUBERIAN THEOREM FOR HARMONIC MEAN OF STIELTJES TRANSFORMS AND ITS APPLICATIONS TO LINEAR DIFFUSIONS
Kasahara, Y. and Kotani, S. Osaka J. Math. 53 (26), 22 249 TAUBERIAN THEOREM FOR HARMONIC MEAN OF STIELTJES TRANSFORMS AND ITS APPLICATIONS TO LINEAR DIFFUSIONS YUJI KASAHARA and SHIN ICHI KOTANI (Received
More informationIterative procedure for multidimesional Euler equations Abstracts A numerical iterative scheme is suggested to solve the Euler equations in two and th
Iterative procedure for multidimensional Euler equations W. Dreyer, M. Kunik, K. Sabelfeld, N. Simonov, and K. Wilmanski Weierstra Institute for Applied Analysis and Stochastics Mohrenstra e 39, 07 Berlin,
More information2 Garrett: `A Good Spectral Theorem' 1. von Neumann algebras, density theorem The commutant of a subring S of a ring R is S 0 = fr 2 R : rs = sr; 8s 2
1 A Good Spectral Theorem c1996, Paul Garrett, garrett@math.umn.edu version February 12, 1996 1 Measurable Hilbert bundles Measurable Banach bundles Direct integrals of Hilbert spaces Trivializing Hilbert
More informationMathematical Institute, University of Utrecht. The problem of estimating the mean of an observed Gaussian innite-dimensional vector
On Minimax Filtering over Ellipsoids Eduard N. Belitser and Boris Y. Levit Mathematical Institute, University of Utrecht Budapestlaan 6, 3584 CD Utrecht, The Netherlands The problem of estimating the mean
More informationMixed exterior Laplace s problem
Mixed exterior Laplace s problem Chérif Amrouche, Florian Bonzom Laboratoire de mathématiques appliquées, CNRS UMR 5142, Université de Pau et des Pays de l Adour, IPRA, Avenue de l Université, 64000 Pau
More information2 Section 2 However, in order to apply the above idea, we will need to allow non standard intervals ('; ) in the proof. More precisely, ' and may gene
Introduction 1 A dierential intermediate value theorem by Joris van der Hoeven D pt. de Math matiques (B t. 425) Universit Paris-Sud 91405 Orsay Cedex France June 2000 Abstract Let T be the eld of grid-based
More informationOn the Resolvent Estimates of some Evolution Equations and Applications
On the Resolvent Estimates of some Evolution Equations and Applications Moez KHENISSI Ecole Supérieure des Sciences et de Technologie de Hammam Sousse On the Resolvent Estimates of some Evolution Equations
More informationarxiv: v1 [math.ap] 18 May 2017
Littlewood-Paley-Stein functions for Schrödinger operators arxiv:175.6794v1 [math.ap] 18 May 217 El Maati Ouhabaz Dedicated to the memory of Abdelghani Bellouquid (2/2/1966 8/31/215) Abstract We study
More informationGlobal unbounded solutions of the Fujita equation in the intermediate range
Global unbounded solutions of the Fujita equation in the intermediate range Peter Poláčik School of Mathematics, University of Minnesota, Minneapolis, MN 55455, USA Eiji Yanagida Department of Mathematics,
More information2 The second case, in which Problem (P 1 ) reduces to the \one-phase" problem (P 2 ) 8 >< >: u t = u xx + uu x t > 0, x < (t) ; u((t); t) = q t > 0 ;
1 ON A FREE BOUNDARY PROBLEM ARISING IN DETONATION THEORY: CONVERGENCE TO TRAVELLING WAVES 1. INTRODUCTION. by M.Bertsch Dipartimento di Matematica Universita di Torino Via Principe Amedeo 8 10123 Torino,
More informationSome nonlinear elliptic equations in R N
Nonlinear Analysis 39 000) 837 860 www.elsevier.nl/locate/na Some nonlinear elliptic equations in Monica Musso, Donato Passaseo Dipartimento di Matematica, Universita di Pisa, Via Buonarroti,, 5617 Pisa,
More informationThe grazing collision limit of Kac caricature of Bose-Einstein particles
The grazing collision limit of Kac caricature of Bose-Einstein particles Thibaut Allemand Giuseppe Toscani 19th March 009 Abstract We discuss the grazing collision limit of certain kinetic models of Bose-Einstein
More informationA simple kinetic equation of swarm formation: blow up and global existence
A simple kinetic equation of swarm formation: blow up and global existence Miroslaw Lachowicz, Henryk Leszczyński, Martin Parisot To cite this version: Miroslaw Lachowicz, Henryk Leszczyński, Martin Parisot.
More informationMidterm 1. Every element of the set of functions is continuous
Econ 200 Mathematics for Economists Midterm Question.- Consider the set of functions F C(0, ) dened by { } F = f C(0, ) f(x) = ax b, a A R and b B R That is, F is a subset of the set of continuous functions
More informationAsymptotic solution of the Boltzmann equation for the shear ow of smooth inelastic disks
Physica A 275 (2000) 483 504 www.elsevier.com/locate/physa Asymptotic solution of the Boltzmann equation for the shear ow of smooth inelastic disks V. Kumaran Department of Chemical Engineering, Indian
More informationSpectrum and Exact Controllability of a Hybrid System of Elasticity.
Spectrum and Exact Controllability of a Hybrid System of Elasticity. D. Mercier, January 16, 28 Abstract We consider the exact controllability of a hybrid system consisting of an elastic beam, clamped
More informationMARIA GIRARDI Fact 1.1. For a bounded linear operator T from L 1 into X, the following statements are equivalent. (1) T is Dunford-Pettis. () T maps w
DENTABILITY, TREES, AND DUNFORD-PETTIS OPERATORS ON L 1 Maria Girardi University of Illinois at Urbana-Champaign Pacic J. Math. 148 (1991) 59{79 Abstract. If all bounded linear operators from L1 into a
More informationA global solution curve for a class of free boundary value problems arising in plasma physics
A global solution curve for a class of free boundary value problems arising in plasma physics Philip Korman epartment of Mathematical Sciences University of Cincinnati Cincinnati Ohio 4522-0025 Abstract
More informationtion. For example, we shall write _x = f(x x d ) instead of _x(t) = f(x(t) x d (t)) and x d () instead of x d (t)(). The notation jj is used to denote
Extension of control Lyapunov functions to time-delay systems Mrdjan Jankovic Ford Research Laboratory P.O. Box 53, MD 36 SRL Dearborn, MI 4811 e-mail: mjankov1@ford.com Abstract The concept of control
More informationTHE LUBRICATION APPROXIMATION FOR THIN VISCOUS FILMS: REGULARITY AND LONG TIME BEHAVIOR OF WEAK SOLUTIONS A.L. BERTOZZI AND M. PUGH.
THE LUBRICATION APPROXIMATION FOR THIN VISCOUS FILMS: REGULARITY AND LONG TIME BEHAVIOR OF WEAK SOLUTIONS A.L. BERTOI AND M. PUGH April 1994 Abstract. We consider the fourth order degenerate diusion equation
More informationON THE LANDAU APPROXIMATION IN PLASMA PHYSICS
ON THE LANDAU APPROXIMATION IN PLASMA PHYSICS R. ALEXANDRE AND C. VILLANI Abstract. This paper studies the approximation of the Boltzmann equation by the Landau equation in a regime when grazing collisions
More informationOn the validity of the Euler Lagrange equation
J. Math. Anal. Appl. 304 (2005) 356 369 www.elsevier.com/locate/jmaa On the validity of the Euler Lagrange equation A. Ferriero, E.M. Marchini Dipartimento di Matematica e Applicazioni, Università degli
More informationComments on integral variants of ISS 1
Systems & Control Letters 34 (1998) 93 1 Comments on integral variants of ISS 1 Eduardo D. Sontag Department of Mathematics, Rutgers University, Piscataway, NJ 8854-819, USA Received 2 June 1997; received
More informationSemi-Linear Diusive Representations for Non-Linear Fractional Dierential Systems Jacques AUDOUNET 1, Denis MATIGNON 2?, and Gerard MONTSENY 3 1 MIP /
Semi-Linear Diusive Representations for Non-Linear Fractional Dierential Systems Jacques AUDOUNET 1, Denis MATIGNON?, and Gerard MONTSENY 3 1 MIP / CNRS, Universite Paul Sabatier. 118, route de Narbonne.
More informationGRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS
LE MATEMATICHE Vol. LI (1996) Fasc. II, pp. 335347 GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS CARLO SBORDONE Dedicated to Professor Francesco Guglielmino on his 7th birthday W
More informationAsymptotics and stability for global solutions to the Navier-Stokes equations
Asymptotics and stability for global solutions to the Navier-Stokes equations Isabelle Gallagher a Drago³ Iftimie a,b Fabrice Planchon c Abstract We consider an a priori global strong solution to the Navier-Stokes
More informationquantitative information on the error caused by using the solution of the linear problem to describe the response of the elastic material on a corner
Quantitative Justication of Linearization in Nonlinear Hencky Material Problems 1 Weimin Han and Hong-ci Huang 3 Abstract. The classical linear elasticity theory is based on the assumption that the size
More informationUNIQUENESS OF SELF-SIMILAR VERY SINGULAR SOLUTION FOR NON-NEWTONIAN POLYTROPIC FILTRATION EQUATIONS WITH GRADIENT ABSORPTION
Electronic Journal of Differential Equations, Vol. 2015 2015), No. 83, pp. 1 9. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu UNIQUENESS OF SELF-SIMILAR
More informationQUASI-UNIFORMLY POSITIVE OPERATORS IN KREIN SPACE. Denitizable operators in Krein spaces have spectral properties similar to those
QUASI-UNIFORMLY POSITIVE OPERATORS IN KREIN SPACE BRANKO CURGUS and BRANKO NAJMAN Denitizable operators in Krein spaces have spectral properties similar to those of selfadjoint operators in Hilbert spaces.
More informationSplines which are piecewise solutions of polyharmonic equation
Splines which are piecewise solutions of polyharmonic equation Ognyan Kounchev March 25, 2006 Abstract This paper appeared in Proceedings of the Conference Curves and Surfaces, Chamonix, 1993 1 Introduction
More informationHOMEOMORPHISMS OF BOUNDED VARIATION
HOMEOMORPHISMS OF BOUNDED VARIATION STANISLAV HENCL, PEKKA KOSKELA AND JANI ONNINEN Abstract. We show that the inverse of a planar homeomorphism of bounded variation is also of bounded variation. In higher
More informationHausdorff operators in H p spaces, 0 < p < 1
Hausdorff operators in H p spaces, 0 < p < 1 Elijah Liflyand joint work with Akihiko Miyachi Bar-Ilan University June, 2018 Elijah Liflyand joint work with Akihiko Miyachi (Bar-Ilan University) Hausdorff
More informationAbstract. Previous characterizations of iss-stability are shown to generalize without change to the
On Characterizations of Input-to-State Stability with Respect to Compact Sets Eduardo D. Sontag and Yuan Wang Department of Mathematics, Rutgers University, New Brunswick, NJ 08903, USA Department of Mathematics,
More informationMaster Thesis. Nguyen Tien Thinh. Homogenization and Viscosity solution
Master Thesis Nguyen Tien Thinh Homogenization and Viscosity solution Advisor: Guy Barles Defense: Friday June 21 th, 2013 ii Preface Firstly, I am grateful to Prof. Guy Barles for helping me studying
More informationA TWO PARAMETERS AMBROSETTI PRODI PROBLEM*
PORTUGALIAE MATHEMATICA Vol. 53 Fasc. 3 1996 A TWO PARAMETERS AMBROSETTI PRODI PROBLEM* C. De Coster** and P. Habets 1 Introduction The study of the Ambrosetti Prodi problem has started with the paper
More informationWeak solutions for some quasilinear elliptic equations by the sub-supersolution method
Nonlinear Analysis 4 (000) 995 100 www.elsevier.nl/locate/na Weak solutions for some quasilinear elliptic equations by the sub-supersolution method Manuel Delgado, Antonio Suarez Departamento de Ecuaciones
More informationEXISTENCE OF SOLUTIONS TO THE CAHN-HILLIARD/ALLEN-CAHN EQUATION WITH DEGENERATE MOBILITY
Electronic Journal of Differential Equations, Vol. 216 216), No. 329, pp. 1 22. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS TO THE CAHN-HILLIARD/ALLEN-CAHN
More informationNonexistence results and estimates for some nonlinear elliptic problems
Nonexistence results and estimates for some nonlinear elliptic problems Marie-Francoise BDAUT-VERON Stanislav POHOAEV y. Abstract Here we study the local or global behaviour of the solutions of elliptic
More informationThe Pacic Institute for the Mathematical Sciences http://www.pims.math.ca pims@pims.math.ca Surprise Maximization D. Borwein Department of Mathematics University of Western Ontario London, Ontario, Canada
More information2 Formal derivation of the Shockley-Read-Hall model
We consider a semiconductor crystal represented by the bounded domain R 3 (all our results are easily extended to the one and two- dimensional situations) with a constant (in space) number density of traps
More information