Abstract <p>We give some estimates for the minimal projector norm under linear interpolation on a compact subset of <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({{\mathbb{R}}^{n}}\)</EquationSource> <!--AutCont2570033Nevskii-m1--> </InlineEquation>. Let <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({{\Pi }_{1}}({{\mathbb{R}}^{n}})\)</EquationSource> <!--AutCont2570033Nevskii-m2--> </InlineEquation> be the space of polynomials in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(n\)</EquationSource> <!--AutCont2570033Nevskii-m3--> </InlineEquation> variables of degree at most <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(1\)</EquationSource> <!--AutCont2570033Nevskii-m4--> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <!--AutCont2570033Nevskii-m5--> </InlineEquation> is a compactum in <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({{\mathbb{R}}^{n}}\)</EquationSource> <!--AutCont2570033Nevskii-m6--> </InlineEquation>, and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(K = {\text{conv}}(\Omega )\)</EquationSource> <!--AutCont2570033Nevskii-m7--> </InlineEquation>. We will assume that <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\({\text{vol}}(K) &gt; 0\)</EquationSource> <!--AutCont2570033Nevskii-m8--> </InlineEquation>. Let <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\({{x}^{{(j)}}} \in \Omega \)</EquationSource> <!--AutCont2570033Nevskii-m9--> </InlineEquation>, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(1 \leqslant j \leqslant n + 1,\)</EquationSource> <!--AutCont2570033Nevskii-m10--> </InlineEquation> be the vertices of an <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(n\)</EquationSource> <!--AutCont2570033Nevskii-m11--> </InlineEquation>-dimensional nondegenerate simplex. The interpolation projector <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(P:C(\Omega ) \to {{\Pi }_{1}}({{\mathbb{R}}^{n}})\)</EquationSource> <!--AutCont2570033Nevskii-m12--> </InlineEquation> with the nodes <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\({{x}^{{(j)}}}\)</EquationSource> <!--AutCont2570033Nevskii-m13--> </InlineEquation> is defined by the equalities <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(Pf\left( {{{x}^{{(j)}}}} \right) = f\left( {{{x}^{{(j)}}}} \right)\)</EquationSource> <!--AutCont2570033Nevskii-m14--> </InlineEquation>. By <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\({{\left\| P \right\|}_{\Omega }}\)</EquationSource> <!--AutCont2570033Nevskii-m15--> </InlineEquation> we mean the norm of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(P\)</EquationSource> <!--AutCont2570033Nevskii-m16--> </InlineEquation> as an operator from <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(C(\Omega )\)</EquationSource> <!--AutCont2570033Nevskii-m17--> </InlineEquation> to <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(C(\Omega )\)</EquationSource> <!--AutCont2570033Nevskii-m18--> </InlineEquation>. By <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\({{\theta }_{n}}(\Omega )\)</EquationSource> <!--AutCont2570033Nevskii-m19--> </InlineEquation> we denote the minimal norm <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\({{\left\| P \right\|}_{\Omega }}\)</EquationSource> <!--AutCont2570033Nevskii-m20--> </InlineEquation> of all operators <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(P\)</EquationSource> <!--AutCont2570033Nevskii-m21--> </InlineEquation> with nodes belonging to <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <!--AutCont2570033Nevskii-m22--> </InlineEquation>. Let <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\({\text{sim}}{{{\text{p}}}_{n}}(\Omega )\)</EquationSource> <!--AutCont2570033Nevskii-m23--> </InlineEquation> be the maximum volume of a simplex with vertices in <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <!--AutCont2570033Nevskii-m24--> </InlineEquation>. We establish the inequalities <InlineEquation ID="IEq25"> <EquationSource Format="TEX">\(\chi _{n}^{{ - 1}}\left( {\frac{{{\text{vol}}(K)}}{{{\text{sim}}{{{\text{p}}}_{n}}(\Omega )}}} \right) \leqslant {{\theta }_{n}}(\Omega ) \leqslant n + 1.\)</EquationSource> <!--AutCont2570033Nevskii-m25--> </InlineEquation> Here <InlineEquation ID="IEq26"> <EquationSource Format="TEX">\({{\chi }_{n}}\)</EquationSource> <!--AutCont2570033Nevskii-m26--> </InlineEquation> is the standardized Legendre polynomial of degree <InlineEquation ID="IEq27"> <EquationSource Format="TEX">\(n\)</EquationSource> <!--AutCont2570033Nevskii-m27--> </InlineEquation>. The lower estimate is proved using the obtained characterization of the Legendre polynomials through the volumes of convex polyhedra. More specifically, we show that for every <InlineEquation ID="IEq28"> <EquationSource Format="TEX">\(\gamma \geqslant 1\)</EquationSource> <!--AutCont2570033Nevskii-m28--> </InlineEquation> the volume of the set <InlineEquation ID="IEq29"> <EquationSource Format="TEX">\(\left\{ {x = ({{x}_{1}},...,{{x}_{n}}) \in {{\mathbb{R}}^{n}}:\sum \left| {{{x}_{j}}} \right| + \left| {1 - \sum {{x}_{j}}} \right| \leqslant \gamma } \right\}\)</EquationSource> <!--AutCont2570033Nevskii-m29--> </InlineEquation> is equal to <InlineEquation ID="IEq30"> <EquationSource Format="TEX">\({{\chi }_{n}}(\gamma ){\text{/}}n!\)</EquationSource> <!--AutCont2570033Nevskii-m30--> </InlineEquation>. In the case when <InlineEquation ID="IEq31"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <!--AutCont2570033Nevskii-m31--> </InlineEquation> is an <InlineEquation ID="IEq32"> <EquationSource Format="TEX">\(n\)</EquationSource> <!--AutCont2570033Nevskii-m32--> </InlineEquation>-dimensional cube or an <InlineEquation ID="IEq33"> <EquationSource Format="TEX">\(n\)</EquationSource> <!--AutCont2570033Nevskii-m33--> </InlineEquation>-dimensional ball, the lower estimate gives the possibility to obtain the inequalities of the form <InlineEquation ID="IEq34"> <EquationSource Format="TEX">\({{\theta }_{n}}(\Omega ) \geqslant c\sqrt n \)</EquationSource> <!--AutCont2570033Nevskii-m34--> </InlineEquation>. Also we formulate some open questions.</p>

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

