Многочлены Бернштейна и модуль Гаусса-Чебышева.

МНОГОЧЛЕНЫ БЕРНШТЕЙНА И ГЛАДКОСТЬ ГАУССА–ЧЕБЫШЕВА
Естественное угловое сжатие, выверенная прямая оценка и двусторонняя эквивалентность

8 ноября 2026 года
Подготовлено в математическом обсуждении с Ю. В. Крякиным.

СТРАНИЦА 1. КЛАССИЧЕСКИЙ ОПЕРАТОР И ЕГО ВЕСОВОЙ ШАГ

Классический оператор Бернштейна традиционно определяется на единичном отрезке \([0,1]\). Для непрерывной функции \(f\in C[0,1]\) и натурального \(n\ge 1\) его многочлен степени \(n\) имеет вид
\[
B_n(f;x)=\sum_{k=0}^n f\left(\frac{k}{n}\right)\binom{n}{k}x^k(1-x)^{n-k}.
\] (1)
Узлы \(k/n\) делят сам отрезок совершенно поровну. Однако интерполяционные свойства оператора около границ принципиально иные, чем в середине. В серединной зоне точки функции испытывают заметное усреднение, тогда как у концов \(0\) и \(1\) биномиальный вес резко стягивается к краю, давая точное совпадение в граничных точках.

В известной теории Дицана–Тотика и в работе В. Тотика (1994) этот факт приводил к использованию модулей гладкости с переменным шагом вдоль отрезка. Прямолинейный сдвиг с весом неизбежно упирается в границу, заставляя авторов строить тяжелейшие искусственные конструкции. 

Но если поднять отрезок на полуокружность, картина становится естественной. Угловая замена \(x=\sin^2(\theta/2)\) превращает отрезок \([0,1]\) в дугу \(\theta\in[0,\pi]\). Равномерный поворот по окружности на угол \(u\) при проекции на диаметр даёт именно то сжатие шага пропорционально корню \(\sqrt{x(1-x)}\), которое заложено в ядре Бернштейна. При этом точка никогда не покидает отрезок, двигаясь по дуге.

\newpage

СТРАНИЦА 2. МОДУЛЬ ГАУССА–ЧЕБЫШЕВА И ПРЯМАЯ ОЦЕНКА

Поднятие функции \(f\in C[0,1]\) на дугу задаётся равенством \(F(\theta)=f(\sin^2(\theta/2))\). Чётное периодическое продолжение функции \(F\) позволяет определить чебышевский сдвиг \(\mathcal{T}_u\) и второй модуль гладкости Гаусса–Чебышева на отрезке \([0,1]\) простым усреднением:
\[
(\mathcal{T}_u f)\left(\sin^2\frac{\theta}{2}\right)=\frac{F(\theta+u)+F(\theta-u)}{2},\qquad
\omega^*_2(f,t)=\sup_{0<u\le t}\|(I-\mathcal{T}_u)f\|_{C[0,1]}.
\] (2)
Модуль вычисляется по значениям функции внутри отрезка, равен нулю на константах и непрерывен по шагу.

Для доказательства прямой оценки не нужно вычитать никаких наклонных прямых или делить отрезок на зоны. Классическое угловое усреднение Стеклова на окружности порождает гладкую функцию, весовая вторая производная которой напрямую контролируется второй разностью.

Теорема 1. Для любой непрерывной функции \(f\in C[0,1]\) и всякого целого \(n\ge 1\) справедлива прямая оценка с явной малой константой:
\[
\|B_nf-f\|_{C[0,1]}\le 3\,\omega^*_2\left(f,\sqrt{\frac{2}{n}}\right).
\] (3)

Оценка (3) предельно лаконична: она не содержит неопределённых множителей и верна сразу для всех \(n\ge 1\) без дополнительных поправок под знаком модуля.

\newpage

СТРАНИЦА 3. ПОЧЕМУ КЛАССИЧЕСКИЙ ОПЕРАТОР НЕ ОБРАТИМ НАПРЯМУЮ

Возникает фундаментальный вопрос: почему оценка (3) для классического многочлена Бернштейна не может быть обращена снизу точно в такой же форме? Причина кроется в граничном наклоне функции.

