Serie de Leibniz

Serie de Leibniz

En matemáticas, la fórmula de Leibniz para el cálculo de π, nombrada así en honor a Gottfried Leibniz, dice que:

1 \,-\, \frac{1}{3} \,+\, \frac{1}{5} \,-\, \frac{1}{7} \,+\, \frac{1}{9} \,-\, \cdots \;=\; \frac{\pi}{4}.\!

La expresión de la izquierda es una serie infinita denominada serie de Leibniz, que converge a π ⁄ 4. También se la denomina serie de Gregory-Leibniz para reconocer el trabajo de James Gregory, contemporáneo de Leibniz. Usando sumatorio, la serie se puede expresar como

\sum_{n=0}^\infty \, \frac{(-1)^n}{2n+1} \;=\; \frac{\pi}{4}.\!

La fórmula fue descubierta por primera vez en el siglo XV por Madhava of Sangamagrama, un matemático indio y fundador de la escuela de astronomía y matemáticas de Kerala, unos 300 años antes que Leibniz. En reconocimiento a su trabajo, también se conoce esta fórmula como la serie de Madhava-Leibniz.[1] [2]

Contenido

Demostración

Considérese la serie geométrica infinita

1 \,-\, x^2 \,+\, x^4 \,-\, x^6 \,+\, x^8 \,-\, \cdots \;=\; \frac{1}{1+x^2}, \qquad |x| < 1.\!

Integrando los dos miembros de la igualdad, se obtiene una serie de potencias para la arcotangente:

x \,-\, \frac{x^3}{3} \,+\, \frac{x^5}{5} \,-\, \frac{x^7}{7} \,+\, \frac{x^9}{9} \,-\, \cdots \;=\; \tan^{-1} x , \qquad |x| < 1.\!

Al introducir el valor x = 1 se obtiene la fórmula de Leibniz (la arcotangente de 1 es π ⁄ 4). El problema de este razonamiento es que 1 no se encuentra en el radio de convergencia de esta serie de potencias, por lo que hace falta un argumento más sólido para mostrar que la serie converge a tan−1(1) para x = 1. Una opción es mostrar la convergencia de la serie mediante el criterio de Leibniz para luego aplicar el teorema de Abel para demostrar que debe converger a tan−1(1). Sin embargo, también se puede utilizar un argumento completamente elemental.

Argumento elemental

Considérese la siguiente descomposición:

\frac{1}{1+x^2} \;=\;1 \,-\, x^2 \,+\, x^4 \,-\, \cdots \,+\, (-1)^n x^{2n} \;+\; \frac{(-1)^{n+1}\,x^{2n+2} }{1+x^2}.\!

Para |x| < 1, la fracción de la derecha es la suma de los términos restantes de la serie geométrica. Sin embargo, la ecuación no utiliza series infinitas, y se cumple para cualquier valor real de x. Integrando los dos miembros de 0 a 1, se obtiene:

\frac{\pi}{4} \;=\; 1 \,-\, \frac{1}{3} \,+\, \frac{1}{5} \,-\, \cdots \,+ \frac{(-1)^n}{2n+1} \;+\; (-1)^{n+1}\!\! \int_0^1 \frac{x^{2n+2}}{1+x^2}\,dx.\!

A medida que n \rightarrow \infty\!\,, la suma de los términos de la ecuación excepto la integral tiende a la serie de Leibniz, y la integral tiende a 0:

\int_0^1 \frac{x^{2n+2}}{1+x^2}\,dx \;<\; \int_0^1 x^{2n+2}\,dx \;=\; \frac{1}{2n+3} \;\rightarrow\; 0 \qquad \text{as }n \rightarrow \infty.\!

Esto demuestra la fórmula de Leibniz.

Eficiencia en el cálculo de π

En la práctica, la fórmula de Leibniz es muy poco eficiente para el cálculo de π, pues requiere un número enorme de pasos para obtener cierta precisión. Para calcular π con 10 decimales correctos hacen falta más de 10.000 millones de operaciones matemáticas, que los ordenadores tardarán más en realizar que en calcular π con millones de decimales correctos mediante fórmulas más eficientes.

