<p>This paper investigates a coupled chemotaxis-Stokes system with logistic source terms, <Equation ID="Equ76"> <EquationSource Format="TEX">\( {\left\{ \begin{array}{ll} \begin{aligned} n_t + u \cdot \nabla n &amp; = \Delta n - \nabla \cdot (n \nabla c) + a n - b n^2, \\ c_t + u \cdot \nabla c &amp; = \Delta c - n c, \\ u_t &amp; = \Delta u + \nabla P + n \nabla \phi , \\ \nabla \cdot u &amp; = 0, \end{aligned} \end{array}\right. } \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>n</mi> <mi>t</mi> </msub> <mo>+</mo> <mi>u</mi> <mo>·</mo> <mi mathvariant="normal">∇</mi> <mi>n</mi> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mo>=</mo> <mi mathvariant="normal">Δ</mi> <mi>n</mi> <mo>-</mo> <mi mathvariant="normal">∇</mi> <mo>·</mo> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mi mathvariant="normal">∇</mi> <mi>c</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>a</mi> <mi>n</mi> <mo>-</mo> <mi>b</mi> <msup> <mi>n</mi> <mn>2</mn> </msup> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow> <mrow /> <msub> <mi>c</mi> <mi>t</mi> </msub> <mo>+</mo> <mi>u</mi> <mo>·</mo> <mi mathvariant="normal">∇</mi> <mi>c</mi> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mo>=</mo> <mi mathvariant="normal">Δ</mi> <mi>c</mi> <mo>-</mo> <mi>n</mi> <mi>c</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow> <mrow /> <msub> <mi>u</mi> <mi>t</mi> </msub> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mo>=</mo> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>+</mo> <mi mathvariant="normal">∇</mi> <mi>P</mi> <mo>+</mo> <mi>n</mi> <mi mathvariant="normal">∇</mi> <mi>ϕ</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow> <mrow /> <mi mathvariant="normal">∇</mi> <mo>·</mo> <mi>u</mi> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </math></EquationSource> </Equation>posed in a three-dimensional bounded domain <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\( \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>, subject to regular initial data and the boundary conditions <Equation ID="Equ77"> <EquationSource Format="TEX">\(\begin{aligned} \frac{\partial n}{\partial \nu } - n \frac{\partial c}{\partial \nu } = 0,\quad c = c^*(x, t),\quad u = 0, \qquad x \in \partial \Omega , \,\, t &gt; 0, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mfrac> <mrow> <mi>∂</mi> <mi>n</mi> </mrow> <mrow> <mi>∂</mi> <mi>ν</mi> </mrow> </mfrac> <mo>-</mo> <mi>n</mi> <mfrac> <mrow> <mi>∂</mi> <mi>c</mi> </mrow> <mrow> <mi>∂</mi> <mi>ν</mi> </mrow> </mfrac> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mspace width="1em" /> <mi>c</mi> <mo>=</mo> <msup> <mi>c</mi> <mo>∗</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mspace width="1em" /> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mspace width="2em" /> <mi>x</mi> <mo>∈</mo> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mi>t</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\( c^* \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>c</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation> is a prescribed nonnegative function that is not assumed to be constant or spatially homogeneous, in contrast to assumptions in several recent works. Such Dirichlet boundary conditions for the chemical signal <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\( c \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>c</mi> </math></EquationSource> </InlineEquation> are more biologically realistic in certain settings involving chemotaxis-fluid interactions. By identifying an explicit threshold <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\( b_0 \ge 0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>b</mi> <mn>0</mn> </msub> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, depending on the initial data <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\( c(x, 0) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and the boundary value <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\( c^* \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>c</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>, we establish that for all logistic damping parameters <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\( b &gt; b_0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo>&gt;</mo> <msub> <mi>b</mi> <mn>0</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, the system admits a global classical solution which remains uniformly bounded in time. Moreover, under additional integrability conditions on <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\( c^* \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>c</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>, the solution exhibits stabilization in the sense that <Equation ID="Equ78"> <EquationSource Format="TEX">\(\begin{aligned}\Big \Vert n(\cdot , t) - \frac{a_+}{b}\Big \Vert _{W^{1,\infty }(\Omega )} + \big \Vert c(\cdot , t) - c^*(\cdot , t)\big \Vert _{W^{1,\infty }(\Omega )} + \Vert u(\cdot , t)\Vert _{W^{1,\infty }(\Omega )} \rightarrow 0 \quad \,\,\, \text {as} \,\,\, t \rightarrow \infty , \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">‖</mo> </mrow> <mi>n</mi> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mfrac> <msub> <mi>a</mi> <mo>+</mo> </msub> <mi>b</mi> </mfrac> <msub> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">‖</mo> </mrow> <mrow> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>∞</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mo>+</mo> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">‖</mo> </mrow> <mi>c</mi> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <msup> <mi>c</mi> <mo>∗</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">‖</mo> </mrow> <mrow> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>∞</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mo>+</mo> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>∞</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mo stretchy="false">→</mo> <mn>0</mn> <mspace width="1em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mtext>as</mtext> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mi>t</mi> <mo stretchy="false">→</mo> <mi>∞</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\( a_+ := \max \big \{a, \, 0\big \} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>a</mi> <mo>+</mo> </msub> <mo>:</mo> <mo>=</mo> <mo movablelimits="true">max</mo> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">{</mo> </mrow> <mi>a</mi> <mo>,</mo> <mspace width="0.166667em" /> <mn>0</mn> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, if <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\( c^* \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>c</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation> decays exponentially in time, the convergence is exponential for <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\( a \ne 0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, and algebraic for <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\( a = 0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. To the best of our knowledge, this stabilization result and the corresponding convergence rates are the first to address inhomogeneous Dirichlet boundary conditions for the chemical signal, even in the fluid-free setting. All these results remain valid for arbitrary <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\( b &gt; 0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> in the two-dimensional case, even when the Navier-Stokes fluid coupling is considered.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Stabilization in a three-dimensional chemotaxis-Stokes system with quadratic degradation and Dirichlet boundary-value for signal

  • Yifei Sun,
  • Zhaoyin Xiang,
  • Lu Yang

摘要

This paper investigates a coupled chemotaxis-Stokes system with logistic source terms, \( {\left\{ \begin{array}{ll} \begin{aligned} n_t + u \cdot \nabla n & = \Delta n - \nabla \cdot (n \nabla c) + a n - b n^2, \\ c_t + u \cdot \nabla c & = \Delta c - n c, \\ u_t & = \Delta u + \nabla P + n \nabla \phi , \\ \nabla \cdot u & = 0, \end{aligned} \end{array}\right. } \) n t + u · n = Δ n - · ( n c ) + a n - b n 2 , c t + u · c = Δ c - n c , u t = Δ u + P + n ϕ , · u = 0 , posed in a three-dimensional bounded domain \( \Omega \) Ω , subject to regular initial data and the boundary conditions \(\begin{aligned} \frac{\partial n}{\partial \nu } - n \frac{\partial c}{\partial \nu } = 0,\quad c = c^*(x, t),\quad u = 0, \qquad x \in \partial \Omega , \,\, t > 0, \end{aligned}\) n ν - n c ν = 0 , c = c ( x , t ) , u = 0 , x Ω , t > 0 , where \( c^* \) c is a prescribed nonnegative function that is not assumed to be constant or spatially homogeneous, in contrast to assumptions in several recent works. Such Dirichlet boundary conditions for the chemical signal \( c \) c are more biologically realistic in certain settings involving chemotaxis-fluid interactions. By identifying an explicit threshold \( b_0 \ge 0 \) b 0 0 , depending on the initial data \( c(x, 0) \) c ( x , 0 ) and the boundary value \( c^* \) c , we establish that for all logistic damping parameters \( b > b_0 \) b > b 0 , the system admits a global classical solution which remains uniformly bounded in time. Moreover, under additional integrability conditions on \( c^* \) c , the solution exhibits stabilization in the sense that \(\begin{aligned}\Big \Vert n(\cdot , t) - \frac{a_+}{b}\Big \Vert _{W^{1,\infty }(\Omega )} + \big \Vert c(\cdot , t) - c^*(\cdot , t)\big \Vert _{W^{1,\infty }(\Omega )} + \Vert u(\cdot , t)\Vert _{W^{1,\infty }(\Omega )} \rightarrow 0 \quad \,\,\, \text {as} \,\,\, t \rightarrow \infty , \end{aligned}\) n ( · , t ) - a + b W 1 , ( Ω ) + c ( · , t ) - c ( · , t ) W 1 , ( Ω ) + u ( · , t ) W 1 , ( Ω ) 0 as t , where \( a_+ := \max \big \{a, \, 0\big \} \) a + : = max { a , 0 } . Furthermore, if \( c^* \) c decays exponentially in time, the convergence is exponential for \( a \ne 0 \) a 0 , and algebraic for \( a = 0 \) a = 0 . To the best of our knowledge, this stabilization result and the corresponding convergence rates are the first to address inhomogeneous Dirichlet boundary conditions for the chemical signal, even in the fluid-free setting. All these results remain valid for arbitrary \( b > 0 \) b > 0 in the two-dimensional case, even when the Navier-Stokes fluid coupling is considered.