Legendre compressions and an integrality conjecture for the Hörmander--Bernhardsson extremal function

1. Contexte et Problématique

Le papier s'inscrit dans l'étude de la fonction extrémale de Hörmander–Bernhardsson, notée $\varphi$. Il s'agit de la fonction entière unique de type exponentiel au plus $\pi$ telle que $\varphi(0)=1$ et dont la norme $L^1(\mathbb{R})$ est minimale. Cette fonction joue un rôle central dans le problème d'évaluation ponctuelle pour l'espace de Paley–Wiener $PW^1$.

Bondarenko, Ortega-Cerdà, Radchenko et Seip (BOCRS) ont développé une théorie analytique détaillée de $\varphi$, montrant qu'elle peut s'écrire comme $\varphi(z) = \Phi(z)\Phi(-z)$, où $\Phi$ satisfait une équation différentielle spécifique. Ils ont isolé deux conjectures arithmétiques concernant les coefficients de Taylor de ces fonctions et les relations entre les constantes spectrales.

Le problème central abordé dans cet article est la Conjecture 2 de BOCRS. Cette conjecture porte sur la récurrence à trois termes associée aux coefficients pairs de la fonction extrémale. Plus précisément, si l'on définit une suite de polynômes $\tilde{u}_n(x, \lambda)$ par la récurrence :
$$\tilde{u}_{-1} = 0, \quad \tilde{u}_0 = 1, \quad \tilde{u}_{n+1} = \frac{4n+2}{n+1}(n(n+1)-\lambda)\tilde{u}_n + \frac{4n}{n+1}x \tilde{u}_{n-1}$$
la conjecture affirme que pour tout $n \ge 0$, $\tilde{u}_n(x, \lambda) \in \mathbb{Z}[x, \lambda]$. Autrement dit, malgré la présence de dénominateurs dans la récurrence, les coefficients des polynômes résultants sont des entiers (ou des polynômes à coefficients entiers en $x$ et $\lambda$).

2. Méthodologie

L'approche de l'auteur est conceptuellement novatrice car elle échappe au cadre habituel des équations à singularités régulières (comme les équations de Picard–Fuchs ou les fonctions G) qui expliquent souvent de telles intégralités. L'équation différentielle sous-jacente aux travaux de BOCRS possède en effet des singularités irrégulières à l'origine et à l'infini.

La preuve repose sur une comparaison de déterminants dans une base de polynômes de Legendre redimensionnés :

1. Réduction algébrique : L'auteur utilise un lemme algébrique pour montrer qu'il suffit de prouver l'intégralité après le changement de variable $x = -\beta^2$.
2. Normalisation : La suite $\tilde{u}_n$ est normalisée par les coefficients binomiaux centraux $C_n = \binom{2n}{n}$ pour obtenir une suite $v_n$.
3. Interprétation par déterminants :
   • Base de Legendre : L'auteur considère l'opérateur $L + \beta t - \lambda$, où $L$ est l'opérateur de Legendre, agissant sur la base des polynômes de Legendre redimensionnés $Q_n(t) = 2^n P_n(t)$. La matrice de cet opérateur dans cette base est tridiagonale. Son déterminant (ou un mineur associé) satisfait exactement la récurrence normalisée de la suite $v_n$.
   • Base monomiale : Le même opérateur est considéré dans la base monomiale standard. La matrice associée a des coefficients entiers dans l'anneau $\mathbb{Z}[\beta, \lambda]$.
4. Changement de base : En comparant les deux représentations matricielles via le changement de base entre les polynômes de Legendre et les monômes, l'auteur établit une identité exacte reliant le déterminant de la matrice tridiagonale (à coefficients entiers) à la suite $\tilde{u}_n$. Le facteur de normalisation $\binom{2n}{n}$ apparaît naturellement comme le déterminant du changement de base.

3. Résultats Principaux

A. Preuve de la Conjecture 2 (Théorème 1)

L'auteur démontre que pour tout $n \ge 0$, le polynôme $\tilde{u}_n(x, \lambda)$ appartient à $\mathbb{Z}[x, \lambda]$.
Cela implique que les coefficients de Taylor de la fonction extrémale, lorsqu'ils sont exprimés en fonction des paramètres spectraux, sont entiers.

