Right edge rates of the zeros of $\widetilde{\Xi}_n$ and $\widetilde{\Lambda}_n$

1. Énoncé du problème

Le papier étudie le comportement asymptotique des plus grandes racines (le « bord droit ») de deux familles spécifiques de polynômes pairs redimensionnés, $\tilde{\Xi}_n(x)$ et $\tilde{\Lambda}_n(x)$, définis pour $n \geq 2$.

Ces polynômes sont dérivés des familles $\Xi_n$ et $\Lambda_n$ introduites dans un travail antérieur [1], qui sont liées aux représentations intégrales des valeurs normalisées de la fonction bêta de Dirichlet $\beta(2n)$ et de la fonction zêta de Riemann $\zeta(2n+1)$.

• Définitions :
  • $\tilde{\Xi}_n(x) := \Xi_n(\sqrt{x})$
  • $\tilde{\Lambda}_n(x) := \Lambda_n(\sqrt{x})$
• Propriétés : Les deux familles sont des polynômes de degré $n-1$ dont toutes les racines sont réelles, simples et strictement contenues dans l'intervalle $(0, 1)$.
• Le vide : Bien que la distribution globale des racines pour les deux familles soit connue pour converger vers la même fonction de distribution limite $F(x)$, le comportement des racines extrêmes droites (celles les plus proches de 1) n'était pas entièrement caractérisé. Plus précisément, le papier pose la question : Les plus grandes racines de ces deux familles s'approchent-elles de l'extrémité 1 au même taux exponentiel ?

2. Méthodologie

L'auteur emploie une approche élémentaire mais rigoureuse basée sur la représentation explicite des polynômes en termes de polynômes d'Euler et sur une transformation qui applique l'intervalle $(0, 1)$ sur l'axe réel négatif.

A. Transformation vers des racines négatives

Le cœur de la méthode repose sur un changement de variable (Lemme 1.1) qui applique une racine $x \in (0, 1)$ vers une racine négative $z = -a$ (où $a \in (0, 1)$) d'un polynôme d'Euler associé :
$$z = -\frac{1-\sqrt{x}}{1+\sqrt{x}} \implies x = \left(\frac{1-a}{1+a}\right)^2$$
De manière cruciale, lorsque $a \to 0^+$, la distance à l'extrémité droite se comporte comme suit :
$$1 - x \sim 4a$$
Ainsi, déterminer le taux auquel $x \to 1$ équivaut à déterminer le taux auquel la racine négative de plus petite magnitude $a$ du polynôme d'Euler s'approche de 0.

B. Lien avec les polynômes d'Euler

Les polynômes $\Xi_n$ et $\Lambda_n$ sont exprimés explicitement à l'aide de polynômes d'Euler de type B ($B_m$) et de type A ($A_m$) :

• $\Xi_n$ est lié à $B_{2n-1}$.
• $\Lambda_n$ est lié à $A_{2n}$.
  La plus grande racine de $\tilde{\Xi}_n$ correspond à la racine négative de $B_{2n-1}$ la plus proche de l'origine, et de même pour $\tilde{\Lambda}_n$ et $A_{2n}$.

C. Estimation des coefficients (Lemme 1.2)

L'auteur utilise une borne pour la plus petite racine positive $a_1$ d'un polynôme $P(z) = 1 + c_1 z + \dots + c_d z^d$ à coefficients positifs et à racines réelles négatives :
$$\frac{1}{c_1} \leq a_1 \leq \frac{d}{c_1}$$
Cela implique que $\log a_1 = -\log c_1 + O(\log d)$. Par conséquent, le taux exponentiel de la racine est entièrement déterminé par le premier coefficient non constant ($c_1$) du polynôme.

D. Calcul des coefficients dominants

Le papier calcule les premiers coefficients non constants pour les polynômes d'Euler pertinents :

• Type A ($A_{2n}$) : Le coefficient de $z$ est $c^{(A)}_{n,1} = 2^{2n} - 2n - 1 \sim 4^n$.
• Type B ($B_{2n-1}$) : Le coefficient de $z$ est $c^{(B)}_{n,1} = 3^{2n-1} - 2n \sim 9^n$ (spécifiquement $3^{2n-1}$).

3. Contributions et résultats clés

Théorème principal (Théorème 2.1)

Le papier démontre que les deux familles présentent des taux exponentiels distincts de convergence de leurs plus grandes racines vers 1.

1. Pour $\tilde{\Lambda}_n$ (Type A) :
   $$\lim_{n \to \infty} \frac{1}{n-1} \log\left(1 - x^{(\Lambda)}_{n-1,n}\right) = -\log 4$$
   Cela implique $1 - x^{(\Lambda)}_{n-1,n} \approx 4^{-(n-1)}$.

2. Pour $\tilde{\Xi}_n$ (Type B) :
   $$\lim_{n \to \infty} \frac{1}{n-1} \log\left(1 - x^{(\Xi)}_{n-1,n}\right) = -\log 9$$
   Cela implique $1 - x^{(\Xi)}_{n-1,n} \approx 9^{-(n-1)}$.

Vérification numérique

La section 4 fournit un tableau numérique confirmant ces limites.

• L'écart logarithmique normalisé pour $\tilde{\Lambda}_n$ converge rapidement vers $-\log 4 \approx -1,386$.
• L'écart logarithmique normalisé pour $\tilde{\Xi}_n$ converge vers $-\log 9 \approx -2,197$.
  Les données montrent que, bien que la distribution globale soit identique, le comportement du « bord » est fondamentalement différent.

4. Signification et interprétation

• Comportement microscopique vs macroscopique : Les résultats mettent en évidence un phénomène où la distribution limite macroscopique (qui décrit la masse des racines) échoue à capturer le comportement microscopique des racines extrêmes. Deux suites peuvent partager la même loi limite globale mais posséder des lois d'échelle locales différentes aux frontières.
• Rôle des coefficients d'Euler : Le papier établit un lien direct entre le taux asymptotique des racines extrêmes et le taux de croissance du premier coefficient non constant des polynômes d'Euler sous-jacents.
  • Le facteur $4^n$ dans le type A conduit à un taux de $4^{-n}$.
  • Le facteur $9^n$ dans le type B conduit à un taux de $9^{-n}$.
• Simplicité méthodologique : La preuve est remarquable pour être « élémentaire ». Elle évite l'analyse complexe ou les lourds mécanismes asymptotiques, s'appuyant plutôt sur des transformations algébriques et des bornes de base sur les racines des polynômes. Cela rend le résultat accessible et met en évidence la puissance de l'analyse des coefficients dans les problèmes de distribution des racines.

En résumé, le papier résout le comportement asymptotique des racines les plus à droite pour ces familles spécifiques de polynômes, démontrant que, bien qu'elles partagent une limite globale, leurs comportements aux frontières sont régis par des échelles exponentielles différentes ($4^{-n}$ contre $9^{-n}$) dérivées de leurs structures respectives de polynômes d'Euler.