GLOBAL WELL-POSEDNESS IN SPATIALLY CRITICAL BESOV SPACE FOR THE BOLTZMANN EQUATION

Size: px
Start display at page:

Download "GLOBAL WELL-POSEDNESS IN SPATIALLY CRITICAL BESOV SPACE FOR THE BOLTZMANN EQUATION"

Transcription

1 GLOBAL WELL-POSEDNESS IN SPATIALLY CRITICAL BESOV SPACE FOR THE BOLTZMANN EQUATION RENJUN DUAN, SHUANGQIAN LIU, AND JIANG XU Abstract. The unique global strong solution in the Chemin-Lerner type space to the Cauchy problem on the Boltzmann equation for hard potentials is constructed in perturbation framework. Such solution space is of critical regularity with respect to spatial variable, and it can capture the intrinsic property of the Botlzmann equation. For the proof of global well-posedness, we develop some new estimates on the nonlinear collision term through the Littlewood-Paley theory. Contents 1. Introduction 1. Notations and function spaces 6 3. Trilinear estimates 1 4. Estimate on nonlinear term Estimate on macroscopic dissipation 6. Global a priori estimate 3 7. Local existence 4 8. Proof of global Existence 8 9. Appendix 9 References Introduction There have been extensive studies of the global well-posedness for the Cauchy problem on the Boltzmann equation. Basically two kinds of global solutions can be established in terms of different approaches. One kind is the renormalized solution by the weak stability method [8], where initial data can be of the large size and of no regularity. The uniqueness for such solution still remains open. The other kind is the perturbative solution by either the spectrum method [, 4, 8, 9, 31] or the energy method [17, 18,, 1], where initial data is assumed to be sufficiently close to Maxwellians. In general solutions uniquely exist in the perturbation framework. It is a fundamental problem in the theory of the Boltzmann equation to find a function space with minimal regularity for the global existence and uniqueness of solutions. The paper aims at presenting a function space whose spatial variable belongs to the critical Besov space B 3/,1 in dimensions three. The motivation to consider function spaces with spatially critical regularity is inspired by their many Date: July 7, 16.

2 R.-J. DUAN, S.-Q. LIU, AND J. XU existing applications in the study of the fluid dynamical equations [4, 7, 7], see also the recent work [6] on the general hyperbolic symmetric conservation laws with relaxations. Indeed it will be seen in the paper that the Boltzmann equation at the kinetic level shares a similar dissipative structure in the so-called critical Chemin-Lerner type space (cf. [6]) with those at the fluid level. Specifically, using the Littlewood-Paley theory, we etablish the global well-posedness of solutions in such function space for the angular cutoff hard potentials. It would remain an interesting and challenging problem to extend the current result to other situations, such as soft potentials [15, 3], angular non cutoff [, 13] and the appearance of self-consistent force [11]. The Boltzmann equation in dimensions three (cf. [5, 3]), which is used to describe the time evolution of the unknown velocity distribution function F = F (t, x, ξ) of particles with position x = (x 1, x, x 3 ) R 3 and velocity ξ = (ξ 1, ξ, ξ 3 ) R 3 at time t, reads t F + ξ x F = Q(F, F ). (1.1) Initial data F (, x, ξ) = F (x, ξ) is given. Q(, ) is the bilinear Boltzmann collision operator, defined by Q(F, H) = dξ R 3 dω ξ ξ γ B (θ) (F H F H), S where with F = F (t, x, ξ ), H = H(t, x, ξ ), F = F (t, x, ξ ), H = H(t, x, ξ), ξ = ξ ( (ξ ξ ) ω ) ω, ξ = ξ + ( (ξ ξ ) ω ) ω, and θ is given by cos θ = ω (ξ ξ )/ ξ ξ. The collision kernel ξ ξ γ B (θ) is determined by the interaction law between particles. Through the paper, we assume γ 1 and B (θ) C cos θ for a constant C, and this includes the hard potentials with angular cutoff as an example, cf. [1]. In the paper, we study the solution of the Boltzmann equation (1.1) around the global Maxwellian µ = µ(ξ) = (π) 3/ e ξ /, which has been normalized to have zero bulk velocity and unit density and temperature. For this purpose, we set the perturbation f = f(t, x, ξ) by F = µ + µ 1/ f. Then (1.1) can be reformulated as t f + ξ x f + Lf = Γ(f, f), (1.) with initial data f(, x, ξ) = f (x, ξ) given by F = µ + µ 1/ f. Here Lf, Γ(f, f) are the linearized and nonlinear collision terms, respectively, and their precise expressions will be given later on. Recall that L is nonnegative-definite on L ξ, and ker L is spanned by five elements µ, ξ i µ (1 i 3), and ξ µ in L ξ. For later use, define the macroscopic projection of f(t, x, ξ) by Pf = { a(t, x) + ξ b(t, x) + ( ξ 3 ) c(t, x) } µ, (1.3) where for the notational brevity we have skipped the dependence of coefficient functions on f. Then, the function f(t, x, ξ) can be decomposed as f = Pf + {I P}f.

3 BOLTZMANN EQUATION IN CRITICAL BESOV SPACE 3 We now state the main result of the paper. The norms and other notations below will be made precise in the next section. We define the energy functional and energy dissipation rate, respectively, as and E T (f) f L T L ξ (B 3/ x ), (1.4) D T (f) = x (a, b, c) L T (B 1/ x ) + {I P}f L T L ξ,ν (B 3/ x ). (1.5) Theorem 1.1. There are ɛ >, C > such that if f L ξ (B 3/ x ) ɛ, then there exists a unique global strong solution f(t, x, ξ) to the Boltzmann equation (1.) with initial data f(, x, ξ) = f (x, ξ), satisfying E T (f) + D T (f) C f L ξ (B 3/ x ), (1.6) for any T >. Moreover, if F (x, ξ) = µ + µ 1/ f (x, ξ), then F (t, x, ξ) = µ + µ 1/ f(t, x, ξ). We now give a few comments on Theorem 1.1. Those function spaces appearing in the key inequality (1.6) are called the Chemin-Lerner type spaces. When the velocity variable is not taken into account, the usual Chemin-Lerner space was first introduced in [6] to study the existence of solutions to the incompressible Navier- Stokes equations in R 3. To the best of our knowledge, Theorem 1.1 is the first result for the application of such space to the well-posedness theory of the Cauchy problem on the Boltzmann equation. Moreover, noticing for s = 3/ that the Besov space Bx s = B,1 s L x but the Sobolev space Hx s is not embedded into L x, the regularity with respect to x variable that we consider here is critical. In most of previous work [, 1, 13, 15,, 4], the Sobolev space Hx s (s > 3/) obeying the Banach algebra property is typically used for global well-posedness of strong or classical solutionss. Therefore, Theorem 1.1 presents a global result not only in a larger class of function spaces but also in a space with spatially critical regularity. Note that so far it is unknown how to obtain any blow-up result in the space L ξ (Hs x) with s < 3/ for the Boltzmann equation in the perturbation framework, and thus the criticality of spatial regularity in such function space is only restricted to the sense that the critical embedding Hx 3/ L x is false in three dimensions. Here, we would mention Danchin [7], where the homogeneous critical space of Besov type was used for the study of well posedness of the Cauchy problem on the compressible Navier-Stokes equations near constant equilibrium states. In that work, the critical regularity in spatial variable is closely linked to the scaling invariance of equations under consideration, and the Sobolev imbedding Bx 3/ L x was also used to control the fluid density. For readers we would also point out another two kinds of applications of the Besov space to the Boltzmann equation. In fact, in Arsénio-Masmoudi [3], a new approach to velocity averaging lemmas in some Besov spaces is developed basing on the dispersive property of the kinetic transport equation, and in Sohinger-Strain [5], the optimal time decay rates in the whole space are investigated in the framework of [13] under the additional assumption that initial data belongs to a negative power Besov space B, s for some s < with respect to x variable.

4 4 R.-J. DUAN, S.-Q. LIU, AND J. XU In what follows let us a little detailedly recall some related works as far as the choice of different function spaces for well-posedness of the Boltzmann equation near Maxwellians is concerned. The first global existence theorem for the mild solution is given by Ukai [8, 9] in the space L ( ), ; L β (R 3 ξ; H N ()), β > 5, N, by using the spectrum method as well as the contraction mapping principle, see also Nishida-Imai [] and Kawashima [19]. Here L β (R3 ξ ) denotes a space of all functions f with (1 + ξ ) β f uniformly bounded. Note that in the above space Hx N with the integer N can be reduced to Hx l with l > 3/; see Ukai-Asano [3] for the study of the soft potential case in such space. Using a similar approach, Shizuta [4] obtains the global existence of the classical solution f(t, x, ξ) C 1,1, ((, ) T 3 x R 3 ξ ) on torus, with the uniform bound in the space L ( ), ; L β (R 3 ξ; C s (T 3 x)), β > 5, s > 3. The spectrum method was later improved in Ukai-Yang [31] for the existence of the mild solution in the space L ( ), ; L ( R 3 ξ) L β (R 3 ξ; L ()), β > 3, without any regularity conditions, where some L -L estimates in terms of the Duhamel s principle are developed. Note that L L theory has been also developed by Guo [14, 16] to treat the Boltzmann equation on the bounded domain. On the other hand, by means of the robust energy method, for instance, Guo [17], Liu-Yang-Yu [] and Liu-Yu [1], the well-posedness of classical solutions is also established in the space ( ) C, ; Ht,x,ξ(R N 3 x R 3 ξ), N 4, where the Sobolev space Ht,x,ξ N (R3 x R 3 ξ ) denotes a set of all functions whose derivatives with respect to all variables t, x and ξ up to N order are integrable in L ( R 3 ξ ). It turns out that if only the strong solution with the uniqueness property is considered then the time differentiation can be disregarded in the above Sobolev space. Indeed the first author of the paper studied in [1] the existence of such strong solution in the space ( ) C, ; L (R 3 ξ; H N ()), N 4, where N 4 actually can be straightforwardly extent to N, cf. [13]. We here remark that the techniques used in [1] lead to an extensive application of the Fourier energy method to the linearized Boltzmann equation as well as the related collision kinetic equations in plasma physics (cf. [9, 11]), in order to provide the time-decay properties of the linearized solution operator instead of using the spectrum approach, and further give the optimal time-decay rates of solutions for the nonlinear problem. The previously mentioned works are mainly focused on the angular cutoff Boltzmann equation. Recently, AMUXY [] and Gressman-Strain [13] independently prove the global existence of small-amplitude solutions in the angular non-cutoff

