<p>We investigate the Keller–Segel–(Navier–)Stokes system posed in a smooth bounded domain <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(N = 2,3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>2</mn> <mo>,</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>: <Equation ID="Equ91"> <EquationSource Format="TEX">\(\begin{aligned} {\left\{ \begin{array}{ll} n_t + u \cdot \nabla n = \Delta n - \nabla \cdot \big ( n S(n)\nabla c \big ), \\ u \cdot \nabla c = \Delta c - c + n, \\ u_t + \kappa (u \cdot \nabla ) u = \Delta u - \nabla P + n \nabla \phi , \\ \nabla \cdot u = 0, \end{array}\right. } \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <msub> <mi>n</mi> <mi>t</mi> </msub> <mo>+</mo> <mi>u</mi> <mo>·</mo> <mi mathvariant="normal">∇</mi> <mi>n</mi> <mo>=</mo> <mi mathvariant="normal">Δ</mi> <mi>n</mi> <mo>-</mo> <mi mathvariant="normal">∇</mi> <mo>·</mo> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mi>n</mi> <mi>S</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mi mathvariant="normal">∇</mi> <mi>c</mi> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>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> <mi>n</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <msub> <mi>u</mi> <mi>t</mi> </msub> <mo>+</mo> <mi>κ</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo>·</mo> <mi mathvariant="normal">∇</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <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="left"> <mrow> <mrow /> <mi mathvariant="normal">∇</mi> <mo>·</mo> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\kappa \in \left\{ 0,1 \right\} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>κ</mi> <mo>∈</mo> <mfenced close="}" open="{"> <mn>0</mn> <mo>,</mo> <mn>1</mn> </mfenced> </mrow> </math></EquationSource> </InlineEquation>, the given gravitational potential <InlineEquation ID="IEq4"> <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>, and the chemotactic sensitivity function <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(S \in C^2([0,\infty ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mo>∈</mo> <msup> <mi>C</mi> <mn>2</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>. Under no-flux boundary conditions for <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(n\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>n</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(c\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>c</mi> </math></EquationSource> </InlineEquation>, together with the Dirichlet boundary condition for <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(u\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>u</mi> </math></EquationSource> </InlineEquation>, we show that, provided the initial data satisfy suitable regularity assumptions, the following results hold:<UnorderedList Mark="Bullet"> <ItemContent> <p>If <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(N = 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\kappa = 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>κ</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, and the sensitivity function satisfies <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\lim _{\xi \rightarrow \infty } S(\xi ) = 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo movablelimits="true">lim</mo> <mrow> <mi>ξ</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </msub> <mi>S</mi> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, then the Keller–Segel–Navier–Stokes system admits a global classical solution that remains uniformly bounded in time.</p> </ItemContent> <ItemContent> <p>If <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(N = 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\kappa = 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>κ</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(S\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>S</mi> </math></EquationSource> </InlineEquation> satisfies <Equation ID="Equ92"> <EquationSource Format="TEX">\( |S(\xi )| \le K_S (\xi + 1)^{-\alpha } \quad \text {for all } \xi \ge 0, \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mo stretchy="false">|</mo> <mi>S</mi> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mo>≤</mo> <msub> <mi>K</mi> <mi>S</mi> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mi>α</mi> </mrow> </msup> <mspace width="1em" /> <mtext>for all</mtext> <mspace width="0.333333em" /> <mi>ξ</mi> <mo>≥</mo> <mn>0</mn> <mo>,</mo> </mrow> </math></EquationSource> </Equation> with some constants <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(K_S &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>K</mi> <mi>S</mi> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\alpha &gt; \frac{1}{3}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>&gt;</mo> <mfrac> <mn>1</mn> <mn>3</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, then the Keller–Segel–Stokes system possesses a global bounded classical solution.</p> </ItemContent> </UnorderedList> Our results expected to be optimal, since it is well established that, in the absence of fluid effects, blow-up can occur when <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(S \equiv \textrm{const}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mo>≡</mo> <mtext>const</mtext> </mrow> </math></EquationSource> </InlineEquation> in two dimensions, or when <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\alpha &lt; \tfrac{1}{3}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>&lt;</mo> <mstyle displaystyle="false" scriptlevel="0"> <mfrac> <mn>1</mn> <mn>3</mn> </mfrac> </mstyle> </mrow> </math></EquationSource> </InlineEquation> in three dimensions.</p>

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

A Sharp Global Boundedness Result for Keller–Segel–(Navier–)Stokes Systems with Rapid Diffusion and Saturated Sensitivities

  • Minh Le

摘要

We investigate the Keller–Segel–(Navier–)Stokes system posed in a smooth bounded domain \(\Omega \subset \mathbb {R}^N\) Ω R N with \(N = 2,3\) N = 2 , 3 : \(\begin{aligned} {\left\{ \begin{array}{ll} n_t + u \cdot \nabla n = \Delta n - \nabla \cdot \big ( n S(n)\nabla c \big ), \\ u \cdot \nabla c = \Delta c - c + n, \\ u_t + \kappa (u \cdot \nabla ) u = \Delta u - \nabla P + n \nabla \phi , \\ \nabla \cdot u = 0, \end{array}\right. } \end{aligned}\) n t + u · n = Δ n - · ( n S ( n ) c ) , u · c = Δ c - c + n , u t + κ ( u · ) u = Δ u - P + n ϕ , · u = 0 , where \(\kappa \in \left\{ 0,1 \right\} \) κ 0 , 1 , the given gravitational potential \(\phi \in W^{2, \infty }(\Omega )\) ϕ W 2 , ( Ω ) , and the chemotactic sensitivity function \(S \in C^2([0,\infty ))\) S C 2 ( [ 0 , ) ) . Under no-flux boundary conditions for \(n\) n and \(c\) c , together with the Dirichlet boundary condition for \(u\) u , we show that, provided the initial data satisfy suitable regularity assumptions, the following results hold:

If \(N = 2\) N = 2 , \(\kappa = 1\) κ = 1 , and the sensitivity function satisfies \(\lim _{\xi \rightarrow \infty } S(\xi ) = 0\) lim ξ S ( ξ ) = 0 , then the Keller–Segel–Navier–Stokes system admits a global classical solution that remains uniformly bounded in time.

If \(N = 3\) N = 3 , \(\kappa = 0\) κ = 0 , and \(S\) S satisfies \( |S(\xi )| \le K_S (\xi + 1)^{-\alpha } \quad \text {for all } \xi \ge 0, \) | S ( ξ ) | K S ( ξ + 1 ) - α for all ξ 0 , with some constants \(K_S > 0\) K S > 0 and \(\alpha > \frac{1}{3}\) α > 1 3 , then the Keller–Segel–Stokes system possesses a global bounded classical solution.

Our results expected to be optimal, since it is well established that, in the absence of fluid effects, blow-up can occur when \(S \equiv \textrm{const}\) S const in two dimensions, or when \(\alpha < \tfrac{1}{3}\) α < 1 3 in three dimensions.