<p>This paper investigates the Keller–Segel type system <Equation ID="Equ79"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{array}{lll} \displaystyle u_{t}=\varepsilon \Delta u-\nabla \cdot (u\nabla v)+\gamma u-\mu u^{1+\alpha },&amp; (x,t)\in \Omega \times \mathbb {R}^{+},\\ 0=\Delta v+u^{\beta }-v,&amp; (x,t)\in \Omega \times \mathbb {R}^{+},\\ \frac{\partial u}{\partial \nu }=\frac{\partial v}{\partial \nu }=0, &amp; (x,t)\in \partial \Omega \times \mathbb {R}^{+},\\ \displaystyle u(x,0)=u_{0}(x),&amp; x\in \Omega \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"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <msub> <mi>u</mi> <mi>t</mi> </msub> <mo>=</mo> <mi>ε</mi> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>-</mo> <mi mathvariant="normal">∇</mi> <mo>·</mo> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mi mathvariant="normal">∇</mi> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>γ</mi> <mi>u</mi> <mo>-</mo> <mi>μ</mi> <msup> <mi>u</mi> <mrow> <mn>1</mn> <mo>+</mo> <mi>α</mi> </mrow> </msup> <mo>,</mo> </mrow> </mstyle> </mtd> <mtd columnalign="left"> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mn>0</mn> <mo>=</mo> <mi mathvariant="normal">Δ</mi> <mi>v</mi> <mo>+</mo> <msup> <mi>u</mi> <mi>β</mi> </msup> <mo>-</mo> <mi>v</mi> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mfrac> <mrow> <mi>∂</mi> <mi>u</mi> </mrow> <mrow> <mi>∂</mi> <mi>ν</mi> </mrow> </mfrac> <mo>=</mo> <mfrac> <mrow> <mi>∂</mi> <mi>v</mi> </mrow> <mrow> <mi>∂</mi> <mi>ν</mi> </mrow> </mfrac> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mrow /> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>u</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mstyle> </mtd> <mtd columnalign="left"> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>in a bounded domain <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}^{N}(N\ge 1)\)</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> <mo stretchy="false">(</mo> <mi>N</mi> <mo>≥</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with smooth boundary. Here <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\alpha ,\beta ,\gamma ,\mu &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo>,</mo> <mi>γ</mi> <mo>,</mo> <mi>μ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\varepsilon \ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. For the hyperbolic–elliptic case (<InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\varepsilon =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>), we prove that if <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\beta \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and either <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\alpha &gt;\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>&gt;</mo> <mi>β</mi> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\alpha =\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>=</mo> <mi>β</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mu &gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, the system admits a unique global strong solution. Conversely, if <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\alpha &lt;\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>&lt;</mo> <mi>β</mi> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\alpha =\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>=</mo> <mi>β</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mu &lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, finite time blow-up in the <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(L^{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>∞</mi> </msup> </math></EquationSource> </InlineEquation> norm occurs for initial data <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(u_{0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>u</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> with sufficiently large <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\Vert u_{0}\Vert _{L^{p}(\Omega )}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msub> <mi>u</mi> <mn>0</mn> </msub> <msub> <mrow> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(p&gt;\max \{N,\frac{1}{1-\mu }\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mo movablelimits="true">max</mo> <mo stretchy="false">{</mo> <mi>N</mi> <mo>,</mo> <mfrac> <mn>1</mn> <mrow> <mn>1</mn> <mo>-</mo> <mi>μ</mi> </mrow> </mfrac> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>. Notably, these results remain valid even when <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> is not convex, thus generalizing previous work. For the parabolic–elliptic case with <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\varepsilon &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, it has been demonstrated that under the conditions <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\alpha \ge \beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>≥</mo> <mi>β</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\beta &lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(u_0(x)&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>u</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, if <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(\mu &gt;2\max \{1,\gamma ^{1-\frac{\alpha }{\beta }}\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>&gt;</mo> <mn>2</mn> <mo movablelimits="true">max</mo> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <msup> <mi>γ</mi> <mrow> <mn>1</mn> <mo>-</mo> <mfrac> <mi>α</mi> <mi>β</mi> </mfrac> </mrow> </msup> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, then the unique classical solution (<i>u</i>,&#xa0;<i>v</i>) converges to the homogeneous equilibrium: <Equation ID="Equ80"> <EquationSource Format="TEX">\(\begin{aligned}\lim _{t\rightarrow \infty }\Big (\Big \Vert u(\cdot ,t)-\Big (\frac{\gamma }{\mu }\Big )^{\frac{1}{\alpha }}\Big \Vert _{L^{\infty }(\Omega )}+\Big \Vert v(\cdot ,t)-\Big (\frac{\gamma }{\mu }\Big )^{\frac{\beta }{\alpha }}\Big \Vert _{L^{\infty }(\Omega )}\Big )=0.\end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <munder> <mo movablelimits="true">lim</mo> <mrow> <mi>t</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </munder> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">(</mo> </mrow> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">‖</mo> </mrow> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">(</mo> </mrow> <mfrac> <mi>γ</mi> <mi>μ</mi> </mfrac> <msup> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">)</mo> </mrow> <mfrac> <mn>1</mn> <mi>α</mi> </mfrac> </msup> <msub> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mo>+</mo> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">‖</mo> </mrow> <mi>v</mi> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">(</mo> </mrow> <mfrac> <mi>γ</mi> <mi>μ</mi> </mfrac> <msup> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">)</mo> </mrow> <mfrac> <mi>β</mi> <mi>α</mi> </mfrac> </msup> <msub> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">)</mo> </mrow> <mo>=</mo> <mn>0</mn> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>This extends previous results, which were restricted to <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(\beta \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, to demonstrate stability for sublinear production rates <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\((\beta &lt;1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo>&lt;</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

On a chemotaxis-growth system with nonlinear secretion

  • Haojie Guo,
  • Haifeng Sang

摘要

This paper investigates the Keller–Segel type system \(\begin{aligned} \left\{ \begin{array}{lll} \displaystyle u_{t}=\varepsilon \Delta u-\nabla \cdot (u\nabla v)+\gamma u-\mu u^{1+\alpha },& (x,t)\in \Omega \times \mathbb {R}^{+},\\ 0=\Delta v+u^{\beta }-v,& (x,t)\in \Omega \times \mathbb {R}^{+},\\ \frac{\partial u}{\partial \nu }=\frac{\partial v}{\partial \nu }=0, & (x,t)\in \partial \Omega \times \mathbb {R}^{+},\\ \displaystyle u(x,0)=u_{0}(x),& x\in \Omega \end{array}\right. \end{aligned}\) u t = ε Δ u - · ( u v ) + γ u - μ u 1 + α , ( x , t ) Ω × R + , 0 = Δ v + u β - v , ( x , t ) Ω × R + , u ν = v ν = 0 , ( x , t ) Ω × R + , u ( x , 0 ) = u 0 ( x ) , x Ω in a bounded domain \(\Omega \subset \mathbb {R}^{N}(N\ge 1)\) Ω R N ( N 1 ) with smooth boundary. Here \(\alpha ,\beta ,\gamma ,\mu >0\) α , β , γ , μ > 0 , and \(\varepsilon \ge 0\) ε 0 . For the hyperbolic–elliptic case ( \(\varepsilon =0\) ε = 0 ), we prove that if \(\beta \ge 1\) β 1 and either \(\alpha >\beta \) α > β or \(\alpha =\beta \) α = β with \(\mu >1\) μ > 1 , the system admits a unique global strong solution. Conversely, if \(\alpha <\beta \) α < β or \(\alpha =\beta \) α = β with \(\mu <1\) μ < 1 , finite time blow-up in the \(L^{\infty }\) L norm occurs for initial data \(u_{0}\) u 0 with sufficiently large \(\Vert u_{0}\Vert _{L^{p}(\Omega )}\) u 0 L p ( Ω ) , where \(p>\max \{N,\frac{1}{1-\mu }\}\) p > max { N , 1 1 - μ } . Notably, these results remain valid even when \(\Omega \) Ω is not convex, thus generalizing previous work. For the parabolic–elliptic case with \(\varepsilon >0\) ε > 0 , it has been demonstrated that under the conditions \(\alpha \ge \beta \) α β , \(\beta <1\) β < 1 , and \(u_0(x)>0\) u 0 ( x ) > 0 , if \(\mu >2\max \{1,\gamma ^{1-\frac{\alpha }{\beta }}\}\) μ > 2 max { 1 , γ 1 - α β } , then the unique classical solution (uv) converges to the homogeneous equilibrium: \(\begin{aligned}\lim _{t\rightarrow \infty }\Big (\Big \Vert u(\cdot ,t)-\Big (\frac{\gamma }{\mu }\Big )^{\frac{1}{\alpha }}\Big \Vert _{L^{\infty }(\Omega )}+\Big \Vert v(\cdot ,t)-\Big (\frac{\gamma }{\mu }\Big )^{\frac{\beta }{\alpha }}\Big \Vert _{L^{\infty }(\Omega )}\Big )=0.\end{aligned}\) lim t ( u ( · , t ) - ( γ μ ) 1 α L ( Ω ) + v ( · , t ) - ( γ μ ) β α L ( Ω ) ) = 0 . This extends previous results, which were restricted to \(\beta \ge 1\) β 1 , to demonstrate stability for sublinear production rates \((\beta <1)\) ( β < 1 ) .