Asymptotics and zero behaviour of geometric polynomials

1. Enunciato del Problema

Il lavoro indaga il comportamento asintotico e la distribuzione degli zeri per due famiglie strettamente correlate di polinomi: i polinomi geometrici ($P_n(z)$) e i polinomi di Eulero ($A_n(z)$).

• Polinomi Geometrici: Definiti dalla funzione generatrice $f(z, t) = \frac{1}{1-z(e^t-1)} = \sum_{n=0}^\infty P_n(z) \frac{t^n}{n!}$. Sono legati ai numeri di Stirling di seconda specie e alle partizioni ordinate di insiemi (numeri di Fubini).
• Polinomi di Eulero: Definiti da $\sum_{k=1}^\infty k^n z^k = \frac{z A_n(z)}{(1+z)^n}$. Contano le permutazioni con un numero specifico di discese.
• La Sfida Principale: Sebbene le proprietà algebriche di questi polinomi siano ben note, il loro preciso comportamento asintotico nel piano complesso (in particolare al di fuori dell'intervallo $[-1, 0]$) e la distribuzione dettagliata dei loro zeri all'interno dell'intervallo $(-1, 0)$ richiedono un'analisi rigorosa. Gli autori mirano a derivare sviluppi asintotici uniformi e a determinare la spaziatura degli zeri nel "bulk" dell'intervallo.

2. Metodologia

Gli autori impiegano una combinazione di analisi complessa, teoria delle funzioni generatrici e analisi asintotica.

• Funzioni Generatrici e Singolarità: L'analisi si basa pesantemente sulle funzioni generatrici di $P_n(z)$ e $A_n(z)$. Gli autori identificano le singolarità (poli) di queste funzioni nel piano complesso $t$.
  • Per $P_n(z)$, la funzione generatrice ha poli semplici in $t_k = \log(\frac{1+z}{z}) + 2\pi k i$.
  • Per $z \in (-1, 0)$, le singolarità dominanti sono in $t = \ell(z) \pm \pi i$, dove $\ell(z) = \log|\frac{1+z}{z}|$.
• Formula Integrale di Cauchy: I coefficienti $P_n(z)$ sono estratti utilizzando la formula integrale di Cauchy. Gli autori deformano il contorno di integrazione per isolare il contributo dei poli dominanti, separando il termine asintotico principale dal termine di errore.
• Calcolo dei Residui: Calcolando i residui ai poli dominanti, gli autori derivano formule asintotiche esplicite che coinvolgono funzioni trigonometriche (specificamente il coseno), derivate dalla somma dei residui ai poli coniugati.
• Simmetria e Ortogonalità: Il lavoro utilizza la proprietà di simmetria $P_n(z) = (-1)^n (1+z) P_n(-1-z)$ per stabilire relazioni di ortogonalità e proprietà di interlacciamento degli zeri.
• Trasformazione ai Polinomi di Eulero: Un passo metodologico chiave è l'uso della trasformazione $P_n(\frac{1}{z}-1) = \frac{A_n(z)}{(z-1)^n}$ per trasferire i risultati dai polinomi geometrici ai polinomi di Eulero, evitando dimostrazioni ridondanti.

3. Contributi e Risultati Chiave

A. Comportamento Asintotico nel Piano Complesso

Gli autori stabiliscono il comportamento asintotico uniforme dei polinomi geometrici su sottoinsiemi compatti di $\mathbb{C} \setminus [-1, 0]$.

• Teorema 3:
  $$\lim_{n \to \infty} \frac{P_n(z) (\log \frac{1+z}{z})^{n+1}}{n!} = \frac{1}{1+z}$$
  Questa convergenza è uniforme su insiemi compatti. Un risultato analogo è derivato per i polinomi di Eulero (Teorema 6).
• Implicazione: Ciò porta al Corollario 1, che descrive la distribuzione limite degli zeri tramite il potenziale logaritmico e stabilisce che il rapporto $\frac{n P_{n-1}(z)}{P_n(z)}$ converge a $\log \frac{1+z}{z}$.

B. Comportamento Asintotico nell'Intervallo $(-1, 0)$

All'interno dell'intervallo in cui giacciono gli zeri, il comportamento è oscillatorio.

• Teorema 1: Gli autori derivano un'approssimazione asintotica precisa per $P_n(z)$ in $(-1, 0)$. Sia $\ell(z) = \log|\frac{1+z}{z}|$. Il polinomio si comporta come:
  $$(1+z)P_n(z) \frac{((\ell(z))^2 + \pi^2)^{(n+1)/2}}{n!} \approx J_n(z)$$
  dove $J_n(z)$ è un termine oscillatorio normalizzato:
  $$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))$$
  Questa approssimazione vale uniformemente su sottointervalli che si avvicinano agli estremi $-1$e$0$ al tendere di $n \to \infty$.