5 BOLTZMANN EQUATION IN CRITICAL BESOV SPACE 5 case for general hard and soft potentials. Particularly, the function space for the energy that [13] used in the hard potential case can take the form of L ( ), ; L (R 3 ξ; H N ()), N. Notice that the energy dissipation rate in the non-cutoff case becomes more complicated compared to the cutoff situation, see (3.3), and the key issue in [] and [13] is to provide a good characterization of the Dirichlet form of the linearized Boltzmann operator so as to control the nonlinear dynamics. Very recently, AMUXY [1] presents a result for local existence in a function space significantly larger than those used in the existing works, where in non cutoff case the index of Sobolev spaces for the solution is related to the parameter of the angular singularity, and in cutoff case the solution space may take L ( ), T ; L (R 3 ξ; H s ()), s > 3, where T > is a finite time. As mentioned before, whenever s = 3/, since H s x is not a Banach algebra, it seems impossible to expect to obtain a global result in L (, ; X) with X = L ξ Hs x. A natural idea is to replace H s x by B s x = B s,1 which is a Banach algebra and of the critical regularity. In fact, instead of directly using L (, ; B s xl ξ ) we will consider the Chemin-Lerner type function space L T L ξ (Bs x) which has stronger topology than L (, ; BxL s ξ ). Here, for T, f(t, x, ξ) L L T ξ (Bs x) means that the norm qs sup q f(t,, ) L x,ξ t T is finite. The reason why the supremum with respect to time is put after the summation is that one has to use such stronger norm to control the nonlinear term, for instance, see the estimate on I 1 given by (3.7). In what follows we explain the technical part in the proof of Theorem 1.1. First, compared to the case of the fluid dynamic equations mentioned before, the corresponding estimates in the space L L T ξ (Bs x) for the Boltzmann equation is much more complicated, not only because of the additional velocity variable ξ but also because of the nonlinear integral operator Γ(f, f). In fact, applying the energy estimates in L x,ξ to (1.) for each qf and due to the choice of the solution space L L T ξ (Bs x), one has to take the time integral, take the square root on both sides of the resulting estimate and then take the summation over all q 1, so that we are formally forced to make the trilinear estimate in the form of [ 1/ T qs ( q Γ(f, g), q h) dt]. We need to control the above trilinear term in terms of the norms E T ( ) and D T ( ) which correspond to the linearized dynamics in the same space L T L ξ (Bs x) and play the usual role of the energy and the energy dissipation respectively. Thus, Lemma 3.1 becomes the key step in the proof of the global existence. Due to the nonlinearity of Γ(f, g), we need to use the Bony decomposition, for instance, for the loss term, f g = T f g + T g f + R(f, g),

6 6 R.-J. DUAN, S.-Q. LIU, AND J. XU where notions T and R are to be given later on. For each term on the right of the above decomposition, we will use the boundedness property in L p (1 p ) for the operators q and S q, see (9.) in the Appendix, and further make use of the techniques in [6] developed by Chemin and Lerner to close the estimate on the above trilinear term. Second, it seems very standard (cf. [1, 11]) to estimate the macroscopic component (a, b, c) in the space L T (B1/ x ) on the basis of the fluid-type system (5.). The only new difficulty that we have to overcome lies on the estimates on ( ) qs Λ i ( q h) L T L + Θ im ( q h) x L T L, s = 1/, x where Λ i and Θ im with 1 i, m 3 are velocity moment functions, defined later on, and h = L{I P}f + Γ(f, f). As in [15, 18], this actually can be done in the general situation given by Lemma 4.. We remark that the proof of Lemma 4. is based on the key Lemma 3.1 related to the trilinear estimate. The global a priori estimate (6.1) then can be obtained by combining those trilinear estimates and the estimate on the macroscopic dissipations. Third, since the local existence in the space L L T ξ (Bs x) is not obvious, we also provide the complete proof of that by using the idea of [3], for instance. The main goal in this part is to obtain the uniform bound of an approximate solution sequence in the norm ỸT ( ) given in (7.), and also show the uniqueness and continuity with respect to T of solutions satisfying such uniform bound. Here, once again the result of Lemma 3.1 is needed. We also point out that the proof of continuity for T ỸT (f) is essentially reduced to prove that t 3q/ q f(t,, ) L x,ξ, is continuous, with the help of the boundedness of the norm D T (f), see Theorem 7.1 for more details. The rest of the paper is arranged as follows. In Section, we explain some notations and present definitions of some function spaces. In Sections 3 and 4, we deduce the key estimates for the collision operators Γ and L. The estimate for the macroscopic dissipation is given in Section 5. Section 6 is devoted to obtaining the global a priori estimates for the Boltzmann equation in the Chemin-Lerner type space. In Section 7, we construct the local solutions of the Boltzmann equation and further show qualitative properties of the constructed local solutions. In Section 8 we give the proof of Theorem 1.1. Finally, an appendix is given for some preliminary lemmas which will be used in the previous sections.. Notations and function spaces Throughout the paper, C denotes some generic positive (generally large) constant and λ denotes some generic positive (generally small) constant, where both C and λ may take different values in different places. For two quantities A and B, A B means that there is a generic constant C > such that A CB, and A B means A B and B A. For simplicity, (, ) stands for the inner product in either L x = L (), L ξ = L (R 3 ξ ) or L x,ξ = L ( R 3 ξ ). We use S(R3 ) to denote the Schwartz function space on R 3, and use S (R 3 ) to denote the dual space of S(R 3 ), that is the tempered function space.

7 BOLTZMANN EQUATION IN CRITICAL BESOV SPACE 7 Since the crucial nonlinear estimates require a dyadic decomposition of the Fourier variable, in what follows we recall briefly the Littlewood-Paley decomposition theory and some function spaces, such as the Besov space and the Chemin- Lerner space. Readers may refer to [4] for more details. Let us start with the Fourier transform. Here and below, the Fourier transform is taken with respect to the variable x only, not variables ξ and t. Given (t, ξ), the Fourier transform ˆf(t, k, ξ) = F x f(t, k, ξ) of a Schwartz function f(t, x, ξ) S() is given by ˆf(t, k, ξ) := dx e ix k f(t, x, ξ), R 3 and the Fourier transform of a tempered function f(t, x, ξ) S () is defined by the dual argument in the standard way. We now introduce a dyadic partition of. Let (ϕ, χ) be a couple of smooth functions valued in the closed interval [, 1] such that ϕ is supported in the shell C(, 3 4, 8 3 ) = {k R3 : 3 4 k 8 3 } and χ is supported in the ball B(, 4 3 ) = {k R 3 : k 4 3 }, with χ(k) + ϕ( q k) = 1, k R 3, q ϕ( q k) = 1, k R 3 \{}. q Z The nonhomogeneous dyadic blocks of f = f(x) S () are defined as follows: 1 f := χ(d)f = ψ f = ψ(y)f(x y) dy, with ψ = F 1 χ; R 3 q f := ϕ( q D)f = 3q R 3 ψ( q y)f(x y) dy with ψ = F 1 ϕ, q, where is the convolution operator with respect to the variable x and F 1 denotes the inverse Fourier transform. Define the low frequency cut-off operator S q (q 1) by S q f := j f. j q 1 It is a convention that S f = 1 f for q =, and S 1 f = in the case of q = 1. Moreover, the homogeneous dyadic blocks are defined by q f := ϕ( q D)f = 3q R 3 ψ( q y)f(x y)dy, q Z. With these notions, the nonhomogeneous Littlewood-Paley decomposition of f S () is given by f = q f. And for f S, one also has f = q f q Z modulo a polynomial only. Recall that the above Littlewood-Paley decomposition is almost orthogonal in L x. Having defined the linear operators q for q 1 (or q for q Z), we give the definition of nonhomogeneous (or homogeneous) Besov spaces as follows.

8 8 R.-J. DUAN, S.-Q. LIU, AND J. XU Definition.1. Let 1 p and s R. For 1 r, the nonhomogeneous Besov space Bp,r s is defined by Bp,r s := {f S () : f = q f in S, with where in the case r = we set f B s p, f B s p,r =: = sup qs q f L p x. 1 r ( qs ) r q f L p x < }, Let P denote the class of all polynomials on and let S /P denote the tempered distributions on modulo polynomials. The corresponding definition for the homogeneous Besov space is given as follows. Definition.. Let 1 p and s R. For 1 r <, the homogeneous Besov space is defined by Ḃ s p,r := {f S /P : f = q Z q f in S /P, with f Ḃs := p,r q Z( qs q f L p x ) r 1 r < }, where in the case r = we set f Ḃs p, = sup qs q f L p x <. q Z To the end, for brevity of presentations, we denote B,1 s by B s, and Ḃs,1 by Ḃs, respectively, and we also write B s, Ḃ s as Bx, s Ḃx s to emphasize the x variable. Since the velocity distribution function f = f(t, x, ξ) involves the velocity variable ξ and the time variable t, it is natural to define the Banach space valued function space L p1 T Lp ξ Lp3 x := L p1 (, T ; L p (R 3 ξ; L p3 ())), for < T, 1 p 1, p, p 3, with the norm ( T ( ) ) p/p p1/p 3 f p = L 1 T Lp ξ Lp 3 f(t, x, ξ) p3 dx dξ dt 1/p1, x R 3 R 3 where we have used the normal convention in the case when p 1 =, p = or p 3 =. Moreover, in order to characterize the Boltzmann dissipation rate, we also define the following velocity weighted norm ( T ( ) ) p/p p1/p 1/p 1 3 f p = L 1 T Lp ξ,ν Lp 3 ν(ξ) f(t, x, ξ) p3 dx dξ dt x R 3 R 3 for < T, 1 p 1, p, p 3, where the normal convention in the case when p 1 =, p = or p 3 = has been used.

9 BOLTZMANN EQUATION IN CRITICAL BESOV SPACE 9 In what follows, we present the definition of the Chemin-Lerner type spaces L ϱ1 ϱ T L and L ϱ1 ϱ T L which are initiated by the work [6]. ξ (Bs 1 p,r), Lϱ T ξ (Ḃs 1 p,r), Lϱ T L ϱ ξ,ν (Bs p,r), L ϱ ξ,ν (Ḃs p,r), Definition.3. Let 1 ϱ 1, ϱ, p, r and s R. For < T, the space L ϱ1 t L ϱ ξ (Bs p,r) is defined by where that is, L ϱ1 ϱ T L ξ (Bs p,r) = f Lϱ 1 T L ϱ ξ (Bs p,r ) = f Lϱ 1 T L ϱ ξ (Bs p,r ) = { } f(t, x, ξ) S : f Lϱ 1 L ϱ T ξ (Bs p,r ) <, ( T ( ) ) r/ϱ1 ϱ1/ϱ qsr q f ϱ L dξ dt p qsr q f r L ϱ 1 T Lϱ ξ Lp x with the usual convention for ϱ 1, ϱ, p, r =. Similarly, one also denotes f Lϱ 1 L ϱ T ξ,ν (Bs p,r ) = 1/r qsr q f r L ϱ 1 T Lϱ, ξ,ν Lp x and f Lϱ 1 T L ϱ ξ (Ḃs p,r ) = f Lϱ 1 T L ϱ ξ,ν (Ḃs p,r ) = q Z qsr q f r L ϱ 1 with the usual convention for ϱ 1, ϱ, p, r =. T Lϱ ξ Lp x q Z qsr q f r L ϱ 1 T Lϱ ξ,ν Lp x We conclude this section with a few remarks. First, since the goal of the paper is to establish the well-posedness in the spatially critical Besov space for the Boltzmann equation, we mainly consider the above norms in the case that p =, r = 1 and ϱ =. Thus, the spaces L ϱ L T ξ (Bs x), L ϱ L T ξ,ν (Bs x), L ϱ L T ξ (Ḃs x) and L ϱ L T ξ,ν (Ḃs x) with ϱ = 1 or will be frequently used. Next, whenever a function f = f(t, x, ξ) is independent of t or ξ, the corresponding norms defined above are modified in the usual way by omitting the t variable or ξ variable, respectively. Finally, it should be pointed out that the Chemin-Lerner type norm Lϱ 1 of the usual norm L ϱ 1 f L ϱ 1 T Lϱ ξ (Bs p,r ) = T Lϱ ξ T (Bs p,r ) given by R 3 L ϱ T ξ qsr q f r L p x ϱ /r 1/r 1/r, 1/r,, 1 r (Bs p,r ) is the refinement dξ ϱ 1/ϱ dt 1/ϱ 1,

