Порог 2: как резиновая линейка выдерживает бесконечное усреднение ✛ ✎

2 — порог, за которым послушная последовательность рискует потерять свою структуру.

Вместо привычной равномерной шкалы — резиновая линейка с неравномерной эластичностью. Именно так устроены пространства Орлича: банаховы пространства последовательностей, где каждому масштабу соответствует своя жёсткость, описываемая выпуклой функцией Юнга (своего рода пружиной). На такую линейку воздействуют операторы — например, дискретный максимальный оператор, который для каждого элемента вычисляет наибольшее среднее по всем отрезкам, его содержащим. Или оператор Харди, суммирующий предшествующие значения. В оптимизации оценок для уравнений в частных производных и вариационных задачах критично знать, когда эти операторы ограничены, то есть не выводят последовательность за границы пространства — не ломают резиновую линейку.

Для непрерывного случая условия ограниченности давно выяснены. Однако дискретный мир преподнёс сюрприз: ключ спрятан в поведении дополнительной функции Юнга (партнёрской функции, задающей двойственное пространство) вблизи нуля. Она должна подчиняться ∆₂-условию в нуле: удвоение аргумента не вызывает катастрофического скачка значений. Авторы доказали, что это равносильно существованию ∆⁰₂-фундаментальной последовательности — убывающего к нулю тестового набора, выдерживающего удвоение без резкого роста «модулярной энергии». И вот тут правило обрело кристальную ясность: последовательность является фундаментальной ровно тогда, когда верхний предел отношения её соседних членов не превосходит двух. Не зависит ни от какой функции Юнга — только число 2.

Доказательство опирается на изощрённую технику: спектральный анализ перестановок, информационные неравенства, вероятностные оценки хвостов распределений. В отличие от непрерывного анализа, где в ход идут преобразование Фурье или вейвлеты, здесь главную роль сыграли комбинаторные инварианты. Результат не только завершает теорию пространств Орлича для дискретных последовательностей, но и открывает новое направление. Понятие фундаментальной последовательности с пороговой константой 2 может быть перенесено на непрерывные функции, высвечивая природу критических показателей в динамических системах и сингулярных интегралах.

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