Series de Taylor

Una de las ideas más poderosas del cálculo: aproximar cualquier función suave con polinomios. Cada término añadido captura un poco más de la "personalidad" de la función original.

¿Qué Observarás?

La Fórmula Fundamental

La serie de Taylor expresa una función como una suma infinita de potencias de (x - a), donde "a" es el punto central de la expansión:

f(x) = Σₙ₌₀^∞ [f⁽ⁿ⁾(a) / n!] · (x - a)ⁿ
Serie de Taylor de f centrada en a

Cuando a = 0, se llama serie de Maclaurin. La simulación usa este caso por defecto.

f⁽ⁿ⁾(a)

La n-ésima derivada de f evaluada en el punto central a

n!

Factorial de n. Crece muy rápido, haciendo que los términos disminuyan

(x - a)ⁿ

Potencia de la distancia al centro. Pequeño cerca de a, grande lejos

Truncamiento

Usar solo los primeros N términos da un polinomio aproximante

Las Series Clásicas

Función Serie de Maclaurin Convergencia
sin(x) x - x³/3! + x⁵/5! - x⁷/7! + ... Todo ℝ
cos(x) 1 - x²/2! + x⁴/4! - x⁶/6! + ... Todo ℝ
1 + x + x²/2! + x³/3! + x⁴/4! + ... Todo ℝ
ln(1+x) x - x²/2 + x³/3 - x⁴/4 + ... |x| ≤ 1
arctan(x) x - x³/3 + x⁵/5 - x⁷/7 + ... |x| ≤ 1
sinh(x) x + x³/3! + x⁵/5! + x⁷/7! + ... Todo ℝ
cosh(x) 1 + x²/2! + x⁴/4! + x⁶/6! + ... Todo ℝ
√(1+x) 1 + x/2 - x²/8 + x³/16 - ... |x| ≤ 1
Patrones: Nota que sin(x) solo tiene potencias impares (es función impar) y cos(x) solo tiene potencias pares (es función par). Los signos alternantes en sin, cos, ln(1+x) y arctan reflejan la alternancia de sus derivadas.

Derivación de la Serie del Seno

¿De Dónde Sale sin(x) = x - x³/3! + x⁵/5! - ...?

1
f(x) = sin(x), f(0) = 0
La función y su valor en el centro
2
f'(x) = cos(x), f'(0) = 1
Primera derivada → coeficiente de x
3
f''(x) = -sin(x), f''(0) = 0
Segunda derivada = 0 → no hay término x²
4
f'''(x) = -cos(x), f'''(0) = -1
Tercera derivada → coeficiente de x³ es -1/3!
5
Las derivadas ciclan: sin → cos → -sin → -cos → sin ...
El patrón determina todos los coeficientes

Radio de Convergencia

No todas las series de Taylor convergen para todo x. El radio de convergencia R indica hasta dónde la serie da resultados finitos:

Criterios de Convergencia

Para ln(1+x) centrado en 0, R = 1. Si intentas evaluar ln(3) usando esta serie (x = 2), ¡la suma diverge!

R = lim |aₙ / aₙ₊₁|
Fórmula del radio de convergencia (prueba de la razón)

Experimentos Guiados

Experimento 1: Convergencia de sin(x)

  1. Selecciona sin(x) y comienza con 1 término
  2. La aproximación es simplemente y = x (una línea recta)
  3. Añade términos uno por uno hasta llegar a 5
  4. Observa cómo la curva cian se "pega" progresivamente a la rosa
  5. Con 10 términos, ¿hasta qué valor de x es la aproximación buena?

Insight: Para sin(x) en [-π, π], unos 7-8 términos dan una aproximación visualmente indistinguible. El error es exponencialmente pequeño.

Experimento 2: Límites de ln(1+x)

  1. Selecciona ln(1+x) y ajusta el rango X a ±2
  2. Observa que la función solo está definida para x > -1
  3. Con pocos términos, la aproximación diverge rápidamente para x > 1
  4. Añade más términos. ¿Mejora para x = 1.5? ¿Y para x = 2?