10 1 R.-J. DUAN, S.-Q. LIU, AND J. XU for < T, 1 r, p, ϱ 1, ϱ. 3. Trilinear estimates Recall the Boltzmann equation (1.). The linearized collision operator L can be written as L = ν K. Here the multiplier ν = ν(ξ), called the collision frequency, is given by ν(ξ) = dξ R 3 dω ξ ξ γ B (θ)µ(ξ ). S It holds that ν(ξ) (1 + ξ ) γ, cf. [5, 31]. And the integral operator K = K K 1 is defined as [K 1 f](ξ) = dξ R 3 dω ξ ξ γ B (θ)µ 1/ (ξ )µ 1/ (ξ)f(ξ ), S (3.1) [K f](ξ) = dξ dω ξ ξ γ B (θ)µ 1/ (ξ ) R 3 S { } µ 1/ (ξ )f(ξ ) + µ 1/ (ξ )f(ξ ). (3.) L is coercive in the sense that there is λ > such that flf dξ λ ν(ξ) {I P}f. (3.3) R 3 R 3 Moreover, the nonlinear collision operator Γ(f, g) is written as [ ] Γ(f, g) =µ 1/ (ξ)q µ 1/ f, µ 1/ g = Γ gain (f, g) Γ loss (f, g) = dξ R 3 dω ξ ξ γ B (θ)µ 1/ (ξ )f(ξ )g(ξ ) S (3.4) g(ξ) dξ R 3 dω ξ ξ γ B (θ)µ 1/ (ξ )f(ξ ). S In this section, we intend to give the key estimates for the nonlinear Bolztmann collision operator Γ(, ) defined by (3.4) in terms of the spatially critical Besov space. It should be pointed that the following lemmas are new and they play a crucial role in the proof of the global existence of solutions to the Boltzmann equation (1.). First we show the trilinear estimate in the following Lemma 3.1. Assume s >, < T. Let f = f(t, x, ξ), g = g(t, x, ξ), and h = h(t, x, ξ) be three suitably smooth distribution functions such that all the norms on the right of the following inequalities are well defined, then it holds that [ ] 1/ T qs ( q Γ(f, g), q h) dt h 1/ [ g 1/ L L T ξ,ν (Bs x ) f 1/ L T L ξ L x L T L ξ,ν (Bs x ) + f 1/ g 1/ L T L ξ,ν L x L L T ξ (Bs x ) + f 1/ L L T ξ,ν (Bs x ) g 1/ L T L ξ L x + g 1/ f 1/ L T L ξ,ν L x L L T ξ (Bs x ) ], (3.5) where the inner product (, ) is taken with respect to variables (x, ξ).

11 BOLTZMANN EQUATION IN CRITICAL BESOV SPACE 11 Proof. Recalling (3.4) and using the inequality (A + B) 1/ A 1/ + B 1/ for A and B, one has [ T ( q Γ gain (f, g), q h) dt [ T ( q Γ(f, g), q h) dt ] 1 ] 1 [ T + ( q Γ loss (f, g), q h) dt ] 1. (3.6) Here notice that since the collision integral acts on ξ variable only and q acts on x variable only, one can write q Γ gain (f, g) = dξ dω ξ ξ γ B (θ)µ 1/ (ξ ) q [f(ξ )g(ξ )], R 3 S q Γ loss (f, g) = dξ dω ξ ξ γ B (θ)µ 1/ (ξ ) q [f(ξ )g(ξ)]. R 3 S By applying Cauchy-Schwarz inequality to both integrals on the right of (3.6) with respect to all variable (t, x, ξ, ξ, ω), making the change of variables (ξ, ξ ) (ξ, ξ ) in the gain term, and then taking the summation over q 1 after multiplying it by qs, we see that [ T qs ( q Γ(f, g), q h) dt qs ( T ] 1/ dt dxdξdξ dω ξ ξ γ µ 1/ (ξ ) q [f g] R 9 S ) 1/ ( T ) 1/ 1/ dt dxdξdξ dω ξ ξ γ µ 1/ (ξ ) q h R 9 + ( T ) 1/ qs dt dxdξdξ dω ξ ξ γ µ 1/ (ξ ) q [f g] R 9 S ( T ) 1/ 1/ dt dxdξdξ dω ξ ξ γ µ 1/ (ξ ) q h R 9 := I, 1/ 1/ where B (θ) C cos θ C have been used. Further by using the discrete version of Cauchy-Schwarz inequality to two summations above, one obtains

12 1 R.-J. DUAN, S.-Q. LIU, AND J. XU that I ( T qs ( T qs dt dxdξdξ ξ ξ γ q [f g] R 9 ) 1/ dt dxdξdξ ξ ξ γ µ 1/ (ξ ) q h R 9 1/ ) 1/ 1/ := I 1/ II 1/, where ξ ξ = ξ ξ, µ 1/ (ξ ) 1 and S dω = 4π have been used. It is straightforward to see due to II h L T L ξ,ν (B s x ) R 3 dξ ξ ξ γ µ 1/ (ξ ) (1 + ξ ) γ ν(ξ). We now turn to compute I. Recalling the Bony s decomposition, one can write q [f g] as q [f g] = q [T f g + T g f + R(f, g)]. Here T, and R(, ) are the usual paraproduct operators. They are defined as follows. For suitable smooth distribution functions u and v, T u v = S j 1 u j v, R(u, v) = j u j v. j j j 1 We therefore get from Minkowski s inequality that I T 1/ qs dt dxdξdξ ξ ξ γ q [S j 1 f j g] R qs qs T T := I 1 + I + I 3. dt dxdξdξ ξ ξ γ R 9 dt dxdξdξ ξ ξ γ R 9 Now we estimate I 1, I and I 3 term by term. Estimates on I 1 : Notice that q [S j 1 f j g] = j j q 4 j 1/ q [S j 1 g j f ] j j j 1 q [S j 1 f j g]. 1/ q [ j f j g]

13 BOLTZMANN EQUATION IN CRITICAL BESOV SPACE 13 By Minkowski s inequality again, one can see that I 1 j q 4 + j q 4 qs ( T qs ( T ) 1/ dt dxdξdξ ξ γ q [S j 1 f j g] R 9 dt dxdξdξ ξ γ q [S j 1 f j g] R 9 ) 1/ (3.7) := I 1,1 + I 1,. Applying (9.) in the appendix, one can deduce that I 1,1 j q 4 j q 4 j q 4 j q 4 qs ( T qs ( sup t T qs ( T ) 1/ dt f L dξ ξ γ j g L dξ f L dξ T ) 1/ dt ξ γ j g L dξ 1/ dt ξ γ j g L dξ) f L T L ξ L x (q j)s c 1 (j) g L T L ξ,ν (B s x ) f L T L ξ L x, where c 1 (j) is defined as c 1 (j) = js ( T ) 1/ dt ξ γ j g L dξ g L T L ξ,ν (B s x ), (3.8) which satisfies c 1 (j) l 1 1. From the above estimate on I 1,1, using the following convolution inequality for series (q j)s c 1 (j) = [( 1 j 4 js) c 1 (j) ] (q) j q 4 1 j 4 js l 1 c 1 (j) l 1 < +, (3.9) we further get that I 1,1 g L T L ξ,ν (B s x ) f L T L ξ L x, (3.1)

14 14 R.-J. DUAN, S.-Q. LIU, AND J. XU The estimates for I 1, is slightly different from I 1,1. In fact, we may compute it as I 1, j q 4 j q 4 j q 4 j q 4 qs ( T qs ( qs ( sup t T sup t T ) 1/ dt ξ γ f L dξ j g L dξ j g L R 3 j g L x T ) 1/ dξ dt ξ γ f L dξ dξ) 1/ f L T L ξ,ν L x (q j)s c (j) g L T L ξ (B s x ) f L T L ξ,ν L x, where c (j) is defined as c (j) = js ( ) 1/ sup j g L dξ. g L T L ξ (Bx s) t T Since c (j) l 1 = 1, then in a similar way as for obtaining (3.1), we have I 1, f L T L ξ,ν L x g L T L ξ (B s ). (3.11) Now substituting (3.1) and (3.11) into (3.7), one has I 1 g L T L ξ,ν (B s x ) f L T L ξ L x + f L T L ξ,ν L x g L T L ξ (B s x ). This gives the estimate for I 1. Estimates on I : From (3.14), we have I j q 4 + j q 4 qs ( T qs ( T ) 1/ dt dxdξdξ ξ γ q [S j 1 g j f ] R 9 dt dxdξdξ ξ γ q [S j 1 g j f ] R 9 ) 1/ (3.1) := I,1 + I,.

15 BOLTZMANN EQUATION IN CRITICAL BESOV SPACE 15 As before, it follows from (9.) in the appendix that with I,1 j q 4 j q 4 j q 4 j q 4 Similarly, it holds that with I, j q 4 j q 4 j q 4 j q 4 qs ( T qs ( qs ( sup t T sup t T dt j f L dξ ξ γ g L j f L dξ R 3 j f L x dξ T dξ ) 1/ dt ξ γ g L ) 1/ g L T L ξ,ν L x (q j)s c 3 (j) f L T L ξ ((B s x )) g L T L ξ,ν L x c 3 (j) = qs ( T qs ( js ( sup t T qs ( T sup t T R 3 j f L x dξ ) 1/ f L T L ξ ((B s x )). dt ξ γ j f L dξ g L R 3 g L x dξ ) 1/ dξ ) 1/ T ) 1/ dξ dt ξ γ j f L dξ ) 1/ dt ξ γ j f L dξ g L T L ξ L x (q j)s c 4 (j) f L T L ξ,ν ((B s x )) g L T L ξ L x c 4 (j) = js ( T ) 1/ dt ξ γ j f L dξ f L T L ξ,ν (B s x ). (3.13) (3.14) Noticing (c 3 ) l 1 = 1 and c 4 (j) l 1 1, it follows from (3.1), (3.13) and (3.14) that I f L T L ξ ((B s x )) g L T L ξ,ν L x + f L T L ξ,ν ((B s x )) g L T L ξ L x. Estimates on I 3 : We start from the fact that q [ j f j g] = j j j 1 max{j,j } q j j 1 q [ j f j g].

16 16 R.-J. DUAN, S.-Q. LIU, AND J. XU With this, one can see that I 3 max{j,j } q j j 1 + max{j,j } q j j 1 := I 3,1 + I 3,. qs ( T qs ( T As before, applying (9.), we get that I 3,1 j q 3 j q 3 j q 3 j q 3 qs ( T qs ( sup t T qs js js ( T ) 1/ dt dxdξdξ ξ q [ j f j g] R 9 dt dxdξdξ ξ q [ j f j g] R 9 dt f L dξ ξ j g L dξ f L dξ T ) 1/ dt ξ j g L dξ 1/ dt ξ j g L dξ) f L T L ξ L x qs js c 1 (j) g L T L ξ,ν (B s x ) f L T L ξ L x g L T L ξ,ν (B s x ) f L T L ξ L x, ) 1/ ) 1/ where c 1 (j) is defined in (3.8), and the same type of convolution inequality for series as in (3.9) has been used in the last inequality. Similarly, one can see that I 3, is also bounded as I 3, f L T L ξ,ν (B s x ) g L T L ξ L x. Combing all above estimates on I 1, I and I 3, we obtain the inequality (3.5). Hence, the proof of Lemma 3.1 is completed. Having Lemma 3.1, one can see that the following result also holds true. Lemma 3.. Assume s >, T +, and let f = f(t, x, ξ), g = g(t, x, ξ), and h = h(t, x, ξ) be some suitable smooth distribution functions such that the following norms are well defined, then it holds that [ ] 1/ T qs ( q Γ(f, g), q h) dt h 1/ [ L T L ξ,ν (Bs x ) g 1/ L L T ξ,ν (Bs x ) f 1/ L L + T f 1/ ξ (X) L L T ξ,ν (X) g 1/ L L T ξ (Bs x ) + f 1/ L L T ξ,ν (Bs x ) g 1/ L L + T g 1/ ξ (X) L L T ξ,ν (X) f 1/ L L T ξ (Bs x ) ], (3.15)

