От Фавара к Бору 4 (Базовый лагерь у перевала)

 Базовый лагерь у перевала (см. что было раньше)

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

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

Пока назовём это место базовым лагерем у перевала Бор—Фавар—Уитни. Это название отмечает положение нашей мысли: несколько знакомых задач начинают просматриваться одновременно.

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

Парабола и её невидимые спутники

Пусть

\[
f(x)=x^2,\qquad 0\le x\le1.
\]

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

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

Первый опыт: закрепляем концы

Парабола проходит через точки (0,0) и (1,1). Соединяющая их прямая имеет уравнение y = x. Вычитаем её:

\[
g(x)=x^2-x.
\]

Теперь g(0) = g(1) = 0. Между концами график лежит ниже оси. В середине он достигает значения −1/4, поэтому

\[
\|g\|_\infty=\frac14.
\]

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

Второй опыт: закрепляем средние

Попробуем другие условия. Потребуем, чтобы среднее значение на каждой половине отрезка было нулевым:

\[
\int_0^{1/2}r(x)\,dx=0,
\qquad
\int_{1/2}^1r(x)\,dx=0.
\]

Они выражают равновесие площадей: на каждой половине площадь над осью должна равняться площади под осью.

Начнём с уже построенного графика g. Он симметричен относительно середины, поэтому его средняя высота на обеих половинах одинакова. Вычисление даёт

\[
2\int_0^{1/2}(x^2-x)\,dx
=2\int_{1/2}^1(x^2-x)\,dx
=-\frac16.
\]

Множитель 2 означает деление на длину половины отрезка. Мы вычисляем среднюю высоту; сам интеграл на каждой половине равен −1/12.

Чтобы средняя высота стала нулевой, достаточно поднять весь график на 1/6:

\[
r(x)=x^2-x+\frac16.
\]

Теперь концы находятся над осью, середина — под ней. На концах значение равно 1/6, в середине — −1/12. Следовательно,

\[
\|r\|_\infty=\frac16.
\]

Остановка у рисунка

К заметке приложен рисунок «Два способа закрепления параболы». Слева показано закрепление концов, справа — закрепление средних. Положительные площади выделены голубым, отрицательные — песочным цветом.

На правом рисунке в каждой половине отрезка появились участки обоих знаков. Их возникновение было предписано условиями на средние. Если непрерывная функция имеет нулевой интеграл и где-то положительна, она должна где-то принимать отрицательные значения. Иначе площади не уравновесятся.

Мы заранее не выбирали точки пересечения с осью. Они появились в результате выбора ограничений.

При этом вторые разности обеих функций совершенно одинаковы:

\[
\Delta_h^2g(x)=\Delta_h^2r(x)=2h^2.
\]

Подстановка позволяет проверить это без всякой общей теории. Квадратичный член даёт 2h², линейный и постоянный члены исчезают.

Итак, разностные данные сохранились. Изменились расположение графика, его знаки и наибольший модуль. В нашем примере закрепление средними уменьшило норму с 1/4 до 1/6.

Этот опыт ещё не сравнивает наилучшие константы для всех непрерывных функций. Он показывает, почему выбор условий влияет на оценку и почему его стоит изучать отдельно. Чтобы перейти от одной параболы к целому классу, понадобится доказательство, которое охватит все допустимые формы графика.

Две точки, которых мы не назначали

Найдём нули функции r. Решаем квадратное уравнение

\[
x^2-x+\frac16=0
\]

и получаем

\[
x_- =\frac12-\frac1{2\sqrt3},
\qquad
x_+ =\frac12+\frac1{2\sqrt3}.
\]

Приблизительно это 0,2113 и 0,7887. Один нуль лежит в первой половине отрезка, другой — во второй, как и требовало равновесие площадей.

У этих точек есть ещё одна известная роль. Это узлы двухточечной квадратуры Гаусса на [0,1]. Для любого многочлена p степени не выше трёх выполняется

\[
\int_0^1p(x)\,dx
=\frac12p(x_-)+\frac12p(x_+).
\]

Точность здесь легко проверить на четырёх простейших многочленах: 1, x, x², x³. Все остальные многочлены степени не выше трёх составляются из них сложением и умножением на числа.

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

Куда смотреть из базового лагеря

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

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

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

Сегодня мы заметили совпадение, которое хочется проверить дальше. Для параболы условия нулевых средних привели ровно к гауссовым узлам. А если взять многочлен третьей степени и потребовать нулевые средние на трёх равных частях отрезка — встретим ли мы Гаусса снова?

Источники и ориентиры

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

NIST Digital Library of Mathematical Functions, §3.5(v), Gauss Quadrature; Gauss–Legendre Formula. https://dlmf.nist.gov/3.5#v