<p>This paper explores the long-time asymptotic behavior of solutions for the following system when <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(N = 2,\kappa \in {\mathbb {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>2</mn> <mo>,</mo> <mi>κ</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\(N = 3,\kappa = 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>3</mn> <mo>,</mo> <mi>κ</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <Equation ID="Equ1"> <EquationNumber>*</EquationNumber> <MediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_Equ1.gif" Format="GIF" Height="95" Rendition="HTML" Resolution="72" Type="Linedraw" Width="452" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{array}{l} n_{t}+u\cdot \nabla n =\Delta n -\chi \nabla \cdot ( n \nabla c)+\rho n -\mu n^2,\quad x\in \Omega , t&gt;0, \\ u\cdot \nabla c=\Delta c-c+n,\quad x\in \Omega , t&gt;0, \\ u_t+\nabla p+\kappa (u\cdot \nabla )u=\Delta u+n\nabla \phi ,\quad x\in \Omega , t&gt;0, \\ \nabla \cdot u=0,\quad x\in \Omega , t&gt;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>χ</mi> <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>ρ</mi> <mi>n</mi> <mo>-</mo> <mi>μ</mi> <msup> <mi>n</mi> <mn>2</mn> </msup> <mo>,</mo> <mspace width="1em" /> <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="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> <mspace width="1em" /> <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="left"> <mrow> <mrow /> <msub> <mi>u</mi> <mi>t</mi> </msub> <mo>+</mo> <mi mathvariant="normal">∇</mi> <mi>p</mi> <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>n</mi> <mi mathvariant="normal">∇</mi> <mi>ϕ</mi> <mo>,</mo> <mspace width="1em" /> <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="left"> <mrow> <mrow /> <mi mathvariant="normal">∇</mi> <mo>·</mo> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mspace width="1em" /> <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> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>with no-flux boundary conditions for <i>n</i> and <i>c</i>, and no-slip boundary condition for <i>u</i>,&#xa0; in a bounded domain <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="147" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \subseteq \mathbb {R}^N(2\le N\le 3)\)</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> <mn>2</mn> <mo>≤</mo> <mi>N</mi> <mo>≤</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with a smooth boundary, where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="102" /> </InlineMediaObject> <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> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="97" /> </InlineMediaObject> <EquationSource Format="TEX">\(\chi &gt; 0, \rho \in \mathbb {{R}},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>χ</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> <mi>ρ</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> are given parameters. We conclude that when <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq8.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu &gt;\frac{\chi \sqrt{\rho }}{4},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>&gt;</mo> <mfrac> <mrow> <mi>χ</mi> <msqrt> <mi>ρ</mi> </msqrt> </mrow> <mn>4</mn> </mfrac> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> the corresponding solution of the system <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\((*)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mrow /> <mo>∗</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> decays to <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq10.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\((\frac{\rho }{\mu }, \frac{\rho }{\mu }, 0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mfrac> <mi>ρ</mi> <mi>μ</mi> </mfrac> <mo>,</mo> <mfrac> <mi>ρ</mi> <mi>μ</mi> </mfrac> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> exponentially; however, if <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho \le 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo>≤</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, we can ensure that the components <i>n</i> and <i>c</i> of any non-trivial global bounded solution to system <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\((*)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mrow /> <mo>∗</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> approach zero in either of the spaces <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq13.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^1(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^\infty (\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, which can be controlled by appropriate multiples of <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq15.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{1}{t+1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mn>1</mn> <mrow> <mi>t</mi> <mo>+</mo> <mn>1</mn> </mrow> </mfrac> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2574_Article_IEq16.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(e^{\rho t}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>e</mi> <mrow> <mi>ρ</mi> <mi>t</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> from above and below, respectively. To the best of our knowledge, this is the first attempt to study the precise asymptotic behavior of the system.</p>

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

Decay profile for a multidimensional parabolic–elliptic Keller–Segel–(Navier–)Stokes system

  • Jiashan Zheng,
  • Yuanyuan Ke

摘要

This paper explores the long-time asymptotic behavior of solutions for the following system when \(N = 2,\kappa \in {\mathbb {R}}\) N = 2 , κ R or \(N = 3,\kappa = 0\) N = 3 , κ = 0 , * \(\begin{aligned} \left\{ \begin{array}{l} n_{t}+u\cdot \nabla n =\Delta n -\chi \nabla \cdot ( n \nabla c)+\rho n -\mu n^2,\quad x\in \Omega , t>0, \\ u\cdot \nabla c=\Delta c-c+n,\quad x\in \Omega , t>0, \\ u_t+\nabla p+\kappa (u\cdot \nabla )u=\Delta u+n\nabla \phi ,\quad x\in \Omega , t>0, \\ \nabla \cdot u=0,\quad x\in \Omega , t>0, \end{array}\right. \end{aligned}\) n t + u · n = Δ n - χ · ( n c ) + ρ n - μ n 2 , x Ω , t > 0 , u · c = Δ c - c + n , x Ω , t > 0 , u t + p + κ ( u · ) u = Δ u + n ϕ , x Ω , t > 0 , · u = 0 , x Ω , t > 0 , with no-flux boundary conditions for n and c, and no-slip boundary condition for u,  in a bounded domain \(\Omega \subseteq \mathbb {R}^N(2\le N\le 3)\) Ω R N ( 2 N 3 ) with a smooth boundary, where \( \phi \in W^{2,\infty }(\Omega ),\) ϕ W 2 , ( Ω ) , and \(\chi > 0, \rho \in \mathbb {{R}},\) χ > 0 , ρ R , \(\mu > 0\) μ > 0 are given parameters. We conclude that when \(\rho >0\) ρ > 0 and \(\mu >\frac{\chi \sqrt{\rho }}{4},\) μ > χ ρ 4 , the corresponding solution of the system \((*)\) ( ) decays to \((\frac{\rho }{\mu }, \frac{\rho }{\mu }, 0)\) ( ρ μ , ρ μ , 0 ) exponentially; however, if \(\rho \le 0\) ρ 0 , we can ensure that the components n and c of any non-trivial global bounded solution to system \((*)\) ( ) approach zero in either of the spaces \(L^1(\Omega )\) L 1 ( Ω ) and \(L^\infty (\Omega )\) L ( Ω ) , which can be controlled by appropriate multiples of \(\frac{1}{t+1}\) 1 t + 1 and \(e^{\rho t}\) e ρ t from above and below, respectively. To the best of our knowledge, this is the first attempt to study the precise asymptotic behavior of the system.