17 BOLTZMANN EQUATION IN CRITICAL BESOV SPACE 17 or the homo- where X denotes either the inhomogeneous critical Besov space Bx 3/ geneous critical Besov space Ḃ3/ x. Proof. Noticing that Bx 3/ L x and Ḃ3/ x L x, (3.15) follows from (3.5) in Lemma 3.1 and (9.5) in Lemma 9.5. This ends the proof of Lemma 3.. The following is an immediate corollary of Lemma 3.1 and Lemma 3.. Corollary 3.1. Assume s >, < T. Let f = f(t, x, ξ), g = g(t, x, ξ), and h = h(t, x, ξ) be three suitably smooth distribution functions such that all the norms on the right of the following inequalities are well defined, then it holds that [ ] 1/ T qs ( q Γ(Pf, g), q h) dt h 1/ [ g 1/ L T L ξ,ν (Bs x ) Pf 1/ L T L T L ξ,ν (Bs x ) ] L + g 1/ ξ (X) L L T ξ,ν (X) Pf 1/ L L, (3.16) T ξ (Bs x ) and [ ] 1/ T qs ( q Γ(f, Pg), q h) dt h 1/ [ f 1/ L T L ξ,ν (Bs x ) Pg 1/ [ ] 1/ T qs ( q Γ(Pf, Pg), q h) dt h 1/ [ L T Pg 1/ L L T ξ (Bs x ) Pf 1/ L L T ξ L T L ξ,ν (Bs x ) where X denotes either B 3/ x or Ḃ3/ x as in Lemma 3.. ] L + f 1/ ξ (X) L L T ξ,ν (X) Pg 1/ L L, (3.17) T ξ (Bs x ) L T L ξ,ν (Bs x ) ] + Pg 1/ (X) L L T ξ (X) Pf 1/ L L, (3.18) T ξ (Bs x ) Proof. We prove the first estimate (3.16) only, since (3.17) and (3.18) can be obtained in the same way. In fact, (3.16) follows directly from Lemma 3.1 with a slightly modification. Applying I from Lemma 3.1 with f = Pf, and noticing that q Pf L ξ,ν L x qpf L ξ L x, S jpf L ξ,ν L x S jpf L ξ L x, one can always take the L t norm of the terms involving Pf, so that it is not necessary to exchange the L t norm or L t norm of Pf or g. By this means, (3.16) can be verified through a tedious calculation, we omit the details for brevity. This completes the proof of Corollary Estimate on nonlinear term In this section we give the estimates on the nonlinear term Γ(f, f) and an estimate on the upper bound of Lf. Recall (1.4) and (1.5). Lemma 4.1. It holds that [ 1/ T ( q Γ(f, f), q {I P}f) dt] E T (f)d T (f), (4.1) 3q

18 18 R.-J. DUAN, S.-Q. LIU, AND J. XU for any T >. Proof. By the splitting f = Pf + {I P}f, we have Γ(f, f) =Γ(Pf, Pf) + Γ(Pf, {I P}f) + Γ({I P}f, Pf) + Γ({I P}f, {I P}f). (4.) It now suffices to compute the left hand of (4.1) in terms of the corresponding four terms on the right of (4.). In light of Corollary 3.1, one can see that [ ] 1/ T 3q ( q Γ(Pf, Pf), q {I P}f) dt Pf 1/ L L T ξ (Ḃ3/ x L T ) Pf 1/ where we have used Lemma 9.3 to ensure Pf 1/ L L T ξ (Ḃ3/ x ) L {I P}f 1/ ξ (B3/ x ) L L T ξ,ν (B3/ x (a, b, c) 1/ L x(a, b, c) 1/ T (Ḃ3/ x ) L T (Ḃ1/ x ) In a similar way, we next get from Corollary 3.1 that x (a, b, c) 1/ ) E T (f)d T (f), L T (B1/ x ) D T (f). 3q [ T ( q Γ(Pf, {I P}f), q {I P}f) dt ] 1/ {I P}f 1/ L L T ξ,ν (B3/ x L T ) Pf 1/ L {I P}f 1/ ξ (B3/ x ) L L, T ξ,ν (B3/ x ) 3q [ T ( q Γ({I P}f, Pf), q {I P}f) dt ] 1/ and 3q Pf 1/ L T L {I P}f 1/ ξ (B3/ x ) L L T ξ,ν (B3/ x ) [ T ( q Γ({I P}f, {I P}f), q {I P}f) dt {I P}f 1/ L L, T ξ,ν (B3/ x ) {I P}f 1/ L L {I T ξ (B3/ x ) P}f L T L ξ,ν (Bx 3/ ). Furthermore, it is straightforward to see that the above three estimates can be further bounded by E T (f)d T (f) up to a generic constant. Therefore (4.1) follows from all the above estimates, and this completes the proof of Lemma 4.1. The following lemma will be used in the process of deducing the macroscopic dissipation rates in the next section. ] 1/ Lemma 4.. Let ζ = ζ(ξ) S() and < s 3/. Then it holds that [ 1/ T qs q (Γ(f, f), ζ) L dt] E T (f)d T (f), (4.3) x

19 BOLTZMANN EQUATION IN CRITICAL BESOV SPACE 19 for any T >, where the inner product (, ) on the left is taken with respect to velocity variable ξ only. Proof. We first consider the general case of Γ(f, g) instead of Γ(f, f). By Hölder s inequality and the change of variable (ξ, ξ ) (ξ, ξ ), it follows that ( ) 1/ q (Γ(f, g), ζ) dξdξ ξ ξ γ µ 1/ (ξ ) q [f g] R 6 ( dξdξ ξ ξ γ µ 1/ (ξ ) ζ(ξ) R ( 6 ) 1/ + dξdξ ξ ξ γ µ 1/ (ξ ) q [f g] R 6 ( ( dξdξ ξ ξ γ q [f g] R 6 ) 1/ dξdξ ξ ξ γ µ 1/ (ξ ) ζ(ξ) R 6 ) 1/. ) 1/ (4.4) With (4.4) in hand, one can further deduce [ T qs q (Γ(f, g), ζ) L dt x qs ( T ] 1/ ) 1/ dt dxdξdξ ξ ξ q [f g] := I. R 9 Recalling that we have obtained the estimates for I in the proof of Lemma 3.1 and Lemma 3., i.e. [ I g L T L ξ,ν (Bx s) f L T L ξ (X) + f L T L ξ,ν (X) g L T L ξ (Bx s) + g L T L ξ,ν (X) f L T L ξ (B s x ) + f L T L ξ,ν (B s x ) g L T L ξ (X) ], (4.5) where X denotes either B 3/ x or Ḃ3/ x. In particular, if Γ(Pf, Pf) is considered, it follows from Corollary 3.1 that I Pf L T L ξ (Bx s) Pf L T L ξ (Ḃ3/ x ) E T (f)d T (f), where we have used < s 3/. Recalling the splitting (4.) and applying (4.5) and Corollary 3.1, the other three terms corresponding to the splitting (4.) can be

20 R.-J. DUAN, S.-Q. LIU, AND J. XU computed as: [ T qs q (Γ(Pf, {I P}f), ζ) L dt x + ] 1/ [ T qs q (Γ({I P}f, Pf), ζ) L dt x ] 1/ {I P}f L t L ξ,ν (B s x ) Pf L T L ξ (B 3/ x ) + {I P}f L t L ξ,ν (B 3/ x ) Pf L T L ξ (B s x ), and [ T qs q (Γ({I P}f, {I P}f), ζ) L dt x ] 1/ {I P}f L T L ξ (B s x ) {I P}f L T L ξ,ν (B 3/ x ) + {I P}f L T L ξ (B 3/ x ) {I P}f L T L ξ,ν (B s x ), which both can be further bounded by E T (f)d T (f) up to a generic constant. Combing all the above estimates, we obtain (4.3). This completes the proof of Lemma 4.. Finally we give an estimate on the upper bound of the linear term Lf. Lemma 4.3. Let ζ = ζ(ξ) S(R 3 ξ ) and s >. Then it holds that [ T qs q (L{I P}f, ζ) L x 1/ dt] {I P}f L L T ξ,ν (Bs x ). (4.6) for any T >, where the inner product (, ) on the left is taken with respect to velocity variable ξ only. Proof. Since L{I P}f can be rewritten as { } L{I P}f = Γ({I P}f, µ 1/ ) + Γ(µ 1/, {I P}f), then (4.6) follows directly from similar estimates as in the proof of Lemma 4.. This ends the proof of Lemma Estimate on macroscopic dissipation In this section, we would obtain the macroscopic dissipation rate basing on the equation (1.). Lemma 5.1. It holds that x (a, b, c) L T (Bx 1/ ) f L ξ (Bx 3/ ) + E T (f) for any T >. + {I P}f L T L ξ,ν (B 3/ x ) + E T (f)d T (f), (5.1)

21 BOLTZMANN EQUATION IN CRITICAL BESOV SPACE 1 Proof. First, as in [9, 11], by taking the following velocity moments µ 1/, ξ i µ 1/, 1 6 ( ξ 3)µ 1/, (ξ i ξ m 1)µ 1/, 1 1 ( ξ 5)ξ i µ 1/ with 1 i, m 3 for the equation (1.), the coefficient functions (a, b, c) of the macroscopic component Pf given by (1.3) satisfy the fluid-type system t a + x b =, t b + x (a + c) + x Θ({I P}f) =, t c x b x Λ({I P}f) =, (5.) t [Θ im ({I P}f) + cδ im ] + i b m + m b i = Θ im (r + h), t Λ i ({I P}f) + i c = Λ i (r + h), where the high-order moment functions Θ = (Θ im ( )) 3 3 and Λ = (Λ i ( )) 1 i 3 are defined by Θ im (f) = ( ) (ξ i ξ m 1)µ 1/, f, Λ i (f) = 1 ( ) ( ξ 5)ξ i µ 1/, f, 1 with the inner produce taken with respect to velocity variable ξ only, and the terms r and h are given by r = ξ x {I P}f, h = L{I P}f + Γ(f, f). Applying q with q 1 to the system (5.), we obtain t q a + x q b =, t q b + x q (a + c) + x Θ( q {I P}f) =, t q c x q b x Λ( q {I P}f) =, t [Θ im ( q {I P}f) + q cδ im ] + i q b m + m q b i = Θ im ( q r + q h), t Λ i ( q {I P}f) + i q c = Λ i ( q r + q h). Now, in a similar way as in [1], one can prove from the above system that d dt E q int (f(t)) + λ q x (a, b, c) L q x x {I P}f L ξ L x C Λ i ( q h) L + C Θ im ( q h) L, (5.3) x x i=1 i,m=1

