arxiv:73.794v [math.ap] 6 Mar 7 Global existence and asymptotic behavior of classical solutions for a 3D two-species chemotaxis-stokes system with competitive kinetics Xinru Cao Institut für Mathematik, Universität Paderborn Warburger Str., 3398 Paderborn, Germany Shunsuke Kurima Department of Mathematics, Tokyo University of Science -3, Kagurazaka, Shinjuku-ku, Tokyo 6-86, Japan Masaaki Mizukami Department of Mathematics, Tokyo University of Science -3, Kagurazaka, Shinjuku-ku, Tokyo 6-86, Japan masaaki.mizukami.math@gmail.com September, 8 Abstract. This paper considers the two-species chemotaxis-stokes system with competitive kinetics (n ) t +u n = n χ (n c)+µ n ( n a n ), x, t >, (n ) t +u n = n χ (n c)+µ n ( a n n ), x, t >, c t +u c = c (αn +βn )c, x, t >, u t = u+ P +(γn +δn ) φ, u =, x, t > under homogeneous Neumann boundary conditions in a three-dimensional bounded domain R 3 with smooth boundary. Both chemotaxis-fluid systems and two-species chemotaxis systems with competitive terms are studied by many mathematicians. However, there has not been rich results on coupled two-species-fluid systems. Recently, global existence and asymptotic stability in the above problem with (u )u in the fluid equation of the above system were established in the -dimensional case ([4]). The purpose of this paper is to give results for global existence, boundedness and stabilization of solutions to the above system in the 3-dimensional case when µi χ i (i =,) is sufficiently large. Mathematics Subject Classification. Primary: 35K45; Secondary: 9C7; 35Q35. Key words and phrases: chemotaxis-stokes; global existence; asymptotic stability. Corresponding author
. Introduction and results We consider the following two-species chemotaxis-fluid system with competitive terms: (.) (n ) t +u n = n χ (n c)+µ n ( n a n ), x, t >, (n ) t +u n = n χ (n c)+µ n ( a n n ), x, t >, c t +u c = c (αn +βn )c, x, t >, u t +κ(u )u = u+ P +(γn +δn ) φ, u =, x, t >, ν n = ν n = ν c =, u =, x, t >, n i (x,) = n i, (x), c(x,) = c (x), u(x,) = u (x), x, i =,, where is a bounded domain in R 3 with smooth boundary and ν denotes differentiation with respect to the outward normal of ; κ {,} (in this paper we will deal with the case that κ = ), χ,χ,a,a and µ,µ,α,β,γ,δ > are constants; n,,n,,c,u,φ are known functions satisfying (.) (.3) < n,,n, C(), < c W,q (), u D(A ϑ ), φ C +η () for some q > 3, ϑ ( 3 4,), η > and A is the Stokes operator. The problem (.) is a generalized system to the chemotaxis-fluid system which is proposed by Tuval et al. [33]. This system describes the evolution of two competing species which react on a single chemoattractant in a liquid surrounding environment. Here n,n represent the population densities of species, c stands for the concentration of chemoattractant, u shows the fluid velocity field and P represents the pressure of the fluid. The problem (.) comes from a problem on account of the influence of chemotaxis, the Lotka Volterra competitive kinetics and the fluid. In the mathematical point of view, the chemotaxis term: (n c), the competition term: n ( n a n ) and the Stokes equation give difficulties in mathematical analysis. The one-species system (.) with n = has been studied in some literature. It is known that there exist global classical solutions in the -dimensional setting; however, in the 3-dimensional setting, only global weak solutions exist. In this one-species system with µ =, Winkler first attained global existence of classical solutions to (.), κ = in the 3-dimensional setting and κ = in the -dimensional setting ([37]), and also established asymptotic stability of solutions to (.) ([38]). Moreover, the convergence rate has been already studied ([43]). Recently, Winkler [4] attained global existence and eventual smoothness of weak solutions and their asymptotic behavior for the 3-dimensional chemotaxis-navier Stokes system. In the analysis of the one-species case the logistic source can enhance the possibility of global existence of solutions. In the 3-dimensional setting, Lankeit [9] obtained global existence of weak solutions in (.) with n =, κ = and with additional external force f in the fourth equation, and also derived eventual smoothness and asymptotic behavior. Even for more complicated problems, Keller Segel-fluid systems where (αn +βn )c is
replaced with c + αn in (.) with n =, logistic source is shown to be helpful for establishing classical bounded solutions. In the 3-dimensional setting, Tao and Winkler [3] established global existence and boundedness of classical solutions by assuming that µ > 3. In the -dimensional case, Tao and Winkler [3] also showed global existence of bounded classical solutions in the Keller Segel-Navier Stokes system with logistic source with +rn µ n for any µ >, and their asymptotic behavior were obtained when r =. For more related works we refer to Ishida [6], Wang and the first author [34], Wang and Xiang [35], Black [3], the first author [5], the first author and Lankeit [6], Kozono, Miura and Sugiyama [7]. These results fully parallel to those for the fluid free model; we can find counterpart in [, 6, 9]. On the other hand, the study on two-species competitive chemotaxis systems with signal consumption seems pending. We can only find related research with signal production in which the asymptotic behavior of solutions usually relies on some smallness assumption for the chemotaxis sensitivities (e.g., for the noncompetitive case (a = a = ), see Negreanu and Tello [4, 5], the third author and Yokota [3], the third author []; for the competitive case see Tello and Winkler [3], Stinner, Tello and Winkler [8], Bai and Winkler [], Black, Lankeit and the third author [4], the third author []). As mentioned above, the chemotaxis-fluid systems (n = in (.)) and the chemotaxis systems with competitive terms (u = in (.)) were studied by many mathematicians. However, the problem (.), which is the combination of chemotaxis-fluid systems and chemotaxis-competition systems, had not been studied. Recently, global existence, boundedness of classical solutions and their asymptotic behavior were showed only in the -dimensional setting ([4]). The purpose of the present article is to obtain global existence and boundedness of classical solutions, and their asymptotic stability in the 3-dimensional setting. The main results read as follows. The first theorem gives global existence and boundedness in (.). In view of known results on logistic chemotaxis-systems, it is no wonder that an assumption on smallness of χ and χ related to µ and µ will be necessary in the considered 3-dimensional case. Theorem.. Let R 3 be a bounded domain with smooth boundary and let κ =, χ,χ,a,a, µ,µ,α,β,γ,δ >. Suppose that (.) and (.3) hold. Then there exists a constant ξ > such that whenever χ := max{χ,χ } and µ := min{µ,µ } satisfy χ µ < ξ, the problem (.) possesses a classical solution (n,n,c,u,p) such that n,n C( [, )) C, ( (, )), c C( [, )) C, ( (, )) L loc ([, );W,q ()), u C( [, )) C, ( (, )) L loc([, );D(A ϑ )), P C, ( (, )). Also, the solution is unique in the sense that it allows up to addition of spatially constants to the pressure P. Moreover, there exists a constant C > such that n (,t) L () + n (,t) L () + c(,t) W,q () + u(,t) L () C for all t (, ). 3
The second theorem is concerned with asymptotic stability in (.). Theorem.. Let the assumption of Theorem. holds. Then the solution of (.) has the following properties: (i) Assume that a,a (,). Then n (,t) N, n (,t) N, c(,t), u(,t) in L () as t, where N := a a a, N := a a a. (ii) Assume that a > a. Then n (,t), n (,t), c(,t), u(,t) in L () as t. The strategy for the proof of Theorem. is to derive the L p -estimate for n i with p > 3. By using the differential inequality we can see t t ( ) n p + n p C c p+ C n p+ + n p+ e (p+)(t s) e (p+)(t s) with some C > and >. The maximal Sobolev regularity (see Lemma.) will be used to control t e (p+)(t s) c p+. Combining the maximal Sobolev regularity with some estimate for Au, we can obtain the L p -estimate for n i. On the other hand, the strategy for the proof of Theorem. is to derive the following inequality: (.4) (n N ) + (n N ) C with some C >, where (N,N,,) is a constant solution to (.). In order to obtain this estimate we will use the energy function ( E := n N N log n ( )+b n N N log n ) + b c N N with some b,b >, and show d E(t) ε dt [ (n N ) +(n N ) ] with some ε >. This estimate and the positivity of E(t) lead to (.4). Thispaper isorganizedasfollows. InSectionwecollect basicfactswhichwill beused later. In Section 3 we prove global existence and boundedness (Theorem.). Sections 4 is devoted to showing asymptotic stability (Theorem.). 4
. Preliminaries In this section we will provide some results which will be used later. The following lemma gives local existence of solutions to (.). Lemma.. Let R 3 be a bounded domain with smooth boundary. Suppose that (.) and (.3) hold. Then there exists T max (, ] such that the problem (.) possesses a classical solution (n,n,c,u,p) fulfilling n,n C( [,T max )) C, ( (,T max )), c C( [,T max )) C, ( (,T max )) L loc([,t max );W,q ()), u C( [,T max )) C, ( (,T max )) L loc ([,T max);d(a ϑ )), n,n >, c > in (,T max ). Also, the solution is unique up to addition of spatially constants to the pressure P. Moreover, either T max = or lim sup tրt max ( n (,t) L () + n (,t) L () + c(,t) W,q () + A ϑ u(,t) L ()) =. Proof. The proof of local existence of classical solutions to (.) is based on a standard contraction mapping argument, which can be found in [37]. Accordingly, the maximum principle is applied to yield n,n > and c > in (,T max ). Given all (,T max ), from the regularity properties we see that c(, ) C () with ν c(, ) = on. In particular, there exists M = M( ) > such that c(, ) W, () M (see e.g., [4]). The following lemma is referred to as a variation of the maximal Sobolev regularity (see [3, Theorem 3.]), which is important to prove Theorem.. Lemma.. Let (,T max ). Then for all p > there exists a constant C = C (p) > such that t t e ps c p C e ps c (αn +βn )c u c p holds for all t (,T max ). +C e p ( c(, ) p L p () + c(,) p L p () ) Proof. Let (,T max ) and let t (,T max ). We rewrite the third equation as c t = ( )c c+ ( c (αn +βn )c ) u c, 5
and use the transformation c(,s) = e s c(,s), s (,t). Then c satisfies c t = ( ) c+f, x, s (,t), ν c =, x, s (,t), c(, ) = e c(, ) W,p (), x, where f := e s (c (αn +βn )c u c) L p (,t;l p ()). Therefore an application of the maximal Sobolev regularity [3, Theorem 3.] to c implies this lemma. 3. Boundedness. Proof of Theorem. In this section we will prove Theorem. by preparing a series of lemmas. Lemma 3.. There exists a constant C > such that n i (,t) C for all t (,T max ) for i =,. Proof. The same argument as in the proof of [4, Lemma 3.] implies this lemma. Lemma 3.. The function t c(,t) L () is nonincreasing. In particular, holds for all t (,T max ). c(,t) L () c L () Proof. We can prove this lemma by applying the maximum principle to the third equation in (.). Lemma 3.3. For r (,3) there exists a constant C 3 = C 3 (r) > such that for all t (,T max ). u(,t) L r () C 3 Proof. From the well-known Neumann heat semigroup estimates together with Lemma 3. we can obtain the L r -estimate for u with r (,3)(for more details, see [39, Corollary 3.4]). Now we fix (,T max ) (,]. The proofs of the following two lemmas are based on the methods in [4, Lemma 3.]. 6
Lemma 3.4. For all p >, ε > and l > there exists a constant C 4 = C 4 (p) > such that p n p (,t)+ n p p (,t) t ( (µ ε l)e (p+)t +C 4 l p χ p+ e (p+)t t e (p+)s e (p+)s n p+ + c p+ +C 4 for all t (,T max ), where µ = min{µ,µ }, χ = max{χ,χ }. ) n p+ Proof. Let p >. Multiplying the first equation in (.) by n p and integrating it over, we see that d pdt n p = u n p + p +µ n p µ n p p n +χ n p c p n p+ a µ n p n. Noting from u = in (,T max ) that u np = ( u)np =, we obtain from integration by parts and nonnegativity of n, n that d n p = (p ) n p n p (3.) χ n p pdt p c+µ n p µ n p+ a µ n p n p χ n p p c+µ n p µ n p+ = p+ n p p χ p ( n p p c+ µ + p+ ) n p p µ n p+. Now we let ε > and l >. By the Young inequality there exists a constant C 5 = C 5 (µ,ε,p) > such that ( (3.) µ + p+ ) n p ε n p+ +C 5. p Moreover, the second term on the right-hand side of (3.) can be estimated as p (3.3) χ n p p c χ n p c l n p+ +C 6 l p χ p+ c p+ with some C 6 = C 6 (p) >. Hence we derive from (3.), (3.) and (3.3) that d n p pdt + p+ n p p (µ ε l) n p+ +C 6 l p χ p+ c p+ +C 5. 7
Therefore there exists C 7 = C 7 (µ,ε,p,, ) > such that p n p (,t) e (p+)(t ) t (3.4) n p p (,) (µ ε l) t t +C 6 l p χ p+ e (p+)(t s) c p+ +C 5 t (µ ε l)e (p+)t +C 6 l p χ p+ e (p+)t t e (p+)s e (p+)s for each t (,T max ). Similarly, we see that t (3.5) n p p (,t) (µ ε l)e (p+)t +C 6 l p χ p+ e (p+)t t e (p+)s e (p+)s n p+ c p+ +C 7 e (p+)(t s) n p+ e (p+)(t s) c p+ +C 8 with some C 8 = C 8 (µ,ε,p,, ) >. Thus from (3.4) and (3.5) we have that there exists C 9 = C 9 (µ,ε,p,, ) > such that p n p (,t)+ n p p (,t) t ( ) (µ ε l)e (p+)t e (p+)s n p+ + n p+ t +C 6 l p χ p+ e (p+)t c p+ +C 9, where µ = min{µ,µ } and χ = max{χ,χ }. e (p+)s Lemma 3.5. For all p (,) there exists a constant C = C (p) > such that t c p+ e (p+)s C t e (p+)s ( n p+ L p+ () + n p+ L p+ () )+C +C e (p+)t +C for all t (,T max ). t e (p+)s Au L () ds Proof. Fix θ (,) and put θ = θ. We derive from Lemma. that θ t t (3.6) c p+ C c (αn +βn )c u c p+ e (p+)s e (p+)s +C e (p+) c(, ) p+ W,p+ () 8 n p+
holds with some C = C (p) >. Lemma 3. and the Hölder inequality imply t (3.7) c (αn +βn )c u c p+ e (p+)s C t C t e (p+)s e (p+)s +C e (p+)t (n p+ +n p+ + u c p+ )+C e (p+)t ( n p+ L p+ () + n p+ L p+ () + u p+ L (p+)θ () c p+ L (p+)θ () with some C = C (p) >. Here we see from the Gagliardo Nirenberg inequality and Lemma 3. that there exist constants C 3 = C 3 (p),c 4 = C 4 (p) > such that ) (3.8) c p+ C L (p+)θ () 3 c a(p+) L p+ () c ( a)(p+) L () +C 3 c p+ L () C 4 c a(p+) L p+ () +C 4 with a := 3 (p+)θ 3 p+ t e (p+)s (,). By (3.6), (3.7), (3.8) and the Young inequality it holds that c p+ C 5 t +a e (p+)s ( n p+ L p+ () + n p+ t +C 5 t e (p+)s c p+ L p+ () +C 5 L p+ () ) t e (p+)s u p+ a L (p+)θ () e (p+)s u p+ L (p+)θ () +C 5e (p+)t +C 5 with some C 5 = C 5 (p) >. Here we use p <, which namely enable us to pick r (,3) such that (3.9) 3 p+ 3 (p+)θ holds. Therefore we can obtain that t (3.) c p+ e (p+)s C 5 a t + C 5 a (p+) 3 3 r (p+)θ + 3 r < e (p+)s ( n p+ L p+ () + n p+ L p+ () )+ C 5 a t t e (p+)s u p+ L (p+)θ () + C 5 a e(p+)t + C 5 a. e (p+)s u p+ a L (p+)θ () Now we see from the Gagliardo Nirenberg inequality, Lemma 3.3 and the Young inequality that there exists a constant C 6 = C 6 (p) > such that (3.) u(,s) p+ a Au(,s) p+ a b u(,s) p+ L (p+)θ () L () 9 a ( b) L r () C 6 +C 6 Au(,s) L ()
with b := 3 r 3 (p+)θ (,), since p+ b < from (3.9). Similarly, there exists a constant +3 a r C 7 = C 7 (p) > such that (3.) u(,s) p+ L (p+)θ () C 7 +C 7 Au(,s) L () for all s (,T max ). Therefore combination of (3.) with (3.) and (3.) yields that there exists a constant C 8 = C 8 (p) > such that t e (p+)s c(,s) p+ ds t C 8 e (p+)s ( n (,s) p+ L p+ () + n (,s) p+ L p+ () )ds t +C 8 e (p+)s Au(,s) L () ds+c 8e (p+)t +C 8 for all t (,T max ), which means the end of the proof. In order to control t e (p+)s c p+ we provide the following lemma. Lemma 3.6. For all p > there exists a constant C 9 = C 9 (p) > such that t e (p+)s e (p+) Au for all t (,T max ). A u(,s ) +C 9 e (p+)t +C 9 t e (p+)s ( n p+ + ) n p+ Proof. It follows from the fourth equation in(.), the Young inequality and the continuity of the Helmholtz projection on L (;R 3 ) ([9, Theorem ]) that d A u + Au dt = Au P[(γn +δn ) φ] Au + (γn +δn ) φ 4 ( ) Au +(γ +δ ) φ L 4 () n + n ( ) Au +(γ +δ ) φ L 4 () + n p+ + n p+, and hence there exists a constant C > such that d (3.3) A u + 3 ( Au C +C dt 4 n p+ + ) n p+
and we derive from [7, Part, Theorem 4.], Lemma 3.3 and the Young inequality that (3.4) A u C Au(,s) L () u L () C + (p+) Au(,s) L () with some constants C,C >. By (3.3) and (3.4) we obtain d A u + p+ A u + ( Au C 3 +C 3 n p+ + dt 4 with some constant C 3 = C 3 (p) >, and hence we have t e (p+)s e (p+) Au A u(,s ) +C 4 e (p+)t +C 4 t e (p+)s with some constant C 4 = C 4 (p) >, which concludes the proof. ( n p+ + ) n p+ ) n p+ Lemma 3.7. For all p (,) and for all l > there exist positive constants K(p) > and C 5 = C 5 (p,l) > such that if µ > µ p,l := l+k(p)l p χ p+, then n i (,t) L p () C 5 for all t (,T max ) for i =,, where µ = min{µ,µ }, χ = max{χ,χ }. Proof. It follows from Lemmas 3.4, 3.5 and 3.6 that there exists a constant K(p) > such that p n p (,t)+ n p p (,t) t ( (µ ε l K(p)l p χ p+ )e (p+)t +K(p)l p χ p+ +K(p) e (p+)s n p+ + ) n p+ for all t (,T max ). We assume that µ > µ p,l. Then there exists ε (,µ µ p,l ) such that µ ε l K(p)l p χ p+. Thus we derive that p n p (,t)+ p n p (,t) K(p)l p χ p+ +K(p) holds for all t (,T max ), which concludes the proof of Lemma 3.7. The proof of the following lemma is based on the method in [4, Proof of Theorem ].
Lemma 3.8. For all p ( 3,) there exists ξ > such that if χ µ < ξ, then there exists a constant C 6 > such that for i =,. n i (,t) L p () C 6 for all t (,T max ) Proof. Let p ( 3,) and let ξ = ξ (p) > satisfing inf µ p,l = inf l> l> (l+k(p)l p χ p+ ) = χ. ξ Then we can see that χ µ < ξ implies µ > µ p,l with some l >. Therefore Lemma 3.7 implies that there exists a constant C 7 = C 7 (p) > such that n i (,t) L p () C 7 for all t (,T max ) for each i =,, which implies the end of the proof. Lemma 3.9. Assume χ µ < ξ. Then there exists a constant C 8 > such that for all t (,T max ). A ϑ u(,t) L () C 8 and u(,t) L () C 8 Proof. Noting that + 3 ( ϑ) (, 3 ), we can fix p ( ) ( ϑ), + 3. It follows from Lemma 3.8, the well-known regularization estimates for Stokes semigroup [, 7] and the continuity of the Helmholtz projection on L r (;R 3 ) (see e.g., [9, Theorem ]) that there exist constants C 9,C 3,C 3,C 3 > and λ > such that A ϑ u(,t) L () A ϑ e ta u L () + t A ϑ e (t s)a P[(γn +δn ) φ] L ()ds A ϑ u L () t +C 9 (t s) ϑ 3 ( p ) e λ(t s) P[(γn +δn ) φ] L p ()ds t A ϑ u L () +C 3 (t s) ϑ 3 ( p ) e λ(t s) γn +δn L p ()ds A ϑ u L () +C 3 σ ϑ 3 ( p ) e λσ dσ C 3 for all t (,T max ) since ϑ + 3 ( p ) <. Moreover, the properties of D(Aϑ ) ([, Theorem 3] and [, Theorem.6.]) imply that there exists C 33 > such that u(,t) L () C 33 A ϑ u(,t) L () for all t (,T max ), which concludes the proof.
Lemma 3.. Assume χ µ < ξ. Then there exist r (3,6) (,q] and C 34 = C 34 (r) > such that c(,t) L r () C 34 for all t (,T max ). Proof. Let r (3,6) (,q] and fix p ( 3q,). An application of the variation of q+3 constants formula for c leads to (3.5) c(,t) L r () e t( ) c L r () + + t t e (t s)( ) (αn (,s)+βn (,s)+)c(,s) L r ()ds e (t s)( ) (u(,s)c(,s)) L r ()ds. We first obtain the estimate for the first term on the right-hand side of (3.5). Noting that q > 3, we derive from the Hölder inequality and [36, Lemma.3 (iii)] that there exist constants C 35,C 36 > such that (3.6) e t( ) c L r () C 35 e t( ) c L q () C 36 c L q (). We next establish the estimate for the second term on the right-hand side of (3.5). Lemmas 3. and 3.8 yield that there exist constants C 37,C 38 > such that (3.7) t e (t s)( ) (αn (,s)+βn (,s)+)c(,s) L r ()ds t C 37 [+(t s) 3 ( p r ) ]e (t s) ( n (,s) L p () + n (,s) L p () + p )ds t C 38 [+(t s) 3 ( p r ) ]e (t s) ds. Here, since + 3 ( ) <, we have p r (3.8) t [+(t s) 3 ( p r ) ]e (t s) ds (+σ 3 ( p r ) )e σ dσ <. Combination of (3.7) and (3.8) derives that (3.9) t e (t s)( ) (αn (,s)+βn (,s)+)c(,s) L r ()ds C 39 with some constant C 39 >. Finally we will deal with the third term on the right-hand side of (3.5). Now we put θ r, < l < satisfying + 3 ( θ r ) < l and a (, l). Then we derive from [5, Section ] and Lemmas 3. and 3.9 that there exist constants 3
C 4,C 4,C 4 > and λ > such that (3.) t e (t s)( ) (u(,s)c(,s)) L r ()ds t e (t s)( ) (u(,s)c(,s)) W,r ()ds t C 4 ( +) l e (t s)( ) (u(,s)c(,s)) L ()ds θ t C 4 (t s) l a e λ(t s) u(,s)c(,s) L ()ds θ t C 4 (t s) l a e λ(t s) ds. Noting that l+ +a <, we infer that there exists a constant C 43 > such that (3.) t From (3.) and (3.) we have (3.) (t s) l a e λ(t s) ds t σ l a e λσ dσ C 43. e (t s)( ) (u(,s)c(,s)) L r ()ds C 44 with some constant C 44 >. Therefore in light of (3.5), (3.6), (3.9) and (3.) there exists a constant C 45 > that for all t (,T max ). c(,t) L r () C 45 Then we will derive the L -estimate for n i by using the well-known semigroup estimates (see []). Lemma 3.. Assume χ µ < ξ. Then there exists a constant C 46 > such that for i =,. n i (,t) L () C 46 for all t (,T max ) Proof. We let q > 3 and let p ( 3 3p,) with 3 p obtain < q. Then thanks to Lemma 3.8, we n (,t) L p () C 47 for all t (,T max ) with some C 47 >. Now we can choose r (3,q) such that p > 3r 3+r and θ > satisfying { θ < min r(3 p), q r 3p q 4 },
and put θ := θ, and then θ rθ < 3p 3 p and rθ < q hold. Now for all T (,T max ) we note that M(T ) := sup n (,t) L () t (,T ) is finite. In order to obtain the estimate for M(T ) for all t (,T ) we put t := (t ) + and represent n according to n (,t) = e (t t ) n (t ) t t +µ e (t s) n ( n a n )ds t =: I (,t)+i (,t)+i 3 (,t). t e (t s) (χn (,s) c(,s)+n (,s)u(,s))ds In the case that t, from the order preserving property of the Neumann heat semigroup we know that I (,t) L () n, L () for all t (,min{,t }). In the case that t >, by using the L p -L q estimate for (e τ ) τ> (see [36, Lemma.3 (i)]) and Lemma 3.8 we can see that there exists a constant C 48 > such that I (,t) L () n (,t ) L p () C 48 for all t (,T ). Thanks to the elementary inequality ( µ n ( n a n ) µ n +µ ) + (+µ ) (+µ ) µ 4µ 4µ together with the maximum principle, we see that there exists a constant C 49 > such that I 3 (,t) C 49 for all t (,T ). Next we obtain from the known smoothing property of (e τ ) τ (see [8]) that t e (t s) (χ n (,s) c(,s)+n (,s)u(,s)) ds L () t ( ) C 5 sup χ n (,s) c(,s) L () + n (,s)u(,s) L () s (,T ) σ 3 r dσ 5
for all t (,T ) with some C 5 >. Here we note from + 3 < that 3 r finite. Then we can obtain that σ 3 3 r dσ is n (,s) c(,s) L () n (,s) c(,s) L () for all s (,T ). Noting from rθ < 3p 3 p that n (,s) L rθ () c(,s) L rθ () M(T ) rθ n (,s) rθ L () c(,s) L rθ () rθ (3,6) (,q], we have from Lemma 3. that there exists C 5 > such that Therefore we can find C 5 > satisfying c(,s) L rθ () C 5 for all s (,T ). n (,s) c(,s) L () C 5 for all s (,T ). Similarly, from Lemma 3.9 there exists a constant C 53 > such that n (,s)u(,s) L θ () C 53 M(T ) rθ n (,s) L (). Therefore, Lemma 3. leads to the existence of C 54,C 55 > such that n (,t) I (,t) L () + I (,t) L () +I 3 (,t) C 54 +C 55 M(T ) rθ, which implies from the positivity of n that M(T ) C 54 +C 55 M(T ) rθ. Noting that rθ >, we derive that there exists C 56 > such that M(T ) = sup n (,t) L () C 56 for all T (,T max ). t (,T ) Similarly we prove that there exists a constant C 57 > such that n (,t) L () C 57 for all t (,T max ). Therefore we can attain the conclusion of the proof. Proof of Theorem.. Combination of Lemmas., 3.9, 3. and 3. directly leads to Theorem.. 4. Stabilization. Proof of Theorem. 4.. Case : a,a (,) Now we assume that χ µ < ξ. In this section we will show stabilization in (.) in the case a,a (,). We will prove the key estimate for the proof of Theorem.. The proof is same as that of [4, Lemma 4.]. 6
Lemma 4.. Let a,a (,) and let (n,n,c,u) be a solution to (.). Under the assumption of Theorem., there exist k,l > and ε > such that the nonnegative functions E and F defined by and satisfy (4.) where E := ( n N log n N F := )+k (n N ) + ( n N log n ) + l c N (n N ) d dt E (t) ε F (t) for all t >, N := a a a, N := a a a. By using Lemma 4. we can show stabilization of n,n. Lemma 4.. Let a,a (,) and let (n,n,c,u) be a solution to (.). Under the assumption of Theorem., the solution of (.) satisfies the following properties: n (,t) N L (), n (,t) N L () as t. Proof. Firstly we can see from Lemmas 3.9, 3., 3. and [8] that there exist constants C 58 > and α (,) such that for all t. Now we set f (t) := n C α, α ( [t,t+]) + n C α, α ( [t,t+]) C 58 (n N ) + (n N ). Then the function f is nonnegative and uniformly continuous. We see from Lemma 4. that (4.) (n N ) + (n N ) = f (t)dt E () <. ε Thus the compactness method ([4, Lemma 4.6]) concludes the proof. 4.. Case : a > a In this section we assume that χ µ < ξ. This section is devoted to obtaining stabilization in (.) in the case a > a. We will give the following lemma for obtaining it. The proof is same as that of [4, Lemma 4.3]. 7
Lemma 4.3. Let a > a and let (n,n,c,u) be a solution to (.). Under the assumption of Theorem., there exist k,l > and ε > such that the nonnegative functions E and F defined by and satisfy E := n +k F := (n logn )+ l n + (n ) c d (4.3) dt E (t) ε F (t) for all t >. By using a similar argument, Lemma 4.3 leads to stabilization of n,n. Lemma 4.4. Let a > a and let (n,n,c,u) be a solution to (.). Under the assumption of Theorem., it holds that n (,t) L (), n (,t) L () as t. Proof. Noting from Lemma 4.3 that (4.4) n + (n ) <, we can prove this lemma by the same argument as in the proof of Lemma 4.. 4.3. Convergence for c and u Finally we give the following lemma to establish the decay properties of c and u. We first show the lower estimate for n. Lemma 4.5. Let a (,). Under the assumption of Theorem., there exist constants C 59 > and T > such that n (x,t) C 59 for all x and all t > T. Proof. We first deal with the case that a,a (,). Now, we assume that this lemma does not hold. Then there exist {x j } j N and {t j } j N [, ) such that t j as j satisfying Thus we have n (x j,t j ) < N for all j N. n (,t j ) N L () N n (x j,t j ) > N (4.5) for all j N, which means that n (,t j ) does not converge to N as j. However, Lemma 4. asserts that n (,t j ) N L () as j, which contradicts (4.5). In the case that a > a a similar argument leads to the lower estimate for n. Therefore we can conclude the proof. 8
Lemma 4.6. Under the assumption of Theorem., the solution of (.) satisfies c(,t) L (), u(,t) L () as t. Proof. Noting from Lemmas 4. and 4.3 that T (αn +βn )c < and using Lemma 4.5, we can establish that c <, T which entails c(,t) L () as t. Next we will show that u(,t) L () as t. Let θ ( 3,ϑ) and a = θ (,). It follows from combination of [, Theorem 3], 4 ϑ [, Theorem.6.], [7, Part, Theorem 4.] and Lemma 3.9 that there exist constants C 6,C 6,C 6 > such that u L () C 6 A θ u L () C 6 A ϑ u a L () A u a L () C 6 u a L (), which means that it is sufficient to show that u(,t) L () as t. We first note from the Poincaré inequality that there exists a constant C 63 > such that u(,s) L () C 63 u(,s) L () for all s (, ). Put (n,,n, ) := (N,N ) if a,a (,) or (n,,n, ) := (,) if a > a. We infer from the fourth equation in (.) and the Young inequality that d u + u dt = (γ(n n, )+δ(n n, )) φ u+(γn, +δn, ) φ u ( u +C 64 n, ) 4C 63 (n + (n n, ) )+(γn, +δn, ) φ u for all t (, ) with some constant C 64 >. Since u = in (, ), the functions ( ) y(t) := u(,t) and h(t) := C 64 n, ) (n + (n n, ) satisfy with some C 65 >. Hence it holds that y (t)+c 65 y(t) h(t) (4.6) y(t) y()e C 65t + y()e C 65t + t t e C 65(t s) h(s)ds e C 65(t s) h(s)ds+ t t e C 65(t s) h(s)ds. 9
Here we see from Lemma 3. that there exists a constant C 66 > such that h(s) C 66 for all s >, and hence we have (4.7) t e C 65(t s) h(s)ds C 66 e C 65t t e C 65s ds C 67 e C 65 t with some C 67 >. On the other hand, noting from (4.) and (4.4) that h(s)ds <, we can see that (4.8) t t e C 65(t s) h(s)ds t t h(s)ds as t. Therefore combination of (4.6) with (4.7) and (4.8) leads to which means the end of the proof. 4.4. Proof of Theorem. u(,t) L () = y(t) as t, Proof of Theorem.. Lemmas 4., 4.4, and 4.6 directly show Theorem.. References [] X. Bai, M. Winkler, Equilibration in a fully parabolic two-species chemotaxis system with competitive kinetics, Indiana Univ. Math. J. 65 (6), 553 583. [] N. Bellomo, A. Bellouquid, Y. Tao, M. Winkler, Toward a mathematical theory of Keller Segel models of pattern formation in biological tissues, Math. Models Methods Appl. Sci. 5 (5), 663 763. [3] T. Black, Sublinear signal production in a two-dimensional Keller Segel-Stokes system, Nonlinear Anal. Real World Appl. 3 (6), 593 69. [4] T. Black, J. Lankeit, M. Mizukami, On the weakly competitive case in a two-species chemotaxis model, IMA J. Appl. Math. 8 (6), 86 876. [5] X. Cao, Global classical solutions in chemotaxis(-navier)-stokes system with rotational flux term, J. Differential Equations 6 (6), 6883 694. [6] X. Cao, J. Lankeit, Global classical small-data solutions for a three-dimensional chemotaxis Navier Stokes system involving matrix-valued sensitivities, Calc. Var. Partial Differential Equations 55 (6), Paper No. 7, 39 pp. [7] A. Friedman, Partial Differential Equations, Holt, Rinehart and Winston, Inc., New York-Montreal, Que.-London, 969. [8] K. Fujie, A. Ito, M. Winkler, T. Yokota, Stabilization in a chemotaxis model for tumor invasion, Discrete Contin. Dyn. Syst. 36 (6), 5 69.
[9] D. Fujiwara, H. Morimoto, An L r -theorem of the Helmholtz decomposition of vector fields, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 4 (977), 685 7. [] Y. Giga, The Stokes operator in L r spaces, Proc. Japan Acad. Ser. A Math. Sci. 57 (98), 85 89. [] Y. Giga, Solutions for semilinear parabolic equations in Lp and regularity of weak solutions of the Navier Stokes system, J. Differential Equations 6 (986), 86. [] D. Henry, Geometric Theory of Semilinear Parabolic Equations, Lecture Notes in Mathematics, 84, Springer-Verlag, Berlin-New York, 98. [3] M. Hieber, J. Prüss, Heat kernels and maximal L p -L q estimate for parabolic evolution equations, Comm. Partial Differential Equations (997), 647 669. [4] M. Hirata, S. Kurima, M. Mizukami, T. Yokota, Boundedness and stabilization in a two-dimensional two-species chemotaxis-navierstokes system with competitive kinetics, J. Differential Equations, to appear. [5] D. Horstmann, M. Winkler, Boundedness vs. blow-up in a chemotaxis system, J. Differential Equations 5 (5), 5 7. [6] S. Ishida, Global existence and boundedness for chemotaxis-navier Stokes systems with position-dependent sensitivity in D bounded domains, Discrete Contin. Dyn. Syst. 35 (5), 3463 348. [7] H. Kozono, M. Miura, Y. Sugiyama, Existence and uniqueness theorem on mild solutions to the Keller Segel system coupled with the Navier-Stokes fluid, J. Funct. Anal. 7 (6), 663 683. [8] O. A. Ladyženskaja, V. A. Solonnikov, N. N. Ural ceva, Linear and Quasi-linear Equations of Parabolic Type, AMS, Providence, 968. [9] J. Lankeit, Long-term behaviour in a chemotaxis-fluid system with logistic source, Math. Models Methods Appl. Sci. 6 (6), 7 9. [] J. Lankeit, Y. Wang, Global existence, boundedness and stabilization in a highdimensional chemotaxis system with consumption, preprint. [] M. Mizukami, Remarks on smallness of chemotactic effect for asymptotic stability in a two-species chemotaxis system, AIMS Mathematics (6), 56 64. [] M. Mizukami, Boundedness and asymptotic stability in a two-species chemotaxiscompetition model with signal-dependent sensitivity, Discrete Contin. Dyn. Syst. Ser. B, to appear. [3] M. Mizukami, T. Yokota, Global existence and asymptotic stability of solutions to a two-species chemotaxis system with any chemical diffusion, J. Differential Equations 6 (6), 65 669.
[4] M. Negreanu, J. I. Tello, On a two species chemotaxis model with slow chemical diffusion, SIAM J. Math. Anal. 46 (4), 376 378. [5] M. Negreanu, J. I. Tello, Asymptotic stability of a two species chemotaxis system with non-diffusive chemoattractant, J. Differential Equations 58 (5), 59 67. [6] K. Osaki, T. Tsujikawa, A. Yagi, M. Mimura, Exponential attractor for a chemotaxisgrowth system of equations, Nonlinear Anal. 5 (Ser. A: Theory Methods) () 9 44. [7] H. Sohr, The Navier Stokes Equations. An Elementary Functional Analytic Approach, Birkhuser Verlag, Basel,. [8] C. Stinner, J. I. Tello, M. Winkler, Competitive exclusion in a two-species chemotaxis model, J. Math. Biol. 68 (4), 67 66. [9] Y. Tao, M. Winkler, Eventual smoothness and stabilization of large-data solutions in a three-dimensional chemotaxis system with consumption of chemoattractant, J. Differential Equations 5 (), 5 543. [3] Y. Tao, M. Winkler, Boundedness and decay enforced by quadratic degradation in a three-dimensional chemotaxis-fluid system, Z. Angew. Math. Phys. 66 (5), 555 573. [3] Y. Tao, M. Winkler, Blow-up prevention by quadratic degradation in a twodimensional Keller Segel-Navier Stokes system, Z. Angew. Math. Phys. 67 (6), 67 38. [3] J. I. Tello, M. Winkler, Stabilization in a two-species chemotaxis system with a logistic source, Nonlinearity, 5 (), 43 45. [33] I. Tuval, L. Cisneros, C. Dombrowski, C. W. Wolgemuth, J. O. Kessler, R. E. Goldstein, Bacterial swimming and oxygen transport near contact lines, Proc. Natl. Acad. Sci. U.S.A. (5), 77 8. [34] Y. Wang, X. Cao, Global classical solutions of a 3D chemotaxis-stokes system with rotation, Discrete Contin. Dyn. Syst. Ser. B (5), 335 354. [35] Y. Wang, Z. Xiang, Global existence and boundedness in a Keller Segel-Stokes system involving a tensor-valued sensitivity with saturation, J. Differential Equations 59 (5), 7578 769. [36] M. Winkler, Aggregation vs. global diffusive behavior in the higher-dimensional Keller Segel model, J. Differential Equations 48 (), 889 95. [37] M. Winkler, Global large-data solutions in a chemotaxis-(navier )Stokes system modeling cellular swimming in fluid drops, Comm. Partial Differential Equations 37 (), 39 35.
[38] M. Winkler, Stabilization in a two-dimensional chemotaxis-navier Stokes system, Arch. Ration. Mech. Anal. (4), 455 487. [39] M. Winkler, Boundedness and large time behavior in a three-dimensional chemotaxis- Stokes system with nonlinear diffusion and general sensitivity, Calc. Var. Partial Differential Equations 54 (5), 3789 388. [4] M. Winkler, Global weak solutions in a three-dimensional chemotaxis-navier Stokes system, Ann. Inst. H. Poincaré Anal. Non Linéaire 33 (6), 39 35. [4] M. Winkler, How far do chemotaxis-driven forces influence regularity in the Navier Stokes system?, Trans. Amer. Math. Soc. 369 (7), 367 35. [4] C. Yang, X. Cao, Z. Jiang, S. Zheng, Boundedness in a quasilinear fully parabolic Keller Segel system of higher dimension with logistic source, J. Math. Anal. Appl. 43 (5), 585 59. [43] Q. Zhang, Y. Li, Convergence rates of solutions for a two-dimensional chemotaxis- Navier Stokes system, Discrete Contin. Dyn. Syst. Ser. B (5), 75 759. 3