Другие Берега

 ====================================================================
ДРУГИЕ БЕРЕГА ГЛАДКОСТИ
Памяти Элеоноры Александровны Стороженко (5 ноября)

Всякая настоящая математическая мысль, если разглядывать ее сквозь обратную призму сорокалетнего отдаления, обладает свойством внезапной кристаллической переклички: узор, нащупанный вслепую в юности, вдруг отзывается гулким куполом в другом столетии и в совсем иной геометрии. Сегодня, пятого ноября, в день рождения Элеоноры Александровны Стороженко, память сама собой возвращается в тысяча девятьсот восемьдесят второй год — в ту особенную, пронизанную морским сквозняком и южным светом Одессу, где начался  роман  Э.А.*  с модулями Гаусса.

Тогдашний мехмат Одесского университета представлял собой зрелище довольно унылое — сонное царство провинциальной обязаловки, пыльных кафедр и размеренного пережевывания чужих параграфов. Но посреди этого казенного однообразия существовал живой, наэлектризованный остров — семинар Элеоноры Александровны. Я пришел к ней в самом начале восемьдесят второго года прежде всего потому, что меня притягивали люди, которых она умела собирать вокруг себя. Они обладали редкостным даром научной породы и внутренней свободы: Виктор Коляда, Вениамин Кротов, Питер Освальд — люди, делавшие живую, первоклассную математику. Они не были послушными подмастерьями одной узкой темы; пожалуй, только Освальд в конце семидесятых годов занимался задачами, вплотную примыкавшими к ее собственным поискам, оставаясь ее любимым учеником (впрочем, чужие привязанности всегда потемки, и это лишь мое тогдашнее впечатление) и ослепительным, быстрым талантом.

В тот год у Элеоноры Александровны вышла работа о теореме Харди — Литтлвуда в пространствах Харди \( H^p \) и в классах \( L_p \) при \( 0 < p < 1 \). Чтобы работать с аналитическими функциями в единичном круге, где обычные симметричные разности бессильны, она ввела новую разностную конструкцию с комплексными весами, нацеленную на уничтожение алгебраических многочленов от \( z \). Сама она тогда и не подозревала, какой титан прошел по этой тропе за сто семьдесят с лишним лет до нее. Не подозревал об этом и я, получив от нее свою первую задачу — перенести классические теоремы Джексона в пространства \( H^p \) на язык этих новых модулей. Лишь чуть позже, листая только что вышедший русский перевод «Теории разбиений» Джорджа Эндрюса — книги, где на каждой странице витала тень того же Харди, — я с изумлением узнал в наших весах классические гауссовы многочлены.

Поначалу работа шла легко: доказательство первой теоремы Джексона послушно перекладывалось на новый лад по схеме Элеоноры Александровны. Но как только я подступился ко второй теореме Джексона, где под знаком модуля должна стоять производная функции, механизм заклинило. На окружности взятие производной и итерация разности отказывались коммутировать по привычным ньютоновским правилам — комплексные фазы сдвига путали карты.

И вот тут, кажется, летом восемьдесят второго года, еще до формального поступления в аспирантуру, я впервые в жизни прикоснулся к тому холодному, бесшумному щелчку, который и есть настоящая математика. Я увидел, что непокорное рассогласование между дифференцированием и итерацией разности мгновенно исчезает, если разомкнуть жесткую сцепку шагов и ввести в оператор дополнительный свободный параметр. Быть может, этот маневр был известен людям, занимавшимся квантовыми группами (я не знаю этого и поныне), а для самого Гаусса он наверняка показался бы прозрачной игрушкой, но для меня в то одесское лето это было озарением почти художественной красоты. Конструкция в одночасье упростила всю картину приближений в круге и на комплексной окружности.

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