22 R.-J. DUAN, S.-Q. LIU, AND J. XU for any t, where the temporal interactive functional Eq int (f(t)) for each q 1 is defined by E int q (f(t)) = 3 ( q i c, Λ i ( q {I P}f)) i=1 3 +κ 1 ( i q b m + m q b i, Θ im ({I P} q f) i,m=1 3 +κ ( q i a, q b i ), (5.4) i=1 with suitably chosen constants < κ κ 1 1. Integrating (5.3) with respect to t over [, T ] and taking the square roots of both sides of the resulting inequality, one has ( T q x (a, b, c) L x dt ) 1/ E int q (f(t )) + C Eq int (f()) + q x {I P}f L T L ξ L x Λ i ( q h) L T L + Θ im ( q h) x L T L. (5.5) x i=1 i,m=1 Now multiplying (5.5) by q/ and taking the summation over q 1 gives x (a, b, c) L T (Bx 1/ ) E q/ q int (f(t )) + E q/ q int (f()) + {I P}f L T L ξ,ν (B 3/ x ) + 3 i=1 + 3 i,m=1 q/ Λ i ( q h) L T L x q/ Θ im ( q h) L T L x. (5.6) Furthermore, it follows from (5.4), Lemma 9.4 and the Cauchy-Schwarz inequality that E q/ q int (f(t)) q/ { q x (a, b, c)(t) L x + q b(t) L x + q x {I P}f(t) L ξ L }, x for any t T, which implies E q/ q int (f(t )) E T (f), And, Lemma 4. and Lemma 4.3 imply q/ Λ i ( q h) L T L + q/ Θ im ( q h) x L T L x q/ E int q (f()) f L ξ (B 3/ x ). (5.7) {I P}f L T L ξ,ν (B 3/ x ) + E T (f)d T (f). (5.8)

23 BOLTZMANN EQUATION IN CRITICAL BESOV SPACE 3 Therefore (5.1) follows from (5.6) with the help of (5.7) and (5.8). This completes the proof of Lemma Global a priori estimate This section is devoted to deducing the global a priori estimate for the Boltzmann equation (1.). Lemma 6.1. There is indeed an energy functional E T (f) satisfying (1.4) such that { } E T (f) + D T (f) C f L ξ (Bx 3/ ) + C ET (f) + E T (f) D T (f), (6.1) for any T >, where C is a constant independent of T. Proof. Applying the operator q (q 1) to (1.), taking the inner product with 3q q f over R 3 ξ and applying Lemma 9.1, we obtain 1 d dt 3q q f L + λ 3q q {I P}f ξ L x L ξ,ν L x 3q ( q Γ(f, f), q {I P}f). (6.) Integrating (6.) over [, t] with t T and taking the square root of both sides of the resulting inequality yield 3q q f(t) L ξ L + ( t ) 1/ λ x 3q q {I P}f L ξ,ν xdτ L 3q q f L ξ L x + 3q ( t 1/ ( q Γ(f, f), q {I P}f) dτ), for any t T. Further by taking the summation over q 1, the above estimate implies 3q sup q f(t) L ξ L x t T + ( ) 1/ T λ 3q q {I P}f L ξ,ν xdt L 3q q f L ξ L x + 3q Due to Lemma 4.1 it further follows that ( 1/ T ( q Γ(f, f), q {I P}f) dt). f L T L ξ (B 3/ x ) + λ {I P}f L T L ξ,ν (B 3/ x ) f L ξ (B 3/ x ) + E T (f)d T (f), (6.3) where T > can be arbitrary. Furthermore, we recall Lemma 5.1. By letting < κ 3 1, we get from (5.1) κ 3 + (6.3) that { } f L T L ξ (Bx 3/ ) κ 3E T (f) + λ x (a, b, c) L T (Bx 1/ ) + {I P}f L T L ξ,ν (Bx 3/ ) Therefore, (6.1) follows from (6.4) by noticing { f L ξ (Bx 3/ ) + ET (f) + E T (f) f L T L ξ (Bx 3/ ) κ 3E T (f) E T (f), } D T (f). (6.4)

24 4 R.-J. DUAN, S.-Q. LIU, AND J. XU since κ 3 > can be small enough. The proof of Lemma 6.1 is complete. 7. Local existence In this section, we will etablish the local-in-time existence of solutions to the Boltzmann equation (1.) in the space L L T ξ (B3/ x ) for T > small enough. The construction of the local solution is based on a uniform energy estimate for the following sequence of iterating approximate solutions: { t + ξ x } F n+1 + F n+1 (ξ) ξ ξ γ B (θ)f n (ξ ) dξ dω R 3 S = ξ ξ γ B (θ)f n (ξ )F n (ξ ) dξ dω, R 3 S F n+1 (, x, ξ) = F (x, ξ), starting with F (t, x, ξ) = F (x, ξ). Noticing that F n+1 = µ + µ 1/ f n+1, equivalently we need to solve f n+1 such that { t + ξ x + ν} f n+1 Kf n = Γ gain (f n, f n ) Γ loss (f n, f n+1 ), (7.1) f n+1 (, x, ξ) = f (x, ξ). Our discussion is based on the uniform bound in n for E T (f n ) for a small time T >. The crucial energy estimate is given as follows. Lemma 7.1. The solution sequence {f n } n=1 is well defined. For a sufficiently small constant M >, there exists T = T (M ) > such that if then for any n, it holds that where D T (f) is defined by f L ξ (B 3/ x ) M, Ỹ T (f n ) := E T (f n ) + D T (f n ) M, T [, T ), (7.) D T (f) = f L T L ξ,ν (B 3/ x ). Proof. To prove (7.), we use induction on n. Namely, for each integer l, we are going to verify: Ỹ T (f l ) M, (7.3) for T < T, where M and T > are to be suitably chosen later on. Clearly the case l = is valid. We assume (7.3) is true for l = n. Applying q (q 1) to (7.1) and taking the inner product with 3q q f n+1 over R 3 ξ, one has d dt 3q q f n+1 L ξ L x + 3q+1 q f n+1 L ξ,ν L x = 3q+1( q Γ gain (f n, f n ) q Γ loss (f n, f n+1 ) + K q f n, q f n+1), (7.4) which further implies d dt 3q q f n+1 L ξ L x + 3q+1 q f n+1 L ξ,ν L x 3q+1 ( q Γ gain (f n, f n ), q f n+1) + 3q+1 ( q Γ loss (f n, f n+1 ), q f n+1) + 3q+1 ( K q f n, q f n+1). (7.5)

25 BOLTZMANN EQUATION IN CRITICAL BESOV SPACE 5 Now by integrating (7.5) with respect to the time variable over [, t] with t T, taking the square root of both sides of the resulting inequality and summing up over q 1, one has 3q sup t T + q f n+1 (t) L + ( ) 1/ T 3q+1 ξ L q f n+1 dt x L ξ,ν L x 3q q f L ξ L + x + 3q+1 3q+1 ( T ( T 3q+1 ( T ( ) 1/ q Γ loss (f n, f n+1 ), q f n+1) dt ( K q f n, q f n+1) dt) 1/. From Lemma 3. and Lemma 9., (7.6) implies ( ) 1/ q Γ gain (f n, f n ), q f n+1) dt (7.6) E T (f n+1 ) + D T (f n+1 ) f L ξ (B 3/ x ) + C E T (f n ) D T (f n ) D T (f n+1 ) D T (f n ) D T (f n+1 ) + C E T (f n ) D T (f n+1 ) + C E T (f n+1 ) + ( ) 1/ T 3q+1 q f n L ξ L qf n+1 x L ξ L dt. x (7.7) The last term on the right hand side of (7.7) can be bounded by T 3q+1 T ( ) 1/ sup q f n L ξ L sup x q f n+1 L ξ L x t T t T 3q sup t T T E T (f n ) + T E T (f n+1 ), q f n L ξ L x 1/ 3q sup t T q f n+1 L ξ L x 1/ (7.8) where in the second line the discrete version of the Cauchy-Schwarz inequality has been used. Using the Cauchy-Schwarz inequality, the second and fourth terms on the right hand side of (7.7) can be dominated by η D T (f n+1 ) + C η E T (f n ) D { T (f n ) + C D T (f n ) E T (f n+1 ) + D } T (f n+1 ), (7.9)

26 6 R.-J. DUAN, S.-Q. LIU, AND J. XU where η is an arbitrary small positive constant. By substituting (7.8) and (7.9) into (7.7), applying the inductive hypothesis and recalling T < T, it follows (1 C T C ) ( M E T (f n+1 ) + 1 η C ) M DT (f n+1 ) M + C T M + C η M. This then implies (7.3) for l = n + 1, since η > can be small enough and both T > and M > are chosen to be suitably small. The proof of Lemma 7.1 is therefore complete. With the uniform bound on the iterative solution sequence in terms of (7.1) by Lemma 7.1, we can give the proof of the local existence of solutions in the following theorem. We remark that the approach used here is due to Guo [18]. Theorem 7.1. Assume γ 1. For a sufficiently small M >, there exists T = T (M ) > such that if f L ξ (B 3/ x ) M, then there is a unique strong solution f(t, x, ξ) to the Boltzmann equation (1.) in (, T ) R 3 ξ with initial data f(, x, ξ) = f (x, ξ), such that Ỹ T (f) M, for any T [, T ), where ỸT (f) is defined in (7.). Moreover ỸT (f) is continuous in T over [, T ), and if F (x, ξ) = µ + µ 1/ f, then F (t, x, ξ) = µ + µ 1/ f(t, x, ξ) holds true. Proof. In terms of (7.), the limit function f(t, x, ξ) of the approximate solution sequence {f n } n=1 must be the solution to (1.) with f(, x, ξ) = f (x, ξ) in the sense of distribution. The distribution solution turns out to be a strong solution because it can be shown to be unique as follows. To prove the uniqueness, we assume that another solution g with the same initial data with f, i.e. g(, x, ξ) = f (x, ξ), exists such that Ỹ T (g) M, on T [, T ). Taking the difference of the Boltzmann equation (1.) for f and g, one has [ t + ξ x ](f g) + ν(f g) = Γ(f g, f) + Γ(g, f g) + K(f g).

27 BOLTZMANN EQUATION IN CRITICAL BESOV SPACE 7 Then, by performing the completely same energy estimate as for obtaining (7.7), it follows that Ỹ T (f g) E T (f) + E T (g) D T (f g) + E T (f g) D T (f) + D T (g) D T (f g) + ( ) 1/ T 3q+1 q (f g) L ξ L q(f g) x L ξ L dt x E T (f) + E T (g) D T (f g) + E T (f g) + T E T (f g) + T E T (f g). D T (f) + D T (g) D T (f g) We therefore deduce f g by letting T < T, because ỸT (f) M, ỸT (g) M, and M and T can be chosen suitably small. To prove T ỸT (f) is continuous in [, T ), we first show that t E(f(t)) := 3q q f(t) L x,ξ (7.1) is continuous on [, T ). Indeed, take t 1, t with t 1, t < T and we let t 1 < t for brevity of presentation. By letting f n+1 = f n = f in (7.4), integrating the resulting inequality with respect to the time variable over [t 1, t ], taking the square root of both sides and then summing up over q 1, similar to obtain (7.7), one has E(f(t )) E(f(t 1 )) ( M + 1) With this, it suffices to prove ( t lim 3q t t 1 t 1 3q ( t t 1 1/ q f L dt). ξ,ν L x 1/ q f L dt) =. (7.11) ξ,ν L x Take ɛ >. Since ( 3q T 1/ qf L is finite for a fixed time T ξ,ν xdt) L with max{t 1, t } < T < T, there is an integer N such that q N+1 3q ( t t 1 ) 1/ q f L dt ξ,ν L x 3q q N+1 On the other hand, it is straightforward to see lim 3q t t 1 1 q N 1 q N ( t t 1 t 1 ( ) 1/ T q f L < ξ,ν xdt ɛ L. 1/ q f L dt) =, ξ,ν L x which implies that there is δ > such that ( t ) 1/ 3q q f L dt < ɛ ξ,ν L x,

28 8 R.-J. DUAN, S.-Q. LIU, AND J. XU whenever t t 1 < δ. Hence, for t t 1 < δ, ( t 1/ 3q q f L dt) = ξ,ν L x t 1 1 q N + q N+1 < ɛ + ɛ = ɛ. Then (7.11) is proved, and thus t E(f(t)) is continuous on [, T ). In particular, E(f(t)) given in (7.1) is well defined for each t [, T ). Notice that the same proof also yields that for each q 1, the function t q f(t) L x,ξ is continuous on [, T ). We now show that T ỸT (f) is continuous in [, T ). Indeed, take T 1, T with T 1 < T < T. Recall (7.). Notice that ỸT (f) is nondecreasing in T. Then, ỸT (f) ỸT 1 (f) ( = ( 3q f L T L ξ (B 3/ x ) f L T1 L ξ (B 3/ x ) + 3q sup q f(t) L x,ξ q f(t 1 ) L x,ξ T 1 t T ( T T 1 1/ q f(t) L dt). ξ,ν L x ) ( ) + f L T L ξ,ν (Bx 3/ ) f L T1 L ξ,ν (Bx 3/ ) ) Here, the second summation on the right tends to zero as T T 1 by (7.11), and in the completely same way to prove (7.11), one can see the first summation on the right also tends to zero as T T 1, since t q f(t) L x,ξ is continuous and f L T L ξ (B 3/ x ) is finite for some fixed time T with T < T < T. Finally, by using the iteration form (7.1), the proof of the positivity is quite standard, for instance see [15]. We now finish the proof of Lemma Proof of global Existence In this section, we prove the main result Theorem 1.1 for the global existence of solutions to the Boltzmann equation (1.) with initial data f(, x, ξ) = f (x, ξ). The approach is based on the local existence result Theorem 7.1 as well as the standard continuity argument. Proof of Theorem 1.1. Recall (1.4) and (1.5). Define Y T (f) = E T (f) + D T (f). Let us redefine the constant C on the right of (6.1) to be C 1 1, and choose M 1 > such that C 1 ( M 1 + M 1 ) 1. Set M = min{m 1, M }. Let initial data f be chosen such that Define f L ξ B 3/ x M 4C 1 M. T = sup{t : Y T (f) M}.

29 BOLTZMANN EQUATION IN CRITICAL BESOV SPACE 9 By Theorem 7.1, T > holds true, because the solution f exists locally in time and T Y T (f) is continuous by the same proof as for ỸT (f). Moreover, Lemma 6.1 gives that for T T, That is, for T T, Y T (f) C 1 f L ξ (Bx 3/ ) + C 1( M 1 + M 1 )Y T (f). Y T (f) C 1 f L ξ (B 3/ x ) M < M. This implies T =. The global existence and uniqueness are then proved. The proof of Theorem 1.1 is complete. 9. Appendix In this appendix, we will state some basic estimates related to the Botlzmann equation and Besov space. First we point out the coercivity property (3.3) of the linearized collision operator L implies Lemma 9.1. Let (, ) be the inner product on L x,ξ. It holds that ( q Lf, q f) λ {I P} q f L ξ,ν L x, for each q 1. Moreover, for s R, it holds that for any T. qs ( T ( q Lf, q f) dt) 1/ λ {I P}f L T L ξ,ν (Bs x ), It is known that K = K K 1 defined in (3.1) and (3.) is a self-adjoint compact operator on L ξ (cf. [5]) and it enjoys the following estimate. Lemma 9.. Let (, ) be the inner product on L x,ξ. It holds that ( q Kf, q g) C q f L ξ L x qg L ξ L x, (9.1) for each q 1, where C is a constant independent of q, f and g. Proof. Kg can be written as Kg = K(ξ, ξ )g(ξ ) dξ, R 3 and K(ξ, ξ ) is a bounded operator from L ξ to L ξ. Then (9.1) follows from Cauchy- Schwarz inequality. In addition, for the convenience of readers we list some basic facts which are frequently used in the paper. Lemma 9.3. Let 1 p, then q L p x C L p x, S q L p x C L p x, (9.) where C is a constant independent of p and q. Lemma 9.4. Let 1 ϱ, p, r, if s >, then x Lϱ T (Ḃs p,r ) Lϱ T (Ḃs+1 p,r ), Lϱ T (Ḃs p,r ) Lϱ T (Bs p,r ). (9.3)

30 3 R.-J. DUAN, S.-Q. LIU, AND J. XU We would like to mention that the first relation can be achieved by the classical Bernstein inequality (see, e.g., [4]) and another follows from the recent fact in [6], which indicates the relation between homogeneous and inhomogeneous Chemin- Lerner spaces. ϱ1 ϱ Finally, the Chemin-Lerner type spaces L T L ξ (Bs p,r) may be linked with the classical spaces L ϱ1 T Lϱ ξ (Bs p,r) in the following way. Lemma 9.5. Let 1 ϱ 1, ϱ, p, r and s R. (1) If r max{ϱ 1, ϱ }, then () If r min{ϱ 1, ϱ }, then f Lϱ 1 L ϱ T ξ (Bs p,r ) f L ϱ 1 T Lϱ ξ (Bs p,r ). (9.4) f Lϱ 1 L ϱ T ξ (Bs p,r ) f L ϱ 1 T Lϱ ξ (Bs p,r ). (9.5) Proof. We only prove (9.5) in terms of 1 r, ϱ, ϱ 1 < +, the other cases and (9.4) can be proved similarly. Since ϱ /r 1 and ϱ 1 /r 1, by applying Generalized Minkowski s inequality twice, one can see that ϱ 1/ϱ 1/ϱ 1 f L ϱ 1 T Lϱ ξ (Bs p,r ) = = = T T T T Thus Lemma 9.5 holds true. R 3 R 3 qsr q f r L p x qsr q f r L p x ϱ /r ϱ /r dξ dξ ) r/ϱ (R qsr q f ϱ L dξ p 3 x ) r/ϱ (R qsr q f ϱ L dξ p 3 x r ϱ ϱ1 r ϱ 1r ϱ 1r dt dt dt dt ( T ( ) ) r/ϱ1 ϱ1/ϱ qsr q f ϱ L dξ dt p = f Lϱ 1 T L ϱ ξ (Bs p,r ). 1/ϱ 1 r ϱ 1 1 r Acknowledgements: RJD was supported by the General Research Fund (Project No. 491) from RGC of Hong Kong. SQL was supported by grants from the National Natural Science Foundation of China (contracts: and ) and China Scholarship Council. JX was supported by the National Natural Science Foundation of China ( ), the Program for New Century Excellent Talents in University (NCET ) and the Fundamental Research Funds for 1/r 1/ϱ 1

A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE. 1.

A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE. 1. A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE THOMAS CHEN AND NATAŠA PAVLOVIĆ Abstract. We prove a Beale-Kato-Majda criterion

More information

THE VLASOV-POISSON-BOLTZMANN SYSTEM FOR SOFT POTENTIALS

THE VLASOV-POISSON-BOLTZMANN SYSTEM FOR SOFT POTENTIALS May 9, 01 11:15 WSPC/INSTRUCTION FILE M3AS-DYZ-s Mathematical Models and Methods in Applied Sciences c World Scientific Publishing Company THE VLASOV-POISSON-BOLTZMANN SYSTEM FOR SOFT POTENTIALS RENJUN

More information

arxiv: v1 [math.ap] 28 Apr 2009

arxiv: 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 information

From Boltzmann Equations to Gas Dynamics: From DiPerna-Lions to Leray

From 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 information

Chapter One. The Calderón-Zygmund Theory I: Ellipticity

Chapter One. The Calderón-Zygmund Theory I: Ellipticity Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere

More information

Key words. Vlasov-Maxwell-Boltzmann system, dissipative structure, stability, time-decay rate

Key words. Vlasov-Maxwell-Boltzmann system, dissipative structure, stability, time-decay rate DISSIPATIVE PROPERTY OF THE VLASOV-MAXWELL-BOLTZMANN SYSTEM WITH A UNIFORM IONIC BACKGROUND RENJUN DUAN Abstract. In this paper we discuss the dissipative property of near-equilibrium classical solutions

More information

On the local existence for an active scalar equation in critical regularity setting

On the local existence for an active scalar equation in critical regularity setting On the local existence for an active scalar equation in critical regularity setting Walter Rusin Department of Mathematics, Oklahoma State University, Stillwater, OK 7478 Fei Wang Department of Mathematics,

More information

YAN GUO, JUHI JANG, AND NING JIANG

YAN GUO, JUHI JANG, AND NING JIANG LOCAL HILBERT EXPANSION FOR THE BOLTZMANN EQUATION YAN GUO, JUHI JANG, AND NING JIANG Abstract. We revisit the classical ork of Caflisch [C] for compressible Euler limit of the Boltzmann equation. By using

More information

SCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE

SCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE SCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE BETSY STOVALL Abstract. This result sharpens the bilinear to linear deduction of Lee and Vargas for extension estimates on the hyperbolic paraboloid

More information

Littlewood-Paley theory

Littlewood-Paley theory Chapitre 6 Littlewood-Paley theory Introduction The purpose of this chapter is the introduction by this theory which is nothing but a precise way of counting derivatives using the localization in the frequency

More information

ALMOST EXPONENTIAL DECAY NEAR MAXWELLIAN

ALMOST 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 information

The Boltzmann Equation Near Equilibrium States in R n

The Boltzmann Equation Near Equilibrium States in R n The Boltzmann Equation Near Equilibrium States in R n Renjun Duan Department of Mathematics, City University of Hong Kong Kowloon, Hong Kong, P.R. China Abstract In this paper, we review some recent results

More information

OSGOOD TYPE REGULARITY CRITERION FOR THE 3D NEWTON-BOUSSINESQ EQUATION

OSGOOD TYPE REGULARITY CRITERION FOR THE 3D NEWTON-BOUSSINESQ EQUATION Electronic Journal of Differential Equations, Vol. 013 (013), No. 3, pp. 1 6. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu OSGOOD TYPE REGULARITY

More information

Fourier Transform & Sobolev Spaces

Fourier Transform & Sobolev Spaces Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev

More information

2. Function spaces and approximation

2. Function spaces and approximation 2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C

More information

Dissipative quasi-geostrophic equations with L p data

Dissipative quasi-geostrophic equations with L p data Electronic Journal of Differential Equations, Vol. (), No. 56, pp. 3. ISSN: 7-669. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) Dissipative quasi-geostrophic

