Documentos de Académico
Documentos de Profesional
Documentos de Cultura
J. Cruz Sampedro
Departamento de Ciencias Básicas,
UAM-A,
jacs@correo.azc.uam.mx
M. Tetlalmatzi Montiel
Área Académica de Matemáticas y Fı́sica
UAEH,
tmontiel@uaeh.edu.mx
Resumen
Un mito que dificulta la disipación de dudas importan-
tes en el aprendizaje del cálculo es la opinión generali-
zada que para evaluar la integral gaussiana es necesario
utilizar métodos de cálculo avanzado. Para refutar esta
falacia, en este trabajo presentamos tres maneras senci-
llas de obtener el valor de esta integral con cálculo de
una variable. La primera es intuitiva y provee al mismo
tiempo la convergencia y el valor de la integral. La segun-
da es similar a la anterior pero supone la convergencia.
La tercera es concisa aunque no es intuitiva ni tan ele-
mental. Para mostrar un panorama completo del tema,
también demostramos que dentro de cierta clase natural
de funciones la función error no se puede calcular; lue-
go combinamos este resultado con un teorema clásico de
Liouville para demostrar que esta función no es elemen-
tal.
1. Introducción
2
y = e−x
a x
x
Enseguida fijamos
√ t > 0 y notamos en la figura 2 que si Q(t) es la
parte de G 2 t que yace sobre el cuadrado [0, t] × [0, t] del plano xz,
entonces
1 1 √
vol (G(t)) ≤ vol (Q(t)) ≤ vol G( 2 t) ,
4 4
1
INTEGRAL GAUSSIANA Y FUNCIÓN ERROR . . . 81
2
y = e−x
2
y = e−z
√
y = g(x) x t 2t x
r
z
lo cual es imposible (ver por ejemplo (12)). Luego, no existe una función
racional R tal que (14) se satisface.
Este resultado demuestra que si n ≥ 0 es un entero y R denota
al conjunto de funciones racionales, entonces es imposible calcular la
integral (14) si demandamos que, a excepción de una constante aditiva,
el resultado pertenezca a la clase de funciones
2 2
e−t R =: {R(t)e−t : R(t) es una función racional }.
El teorema 3.1 es bien conocido pero, hasta donde sabemos, la es-
trategia de estudiar el comportamiento asintótico de las funciones re-
levantes para demostrarlo no está en la literatura y tiene las siguientes
ventajas:
1. Utiliza únicamente las herramientas básicas del cálculo de una
variable al nivel de [16] y no requiere familiaridad con la teorı́a de
polinomios, como por ejemplo en [7, 8, 11].
2. Se puede utilizar para establecer resultados análogos al teorema
precedente para otras integrales importantes.
INTEGRAL GAUSSIANA Y FUNCIÓN ERROR . . . 87
4. Un teorema de Liouville
Bibliografı́a
[1] ((http://www.akalin.cx/elementary−gaussian−proof)).
[2] M. Bronstein, Symbolic integration i: Transcendental functions, Springer-Verlag Berlin
Heidelberg, 2010.
[3] J. Cruz-Sampedro y M. Tetlalmatzi-Montiel, ((Hardy’s reduction for a class of liouville
integrals of elementary functions)), Sometido a The American Mathematical Monthly.
R∞ 2
[4] A. Delgado, ((A calculation of 0 e−x dx)), The College Mathematics Journal, vol. 3,
núm. 4, 2003, 321–323.
[5] J. Edwards, The historical develpoment of calculus, Spriner Verlag, New York, 1979.
[6] H. Iwasawa, ((Gaussian integral puzzle)), The Mathematical Intelligencer, vol. 31, núm.
3, 2009, 38–41.
[7] E. A. Marchisotto y G. Zakery, ((An invitation to integration in finite terms)), The
College Mathematics Journal, vol. 25, núm. 4, Sep. 1994, 295–308.
[8] D. G. Mead, ((Integration)), The American Mathematical Monthly, vol. 68, 1961, 152–
156.
[9] C. P. Nicholas y R. C. Yates, ((The probability integral)), The American Mathematical
Monthly, June 1950, 412–413.
[10] R. H. Risch, ((The problem of integration in finite terms)), Transactions of the Ame-
rican Mathematical Society, vol. 76, 1967, 167–189.
[11] J. F. Ritt, Integration in finite terms: Liouville theory of elementary methods, Colum-
bia University Press, New York, 1948.
[12] M. Rosenlicht, ((Integration in finite terms)), The American Mathematical Monthly,
vol. 79, núm. 9, 1972, 963–972.
[13] G. Salas y E. Hille, Caculus, 4.a ed., vol. 1, Reverté, 2005.
[14] M. Spivak, Calculus on manifolds, Addison-Wesley, Cambridge Massachusetts, 1965.
[15] , Calculus, 3.a ed., Publish or Perish, 1994.
[16] G. Thomas, Cálculo, una variable, 12.a ed., Pearson, 2010.