Asymptotic zero distribution of the polynomials $\widetildeΞ_n$

Titel: Asymptotische nulverdeling van de polynomen $\tilde{\Xi}_n$

Auteur: Luc Ramsès Talla Waffo (Technische Universität Darmstadt)
Datum: 21 februari 2026

---

1. Probleemstelling

Het artikel onderzoekt de asymptotische verdeling van de reële nulpunten van een specifieke familie van polynomen, aangeduid als $\tilde{\Xi}_n(x)$. Deze polynomen zijn gedefinieerd als een herschaalde versie van de polynomen $\Xi_n(x)$, die eerder zijn geïntroduceerd in literatuur [5] en [6] en uitgedrukt kunnen worden in termen van Euler-polynomen van type B.

De polynomen zijn gedefinieerd als:
$$\tilde{\Xi}_n(x) := \Xi_n(\sqrt{x}), \quad n \geq 2$$
waarbij $\Xi_n(x)$ een relatie heeft met het Euler-polynoom van type B, $B_m(z)$, van graad $m$.

Het centrale vraagstuk is het begrijpen van de verdeling van de $n-1$ reële nulpunten van $\tilde{\Xi}_n(x)$ in het interval $(0, 1)$ wanneer $n \to \infty$. Specifiek wordt gekeken naar de zwakke convergentie van de empirische maat van deze nulpunten naar een deterministische limietmaat.

2. Methodologie

De auteur hanteert een analytische benadering die bestaat uit drie hoofdbestandsdelen:

1. Representatie via Euler-polynomen:
   De polynomen $\tilde{\Xi}_n$ worden herschreven in termen van Euler-polynomen van type B ($B_m$). Hierdoor wordt de logaritmische afgeleide van $\tilde{\Xi}_n$ gekoppeld aan de verhouding van opeenvolgende Euler-polynomen.

2. Asymptotische analyse van verhoudingen:
   Er wordt gebruikgemaakt van een klassieke rij-identiteit en contourintegratie (via Cauchy's integraalformule) om de asymptotische gedrag van de verhouding $B_{m+1}(x)/B_m(x)$ te bepalen.

   • Lemma 1.1 & 1.2: Er wordt bewezen dat voor $x \in (0,1)$:
     $$\lim_{m \to \infty} \frac{1}{m} \frac{B_{m+1}(x)}{B_m(x)} = \frac{2(1-x)}{-\log x}$$
     Dit resultaat is cruciaal om de limiet van de logaritmische afgeleide van $\tilde{\Xi}_n$ te vinden.

3. Stieltjes-transformatie methode:
   De empirische nulverdelingsmaat $\mu_n$ wordt geassocieerd met de genormaliseerde logaritmische afgeleide $s_n(z)$, die fungeert als de Stieltjes-transformatie van $\mu_n$:
   $$s_n(z) = \frac{1}{n-1} \frac{\tilde{\Xi}_n'(z)}{\tilde{\Xi}_n(z)} = \int \frac{1}{z-x} d\mu_n(x)$$
   Door de limiet $s(z) = \lim_{n \to \infty} s_n(z)$ lokaal uniform te berekenen, kan via de Stieltjes-inversieformule de dichtheid van de limietmaat $\mu$ worden afgeleid.

3. Belangrijkste Bijdragen en Resultaten

A. Limiet van de Stieltjes-transformatie (Lemma 2.1)

De auteur bewijst dat de genormaliseerde logaritmische afgeleide $s_n(z)$ lokaal uniform convergeert naar een analytische functie $s(z)$ op $\mathbb{C} \setminus [0, 1]$. Deze limietfunctie wordt expliciet gegeven in termen van $u(z) = \frac{\sqrt{z}-1}{\sqrt{z}+1}$.

B. De Limietdichtheid (Stelling 2.2)

De empirische maat $\mu_n$ convergeert zwak naar een deterministische kansmaat $\mu$ met ondersteuning op $(0, 1)$. De dichtheidsfunctie $\rho(x)$ van deze limietmaat is:
$$\rho(x) = \frac{2}{\sqrt{x}(1-x) \left( \log^2 \frac{1-\sqrt{x}}{1+\sqrt{x}} + \pi^2 \right)}, \quad 0 < x < 1$$
en $\rho(x) = 0$ elders.
Deze dichtheid heeft een log-Cauchy-structuur en vertoont singulariteiten aan beide uiteinden van het interval.

C. De Limietverdelingsfunctie (Stelling 2.3)

De empirische verdelingsfunctie $F_n(x)$ convergeert puntsgewijs naar de limietverdelingsfunctie $F(x)$:
$$F(x) = \begin{cases} 0 & x \leq 0 \\ \frac{2}{\pi} \arctan\left( \frac{1}{\pi} \log \frac{1+\sqrt{x}}{1-\sqrt{x}} \right) & 0 < x < 1 \\ 1 & x \geq 1 \end{cases}$$

D. Gedetailleerd Asymptotisch Gedrag (Sectie 3)

De analyse van de dichtheid $\rho(x)$ onthult twee verschillende regimes voor de ophoping van nulpunten:

• Bij $x \to 0$: De dichtheid divergeert als $x^{-1/2}$. De kleinste nulpunten $x_{k,n}$ (voor vast $k$ en grote $n$) schalen als $O(n^{-2})$. Dit betekent dat de nulpunten bij 0 zich gedragen volgens een kwadratische rand.
• Bij $x \to 1$: De verdeling vertoont een logaritmische singulariteit. De rechterste nulpunten naderen 1 met een exponentiële snelheid (d.w.z. $1 - x_{k,n}$ is van orde $e^{-cn}$). Dit is een veel snellere ophoping dan bij veel klassieke polynomen families.

4. Significatie en Context

• Uitbreiding van bestaande theorie: Het werk kan worden gezien als een uitbreiding van de resultaten van Paul Melotti [4], die de wortelverdeling van Euler-polynomen van type A heeft onderzocht. Dit artikel behandelt de complexere type B variant.
• Unieke structuur: De gevonden limietverdeling is uniek door de combinatie van een wortel-singulariteit bij 0 en een logaritmisch gecorrigeerde singulariteit bij 1. Dit contrasteert met de vaak uniforme of eenvoudige logaritmische verdelingen die bij andere klassieke polynomen (zoals Jacobi-polynomen) voorkomen.
• Numerieke validatie: Sectie 4 bevat numerieke experimenten die aantonen dat de convergentie van de empirische verdelingsfuncties naar de theoretische curve $F(x)$ al zeer duidelijk is voor matige waarden van $n$.

Conclusie

Het artikel levert een volledige karakterisering van de asymptotische nulverdeling van de polynomen $\tilde{\Xi}_n$. Door een combinatie van contourintegratie, asymptotische analyse van Euler-polynomen en de Stieltjes-transformatie-methode, worden expliciete formules voor de limietdichtheid en verdelingsfunctie afgeleid. De resultaten tonen een fascinerend gedrag aan de randen van het interval, waarbij de nulpunten zich extreem dicht ophopen bij 1 en een specifieke schaal $n^{-2}$ volgen bij 0.