Помню курьезный и трогательный эпизод на юбилейной конференции Яка Петре. Сам виновник торжества попал на мой доклад по чистой случайности: увидев в программе загадочные слова «\( q \)-модули», он вообразил нечто совершенно иное из близкой ему области, иначе, конечно, отправился бы в соседнюю аудиторию слушать параллельный доклад Хавьера Толсы — математика глубокого и нетривиального. Но ошибка обернулась удачей: Петре остался, слушал с живейшим вниманием и щедро одобрил результат. Ему было близко то, как естественно в нашу схему ложился его любимый \( K \)-функционал — хотя по справедливости и по гамбургскому счету его следовало бы называть функционалом Корнейчука — Петре, ибо именно идеи Николая Павловича Корнейчука дают точное, без зазора, равенство этого функционала и вогнутого модуля непрерывности.

Прошли десятилетия. И только теперь, окончательно и с брезгливым отвращением отвернувшись от модуля Дитциана — Тотика — этого общепризнанного кумира, на десятилетия изуродовавшего вещественную теорию приближений своими искусственными костылями, — я задаю себе детский, первобытный вопрос. Вопрос, который на самом деле давным-давно был решен Гауссом: а что, собственно, такое гладкость?

Когда Промарз Меликович Тамразов писал свою известную монографию «Гладкости и полиномиальные приближения», что именно он понимал под этим словом? Ведь прежде чем прикладывать к предмету линейку и выписывать оценки, нужно понять природу самого измеряемого свойства. Одно ли и то же гладкость для Ньютона и гладкость для Гаусса? Может ли вообще существовать «гладкость сама по себе» — как бесплотный призрак, оторванный от рельефа и кривизны того пространства, в котором обитает функция?

Здесь и таится главная оптическая ловушка нашего ремесла. Гладкости в безвоздушном пространстве не существует. Рельеф многообразия, по которому разлита функция — будь то распределение температуры или потенциал поля, — обязан входить в само определение разности. Почему же авторы тысяч статей, особенно в той серой полуприкладной, инженерной полосе, которая питается обрывками старых учебников, с таким упорством тащат всюду плоские разности Ньютона? Ведь обычная ньютоновская разность с постоянным шагом не согласована даже с простейшим вращением окружности; ее единственное законное место жительства — бесконечная, плоская, ничем не искривленная евклидова прямая.

Отсюда вырастает и знаменитый мираж, возведенный в ранг талмудического догмата, — так называемый феномен Никольского, гласящий, будто алгебраические многочлены приближают функцию «лучше у краев отрезка». Но помилуйте, что значит «лучше»? Каким аршином вы меряете это «лучше»? Вы прикладываете к концам отрезка плоскую ньютоновскую производную и плоские конечные разности! Но отрезок — не прямая. У него есть края, есть горизонт; он пришелец из совсем другого геометрического мира. Отрезок \( [-1, 1] \) — это сплющенная, сложенная вдвое единичная окружность, тень сферы на диаметре. И если измерять функцию ее истинной, внутренней сферической мерой, мнимое краевое преимущество рассыпается как карточный домик: приближение идет равномерно по всему небосводу.

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

А между тем ключ к ларцу лежал на письменном столе в Гёттингене еще в тысяча восемьсот пятом году.

Когда двадцативосьмилетний Гаусс вычислял орбиты только что открытых малых планет — Цереры, Паллады, Юноны, — он имел дело не с воображаемой прямой линией, а с небесным сводом. Осенью 1805 года в трактате «Теория интерполяции, изложенная новым методом» (опубликованном лишь посмертно и подарившем миру, между прочим, алгоритм быстрого преобразования Фурье) и чуть позже, в мемуаре 1808 года о суммировании замечательных рядов, Гаусс совершил тихую революцию: он сделал для окружности то, что Ньютон за полтора века до него сделал для прямой.