More information

OPTIMAL CONVERGENCE RATES FOR THE COMPRESSIBLE NAVIER-STOKES EQUATIONS WITH POTENTIAL FORCES

OPTIMAL CONVERGENCE RATES FOR THE COMPRESSIBLE NAVIER-STOKES EQUATIONS WITH POTENTIAL FORCES OPTIMAL CONVERGENCE RATES FOR THE COMPRESSIBLE NAVIER-STOKES EQUATIONS WITH POTENTIAL FORCES RENJUN DUAN Department of Mathematics, City University of Hong Kong 83 Tat Chee Avenue, Kowloon, Hong Kong,

More information

arxiv: v2 [math.ap] 30 Jan 2015

arxiv: v2 [math.ap] 30 Jan 2015 LOCAL WELL-POSEDNESS FOR THE HALL-MHD EQUATIONS WITH FRACTIONAL MAGNETIC DIFFUSION DONGHO CHAE 1, RENHUI WAN 2 AND JIAHONG WU 3 arxiv:144.486v2 [math.ap] 3 Jan 215 Abstract. The Hall-magnetohydrodynamics

More information

Frequency Localized Regularity Criteria for the 3D Navier Stokes Equations. Z. Bradshaw & Z. Grujić. Archive for Rational Mechanics and Analysis

Frequency Localized Regularity Criteria for the 3D Navier Stokes Equations. Z. Bradshaw & Z. Grujić. Archive for Rational Mechanics and Analysis Frequency Localized Regularity Criteria for the 3D Navier Stokes Equations Z. Bradshaw & Z. Gruić Archive for Rational Mechanics and Analysis ISSN 0003-9527 Arch Rational Mech Anal DOI 10.1007/s00205-016-1069-9

More information

1.5 Approximate Identities

1.5 Approximate Identities 38 1 The Fourier Transform on L 1 (R) which are dense subspaces of L p (R). On these domains, P : D P L p (R) and M : D M L p (R). Show, however, that P and M are unbounded even when restricted to these

More information

We denote the space of distributions on Ω by D ( Ω) 2.

