arxiv: v1 [math.ap] 23 Aug 2016

Transcription

1 Noname manuscrit No. (will be inserted by the editor) Well-osedness for the Navier-Stokes equations with datum in the Sobolev saces D. Q. Khai arxiv: v [math.ap] 23 Aug 26 Received: date / Acceted: date Abstract In this aer, we study local well-osedness for the Navier-Stokes equations with arbitrary initial data in homogeneous Sobolev saces Ḣs (R d ) for d 2, > d 2, and d s < d. The obtained result imroves the known ones for > d and s = (see [4,6]). In the case of critical indexes s = d, we rove global well-osedness for Navier-Stokes equations when the norm of the initial value is small enough. This result is a generalization of the one in [5] in which = d and s =. Keywords Navier-Stokes equations, existence and uniqueness of local and global mild solutions, critical Sobolev and Besov saces. Mathematics Subject Classification (2) Primary 35Q3; Secondary 76D5, 76N. Introduction We consider the Navier-Stokes equations (NSE) in d dimensions in secial setting of a viscous, homogeneous, incomressible fluid which fills the entire sace and is not submitted to external forces. Thus, the equations we consider are the system t u = u (u u), u =, u(,x) = u, which is a condensed writing for k d, t u k = u k d l= l(u l u k ) k, d l= lu l =, k d, u k (,x) = u k. Dao Quang Khai Institute of Mathematics, Vietnam Academy of Science and Technology, 8 Hoang Quoc Viet, 37 Cau Giay, Hanoi, Vietnam khaitoantin@gmail.com

2 2 D. Q. Khai The unknown quantities are the velocity u(t,x) = (u (t,x),...,u d (t,x)) of the fluid element at time t and osition x and the ressure (t,x). A translation invariant Banach sace of temered distributions E is called a critical sace for NSE if its norm is invariant under the action of the scaling f(.) λf(λ.). One can take, for examle, E = L d (R d ) or the smaller sace E = Ḣ d 2 (R d ). In fact, one has the chain of critical saces given by the continuous embeddings Ḣ d 2 (R d ) L d (R d d ) Ḃ, (R d ) (< ) BMO (R d ) Ḃ, (R d ). (.) It is remarkable feature that NSE are well-osed in the sense of Hadarmard (existence, uniqueness and continuous deendence on the data) when the initial datum is divergence-free and belongs to the critical function saces (excet Ḃ, ) listed d in (.) (see [4] for Ḣ d 2 (R d ), L d (R d ), and Ḃ, (R d ), see [22] for BMO (R d ), and the recent ill-osedness result [] for Ḃ, (R d )). In the 96s, mild solutions were first constructed by Kato and Fujita [9,9] that are continuous in time and take values in the Sobolev sace H s (R d ),(s d 2 ), say u C([,T);Hs (R d )). In 992, a modern treatment for mild solutions in H s (R d ),(s d 2 ) was given by Chemin [7]. In 995, using the simlified version of the bilinear oerator, Cannone roved the existence for mild solutions in Ḣs (R d ),(s d 2 ), see [4]. Results on the existence of mild solutions with value in L (R d ),( > d) were established in the aers of Fabes, Jones and Rivière [8] and of Giga []. Concerning the initial datum in the sace L, the existence of a mild solution was obtained by Cannone and Meyer in [4,6]. Moreover, in [4,6], they also obtained theorems on the existence of mild solutions with value in the Morrey-Camanato sace M 2 (Rd ),( > d) and the Sobolev sace H(R s d ),( < d, s d < d ). NSE in the Morrey-Camanato sace were also treated by Kato [2] and Taylor [24]. In 98, Weissler [25] gave the first existence result of mild solutions in the half sace L 3 (R 3 +). Then Giga and Miyakawa [] generalized the result to L 3 (Ω), where Ω is an oen bounded domain in R 3. Finally, in 984, Kato [2] obtained, by means of a urely analytical tool (involving only the Hölder and Young inequalities and without using any estimate of fractional owers of the Stokes oerator), an existence theorem in the whole sace L 3 (R 3 ). In [4,5], Cannone showed how to simlify Kato s roof. The idea is to take the advantage of the structure of the bilinear oerator in its scalar form. In articular, the divergence and heat e t oerators can be treated as a single convolution oerator. Recently, the authors of this article have considered NSE in Sobolev saces, Sobolev-Lorentz saces, mixed-norm Sobolev- Lorentz saces, and Sobolev-Fourier-Lorentz saces, see [5], [6], [2], and [3] resectively. In [7], we rove some results on the existence and decay roerties of high order derivatives in time and sace variables for local and global solutions of the Cauchy roblem for NSE in Bessel-otential saces. In [8], we rove some results on the existence and sace-time decay rates of global strong solutions of the Cauchy roblem for NSE equations in weighed L (R d, x β dx) saces. In [4], we considered the initial value roblem for the non stationary NSE on torus T 3 = R 3 /Z 3 and showed that NSE are well-osed when the initial datum belongs to Sobolev saces V α := D( ) α/2 with 2 < α < 3 2. In this aer, we construct mild solutions in the saces C([,T);Ḣs (R d )) to the Cauchy rob-

