Analyticity and dynamics of a Navier-Stokes-Keller-Segel system on bounded domains

We consider a coupled chemotaxis-fluid model : {partial derivative(t)u + u . del u + del P = v Delta u - n del phi, del . u = 0, partial derivative(t)n + u . del n = D-n Delta n - del . (n chi(c)del c), partial derivative(t)c + u . del c = D-c Delta c - n integral(c), describing the interplay of hydrodynamics and chemotaxis in bacterial suspensions, on bounded domains in R-d (d = 2, 3). In the first part of the paper, by assuming phi,chi and f are analytic functions, we show that solutions on periodic domains become instantaneously analytic with respect to spatial variables for rough data, due to the parabolic smoothing effect. The result holds for all space dimensions, d >= 2, for short time when the initial data is large and for an arbitrarily long given time when initial data is small in a suitably strong regularity class. However, if the initial data belongs to a weaker regularity class, then the smoothing effect is shown to hold for only small data and large time. The second part of the paper is devoted to the study of long-time asymptotic behavior of classical solutions in two space dimensions when chi(c) equivalent to 0 equivalent to f( c) and phi = x(d). By using L-p-based energy methods, it is shown that when v > 0 and D-n > 0, the equilibrium determined by the no-flow boundary condition for u and a naturally stabilizing boundary condition for n is globally asymptotically stable regardless of the magnitude of initial data. In addition, by developing a novel energy method, we show that when v = 0 and D-n > 0, the naturally stabilizing boundary datum for n is still globally asymptotically stable. These appear to be the first such results for the model on bounded domains with physical boundaries. In addition, the method for proving the last result can be of independent interest.