S^3 Part I To hear the music of the spheres

 

To Hear the Sphere

Favard on the Sphere \(S^3\). I. Geometry, Oscillations and the Idea

The circle has a familiar language: sines and cosines. Any sufficiently regular oscillation can be decomposed into simple components, and we can ask which of them are slow, which are fast, and which matter for approximation. The sphere has such a language too. It is more complex, but preserves the essential point: geometry determines the admissible oscillations, while a differential operator measures their frequencies.

We want to understand how large a function on the three-dimensional sphere can be when its Laplacian is known and its low harmonics have been removed. The search for a sharp coefficient will lead us to Green's function, approximation in the integral norm, and a special pattern of sign changes. We begin with geometry: the reader needs only an intuitive understanding of distance, averages and oscillation.

How to Imagine \(S^3\)

The familiar surface of a ball is the two-dimensional sphere \(S^2\): one can move along it in two independent directions. It lies in three-dimensional space. Similarly, \(S^3\) is the surface of the unit ball in four-dimensional space. It has three independent tangent directions:

\[ S^3=\{(x_0,x_1,x_2,x_3):x_0^2+x_1^2+x_2^2+x_3^2=1\}. \]

The fourth coordinate helps us define the sphere, while the intrinsic dimension of its surface is three. It is difficult to depict the whole sphere in an ordinary drawing, but the geometry we need can be described through distances and layers.

Choose a north pole. Let \(\theta\) denote the distance from it to another point; on the unit sphere, this distance equals the central angle. It ranges from zero to \(\pi\). Points at the same distance form an ordinary two-dimensional sphere of radius \(\sin\theta\). Near the pole this layer is small, at the equator it is largest, and then it contracts again towards the opposite pole.

A function that has the same value at every point of a layer is called zonal. It can be specified as a function of the single variable \(\theta\). To integrate it, however, we must take the size of the layer into account. For the usual surface measure,

\[ \int_{S^3}A(\theta)\,d\sigma =4\pi\int_0^\pi A(\theta)\sin^2\theta\,d\theta. \]

The factor \(4\pi\) is the area of the unit two-dimensional sphere. The same formula gives the area of \(S^3\), namely \(2\pi^2\). The weight \(\sin^2\theta\) expresses the geometry, which must not be lost when we pass to a single variable.

This will be the decisive difference between dimensions. On \(S^2\), the radial weight is \(\sin\theta\). There, the substitution \(x=\cos\theta\) turns the measure into one with constant density. On \(S^3\), the same substitution leaves the weight \(\sqrt{1-x^2}\). Almost identical geometrical pictures lead to different conditions on the extremal nodes.

Let us fix the normalisations at once: the sphere has unit radius, and we use the usual surface measure. The uniform norm measures the maximum absolute value of a function; the integral norm measures the integral of its absolute value. Replacing surface measure by probability measure does not change the ratio of the norms of two functions, provided the same norm is used for both, but it changes the coefficients of integral kernels. Normalisation therefore matters particularly when we invert the operator.

Harmonics: the Individual Voices of the Sphere

On the circle, a sine or cosine of a single frequency remains the same oscillation after two differentiations: only its multiplier changes. Spherical harmonics play the corresponding role on the sphere. They are grouped by degree \(k\).

A harmonic of degree \(k\) can be defined by taking a homogeneous polynomial in four-dimensional space whose Euclidean Laplacian vanishes, and restricting it to the sphere. For our account, however, another property is more convenient: it is an eigenfunction of the spherical Laplacian.

The Laplace-Beltrami operator measures the combined variation of a function in tangent directions. It takes curvature into account and is independent of coordinates. Write the positive operator as \(L=-\Delta_{S^3}\). For a harmonic of degree \(k\),

\[ LY_k=k(k+2)Y_k. \]

Constants form degree zero. The four coordinate functions have degree one and eigenvalue three. In degree two, the eigenvalue is eight. There are \((k+1)^2\) independent harmonics of degree \(k\): a single frequency on the sphere admits an entire family of shapes.

Different degrees are orthogonal: the integral of the product of two harmonics of different degrees is zero. Together, they provide a complete language for decomposing square-integrable functions. Removing low harmonics is therefore as natural a condition as removing low frequencies from a Fourier series.

Let \(\Pi_{n-1}\) denote the space spanned by all harmonics of degrees less than \(n\). The notation \(f\perp\Pi_{n-1}\) means that the integral of \(fP\) vanishes for every polynomial \(P\) in this space. When \(n=1\), only a zero mean is required. When \(n=2\), the four coordinate moments must also vanish. This condition makes sense for integrable functions as well, since the test polynomials are bounded.

What coefficient is needed to estimate \(\|f\|\) in terms of \(\|Lf\|\) for such functions? The first admissible spectral level is \(n(n+2)\). In the quadratic norm, orthogonality immediately gives the exact answer \(1/[n(n+2)]\). In the uniform and integral norms, different harmonics can combine to create high peaks. For these norms, we must study the shape of the function, as well as the individual eigenvalues.