Второй модуль \(\omega^*_2\) порождён чебышевским дифференциальным оператором
\[
\mathcal{A}g(x)=-x(1-x)g''(x)+\left(x-\frac{1}{2}\right)g'(x).
\] (4)
В точках \(0\) и \(1\) старший весовой член обращается в нуль, но остаётся первая производная: \((\mathcal{A}g)(0)=-\frac{1}{2}g'(0)\). На дуге поворот на угол \(u\) смещает точку \(0\) в позицию \(\sin^2(u/2)\approx u^2/4\), поэтому модуль непрерывности чувствует наклон графика у края. 

Классический же оператор Бернштейна \(B_n\) жестко привязан к концам: в точках \(0\) и \(1\) его погрешность \(B_nf-f\) тождественно равна нулю при любой функции \(f\). Его предел Вороновской содержит только старшую часть \(x(1-x)g''(x)\) и полностью слеп к краевому наклону. Из-за этого дефекта обратная оценка для классического многочлена наталкивается на граничное препятствие.

Чтобы восстановить полную гармонию, оператор Бернштейна нужно освободить от искусственного зажатия на концах и вернуть ему естественную угловую геометрию.

\newpage

СТРАНИЦА 4. УГЛОВОЕ СЖАТИЕ И СРАВНЕНИЕ БАЗИСОВ ДЛЯ \(n=4\)

При среднем повороте точки на окружности на угол порядка \(1/\sqrt{n}\) её проекция на диаметр смещается к центру на множитель \(\cos(1/\sqrt{n})\approx 1-\frac{1}{2n}\). Сдвиг аргумента к центру отрезка \(1/2\) на эту величину задаёт естественный оператор Бернштейна со сжатием*:
\[
B_n^*(f;x)=B_n\left(f;\left(1-\frac{1}{2n}\right)\left(x-\frac{1}{2}\right)+\frac{1}{2}\right).
\] (5)
Базисные функции теперь не обращаются в нуль на границах. Сравним в явном виде классические базисные многочлены \(p_{4,k}(x)=\binom{4}{k}x^k(1-x)^{4-k}\) и их сжатые аналоги \(p^*_{4,k}(x)\), где аргумент сжат с коэффициентом \(1-\frac{1}{8}=\frac{7}{8}\), то есть \(x^*=\frac{7}{8}x+\frac{1}{16}\):

Классический базис \(B_4\):
\[
\begin{aligned}
p_{4,0}(x)&=(1-x)^4,\\
p_{4,1}(x)&=4x(1-x)^3,\\
p_{4,2}(x)&=6x^2(1-x)^2,\\
p_{4,3}(x)&=4x^3(1-x),\\
p_{4,4}(x)&=x^4.
\end{aligned}
\]

Сжатый чебышевский базис \(B_4^*\):
\[
\begin{aligned}
p^*_{4,0}(x)&=\left(\frac{15}{16}-\frac{7}{8}x\right)^4,\\
p^*_{4,1}(x)&=4\left(\frac{1}{16}+\frac{7}{8}x\right)\left(\frac{15}{16}-\frac{7}{8}x\right)^3,\\
p^*_{4,2}(x)&=6\left(\frac{1}{16}+\frac{7}{8}x\right)^2\left(\frac{15}{16}-\frac{7}{8}x\right)^2,\\
p^*_{4,3}(x)&=4\left(\frac{1}{16}+\frac{7}{8}x\right)^3\left(\frac{15}{16}-\frac{7}{8}x\right),\\
p^*_{4,4}(x)&=\left(\frac{1}{16}+\frac{7}{8}x\right)^4.
\end{aligned}
\]

В сжатом базисе крайние многочлены \(p^*_{4,0}(1)=p^*_{4,4}(0)=(1/16)^4>0\) уже не зануляются на противоположных концах. Оператор слегка шевелится на границе, точно воспроизводя чебышевский сдвиг.

\newpage

СТРАНИЦА 5. ТЕОРЕМА 2 — ТОЧНАЯ ДВУСТОРОННЯЯ ЭКВИВАЛЕНТНОСТЬ

Для сжатого оператора Бернштейна \(B_n^*\) генератором Вороновской становится в точности чебышевский оператор \(\mathcal{A}\):
\[
\lim_{n\to\infty}n\bigl(g(x)-B_n^*(g;x)\bigr)=\frac{1}{2}\mathcal{A}g(x).
\] (6)
Ядра оператора \(I-B_n^*\), модуля непрерывности \(\omega^*_2\) и родного оператора \(\mathcal{A}\) идеально совпадают и состоят только из констант. Все граничные разногласия исчезают. 

Это позволяет получить полную двустороннюю теорему эквивалентности в строгой форме Тотика для равномерной нормы.

Теорема 2. Для любой функции \(f\in C[0,1]\) и любого натурального числа \(n\ge 1\) справедлива двусторонняя эквивалентность уклонения сжатых многочленов Бернштейна и модуля Гаусса–Чебышева:
\[
\sup_{k\ge n}\|B_k^*f-f\|_{C[0,1]}\asymp\omega^*_2\left(f,\frac{1}{\sqrt{n}}\right).
\] (7)

Положительные константы в (7) абсолютны и не зависят ни от функции, ни от степени приближения. Таким образом, сжатый оператор Бернштейна даёт естественную полиномиальную реализацию гладкости Гаусса–Чебышева.

Литература

1. Ю. В. Крякин (в обсуждении с ChatGPT). Модули Гаусса–Чебышева и порядок алгебраического приближения. Препринт, 5 ноября 2026 года.

2. Ю. В. Крякин (в обсуждении с ChatGPT). Два описания гладкости в геометрии Гаусса–Чебышева: родной оператор, спектральный модуль и поправка низких гармоник. Препринт, 6 ноября 2026 года.

3. V. Totik. Approximation by Bernstein polynomials. American Journal of Mathematics 116 (1994), 993–1018.

 

*) С ВЕРОЯТНОСТНОЙ ТОЧКИ ЗРЕНИЯ: ОТ ПЛОСКОЙ МОНЕТЫ К СФЕРЕ

