# A Bridge to Entire Functions
*Favard on the Sphere \(S^3\). V. The Universal Signature and the Limiting Constant*
On the sphere, the nodes of the extremal polynomial are not uniformly spaced. However, if one zooms in on a neighborhood of the pole scaled inversely with the degree, their configuration gradually stabilizes. This raises the question: what mathematical object encodes this asymptotic pattern?
The answer emerges from the norm-comparison problem. Its extremal entire function governs the limiting spherical nodes. Below, we explain this passage to the limit and formulate the main result; the detailed estimates are left for readers who wish to explore the fine technicalities.
## From the Sphere to a Stable Profile
We work on the unit sphere \(S^3\) in four-dimensional space. We denote the positive Laplacian by \(L = -\Delta_{S^3}\). Spherical harmonics of degree \(k\)—the spherical counterparts of sines and cosines—have eigenvalues \(k(k+2)\). The function \(f\) has all harmonics of degrees strictly less than \(n\) removed; we seek to bound its norm in terms of the norm of \(Lf\).
Let \(E_n\) be the minimal \(L^1\)-error in approximating Green's function by spherical polynomials of degree less than \(n\). This is the sharp Favard constant in the uniform norm, and an upper bound for the other \(L^p\)-norms.
The primary unknown is the signature—the sign of the best approximation error. It must be orthogonal to all low-degree harmonics. For functions depending only on the geodesic distance to the pole, this condition becomes one-dimensional: the sign must be orthogonal to polynomials of degree less than \(n\) with respect to the weight \(\sqrt{1-x^2}\), where \(x = \cos\theta\).
The orthogonality of a Gegenbauer polynomial does not imply the orthogonality of its sign. The correct signature is selected by minimizing the \(L^1\)-norm of a polynomial with a fixed leading coefficient: the first variation of the norm generates precisely the required orthogonality conditions.
For an even degree \(n = 2m\), symmetry allows us to fold the two hemispheres together. Making the change of variables \(t = 2\theta\), we obtain an equivalent norm-minimization problem: among cosine polynomials \(P_m\) of degree at most \(m\) satisfying \(P_m(0) = 1\), minimize
\[
\ell_m = \int_0^\pi |P_m(t)|\,dt.
\]
The admissible variations take the form \((1 - \cos t)q(\cos t)\); the factor \(1 - \cos t\) originates from the spherical volume measure. The correspondence is exact.
We now blow up the polar region by setting \(t = u/(m+1)\). Periodizing the entire extremal yields an upper bound on the polynomial norms. Conversely, compactness (via normal families) and the minimality of the limiting norm show that any subsequential limit profile must solve the continuous extremal problem. The uniqueness of its solution guarantees the convergence of the entire sequence.
In this way, we arrive at an entire function \(H\) with \(H(0) = 1\) that minimizes \(\int_{\mathbb{R}} |H(u)|\,du\) among all entire functions of exponential type at most \(1\). The exponential type bounds the growth rate in the complex plane; for integrable functions, this is equivalent to restricting the spectrum (Fourier support) to the interval \([-1, 1]\). Consequently,
\[
P_m\!\left(\frac{u}{m+1}\right) \longrightarrow H(u),
\qquad (m+1)\ell_m \longrightarrow B.
\]
## What the Modern Work Provides
The function \(H\) turns out to be a rescaled version of the Hörmander–Bernhardsson extremal function. Its modern analytic description is due to Bondarenko, Ortega-Cerdà, Radchenko, and Seip. Those authors work with exponential type \(\pi\): we denote their function by \(\varphi\), and the norm constant by \(\mathscr{C}\). It satisfies the sharp inequality \(|h(0)| \le \mathscr{C} \|h\|_1\).
Our normalizations are related by a simple scaling: \(H(u) = \varphi(u/\pi)\). Thus,
\[
B = \frac{1}{2} \int_{\mathbb{R}} |H(u)|\,du = \frac{\pi}{2\mathscr{C}} \approx 2.903887.
\]
The modern paper characterizes the extremal via a second-order differential equation for a factor containing the alternating zeros. A spectral problem together with an auxiliary condition allows the parameters to be computed; a detailed asymptotic analysis describes the deviation of the nodes from a uniform grid.
This perspective is close in spirit to the Geronimus–Peherstorfer–Babenko method: first identify the signature, then split the alternating nodes into analytic factors. In Babenko's 2019 draft, this node-splitting is already present. The modern solution contributes an effective differential and spectral mechanism. It is this computational machinery that we adopt, without attributing the entire foundational architecture to it.
Why is the norm signature (from the \((C, L)\)-problem) suitable for the Favard problem? On the finite sphere, the interpolation remainder of Green's function is equal to the extremal polynomial multiplied by a strictly positive integral. Its sign therefore coincides identically with the norm signature. In the limit, the same mechanism persists: the low-frequency component of the fundamental solution is constructed from \(H\), and the remainder inherits the sign of \(H\).
There is an important technical hurdle: the convergence of the initial nodes alone does not permit an immediate passage to the limit in the integral over the entire sphere. The proof requires constructing an integrable majorant that controls both the pole and the far field. Here, Gegenbauer polynomials prove useful once again: they provide a simple auxiliary remainder, even though they do not themselves generate the exact extremal nodes.
Let \(\tau_k\) denote the positive zeros of \(\varphi\). In the modern work, there arises the Dirichlet-type series
\[
L_-(s) = \sum_{k \ge 1} \frac{(-1)^k}{\tau_k^s}.
\]
Initially defined for \(\operatorname{Re} s > 1\), it admits an analytic continuation to the entire complex plane. For our problem, the relevant value is at \(s = -2\). One cannot simply plug this value into the series, as the terms do not even decay to zero. Instead, one subtracts the known leading asymptotic terms of the nodes; the remaining series then converges absolutely. The analytic continuation accounts for the contribution of the subtracted parts.
Thus, the exact value of the constant rests upon a rigorously defined function and its zeros. It remains exact even without being expressed in terms of classical elementary constants.
## The Constant Returns to the Sphere
The spherical analysis culminates in the formula
\[
\boxed{\displaystyle
\lim_{n\to\infty} n^2 E_n = F_{1,3} = -\pi^2 L_-(-2) \approx 2.85099942.}
\]
The modern paper provides the entire extremal and the continuation of the series. Identifying this value with the spherical Favard constant requires the transitions detailed above; this belongs to our spherical derivation.
The same constant admits a positive integral representation:
\[
F_{1,3} = \frac{B}{\pi} \int_0^\infty \frac{du}{H(iu)}.
\]
The real zeros describe the alternating sign pattern; evaluated along the imaginary axis, the canonical product over these zeros becomes strictly positive. Hence, the integral representation is well-suited for deriving bounds. Its independent derivation directly from trigonometric polynomials is discussed in the final chapter.
This bridge also yields an explicit bound for each individual degree. We extend a zonal function \(f\) evenly and periodically, and then, in three-dimensional Euclidean space, define the radial function \(v(r) = f(r)\frac{\sin r}{r}\). A spherical harmonic of degree \(k\) corresponds to a Euclidean radial frequency \(k+1\). A direct calculation shows that
\[
-\Delta_{\mathbb{R}^3} v(r) = \frac{\sin r}{r} (L + 1)f(r).
\]
The Euclidean inverse remainder has an \(L^1\)-norm of \(F_{1,3}/a^2\) at frequency scale \(a\). From this, one deduces that \(E_n \le F_{1,3}/((n+1)^2 - F_{1,3})\). A separate analytical bound \(F_{1,3} < 3\) allows the denominator to be simplified to \(n^2\). We thus obtain
\[
\boxed{\displaystyle
\|f\|_p \le \frac{F_{1,3}}{n^2} \|Lf\|_p,
\qquad n \ge 1, \quad 1 \le p \le \infty,}
\]
for functions with all harmonics of degrees strictly less than \(n\) removed (initially for smooth \(f\)). Here, the universal coefficient is independent of the degree; the sharp asymptotics establish that in the uniform norm (\(p = \infty\)), it cannot be decreased. Sharpness in the \(L^1\)-norm remains a separate open question.
This formula continues the classical lineage: on the circle, one obtains \(\pi^2/8\); on \(S^2\), the value is \(\tfrac{7}{4}\zeta(3)\); on \(S^3\), it is a series over the extremal zeros. While the geometry of the node lattice becomes more intricate, Favard’s underlying principle remains invariant: first determine the true sign, then evaluate the action of the inverse operator on it.
A few normalizations and auxiliary estimates remain to be verified. Nonetheless, the architecture of the result is now clear: the norm-comparison problem selects the limiting profile, and Green's function transforms it into the spherical Favard constant. The next question is how to traverse this path directly on the sphere. That is the subject of the concluding chapter.
# Мост к целым функциям
*Фавар на сфере S³. V. Общая сигнатура и предельная константа*
На сфере узлы экстремального полинома расположены неравномерно. Однако, если увеличивать окрестность полюса вместе со степенью, их рисунок постепенно становится устойчивым. Возникает вопрос: какой математический объект хранит этот рисунок?
Ответ приходит из задачи о сравнении норм. Её экстремальная целая функция определяет предельные сферические узлы. Мы объясним этот переход и сформулируем результат; подробные оценки остаются как равлечение для желающих понять тонкости.
## От сферы к устойчивому профилю
Работаем на единичной сфере \(S^3\) в четырёхмерном пространстве. Положительный лапласиан обозначим через \(L=-\Delta_{S^3}\). Сферические гармоники степени \(k\) — аналоги синусов и косинусов — имеют собственные значения \(k(k+2)\). У функции \(f\) удалены гармоники степеней меньше \(n\); мы ищем оценку её нормы через норму \(Lf\).
Пусть \(E_n\) — наименьшая интегральная ошибка приближения функции Грина сферическими полиномами степени меньше \(n\). Это точный коэффициент Фавара в равномерной норме; для остальных норм — верхняя оценка.
Главная неизвестная — сигнатура, то есть знак ошибки наилучшего приближения. Она должна быть ортогональна всем низким гармоникам. Для функций, зависящих только от расстояния до полюса, условие становится одномерным: знак ортогонален полиномам степени меньше \(n\) с весом \(\sqrt{1-x^2}\), где \(x=\cos\theta\).
Ортогональность полинома Гегенбауэра не означает ортогональности его знака. Правильную сигнатуру выбирает минимизация интегральной нормы полинома с фиксированным старшим коэффициентом: первая вариация нормы даёт нужные условия.
При чётной степени \(n=2m\) симметрия позволяет сложить две половины сферы. После замены \(t=2\theta\) получаем эквивалентную нормовую задачу: среди косинус-полиномов \(P_m\) степени не выше \(m\) с условием \(P_m(0)=1\) минимизировать
\[
\ell_m=\int_0^\pi|P_m(t)|\,dt.
\]
Допустимые вариации имеют вид \((1-\cos t)q(\cos t)\); множитель \(1-\cos t\) возникает из сферической меры. Соответствие точное.
Увеличим полярную область, положив \(t=u/(m+1)\). Периодизация целой экстремали даёт верхнюю оценку норм полиномов. Обратно, компактность семейства и минимальность предельной нормы показывают: любой предельный профиль решает одну и ту же задачу. Единственность её решения определяет предел всей последовательности.
Так мы приходим к целой функции \(H\) с \(H(0)=1\), минимизирующей интеграл \(\int_{\mathbb R}|H(u)|\,du\) среди целых функций экспоненциального типа не выше единицы. Тип ограничивает скорость роста при комплексном аргументе; для интегрируемых функций это равносильно ограничению частот отрезком \([-1,1]\). В результате
\[
P_m\!\left(\frac{u}{m+1}\right)\longrightarrow H(u),
\qquad (m+1)\ell_m\longrightarrow B.
\]
## Что даёт современная работа
Функция \(H\) оказывается масштабированной экстремалью Хёрмандера—Бернхардссона. Её современное описание принадлежит Бондаренко, Ортеге-Серде, Радченко и Сейпу. Авторы рассматривают тип \(\pi\): их функцию обозначим через \(\varphi\), а нормовую константу — через \(\mathscr C\). Она удовлетворяет точному неравенству \(|h(0)|\le\mathscr C\|h\|_1\).
Наши нормировки связаны просто: \(H(u)=\varphi(u/\pi)\). Поэтому
\[
B=\frac12\int_{\mathbb R}|H(u)|\,du
=\frac{\pi}{2\mathscr C}\approx2{,}903887.
\]
Современная работа определяет экстремаль через дифференциальное уравнение для множителя, содержащего чередующиеся нули. Спектральная задача и дополнительное условие позволяют вычислять параметры; подробная асимптотика описывает отклонение узлов от равномерной сетки.
Этот язык близок методу Геронимуса—Пехерсторфера -- Бабенко: сначала сигнатура, затем разделение чередующихся узлов и аналитические множители. В черновике Бабенко 2019 года такое разделение уже присутствует. Современное решение добавляет эффективный дифференциальный и спектральный механизм. Именно его мы используем, а не приписываем ему происхождение всей конструкции.
Почему нормовая сигнатура (для C-L задачи) годится для Фавара? На конечной сфере интерполяционный остаток функции Грина равен экстремальному полиному, умноженному на положительный интеграл. Его знак поэтому совпадает с нормовой сигнатурой. В пределе сохраняется тот же механизм: по \(H\) строится низкочастотная часть фундаментального решения, а остаток имеет знак \(H\).
Есть важная техническая граница. Сходимость первых узлов ещё не разрешает переходить к пределу в интеграле по всей сфере. В доказательстве строится интегрируемая мажоранта, контролирующая и полюс, и дальнюю область. Здесь полиномы Гегенбауэра вновь полезны: они дают простой вспомогательный остаток, хотя сами не выбирают точные узлы.
Обозначим положительные нули \(\varphi\) через \(\tau_k\). В современной работе возникает ряд
\[
L_-(s)=\sum_{k\ge1}\frac{(-1)^k}{\tau_k^s}.
\]
Первоначально его можно определить при \(\operatorname{Re}s>1\), затем продолжить аналитически на всю комплексную плоскость. Для нашей задачи появляется значение при \(s=-2\). Подставлять его непосредственно в ряд нельзя: члены тогда даже не стремятся к нулю. Нужно вычесть известные ведущие члены асимптотики узлов; оставшаяся сумма сходится абсолютно. Аналитическое продолжение фиксирует вклад вычтенной части.
Таким образом, точная запись числа опирается на точно определённую функцию и её узлы. Она остаётся точной и без выражения через привычные элементарные константы.
## Константа возвращается на сферу
Сферическая часть рабочего доказательства приводит к формуле
\[
\boxed{\displaystyle
\lim_{n\to\infty}n^2E_n=F_{1,3}
=-\pi^2L_-(-2)\approx2{,}85099942.}
\]
Современная статья предоставляет целую экстремаль и продолжение ряда. Отождествление этого значения с константой сферического Фавара требует описанных переходов; оно относится к нашему рабочему выводу.
То же число имеет положительную интегральную запись:
\[
F_{1,3}=\frac B\pi\int_0^\infty\frac{du}{H(iu)}.
\]
Вещественные нули описывают чередование знаков; при мнимом аргументе произведение по этим нулям становится положительным. Поэтому интегральная формула удобна для оценок. Её самостоятельный вывод непосредственно из круговых полиномов обсуждается в заключительной главе.
Мост позволяет получить и оценку для каждой степени. Зональную функцию \(f\) продолжаем чётно и периодически, затем в трёхмерном евклидовом пространстве рассматриваем радиальную функцию \(v(r)=f(r)\sin r/r\). Сферическая гармоника степени \(k\) превращается в частоту радиуса \(k+1\). Прямое дифференцирование даёт
\[
-\Delta_{\mathbb R^3}v(r)
=\frac{\sin r}{r}(L+1)f(r).
\]
Евклидов остаток обращения имеет интегральную норму \(F_{1,3}/a^2\) при частотном масштабе \(a\). Отсюда следует \(E_n\le F_{1,3}/((n+1)^2-F_{1,3})\). Отдельная аналитическая оценка \(F_{1,3}<3\) позволяет упростить знаменатель до \(n^2\). Получаем
\[
\boxed{\displaystyle
\|f\|_p\le\frac{F_{1,3}}{n^2}\|Lf\|_p,
\qquad n\ge1,\quad1\le p\le\infty,}
\]
для функций без гармоник степеней меньше \(n\), сначала гладких. Здесь общий коэффициент не зависит от степени; точная асимптотика показывает, что в равномерной норме уменьшить его нельзя. Точность в интегральной норме остаётся отдельным вопросом.
Формула продолжает знакомую линию: на окружности возникает \(\pi^2/8\), в разобранной нами задаче на \(S^2\) — \(\tfrac74\zeta(3)\), на \(S^3\) — ряд по экстремальным нулям. Геометрия сетки усложняется, а принцип Фавара сохраняется: сначала найти правильный знак, затем вычислить на нём действие обратного оператора.
Нужно еще проверить нормировки и вспомогательные оценки. Однако устройство результата уже можно объяснить: нормовая задача выбирает предельную форму, функция Грина превращает её в константу Фавара. Следующий вопрос — как пройти этот путь непосредственно на сфере. Ему посвящена заключительная глава.
