Long-term behaviour in a chemotaxis-fluid system with logistic source

We consider the coupled chemotaxis Navier–Stokes model with logistic source terms: [Formula: see text] [Formula: see text] [Formula: see text] in a bounded, smooth domain [Formula: see text] under homogeneous Neumann boundary conditions for [Formula: see text] and [Formula: see text] and homogeneous Dirichlet boundary conditions for [Formula: see text] and with given functions [Formula: see text] satisfying certain decay conditions and [Formula: see text] for some [Formula: see text]. We construct weak solutions and prove that after some waiting time they become smooth and finally converge to the semi-trivial steady state [Formula: see text].