<p>We derive sharp, explicit constants in inverse trace inequalities for polynomial functions belonging to <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {P}_p(T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">P</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> (polynomial space with total degree <i>p</i>) that are orthogonal to the lower-order subspace <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {P}_n(T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">P</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(n\leqslant p\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>⩽</mo> <mi>p</mi> </mrow> </math></EquationSource> </InlineEquation>, where <i>T</i> denotes a <i>d</i>-dimensional simplex. The proofs rely on orthogonal polynomial expansions on reference simplices and on a careful analysis of the eigenvalues of the relevant blocks of the face mass matrices, following the arguments developed in&#xa0;[<CitationRef CitationID="CR9">9</CitationRef>]. The novelty is that the extremal face-mass eigenvalue is computed after removing the polynomial modes of degree at most <i>n</i>. This yields inverse trace inequality constants involving the factor <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\((p-n)(p+n+d+1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo>-</mo> <mi>n</mi> <mo stretchy="false">)</mo> <mo stretchy="false">(</mo> <mi>p</mi> <mo>+</mo> <mi>n</mi> <mo>+</mo> <mi>d</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> instead of the classical factor <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\((p+1)(p+d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">(</mo> <mi>p</mi> <mo>+</mo> <mi>d</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and therefore quantifies the gain in <i>p</i> available in projection-error estimates. These results are very useful in the <i>hp</i>-analysis of the hybrid Galerkin methods, e.g. hybridizable discontinuous Galerkin methods, hybrid high-order methods, etc.</p>

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

A Note on the Constants in Inverse Trace Inequalities for Polynomials Orthogonal to Lower-Order Subspaces

  • Zhaonan Dong,
  • Tanvi Wadhawan

摘要

We derive sharp, explicit constants in inverse trace inequalities for polynomial functions belonging to \(\mathbb {P}_p(T)\) P p ( T ) (polynomial space with total degree p) that are orthogonal to the lower-order subspace \(\mathbb {P}_n(T)\) P n ( T ) , \(n\leqslant p\) n p , where T denotes a d-dimensional simplex. The proofs rely on orthogonal polynomial expansions on reference simplices and on a careful analysis of the eigenvalues of the relevant blocks of the face mass matrices, following the arguments developed in [9]. The novelty is that the extremal face-mass eigenvalue is computed after removing the polynomial modes of degree at most n. This yields inverse trace inequality constants involving the factor \((p-n)(p+n+d+1)\) ( p - n ) ( p + n + d + 1 ) instead of the classical factor \((p+1)(p+d)\) ( p + 1 ) ( p + d ) , and therefore quantifies the gain in p available in projection-error estimates. These results are very useful in the hp-analysis of the hybrid Galerkin methods, e.g. hybridizable discontinuous Galerkin methods, hybrid high-order methods, etc.