Zeros of GKP sequences of polynomials

Resumen Técnico: Ceros de las Sucesiones GKP de Polinomios

Planteamiento del Problema
Este artículo investiga las propiedades de los ceros de una clase específica de sucesiones polinómicas definidas por una relación de recurrencia de dos parámetros. Estas sucesiones, denominadas "sucesiones GKP" en honor a Graham, Knuth y Patashnik (quienes plantearon el problema general de resolver tales recurrencias en Concrete Mathematics), se generan mediante la fórmula:
$$p_n(x) = (ax^2 + bx + c)p'_{n-1}(x) + (\phi_n + \psi_n x)p_{n-1}(x)$$
donde $ax^2 + bx + c$ tiene dos ceros reales distintos, y $\phi = (\phi_i)$ y $\psi = (\psi_i)$ son sucesiones de números reales. Los autores pretenden determinar las condiciones bajo las cuales los ceros de estos polinomios son reales, simples e intercalados, y derivar los comportamientos asintóticos de estos ceros. El estudio abarca familias de polinomios bien conocidas como los polinomios Tangente, Secante, Eulerianos y Jacobi como instancias específicas de sucesiones GKP.

Metodología
Los autores emplean una combinación de análisis de recurrencia, teoría de operadores diferenciales y análisis asintótico de coeficientes polinómicos.

1. Normalización y Reducción: El artículo establece primero que cualquier sucesión GKP con un cuadrático general $ax^2 + bx + c$ puede transformarse, mediante un cambio de variable lineal y normalización, en una sucesión $s_n(x)$ definida por la recurrencia específica:
   $$s_{n+1}(x) = (1-x^2)s'_n(x) + (\phi_{n+1} + \psi_{n+1}x)s_n(x)$$
   Esto permite a los autores centrarse en el intervalo $(-1, 1)$ y en el polinomio $1-x^2$.

2. Pruebas de Intercalación y Realidad: El núcleo del análisis de los ceros se basa en lemas relativos al operador $q(x) = (1-x^2)p'(x) + (a+bx)p(x)$. Al analizar los cambios de signo de $q(x)$ con respecto a los ceros de $p(x)$, los autores demuestran que si $b + |a| < 0$, el operador preserva la realidad de los ceros e induce una propiedad de intercalación. Esto se aplica inductivamente a la sucesión GKP.

3. Simetría y Dependencia de Parámetros: Los autores investigan la simetría de los coeficientes de $s_n$ con respecto a los parámetros $\phi$ y $\psi$. Demuestran que los coeficientes son funciones simétricas de $\phi_1, \dots, \phi_n$ si y solo si la sucesión $\psi$ es constante. Esto conduce al estudio de la monotonicidad de los ceros con respecto a los parámetros $\phi$.

4. Análisis Asintótico: Para el caso en que $\phi$ y $\psi$ son sucesiones constantes (denotadas como $s_{v,u}^n$), los autores analizan los coeficientes de los polinomios transformados $s_{v,u}^n(2x+1)$. Demuestran que estos coeficientes se comportan asintóticamente como $F(j)G(j)^{n-K}\tau_j(n)$, donde $F$ y $G$ satisfacen condiciones específicas de log-concavidad y log-convexidad. Esto permite la aplicación de un teorema general (Teorema 5.2) relativo a la distribución asintótica de ceros para polinomios con tales coeficientes.

5. Combinaciones Lineales: El estudio se extiende a combinaciones lineales finitas de estos polinomios, $q_n(x) = \sum \gamma_j s_{v,u}^{n-j}(2x+1)$, que corresponden a casos donde $\phi$ es eventualmente constante. Los autores relacionan la ubicación de los ceros de $q_n$ con los ceros de un polinomio auxiliar $P(x) = \sum \gamma_j x^{K-j}$.

Contribuciones Clave y Resultados

• Propiedades Generales de los Ceros (Teorema 1.1): Bajo la leve suposición de $|\phi_n| + \psi_n < 0$, los autores demuestran que todos los ceros de $s_n$ son reales, simples y se encuentran dentro del intervalo $(-1, 1)$. Además, los ceros de $s_{n+1}$ se intercalan estrictamente con los ceros de $s_n$. Este resultado unifica las propiedades de los ceros de los polinomios Tangente, Secante y Jacobi bajo un único marco de trabajo.

