От Фавара к Бору 6 (Уитни)

 Уитни на стене (см про встечу с Гауссом)

До следующего карниза
Шестая заметка. Исследовательский черновик.
16 октября 2026 года.

Представим, что, огибая склон, мы увидели на стене Уитни. В этой воображаемой встрече он поднимается без страховки, легко находя опоры там, где мы пока различаем только камень. Нам хочется понять его путь и пройти по нему хотя бы до следующего карниза.

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

У вторых разностей такой опорой оказалась лемма Баркилла: два закреплённых конца позволяли связать точку максимума с другой точкой отрезка и получить оценку почти в одну строку. При третьих разностях стена стала сложнее. Мы попробовали изменить расположение дополнительных условий.

Сдвигаем две границы

В предыдущей заметке мы вычитали из x³ параболу так, чтобы остаток имел нулевое среднее на каждой трети отрезка. Возникшие нули оказались близки к гауссовым, но не совпали с ними.

Теперь сохраним симметрию, а внутренние границы поставим в точках

\[
\frac12-b,\qquad \frac12+b,
\qquad 0<b<\frac12.
\]

Раньше было b = 1/6. Мы разрешаем ему изменяться и спрашиваем, найдётся ли положение границ, при котором нули остатка станут в точности гауссовыми.

Пусть r — остаток от x³ после вычитания параболы. Если его интегралы на трёх участках нулевые, накопленная площадь

\[
F(x)=\int_0^x r(t)\,dt
\]

обращается в нуль на обеих границах отрезка и в двух внутренних точках разделения.

Отсчитаем координату от середины: y = x−1/2. Четыре нуля теперь расположены в точках −1/2, −b, b, 1/2. Следовательно,

\[
F(x)=\frac14\left(y^2-\frac14\right)(y^2-b^2).
\]

Множитель 1/4 сохраняет нужный старший член: производная должна начинаться с x³. После дифференцирования получаем

\[
r(x)=y^3-\left(\frac18+\frac{b^2}{2}\right)y.
\]

У гауссова кубического многочлена с единичным старшим коэффициентом в тех же координатах вид

\[
r_G(x)=y^3-\frac3{20}y.
\]

Значит, осталось уравнять два коэффициента:

\[
\frac18+\frac{b^2}{2}=\frac3{20},
\qquad b^2=\frac1{20}.
\]

Нужные границы найдены:

\[
a=\frac12-\frac1{2\sqrt5},
\qquad
1-a=\frac12+\frac1{2\sqrt5}.
\]

Приблизительно это 0,2764 и 0,7236. Крайние участки сократились, средний расширился. После этого сдвига нули пробного остатка стали в точности узлами Гаусса.

Это наша первая проверенная опора на новом участке пути. Геометрия ограничений согласовалась с гауссовым колебанием для кубического многочлена.

Меняем саму постановку

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

Пусть g непрерывна на [0,1] и

\[
\int_0^a g(x)\,dx=0,\qquad
\int_a^{1-a}g(x)\,dx=0,\qquad
\int_{1-a}^1g(x)\,dx=0.
\]

Насколько большой может быть g, если все её третьи разности по модулю не превосходят единицы?

Обозначим через ω₃(g) наибольший модуль третьей разности по всем четвёркам равноотстоящих точек, помещающимся в [0,1]. Ищем наименьшую константу C_G в оценке

\[
\|g\|_\infty\le C_G\,\omega_3(g).
\]

Первый естественный ориентир — проверить, верна ли здесь оценка с константой 1. Это пока вопрос. Удачное поведение пробного кубического многочлена ещё не доказывает оценки для произвольной непрерывной функции.

Почему здесь появляется W₃?

В классической задаче Уитни для каждой функции f выбирают наилучшую приближающую параболу. Обозначим ошибку такого приближения через E₂(f). Константа W₃ — наименьшее число, для которого

\[
E_2(f)\le W_3\,\omega_3(f)
\]

при всех непрерывных f.

Наши три интегральных условия задают определённый способ выбора параболы Q_Gf: её интегралы по трём участкам должны совпадать с интегралами f.

Такая парабола определяется однозначно. Действительно, если разность двух подходящих парабол имеет нулевой интеграл на каждом участке, её первообразная обращается в нуль в четырёх различных точках. Но степень этой первообразной не выше трёх. Значит, она тождественно нулевая. Существование затем следует из того, что три линейных условия однозначно определяют три коэффициента.

Остаток g = f−Q_Gf удовлетворяет нашим ограничениям. Вычитание параболы не меняет третьи разности. Поэтому оценка для нового класса дала бы

\[
\|f-Q_Gf\|_\infty\le C_G\,\omega_3(f).
\]

Наилучшая парабола приближает не хуже выбранной по этому правилу, следовательно, W₃ ≤ C_G. Таким образом, мы получили конкретную вспомогательную задачу, которая может дать верхнюю оценку классической константы. Равенство двух констант из этого не следует.

Ориентиры на маршруте

Yuri V. Kryakin. Whitney’s Constants and Sendov’s Conjectures. Mathematica Balkanica, New Series, Vol. 16 (2002), Fasc. 1–4, pp. 235–247. Определения различных констант — с. 235–236 и 239; интегральные ограничения и примеры доказательств — с. 238–242.

Ludovico Bruni Bruno, Wolfgang Erb. Polynomial Interpolation of Function Averages on Interval Segments. arXiv:2309.00328 (2023). Интерполяция по средним имеет самостоятельную историю; ссылка служит ориентиром по этому общему способу выбора многочлена. Конкретная оценка через ω₃ при найденных границах остаётся здесь нашим исследовательским вопросом.

У следующего карниза

Мы изменили расположение условий. Возможно, это позволит проще согласовать локальные и глобальные разности: накопленная площадь теперь закреплена в точках, которые уже показали хорошую согласованность на кубическом примере.

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

На нашей воображаемой стене Уитни уже различима линия движения. Мы пока проверили одну опору и наметили следующую. Разговор с AI помогает быстро рассмотреть варианты, но вес доказательства по-прежнему должен выдержать каждый переход.

Границы удалось передвинуть так, чтобы встретить Гаусса. А стала ли от этого проще оценка Уитни — или первая же ломаная покажет трещину в выбранном нами пути?