B. Identité de Compression Tridiagonale (Théorème 2)

La suite $\tilde{u}_n$ est identifiée exactement aux déterminants de matrices tridiagonales finies (les "compressions" BOCRS). Plus précisément :
$$\tilde{u}_{n+1}(a^2, \lambda) = \binom{2n+2}{n+1} \det T_n(a, \lambda)$$
où $T_n(a, \lambda)$ est une matrice tridiagonale spécifique dépendant de $a$ et $\lambda$. Cela montre que le schéma de troncature de BOCRS n'est pas seulement numérique, mais correspond exactement à la suite de polynômes caractéristiques de ces matrices compressées.

C. Conséquences Arithmétiques : Irrationalité

En utilisant le théorème d'intégralité et des estimations de Cauchy sur le type exponentiel de la fonction génératrice, l'auteur déduit un résultat d'obstruction rationnelle (Théorème 16) :
Si la série génératrice associée est entière, non polynomiale et de type exponentiel $\le 2a$, alors $a^2$ et $\lambda$ ne peuvent pas être simultanément rationnels.

Appliqué au cas de Hörmander–Bernhardsson, cela conduit au Corollaire 18 :
Les deux nombres $\left(\frac{\pi}{4C}\right)^2$ et $-\frac{L_\tau(1)}{2C}$ ne sont pas simultanément rationnels.

• $C$ est la constante d'évaluation ponctuelle optimale pour $PW^1$.
• $L_\tau(1) = \sum_{n \ge 1} \frac{(-1)^n}{\tau_n}$, où $\tau_n$ sont les zéros non nuls de $\varphi$.
  Cela implique qu'au moins l'un des rapports $C/\pi$ ou $L_\tau(1)/C$ est irrationnel.

D. Anneau des Coefficients et Puissances de $\pi$ (Corollaire 22)

L'auteur affine le résultat d'intégralité en introduisant un poids sur les monômes ($w(x)=2, w(\lambda)=1$). Il montre que pour tout monôme $x^r \lambda^s$ apparaissant dans $\tilde{u}_n$, on a $2r + s \le n$.
En substituant les paramètres physiques ($a^2 = \pi^2/16C^2$ et $\lambda = -L_\tau(1)/2C$), cela permet de prouver que les coefficients de Taylor $c_n$ de $\varphi(z) = \sum c_n z^{2n}$ satisfont :
$$c_n \in C^n \mathbb{Z}[\pi^2, C, L_\tau(1)]$$
Conséquence majeure : Seules les puissances paires de $\pi$ peuvent apparaître dans les coefficients de Taylor de $\varphi$. Cela corrige et affine la conjecture initiale de BOCRS qui suggérait une appartenance à $\mathbb{Z}[\pi, C, L_\tau(1)]$.

4. Signification et Impact

• Résolution d'une conjecture ouverte : Ce papier résout définitivement la Conjecture 2 de BOCRS, complétant ainsi le travail de résolution des deux conjectures arithmétiques majeures posées dans [3] (la première ayant été prouvée par l'auteur dans un travail antérieur [6]).
• Nouveau mécanisme d'intégralité : L'article met en lumière un mécanisme d'intégralité inattendu gouverné par une compression de Legendre exacte plutôt que par la géométrie des singularités régulières. Cela élargit la compréhension des phénomènes d'intégralité dans les systèmes différentiels à singularités irrégulières.
• Lien entre analyse et théorie des nombres : Le travail établit des liens profonds entre les propriétés spectrales d'opérateurs différentiels, les déterminants de matrices tridiagonales et l'arithmétique des constantes fondamentales ($\pi$, $C$, $L_\tau(1)$).
• Indépendance de preuve : L'auteur note que Danylo Radchenko et Wadim Zudilin ont obtenu une preuve indépendante de la même conjecture via une approche différente (théorème d'intégralité plus général), confirmant la robustesse du résultat.

En résumé, ce papier fournit une preuve élégante et structurelle de l'intégralité des coefficients d'une fonction extrémale en analyse complexe, en révélant une structure algébrique cachée liée aux polynômes de Legendre, et en déduisant des résultats nouveaux sur l'irrationalité de constantes mathématiques fondamentales.