Sin embargo, si se trunca la serie en el momento adecuado, la representación decimal de la aproximación será correcta para muchos más dígitos, exceptuando cifras aisladas o grupos de cifras. Tomando 5 millones de términos, se obtiene:

3.1415924535897932384646433832795027841971693993873058...

donde las cifras subrayadas son incorrectas. De hecho, los errores son predecibles: están generados por los números de Euler En según la fórmula asintótica

\frac{\pi}{2} - 2 \sum_{k=1}^{N/2} \frac{(-1)^{k-1}}{2k-1} \sim \sum_{m=0}^{\infty} \frac{E_{2m}}{N^{2m+1}}\!

donde N es un número entero divisible por 4. Si N es una potencia de diez, cada uno de los términos de la derecha es una fracción decimal finita. La fórmula es un caso especial de la fórmula de Boole de suma de series alternas. En 1992, Jonathan Borwein y Mark Limber calcularon π con 5.263 decimales utilizando sólo los mil primeros términos de la fórmula de Leibniz.

Referencias

  • Jonathan Borwein, David Bailey & Roland Girgensohn, Experimentation in Mathematics - Computational Paths to Discovery, A K Peters 2003, ISBN 1-56881-136-5, pages 28-30.
  1. ↑ George E. Andrews, Richard Askey, Ranjan Roy (1999), Special Functions, Cambridge University Press, p. 58, ISBN 0521789885 
  2. ↑ Gupta, R. C. (1992), «On the remainder term in the Madhava-Leibniz's series», Ganita Bharati 14 (1-4): 68-71 

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Serie convergente — En matemáticas, una serie se llama serie convergente si la sucesión de sumas parciales tiene un límite en el espacio considerado. De otro modo se llama serie divergente. Contenido 1 Definición formal 2 Ejemplos 3 Convergencia absoluta …   Wikipedia Español

  • LEIBNIZ (G. W.) — Dans l’histoire de la philosophie, Leibniz doit être situé à l’intersection du plus ancien et du plus moderne: traditionnel par sa filiation scolastique avouée et par le souci théologique constant dans sa pensée, il est sans nul doute le plus… …   Encyclopédie Universelle

  • Serie convergente — Série convergente En mathématiques, une série est dite convergente si la suite de ses sommes partielles a une limite dans l espace considéré. Dans le cas contraire, elle est dite divergente. Pour des séries numériques, ou à valeurs dans un espace …   Wikipédia en Français

  • Serie de Fourier — Série de Fourier Le premier graphe donne l allure du graphe d une fonction périodique ; l histogramme donne les valeurs des modules des coefficients de Fourier correspondant aux différentes fréquences. En analyse, les séries de Fourier sont… …   Wikipédia en Français

  • Série de fourier — Le premier graphe donne l allure du graphe d une fonction périodique ; l histogramme donne les valeurs des modules des coefficients de Fourier correspondant aux différentes fréquences. En analyse, les séries de Fourier sont un outil… …   Wikipédia en Français

  • Leibniz — Gottfried Wilhelm Leibniz Pour les articles homonymes, voir Leibniz (homonymie). Gottfried Wilhelm Leibniz Philosophe et Scientifique Époque Moderne …   Wikipédia en Français

  • Série convergente — En mathématiques, une série est dite convergente si la suite de ses sommes partielles a une limite dans l espace considéré. Dans le cas contraire, elle est dite divergente. Pour des séries numériques, ou à valeurs dans un espace de Banach, il… …   Wikipédia en Français

  • Série de Fourier — En analyse, les séries de Fourier sont un outil fondamental dans l étude des fonctions périodiques. C est à partir de ce concept que s est développée la branche des mathématiques connue sous le nom d analyse harmonique. L étude d une fonction… …   Wikipédia en Français

  • Serie de Taylor — sin(x) y aproximaciones de Taylor centradas en 0, con polinomios de grado 1, 3, 5, 7, 9, 11 y 13. En matemáticas, una serie de Taylor de una función f(x) infinitamente derivable (real o compleja) defin …   Wikipedia Español

  • Serie alternada — En matemáticas, una serie alternada es una serie infinita del tipo con an ≥ 0. Una suma finita de este tipo es una suma alternada. Condiciones de convergencia Una condición suficiente para que la serie alternada converja es que sea absolutamente… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”