C. Distribuzione degli Zeri (Comportamento ad Orologio)

Il lavoro fornisce una descrizione dettagliata della spaziatura degli zeri nel "bulk" dell'intervallo $(-1, 0)$.

• Teorema 2: Gli zeri $z_{j,n}$ di $P_n(z)$ sono indicizzati rispetto al centro $-1/2$. Al tendere di $n \to \infty$, gli zeri seguono un pattern "ad orologio" con una spaziatura dell'ordine di $O(1/n)$.
  • Per $n$ pari: $z_{j,2n} = -\frac{1}{2} + \frac{\pi^2}{4} \frac{j}{n+1} + o(\frac{1}{n})$.
  • Per $n$ dispari: $z_{j,2n+1} = -\frac{1}{2} + \frac{\pi^2}{8} \frac{2j-1}{n+1} + o(\frac{1}{n})$.
• Conclusione: La distanza tra zeri consecutivi nel bulk è asintoticamente $\frac{\pi^2}{4n}$.
• Teorema 8: Risultati analoghi sono forniti per i polinomi di Eulero, mostrando che i loro zeri in $(-\infty, 0)$ sono distribuiti con una spaziatura di $\frac{\pi^2}{n}$.

D. Proprietà di Ortogonalità

Il lavoro dimostra nuove relazioni di ortogonalità basate sulla simmetria dei polinomi.

• Lemma 2 e 5: Gli autori dimostrano che i polinomi geometrici e di Eulero soddisfano condizioni di ortogonalità specifiche rispetto a funzioni di peso che coinvolgono potenze di $(1+z)$ o $(1-x)$. Ad esempio, gli integrali di prodotti di polinomi con parità diverse su $(-1, 0)$ si annullano.

4. Significato

• Unificazione di Oggetti Combinatori: Il lavoro collega rigorosamente l'analisi asintotica dei polinomi geometrici (legati alle partizioni di insiemi) e dei polinomi di Eulero (legati alle permutazioni), mostrando che le loro distribuzioni di zeri condividono similarità strutturali fondamentali.
• Precisione nella Distribuzione degli Zeri: Sebbene l'esistenza di zeri reali per questi polinomi fosse nota, questo lavoro fornisce la spaziatura asintotica esatta e i termini di errore ($o(1/n)$), offrendo una descrizione del "comportamento ad orologio" simile a quella trovata nei polinomi ortogonali (come Legendre o Chebyshev).
• Quadro Analitico: La derivazione della formula asintotica che coinvolge la funzione $J_n(z)$ fornisce uno strumento potente per approssimare questi polinomi nel piano complesso, utile per l'analisi numerica e ulteriori studi combinatori.
• Estensione a Forme Generalizzate: Gli autori notano che questi risultati possono essere estesi a polinomi definiti da trasformazioni lineari frazionarie di $P_n(z)$, suggerendo una più ampia applicabilità dei loro metodi.

In sintesi, il lavoro fornisce un quadro analitico completo per comprendere il comportamento per $n$ grande dei polinomi geometrici e di Eulero, passando dall'asintotica complessa globale alla distribuzione locale e precisa dei loro zeri sulla retta reale.