RUS  ENG
Полная версия
ЖУРНАЛЫ // Моделирование и анализ информационных систем // Архив

Модел. и анализ информ. систем, 2021, том 28, номер 2, страницы 186–197 (Mi mais743)

Эта публикация цитируется в 1 статье

Discrete mathematics in relation to computer science

О свойствах правильного симплекса, вписанного в шар

М. В. Невский

Ярославский государственный университет им. П. Г. Демидова, ул. Советская, д. 14, г. Ярославль, 150003 Россия

Аннотация: Пусть $B$ — евклидов шар в ${\mathbb R}^n$, $C(B)$ — пространство непрерывных функций $f:B\to{\mathbb R}$ с равномерной нормой $\|f\|_{C(B)}:=\max_{x\in B}|f(x)|.$ Под $\Pi_1\left({\mathbb R}^n\right)$ понимается совокупность многочленов от $n$ переменных степени $\leq 1$, то есть линейных функций на ${\mathbb R}^n$. Интерполяционный проектор $P:C(B)\to \Pi_1({\mathbb R}^n)$ с узлами $x^{(j)}\in B$ определяется равенствами $Pf\left(x^{(j)}\right)=f\left(x^{(j)}\right)$, $j=1,\ldots, n+1$. Норма $P$ как оператора из $C(B)$ в $C(B)$ вычисляется по формуле $\|P\|_B=\max_{x\in B}\sum |\lambda_j(x)|,$ где $\lambda_j$ — базисные многочлены Лагранжа невырожденного $n$-мерного симплекса с вершинами $x^{(j)}$. Пусть $P^\prime$ — проектор, узлы которого совпадают с вершинами правильного симплекса, вписанного в шар. В статье найдены точки $y\in B$, для которых $\|P^\prime\|_B=\sum |\lambda_j(y)|$. Формулируется геометрическая гипотеза, из справедливости которой следует, что $\|P^\prime\|_B$ есть минимальное значение нормы интерполяционного проектора, узлы которого принадлежат $B$. Доказывается, что эта гипотеза справедлива по крайней мере для $n=1,2,3,4$.

Ключевые слова: симплекс, шар, линейная интерполяция, проектор, норма.

УДК: 514.17, 517.51, 519.6

Поступила в редакцию: 28.04.2021
Исправленный вариант: 25.05.2021
Принята в печать: 26.05.2021

DOI: 10.18255/1818-1015-2021-2-186-197



© МИАН, 2024