This is where Favard's problem arises: to find a coefficient of order \(n^{-2}\), determine its sharpness, and describe the extremal behaviour. A single harmonic gives an initial lower bound; a coordinated combination of harmonics may determine the true answer.

Averaging over rotations that fix the pole extracts the zonal part. It preserves the degree of a polynomial and does not increase the integral error. Many of the extremal questions we need therefore become one-dimensional. This is an exact reduction, although the weight itself continues to retain the dimension of the sphere.

From a Sharp Constant to the Right Sign

The history of the method begins with the inversion of differentiation. On the circle, this leads to periodic Bernoulli kernels. Favard's work in the 1930s showed how best approximation of the kernel yields sharp direct estimates for classes of smooth functions. On the sphere, Green's function of the Laplacian plays the same role.

Akhiezer and Krein developed the duality of extremal problems with linear constraints and prescribed moments. In this theory, minimising the integral norm is linked to a bounded function that certifies sharpness. When such a function takes the values \(+1\) and \(-1\), it becomes a signature: the sign of the extremal residual.

The signature has two duties. It must be orthogonal to every admissible approximating polynomial, and it must agree with the sign of the error. Integration against it then gives a lower bound equal to the upper bound already found. The approximation thus receives a certificate of its optimality.

Geronimus representations allow alternating nodes to be described through analytic polynomials. In Babenko's method, the search for such a sign becomes the starting point for difficult extremal problems. This language was also developed in joint studies by Babenko, Deikalova, Gorbachev and Kryakin. Its strength is that it reveals a common construction behind different formulations.

For our problem, an unexpected connection emerged with the comparison of norms: how narrow can the peak of a polynomial of a given degree be? After transforming the even spherical problem, this question selects the same signature as the approximation of Green's function. Different functionals use the same nodes. This coincidence requires proof and rests on the positivity of the interpolation remainder.

The modern description of the Hormander-Bernhardsson extremal function, obtained by Bondarenko, Ortega-Cerda, Radchenko and Seip, supplies an equation and a spectral mechanism for locating the nodes. In our working derivation, this leads to the limiting constant \(F_{1,3}\approx2.85099942\). It concerns best approximation of the kernel and the uniform-norm estimate; the sharpness of the corresponding integral operator norm on the constrained space remains a separate problem.

The full route through the series is as follows:

1. Chapter II. "Favard: Recovering a Function from Its Oscillations." The circle and \(S^2\), exact signatures and two explicit series.
2. Chapter III. "The Sphere Puts a Question to Its Nodes." The formulation on \(S^3\), Green's function and a close Gegenbauer candidate.
3. Chapter IV. "How We Learned to Find the Extremal Form." The history of the norm problem and the ideas leading from moments to an equation.
4. Chapter V. "A Bridge to Entire Functions." The limiting profile, a common signature and the formula for the spherical constant.
5. Chapter VI. "When Two Constants Meet on the Sphere." The direct route through the circle, a simple estimate and the remaining questions.

The chapters are self-contained: the necessary notation is repeated. Detailed checks of the ongoing investigation are collected in the proof notes. Three questions are useful while reading: which norm are we estimating, with respect to which measure do we check orthogonality, and what certifies sharpness?

We shall seek a number and reconstruct the form that determines it. On the circle, that form follows a uniform rhythm. On the sphere, the rhythm changes with the measure. To hear it is to understand how geometry chooses the oscillations and their sign.

 

 # Услышать сферу

*Фавар на сфере S³. I. Геометрия, колебания и замысел*

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

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

## Как представить S³

Обычная поверхность шара — двумерная сфера \(S^2\): по ней можно двигаться в двух независимых направлениях. Она лежит в трёхмерном пространстве. Аналогично \(S^3\) — поверхность единичного шара в четырёхмерном пространстве. На ней есть три независимых касательных направления:

\[
S^3=\{(x_0,x_1,x_2,x_3):x_0^2+x_1^2+x_2^2+x_3^2=1\}.
\]

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

Выберем северный полюс. Расстояние от него до другой точки обозначим \(\theta\); на единичной сфере оно совпадает с центральным углом. Оно изменяется от нуля до \(\pi\). Точки с одинаковым расстоянием образуют обычную двумерную сферу радиуса \(\sin\theta\). Возле полюса этот слой мал, у экватора — наибольший, затем снова сжимается к противоположному полюсу.

Функция, одинаковая во всех точках слоя, называется зональной. Её достаточно задать как функцию одной переменной \(\theta\). Однако интегрировать её следует с учётом размера слоя. Для обычной поверхностной меры

\[
\int_{S^3}A(\theta)\,d\sigma
=4\pi\int_0^\pi A(\theta)\sin^2\theta\,d\theta.
\]

