<p>This article is concerned with the global existence of classical solutions to an initial-boundary value problem for a coupled Keller–Segel–Stokes system in three-dimensional smooth bounded domains. The underlying model can be described as: <Equation ID="Equ127"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{aligned}&amp;n_t+\textbf{u}\cdot \nabla n=\Delta (\gamma (c)n)+\mu n(1-n^{\sigma }), &amp; x\in \Omega , t&gt;0,\\&amp;c_t+\textbf{u}\cdot \nabla c=\Delta c-c+n^{1-\alpha }c^{\alpha }, &amp; x\in \Omega , t&gt;0,\\&amp;\textbf{u}_t=\Delta \textbf{u}-\nabla P+n^{l}\nabla \phi , &amp; x\in \Omega , t&gt;0,\\&amp;\nabla \cdot \textbf{u}=0, &amp; x\in \Omega , t&gt;0,\\ \end{aligned}\right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <msub> <mi>n</mi> <mi>t</mi> </msub> <mo>+</mo> <mi mathvariant="bold">u</mi> <mo>·</mo> <mi mathvariant="normal">∇</mi> <mi>n</mi> <mo>=</mo> <mi mathvariant="normal">Δ</mi> <mrow> <mo stretchy="false">(</mo> <mi>γ</mi> <mrow> <mo stretchy="false">(</mo> <mi>c</mi> <mo stretchy="false">)</mo> </mrow> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>μ</mi> <mi>n</mi> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <msup> <mi>n</mi> <mi>σ</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> <mtd columnalign="right"> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mi>t</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <msub> <mi>c</mi> <mi>t</mi> </msub> <mo>+</mo> <mi mathvariant="bold">u</mi> <mo>·</mo> <mi mathvariant="normal">∇</mi> <mi>c</mi> <mo>=</mo> <mi mathvariant="normal">Δ</mi> <mi>c</mi> <mo>-</mo> <mi>c</mi> <mo>+</mo> <msup> <mi>n</mi> <mrow> <mn>1</mn> <mo>-</mo> <mi>α</mi> </mrow> </msup> <msup> <mi>c</mi> <mi>α</mi> </msup> <mo>,</mo> </mrow> </mtd> <mtd columnalign="right"> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mi>t</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <msub> <mi mathvariant="bold">u</mi> <mi>t</mi> </msub> <mo>=</mo> <mi mathvariant="normal">Δ</mi> <mi mathvariant="bold">u</mi> <mo>-</mo> <mi mathvariant="normal">∇</mi> <mi>P</mi> <mo>+</mo> <msup> <mi>n</mi> <mi>l</mi> </msup> <mi mathvariant="normal">∇</mi> <mi>ϕ</mi> <mo>,</mo> </mrow> </mtd> <mtd columnalign="right"> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mi>t</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mi mathvariant="normal">∇</mi> <mo>·</mo> <mi mathvariant="bold">u</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> <mtd columnalign="right"> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mi>t</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\sigma &gt;0, \alpha \in (0,1),l\in (0,1) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> <mi>α</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo>,</mo> <mi>l</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> is a bounded domain with smooth boundary and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\gamma \in C^3([0,\infty ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>∈</mo> <msup> <mi>C</mi> <mn>3</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\gamma (s)&gt;0 \text{ for } \text{ all } s\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> <mo>&gt;</mo> <mn>0</mn> <mspace width="0.333333em" /> <mtext>for</mtext> <mspace width="0.333333em" /> <mspace width="0.333333em" /> <mtext>all</mtext> <mspace width="0.333333em" /> <mi>s</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, as well as the gravitational potential <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\phi \in W^{2,\infty }(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϕ</mi> <mo>∈</mo> <msup> <mi>W</mi> <mrow> <mn>2</mn> <mo>,</mo> <mi>∞</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Under the conditions: <b>Case 1:</b> For <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mu &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(l\in (0,1) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>l</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <Equation ID="Equ128"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{aligned}&amp;2(1-\alpha )&gt;\sigma +\alpha&gt;\frac{3}{2}(1-\alpha ) ,\\&amp;\sigma +1&gt;\frac{5}{3}l.\\ \end{aligned}\right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <mn>2</mn> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>α</mi> <mo stretchy="false">)</mo> </mrow> <mo>&gt;</mo> <mi>σ</mi> <mo>+</mo> <mi>α</mi> <mo>&gt;</mo> <mfrac> <mn>3</mn> <mn>2</mn> </mfrac> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>α</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mi>σ</mi> <mo>+</mo> <mn>1</mn> <mo>&gt;</mo> <mfrac> <mn>5</mn> <mn>3</mn> </mfrac> <mi>l</mi> <mo>.</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation><b>Case 2:</b> For <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mu =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <Equation ID="Equ129"> <EquationSource Format="TEX">\(\begin{aligned} \alpha &gt;\frac{1}{3} \quad \text {and}\quad \frac{2}{3}&lt;l&lt;1. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>α</mi> <mo>&gt;</mo> <mfrac> <mn>1</mn> <mn>3</mn> </mfrac> <mspace width="1em" /> <mtext>and</mtext> <mspace width="1em" /> <mfrac> <mn>2</mn> <mn>3</mn> </mfrac> <mo>&lt;</mo> <mi>l</mi> <mo>&lt;</mo> <mn>1</mn> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>Under homogeneous Neumann boundary conditions, we establish the existence of global classical solutions for this Keller–Segel–Stokes system.</p>

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

Global existence in a 3D chemotaxis-Stokes system with signal-dependent motion

  • Kaiqiang Li,
  • Yingying Li,
  • Jiashan Zheng

摘要

This article is concerned with the global existence of classical solutions to an initial-boundary value problem for a coupled Keller–Segel–Stokes system in three-dimensional smooth bounded domains. The underlying model can be described as: \(\begin{aligned} \left\{ \begin{aligned}&n_t+\textbf{u}\cdot \nabla n=\Delta (\gamma (c)n)+\mu n(1-n^{\sigma }), & x\in \Omega , t>0,\\&c_t+\textbf{u}\cdot \nabla c=\Delta c-c+n^{1-\alpha }c^{\alpha }, & x\in \Omega , t>0,\\&\textbf{u}_t=\Delta \textbf{u}-\nabla P+n^{l}\nabla \phi , & x\in \Omega , t>0,\\&\nabla \cdot \textbf{u}=0, & x\in \Omega , t>0,\\ \end{aligned}\right. \end{aligned}\) n t + u · n = Δ ( γ ( c ) n ) + μ n ( 1 - n σ ) , x Ω , t > 0 , c t + u · c = Δ c - c + n 1 - α c α , x Ω , t > 0 , u t = Δ u - P + n l ϕ , x Ω , t > 0 , · u = 0 , x Ω , t > 0 , where \(\sigma >0, \alpha \in (0,1),l\in (0,1) \) σ > 0 , α ( 0 , 1 ) , l ( 0 , 1 ) , \(\Omega \subset \mathbb {R}^3\) Ω R 3 is a bounded domain with smooth boundary and \(\gamma \in C^3([0,\infty ))\) γ C 3 ( [ 0 , ) ) with \(\gamma (s)>0 \text{ for } \text{ all } s\ge 0\) γ ( s ) > 0 for all s 0 , as well as the gravitational potential \(\phi \in W^{2,\infty }(\Omega )\) ϕ W 2 , ( Ω ) . Under the conditions: Case 1: For \(\mu >0\) μ > 0 and \(l\in (0,1) \) l ( 0 , 1 ) , \(\begin{aligned} \left\{ \begin{aligned}&2(1-\alpha )>\sigma +\alpha>\frac{3}{2}(1-\alpha ) ,\\&\sigma +1>\frac{5}{3}l.\\ \end{aligned}\right. \end{aligned}\) 2 ( 1 - α ) > σ + α > 3 2 ( 1 - α ) , σ + 1 > 5 3 l . Case 2: For \(\mu =0\) μ = 0 , \(\begin{aligned} \alpha >\frac{1}{3} \quad \text {and}\quad \frac{2}{3}<l<1. \end{aligned}\) α > 1 3 and 2 3 < l < 1 . Under homogeneous Neumann boundary conditions, we establish the existence of global classical solutions for this Keller–Segel–Stokes system.