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

Aquí presento un resumen técnico detallado del artículo "Asymptotic zero distribution of the polynomials eΞn" (Distribución asintótica de los ceros de los polinomios eΞn), escrito por Luc Ramsès Talla Waffo.

1. Planteamiento del Problema

El artículo se centra en el estudio de la distribución asintótica de los ceros reales de una familia específica de polinomios denotados como $\Xi_n(x)$, introducidos previamente en la literatura [5, 6]. Estos polinomios están definidos en términos de los polinomios de Euleriano de tipo B ($B_m(z)$).

El objeto de estudio principal es la familia rescalada definida como:
$$\tilde{\Xi}_n(x) := \Xi_n(\sqrt{x}), \quad n \ge 2$$
donde $\tilde{\Xi}_n(x)$ es un polinomio real de grado $n-1$. El autor investiga el comportamiento de los ceros de estos polinomios en el intervalo $(0, 1)$.

El objetivo es determinar si la distribución empírica de estos ceros converge a una medida de probabilidad determinista $\mu$ cuando $n \to \infty$, y si es así, encontrar una fórmula explícita para la densidad de esta medida y su función de distribución.

2. Metodología

El enfoque metodológico combina análisis complejo, teoría de polinomios ortogonales (específicamente polinomios de Euleriano) y métodos de transformadas integrales. Los pasos clave son:

1. Representación de los Polinomios: Se utiliza la definición explícita de $\Xi_n(x)$ en términos de $B_{2n-1}(z)$ y se deriva una expresión para la derivada logarítmica de $\tilde{\Xi}_n(x)$.
2. Asintótica de Cocientes: Se establece un lema clave (Lema 1.2) que proporciona el límite asintótico del cociente de polinomios de Euleriano de tipo B consecutivos:
   $$\lim_{m \to \infty} \frac{1}{m} \frac{B_{m+1}(x)}{B_m(x)} = \frac{2(1-x)}{-\log x}$$
   Esta relación se deriva de una identidad de series clásica y una representación integral de contorno.
3. Método de la Transformada de Stieltjes:
   • Se define la medida empírica de ceros $\mu_n$ como la suma de deltas de Dirac en los ceros $x_{n,k}$.
   • La derivada logarítmica normalizada $s_n(z) = \frac{1}{n-1} \frac{\tilde{\Xi}'_n(z)}{\tilde{\Xi}_n(z)}$ se identifica como la transformada de Stieltjes de $\mu_n$.
   • Utilizando el límite asintótico del cociente de polinomios de Euleriano, se demuestra que $s_n(z)$ converge localmente uniforme a una función límite $s(z)$ en $\mathbb{C} \setminus [0, 1]$.
4. Inversión de la Transformada: Una vez obtenida la función límite $s(z)$, se aplica la fórmula de inversión de Stieltjes para recuperar la densidad $\rho(x)$ de la medida límite $\mu$ en el intervalo $(0, 1)$:
   $$\rho(x) = -\frac{1}{\pi} \lim_{\epsilon \to 0^+} \Im(s(x + i\epsilon))$$

3. Contribuciones y Resultados Clave

El trabajo presenta tres resultados principales (Lema 2.1, Teorema 2.2 y Teorema 2.3):

A. Convergencia de la Transformada de Stieltjes (Lema 2.1)

Se demuestra que la transformada de Stieltjes de la medida empírica converge a una función analítica $s(z)$ dada explícitamente por:
$$s(z) = \frac{1}{\sqrt{z}(1+\sqrt{z})} + \frac{1}{\sqrt{z}(1-\sqrt{z})} \left( u(z) + \frac{1-u(z)}{\log u(z)} \right)$$
donde $u(z) = \frac{\sqrt{z}-1}{\sqrt{z}+1}$.

B. Densidad Límite (Teorema 2.2)

La medida empírica $\mu_n$ converge débilmente a una medida de probabilidad $\mu$ soportada en $(0, 1)$ con una densidad explícita $\rho(x)$:
$$\rho(x) = \frac{2}{\sqrt{x}(1-x) \left( \log^2 \left( \frac{1-\sqrt{x}}{1+\sqrt{x}} \right) + \pi^2 \right)}, \quad 0 < x < 1$$
Esta densidad tiene una estructura log-Cauchy, característica de ciertas distribuciones de ceros de polinomios clásicos, pero adaptada a los polinomios de tipo B.

C. Función de Distribución Límite (Teorema 2.3)

La función de distribución empírica $F_n(x)$ converge puntualmente a la función límite $F(x)$:
$$F(x) = \begin{cases} 0 & x \le 0 \\ \frac{2}{\pi} \arctan\left( \frac{1}{\pi} \log \frac{1+\sqrt{x}}{1-\sqrt{x}} \right) & 0 < x < 1 \\ 1 & x \ge 1 \end{cases}$$

D. Análisis del Comportamiento de los Ceros (Sección 3)

El autor analiza el comportamiento de los ceros ordenados $x_{k,n}$ basándose en la densidad $\rho(x)$:

• Cerca de 0: La densidad diverge como $x^{-1/2}$. Esto implica que los ceros más pequeños se acumulan cerca de 0 con un espaciado cuadrático. Específicamente, el $k$-ésimo cero más pequeño escala como $x_{k,n} \sim \frac{\pi^4}{16} \frac{k^2}{n^2}$.
• Cerca de 1: La densidad presenta una singularidad logarítmica. Los ceros más grandes se acercan a 1 a una tasa exponencial en $n$ (mucho más rápido que cualquier potencia de $n^{-1}$).
• Región Central: En el interior del intervalo, el espaciado de los ceros es del orden $1/n$ y sigue la densidad suave $\rho(x)$.

4. Significado y Relevancia

• Extensión de Resultados Previos: Este trabajo extiende los resultados conocidos sobre la distribución de ceros de los polinomios de Euleriano de tipo A (estudiados por Paul Melotti) a los polinomios de tipo B.
• Nueva Estructura Asintótica: La identificación de una densidad con estructura log-Cauchy y el comportamiento asimétrico de los ceros (escala $n^{-2}$ en un extremo y escala exponencial en el otro) aporta nueva comprensión sobre la geometría de los ceros de polinomios relacionados con números de Euleriano de tipo B.
• Validación Numérica: El artículo incluye experimentos numéricos (Sección 4) que confirman visualmente la convergencia de las funciones de distribución empíricas hacia la curva límite teórica incluso para valores moderados de $n$.
• Herramientas Analíticas: La demostración valida la utilidad de combinar identidades de series, análisis de singularidades de funciones generadoras y el método de la transformada de Stieltjes para resolver problemas de distribución de ceros en familias de polinomios no ortogonales clásicos.

En resumen, el artículo proporciona una descripción completa y rigurosa de cómo se distribuyen los ceros de la familia $\tilde{\Xi}_n$, revelando un perfil determinista con características singulares en los bordes del intervalo unitario.