3 On the initial value roblem for the Navier-Stokes equations 3 lem for NSE when the initial datum belongs to the Sobolev saces Ḣs (R d ), with d 2, > d 2, and d s < d. We obtain the existence of mild solutions with arbitrary initial value when T is small enough; and existence of mild solutions for ),, any T < + when the norm of the initialvalue in the Besov saces Ḃs d( ( > max{,q}, where q = s d )issmallenough.in thecase > d ands =,this result is stronger than that of Cannone and Meyer [4,6] but under a weaker conditionontheinitialdata.inthecaseofcriticalindexes( > d 2,s = d ),wecantake d T = when the norm of the initial value in the Besov saces Ḃ, (R d ),( > max{d,}) is small enough. This result when s = and = d is the theorem of Cannone [5]. The content of this aer is as follows: in Section 2, we state our main theorem after introducing some notations. In Section 3, we first establish some estimates concerning the heat semigrou with differential. We also recall some auxiliary lemmas and several estimates in the homogeneous Sobolev saces and Besov saces. Finally,in Section 4, we will give the roof of the main theorem. 2 Statement of the results Now, for T >, we say that u is a mild solution of NSE on [,T] corresonding to a divergence-free initial datum u when u solves the integral equation u = e t u e (t τ) P (u(τ,.) u(τ,.) ) dτ. Above we have used the following notation: for a tensor F = (F ij ) we define the vector F by ( F) i = d j= jf ij and for two vectors u and v, we define their tensor roduct (u v) ij = u i v j. The oerator P is the Helmholtz-Leray rojection onto the divergence-free fields (Pf) j = f j + R j R k f k, k d where R j is the Riesz transforms defined as The heat kernel e t is defined as R j = j i.e. Rj g(ξ) = iξ j ξ ĝ(ξ). e t u(x) = ((4πt) d/2 e. 2 /4t u)(x). For a sace of functions defined on R d, say E(R d ), we will abbreviate it as E. We denote by L q := L q (R d ) the usual Lebesgue sace for q [, ] with the norm. L q, and we do not distinguish between the vector-valued and scalarvalued saces of functions. Given a Banach sace E with norm. E, we denote by L ([,T],E), +, set of functions f(t) defined on (,T) with values in E such that T f(t) Edt < +. Let BC([,T);E) denote the bounded continuous functions defined on (,T). For vector-valued f = (f,...,f M ), we define f E = ( m=m m= f m 2 ) 2 E. We define the Sobolev sace by Ḣs q := Λ s L q

4 4 D. Q. Khai equied with the norm f Ḣs q := Λ s f L q. Here Λ s := F ξ s F, where F and F are the Fourier transform and its inverse, resectively. Λ = is the homogeneous Calderon seudo-differential oerator. Throughout the aer, we sometimes use the notation A B as an equivalent to A CB with a uniform constant C. The notation A B means that A B and B A. Now we can state our results Theorem Let and s be such that Set > d 2 and d s < d. q = s d. (a) For all > max{,q}, there exists a ositive constant δ q,,d such that for all T > and for all u Ḣ s (R d ) with div(u ) = satisfying T 2 (+s d ) su t d 2 ( s d ) e t u L δ q,,d, (2.) <t<t NSE has a unique mild solution u BC([,T);Ḣs ). Moreover, we have t d 2 ( q r ) u(t) BC([,T);L r ), for all r > max{,q}. In articular, the condition (2.) holds for arbitrary u Ḣs (R d ) when T = T(u ) is small enough. (b) If s = d then for all > max{,d} there exists a constant σ,d > such that if u, σ,d and T = + then the condition (2.) holds. d Ḃ In the case of critical indexes (s = d, > d 2 ), we obtain the following consequence. Proosition Let > d 2. Then for any > max{,d}, there exists a ositive constant δ,d such that for all T > and for all u Ḣ div(u ) = satisfying d (R d ) with su t 2 ( d ) e t u L δ,d, (2.2) <t<t d NSE has a unique mild solution u BC([,T);Ḣ ). Moreover, we have t d 2 ( d r ) u(t) BC([,T);L r ), for all r > max{,d}. Denoting w = u e t d u then w BC([,T);Ḣ ) for all > 2 max{,d}. d In articular, the condition (2.2) holds for arbitrary u Ḣ (R d ) when T = T(u ) is small enough, and there exists a ositive constant σ,d such that if uḃ, σ,d and T = +, d then the condition (2.2) holds.

5 On the initial value roblem for the Navier-Stokes equations 5 Remark If = d then Proosition is the theorem of Canone [5]. In the case of suercritical indexes > d 2 and d < s < d, we get the following consequence. Proosition 2 Let > d 2 and d < s < d. Then for any be such that > max{,q}, where q = s d, there exists a ositive constant δ q,,d such that for all T > and for all u Ḣs (R d ) with div(u ) = satisfying T 2 (+s d) u Ḃ s (d ), δ d q,,d, (2.3) NSE has a unique mild solution u BC([,T);Ḣs ). Moreover, we have t d 2 ( q r ) u(t) BC([,T);L r ), for all r > max{,q}. Remark 2 Proosition 2 is the theorem of Canone and Meyer [4,6] if s =, > d, and the condition (2.3) is relaced by the condition T 2 ( d ) u L δ,d. Note that in the case s = and > d, the condition (2.3) is weaker than the above condition because of the following elementary imbedding mas L (R d ) Ḃ ( d d ), (R d ),( > d), but these two saces are different. Indeed, we have x d / L (R d ). On the other hand by using Lemma 3, we can easily rove that x d d Ḃ ( >. d ), (R d ) for all 3 Tools from harmonic analysis In this section we reare some auxiliary lemmas. The main roerty we use throughout this aer is that the oerator Λ s e t P is a matrix of convolution oerators with bounded integrable kernels. Lemma Let s >. Then the kernel function of Λ s e t P is the function K t (x) = t d++s 2 K ( x t ), where the function K is the kernel function of Λ s e P which satisfies the following inequality K(x) + x d++s. Proof See Proosition. [23],. 7.

6 6 D. Q. Khai Lemma 2 (Sobolev inequalities). If s > s 2, < q, q 2 <, and s d q = s 2 d q 2, then we have the following embedding maing Ḣ s q Ḣs 2 q 2. In this aer we use the definition of the homogeneous Besov sace Ḃs, q in [2, 3]. The following lemma will rovide a different characterization of Besov saces Ḃq s, in terms of the heat semigrou and will be one of the stale ingredients of the roof of Theorem. Lemma 3 Let,q and s <. Then the two quantities ( (t s 2 e t f L q) dt ) and fḃs, are equivalent. t q Proof See Theorem 5.4 in ([23],. 45). Lemma 4 Let θ < and γ < then (t τ) γ τ θ dτ = Ct γ θ, where C = ( τ) γ τ θ dτ <. The roof of this lemma is elementary and may be omitted. Let us recall following result on solutions of a quadratic equation in Banach saces (Theorem 22.4 in [23],. 227). Theorem 2 Let E be a Banach sace, and B : E E E be a continuous bilinear ma such that there exists η > so that B(x,y) η x y, for all x and y in E. Then for any fixed y E such that y 4η, the equation x = y B(x,x) has a unique solution x E satisfying x 2η. 4 Proof of Theorem In this section we shall give the roof of Theorem. We now need four more lemmas. In order to roceed, we define an auxiliary sace N,T s which is made u of the functions u(t,x) such that and with > and s d. u C([,T);Ḣs ), un s := su u(t,.) Ḣs <,,T <t<t lim t u(t) Ḣs =, (4.) We define the auxiliary sace K q,t which is made u of the functions u(t,x) such that u C([,T);L ), uk := su u(t,.) L <, q,t <t<t and lim u(t) L =, (4.2) t with q d and α = d( q ).

7 On the initial value roblem for the Navier-Stokes equations 7 Remark 3 The auxiliary sace K := K d,t ( d) was introduced by Weissler and systematically used by Kato [2] and Cannone [5]. Lemma 5 Suose that u Ḣs (R d ) with > and d s < d. Then for all satisfying > max{,q}, where we have q = s d, e t u K q,. Proof First, we consider the case q. In this case s, alying Lemma 2, we have u L q. We will rove that e t u L ul q, for all q. Set su <t< Alying Young s inequality we obtain h = + q. e t u L = e. 2 (4πt) d/2 4t u L e. 2 t d/2 4t L h u L q = t α 2e. 2 4 u L q t α 2u L q. (4.3) L h This roves the result. We now rove that lim e t u L =, for all > q. t Set X n (x) = for x {x : x < n} {x : u (x) < n} and X n (x) = otherwise. We have e t u L C ( t α d 2 e. 2 4t Alying Young s inequality, we have Ct α d. 2 2 e 4t (X n u ). L C e 2 4 (X n u ) L +t α d 2 e. 2 4t (( X n )u ) L). L h Xn u L q C Xn 2 u L q. (4.4) For any ǫ >, we can take n large enough that C 2 Xn u L q < ǫ 2. Fixed one of such n and alying Young s inequality, we have Ct α d. 2 2 e 4t C 3 (( X n )u ) L C 3 t α d 2 e. 2 4 L. 2 e 4t L ( Xn )u L n( X n ) L = C 4 (n) < ǫ 2, for t < t (4.5) with small enough t = t (n). From estimates (4.4) and (4.5), we have e t u L C Xn 2 u L q +C 5 (n) < ǫ, for t < t.

8 8 D. Q. Khai Finally, we consider the case > q. In this case s <, we will rove that e t u L uḣs, for. We have where Set su <t< e t u = e t Λ s Λ s u = (. K ) ( Λ s u t d s ), 2 t ˆK(ξ) = e ξ 2 ξ s, K(x) (2π) d 2 (+ x ) d s. h = +. Alying Young s inequality to obtain e t u L t α 2K L h Λ s u L t α 2u Ḣs. This roves the result. We now claim that lim e t u L =, for all >. t Set X n,s (x) = for x {x : x < n} {x : Λ s u (x) < n} and X n,s (x) = otherwise. From the above roof we deduce that, for any ǫ >, there exist a sufficiently large n and a sufficiently small t = t (n) such that e t u L C KL h Xn,s Λ s u L +C 2 nt d( ) 2 KL Xn,sL < ǫ, for t < t. In the following lemmas a articular attention will be devoted to the study of the bilinear oerator B(u, v)(t) defined by B(u,v)(t) = e (t τ) P (u(τ) v(τ) ) dτ. (4.6) Lemma 6 Let and s be such that > d 2 and d s < d. Then the bilinear oerator B is continuous from K q,t K q,t into Ns,T, where and the following inequality holds q = s, q <, d B(u,v) N s CT (+s d) 2 u,t K v q,t K, (4.7) q,t where C is a ositive constant and indeendent of T.

9 On the initial value roblem for the Navier-Stokes equations 9 Proof By Lemma, we have B(u,v)(t) Ḣs = (t τ) d++s 2 (t τ) d++s 2 Λ s e (t τ) P (u(τ) v(τ) ) L dτ (. ) K ( u(τ) v(τ) ) L (4.8) t τ dτ. Alying Young s inequality, we have (. ) K ( u(τ) v(τ) ) L (t τ) d++s 2 t τ (. ) L K u(τ) v(τ), (4.9) t τ r L 2 where Alying Hölder s inequality, we have u(τ) v(τ) L 2 r = +, (4.) 2 u(τ) L v(τ) L. (4.) Since the equality (4.) and Lemma it follows that (. ) L K = (t τ) d 2r KL r (t τ) d(+ 2 ) 2. (4.2) t τ r From the inequalities (4.9), (4.), and (4.2) we deduce that e (t τ) P (u(τ) v(τ) ) Ḣs (t τ) d s+ d 2 u(τ) L v(τ) L. (4.3) By the inequalities (4.8), (4.3), and Lemma 4, we have B(u,v)(t) Ḣs = su <η<t (t τ) d s+ d 2 (t τ) d s+ d 2 τ α su u(η) L su <η<t t u(η) L su <η<t t 2 (+s d ) su <η<t v(η) L u(η) L su <η<t u(τ) L v(τ) Ldτ <η<t (t τ) d v(η) Ldτ d s+ 2 τ α dτ v(η) L. (4.4) The estimate (4.7) is deduced from the inequality (4.4). Let us now check the validity of condition (4.) for the bilinear term B(u,v)(t). In fact, from the estimate (4.4) it follows that whenever lim t lim t B(u,v)(t) Ḣs =, (4.5) u(t) L = lim t v(t) L =. Finally, the continuity at t = of B(u,v)(t) follows from the equality (4.5). The continuity elsewhere follows from carefully rewriting the exression +ǫ and alying the same argument.

10 D. Q. Khai Lemma 7 Let q and be such that > q d. Then the bilinear oerator B is continuous from K K q,t q,t into K q,t and the following inequality holds B(u,v) K CT 2 ( d) q uk vk, (4.6) q,t q,t q,t where C is a ositive constant and indeendent of T. Proof Alying the estimate (4.3) for s = and =, we have e (t τ) P (u(τ) v(τ) ) L (t τ) d 2 2 u(τ) L v(τ) L. Alying Lemma 4, we have Thus B(u,v)(t) L = su <η<t (t τ) d 2 2 u(τ) L. v(τ) Ldτ (t τ) d 2 2 τ α su u(η) L su <η<t u(η) L su <η<t t α 2 t 2 ( d q ) su <η<t B(u,v)(t) L t ( d) 2 q su <η<t v(η) L <η<t v(η) Ldτ (t τ) d 2 2 τ α dτ u(η) L su v(η) <η<t L. u(η) L su <η<t v(η) L. (4.7) The estimate (4.6) is deduced from the inequality (4.7). Now we check the validity of condition (4.2) for the bilinear term B(u,v)(t). From the estimate (4.7) it follows that lim B(u,v)(t) L =, whenever lim t t u(t) L = lim t v(t) L =. Finally, the continuity at t = of B(u,v)(t) follows from the equality (4.5). The continuity elsewhere follows from carefully rewriting the exression +ǫ and alying the same argument. The following lemma, the roof of which is omitted, is a generalization of Lemma 7. Lemma 8 Let d q 2 < and q < < be such that one of the following conditions is satisfied. or q < < 2d,q 2 < d 2d, 2d 2q,q 2 <,

11 On the initial value roblem for the Navier-Stokes equations or 2q < <, 2 < 2 <. Then the bilinear oerator B is continuous from K q,t K q,t into K 2 q,t, and we have the inequality B(u,v) K 2 CT 2 ( d) q uk vk, q,t q,t q,t where C is a ositive constant and indeendent of T. Proof of Theorem (a) From Lemma 7, B is continuous from K q,t K q,t to K q,t and we have the inequality B(u,v) K C q,,d T 2 ( d) q u q,t K v q,t K = C q,,d T 2 (+s d) u q,t K v q,t K, q,t where C q,,d is a ositive constant indeendent of T. From Theorem 2 and the above inequality, we deduce that for any u Ḣs satisfying where T 2 (+s d ) e t u K q,t = T 2 (+s d ) su <t<t ( ) ( α = d q = d s ) d, e t u L 4C q,,d, NSE has a solution u on the interval (,T) so that u K q,t. We rove that u Kq,T. r We consider three cases q < < 2d and r>max{,q} 2d 2q, and 2q < < searately. Note that if max{,q} 2d then there does not exist satisfying the condition of the first case, and if 2q then there does not exist satisfying the condition of the second case. Therefore the number of cases that can occur deends on s and. First, we consider the case q < < 2d. There are two ossibilities > 4d 3 and 4d 3. In the case > 4d 3, we aly Lemmas 5 and 8 to obtain u Kr q,t for all r satisfying max{,q} < r < where = d 2d > 2d. Thus, u K2d q,t. Alying again Lemmas 5 and 8, we deduce that u Kq,T r for all r > max{,q}. In the case 4d 3, we set u the following series of numbers { i} i N by induction. Set = and = d 2d. We have >. If > 4d 3 then set N = and sto here. In the case 4d 3 set 2 = d 2d. We have 2 >. If 2 > 4d 3 then set N = 2 and sto here. In the case 2 4d 3, set 3 = d 2 2d 2. We have 3 > 2, and so on, there exists k such that k 4d 3, k+ = d k. We set N = k+ and sto here, and we have 2d k > 4d 3 =, i = d i 2d i, i > i for i =,2,3,..,N, 2d N > 4d 3 N.

12 2 D. Q. Khai From u K q,t, alying Lemmas 5 and 8 to obtain u Kr q,t for all r satisfying max{,q} < r <. Then alying again Lemmas 5 and 8 to get u K r q,t for all r satisfying max{,q} < r < 2, and so on, finishing we have u K r q,t for all r satisfying max{,q} < r < N. Therefore u K r q,t for all r satisfying 4d 3 < r < N. From the roof of the case > 4d 3, we have u Kr q,t for all r > max{,q}. We now consider the case 2d 2q. We show that u K r q,t for all r > max{,q}. This is easily deduced by alying Lemmas 5 and 8. Finally, we consider the case 2q < <. Let i N be such that 2 i max{2q,} > 2 i. From > max{,q} and > 2q, we have > max{2q,}, hence i. Alying Lemmas 5 and 8 to obtain u Kq,T r for all r > 2. Alying again Lemmas 5 and 8 to get u Kq,T r for all r > 2, and so on, finishing we have u K r 2 q,t for all r > 2. Alying again Lemmas 5 and 8 to obtain u K r i q,t for all r > max{,q, 2 }. If max{,q} i 2 then we have u K r i q,t for all r > max{,q}. If max{,q} < 2 then 2q > i 2. Thus u K r i q,t for all r satisfying r > 2, hence i u K 2q q,t. Alying Lemmas 5 and 8 to obtain u Kr q,t for all r > max{,q}. This roves the result. We now rove that u BC([,T);Ḣs ). Indeed, from u Kq,T r for all r > max{,q}, alying Lemma 6 to obtain B(u,u) N,T s BC ( ) [,T);Ḣs. On the other hand, since u Ḣs, it follows that e t u BC ( ) [,T);Ḣs. Therefore u = e t u B(u,u) BC ( [,T);Ḣs ). Finally, we will show that the condition (2.) is valid when T is small enough. Indeed, from the definition of K q,t and Lemma 5, we deduce that the left-hand side of the condition(2.) convergesto when T goes to.therefore the condition (2.) holds for arbitrary u Ḣs (R d ) when T(u ) is small enough. (b) From Lemma 3, the two quantities u, and su t 2 ( d ) d e t u L Ḃ <t< are equivalent. Thus, there exists a ositive constant σ,d such that the condition (2.) holds for T = whenever u, σ,d. d Ḃ Proof of Proosition d By Theorem, we only need to rove that w N,T for all > 2 max{,d}. Indeed, alying Lemma 6, we deduce that the bilinear oerator B is continuous d from Kd,T r Kd,T r into N,T for all > d 2 and r satisfying d < r 2, hence from u Kd,T r d and 2 > max{,d}, we have w = B(u,u) N r>max{,d} The roof Proosition is comlete. Proof of Proosition 2,T.

13 On the initial value roblem for the Navier-Stokes equations 3 By Lemma 3, we deduce that the two quantities and su t d( s ) 2 d e t u L are equivalent. Therefore <t< u Ḃ s (d ), d su <t<t t d 2 ( s d ) e t u L u Ḃ s (d d ),. Proosition 2 is roved by alying the above inequality and Theorem. Acknowledgments. This research was suorted by Vietnam National Foundation for Science and Technology Develoment (NAFOSTED) under grant number References. J. Bourgain and N. Pavloviéc, Ill-osedness of the Navier-Stokes equations in a critical sace in 3D, J. Funct. Anal., 255 (9) (28) G. Bourdaud, Ce qu il faut savoir sur les esaces de Besov, Préublication de l Universitéde Paris 7 (janvier 993). 3. G. Bourdaud, Réalisation des esaces de Besov homogènes, Ark. Mat. 26 () (988) M. Cannone, Ondelettes, Pararoduits et Navier-Stokes, Diderot Editeur, Paris, 995, M. Cannone, A generalization of a theorem by Kato on Navier-Stokes equations, Rev. Mat. Iberoamericana, 3 (3) (997), M. Cannone and Y. Meyer, Littlewood-Paley decomosition and the Navier-Stokes equations, Methods Al. Anal., 2 (995), J. M. Chemin, Remarques sur l existence globale our le système de Navier-Stokes incomressible, SIAM J. Math. Anal., 23 (992), E. Fabes, B. Jones and N. Riviere, The initial value roblem for the Navier-Stokes equations with data in L, Arch. Rat. Mech. Anal., 45 (972), H. Fujita and T. Kato, On the Navier-Stokes initial value roblem I, Arch. Rat. Mech. Anal., 6 (964), Y. Giga, Solutions of semilinear arabolic equations in L and regularity of weak solutions of the Navier-Stokes system, J. Differ. Eq., 62 (986), Y. Giga and T. Miyakawa, Solutions in L r of the Navier-Stokes initial value roblem, Arch. Rat. Mech. Anal., 89 (985), D. Q. Khai and N. M. Tri, Solutions in mixed-norm Sobolev-Lorentz saces to the initial value roblem for the Navier-Stokes equations, J. Math. Anal. Al., 47 (24) D. Q. Khai and N. M. Tri, Well-osedness for the Navier-Stokes equations with datum in Sobolev-Fourier-Lorentz saces, J. Math. Anal. Al., 437 (26) D. Q. Khai and N. M. Tri, On the Hausdorff dimension of the singular set in time for weak solutions to the nonstationary Navier-Stokes equation on torus, Vietnam Journal of Mathematics, 43 (25) D. Q. Khai and N. M. Tri, On the initial value roblem for the Navier-Stokes equations with the initial datum in critical Sobolev and Besov saces, J. Math. Sci. Univ. Tokyo, 23 (26) D. Q. Khai and N. M. Tri, Well-osedness for the Navier-Stokes equations with data in homogeneous Sobolev-Lorentz saces, rerint, arxiv: D. Q. Khai and N. M. Tri, The existence and decay rates of strong solutions for Navier- Stokes Equations in Bessel-otential saces, rerint, arxiv: D. Q. Khai and N. M. Tri The existence and sace-time decay rates of strong solutions to Navier-Stokes Equations in weighed L ( x γ dx) L ( x β dx) saces, rerint, arxiv:6.44

14 4 D. Q. Khai 9. T. Kato and H. Fujita, On the non-stationary Navier-Stokes system, Rend. Sem. Mat. Univ. Padova, 32 (962), T. Kato, Strong L solutions of the Navier-Stokes equations in R m with alications to weak solutions, Math. Zeit., 87 (984), T. Kato, Strong solutions of the Navier-Stokes equations in Morrey saces, Bol. Soc. Brasil. Math., 22 (992), H. Koch and D. Tataru, Well-osedness for the Navier-Stokes equations, Adv. Math., 57 () (2) P. G. Lemarie-Rieusset, Recent Develoments in the Navier-Stokes Problem, Chaman and Hall/CRC Research Notes in Mathematics, vol. 43, Chaman and Hall/CRC, Boca Raton, FL, 22, M. E. Taylor, Analysis on Morrey saces and alications to Navier-Stokes equations and other evolution equations, Comm. P. D. E., 7 (992), F. B. Weissler, The Navier-Stokes initial value roblem in L, Arch. Rat. Mech. Anal., 74 (98),