Estimation of Interpolation Projectors Using Legendre Polynomials

  • M. V. Nevskii

摘要

Abstract

We give some estimates for the minimal projector norm under linear interpolation on a compact subset of \({{\mathbb{R}}^{n}}\) . Let \({{\Pi }_{1}}({{\mathbb{R}}^{n}})\) be the space of polynomials in \(n\) variables of degree at most \(1\) , \(\Omega \) is a compactum in \({{\mathbb{R}}^{n}}\) , and \(K = {\text{conv}}(\Omega )\) . We will assume that \({\text{vol}}(K) > 0\) . Let \({{x}^{{(j)}}} \in \Omega \) , \(1 \leqslant j \leqslant n + 1,\) be the vertices of an \(n\) -dimensional nondegenerate simplex. The interpolation projector \(P:C(\Omega ) \to {{\Pi }_{1}}({{\mathbb{R}}^{n}})\) with the nodes \({{x}^{{(j)}}}\) is defined by the equalities \(Pf\left( {{{x}^{{(j)}}}} \right) = f\left( {{{x}^{{(j)}}}} \right)\) . By \({{\left\| P \right\|}_{\Omega }}\) we mean the norm of \(P\) as an operator from \(C(\Omega )\) to \(C(\Omega )\) . By \({{\theta }_{n}}(\Omega )\) we denote the minimal norm \({{\left\| P \right\|}_{\Omega }}\) of all operators \(P\) with nodes belonging to \(\Omega \) . Let \({\text{sim}}{{{\text{p}}}_{n}}(\Omega )\) be the maximum volume of a simplex with vertices in \(\Omega \) . We establish the inequalities \(\chi _{n}^{{ - 1}}\left( {\frac{{{\text{vol}}(K)}}{{{\text{sim}}{{{\text{p}}}_{n}}(\Omega )}}} \right) \leqslant {{\theta }_{n}}(\Omega ) \leqslant n + 1.\) Here \({{\chi }_{n}}\) is the standardized Legendre polynomial of degree \(n\) . The lower estimate is proved using the obtained characterization of the Legendre polynomials through the volumes of convex polyhedra. More specifically, we show that for every \(\gamma \geqslant 1\) the volume of the set \(\left\{ {x = ({{x}_{1}},...,{{x}_{n}}) \in {{\mathbb{R}}^{n}}:\sum \left| {{{x}_{j}}} \right| + \left| {1 - \sum {{x}_{j}}} \right| \leqslant \gamma } \right\}\) is equal to \({{\chi }_{n}}(\gamma ){\text{/}}n!\) . In the case when \(\Omega \) is an \(n\) -dimensional cube or an \(n\) -dimensional ball, the lower estimate gives the possibility to obtain the inequalities of the form \({{\theta }_{n}}(\Omega ) \geqslant c\sqrt n \) . Also we formulate some open questions.