<p>The Scott-Vogelius <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation>-<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_{k-1}^{\hbox {\tiny disc}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>P</mi> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> <mrow> <mspace width="0.333333em" /> <mtext>disc</mtext> </mrow> </msubsup> </math></EquationSource> </InlineEquation> mixed finite element is stable for <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\ge 4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> if the underlying triangular mesh is nearly-singular vertex free. The <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>-<InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq5.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_1^{\hbox {\tiny disc}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>P</mi> <mn>1</mn> <mrow> <mspace width="0.333333em" /> <mtext>disc</mtext> </mrow> </msubsup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation>-<InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq7.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_2^{\hbox {\tiny disc}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>P</mi> <mn>2</mn> <mrow> <mspace width="0.333333em" /> <mtext>disc</mtext> </mrow> </msubsup> </math></EquationSource> </InlineEquation> mixed finite elements are unstable on general triangular meshes. In this work, we enrich the <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_k(\ge 2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mo>≥</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> finite element velocity space by Guzman-Neilan bubble functions, (2 <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> bubbles for <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(k=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, 3 <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation> bubbles for <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(k=3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>=</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> and 0 or 1 bubble for <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\ge 4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> on one triangle,) so that the divergence of the <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation> velocity space is exactly the full discontinuous <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq15.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_{k-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> space and the inf-sup condition holds on all quasiuniform triangular meshes. A Guzman-Neilan <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> bubble vector is a continuous, three-piece polynomial vector on a triangle, which vanishes on the three edges and its divergence is a one-piece <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq17.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> polynomial on the triangle. Numerical comparisons are presented showing all failing cases of the Scott-Vogelius <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation>-<InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_{k-1}^{\hbox {\tiny disc}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>P</mi> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> <mrow> <mspace width="0.333333em" /> <mtext>disc</mtext> </mrow> </msubsup> </math></EquationSource> </InlineEquation> finite element, while the Guzman-Neilan bubble enriched <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation>-<InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12190_2025_2373_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_{k-1}^{\hbox {\tiny disc}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>P</mi> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> <mrow> <mspace width="0.333333em" /> <mtext>disc</mtext> </mrow> </msubsup> </math></EquationSource> </InlineEquation> finite element is quasi-optimal, divergence-free and pressure-robust.</p>

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

Stabilizing the Scott-Vogelius elements by Guzman-Neilan bubble functions on triangular meshes

  • Shangyou Zhang

摘要

The Scott-Vogelius \(P_k\) P k - \(P_{k-1}^{\hbox {\tiny disc}}\) P k - 1 disc mixed finite element is stable for \(k\ge 4\) k 4 if the underlying triangular mesh is nearly-singular vertex free. The \(P_2\) P 2 - \(P_1^{\hbox {\tiny disc}}\) P 1 disc and \(P_3\) P 3 - \(P_2^{\hbox {\tiny disc}}\) P 2 disc mixed finite elements are unstable on general triangular meshes. In this work, we enrich the \(P_k(\ge 2)\) P k ( 2 ) finite element velocity space by Guzman-Neilan bubble functions, (2 \(P_2\) P 2 bubbles for \(k=2\) k = 2 , 3 \(P_3\) P 3 bubbles for \(k=3\) k = 3 and 0 or 1 bubble for \(k\ge 4\) k 4 on one triangle,) so that the divergence of the \(P_k\) P k velocity space is exactly the full discontinuous \(P_{k-1}\) P k - 1 space and the inf-sup condition holds on all quasiuniform triangular meshes. A Guzman-Neilan \(P_2\) P 2 bubble vector is a continuous, three-piece polynomial vector on a triangle, which vanishes on the three edges and its divergence is a one-piece \(P_1\) P 1 polynomial on the triangle. Numerical comparisons are presented showing all failing cases of the Scott-Vogelius \(P_k\) P k - \(P_{k-1}^{\hbox {\tiny disc}}\) P k - 1 disc finite element, while the Guzman-Neilan bubble enriched \(P_k\) P k - \(P_{k-1}^{\hbox {\tiny disc}}\) P k - 1 disc finite element is quasi-optimal, divergence-free and pressure-robust.