¿Qué es el polinomio de Chebyshev de primera especie?
Los polinomios de Chebyshev de primera especie, denotados como \(T_n(x)\), forman una familia de polinomios ortogonales presentes en el análisis numérico, la teoría de la aproximación, el procesamiento de señales y el diseño de filtros digitales. Esta calculadora construye una tabla de valores de \(T_n(x)\) sobre un rango de \(x\) elegido —y opcionalmente la curva— a partir de un grado \(n\), un valor inicial de \(x\), un tamaño de paso y un número de filas. Es una herramienta de matemática pura y se aplica de forma universal, sin reglas que dependan de ningún país.
Cómo utilizarla
Introduce el grado \(n\) (un entero no negativo como 0, 1, 2, 3...). Fija el valor inicial de \(x\) (el dominio canónico es de \(-1\) a \(1\), aunque la recurrencia funciona para cualquier \(x\) real). Elige el incremento (paso) que se suma a \(x\) en cada fila y el número de repeticiones (filas) que quieres generar. El barrido por defecto, con \(\text{initialX} = -1\), \(\text{step} = 0{,}02\) y \(\text{rows} = 101\), recorre \(x\) desde \(-1{,}00\) hasta \(+1{,}00\) inclusive.
La fórmula
El método robusto que se emplea aquí es la recurrencia de tres términos:
$$T_0(x) = 1, \quad T_1(x) = x \quad \text{y} \quad T_k(x) = 2x \cdot T_{k-1}(x) - T_{k-2}(x) \quad \text{para } k \ge 2.$$
De forma equivalente, en el intervalo \(-1 \le x \le 1\) se cumple la forma trigonométrica $$T_n(x) = \cos(n \cdot \arccos x).$$ Los primeros polinomios explícitos son \(T_2(x) = 2x^2 - 1\), \(T_3(x) = 4x^3 - 3x\) y \(T_4(x) = 8x^4 - 8x^2 + 1\). En \([-1, 1]\) los valores siempre cumplen \(|T_n(x)| \le 1\); fuera de esa banda, la magnitud crece con rapidez.
Ejemplo resuelto
Para \(n = 3\) el polinomio es \(T_3(x) = 4x^3 - 3x\). En \(x = -1\): $$4(-1) - 3(-1) = -1.$$ En \(x = -0{,}5\): $$4(-0{,}125) + 1{,}5 = 1.$$ En \(x = 0\): \(0\). En \(x = 0{,}5\): $$0{,}5 - 1{,}5 = -1.$$ En \(x = 1\): $$4 - 3 = 1.$$ Así, una tabla con \(\text{initialX} = -1\), \(\text{step} = 0{,}5\) y \(\text{rows} = 5\) da la secuencia \(-1, 1, 0, -1, 1\).
Preguntas frecuentes
¿Puede \(n\) ser cero? Sí. \(T_0(x) = 1\) para cualquier \(x\), por lo que todas las filas muestran \(1\).
¿Puede \(x\) salir del intervalo \([-1, 1]\)? Sí: la recurrencia sigue calculando valores correctos (posiblemente grandes); solo la forma trigonométrica está restringida a \(|x| \le 1\).
¿Y si el paso es cero? Todas las filas repiten el mismo valor de \(x\), lo cual está permitido, pero genera una tabla constante.
