Asymptotics and zero behaviour of geometric polynomials

1. Énoncé du problème

L'article examine le comportement asymptotique et la distribution des zéros de deux familles de polynômes étroitement liées : les polynômes géométriques ($P_n(z)$) et les polynômes eulériens ($A_n(z)$).

• Polynômes géométriques : Définis par la fonction génératrice $f(z, t) = \frac{1}{1-z(e^t-1)} = \sum_{n=0}^\infty P_n(z) \frac{t^n}{n!}$. Ils sont liés aux nombres de Stirling de seconde espèce et aux partitions ordonnées d'ensembles (nombres de Fubini).
• Polynômes eulériens : Définis par $\sum_{k=1}^\infty k^n z^k = \frac{z A_n(z)}{(1+z)^n}$. Ils comptent les permutations possédant un nombre spécifique de descentes.
• Le défi central : Bien que les propriétés algébriques de ces polynômes soient bien connues, leur comportement asymptotique précis dans le plan complexe (spécifiquement en dehors de l'intervalle $[-1, 0]$) et la distribution détaillée de leurs zéros à l'intérieur de l'intervalle $(-1, 0)$ nécessitent une analyse rigoureuse. Les auteurs visent à dériver des développements asymptotiques uniformes et à déterminer l'espacement des zéros dans le « cœur » de l'intervalle.

2. Méthodologie

Les auteurs emploient une combinaison d'analyse complexe, de théorie des fonctions génératrices et d'analyse asymptotique.

• Fonctions génératrices et singularités : L'analyse repose fortement sur les fonctions génératrices de $P_n(z)$ et $A_n(z)$. Les auteurs identifient les singularités (pôles) de ces fonctions dans le plan complexe $t$.
  • Pour $P_n(z)$, la fonction génératrice possède des pôles simples en $t_k = \log(\frac{1+z}{z}) + 2\pi k i$.
  • Pour $z \in (-1, 0)$, les singularités dominantes se situent en $t = \ell(z) \pm \pi i$, où $\ell(z) = \log|\frac{1+z}{z}|$.
• Formule intégrale de Cauchy : Les coefficients $P_n(z)$ sont extraits en utilisant la formule intégrale de Cauchy. Les auteurs déforment le contour d'intégration pour isoler la contribution des pôles dominants, séparant ainsi le terme asymptotique principal du terme d'erreur.
• Calcul des résidus : En calculant les résidus aux pôles dominants, les auteurs dérivent des formules asymptotiques explicites impliquant des fonctions trigonométriques (spécifiquement le cosinus), déduites de la somme des résidus aux pôles conjugués.
• Symétrie et orthogonalité : L'article exploite la propriété de symétrie $P_n(z) = (-1)^n (1+z) P_n(-1-z)$ pour établir des relations d'orthogonalité et des propriétés d'entrelacement des zéros.
• Transformation vers les polynômes eulériens : Une étape méthodologique clé consiste à utiliser la transformation $P_n(\frac{1}{z}-1) = \frac{A_n(z)}{(z-1)^n}$ pour transférer les résultats des polynômes géométriques aux polynômes eulériens, évitant ainsi des preuves redondantes.

3. Contributions et résultats clés

A. Comportement asymptotique dans le plan complexe

Les auteurs établissent le comportement asymptotique uniforme des polynômes géométriques sur les sous-ensembles compacts de $\mathbb{C} \setminus [-1, 0]$.

• Théorème 3 :
  $$\lim_{n \to \infty} \frac{P_n(z) (\log \frac{1+z}{z})^{n+1}}{n!} = \frac{1}{1+z}$$
  Cette convergence est uniforme sur les ensembles compacts. Un résultat similaire est dérivé pour les polynômes eulériens (Théorème 6).
• Implication : Cela conduit à la Corollaire 1, qui décrit la distribution limite des zéros via le potentiel logarithmique et établit que le rapport $\frac{n P_{n-1}(z)}{P_n(z)}$ converge vers $\log \frac{1+z}{z}$.

B. Comportement asymptotique dans l'intervalle $(-1, 0)$

À l'intérieur de l'intervalle où se trouvent les zéros, le comportement est oscillatoire.

• Théorème 1 : Les auteurs dérivent une approximation asymptotique précise pour $P_n(z)$ dans $(-1, 0)$. Soit $\ell(z) = \log|\frac{1+z}{z}|$. Le polynôme se comporte comme :
  $$(1+z)P_n(z) \frac{((\ell(z))^2 + \pi^2)^{(n+1)/2}}{n!} \approx J_n(z)$$
  où $J_n(z)$ est un terme oscillatoire normalisé :
  $$J_n(z) = \frac{(\ell(z) + \pi i)^{n+1} + (\ell(z) - \pi i)^{n+1}}{((\ell(z))^2 + \pi^2)^{(n+1)/2}} = 2\cos((n+1)\theta(z))$$
  Cette approximation est valable uniformément sur les sous-intervalles s'approchant des extrémités $-1$ et $0$ lorsque $n \to \infty$.

C. Distribution des zéros (comportement d'horloge)

L'article fournit une description détaillée de l'espacement des zéros dans le « cœur » de l'intervalle $(-1, 0)$.

• Théorème 2 : Les zéros $z_{j,n}$ de $P_n(z)$ sont indexés par rapport au centre $-1/2$. Lorsque $n \to \infty$, les zéros suivent un motif d'« horloge » avec un espacement de l'ordre de $O(1/n)$.
  • Pour $n$ pair : $z_{j,2n} = -\frac{1}{2} + \frac{\pi^2}{4} \frac{j}{n+1} + o(\frac{1}{n})$.
  • Pour $n$ impair : $z_{j,2n+1} = -\frac{1}{2} + \frac{\pi^2}{8} \frac{2j-1}{n+1} + o(\frac{1}{n})$.
• Conclusion : La distance entre zéros consécutifs dans le cœur est asymptotiquement $\frac{\pi^2}{4n}$.
• Théorème 8 : Des résultats analogues sont fournis pour les polynômes eulériens, montrant que leurs zéros dans $(-\infty, 0)$ sont distribués avec un espacement de $\frac{\pi^2}{n}$.

D. Propriétés d'orthogonalité

L'article prouve de nouvelles relations d'orthogonalité basées sur la symétrie des polynômes.

• Lemmes 2 et 5 : Les auteurs démontrent que les polynômes géométriques et eulériens satisfont des conditions d'orthogonalité spécifiques par rapport à des fonctions de poids impliquant des puissances de $(1+z)$ ou $(1-x)$. Par exemple, les intégrales de produits de polynômes de parités différentes sur $(-1, 0)$ s'annulent.

4. Importance

• Unification d'objets combinatoires : L'article relie rigoureusement l'analyse asymptotique des polynômes géométriques (liés aux partitions d'ensembles) et des polynômes eulériens (liés aux permutations), montrant que leurs distributions de zéros partagent des similarités structurelles fondamentales.
• Précision dans la distribution des zéros : Bien que l'existence de zéros réels pour ces polynômes fût connue, cet article fournit l'espacement asymptotique exact et les termes d'erreur ($o(1/n)$), offrant une description de « comportement d'horloge » similaire à celle trouvée pour les polynômes orthogonaux (comme Legendre ou Tchebychev).
• Cadre analytique : La dérivation de la formule asymptotique impliquant la fonction $J_n(z)$ fournit un outil puissant pour approximer ces polynômes dans le plan complexe, ce qui est utile pour l'analyse numérique et les études combinatoires ultérieures.
• Extension vers des formes généralisées : Les auteurs notent que ces résultats peuvent être étendus à des polynômes définis par des transformations fractionnaires linéaires de $P_n(z)$, suggérant une applicabilité plus large de leurs méthodes.

En résumé, l'article fournit un cadre analytique complet pour comprendre le comportement à grand $n$ des polynômes géométriques et eulériens, passant des asymptotiques complexes globales à la distribution locale et précise de leurs zéros sur la droite réelle.