We denote the space of distributions on Ω by D ( Ω) 2. Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study

More information

Classical Fourier Analysis

Classical Fourier Analysis Loukas Grafakos Classical Fourier Analysis Second Edition 4y Springer 1 IP Spaces and Interpolation 1 1.1 V and Weak IP 1 1.1.1 The Distribution Function 2 1.1.2 Convergence in Measure 5 1.1.3 A First

More information

hal , version 1-22 Nov 2009

hal , 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 information

Euler Equations: local existence

Euler Equations: local existence Euler Equations: local existence Mat 529, Lesson 2. 1 Active scalars formulation We start with a lemma. Lemma 1. Assume that w is a magnetization variable, i.e. t w + u w + ( u) w = 0. If u = Pw then u

More information

ON THE GLOBAL REGULARITY OF GENERALIZED LERAY-ALPHA TYPE MODELS

ON THE GLOBAL REGULARITY OF GENERALIZED LERAY-ALPHA TYPE MODELS ON THE GLOBAL REGULARITY OF GENERALIZED LERAY-ALPHA TYPE MODELS KAZUO YAMAZAKI 1 2 Abstract. We generalize Leray-alpha type models studied in [3] and [8] via fractional Laplacians and employ Besov space

More information

The 2D Magnetohydrodynamic Equations with Partial Dissipation. Oklahoma State University

The 2D Magnetohydrodynamic Equations with Partial Dissipation. Oklahoma State University The 2D Magnetohydrodynamic Equations with Partial Dissipation Jiahong Wu Oklahoma State University IPAM Workshop Mathematical Analysis of Turbulence IPAM, UCLA, September 29-October 3, 2014 1 / 112 Outline

More information

8 Singular Integral Operators and L p -Regularity Theory

8 Singular Integral Operators and L p -Regularity Theory 8 Singular Integral Operators and L p -Regularity Theory 8. Motivation See hand-written notes! 8.2 Mikhlin Multiplier Theorem Recall that the Fourier transformation F and the inverse Fourier transformation

More information

Local Well-Posedness for the Hall-MHD Equations with Fractional Magnetic Diffusion

Local Well-Posedness for the Hall-MHD Equations with Fractional Magnetic Diffusion J. Math. Fluid Mech. 17 (15), 67 638 c 15 Springer Basel 14-698/15/467-1 DOI 1.17/s1-15--9 Journal of Mathematical Fluid Mechanics Local Well-Posedness for the Hall-MHD Equations with Fractional Magnetic

More information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

Fluid Approximations from the Boltzmann Equation for Domains with Boundary

Fluid Approximations from the Boltzmann Equation for Domains with Boundary Fluid Approximations from the Boltzmann Equation for Domains with Boundary C. David Levermore Department of Mathematics and Institute for Physical Science and Technology University of Maryland, College

More information

Regularity and Decay Estimates of the Navier-Stokes Equations

Regularity and Decay Estimates of the Navier-Stokes Equations Regularity and Decay Estimates of the Navier-Stokes Equations Hantaek Bae Ulsan National Institute of Science and Technology (UNIST), Korea Recent Advances in Hydrodynamics, 216.6.9 Joint work with Eitan

More information

Sobolev spaces. May 18

Sobolev spaces. May 18 Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references

More information

GLOBAL REGULARITY RESULTS FOR THE CLIMATE MODEL WITH FRACTIONAL DISSIPATION

GLOBAL REGULARITY RESULTS FOR THE CLIMATE MODEL WITH FRACTIONAL DISSIPATION GOBA REGUARITY RESUTS FOR THE CIMATE MODE WITH FRACTIONA DISSIPATION BO-QING DONG 1, WENJUAN WANG 1, JIAHONG WU AND HUI ZHANG 3 Abstract. This paper studies the global well-posedness problem on a tropical

More information

RANDOM PROPERTIES BENOIT PAUSADER

RANDOM PROPERTIES BENOIT PAUSADER RANDOM PROPERTIES BENOIT PAUSADER. Quasilinear problems In general, one consider the following trichotomy for nonlinear PDEs: A semilinear problem is a problem where the highest-order terms appears linearly

More information

Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains

Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains Sergey E. Mikhailov Brunel University West London, Department of Mathematics, Uxbridge, UB8 3PH, UK J. Math. Analysis

More information

VANISHING VISCOSITY IN THE PLANE FOR NONDECAYING VELOCITY AND VORTICITY

VANISHING VISCOSITY IN THE PLANE FOR NONDECAYING VELOCITY AND VORTICITY VANISHING VISCOSITY IN THE PLANE FOR NONDECAYING VELOCITY AND VORTICITY ELAINE COZZI Abstract. Assuming that initial velocity and initial vorticity are bounded in the plane, we show that on a sufficiently

More information

in Bounded Domains Ariane Trescases CMLA, ENS Cachan

in 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 information

L p -boundedness of the Hilbert transform

L p -boundedness of the Hilbert transform L p -boundedness of the Hilbert transform Kunal Narayan Chaudhury Abstract The Hilbert transform is essentially the only singular operator in one dimension. This undoubtedly makes it one of the the most

More information

Analysis in weighted spaces : preliminary version

Analysis in weighted spaces : preliminary version Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.

More information

Singular Integrals. 1 Calderon-Zygmund decomposition

Singular Integrals. 1 Calderon-Zygmund decomposition Singular Integrals Analysis III Calderon-Zygmund decomposition Let f be an integrable function f dx 0, f = g + b with g Cα almost everywhere, with b

More information

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms (February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops

More information

Fourier Series. ,..., e ixn ). Conversely, each 2π-periodic function φ : R n C induces a unique φ : T n C for which φ(e ix 1

Fourier Series. ,..., e ixn ). Conversely, each 2π-periodic function φ : R n C induces a unique φ : T n C for which φ(e ix 1 Fourier Series Let {e j : 1 j n} be the standard basis in R n. We say f : R n C is π-periodic in each variable if f(x + πe j ) = f(x) x R n, 1 j n. We can identify π-periodic functions with functions on

More information

be the set of complex valued 2π-periodic functions f on R such that

be the set of complex valued 2π-periodic functions f on R such that . Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on

More information

FRAMES AND TIME-FREQUENCY ANALYSIS

FRAMES AND TIME-FREQUENCY ANALYSIS FRAMES AND TIME-FREQUENCY ANALYSIS LECTURE 5: MODULATION SPACES AND APPLICATIONS Christopher Heil Georgia Tech heil@math.gatech.edu http://www.math.gatech.edu/ heil READING For background on Banach spaces,

More information

Hydrodynamic Limit with Geometric Correction in Kinetic Equations

Hydrodynamic Limit with Geometric Correction in Kinetic Equations Hydrodynamic Limit with Geometric Correction in Kinetic Equations Lei Wu and Yan Guo KI-Net Workshop, CSCAMM University of Maryland, College Park 2015-11-10 1 Simple Model - Neutron Transport Equation

More information

DIEUDONNE AGBOR AND JAN BOMAN

DIEUDONNE AGBOR AND JAN BOMAN ON THE MODULUS OF CONTINUITY OF MAPPINGS BETWEEN EUCLIDEAN SPACES DIEUDONNE AGBOR AND JAN BOMAN Abstract Let f be a function from R p to R q and let Λ be a finite set of pairs (θ, η) R p R q. Assume that

More information

Topics in Harmonic Analysis Lecture 1: The Fourier transform

Topics in Harmonic Analysis Lecture 1: The Fourier transform Topics in Harmonic Analysis Lecture 1: The Fourier transform Po-Lam Yung The Chinese University of Hong Kong Outline Fourier series on T: L 2 theory Convolutions The Dirichlet and Fejer kernels Pointwise

More information

Conservation law equations : problem set

Conservation law equations : problem set Conservation law equations : problem set Luis Silvestre For Isaac Neal and Elia Portnoy in the 2018 summer bootcamp 1 Method of characteristics For the problems in this section, assume that the solutions

More information

Piecewise Smooth Solutions to the Burgers-Hilbert Equation

Piecewise Smooth Solutions to the Burgers-Hilbert Equation Piecewise Smooth Solutions to the Burgers-Hilbert Equation Alberto Bressan and Tianyou Zhang Department of Mathematics, Penn State University, University Park, Pa 68, USA e-mails: bressan@mathpsuedu, zhang

More information

An introduction to some aspects of functional analysis

An introduction to some aspects of functional analysis An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms

More information

The NLS on product spaces and applications

The NLS on product spaces and applications October 2014, Orsay The NLS on product spaces and applications Nikolay Tzvetkov Cergy-Pontoise University based on joint work with Zaher Hani, Benoit Pausader and Nicola Visciglia A basic result Consider

More information

Wave operators with non-lipschitz coefficients: energy and observability estimates

Wave operators with non-lipschitz coefficients: energy and observability estimates Wave operators with non-lipschitz coefficients: energy and observability estimates Institut de Mathématiques de Jussieu-Paris Rive Gauche UNIVERSITÉ PARIS DIDEROT PARIS 7 JOURNÉE JEUNES CONTRÔLEURS 2014

More information

MATH 205C: STATIONARY PHASE LEMMA

MATH 205C: STATIONARY PHASE LEMMA MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)

More information

Hypocoercivity and Sensitivity Analysis in Kinetic Equations and Uncertainty Quantification October 2 nd 5 th

Hypocoercivity and Sensitivity Analysis in Kinetic Equations and Uncertainty Quantification October 2 nd 5 th Hypocoercivity and Sensitivity Analysis in Kinetic Equations and Uncertainty Quantification October 2 nd 5 th Department of Mathematics, University of Wisconsin Madison Venue: van Vleck Hall 911 Monday,

More information

Partial Differential Equations

Partial Differential Equations Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,

More information

S chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.

S chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1. Sep. 1 9 Intuitively, the solution u to the Poisson equation S chauder Theory u = f 1 should have better regularity than the right hand side f. In particular one expects u to be twice more differentiable

More information

1. Introduction In this paper we consider the solutions to the three-dimensional steady state Navier Stokes equations in the whole space R 3,

1. Introduction In this paper we consider the solutions to the three-dimensional steady state Navier Stokes equations in the whole space R 3, L p -SOLUTIONS OF THE STEADY-STATE NAVIER STOKES WITH ROUGH EXTERNAL FORCES CLAYTON BJORLAND, LORENZO BRANDOLESE, DRAGOŞ IFTIMIE, AND MARIA E. SCHONBEK Abstract. In this paper we address the existence,

More information

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem 56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi

More information

Chapter 8 Integral Operators

Chapter 8 Integral Operators Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,

More information

Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality

Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality Po-Lam Yung The Chinese University of Hong Kong Introduction While multiplier operators are very useful in studying

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

arxiv: v1 [math.ap] 28 Dec 2018

arxiv: v1 [math.ap] 28 Dec 2018 GLOBAL WELL-POSEDNESS AND TIME-DECAY ESTIMATES OF THE COMPRESSIBLE NAVIER-STOKES-KORTEWEG SYSTEM IN CRITICAL BESOV SPACES arxiv:181.1948v1 [math.ap] 8 Dec 18 NOBORU CHIKAMI AND TAKAYUKI KOBAYASHI Abstract.

More information

4 Riesz Kernels. Since the functions k i (ξ) = ξ i. are bounded functions it is clear that R

4 Riesz Kernels. Since the functions k i (ξ) = ξ i. are bounded functions it is clear that R 4 Riesz Kernels. A natural generalization of the Hilbert transform to higher dimension is mutiplication of the Fourier Transform by homogeneous functions of degree 0, the simplest ones being R i f(ξ) =

More information

Remarks on the blow-up criterion of the 3D Euler equations