Если слушатель спросит: «Многочлены Бернштейна возникли из независимых бросаний монеты, а куда ведёт сдвиг аргумента \(x^*\) к центру? Не разрушает ли это вероятностную основу?», то ответ поразительно красив и прост. Сдвиг не разрушает вероятность, а делает её физичной и честной.

1. Байесовское сжатие и поправка Лапласа.
Классический многочлен Бернштейна опирается на частоту \(k/n\) — оценку максимального правдоподобия. На краях она наивна: если при \(n\) бросках герб не выпал ни разу, классик заключает, что вероятность герба строго равна нулю. Байесовский подход со времён Лапласа добавляет к испытаниям априорное знание (регуляризацию). Наш сдвиг к центру на величину \(1/(2n)\) — это в точности байесовская оценка вероятности успеха при малом симметричном априорном распределении: крайние вероятности освобождаются от ложного абсолютного зануления.

2. Дрейф Ито на окружности.
Классическая монета предполагает плоское одномерное блуждание, искусственно зажатое стенками \(0\) и \(1\). Но замена \(x=\sin^2(\theta/2)\) означает, что состояние системы задаётся углом \(\theta\) на окружности. Если частица на окружности делает случайный симметричный шаг \(\pm u\) длины порядка \(1/\sqrt{n}\), то её средняя проекция на диаметр в силу формулы косинуса не остаётся прежней:
\[
\mathbb{E}[\cos(\theta\pm u)]=\cos\theta\cos u\approx\cos\theta\left(1-\frac{u^2}{2}\right).
\]
Кривизна окружности автоматически порождает центростремительный снос величины \(1/(2n)\). Это не потеря независимости, а стандартный геометрический дрейф Ито для диффузии на компактном многообразии.

Таким образом, оператор \(B_n^*\) — это не искусственная деформация, а многочлен Бернштейна для частицы, живущей на сфере, где естественным генератором выступает не одномерная вторая производная, а оператор Гаусса–Чебышева.

==============================================================

Так как публика (особенно жители Фив)  любит броские и неглубокие штучки (которые и полезны, вообще говоря больше заумных и сложных построений), то должен заранее предупредить: я против чтобы правильную  модификацию многочленом Бернштейна связывали с моим именем; это модификация Аргона, и эта звездочка обозначает оператор Берштейна-Аргона, в общем .. все мы  теперь немного Аргонавты ... ух-ты ах-ты все мы Аргонавты.