Множитель \(4\pi\) — площадь единичной двумерной сферы. Из той же формулы получается площадь \(S^3\), равная \(2\pi^2\). Вес \(\sin^2\theta\) выражает геометрию, которую нельзя потерять при переходе к одной переменной.

Это будет решающим различием размерностей. На \(S^2\) радиальный вес равен \(\sin\theta\). Замена \(x=\cos\theta\) там превращает меру в постоянную. На \(S^3\) после такой замены остаётся \(\sqrt{1-x^2}\). Почти одинаковые геометрические картины приводят к разным условиям на экстремальные узлы.

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

## Гармоники: отдельные голоса сферы

На окружности синус или косинус одной частоты остаётся тем же колебанием после двукратного дифференцирования: меняется только множитель. На сфере аналогичную роль играют сферические гармоники. Их объединяют в группы по степени \(k\).

Можно определить гармонику степени \(k\), взяв однородный полином в четырёхмерном пространстве, чей евклидов лапласиан равен нулю, и ограничив его на сферу. Но для нашего рассказа удобнее другое свойство: это собственная функция сферического лапласиана.

Лапласиан Лапласа—Бельтрами измеряет суммарное изменение функции по касательным направлениям. Он учитывает кривизну и не зависит от координат. Положительный оператор обозначим \(L=-\Delta_{S^3}\). Для гармоники степени \(k\)

\[
LY_k=k(k+2)Y_k.
\]

Постоянные образуют степень нуль. Четыре координатные функции имеют степень один и собственное значение три. В степени два собственное значение равно восьми. Всего независимых гармоник степени \(k\) имеется \((k+1)^2\): одна частота на сфере допускает целое семейство форм.

Разные степени ортогональны: их попарные интегралы произведений равны нулю. Вместе они дают полный язык разложения квадратично интегрируемых функций. Поэтому удалить низкие гармоники — столь же естественное условие, как удалить низкие частоты из ряда Фурье.

Обозначим через \(\Pi_{n-1}\) все гармоники степеней меньше \(n\). Запись \(f\perp\Pi_{n-1}\) означает, что интеграл \(fP\) равен нулю для каждого полинома \(P\) из этого пространства. При \(n=1\) требуется только нулевое среднее. При \(n=2\) дополнительно исчезают четыре координатных момента. Это условие осмысленно и в интегральной норме, поскольку тестовые полиномы ограничены.

Какой коэффициент нужен для оценки \(\|f\|\) через \(\|Lf\|\) на таких функциях? Первый допустимый уровень равен \(n(n+2)\). В квадратичной норме ортогональность сразу даёт точный ответ \(1/[n(n+2)]\). В равномерной и интегральной нормах разные гармоники могут совместно создавать высокие пики. Для них нужно изучить форму функции, а не только отдельные собственные значения.

Отсюда возникает задача Фавара: найти коэффициент порядка \(n^{-2}\), понять его точность и описать экстремальное поведение. Единичная гармоника даёт начальную нижнюю границу; согласованное сочетание гармоник может определять настоящий ответ.

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

## От точной константы к точному знаку

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

Ахиезер и Крейн развивали двойственность экстремальных задач с линейными условиями и заданными моментами. В этой теории минимизация интегральной нормы связана с ограниченной функцией, удостоверяющей точность. Когда такая функция принимает значения \(+1\) и \(-1\), она становится сигнатурой — знаком экстремального остатка.

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

Представления Геронимуса позволяют описывать чередующиеся узлы через аналитические полиномы. В методе Бабенко поиск такого знака становится отправной точкой для трудных экстремальных задач. Этот язык развивался и в совместных исследованиях Бабенко, Дейкаловой, Горбачева и Крякина. Его достоинство — возможность увидеть общую конструкцию за различными формулировками.

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

Современное описание экстремальной функции Хёрмандера—Бернхардссона, полученное Бондаренко, Ортегой-Сердой, Радченко и Сейпом, даёт уравнение и спектральный механизм поиска узлов. В нашем рабочем выводе это приводит к предельной константе \(F_{1,3}\approx2{,}85099942\). Она относится к точному приближению ядра и равномерной оценке; точность соответствующей ограниченной интегральной операторной нормы остаётся отдельной задачей.

Полный маршрут цикла таков:

1. **Глава II. «Фавар: восстановить функцию по её колебаниям».** Окружность и \(S^2\), точные сигнатуры и два явных ряда.
2. **Глава III. «Сфера задаёт вопрос своим узлам».** Постановка на \(S^3\), функция Грина и близкий кандидат Гегенбауэра.
3. **Глава IV. «Как научились находить экстремальную форму».** История нормовой задачи и идеи, ведущие от моментов к уравнению.
4. **Глава V. «Мост к целым функциям».** Предельный профиль, общая сигнатура и формула сферической константы.
5. **Глава VI. «Когда две константы встречаются на сфере».** Прямой круговой путь, простая оценка и оставшиеся вопросы.

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

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