Remarks on the blow-up criterion of the 3D Euler equations Remarks on the blow-up criterion of the 3D Euler equations Dongho Chae Department of Mathematics Sungkyunkwan University Suwon 44-746, Korea e-mail : chae@skku.edu Abstract In this note we prove that the

More information

ASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS. Tian Ma. Shouhong Wang

ASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS. Tian Ma. Shouhong Wang DISCRETE AND CONTINUOUS Website: http://aimsciences.org DYNAMICAL SYSTEMS Volume 11, Number 1, July 004 pp. 189 04 ASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS Tian Ma Department of

More information

Motivation towards Clifford Analysis: The classical Cauchy s Integral Theorem from a Clifford perspective

Motivation towards Clifford Analysis: The classical Cauchy s Integral Theorem from a Clifford perspective Motivation towards Clifford Analysis: The classical Cauchy s Integral Theorem from a Clifford perspective Lashi Bandara November 26, 29 Abstract Clifford Algebras generalise complex variables algebraically

More information

Local null controllability of the N-dimensional Navier-Stokes system with N-1 scalar controls in an arbitrary control domain

Local null controllability of the N-dimensional Navier-Stokes system with N-1 scalar controls in an arbitrary control domain Local null controllability of the N-dimensional Navier-Stokes system with N-1 scalar controls in an arbitrary control domain Nicolás Carreño Université Pierre et Marie Curie-Paris 6 UMR 7598 Laboratoire

More information

Optimal L p (1 p ) rates of decay to linear diffusion waves for nonlinear evolution equations with ellipticity and dissipation

Optimal L p (1 p ) rates of decay to linear diffusion waves for nonlinear evolution equations with ellipticity and dissipation Nonlinear Analysis ( ) www.elsevier.com/locate/na Optimal L p (1 p ) rates of decay to linear diffusion waves for nonlinear evolution equations with ellipticity and dissipation Renjun Duan a,saipanlin

More information

Math The Laplacian. 1 Green s Identities, Fundamental Solution

Math The Laplacian. 1 Green s Identities, Fundamental Solution Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external

More information

LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES. Sergey Korotov,

LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES. Sergey Korotov, LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES Sergey Korotov, Institute of Mathematics Helsinki University of Technology, Finland Academy of Finland 1 Main Problem in Mathematical

More information

A COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )

A COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 ) Electronic Journal of Differential Equations, Vol. 2006(2006), No. 5, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A COUNTEREXAMPLE

More information

Global Maxwellians over All Space and Their Relation to Conserved Quantites of Classical Kinetic Equations

Global Maxwellians over All Space and Their Relation to Conserved Quantites of Classical Kinetic Equations Global Maxwellians over All Space and Their Relation to Conserved Quantites of Classical Kinetic Equations C. David Levermore Department of Mathematics and Institute for Physical Science and Technology

More information

Micro-local analysis in Fourier Lebesgue and modulation spaces.

Micro-local analysis in Fourier Lebesgue and modulation spaces. Micro-local analysis in Fourier Lebesgue and modulation spaces. Stevan Pilipović University of Novi Sad Nagoya, September 30, 2009 (Novi Sad) Nagoya, September 30, 2009 1 / 52 Introduction We introduce

More information

Here we used the multiindex notation:

Here we used the multiindex notation: Mathematics Department Stanford University Math 51H Distributions Distributions first arose in solving partial differential equations by duality arguments; a later related benefit was that one could always

More information

An introduction to Birkhoff normal form

An introduction to Birkhoff normal form An introduction to Birkhoff normal form Dario Bambusi Dipartimento di Matematica, Universitá di Milano via Saldini 50, 0133 Milano (Italy) 19.11.14 1 Introduction The aim of this note is to present an

More information

ABOUT STEADY TRANSPORT EQUATION II SCHAUDER ESTIMATES IN DOMAINS WITH SMOOTH BOUNDARIES

ABOUT STEADY TRANSPORT EQUATION II SCHAUDER ESTIMATES IN DOMAINS WITH SMOOTH BOUNDARIES PORTUGALIAE MATHEMATICA Vol. 54 Fasc. 3 1997 ABOUT STEADY TRANSPORT EQUATION II SCHAUDER ESTIMATES IN DOMAINS WITH SMOOTH BOUNDARIES Antonin Novotny Presented by Hugo Beirão da Veiga Abstract: This paper

More information

7: FOURIER SERIES STEVEN HEILMAN

7: FOURIER SERIES STEVEN HEILMAN 7: FOURIER SERIES STEVE HEILMA Contents 1. Review 1 2. Introduction 1 3. Periodic Functions 2 4. Inner Products on Periodic Functions 3 5. Trigonometric Polynomials 5 6. Periodic Convolutions 7 7. Fourier

More information

THEOREMS, ETC., FOR MATH 515

THEOREMS, ETC., FOR MATH 515 THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every

More information

Your first day at work MATH 806 (Fall 2015)

Your first day at work MATH 806 (Fall 2015) Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies

More information

Global well-posedness and decay for the viscous surface wave problem without surface tension

Global well-posedness and decay for the viscous surface wave problem without surface tension Global well-posedness and decay for the viscous surface wave problem without surface tension Ian Tice (joint work with Yan Guo) Université Paris-Est Créteil Laboratoire d Analyse et de Mathématiques Appliquées

More information

Algebras of singular integral operators with kernels controlled by multiple norms

Algebras of singular integral operators with kernels controlled by multiple norms Algebras of singular integral operators with kernels controlled by multiple norms Alexander Nagel Conference in Harmonic Analysis in Honor of Michael Christ This is a report on joint work with Fulvio Ricci,

More information

On the Boltzmann equation: global solutions in one spatial dimension

On 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 information

for all subintervals I J. If the same is true for the dyadic subintervals I D J only, we will write ϕ BMO d (J). In fact, the following is true

for all subintervals I J. If the same is true for the dyadic subintervals I D J only, we will write ϕ BMO d (J). In fact, the following is true 3 ohn Nirenberg inequality, Part I A function ϕ L () belongs to the space BMO() if sup ϕ(s) ϕ I I I < for all subintervals I If the same is true for the dyadic subintervals I D only, we will write ϕ BMO

More information

A review: The Laplacian and the d Alembertian. j=1

A review: The Laplacian and the d Alembertian. j=1 Chapter One A review: The Laplacian and the d Alembertian 1.1 THE LAPLACIAN One of the main goals of this course is to understand well the solution of wave equation both in Euclidean space and on manifolds

More information

Tools from Lebesgue integration

Tools from Lebesgue integration Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given

More information

The Schrödinger equation with spatial white noise potential

The Schrödinger equation with spatial white noise potential The Schrödinger equation with spatial white noise potential Arnaud Debussche IRMAR, ENS Rennes, UBL, CNRS Hendrik Weber University of Warwick Abstract We consider the linear and nonlinear Schrödinger equation

More information

REGULARITY CRITERIA FOR WEAK SOLUTIONS TO 3D INCOMPRESSIBLE MHD EQUATIONS WITH HALL TERM

REGULARITY CRITERIA FOR WEAK SOLUTIONS TO 3D INCOMPRESSIBLE MHD EQUATIONS WITH HALL TERM Electronic Journal of Differential Equations, Vol. 2018 (2018), No. 10, pp. 1 12. ISSN: 1072-6691. UL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EGULAITY CITEIA FO WEAK SOLUTIONS TO D INCOMPESSIBLE

More information

P(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law:

P(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law: Introduction Functions of bounded variation, usually denoted by BV, have had and have an important role in several problems of calculus of variations. The main features that make BV functions suitable

More information

Microlocal Methods in X-ray Tomography

Microlocal Methods in X-ray Tomography Microlocal Methods in X-ray Tomography Plamen Stefanov Purdue University Lecture I: Euclidean X-ray tomography Mini Course, Fields Institute, 2012 Plamen Stefanov (Purdue University ) Microlocal Methods

More information

JUHA KINNUNEN. Harmonic Analysis

JUHA KINNUNEN. Harmonic Analysis JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes

More information

arxiv:math/ v1 [math.ap] 16 Nov 2006

arxiv:math/ v1 [math.ap] 16 Nov 2006 arxiv:math/611494v1 [mathap] 16 Nov 26 ON THE GLOBAL SOLUTIONS OF THE SUPER-CRITICAL 2D QUASI-GEOSTROPHIC EQUATION IN BESOV SPACES TAOUFIK HMIDI AND SAHBI KERAANI Abstract In this paper we study the super-critical

More information

at time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t))

at time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t)) Notations In this chapter we investigate infinite systems of interacting particles subject to Newtonian dynamics Each particle is characterized by its position an velocity x i t, v i t R d R d at time

More information

Notes. 1 Fourier transform and L p spaces. March 9, For a function in f L 1 (R n ) define the Fourier transform. ˆf(ξ) = f(x)e 2πi x,ξ dx.

Notes. 1 Fourier transform and L p spaces. March 9, For a function in f L 1 (R n ) define the Fourier transform. ˆf(ξ) = f(x)e 2πi x,ξ dx. Notes March 9, 27 1 Fourier transform and L p spaces For a function in f L 1 (R n ) define the Fourier transform ˆf(ξ) = f(x)e 2πi x,ξ dx. Properties R n 1. f g = ˆfĝ 2. δλ (f)(ξ) = ˆf(λξ), where δ λ f(x)

More information

1 I (x)) 1/2 I. A fairly immediate corollary of the techniques discussed in the last lecture is Theorem 1.1. For all 1 < p <

1 I (x)) 1/2 I. A fairly immediate corollary of the techniques discussed in the last lecture is Theorem 1.1. For all 1 < p < 1. Lecture 4 1.1. Square functions, paraproducts, Khintchin s inequality. The dyadic Littlewood Paley square function of a function f is defined as Sf(x) := ( f, h 2 1 (x)) 1/2 where the summation goes

More information

A Second Order Energy Stable Scheme for the Cahn-Hilliard-Hele-Shaw Equations

A Second Order Energy Stable Scheme for the Cahn-Hilliard-Hele-Shaw Equations A Second Order Energy Stable Scheme for the Cahn-Hilliard-Hele-Shaw Equations Wenbin Chen Wenqiang Feng Yuan Liu Cheng Wang Steven M. Wise August 9, 07 Abstract We present a second-order-in-time finite

More information

Real Analysis Problems

Real Analysis Problems Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.

More information

Author(s) Huang, Feimin; Matsumura, Akitaka; Citation Osaka Journal of Mathematics. 41(1)

Author(s) Huang, Feimin; Matsumura, Akitaka; Citation Osaka Journal of Mathematics. 41(1) Title On the stability of contact Navier-Stokes equations with discont free b Authors Huang, Feimin; Matsumura, Akitaka; Citation Osaka Journal of Mathematics. 4 Issue 4-3 Date Text Version publisher URL

More information

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply

More information

Wavelets and regularization of the Cauchy problem for the Laplace equation

Wavelets and regularization of the Cauchy problem for the Laplace equation J. Math. Anal. Appl. 338 008440 1447 www.elsevier.com/locate/jmaa Wavelets and regularization of the Cauchy problem for the Laplace equation Chun-Yu Qiu, Chu-Li Fu School of Mathematics and Statistics,

More information

EXISTENCE OF GLOBAL WEAK SOLUTIONS TO A HYBRID VLASOV-MHD MODEL FOR MAGNETIZED PLASMAS

EXISTENCE OF GLOBAL WEAK SOLUTIONS TO A HYBRID VLASOV-MHD MODEL FOR MAGNETIZED PLASMAS EXISTENCE OF GLOBAL WEAK SOLUTIONS TO A HYBRID VLASOV-MHD MODEL FOR MAGNETIZED PLASMAS BIN CHENG, ENDRE SÜLI, AND CESARE TRONCI Abstract. We prove the global-in-time existence of large-data finite-energy

More information