<p>In this paper, we investigate two sufficient conditions, in terms of the horizontal components <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_754_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(u^{h}=(u^{1}, u^{2})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>u</mi> <mi>h</mi> </msup> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <msup> <mi>u</mi> <mn>1</mn> </msup> <mo>,</mo> <msup> <mi>u</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of the velocity field, for the breakdown of local smooth solutions to the 3D incompressible Navier-Stokes/Poisson-Nernst-Planck system arising from electrohydrodynamics. More precisely, we prove that if <Equation ID="Equ45"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_754_Article_Equ45.gif" Format="GIF" Height="63" Rendition="HTML" Resolution="72" Type="Linedraw" Width="411" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \int _{0}^{T}\frac{\Vert \nabla _{h}u^{h}(\cdot ,t)\Vert _{\dot{B}^{-\alpha }_{\infty ,\infty }}^{\frac{2}{1-\alpha }}}{1+\ln (e+\Vert \nabla _{h} u^{h}(\cdot ,t)\Vert _{\dot{B}^{-\alpha }_{\infty ,\infty }})}dt&lt;\infty \ \ \ \text {for}\ \ \ 0&lt;\alpha &lt;1 \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msubsup> <mo>∫</mo> <mrow> <mn>0</mn> </mrow> <mi>T</mi> </msubsup> <mfrac> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msub> <mi mathvariant="normal">∇</mi> <mi>h</mi> </msub> <msup> <mi>u</mi> <mi>h</mi> </msup> <msubsup> <mrow> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <mrow> <msubsup> <mover accent="true"> <mi>B</mi> <mo>˙</mo> </mover> <mrow> <mi>∞</mi> <mo>,</mo> <mi>∞</mi> </mrow> <mrow> <mo>-</mo> <mi>α</mi> </mrow> </msubsup> </mrow> <mfrac> <mn>2</mn> <mrow> <mn>1</mn> <mo>-</mo> <mi>α</mi> </mrow> </mfrac> </msubsup> </mrow> <mrow> <mn>1</mn> <mo>+</mo> <mo>ln</mo> <mo stretchy="false">(</mo> <mi>e</mi> <mo>+</mo> <mo stretchy="false">‖</mo> <msub> <mi mathvariant="normal">∇</mi> <mi>h</mi> </msub> <msup> <mi>u</mi> <mi>h</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mo stretchy="false">‖</mo> <msubsup> <mover accent="true"> <mi>B</mi> <mo>˙</mo> </mover> <mrow> <mi>∞</mi> <mo>,</mo> <mi>∞</mi> </mrow> <mrow> <mo>-</mo> <mi>α</mi> </mrow> </msubsup> </msub> <mo stretchy="false">)</mo> </mrow> </mfrac> <mi>d</mi> <mi>t</mi> <mo>&lt;</mo> <mi>∞</mi> <mspace width="4pt" /> <mspace width="4pt" /> <mspace width="4pt" /> <mtext>for</mtext> <mspace width="4pt" /> <mspace width="4pt" /> <mspace width="4pt" /> <mn>0</mn> <mo>&lt;</mo> <mi>α</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>or <Equation ID="Equ46"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_754_Article_Equ46.gif" Format="GIF" Height="63" Rendition="HTML" Resolution="72" Type="Linedraw" Width="310" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \int _{0}^{T}\frac{\Vert \nabla _{h}u^{h}(\cdot ,t)\Vert _{\dot{B}^{0}_{\infty ,\infty }}}{\sqrt{1+\ln (e+\Vert \nabla _{h} u^{h}(\cdot ,t)\Vert _{\dot{B}^{0}_{\infty ,\infty }})}}dt&lt;\infty , \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msubsup> <mo>∫</mo> <mrow> <mn>0</mn> </mrow> <mi>T</mi> </msubsup> <mfrac> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msub> <mi mathvariant="normal">∇</mi> <mi>h</mi> </msub> <msup> <mi>u</mi> <mi>h</mi> </msup> <msub> <mrow> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <msubsup> <mover accent="true"> <mi>B</mi> <mo>˙</mo> </mover> <mrow> <mi>∞</mi> <mo>,</mo> <mi>∞</mi> </mrow> <mn>0</mn> </msubsup> </msub> </mrow> <msqrt> <mrow> <mn>1</mn> <mo>+</mo> <mo>ln</mo> <mo stretchy="false">(</mo> <mi>e</mi> <mo>+</mo> <mo stretchy="false">‖</mo> <msub> <mi mathvariant="normal">∇</mi> <mi>h</mi> </msub> <msup> <mi>u</mi> <mi>h</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mo stretchy="false">‖</mo> <msubsup> <mover accent="true"> <mi>B</mi> <mo>˙</mo> </mover> <mrow> <mi>∞</mi> <mo>,</mo> <mi>∞</mi> </mrow> <mn>0</mn> </msubsup> </msub> <mo stretchy="false">)</mo> </mrow> </msqrt> </mfrac> <mi>d</mi> <mi>t</mi> <mo>&lt;</mo> <mi>∞</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>then the local solution can be smoothly extended past the time <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_754_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(t=T\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>=</mo> <mi>T</mi> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Logarithmically improved blow-up criteria for the 3D Navier-Stokes/Poisson-Nernst-Planck system

  • Jihong Zhao,
  • Jiawei Liu,
  • Jianfeng Sun

摘要

In this paper, we investigate two sufficient conditions, in terms of the horizontal components \(u^{h}=(u^{1}, u^{2})\) u h = ( u 1 , u 2 ) of the velocity field, for the breakdown of local smooth solutions to the 3D incompressible Navier-Stokes/Poisson-Nernst-Planck system arising from electrohydrodynamics. More precisely, we prove that if \(\begin{aligned} \int _{0}^{T}\frac{\Vert \nabla _{h}u^{h}(\cdot ,t)\Vert _{\dot{B}^{-\alpha }_{\infty ,\infty }}^{\frac{2}{1-\alpha }}}{1+\ln (e+\Vert \nabla _{h} u^{h}(\cdot ,t)\Vert _{\dot{B}^{-\alpha }_{\infty ,\infty }})}dt<\infty \ \ \ \text {for}\ \ \ 0<\alpha <1 \end{aligned}\) 0 T h u h ( · , t ) B ˙ , - α 2 1 - α 1 + ln ( e + h u h ( · , t ) B ˙ , - α ) d t < for 0 < α < 1 or \(\begin{aligned} \int _{0}^{T}\frac{\Vert \nabla _{h}u^{h}(\cdot ,t)\Vert _{\dot{B}^{0}_{\infty ,\infty }}}{\sqrt{1+\ln (e+\Vert \nabla _{h} u^{h}(\cdot ,t)\Vert _{\dot{B}^{0}_{\infty ,\infty }})}}dt<\infty , \end{aligned}\) 0 T h u h ( · , t ) B ˙ , 0 1 + ln ( e + h u h ( · , t ) B ˙ , 0 ) d t < , then the local solution can be smoothly extended past the time \(t=T\) t = T .