¿Qué es la calculadora de tabla de polinomios de Laguerre?
Esta herramienta tabula y representa gráficamente el polinomio de Laguerre \(L_n(x)\) sobre una secuencia de valores de x. Los polinomios de Laguerre son las soluciones de tipo polinomio ortogonal de la ecuación diferencial \(x\cdot y'' + (1 - x)\cdot y' + n\cdot y = 0\), y aparecen continuamente en la mecánica cuántica (la parte radial del átomo de hidrógeno), en la integración numérica (la cuadratura de Gauss-Laguerre) y en el procesamiento de señales. Esta calculadora emplea la normalización estándar, con \(L_n(0) = 1\).
Cómo usarla
Introduce cuatro números: el orden n (un entero no negativo), el valor inicial de x, el incremento (paso) entre valores sucesivos de x y el número de filas. La calculadora genera \(x = \text{inicioX},\ \text{inicioX} + \text{pasoX},\ \text{inicioX} + 2\cdot\text{pasoX},\ \ldots\) y evalúa \(L_n(x)\) en cada uno, devolviendo una tabla de dos columnas y una gráfica de líneas.
La fórmula explicada
En lugar de desarrollar el polinomio, la calculadora utiliza la recurrencia de tres términos, numéricamente estable: \(L_0(x) = 1\), \(L_1(x) = 1 - x\) y, para \(k \ge 1\),
$$L_{k+1}(x) = \frac{(2k + 1 - x)\cdot L_k(x) - k\cdot L_{k-1}(x)}{k + 1}.$$Esto solo requiere un coste \(O(n)\) por punto. Los primeros polinomios son \(L_2(x) = 1 - 2x + \frac{x^2}{2}\) y \(L_3(x) = 1 - 3x + 1.5x^2 - \frac{x^3}{6}\).
Ejemplo resuelto
Para \(n = 3\) y \(x = -1\):
$$L_3(-1) = 1 + 3 + 1.5 + 0.16667 = 5.66667.$$Comprobándolo con la recurrencia: \(L_0 = 1\), \(L_1 = 2\), \(L_2 = 3.5\),
$$L_3 = \frac{6\cdot 3.5 - 2\cdot 2}{3} = \frac{17}{3} = 5.66667.$$En \(x = 0\), \(L_3(0) = 1\); en \(x = 1\), \(L_3(1) = -0.66667\).
Preguntas frecuentes
¿Qué normalización se utiliza? La forma estándar con \(L_n(0) = 1\), no la versión sin normalizar \(n!\cdot L_n(x)\) que aparece en algunas referencias.
¿Qué ocurre si n = 0? \(L_0(x) = 1\) en todas partes, una línea horizontal plana. Para \(n = 1\) obtienes la recta \(1 - x\).
¿Hasta qué valor puede llegar n? La recurrencia es estable para valores moderados de \(n\). Para \(n\) muy grande o \(|x|\) muy grande los valores crecen con rapidez y, con el tiempo, puede producirse un desbordamiento en coma flotante.