Prescribed signal concentration on the boundary: Weak solvability in a chemotaxis-Stokes system with proliferation

<jats:title>Abstract</jats:title><jats:p>We study a chemotaxis-Stokes system with signal consumption and logistic source terms of the form "Equation missing"<!-- image only, no MathML or LaTex -->where <jats:inline-formula><jats:alternatives><jats:tex-math>$$\kappa \ge 0$$</jats:tex-math><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>κ</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>0</mml:mn> </mml:mrow> </mml:math></jats:alternatives></jats:inline-formula>, <jats:inline-formula><jats:alternatives><jats:tex-math>$$\mu &gt;0$$</jats:tex-math><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>μ</mml:mi> <mml:mo>&gt;</mml:mo> <mml:mn>0</mml:mn> </mml:mrow> </mml:math></jats:alternatives></jats:inline-formula> and, in contrast to the commonly investigated variants of chemotaxis-fluid systems, the signal concentration on the boundary of the domain <jats:inline-formula><jats:alternatives><jats:tex-math>$$\Omega \subset \mathbb {R}^N$$</jats:tex-math><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>Ω</mml:mi> <mml:mo>⊂</mml:mo> <mml:msup> <mml:mrow> <mml:mi>R</mml:mi> </mml:mrow> <mml:mi>N</mml:mi> </mml:msup> </mml:mrow> </mml:math></jats:alternatives></jats:inline-formula> with <jats:inline-formula><jats:alternatives><jats:tex-math>$$N\in \{2,3\}$$</jats:tex-math><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>N</mml:mi> <mml:mo>∈</mml:mo> <mml:mo>{</mml:mo> <mml:mn>2</mml:mn> <mml:mo>,</mml:mo> <mml:mn>3</mml:mn> <mml:mo>}</mml:mo> </mml:mrow> </mml:math></jats:alternatives></jats:inline-formula> is a prescribed time-independent nonnegative function <jats:inline-formula><jats:alternatives><jats:tex-math>$$c_*\in C^{2}\!\left( {{\,\mathrm{\overline{\Omega }}\,}}\right) $$</jats:tex-math><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>c</mml:mi> <mml:mrow> <mml:mrow /> <mml:mo>∗</mml:mo> </mml:mrow> </mml:msub> <mml:mo>∈</mml:mo> <mml:msup> <mml:mi>C</mml:mi> <mml:mn>2</mml:mn> </mml:msup> <mml:mspace /> <mml:mfenced> <mml:mrow> <mml:mspace /> <mml:mover> <mml:mi>Ω</mml:mi> <mml:mo>¯</mml:mo> </mml:mover> <mml:mspace /> </mml:mrow> </mml:mfenced> </mml:mrow> </mml:math></jats:alternatives></jats:inline-formula>. Making use of the boundedness information entailed by the quadratic decay term of the first equation, we will show that the system above has at least one global weak solution for any suitably regular triplet of initial data.</jats:p>