Integral de Wallis

Integral de Wallis
Help-books-aj.svg aj ash 01.svg
 Este artículo o sección tiene un estilo difícil de entender para los lectores interesados en el tema.
Si puedes, por favor edítalo y contribuye a hacerlo más accesible para el público general, sin eliminar los detalles técnicos que interesan a los especialistas.

Se llaman integrales de Wallis a las términos de la sucesión de integrales: w_n = \int_0^{\frac \pi 2} \operatorname{sen}^n x \, dx . La igualdad anterior se obtiene cambiando de variable en la integral, y = \frac \pi 2 - x y luego renombrando y \ en x \ .


Contenido

Propiedades elementales

Los términos w_n \ son positivos no nulos porque las funciones f_n(x) = x \mapsto \operatorname{sen}^n x lo son sobre el intervalo \left ]0; \frac \pi 2 \right ] . La sucesión es estrictamente decreciente porque sobre \left ]0; \frac \pi 2 \right [, sen x pertenece a ]0; 1[ y para todo número real r en ]0; 1[ la sucesión n \mapsto r^n decrece estrictamente. Otro modo de ver es calcular la diferencia: w_{n+1} - w_n = \int_0^{\frac \pi 2} \operatorname{sen}^{n+1} x \, dx - \int_0^{\frac \pi 2} \operatorname{sen}^n x \, dx = \int_0^{\frac \pi 2} ( \operatorname{sen}^{n+1} x - \operatorname{sen}^n x)\, dx = \int_0^{\frac \pi 2} \operatorname{sen}^n x (1 - \operatorname{sen} x)\, dx < 0 porque sobre \left ]0; \frac \pi 2 \right [, \ \operatorname{sen}^n x < 0, \mbox{ y } 1 - \operatorname{sen} x > <span class=0 " border="0"> luego la integral de una función continua negativa no nula es negativa.

la función f_n \, tiende hacia 0 para todo x en \left [0; \frac \pi 2 \right [ cuando n tiende hacia el infinito, luego, trabajando sobre el intervalo compacto \left [0; \frac \pi 2 \right ] , \lim_{n \rightarrow + \infty}w_n = \lim_{n \rightarrow + \infty} \int_0^{\frac \pi 2} f_n (x) \, dx = \int_0^{\frac \pi 2} \lim_{n \rightarrow + \infty} f_n (x) \, dx = \int_0^{\frac \pi 2} 0 \, dx = 0


Formas explícitas de las integrales de Wallis

Los dos primeros términos de la sucesión se calculan directamente: w_0 = \int_0^{\frac \pi 2} dx = \frac \pi 2 y w_1 = \int_0^{\frac \pi 2} \operatorname{sen} x\, dx = [- \cos x]_0^{\frac \pi 2} = - \cos \frac \pi 2 + \cos 0 = 1 .

Los siguientes términos se calculan gracias a una relación de inducción que se va a obtener por intergración por partes:

w_{n+2} = \int_0^{\frac \pi 2} \operatorname{sen}^{n+2} x \, dx = \int_0^{\frac \pi 2} \operatorname{sen}^n x \cdot \operatorname{sen}^2 x \, dx = \int_0^{\frac \pi 2} \operatorname{sen}^n x \cdot (1 - \cos^2 x) \, dx = \int_0^{\frac \pi 2} \operatorname{sen}^n x \, dx - \int_0^{\frac \pi 2} \operatorname{sen}^n x \cdot \cos^2 x \, dx = w_n - u_n La integral u_n \ se obtiene por integración por partes: se integra \operatorname{sen}^n x \cdot \cos x \ en \frac {\operatorname{sen}^{n+1} x} {n+1} y se deriva \cos x \ en - \operatorname{sen} x  :

u_n = \left [ \frac {\operatorname{sen}^{n+1} x} {n+1} \cos x \right ]_0^{\frac \pi 2} - \int_0^{\frac \pi 2} \frac {\operatorname{sen}^{n+1} x} {n+1} (- \operatorname{sen} x) \, dx = 0 + \int_0^{\frac \pi 2} \frac {\operatorname{sen}^{n+2} x} {n+2} \, dx = \frac {w_{n+2}} {n+1}

Por tanto tenemos: w_{n+2} = w_n - \frac {w_{n+2}} {n+1} lo que equivale a (n+1) w_{n+2} =(n+1) w_n - w_{n+2} \ es decir (n+2) w_{n+2} =(n+1) w_n \ luego w_{n+2} =\frac {n+1} {n+2} w_n lo que se escribe también {\color{blue} w_n =\frac {n-1} n w_{n-2}} Esta relación permite expresar los términos de rango impar en función de u_1 \ y los de rango par en función de u_0 \ . En concreto:

Para n impar: n = 2k+1 \, y w_n = \frac {(n-1)(n-3)...4\times 2} {n(n-2)...3\times 1} w_1 = \frac {(n-1){\color{red}^2} (n-3){\color{red}^2} ...4{\color{red}^2} \times 2{\color{red}^2}} {n{\color{red}(n-1)}(n-2){\color{red}(n-3)}... 3\times {\color{red}2 \times}1} = \frac {{\color{red}(}(2k)(2k-2)...4\times 2 {\color{red})^2}} {n!} = \frac { ( ({\color{OliveGreen}2}k)({\color{OliveGreen}2}(k-1)) ... ({\color{OliveGreen}2}\times 2 )({\color{OliveGreen}2} \times 1) )^2} {n!} = \frac { ( {\color{OliveGreen}2^k} \times k! )^2 } {n!} = \frac {2^{2k} \left ( k! \right ) ^2 } {n!} = \frac {2^{n-1} { \left ( \frac {n-1} 2 \right ) ! } ^2 } {n!} porque k = \frac {n-1} 2; donde n! y k! son las factoriales de n y k.

Para n par se procede de la misma manera, salvo que los factores pares aparecen en el denominador; se multiplica el numerador y el denominador por el denominador para hacer aparecer la factorial n! arriba y las potencias de 2 abajo: sin detallar tanto como anteriormente, tenemos:

w_n = \frac {(n-1)(n-3)...3\times 1} {n(n-2)...4\times 2} w_0 = \frac {n(n-1)(n-2)...3 \times 2} {(n(n-2)... 4\times 2)^2} \cdot \frac \pi 2 = \frac {n!} {\left ( 2^{\frac n 2} \left ( \frac n 2 \right ) ! \right )^2 }\cdot \frac \pi 2 = \frac {n! \pi} { 2^{n+1} { \left ( \frac n 2 \right ) ! }^2 }

Aplicación a la fórmula de Stirling

La aplicación más notable de las integrales de Wallis es el cálculo de la constante que aparece en la fórmula de Stirling. Se procede así: Como ya se ha visto, la sucesión \left ( w_n \right ) es decreciente, y \lim_{n \rightarrow + \infty} \frac {w_{n+2}} {w_n} = \lim_{n \rightarrow + \infty} \frac {n+1} {n+2} = 1.

Luego w_{n+2} < w_{n+1} < w_n \,\Longrightarrow \frac {w_{n+2}} {w_n} < \frac {w_{n+1}} {w_n} < 1 lo que da \lim_{n \rightarrow + \infty} \frac {w_{n+1}} {w_n} = 1 es decir w_{n+1} \sim w_n \,

Tomando n par, tenemos

w_n = \frac {n! \pi} { 2^{n+1} { \left ( \frac n 2 \right ) ! }^2 } \ \ \mbox { y } \ \ w_{n+1} = \frac {2^n { \left ( \frac n 2 \right ) ! } ^2 } {(n+1)!}

pues n+1 es impar.

Al multiplicar las fracciones se simplifican: w_n \cdot w_{n+1} = \frac {n! \pi} { 2^{n+1}} \cdot \frac {2^n } {(n+1)!} = \frac {\pi} {2(n+1)} \sim \frac {\pi} {2n} luego w_n^2 \sim \frac {\pi} {2n} y sacando la raíz: w_n \sim \sqrt{ \frac {\pi} {2n}}

Ahora introduzcamos en w_n \ la equivalencia n! \sim_{ {}_{+ \infty}} \, C \sqrt{n } \ n^n e^{-n}.

w_n \sim \frac {C \sqrt{n } \ n^n e^{-n} \pi} { 2^{n+1} { \left ( C \sqrt{ \frac n 2} \ \left ( \frac n 2 \right ) ^{\frac n 2} e^{- \frac n 2} \right ) }^2 } \ = \frac {{\color{red}C} \sqrt{n } \ n^n {\color{blue}e^{-n}} \pi} { 2^{n+1} { {\color{red}C^2} \ \frac n 2 \ \left ( \frac n 2 \right ) ^n {\color{blue}e^{-n}} }} = \frac { \sqrt{n } \ {\color{Orange}n^n} \pi} { {\color{OliveGreen}2^{n+1}} { C \ \frac {{ \color{Orange}n^{n+1}}} {\color{OliveGreen}{2^{n+1}}} } }

= \ \frac {\sqrt{n} \ \pi } { n C} = \frac {\pi} {\sqrt{n} C} .

Comparando con el último equivalente de w_n \ , se obtiene: w_n \sim \sqrt{ \frac {\pi} {2n}} \sim \frac {\pi} {\sqrt{n} C} luego \sqrt{ \frac {\pi} {2}} = \frac {\pi} C y finalmente: C = \pi \ \sqrt{ \frac 2 \pi} = \sqrt{2 \pi}.


Referencias

Commons-emblem-question book orange.svg
 Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas.
Puedes añadirlas así o avisar al autor principal del artículo en su página de discusión pegando: {{subst:Aviso referencias|Integral de Wallis}} ~~~~

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Wallis and Futuna — [wô′lis] French overseas territory in the South Pacific, northeast of the Fiji Islands: it consists of two groups of islands (Wallis Islands and Futuna Islands): c. 106 sq mi (275 sq km); pop. 14,000 * * * Wallis and Futuna Introduction Wallis… …   Universalium

  • Wallis, John — ▪ English mathematician born Nov. 23, 1616, Ashford, Kent, Eng. died Oct. 28, 1703, Oxford, Oxfordshire  English mathematician who contributed substantially to the origins of the calculus and was the most influential English mathematician before… …   Universalium

  • Integral — This article is about the concept of integrals in calculus. For the set of numbers, see integer. For other uses, see Integral (disambiguation). A definite integral of a function can be represented as the signed area of the region bounded by its… …   Wikipedia

  • Wallis-Produkt — Das wallissche Produkt, auch Wallis Produkt, ist eine Produktdarstellung der Kreiszahl π, das heißt es handelt sich um ein Produkt mit unendlich vielen Faktoren, dessen Grenzwert Pi ist. Es wurde 1655 von dem englischen Mathematiker John Wallis… …   Deutsch Wikipedia

  • Liste des administrateurs supérieurs de Wallis-et-Futuna — Cet article recense, par ordre chronologique, les hauts fonctionnaires de la France qui ont occupé le poste d administrateur supérieur de Wallis et Futuna. Ce poste a été créé en 1961, par la loi qui a donné à Wallis et Futuna le statut de… …   Wikipédia en Français

  • John Wallis — Pour les articles homonymes, voir Wallis. John Wallis John Wallis, né le 23 novembre 1616 à Ashford …   Wikipédia en Français

  • John Wallis : Les Applications Cliniques De La Phonétique Et L'éducation Des Sourds — John Wallis Pour les articles homonymes, voir Wallis. John Wallis John Wallis, né le 23 novembre …   Wikipédia en Français

  • John Wallis : les applications cliniques de la phonétique et l'éducation des sourds — John Wallis Pour les articles homonymes, voir Wallis. John Wallis John Wallis, né le 23 novembre …   Wikipédia en Français

  • John wallis : les applications cliniques de la phonétique et l'éducation des sourds — John Wallis Pour les articles homonymes, voir Wallis. John Wallis John Wallis, né le 23 novembre …   Wikipédia en Français

  • Kreiszahlberechnung nach Wallis — Das wallissche Produkt, auch Wallis Produkt, ist eine Produktdarstellung der Kreiszahl π, das heißt es handelt sich um ein Produkt mit unendlich vielen Faktoren, dessen Grenzwert Pi ist. Es wurde 1655 von dem englischen Mathematiker John Wallis… …   Deutsch Wikipedia

Compartir el artículo y extractos

Link directo
https://es-academic.com/dic.nsf/eswiki/611665 Do a right-click on the link above
and select “Copy Link”