Concepto clave: Aunque ln(2) existe (≈ 0.693), la serie de Maclaurin de ln(1+x) no converge para x = 1. Para calcular ln(2) se necesitan trucos como ln(2) = -ln(1/2).

Experimento 3: Animación de Términos

  1. Selecciona eˣ y activa "Animar términos"
  2. Observa cómo cada término añade una "ondulación" más a la curva
  3. El término n-ésimo es xⁿ/n!, que crece/decrece según x
  4. Para x negativo grande, los signos alternantes causan oscilaciones

Visualización: La animación revela cómo los términos sucesivos "moldean" el polinomio para que imite a la función objetivo.

Experimento 4: Expansión No Centrada

  1. Selecciona sin(x) y mueve el centro a a = 1
  2. Observa el punto verde que marca el centro
  3. La aproximación ahora es perfecta en x = 1, no en x = 0
  4. Para aproximar sin(100), ¿sería mejor centrar cerca de 100?

Aplicación: En cálculo numérico, a menudo se centra la serie en el punto de interés para minimizar el error.

Contexto Histórico

El Desarrollo de las Series

~1400

Escuela de Kerala (India): Madhava descubre las series de sin, cos y arctan, tres siglos antes que Europa.

1669

Isaac Newton: Desarrolla series de potencias como parte de su "método de fluxiones" (cálculo).

1715

Brook Taylor: Publica la fórmula general que lleva su nombre, con resto explícito.

1742

Colin Maclaurin: Populariza el caso a = 0 en su tratado, dando nombre a las "series de Maclaurin".

1821

Augustin-Louis Cauchy: Formaliza las condiciones de convergencia con rigor moderno.

El Término de Error

Al truncar la serie en N términos, cometemos un error. La fórmula de Lagrange cuantifica este error:

Rₙ(x) = f⁽ⁿ⁺¹⁾(ξ) / (n+1)! · (x-a)^(n+1)
Resto de Lagrange: ξ está entre a y x

Para sin(x) y cos(x), las derivadas están acotadas por 1, así que:

|Rₙ(x)| ≤ |x|^(n+1) / (n+1)!
Cota del error para sin(x) y cos(x) centradas en 0

El factorial en el denominador crece mucho más rápido que cualquier potencia, garantizando que el error tienda a cero si la serie converge.

Conexiones Interdisciplinarias

Física

La aproximación del péndulo simple usa sin(θ) ≈ θ (primer término). Términos adicionales dan correcciones para oscilaciones grandes.

Ingeniería

Los procesadores calculan sin, cos, exp usando polinomios de Taylor optimizados (o aproximaciones similares como Chebyshev).

Relatividad

El factor gamma γ = 1/√(1-v²/c²) se aproxima como 1 + v²/2c² + ... para velocidades pequeñas.

Finanzas

Las "greeks" (delta, gamma, theta) son términos de Taylor del precio de una opción respecto a sus parámetros.

Machine Learning

El descenso de gradiente usa la aproximación f(x+h) ≈ f(x) + hf'(x), el primer término no constante de Taylor.

Sumas de Riemann

Las fórmulas de integración numérica (trapezoidal, Simpson) derivan de expandir f en Taylor y luego integrar.

Funciones Analíticas vs No Analíticas

No toda función tiene una serie de Taylor útil. El ejemplo clásico:

f(x) = e^(-1/x²) para x ≠ 0, f(0) = 0
Una función suave cuya serie de Taylor en 0 es... 0

Esta función es infinitamente diferenciable, y todas sus derivadas en x = 0 son cero. Su serie de Taylor es la función constante 0, que no representa a f excepto en x = 0. Se dice que f no es "analítica" en 0.

Funciones Analíticas: Una función es analítica en un punto si su serie de Taylor converge a la función en un entorno de ese punto. Sin, cos, exp, polinomios son analíticas en todo ℝ. Ln(x) es analítica excepto en x = 0.

Para Explorar Más

Reflexión Final: Las series de Taylor son la base del cálculo computacional moderno. Cada vez que tu calculadora evalúa sin(1), está usando (una variante optimizada de) una serie de Taylor. La idea de que funciones complicadas se pueden representar como polinomios infinitos es uno de los insights más profundos del análisis matemático.