A result on the existence and uniqueness of stationary solutions for a bioconvective flow model (Q1749079)

Summary: In this note, we prove the existence and uniqueness of weak solutions for the boundary value problem modelling the stationary case of the bioconvective flow problem. The bioconvective model is a boundary value problem for a system of four equations: the nonlinear Stokes equation, the incompressibility equation, and two transport equations. The unknowns of the model are the velocity of the fluid, the pressure of the fluid, the local concentration of microorganisms, and the oxygen concentration. We derive some appropriate a priori estimates for the weak solution, which implies the existence, by application of Gossez theorem, and the uniqueness by standard methodology of comparison of two arbitrary solutions.