• Monotonicidad y Simetría (Sección 4): Cuando $\psi$ es constante, los coeficientes de $s_n$ son simétricos en $\phi$. Los autores demuestran que los ceros de $s_n$ son funciones crecientes de los parámetros $\phi_j$. También establecen que si la condición $|\phi_i| < -u$ se viola para un número finito de parámetros, el número de ceros reales en $(-1, 1)$ es al menos $n - N$, donde $N$ es el recuento de los parámetros que violan la condición.

• Asintótica para Parámetros Constantes (Teorema 1.2): Para sucesiones constantes $\phi_i = u$ y $\psi_i = v$ (con $|v| + u < 0$), los autores derivan fórmulas asintóticas precisas para los ceros más a la derecha y más a la izquierda de $s_{v,u}^n(2x+1)$. Específicamente, muestran que el $j$-ésimo cero de la derecha $\zeta_{n,j}$ se comporta como:
  $$\lim_{n \to \infty} \frac{\zeta_{n,j}}{j} \left( \frac{u+v-2j+2}{u+v-2j} \right)^n = 1$$
  (con una fórmula correspondiente para los ceros de la izquierda).

• Combinaciones Lineales (Teorema 1.3): Para combinaciones lineales $q_n$ definidas por un polinomio $P$, los autores caracterizan la distribución de los ceros basándose en las raíces de $P$.

  • Si las raíces de $P$ se encuentran dentro de un intervalo específico determinado por $u$ y $v$, todos los ceros de $q_n$ son reales, simples e intercalados para $n \ge K$.
  • Si $P$ tiene raíces fuera de este intervalo, los autores demuestran que, para $n$ suficientemente grande, $q_n$ todavía posee solo ceros reales. Proporcionan recuentos exactos para el número de ceros en los intervalos $(-1, 0)$, $(0, +\infty)$ y $(-\infty, -1)$, denotados como $n - N^+ - N^-$, $N^+$ y $N^-$ respectivamente, donde $N^+$ y $N^-$ están determinados por los cambios de signo en $P$ evaluado en progresiones aritméticas específicas.

• Asintótica para Combinaciones Lineales (Teorema 6.2): El artículo proporciona fórmulas asintóticas para los ceros extremos de estas combinaciones lineales, mostrando que convergen a valores determinados por las raíces de $P$ y los parámetros $u, v$.

Significancia y Reivindicaciones
El artículo afirma proporcionar una "teoría general" para los ceros de una amplia clase de sucesiones polinómicas que incluye muchas familias combinatorias y ortogonales clásicas. Al establecer la realidad e intercalación de los ceros bajo condiciones leves, los autores unifican el estudio de estas diversas familias.

El trabajo es significativo por:

1. Unificación: Demuestra que los polinomios Tangente, Secante, Eulerianos y Jacobi son casos específicos de una única estructura de recurrencia GKP.
2. Asintótica Rigurosa: Ofrece nuevas descripciones asintóticas precisas para los ceros extremos de estas sucesiones, que no estaban completamente caracterizadas con tal generalidad anteriormente.
3. Estabilidad de los Ceros Reales: Los autores muestran que incluso cuando los parámetros se desvían de la "región segura" (donde todos los ceros están garantizados en $(-1, 1)$), los polinomios retienen un alto grado de ceros reales; además, para combinaciones lineales, los ceros eventualmente se vuelven reales para $n$ grande, siempre que el polinomio auxiliar $P$ no se anule en puntos críticos específicos.

Los autores concluyen con una conjetura que sugiere que el operador que genera estas sucesiones es un "operador de aumento de ceros reales" en un sentido más profundo: incluso si el polinomio inicial tiene ceros no reales, la aplicación repetida del operador (correspondiente al aumento de $n$) eventualmente producirá un polinomio con solo ceros reales, siempre que el polinomio auxiliar $P$ satisfaga condiciones de no anulación. Esto sigue siendo una conjetura y no ha sido probada en el artículo.