<p>Smooth solutions of the stationary Navier–Stokes equations in an infinitely long pipe, equipped with the Navier-slip or Navier–Hodge–Lions boundary condition, are considered in this paper. Three main results are presented. First, when equipped with the Navier-slip boundary condition, it is shown that, <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2963_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(W^{1,\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>∞</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> axially symmetric solutions with zero flux at one cross section, must be swirling solutions: <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2963_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="140" /> </InlineMediaObject> <EquationSource Format="TEX">\(u=(- C x_2, C x_1,0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mo>-</mo> <mi>C</mi> <msub> <mi>x</mi> <mn>2</mn> </msub> <mo>,</mo> <mi>C</mi> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2963_Article_IEq3.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>x</mi> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation>-periodic solutions must be helical solutions: <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2963_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="161" /> </InlineMediaObject> <EquationSource Format="TEX">\(u=(-C_1x_2,C_1x_1,C_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mo>-</mo> <msub> <mi>C</mi> <mn>1</mn> </msub> <msub> <mi>x</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>C</mi> <mn>1</mn> </msub> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>C</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Second, also equipped with the Navier-slip boundary condition, if the swirl or vertical component of the axially symmetric solution is independent of the vertical variable <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2963_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>x</mi> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation>, solutions are also proven to be helical solutions. In the case of the vertical component being independent of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2963_Article_IEq6.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>x</mi> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation>, the <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2963_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(W^{1,\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>∞</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> assumption is not needed. In the case of the swirl component being independent of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2963_Article_IEq8.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>x</mi> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation>, the <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2963_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(W^{1,\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>∞</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> assumption can be relaxed extensively such that the horizontal radial component of the velocity, <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2963_Article_IEq10.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(u_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>u</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>, can grow exponentially with respect to the distance to the origin. Also, by constructing a counterexample, we show that the growing assumption on <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2963_Article_IEq11.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(u_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>u</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation> is optimal. Third, when equipped with the Navier–Hodge–Lions boundary condition, we can show that if the gradient of the velocity grows sublinearly, then the solution, enjoying the Liouville-type theorem, is a trivial shear flow: (0,&#xa0;0,&#xa0;<i>C</i>).</p>

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

Characterization of smooth solutions to the Navier–Stokes equations in a pipe with two types of slip boundary conditions

  • Zijin Li,
  • Xinghong Pan,
  • Jiaqi Yang

摘要

Smooth solutions of the stationary Navier–Stokes equations in an infinitely long pipe, equipped with the Navier-slip or Navier–Hodge–Lions boundary condition, are considered in this paper. Three main results are presented. First, when equipped with the Navier-slip boundary condition, it is shown that, \(W^{1,\infty }\) W 1 , axially symmetric solutions with zero flux at one cross section, must be swirling solutions: \(u=(- C x_2, C x_1,0)\) u = ( - C x 2 , C x 1 , 0 ) , and \(x_3\) x 3 -periodic solutions must be helical solutions: \(u=(-C_1x_2,C_1x_1,C_2)\) u = ( - C 1 x 2 , C 1 x 1 , C 2 ) . Second, also equipped with the Navier-slip boundary condition, if the swirl or vertical component of the axially symmetric solution is independent of the vertical variable \(x_3\) x 3 , solutions are also proven to be helical solutions. In the case of the vertical component being independent of \(x_3\) x 3 , the \(W^{1,\infty }\) W 1 , assumption is not needed. In the case of the swirl component being independent of \(x_3\) x 3 , the \(W^{1,\infty }\) W 1 , assumption can be relaxed extensively such that the horizontal radial component of the velocity, \(u_r\) u r , can grow exponentially with respect to the distance to the origin. Also, by constructing a counterexample, we show that the growing assumption on \(u_r\) u r is optimal. Third, when equipped with the Navier–Hodge–Lions boundary condition, we can show that if the gradient of the velocity grows sublinearly, then the solution, enjoying the Liouville-type theorem, is a trivial shear flow: (0, 0, C).