Операторный смысл гауссова шага поразительно глубок. На прямой у Ньютона узлы интерполяции бегут в арифметической прогрессии \( x + jh \). Оператор сдвига \( E_h \) действует на степени \( x^k \) так, что все они склеиваются в одну-единственную жорданову клетку с кратным собственным числом единица. Поэтому, чтобы аннулировать многочлены степени \( k - 1 \), Ньютону достаточно возвести простейшую разность в степень:
\[
\Delta^N_{k, h} = (I - E_h)^k.
\]
Но как только мы сворачиваем прямую в окружность или переходим к геометрической сетке \( q^j \), картина спектра меняется: жорданова клетка рассыпается, и каждая гармоника \( z^j \) обретает свое собственное лицо — свое собственное число \( q^j = e^{ijh} \). Степень одного и того же оператора здесь уже ничего не убьет. И Гаусс в 1808 году записывает разностный оператор как факторизованное произведение скобок:
\[
\Delta^G_{k, h} = \prod_{j=0}^{k-1} (e^{ijh} I - T_h),
\]
где каждый сомножитель прицельно гасит ровно одну собственную моду пространства, порождая на свет те самые гауссовы биномиальные коэффициенты, которые в 1982 году заново открылись нам в Одессе. В этом — фундаментальный закон природы: правильная конечная разность есть остаток интерполяции Лагранжа, а ее операторная форма всецело диктуется спектром сдвига на данном многообразии.

Оставался один последний, удивительно простой шаг, занявший, однако, еще сорок лет.

В 1976 году Пауль Бутцер и Рудольф Стенс попытались построить сферический модуль непрерывности на отрезке \( [-1, 1] \), взяв симметричный сдвиг Чебышева:
\[
T_h f(\cos\theta) = \frac{1}{2}\bigl(f(\cos(\theta + h)) + f(\cos(\theta - h))\bigr).
\]
Они были в полушаге от цели, но привычка к плоскому мышлению сыграла с ними злую шутку: они механически подставили чебышевский сдвиг в ньютоновский бином \( (I - T_h)^k \). Разумеется, конструкция тотчас потеряла связь с полиномиальной интерполяцией и оказалась неспособной аннулировать даже простую наклонную прямую \( f(x) = x \).

Чтобы увидеть истину, нужно было вспомнить уроки Гаусса и одесское лето восемьдесят второго года. Ведь отрезок \( [-1, 1] \) — это проекция гауссовой окружности на диаметр. При этой проекции комплексные собственные числа поворота \( e^{ijh} \) и \( e^{-ijh} \) сливаются в вещественные косинусы \( \cos(jh) \), являющиеся собственными числами оператора сдвига Чебышева на полиномах \( T_j(x) \). И тогда гауссово произведение с окружности само собой опускается на отрезок в виде модуля Гаусса — Чебышева:
\[
\Delta^\ast_{2k, h} = \prod_{j=0}^{k-1} (\cos(jh)I - T_h).
\]
Все встает на свои места без единого искусственного веса. Плоская иллюзия исчезает, уступая место чистой сферической геометрии в ее самом первом, одномерном воплощении. И глядя на эту короткую формулу сегодня, пятого ноября, я думаю о том, как причудливо и верно сходятся линии памяти: от гёттингенских рукописей Гаусса — через одесский семинар Элеоноры Александровны Стороженко — к спокойному и ясному небу над отрезком Чебышева.
====================================================================

*)   свидетельствует Юрий Михайлович Шмандин

«Занимаясь пространствами Харди \(H^p\), Э. А. влюбилась».

Я влюблена!
　　Я так его люблю,
За то, что молод он,
　　Красив невыразимо.
За то, что он
　　Ворвался в жизнь мою
По Маяковскому
　　Весомо, грубо, зримо.
Он шел ко мне
　　И я его искала,
Пытаясь угадать
　　В мерцающей толпе
Теперь он мой.
　　Кто? Я вам не сказала?
Он — модуль непрерывности в \(H^p\).

**)
В декабре 2025 года словарь Merriam-Webster официально назвал slop словом года

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

ps.
Этот текст — авторская гипербола Аргона (точнее, эллипс восторга со знаками «плюс-плюс»): увлечённость красотой нового результата несколько опережает строгую оценку его значения.