доктор физ.-мат. наук, доцент
Doctor of Science
Пусть \(n\in {\mathbb N}\), \(B_n\) - евклидов единичный шар в \({\mathbb R}^n\), задаваемый неравенством \(\|x\|\leq 1\), \(\|x\|:=\left(\sum\limits_{i=1}^n x_i^2\right)^{\frac{1}{2}}\). Под \(C(B_n)\) мы понимаем пространство непрерывных функций \(f:B_n\to{\mathbb R}\) с нормой \(\|f\|_{C(B_n)}:=\max\limits_{x\in B_n}|f(x)|\), под \(\Pi_1\left({\mathbb R}^n\right)\) - совокупность многочленов от \(n\) переменных степени \(\leq 1\), т.е. линейных функций на \({\mathbb R}^n\). Пусть \(x^{(1)}, \ldots, x^{(n+1)}\) - вершины \(n\)-мерного невырожденного симплекса \(S\subset B_n\). Интерполяционный проектор \(P:C(B_n)\to \Pi_1({\mathbb R}^n)\), соответствующий симплексу \(S\), определяется равенствами \(Pf\left(x^{(j)}\right)=f\left(x^{(j)}\right).\) Через \(\|P\|_{B_n}\) обозначим норму \(P\) как оператора из \(C(B_n)\) в \(C(B_n)\). Определим \(\theta_n(B_n)\) как минимальную величину \(\|P\|_{B_n}\) при условии \(x^{(j)}\in B_n\). Описывается подход, при котором норму проектора удаётся оценить снизу через объём симплекса. Пусть \(\chi_n(t):=\frac{1}{2^nn!}\left[ (t^2-1)^n \right] ^{(n)}\) - стандартизованный многочлен Лежандра степени \(n\). В статье доказывается неравенство \(\|P\|_{B_n}\geq\chi_n^{-1}\left(\frac{vol(B_n)}{vol(S)}\right).\) Из этой оценки выводится эквивалентность \(\theta_n(B_n)\) \(\asymp\) \(\sqrt{n}\). Даются оценки констант из неравенств отмеченного вида, а также сравнение с аналогичными соотношениями для линейной интерполяции на единичном \(n\)-мерном кубе \([0,1]^n\). Полученные результаты могут иметь приложения в полиномиальной интерполяции и вычислительной геометрии.
Suppose \(n\in {\mathbb N}\). Let \(B_n\) be a Euclidean unit ball in \({\mathbb R}^n\) given by the inequality \(\|x\|\leq 1\), \(\|x\|:=\left(\sum\limits_{i=1}^n x_i^2\right)^{\frac{1}{2}}\). By \(C(B_n)\) we mean a set of continuous functions \(f:B_n\to{\mathbb R}\) with the norm \(\|f\|_{C(B_n)}:=\max\limits_{x\in B_n}|f(x)|\). The symbol \(\Pi_1\left({\mathbb R}^n\right)\) denotes a set of polynomials in \(n\) variables of degree \(\leq 1\), i.e. linear functions upon \({\mathbb R}^n\). Assume that \(x^{(1)}, \ldots, x^{(n+1)}\) are vertices of an \(n\)-dimensional nondegenerate simplex \(S\subset B_n\). The interpolation projector \(P:C(B_n)\to \Pi_1({\mathbb R}^n)\) corresponding to \(S\) is defined by the equalities \(Pf\left(x^{(j)}\right)=f\left(x^{(j)}\right).\) Denote by \(\|P\|_{B_n}\) the norm of \(P\) as an operator from \(C(B_n)\) on to \(C(B_n)\). Let us define \(\theta_n(B_n)\) as the minimal value of \(\|P\|_{B_n}\) under the condition \(x^{(j)}\in B_n\). We describe the approach in which the norm of the projector can be estimated from the bottom through the volume of the simplex. Let \(\chi_n(t):=\frac{1}{2^nn!}\left[ (t^2-1)^n \right] ^{(n)}\) be the standardized Legendre polynomial of degree \(n\). We prove that \(\|P\|_{B_n}\geq\chi_n^{-1}\left(\frac{vol(B_n)}{vol(S)}\right).\) From this, we obtain the equivalence \(\theta_n(B_n)\) \(\asymp\) \(\sqrt{n}\). Also we estimate the constants from such inequalities and give the comparison with the similar relations for linear interpolation upon the \(n\)-dimensional unit cube. These results have applications in polynomial interpolation and computational geometry.
The authors declare that there are no conflicts of interest present.