Está en la página 1de 35

´ lisis

,
Integrales definidas, ana
´ meros y experimentos
nu
Victor Hugo Moll
Department of Mathematics, Tulane University, New Orleans, LA 70118,
USA, vhm@math.tulane.edu.co
22 de marzo de 2007

Resumen. Este trabajo presenta una reflexi´on sobre los m´etodos
simb´olicos de evaluaci´on de las integrales definidas. El ´enfasis yace en
el descubrimiento de expresiones expl´ıcitas para tales integrales con la
ayuda de un lenguaje simb´olico. Varias relaciones con constantes especiales del An´alisis y la Teor´ıa de N´
umeros aparecen en la b´
usqueda de
estas f´ormulas expl´ıcitas. El trabajo tambi´en incluye una introducci´on
a la teor´ıa de transformaciones de Landen para integrales racionales.
Abstract. This work presents a discussion of symbolic methods employed in the evaluation of definite integrals. The emphasis is in the
discovery of closed-form expressions for these integrals with the assistance of a symbolic language. Many relations with special constants
of Analysis and Number Theory are also presented. The last part of
the paper discusses the theory of Landen transformations for rational
integrands.
Palabras y frases claves: Integrales, funci´on zeta, transformaciones de Landen, valuaciones p-´
adicas, recurrencias.
Clasificaci´
on matem´
atica AMS : 33B15, 33E20, 33E20.

´Indice
1. Introducci´on
1.1. El problema central
1.2. Otro tipo de respuestas
1.3. La constante de Euler
1.4. La constante de Catalan
1.5. La tabla de integrales de Gradshteyn y Ryzhik
2. La integral de una funci´on racional cu´artica
2.1. La f´ormula de Wallis
1

2
2
6
7
9
11
12
12

2

2.2. Una integral que no aparece en Gradshteyn y Ryzhik
2.3. Propiedades aritm´eticas de los coeficientes
3. Landen
3.1. Extensi´on del cambio trigonom´etrico al grado 6
3.2. Una interpretaci´on geom´etrica
3.3. Una generalizaci´on
3.4. El problema de la convergencia
Reconocimientos
Referencias

1.

14
17
22
23
27
28
30
34
35

´n
Introduccio

Este art´ıculo es la versi´on escrita de las notas que sirvieron de complemento al cursillo de Integrales Definidas dictado durante la Semana
de la Matem´atica del mes de octubre de 2006. El evento fue organizado por el Instituto de Matem´aticas de la Universidad Cat´olica de
Valpara´ıso (UCV), Chile. Mi prop´osito es comunicar lo que investigo
con gran informalidad. Espero contar una historia matem´aticamente
interesante.
1.1. El problema central. Nos preocuparemos fundamentalmente
del problema siguiente: Dada una funci´on f , que depende de ciertos
par´ametros p1 , · · · , pr y un intervalo [a, b], −∞ ≤ a < b ≤ ∞, queremos
determinar el valor de
Z b
(1.1)
I :=
f (x) dx
a

en funci´on de los par´ametros P := {a, b; p1 , · · · , pr }. Naturalmente,
uno se pregunta qu´e significa determinar. Algunos ejemplos nos ayudan
a aclarar la situaci´on.
Ejemplo 1.1. En el primer curso de C´alculo, uno aprende que
Z

1

(1.2)
0

1
x2 dx = .
3

Esta integral definida fue calculada por Arqu´ımedes mucho antes que
Newton, Leibnitz y Riemann. Aqu´ı todo es simple : f es una funci´on
polin´omica y la respuesta es un n´
umero racional.
Ejemplo 1.2. La Trigonometr´ıa nos ense˜
na que
Z
(1.3)
0

1p

1 − x2 dx =

π
,
4

3

la cual se puede interpretar como un cuarto del a´rea de un c´ırculo
de radio√1. Se observa que la integral de una funci´on elemental como
f (x) = 1 − x2 produce numeros reales complicados. Los que no crean
que π es un n´
umero complicado, deber´ıan intentar calcular su d´ıgito
1040 .
Ejemplo 1.3. La evaluaci´on de
Z

1/5

(1.4)
0

dx

= Arcsin
1 − x2 


1
5

se realiza mediante el cambio 
de variables x = sin t. Ahora bien, ¿C´omo
1
decidir si el valor Arcsin 5 est´a escrito en la forma m´as simple?
Los ejemplos anteriores sugieren el siguiente principio: Las integrales
definidas de funciones elementales producen valores de funciones especiales. Esto es muy vago. Uno deber´ıa explorar qu´e tipo de n´
umeros
reales aparecen cuando se calculan las integrales.
Ejemplo 1.4. No es preciso complicar mucho el integrando para producir n´
umeros complicados. En verdad,
Z

1

(1.5)
−1

ex dx

= πI0 (1),
1 − x2

donde
(1.6)


X

1  z k
I0 (z) = J0 ( −1z) =
k!2 2
k=0

es la funci´on de Bessel de argumento imaginario. A principios del siglo
XX todos los matem´aticos conoc´ıan estas funciones.
Ejemplo 1.5. Algunas veces uno tiene suerte. Por ejemplo,
Z
(1.7)
0

xe−x dx

= 1 − ln 2.
e2x − 1

Cuando esto ocurre uno se pregunta: ¿C´omo puedo modificar el problema para obtener algo interesante? Un m´etodo posible es intentar
escribir el integrando como un miembro de una familia de funciones
que depende de un par´ametro. Definamos pues
Z
(1.8)

h(n) :=
0

∞ n −x
x e dx

e2x − 1

.

Los tres primeros valores de estas integrales definidas son:
h(1) = 1 − ln 2,
π2
h(2) = 2 −
− 2 ln 2 + (ln 2)2 ,
12
π2
1
3
h(3) = 6 −
− 6 ln 2 + π 2 ln 2 + 3(ln 2)2 − (ln 2)3 − ζ(3).
4
4
2

ζ(9). k3 k=1 De hecho. donde ζ es la funci´on zeta de ´ Riemann. las propiedades aritm´eticas de estos valores impares son dif´ıciles.12) ∞ X 1 c := ζ(3) = y d = π3. Debido a una conocida f´ormula de Euler que expresa ζ(2j) en t´erminos de los n´ umeros de Bernoulli B2j . Infinity}]. 0.6 (Experimento). {x.{ Log[4]-> 2* Log[2]} .11) ∞ X 1 a := ζ(2) = k2 y b = π2 k=1 satisfacen b = 6a. Una de las sugerencias que quiero hacer es la siguiente: Uno debe pensar en ciertos numeros reales como variables. Sin embargo. a determinar un conjunto de variables que la determinan. Ejemplo 1.10) I= f (x) dx. h2[n_]:=h[n]/.9) ζ(s) = ∞ X 1 . se sabe que los valores (1. Uno puede definir h[n_]:=Integrate[x^n * Exp[-x]/Sqrt[Exp[2*x]-1]. Debo advertir que el problema de la simplificaci´on es realmente dif´ıcil. Por ejemplo. ζ(7). desde los tiempos de Euler. Se sabe que uno de los cuatro n´ umeros ζ(5). ζ(11)es irracional. La comunidad matem´atica se sorprendi´o cuando Apery (1979) demostr´o que ζ(3) es irracional.4 Esto sugiere que h(n) es un polinomio con coeficientes racionales en las variables C := {ln 2. Los valores anteriores se obtienen empleando algunas reglas de simplificaci´on como h1[n_]:= FullSimplify[ h[n] ]. nadie sabe si lo mismo ocurre para (1. El ejemplo anterior se puede estudiar con la ayuda de un experimento en Mathematica. El problema fundamental se reformula entonces como: Dada una integral b Z (1. ζ(j) : j ∈ N}. . Sin embargo. ks k=1 El n´ umero real ζ(3) se conoce como constante de Apery. Esta se define por (1. π. Se sospecha que todos los valores ζ(2j + 1) son irracionales. decidir si c/d es racional (o no) es un problema abierto. s´olo se necesita conocer los valores de esta funci´on en los enteros impares.

Mathematica entrega una expresi´on en las variables del problema. 16. x } | {z } n veces . Los pr´oximos diez valores de la funci´on den son {16. " ". 11264}. Los diez t´erminos siguientes a partir de den(11) son {3072. (1. 12 M´as a´ un.5 Como estamos suponiendo que h(n) es un polinomio en las variables p = π. uno puede mirar el valor del polinomio q1 (n). usemos la notaci´on (1. Hasta n = 14.13). q[n]]. 16. Aqu´ı hay algo raro. 8. 8}. Hay una sorpresa. de n = 15 en adelante. 8. Pero. 6 4 2 Quiz´as el problema se simplifica eliminando los denominadores. z(5). · · · . 32. x. 1280. 80. · · · .13) usamos la regla q[n_]:= h2[n]/. z(3). definido por la f´ormula (1. 16. 372736. 32.{Log[2]->r. 16. Zeta[j_]->z[j]} El gui´on en la variable indica que cada vez que aparezca ζ(j) se debe reemplazar por z[j]. 4. Por ejemplo. Pi->p. 11520. 16.14) q1 (2) = 1 (24 − p2 − 24r + 12r2 ). Los diez primeros valores de la sucesi´on de denominadores son{1. 12. 48. Mathematica ayuda aqu´ı tambi´en. (1. n++) ] que entrega la lista 1 2 3 4 5 1−r p2 2− − 2r + r2 12 p2 r 3 p2 − 6r + + 3r2 − r3 − z[3] 6− 4 4 2 4 3p p2 r 2 24 − p2 − − 24r + p2 r + 12r2 − − 4r3 + r4 − 6z[3] + 6rz[3] 80 2 3p4 r 5p2 r2 3p4 − 120r + 5p2 r + + 60r2 − − 20r3 120 − 5p2 − 16 16 2 5p2 r3 5p2 z[3] 45z[5] + + 5r4 − r5 − 30z[3] + + 30rz[3] − 15r2 z[3] − . x.15) [x]n := {x. 192. Uno puede pedir varios valores mediante el comando: (n:=1) && While[n \leq 5. 4. Para escribir esto. r = ln 2. el comando den[n_]:= Denominator[q1[n]] calcula el denominador de q1 (n). (Print[n. 7377280. 32. 32} Qu´e est´a pasando? Para ver esto en detalle. 8. 32. El comando q1[n_]:=Together[ q[n] ] escribe q(n) sobre un denominador com´ un. Si queremos intuir o predecir una f´ormula para estos datos necesitamos m´as valores. 1344. algo nuevo aparece. 14 3360.

Se puede consultar en los libros de J.6 La respuesta que Mathematica entrega es (1. Girgensohn (2003) y (2004). que se define por la serie de potencias (1.7 (Radicales). b1 . + 2x4 + 5x2 + 1)m+1 Este valor se puede calcular porque el polinomio P (t) = t4 + 5t3 + 2t2 + 5t + 1 se puede resolver por radicales y el denominador es P (x2 ). j1 = .2. (x4 + 5x2 + 1)2 7 7 Uno sospechar´ıa (en forma correcta) que 2π proviene del Teorema del Residuo (que permite calcular integrales reales usando m´etodos de C). Z (1. Otro tipo de respuestas. · · · . Ejemplo 1. . Hasta aqu´ı llego yo. 1 2 171 2007 j0 = . [1]n+1 . Grandes desarrollos de las Matem´aticas han surgido de un simple c´alculo num´erico. La integral Z 0 ∞ √  dx π  √ = 12 7 − 7 2 x8 + 5x6 + 2x4 + 5x2 + 1 140 es parte de la familia Z tm := 0 ∞ (x8 + 5x6 dx .8 (M´as radicales). D. Bailey y R. Por ejemplo. Uno puede encontrar integrales que producen n´ umeros interesantes. ap . Es posible encontrar una f´ormula de recurrencia y un m´etodo num´erico para calcular exactamente los jm . 2 7 784 10976 Esto es nuevo: se quiere un m´etodo num´erico que d´e una respuesta exacta (una buena aproximaci´on no es suficiente). j3 = . [2]n+1  . x) := ∞ X (a1 )k (a2 )k · · · (ap )k xk .16) q1 (n) = an HypergeometricPFQ  1 2 . Borwein. · · · . Los radicales aparecen en las integrales de funciones racionales como ∞ Z (1. En general.17) p Fq (a1 . Esta parte es dif´ıcil y se llama m´etodo LLL. (b1 )k (b2 )k · · · (bp )k k! k=0 El problema se reduce a encontrar los n´ umeros an y demostrar la f´ormula. (x4 + 5x2 + 1)m+1 7 donde jm ∈ Q. Tambi´en se debe mirar el diccionario de Borwein y Borwein (1990). Ejemplo 1. j2 = . 1.1) 0 dx 2π = √ . donde an es un numero racional.2) ∞ gm := 0 dx π = √ jm . La funci´on que aparece aqu´ı es la funci´on hipergeom´etrica.

como por ejemplo Z ∞ (1. Los c´alculos son enormes. He aqu´ı una colecci´on representativa de ellas: 1 Z γ = − ln(− ln x) dx. Hay muchas integrales que producen esta constante.7 La descomposici´on en fracciones parciales produce el resultado. γ = −Γ0 (1).3.1) ∞ X 1 =∞ k ζ(1) = k=1 y aunque Euler no parece preocuparse por los problemas modernos de convergencia. (1. x . 0 Esta funci´on es la extensi´on del factorial a los n´ umeros reales ya que satisface Γ(n + 1) = n! para n ∈ N. La variedad de integrales donde aparece γ es impresionante. J. Tambi´en hay colecciones en la Internet como las de Gourdon y Sebah.4) Γ(s) = ts−1 e−t dt. donde Γ es la funci´on gama de Euler: ∞ Z (1. Sondow (2003) ha desarrollado nuevos criterios que podr´ıan decidir este problema. 0 Es decir.2) γ = l´ım n→∞ n X 1 − ln n. Muchas de ellas aparecen en el libro cl´asico de Whittaker y Watson (1962). define (1. Recientemente. Los detalles se pueden ver en Boros y Moll (2004). Esta constante es el n´ umero real γ que corresponde a lo que ζ(1) debiera ser.3) e−x ln x dx = −γ. 0  Z ∞ 1 1 = − e−x dx. 1+x x 0  Z 1 dx 1 = x− . −x 1 − e x 0  Z ∞ 1 dx −x = −e . La constante de Euler. Dicha extensi´on es u ´nica si uno impone ciertas condiciones de convexidad. 1. si fuese finito.5) γ= 1 1 − 2−n Z 0 ∞ n exp(−x2 ) − e−x  dx . k k=1 A´ un no se sabe si γ ∈ Q. 1 − ln x x ln x 0 A veces uno encuentra un par´ametro entero: (1. Ciertamente. (2002) y (2003).

20 d2 = γ 2 + d3 d4 La estructura de estas respuestas se revela con la ayuda de en := (−1)n dn y las variables p = π. 4 En 2005. Entonces. M. 2 3π 4 = γ 4 + γ 2π2 + + 8γζ(3). e1 = g. g = γ y ζ(j) = zjj (obs´ervese la potencia j). La serie se puede ver en Sondow (1998). (1 − xy) ln(xy) Ella se parece mucho a la expresi´on (1. La constante γ tambi´en aparece en forma de l´ımite y como una serie: ∞ (1. Una forma de poner la integral (1.3 en la tabla de integrales de I. Ser´ıa un buen ejercicio. S. Sondow. π2 . 2 3 e4 = g 4 + g 2 p2 + p4 + 8gz33 . 1 e2 = g 2 + p2 . 6 1 2 3 e3 = g + gp + 2z33 . Mathematica arroja la lista d1 = −γ. encontr´o la f´ormula sorprendente 1Z 1 Z (1.8 Esta f´ormula aparece bajo el n´ umero 3.8) ln 4 = π Z 1Z 1 0 0 x−1 dx dy.475. 20 . Gradshteyn y I.9) X 1 − Γ(x) = l´ım γ = l´ım s→1+ x→0+ x n=1  1 1 − n s n s  .7) γ= 0 0 x−1 dx dy.3) dentro de una familia es definir Z (1. 6 γ π2 = −γ 3 − − 2ζ(3). J. Ryzhik (2000). a quien parece encantarle la constante. 0 Para esta familia. (1 + xy) ln(xy) Ser´ıa muy interesante si esta similaridad nos diera una relaci´on entre γ y ln(4/π).10) dn := ∞ e−x (ln x)n dx. Tambi´en hay integrales donde la constante γ aparece mezclada con otros n´ umeros: ∞ Z (1.6) 2 e−x ln x dx = − 0 1√ π(γ + 2 ln 2).

estas son integrales que se pueden evaluar usando G. 2 2 2 (2k − 1) (2k) (2k − 1) 4 donde hemos separado los ´ındices pares de los impares.4. Se cree que ´esta es una constante fundamental.4) G=− 0 1 ln x dx.1) con otras constantes b´asicas del An´alisis. J. Hay una gran variedad de representaciones integrales de G. Ahora bien. ∞ X k=1 ∞ ∞ k=1 k=1 X 1 X 1 1 3 = − = ζ(2). x menos su parte entera.11) i i=2 ∞ Z {x} dx = 1 − γ. Hay muchos otros n´ umeros reales que tienen propiedades parecidas a la constante de Euler. Havil (2003) ha escrito un libro interesante sobre la constante de Euler. Comenzamos con Z (1. independiente de π.9 en es siempre un polinomio homog´eneo de grado n. ning´ un argumento elemental ha permitido relacionar la constante de Catalan (1. 1 + x2 .2) ∞ X 1 π2 = . k2 6 ζ(2) = k=1 Si uno desea evaluar la suma alternante de los rec´ıprocos cuadrados. (2k + 1)2 Euler demostr´o que (1. En esta secci´on presento en forma resumida la constante de Catalan. 2 2 2 (2k − 1) k (2k) 4 de modo que (1. Desde mi punto de vista. definida por (1. Otras representaciones de la constante de Euler son ∞ X ζ(i) − 1 (1.3) ∞ X (−1)k k=1 k2 =− π2 . 12 Hasta ahora. All´ı se encuentran muchos aspectos hist´oricos relacionados con γ y la relaci´on de esta constante con los n´ umeros primos. es decir. puede decir que ∞ X (−1)k k=1 k2 =− ∞ X k=1 ∞ ∞ k=1 k=1 X 1 X 1 1 1 + =− + ζ(2). La constante de Catalan. x2 =1−γ y 1 La funci´on {x} es la parte fraccionaria de x.1) G= ∞ X k=0 (−1)k . 1.

Esta lista incluye integrales dobles como Z 1 Z π/2 dθ dx p (1.7) 0 x dx = 2G. nos da Z π/2 (1.6) 0 v dv = 2G.12) 2y2 1 + x 8 0 0 que se parece a (1. 0 Hay integrales donde la respuesta es una combinaci´on de G con otras constantes del An´alisis: Z (1. seguido por v = 2u. cosh x Hay tambi´en composiciones de logaritmos y funciones trigonom´etricas Z π/4 ln tan x dx = −G (1.7). 0 0 1 − x2 sin2 θ y Z 1Z 1 tan−1 x 1 dx dy = (4πG − 7ζ(3)) .9) π/2 sinh−1 (sin x) dx = G.5) G= 0 1 tan−1 x dx. sin x 3 12 Esta u ´ltima evaluaci´ on aparece como ejercicio en Borwein y Borwein (1987).11) = 2G. .10) podr´ıa ser Z π/n x dx (1. x El cambio de variables u = tan−1 x.10 Expandiendo el t´ermino 1/(1 + x2 ) como una serie geom´etrica e integrando por partes se obtiene. Una buena colecci´ on de f´ ormulas que involucran la constante de Catalan se encuentra en la entrada 33 de Bradley (1998).13) s(n) := . sin v Dentro de los integrandos que arrojan la constante de Catalan se encuentran funciones hiperb´olicas Z ∞ (1. (1. Una generalizaci´ on de la segunda integral en (1. Z (1.8) 0 y de funciones hiperb´olicas y trigonom´etricas Z (1. sin x 0 Uno esperar´ıa ahora valores especiales de otro tipo de funciones.10) 0 π/2 7 x2 dx = 2πG − ζ(3) y sin x 2 Z 0 π/6 √ x dx 4G π = + ln(7 − 4 3).

grupos finitos y otros espec´ımenes del zool´ogico cient´ıfico. se encuentran los detalles de la f´ormula Z ∞ lnn−1 x dx .11 1. 4. Esta f´ormula incluye las secciones 4.5.232. n´ umeros primos.4. en Moll (2006). Ya antes. Las tablas son revisadas continuamente por la comunidad cient´ıfica. 4. A trav´es del tiempo. Un reporte m´ as actual ha sido dado por M. A los matem´ aticos nos gusta coleccionar cosas como part´ıculas. −t t −∞ (1 − e )(a + e ) . Hemos iniciado el proceso de revisi´on y verificaci´on de las f´ ormulas en esta tabla.261. Klerer y F. La f´ ormula es n(1 + a)fn (a) = (−1)n n! [1 + (−1)n ] ζ(n) n b c 2   X n + (22j − 2)(−1)j−1 B2j π 2j (ln a)n−2j . Sheldon public´o en 1912 una revisi´on de las tablas de Bierens de Haan. Por ejemplo. M. Oleg I. La tabla de integrales de Gradshteyn y Ryzhik.1 y 4. C. inventado por S. Estas tablas han crecido en forma exponencial y. Un simple cambio de variables permite evaluar la integral Z ∞ tn−1 dt (1. hoy d´ıa. S. La u ´ltima edici´on apareci´o en 2000 y una nueva aparecer´ a este a˜ no.4. En un aviso comercial.pdf Se trata una lista de 64 p´ aginas de errores (la tabla tiene alrededor de mil p´ aginas de f´ ormulas). el tipo y n´ umero de evaluaciones de integrales definidas ha crecido en forma impresionante. se siguen imprimiendo tablas de integrales.262. Por ejemplo. Prudnikov. 2j j=0 donde los B2j son los n´ umeros de Bernoulli mencionados antes.2) hn (a) = . 4. (1.com/errata/gr6_errata. Es un trabajo enciclop´edico. Poco se sabe sobre estos matem´ aticos. Hace ya casi dos siglos. Gradshteyn y I. Una de las m´as usadas es la de I. Yu A. variedades. Ryzhik (2000). P. Wolfram.3.3. el tratado de A. Marichev (1992) consiste de 5 vol´ umenes de f´ ormulas. La idea general es clasificar las f´ormulas de acuerdo con la matem´ atica que se encuentra detr´as de ellas.1) fn (a) = 0 (x − 1)(x + a) para n ≥ 2 y a > 0. Lindman (1891) hab´ıa realizado una revisi´on. W. I.mathtable. Grossman (1968). Brychkov y O.263. Una lista de los errores actuales se encuentra en http://www. Marichev es actualmente el jefe de la secci´ on de Funciones Especiales del lenguaje simb´olico Mathematica. 1862) comenz´o a escribir tablas de integrales.264. A pesar de la influencia de lenguajes simb´olicos como Mathematica. F. E. los publicistas de los lenguajes simb´ olicos aseguran que ´estos pueden resolver todas las integrales de esta tabla. el matem´atico holand´es Bierens de Haan (1858. que mencionamos anteriormente. El gran cuidado con el que se editan estas tablas no las libra de algunos errores. No es cierto.

hasta ahora.419.12 que incluye 3. 2m Ahora se comprueba que el lado derecho de (2.3) J2.edu/~vhm/Table.m := = 2m+1 . esta f´ormula nos llam´o la atenci´ on. La f´ ormula de Wallis. encontramos la f´ormula 3. (1.248.6 ¡Diez entradas de la tabla de Gradshteyn y Ryzhik (2000) en una f´ ormula! Las demostraciones correspondientes se encuentran en http://www.4 (a. a saber:   Z ∞ dx π 2m (2. como dir´ıa Condorito. Lo peor de todo.m−1 .2) J2. ´ n racional cua ´ rtica La integral de una funcio En esta secci´ on presentamos los problemas matem´aticos asociados a la evaluaci´ on de la integral Z ∞ dx . mirando la u ´ltima edici´ on de Gradshteyn y Ryzhik (2000).4) ϕ(x) = 4x2 . 0 Usando la identidad la recurrencia cos2 θ = 1 − sin2 θ e integrando por partes se obtiene 2m − 1 J2.5: Z ∞ π dx q = √ .m = cos2m θ dθ. m) := 4 2 m+1 0 (x + 2ax + 1) 2.2.m = .1. cu´al es el resultado correcto. est´abamos interesados en iteraciones de la ra´ız cuadrada.tulane. Tampoco lo saben los editores de la tabla de Gradshteyn y Ryzhik (2000). es decir.3) p 2 6 0 (1 + x2 )3/2 ϕ(x) + ϕ(x) donde (1. 2 + 1)m+1 (x 2 m 0 Esta evaluaci´ on recibe el nombre de f´ ormula de Wallis.1) J2.419.html La motivaci´ on original de este proyecto surgi´o cuando.1) satisface la misma recurrencia y que ambos lados parten de π2 cuando m = 0. N0. 3. 2. Pero el resultado est´ a mal. Empezamos con una de las f´ormulas b´asicas del C´ alculo Integral. No sabemos. · · · . fue agregada en la u ´ltima edici´ on. La forma elemental de comprobar su validez es hacer el cambio de variables x = tan θ para obtener Z π/2 (2. Plop. es que es una f´ormula nueva.math. (2. 3(1 + x2 )2 Por razones que quedar´ an claras en la pr´oxima secci´on. Por eso.

5) 2 =2 . La forma original se basa en el producto infinito (2. Wallis no escribe la evaluaci´on (2. p.1. Osler (1999) demostr´o recientemente que el producto v v u s u u r p u Y t1 1u 2 1 1 t1 1 1 = + + + ··· + π 2 2 2 2 2 2 2 n=1 | {z } n radicales × ∞ Y k=1 2p+1 k − 1 2p+1 k + 1 · 2p+1 k 2p+1 k entrega la f´ ormula de Wallis (2. Wilf y Zeilberger (1997).1) en la forma presentada aqu´ı. con buenos ejemplos en Nemes. Defina am := (22m+1 J2. Wilf y D.i . Demuestre (2. Es una teor´ıa desarrollada por H. La suma (2. 2m m  ) y encuentre una recu- Ahora presentamos una demostraci´on m´as complicada.1) por inducci´on es entonces equivalente a      bm/2c X 2i −2i m −m 2m (2.3). (2.6) π=2 ∞ Y k=1 2k 2k · .5) es el ejemplo usado en Petkovsek. Usando el ´angulo doble. el Teorema del Binomio y el hecho que las integrales de potencias impares se anulan (por simetr´ıa) nos dice que bm/2c   X m −m J2.7) 2 π v s r s r u r u 1 1 1 1 t1 1 1 1 = + + + ··· .13 Ejercicio 2. 2 0 El cambio de variables ψ = 2θ. Petkovsek. . Wilf y Zeilberger (1996). Zeilberger (1992).m = 2 2i i=0 La demostraci´ on de (2. 2i i m i=0 Los detalles se pueden ver en Boros y Moll (2005). 2k − 1 2k + 1 La expresi´ on (2.6) para p = 0 y la expresi´on de Vieta cuando p → ∞. para ilustrar este tipo de m´etodos. Hemos entrado al mundo de las demostraciones mec´ anicas.m = dθ.m )/(π rrencia para am . 113. se obtiene  Z π/2  1 + cos 2θ m J2. 2 2 2 2 2 2 2 2 que fue dada por Vieta (1593) es una de las primeras representaciones anal´ıticas de π.4) J2.

9) 2Γ(1 + m) es v´ alida s´ olo para Re[m] > − 12 . {x.14 Cuando uno se encuentra frente a una integral definida. y) = . Infinity} ] nos entrega ! √ Z ∞ π Γ(m + 12 ) 2 −m−1 1 (1 + x ) dx . Para ser honesto. Las restricciones en los par´ametros se pueden averiguar con el comando Assumptions . Infinity }.3) B(x. x+y 0 (1 + t) La identidad Γ(x) Γ(y) (2.10) Γ(2x) = 2x−1 Γ x + 21 Γ(x). uno puede motivar la f´ormula de duplicaci´on √  π (2. El comando Integrate [ 1/(x^{2} + 1)^{m+1}. (2.0. A partir de esto.4 (a. monitor u otro alumno. 4 + 2ax2 + 1)m+1 (x 0 .4) N0. Assumptions \rightarrow { Re[m] > -1/2 } ] obtenemos nuevamente (2. Preguntando Integrate [ 1/(x^{2} + 1)^{m+1}. 4 + 1)m+1 (x Γ(m + 1) 0 se puede evaluar usando el cambio de variable t = x4 y la representaci´on integral de la funci´ on beta Z ∞ x−1 t dt (2. {x. Al principio de nuestra investigaci´on sab´ıamos que Z ∞ dx Γ(5/4) Γ(m + 3/4) = (2. 2Γ(1 + m) 0 Mathematica quiere decir que la respuesta √ π Γ(m + 12 ) (2.2) B(x. Los detalles aparecen en el Cap´ıtulo 10 de Boros y Moll (2004).9). Mucho se puede aprender por este m´etodo. 2 Encontrar la f´ ormula es a veces la mitad de la demostraci´on.11) sin(2x) = 2 sin x sin(x + π2 ). m) := . una de las opciones de evaluaci´ on es preguntarle al computador. 2.2. y) = Γ(x + y) produce (2. Una integral que no aparece en Gradshteyn y Ryzhik. 0. Esta identidad es una generalizaci´ on de (2.1) . Lo que nos sorprendi´o fue que la evaluaci´on de Z ∞ dx (2.1).8) If Re[m] > − 2 . . esto es s´ olo una versi´ on mecanizada de lo antiguo: preguntarle al profesor.

m) est´ a dada por π (2. m) = m+3/2 Pm (a). Se require algo mejor. l=0 La expresi´ on anterior para Pm nos da (2. Nos tom´o un buen tiempo encontrar una demostraci´on adecuada.4 (a. Los coeficientes de Pm (a) ser´an denotados por dl (m). Al preguntar a otros matem´aticos. m−k j l−j dl (m) = Es dif´ıcil probar propiedades sobre los dl (m) a partir de una expresi´on tan fea como ´esta.5) N0.7)    l m−l m X X X 2m + 1 (−1)k−l−s 2k k 2(s + j) 23k j=0 s=0 k=s+l     m−s−j s+j k−s−j × .2.4 (a.4 (a. En el resto de la secci´on cuento lo que hicimos. buscamos otras formas de evaluar la integral. k − 1) ck .6) Pm (a) = m X dl (m)al . se ve que dl (m) > 0. 2 (a + 1)m+1/2 donde Pm (a) es un polinomio con coeficientes racionales. En Moll (2002) he escrito sobre ´el y sobre c´omo me inicio en el c´ alculo de las integrales. (2. k π 2 k=1 .3. Teorema 2. A partir de un listado simb´olico. c) alrededor de c = 0 est´ a dada por q ∞ √ √ 1 X (−1)k−1 (2. siempre nos dec´ıan que esto es f´acil si uno sabe funciones hipergeom´etricas. m−k Este fue uno de los primeros resultados que encontr´e con mi estudiante y colaborador George Boros. La expansi´ on en serie de Taylor de la funci´ on f (a. La primera expresi´ on que encontramos para este polinomio fue  m−j m  X X m − j  2m + 1 j Pm (a) = (a + 1) 2j k j=0 k=0   2(m − k) −3(m−k) × 2 (a − 1)m−k−j . Como nosotros no sab´ıamos sobre esto. Una variaci´ on de la demostraci´on complicada de la f´ormula de Wallis presentada en la secci´ on anterior conduce al siguiente teorema. es decir. En Boros y Moll (2001) una relaci´on entre estos p presentamos √ polinomios y la funci´ on f (a.8) a+ 1+c= a+1+ √ N0.15 no apareciera el la tabla de Gradshteyn y Ryzhik (2000) ni se pudiera lograr usando un lenguaje simb´olico. La integral N0. c) = a + 1 + c. Teorema 2.

Ahora encontramos una recurrencia para los polinomios Pm (a). 4m(a2 − 1) 4m(a2 − 1) donde Z (2.10) 1 2 y β = −(m + 12 ). La demostraci´on usa teoremas de Ramanujan y se puede consultar en Boros y Moll (2004). c). + 2ax2 + 1)m+1 .12) −1/m = CV + BV 0 .4 (a.4 (a.β) (−1) Pm (a) := m−k k 2 k=0 con par´ ametros α = m + (2. El argumento presentado aqu´ı est´a basado en un m´etodo de Hermite para integraci´ on indefinida de funciones racionales. Los coeficientes dl (m) est´ an dados por     m X m+k k −2m k 2m − 2k (2.4) son esencialmente los coeficientes de Taylor de f (a.16 Las integrales cu´ articas N0. cap´ıtulo 7.4 (a.4 (a.12) entre V m+1 (x) e integrando de 0 a ∞ se encuentra   1 − 2a2 (4m − 3)a N0.4 (a. m − 1). donde encontramos que los polinomios Pm (a) son parte de la familia de Jacobi     m X m+k+α+β a+1 k m−k m + β (α. Una de las consecuencias de esta expresi´ on es una f´ormula expl´ıcita para los coeficientes dl (m). 2 m−k m l k=l (2. Muy raro. m) = 1 + N0.4.β) 2(m + 1)(m + α + β + 1)(2m + α + β)Pm+1 (a) =  (α. m) = 0 ∞ (x4 x2 dx . Esto produjo Boros y Moll (2000). Bronstein (1997) describe esto en detalle. Es decir. Un simple c´ alculo nos entrega  1 1 1 B(x) = − (1 − 2a2 )x − ax3 y C(x) = − 2 4m a − 1 m  1+  a 2 x . Se nota que V (x) = x4 + 2ax2 + 1 y su derivada V 0 (x) no tienen factores comunes. m − 1) + N1. Los polinomios de Jacobi satisfacen la relaci´on de recurrencia (2.9) nos hace sospechar que la integral de donde provienen los polinomios Pm (a) pueda ser evaluada con base en la funci´on hipergeom´etrica. (m+1/2.9) dl (m) = 2 .11) (α.13) N1. Corolario 2.β) (2m + α + β + 1) (2m + α + β)a + α2 − β 2 Pm (a) (α. m) (2.−m−1/2) Pm (a) = Pm (a).β) −2(m + α)(m + β)(2m + α + β + 2)Pm−1 (a). a2 − 1 Dividiendo (2. El algoritmo de Euclides permite encontrar polinomios B y C tales que (2.

m) y Pm (a) obtenemos el resultado que sigue. a pesar de su apariencia. se tiene ν2 (dl (m)) = −2m + ν2 (el (m)) ≥ −2m. Esto nos dice que ν2 (el (m)) ≥ l. para l > 0. Dado un n´ umero racional positivo x y un n´ umero primo p. m − 1) 4m(a2 − 1) (4m − 3)a d − N0.3. 8m(m − 1)(a2 − 1) da Reemplazando la relaci´ on entre N0. La expresi´on     m X k m+k −2m k 2m − 2k (2. Los polinomios Pm (a) satisfacen Pm (a) = + (4m − 3)a(a + 1) d (2m − 3)(4m − 3)a Pm−2 (a) − Pm−2 (a) 4m(m − 1)(a − 1) 2m(m − 1)(a − 1) da 4m(a2 − 1) + 1 − 2a2 Pm−1 (a). x = (a/b)pm .7.17 Esta recurrencia se puede escribir de la forma   1 − 2a2 (2.1) dl (m) = 2 2 l m m−k k=l muestra que dl (m) > 0 y dl (m) ∈ Q. Teorema 2.2) νp (dl (m)) = νp (el (m)) ≥ 0.4 (a. La . 2m 2m + 3 Usarlos para confirmar que el lado derecho del Teorema 2. m ∈ Z y a.4 (a. Ejercicio 2. Encontrar los valores   4m + 1 m(m + 1) 0 (2. m − 2).11) cuando uno usa α = m + 21 y β = −(m + 21 ). El n´ umero m se llama la valuaci´ on p-´ adica de x y se escribe m = νp (x) ¿Qu´e se puede decir sobre νp (dl (m))? Si consideramos el (m) = 22m dl (m). Esto nos da (2.4 (a. 2.5 es. Propiedades aritm´ eticas de los coeficientes. b ∈ Z no son m´ ultiplos p. se sabe que νp (el (m)) ≥ 0. en el (m) cada t´ermino tiene un factor (a lo menos) 2l . un polinomio en a. todos los t´erminos en la suma el (m) son pares. Confirmar que los polinomios Pm (a) no satisfacen la recurrencia (2. Adem´as. entonces ν2 (dl (m)) = −2m + ν2 (el (m)). m) = 1+ N0.14) N0.4 (a. En el caso l = 0. Examinando el caso p = 2 con m´as cuidado se ve que.15) Pm (1) = 2−2m y Pm (1) = Pm (1). el denominador es una potencia de 2. Explicar lo que est´ a ocurriendo. y en el caso que p = 2.5. Como el (m) ∈ N. 2m(a − 1) Ejercicio 2. si p 6= 2.6.

Se concluye que al menos ν2 (dl (m)) ≥ −2m + 1 ¿Qu´e m´as se puede decir? Despu´es de mucho experimentar.m := l! m! 2m+l dl (m).m ) son interesantes. Partimos de un dibujo de ν2 (A1 (m)).6) ν2 (Al.10. Ejercicio 2. Si ahora graficamos la funci´on ν2 (Al. La valuaci´on 2-´adica de A1 (m) para 1 ≤ m ≤ 61. Demuestre que ν2 (Cm ) = 1 precisamente cuando m es una potencia de 2.2m−1 ) = ν2 (Al.2m ). Demuestre que para un primo p. Moll y Shallit (2001).2m ).18 u ´nica excepci´ on podr´ umero es el coeficiente binomial  ıa ser el primero. Esta es una f´ ormula de Legendre (1830) que debiera ser m´as conocida. Se reconoce que la funci´ on ν2 (A1. Este n´ ´ es siempre par. La valuaci´on 2-´adica de A1 (2m) para 1 ≤ m ≤ 31. nos dimos cuenta que conviene definir la funci´ on Al. Adem´ as. En particular.3) = + =2 . El m         2m 2m − 1 2m − 1 2m − 1 (2.2m ) = 2 + ν2 (m). se tiene (2. m m m−1 m Ejercicio 2.4) Las funciones ν2 (Al.8.5) ν2 (A1. Teorema 2. es decir. ya que central Cm := 2m . El pr´oximo teorema apareci´ o en Boros. los valores satisfacen ν2 (Al.2m−1 ) = ν2 (Al.2m ) est´a relacionada con ν2 (m).8) ν2 (m!) = m − s2 (m). Figura 1. Se observa que la figura tiene estructura de bloque. p−1 donde sp (m) es la suma de los d´ıgitos de m escrito en base p.2m est´ a dada por (2. la valuaci´on p-´adica del factorial es m − sp (m) (2. La valuaci´ on 2-´ adica del t´ermino A1. (2. Figura 2.9. (2.2m ) (para evitar repeticiones) obtenemos la Figura 2.7) νp (m!) = . .

Manna y Moll (2007). ahora con per´ıodo 4. A partir de esto. La valuaci´on 2-´adica de A2 (m) para 1 ≤ m ≤ 60.2m . (2. Estos dos ejemplos alimentan la esperanza de obtener una f´ormula expl´ıcita para ν2 (Al.m ) = ν2 ((m + 1 − l)2l ) + l. fue grato demostrar el siguiente resultado en Amdeberhan. tenemos que   m+1 + s2 (m). Figura 4. donde (a)j = a(a + 1)(a + 2) · · · (a + j − 1) es el s´ımbolo de Pochhammer. Por ejemplo. La valuaci´on 2-´adica de A59 (m) para 59 ≤ m ≤ 196. l ≥ 2.m . Adem´ as. Hemos agrandado el rango para ver mejor. Teorema 2.11. uno conjectura que (2.10) ν2 (A2 (4m)) = ν2 (m) + 5.11) ν2 (Al.m ) es una funci´ on peri´ odica de per´ıodo 21+ν2 (m) . La situaci´on es algo m´as complicada de lo que uno espera. Dada la complejidad de estas figuras.m ). Nuevamente se observa una estructura de bloque. La valuaci´on 2-´adica de A2 (4m) para 1 ≤ m ≤ 30.19 Volviendo a los coeficientes originales. Figura 5. Hay estructura de bloque de longitud 2. La Figura 3 muestra ν2 (A2. (2.m ).9) ν2 (d1 (m)) = 1 − 2m + ν2 2 Surge entonces el problema de encontrar f´ormulas similares para ν2 (dl (m)). La Figura 4 muestra la valuaci´ on 2-´adica de A2 (4m). Los pr´ oximos dibujos dan una idea general de las valuaciones 2-´adicas de Al. . La valuaci´ on ν2 (Al. La valuaci´on 2-´adica de A2 (2m) para 30 ≤ m ≤ 98. La Figura 6 muestra las valuaciones 2-´adicas de A59. Figura 6. Figura 3. la Figura 5 muestra el caso l = 59.

La representaci´on de los coeficientes dl (m) en (2. La figura 8 muestra el error de este comportamiento lineal. Los experimentos nos dicen que m p−1 m y que el error νp (Al. La desviaci´on del comportamiento lineal para p = 3. Calculando los ceros encontramos algo sorprendente: Todos . La mayor parte del tiempo uno se la pasa sin ideas buenas. Todo esto deber ser estudiado en m´as detalle. Buscando una expresi´ on que fuese eficiente cuando l es peque˜ no en comparaci´on con m. Una de las cosas importantes que se deben aprender es qu´e hacer cuando a uno no se le ocurre nada.m = αl (m) (4k − 1) − βl (m) (4k + 1). Como en mi trabajo aparecen muchos polinomios.m .12) νp (Al. encontramos m m Y Y (2.m ) − p−1 tiene cierta estructura que no es completamente aleatoria. Figura 10. La valuaci´on 3-´adica de A2 (m) para 2 ≤ m ≤ 200. La valuaci´on 5-´adica de A2 (m) para 2 ≤ m ≤ 200. La desviaci´on del comportamiento lineal para p = 5. en la variable m.m ) ∼ k=1 k=1 donde αl y βl son polinomios de grados l y l − 1. Figura 9. Figura 8. Hay un comportamiento peri´ odico en cierta escala. yo me entretengo calculando ceros.9) es eficiente cuando l est´ a cerca de m (hay pocos t´erminos en la suma). Las figuras 9 y 10 muestran datos similares para el primo 5.m para primos impares parece ser mucho mas dif´ıcil. respectivamente. donde se ve un crecimiento lineal. La Figura 7 muestra la valuaci´on 3-´adica de A2. Figura 7. (2.20 El an´ alisis de las valuaciones de Al.13) Al.

U6 = Z 0 ∞ cx10 + (bc + d)x8 + (ac + bd + e)x6 + (c + ad + be)x4 + (d + ae)x2 + e dx. 6 4 2 0 x + ax + bx + 1 3. e) = dx. Extensi´ on del cambio trigonom´ etrico al grado 6.1. pero in´ util. Esto produjo el art´ıculo Little (2005). 3 2 0 (a − b)B + (6 − a − b)B + (b − a)B + (a + b + 2) donde B = cos t. Esto es correcto.1) U6 = dθ. 2005). Denominador 0 .12 (John Little. Funciones con todos sus ceros en rectas verticales atraen la atenci´on de la comunidad. Algo interesante ocurre si uno modifica el denominador Q6 (x) = x6 + ax4 + bx2 + 1 multiplic´ andolo por x6 Q6 (1/x) = x6 + bx4 + ax2 + 1. Las identidades sin2 θ = 1−cos(2θ) y cos2 θ = 2 1+cos(2θ) proveen 2 Z π (c − d + e)B 2 + 2(e − c)B + (c + d + e) (3. Haciendo lo propio con el numerador. c.21 1 ellos est´ an en la l´ınea vertical Re(m) = − m . El cambio de variable usual x = tan θ produce Z π/2 cS 4 + dS 2 C 2 + eC 4 (3. b. Todos los ceros de la familia de polinomios αl satisfacen Re(m) = − 12 .3) U6 = dθ. Demostrar esto require una idea buena: A m´ı se me ocurri´o preguntarle a John Little. Lo mismo ocurre para βl (m). (x12 + 1) + (a + b)(x10 + x2 ) + (a + b + ab)(x4 + x8 ) + (2 + a2 + b2 )x6 ¡Paciencia! El cambio de variable x = tan θ y la multiplicaci´on por cos12 θ arroja Z π/2 Numerador (3. Teorema 2. Hemos partido de una integral que queremos entender y nos encontramos con una integral trigonom´etrica que parecer ser mas dif´ıcil que la original. Ser´ıa interesante ver que ocurre con estas familias cuando uno pasa al l´ımite l → ∞. S 6 + aS 4 C 2 + bS 2 C 4 + C 6 0 donde S = sin θ y C = cos θ. Landen En esta u ´ltima secci´ on discutiremos la extensi´on de las ideas presentadas en las dos primeras a la integral racional Z ∞ cx4 + dx2 + e U6 = U6 (a. d. 3.2) U6 = 2 dt.

6) = 0. que falla cuando la integral original nos es una funci´on racional par. se tiene que Z π (cos t)j dt (3. 4 0 D2 w3 + E2 w2 + F2 w + G2 . Esto resulta de convertir el denominador original en uno sim´etrico. v = cos t. El cambio de variable t = 2θ nos da Z 1 π Av 5 + Bv 4 + Cv 3 + Dv 2 + Ev + F dt.22 donde Numerador = cS 10 + (bc + d)S 8 C 2 + (ac + bd + e)S 6 C 4 + (c + ad + be)S 4 C 6 + (d + ae)S 2 C 8 + eC 10 . mediante cos2 t = 1+cos(2t) . El polinomio en el denominador es par.7) U6 = dt. (3. B = (1/32)(6c + ac − 3bc − 6d + ad + bd + 6e − 3ae + be). D = (1/16)(4c − ac + bc + 2d − ad − bd + 4e + ae − be). Al escribir las identidades para el ´angulo doble en la forma S 2 = C 2 = 1+u 2 . K = (1/64)(4 + 4a + a2 + 4b + 2ab + b2 ). P (cos t) 0 Esto se verifica mediante el cambio de variable t → π − t.4) U6 = Hu6 + Iu4 + Ju2 + K 0 1−u 2 y Los par´ ametros son A = (1/32)(−ac + bc + ad − bc − ae + be). H = −(1/64)(a − b)2 . Se concluye que Z 1 π Bv 4 + Dv 2 + F (3. C = (1/16)(−6c + ac + bc − ad + bd + 6e − ae − be). se obtiene Z π/2 Au5 + Bu4 + Cu3 + Du2 + Eu + F dθ. F = (1/32)(2c + ac + bc + 2d + ad + bd + 2e + ae + be). J = (1/64)(24 + 8a − 3a2 + 8b − 2ab − 3b2 ).7) y haciendo el cambio de variable s = 2t. Denominator = (S 12 + C 12 ) + (a + b)(S 10 C 2 + S 2 C 10 ) + (a + b + ab)(S 8 C 4 + S 4 C 8 ) + (2 + a2 + b2 )S 6 C 6 .5) U6 = 2 0 Hv 6 + Iv 4 + Jv 2 + K con v = cos t. 2 0 Hv 6 + Iv 4 + Jv 2 + K Ahora referimos todo al ´ angulo doble. Este es el primer punto clave de este c´alculo. w = cos s. (3. u = cos(2θ). El segundo punto clave de esta evaluaci´on. Reem2 plazando en (3. E = (1/32)(−4c − ac − 3bc + ad − bd + 4e + 3ae + be). se obtiene Z 1 2π A2 w2 + B2 w + C2 (3. es el siguiente : Si j es un entero impar y P es un polinomio par. I = (1/64)(36 − 12a + 3a2 − 12b − 2ab + 3b2 ).8) U6 = ds.

concluimos que Z 1 π A2 w 2 + B 2 w + C 2 (3. 2 0 D2 w3 + E2 w2 + F2 w + G2  Mediante el cambio de variable usual r = tan 2s y recordando que cos s = 1−r2 2 dr y ds = 1+r 2.1. F2 = (1/64)(240 − 16a − 3a2 − 16b − 10ab − 3b2 ). E2 = (1/64)(72 − 24a + 3a2 − 24b + 2ab + 3b2 ). R 2π Rπ Rπ Por periodicidad y simetr´ıa del coseno. Dividiendo todo por G3 y haciendo el cambio de variable  1/6 G3 (3. S´olo nos falta normalizar los coeficientes del denominador. los par´ ametros se expresan como A3 = 2(2c + ac + bc + 2d + ad + bd + 2e + ae + be). w = cos s.9) U6 = ds. C2 = (1/16)(30c + ac + 5bc + 10d + ad + bd + 30e + 5ae + be). B2 = (1/8)(14c − ac − bc − 2d − ad − bd + 14e − ae − be). G3 = 64. D2 = −(1/64)(a − b)2 . D3 = 4 + 4a + a2 + 4b + 2ab + b2 . Los detalles dados aqu´ı aparecieron originalmente en Boros y Moll (1999). G2 = (1/64)(200 + 40a + a2 + 40b + 6ab + b2 ). Teorema 3. e) := 0 ∞ cx4 + dx2 + e dx x6 + ax4 + bx2 + 1 . F3 = 96 + 16a + 16b. Hemos vuelto a la forma original de la integral U6 . c. B3 = 2(12c + 4bc + 8d + 12e + 4ae). La integral Z (3. E3 = 36 + 20a + 20b + 4ab. d. 1+r2 Z ∞ A3 r 4 + B 3 r 2 + C 3 dr. C3 = 32c + 32e.12) U6 (a.11) r= z D3 se produce el resultado siguiente.10) U6 = 6 4 2 0 D3 r + E3 r + F3 r + G3 Ahora.23 Los par´ ametros est´ an dados por A2 = (1/16)(6c + ac − 3bc − 6d + ad + bd + 6e − 3ae + be). 0 · · · = −π · · · = 2 0 · · · . b. (3.

La denotaremos por (3. la expresi´on a + b + 2. b) ∈ R2 : U6 (a. 2 Ella preserva el valor de la integral el´ıptica Z π/2 dθ p (3.14). Pasando al l´ımite en la identidad G(an . a+b+2 c+e . nos dimos cuenta que ten´ıamos una versi´on racional de la transformaci´ on de Landen √ a+b (3. (a + b + 2)1/3 Esta transformaci´ on de los par´ametros se llamar´a transformaci´ on racional de Landen. Este l´ımite com´ un se llama promedio aritm´eticogeom´etrico y se denota por AGM(a. d. (a + b + 2)2/3 c+d+e . n→∞ n→∞ (b) Existe un n´ umero real L = L(a. Cuando encontramos las transformaciones (3.2. Teorema 3. b. b) = .19) dx = dx. (a) l´ım an = l´ım bn = 3 y. adem´ as. que aparece en los radicales.16) a1 = .14). b. 6 4 2 6 4 2 0 x + ax + bx + 1 0 x + an x + bn x + 1 .13) y (3. 2 AGM(a. b).13) a1 = b1 = c1 = d1 = e1 = (3. b1 = ab. c. b). Lo mismo ocurre en (3. b) ∈ Λ6 . n→∞ Pasando al l´ımite en la identidad Z ∞ Z ∞ cn x4 + dn x2 + en cx4 + dx2 + e (3. es siempre positiva. 2 2 0 a cos θ + b2 sin2 θ Iterando (3. d. d. Λ6 = {(a. se obtiene π (3. bn ) = G(a. Supongamos que los valores iniciales de las sucesiones generadas por (3.13) y (3. supongamos que (a.15) Φ6 : Λ6 ⊂ R5 → R5 . bn ) y es f´acil probar que l´ımn→∞ an = l´ımn→∞ bn . c. b) = . La convergencia es cuadr´atica. b) Esto proporciona un m´etodo num´erico para evaluar la integral el´ıptica G(a. e) tal que l´ım cn = l´ım en = L y n→∞ n→∞ l´ım dn = 2L. (a + b + 2)2/3 (b + 3)c + 2d + (a + 3)e . e) es finita }.17) G(a. Entonces.14) ab + 5a + 5b + 9 . No es dif´ıcil de ver que en la regi´on Λ6 del plano a − b. c. (a + b + 2)4/3 a+b+6 .13) y (3.16) produce una sucesi´on doble (an .24 es invariante bajo el cambio de par´ ametros (3. b.18) G(a. Es decir. b). e) es finita.14) son tales que la integral U (a.

Z ∞ (3. La Figura 11 muestra los primeros 5. esto nos da un m´etodo num´erico para evaluar la integral racional. Esto necesita ideas nuevas. b) tal que la integral U6 (a. la situaci´on es mucho m´as compleja. ||cn+1 − L|| ≤ C||cn − Lk2 . −∞ donde y R+ (y) = R(σ+ (y)) + R(σ− (y)) y R− (y) = p (R(σ+ (y)) − R(σ− (y)) .3) I= (R+ (y) + R− (y)) dy. Dividiendo la integral en Z 0 Z ∞ (3. Iteraci´on de Φ6 partiendo bajo el resolvente. Partimos de la integral racional par Z Z ∞ 1 ∞ R(x) dx.14).000 valores de la trayectoria de un punto inicial fuera de la regi´on de convergencia de la integral. Cuando esta integral diverge (porque el polinomio en el denominador tiene ra´ıces reales positivas).20) 0 ∞ cx4 + dx2 + e πL dx = . Ahora presentamos una interpretaci´ on geom´etrica de la transformaci´on racional de Landen (3. presentamos los detalles con cotangente en lugar de tangente.13) describen un sistema din´amico en el plano. Figura 11.3 (Iteraci´ on de Φ6 fuera de la regi´on de convergencia).25 obtenemos Z (3. 3.2) I= R(x) dx + R(x) dx −∞ 0 y poniendo x = σ+ (y) en la primera y x = σ− (y) en la segunda integral. (3. Las ramas de la inversa son x = σ± (y) = y ± y 2 + 1. 2 y +1 . Uno debe relacionar tan 2θ y tan θ. que uno puede estudiar en forma independiente a las integrales. La trayectoria de un punto inicial (a. b. que fueron descritos para encontrarla. se puede hacer en un solo paso.2. d. Las transformaciones (3. Por razones hist´ oricas (esto es lo que hicimos primero). Una interpretaci´ on geom´ etrica. es decir.13. Al igual que en el caso el´ıptico. 3. e) es finita se describe en detalle en la pr´ oxima secci´ on. 6 4 2 x + ax + bx + 1 2 La convergencia es cuadr´ atica. Nota 3. motivados por la identidad cot 2θ = R2 (cot θ). Lapfunci´on R2 : R → R es 2 : 1.1) I= R(x) dx = 2 −∞ 0 2 e introducimos la variable y = R2 (x) = x 2x−1 . c. La serie de cambios de variables.

σk : U → X las secciones de π. El cambio de variables y = R2 (x) convierte el diferencial meromorfo ϕ = R(x) dx en dσ+ dσ− R(σ+ (y)) + R(σ− (y)) dy dy y(R(σ+ ) − R(σ− )) p (R(σ+ ) + R(σ− )) + y2 + 1 = = ! dy (R+ (y) + R− (y)) dy. . . En t´erminos simples. las σj se pueden pensar como las inversas de π. Se define k . Se parte de un recubrimiento ramificado finito π : X → Y de superficies de Riemann y un diferencial meromorfo ϕ en X. . Sea U ⊂ Y un dominio simplemente conexo que no contiene ning´ un punto cr´ıtico de π y sean σ1 .26 Un c´ alculo directo muestra que R+ and R− son funciones racionales a lo m´ as del grado de R. La situaci´ on general es como sigue. .

X .

π∗ ϕ.

entonces π∗ ϕ se puede escribir en la forma R1 (z) dz.1) cot mθ = Rm (cot θ).1 se puede extender a la transformaci´on racional Rm definida por la identidad (3.3) son iguales. = σj∗ ϕ. y ϕ = R(z) dz. Una generalizaci´ on. El procedimiento descrito en la Secci´on 3. es arbitrario. El n´ umero m ∈ N.5) π∗ ϕ = ϕ. γ π −1 γ En el caso especial del espacio proyectivo. si ϕ es una forma anal´ıtica en X entonces π∗ ϕ es una forma anal´ıtica en Y . Esta es la generalizaci´ on del hecho que las integrales (3. para cada curva rectificable γ en Y . Lema 3.4. donde R1 una funci´ on racional de grado a lo m´ as el grado de R. es decir. Adem´as. se tiene Z Z (3. Ahora presentamos propiedades elementales de Rm .3. 2j + 1 . donde   bm/2c X j m Pm (x) = (−1) xm−2j y 2j j=0 b(m−1)/2c Qm (x) = X j=0 j (−1)   m xm−(2j+1) . La funci´ on racional Rm satisface: (a) Para m ∈ N. Rm = Pm /Qm . R funci´ on racional.5. 3. se obtiene lo siguiente. m ≥ 2.4) U j=1 En Hubbard y Moll (2003) demostramos que esta construcci´on preserva las 1-formas diferenciales anal´ıticas.1) y (3. (3. Proposici´ on 3. Si π : P1 → P1 es anal´ıtico.

El algoritmo produce una nueva lista de coeficientes. . a su vez. los coeficientesel de H(x) son. vista como un recubrimiento ramificado de P1 . Rm (xp )). .27 (b) La funci´ on Rm es conjugada a fm (x) = xm v´ıa M (x) = decir. l=0 H est´ a definido como el determinante de la matriz de Sylvester formada con los coeficientes de estos polinomios. En particular. Se escoge un n´ umero entero positivo m. . Pm (z) − xQm (z)) = p X el xp−l . garantiza la existencia de otra funci´on racional R(1) . qk = cot m x+i x−i .2) dx = dx.3) Los detalles aparecen en Manna y Moll (2007). x2 . con los cuales uno produce una nueva funci´ on racional R(1) (x) = J(x)/H(x) que satisface Z ∞ Z ∞ B(x) J(x) (3.4 aplicado a la funci´ on π(x) = Rm (x). Paso 2. kxn+1 − x∞ k ≤ Ckxn − x∞ km . Ppcon coeficientes Pyp−2 p−k Escribimos A(x) = k=0 ak x y B(x) = k=0 bk xp−2−k . Paso 1. Rm (x2 ). −∞ A(x) −∞ H(x) La iteraci´ on de este procedimiento produce una sucesi´on xn . Rm = M −1 ◦ fm ◦ M . (3. que tiene un l´ımite x∞ con convergencia de orden m. · · · . Se supone que A y B son polinomios reales que A no tiene ceros reales. La u ´nica restricci´ on es que la integral de R en la recta real debe ser finita.5) el = (−1)l am 0 p Y (p) Qm (xj ) × σl (Rm (x1 . (3. La funci´ on racional inicial es R(x) = B(x)/A(x). xp } son los ceros de A. Como tal. es Ahora describiremos un algoritmo que produce una transformaci´on racional de Landen para una funci´on racional arbitraria R(x) = B(x)/A(x). El Lema 3.4) H(x) = Resz (A(z). contados de acuerdo con la mul(p) tiplicidad. Expl´ıcitamente. se muestra que todo se puede calcular en forma simb´olica. Las funciones σl son las funciones sim´etricas elementales en las . es decir. El problema del c´alculo eficiente de los coeficientes de R1 se presenta m´as adelante. Se define el polinomio resolvente (3. polinomios en las variables ai con coeficientes enteros. Paso 3. j=1 donde {x1 . (c) Los polinomios Pm y Qm tienen ceros reales dados por   (2k + 1)π para 0 ≤ k ≤ m − 1 y pk = cot 2m   kπ para 1 ≤ k ≤ m − 1. .

7) E(x) = H(Rm (x)) × Qm (x)p . l=1 l=0 Los coeficientes el se pueden calcular simb´olicamente a partir de los coeficientes de A. Se define el polinomio C(x) = B(x)Z(x).6) p Y (y − yl ) = p X (p) (−1)l σl (y1 . Definamos (3. La condici´ on b2 − 4ac < 0. sin calcular los ceros de A. Paso 6. ∆ donde ∆ = (3a + c)(a + 3c) − b2 . A(x) H(x) −∞ −∞ Esta es la nueva funci´ on racional cuya existencia est´a asegurada por el Lema 3. bn ). nos da bn ≤ bn+1 ≤ an+1 ≤ an . Supongamos que 0 < b0 ≤ a0 .28 p variables definidas por (3. El polinomio A divide a E con cociente Z. tal que Z ∞ Z ∞ B(x) J(x) (3. La integral Z (3. · · · . Las f´ormulas se pueden ver en Manna y Moll (2007).16). √ 2 ( an + bn )2 . Los detalles aparecen en Manna y Moll (2007a). Paso 4. Esta es la transformaci´ on racional de Landen de orden m. ∆  b b 7→ 3(a − c)2 − b2 . 3. la desigualdad entre el √ promedio aritm´etico (a + b)/2 y el promedio geom´etrico ab de un par de numeros. Paso 5. Todo es expl´ıcito. Teorema 3.6. ∆  c c 7→ (3a + c)2 − 3b2 . que aparece en la transformaci´on el´ıptica de Landen (3.4. impuesta para asegurar la convergencia de la integral. es f´ acil de demostrar. El algoritmo con m = 3 y R(x) = ax2 +bx+c siguiente resultado. (3.7. yp )y p−l . cuyos coeficientes poseen una f´ormula expl´ıcita en t´erminos de los coeficientes cj de C(x). Adem´as.9) ∞ I= −∞ ax2 dx + bx + c es invariante bajo la transformaci´ on  a a 7→ (3. La convergencia de la sucesi´on doble (an . El problema de la convergencia.8) dx = dx. Existe un polinomio J(x).4. Los coeficientes de Z son polinomios en los ai con coeficientes enteros. 1 produce el Ejemplo 3.10) (a + 3c)2 − 3b2 .1) 0 ≤ an+1 − bn+1 = 1 (an − bn )2 √ . es preservada por la iteraci´ on.

· · · . Caso 1.2) para una constante C > 0 independiente de m. P (x) = k=0 bk x Pp 2(p−k) .29 Esto demuestra que an y bn tienen un l´ımite com´ un M = AGM(a.7) l´ım (π∗ ) ϕ = n→∞ π 1 + z2 −∞ donde la convergencia es uniforme en los subconjuntos compactos de U . ap−1 ) ∈ R : R(x) dx es finita . · · · . que depende de las condiciones iniciales. L . · · · . Por simplicidad escribiremos a := (a1 . 0 1 p−1 Esto es equivalente a decir que la sucesi´ on de funciones racionales formadas por la transformaci´ on de Landen converge a L/(x2 + 1). La regi´ on Λ2p es invariante bajo Φ2p .3) Λ2p = (a1 .4) (an .8. bn−1 ) son las iteraciones de Φ2p . Sea R(x) una funci´on racional par esPp−1 2(p−1−k) . La transformaciones racionales de Landen producen funciones en el espacio de los coeficientes de la integral. El espacio de par´ ametros 0 p k=0 ak x + esP2p = {(a1 . ap−1 . Esto fue establecido en Hubbard y Moll (2003) usando la interpretaci´on geom´etrica de las transformaciones de Landen. tal que        p−1 p−1 p−1 (3. (3.9. el promedio aritm´etico-geom´etrico de a y b. bn = (b0 . ∞).··· . La convergencia es cuadr´atica. normalizada por a = a = 1. Q(x) = crita en la forma R(x) = P (x)/Q(x). la vecindad en la definici´ on de π∗ .       p p p (3. Teorema 3. 0 Se observa que la convergencia de la integral s´olo depende de los par´ametros en el denominador. bp ). Usaremos la notaci´ (n) (n) (n) (n) an = (a1 . es decir: |an+1 − M | ≤ C|an − M |2 . 1 2 p−1 y existe un n´ umero L. Z ∞  dz 1 n ϕ . · · · . bp−1 ) ∈ Rp−1 × Rp .6) bn → L. · · · . · · · . · · · . Teorema 3. Adem´ as. La semirrecta [0. El resultado que uno espera es el siguiente. Es conveniente dividir la discusi´ on en dos partes. · · · . L. En esta secci´on presentamos lo que sabemos sobre la convergencia para el caso racional. . ap−1 ) y b := (b0 . Sea ϕ una forma diferencial anal´ıtica en una vecindad de R ⊂ P1 . Definamos Z ∞ n o p−1 (3. La transformaci´on de Landen produce una fun+ ci´ on Φ2p : P+ on 2p → P2p que preserva la integral. Entonces.5) an → . bp ). (3. b). b0 . . de tal suerte que (3. ap−1 ). bn ) = Φ2p (an−1 .

b(s) = 4s . b) es finita.9) ϕ(s) = s(s + 2)2 da la imagen de la transformaci´on de Landen Φ6 . Las iteraciones de las transformaciones de Landen que parten de (a0 .8) R(a. adem´ as. la regi´ on Λ6 est´ a descrita por la curva discriminante R. Teorema 3. Tambi´ en imponemos la condici´on deg(dcm(A. Se concluye que las iteraciones de Φ6 que parten de (a. Este teorema se puede reescribir de la forma siguiente.8) si y s´ olo 2p convergen (al l´ si la integral en los valores iniciales es finita. b) = 4a3 + 4b3 − 18ab − a2 b2 + 27. 3). Esta curva es. Teorema 3. contiene el punto c´ uspide (3.11. Este resultado es la correspondencia perfecta del AGM para el caso racional. Examinando el efecto de esta transformaci´on en las l´ıneas de pendiente −1. Esto ha sido hecho s´olo para el caso p = 3. En parP ticular. 3) y la segunda. Este conjunto tiene dos componentes conexas. La identidad R(a1 . Entonces  2 1/3 4(s + 4)2 (3. es decir. b1 ) = (a − b)2 R(a. b)/(a + b + 2)4 muestra que ∂R es invariante bajo Φ6 . b(s)) = (a(ϕ(s)). Caso 2. que A no tiene ceros reales y que deg(B) R ∞≤ deg(A)−2. La primera.10. Estas condiciones garantizan la existencia de la integral I = −∞ R(x)dx. La rama R− es la frontera del conjunto Λ6 . dn . La recta real. Φ6 (a(s). Para U6 . Adem´ as. en ) → (1. bn ) → (3. pero se extiende sin dificultad a Rm (z). k=0 bk x . Suponemos que los coeficientes de A y B son reales. con ecuaci´on R− (a.30 La demostraci´ on de Hubbard y Moll (2003) se da para el caso de π(z) = z 2 −1 2z = R2 (z). 1)L. La funci´ on Φ6 tiene tres puntos fijos. 2. En Chamberland y Moll (2006) demostramos lo siguiente usando s´olo t´ecnicas din´ amicas. La rama inferior de la curva discriminante es Λ6 . (an . se obtiene una parametrizaci´on directa del flujo en la curva 3 s3 +16 discriminante. un punto de silla P2 en la rama inferior R− de la curva discriminante y un tercer punto inestable ubicado bajo esta rama. a saber : (3. que es superatractivo. b) = 0. A debe ser de grado par. R− . la variedad inestable global del punto de silla P2 . no interseca al primer cuadrante. b(ϕ(s)). Primero se elige un n´ umero entero positivo m. 3) cuadr´ aticamente y existe un n´ umero L tal que (cn . Sea R(x) = B(x)/A(x) una funci´on racional. b) convergen si y s´ olo si la integral U6 formada con los par´ ametros (a. B)) = 0. Ser´ıa interesante establecer este resultado usando solamente t´ecnicas de sistemas din´ amicos. que corresponde al conjunto de ceros del polinomio (3. b0 ) ∈ P+ ımite dado en el Teorema 3. R+ . Escribimos A(x) = pk=0 ak xp−k y B(x) = Pp−2 p−2−k . Esta curva est´a parametrizada por a(s) = s s+4 2 .

−1 p−2 p−1 a0 −∞ xp + a−1 + · · · + a−1 + a0 a2 x 0 ap 0 a1 x La transformaci´ on de Landen genera una sucesi´on de coeficientes (3. R(x) dx = (3.10) −∞ −∞ Estas transformaciones Lm. Uno puede partir de aproximaciones de Pade. b0 .14) kxn+1 − x∞ k ≤ Ckxn − x∞ km . (n) ! (n) (n) (n) (n) (n) bp−2 a1 a2 ap b1 b2 (3.n := {a0 . (3.0 = Pp .p (R(x)). 0.16) kvk2 = √ kvk k2 .p : Pp → Pp simplemente listando los coeficientes de la funci´ on Lm. La convergencia de una sucesi´on de vectores que tiende a 0 se mide en la norma de L2 . indexada por m ∈ N. (n) (n) a0 a0 a0 b0 b0 b0 converge a (3. a1 . · · · .14). con Pp. . · · · . 2 q 1 2 q−1 1 q = p/2. · · · . Adem´ as. y en especial la cota (3. . 2p − 2 k=1 y tambi´en en la norma de L∞ . (n) . 0. 0.31 La clase de las funciones racionales que cumplen estas condiciones se llamar´ a Rp . puede establecerse por el argumento presentado en la secci´on 3. cuando n → ∞. La invariancia de la integral demuestra que (3. se debe tener que (3. Lm.p inducen una transformaci´ on racional de Landen en el espacio de par´ ametros.··· . El algoritmo presentado la Secci´on 3. tal como arriba.13) x∞              q q q−1 q−1 q−1 q . !1/2 2p−2 X 1 (3.2. Esto produce un m´etodo iterativo para calcular la integral de una funci´on racional. . De hecho.··· . Φm.11) (n) (n) (n) (n) (n) Pp.17) kvk∞ = Max {kvk k : 1 ≤ k ≤ 2p − 2 } . bp−2 } = Rp+1 × p−1 R de R ∈ Rp que preserva la integral I. . b1 . Problema. (n) . . a1 .p (R(x)) dx.15) (n) (n) b0 /a0 → 1/πI. · · · . ap(n) . La convergencia de estas iteraciones. · · · . (n) . tal que Z ∞ Z ∞ tLm. La integral original se escribe en la forma Z p−3 + b−1 b xp−4 + · · · + b−1 b b0 ∞ xp−2 + b−1 0 b1 x 0 2 0 p−2 I= dx.12) xn := . El orden de convergencia m es elegido por el usuario. . bp−2 } . b1 . (n) . Extender este algoritmo a una funci´on arbitraria.3 nos entrega una transformaci´ on de los par´ ametros Pp := {a0 . := 0. hemos construido una familia de transformaciones. ap . Uno espera que. b0 . · · · .p : Rp → Rp .

Tambi´en observamos convergencia cuadr´atica en las normas L2 y L∞ .338358 0. .2609 × 10−16 8. Esto aparece en la columna bajo la palabra Porte.41100 0.360422 0.09651 × 10 1. la tercera columna da el error relativo en (3.03511 8 2 1.859941 23 3 0. 3 y 4. aplicadas al ejemplo Z ∞ I= −∞ x4 + 14x3 3x + 5 7π dx = − .197044 69 4 0.59237 × 10−71 5634 Tabla 2.86286 × 10 1878 7 1.83067 0.411437 0. la segunda entrega su norma L∞ .41858 1.75969 × 10−8 1.22843 × 10−70 8.24568 × 10−8 1.00842346 0.04691 5.92454 × 10−8 2.81592 2. Las tablas siguientes ilustran las iteraciones de transformaciones racionales de Landen de orden 2.05016 × 10−8 5. M´etodo de orden 2.00815475 0.15092 41 5 0.0823 × 10−16 1.02060 5 2 7.02510 × 10 3.000256824 0.0189903 164 7 0.000299728 0.04473 10 3 4. en el m´etodo de orden 2 se observa convergencia cuadr´atica.64324 1.262511 82 6 0.97988 1.0249128 0.64059 × 10−9 626 −23 −23 −24 6 1. Como chequeo del algoritmo.47053 × 10−8 659 9 1.0298892 0.7171 69.945481 18 4 1.36256 0.15) y la u ´ltima columna presenta el porte del integrando. n norma L2 norma L∞ Error Porte 1 58.12238 × 10−70 1.2207 20. n norma L2 norma L∞ Error Porte 1 15. verificamos en cada paso que la integral de la funci´on racional es −7π/12.2207 × 10−17 1318 Tabla 1.32 Las funciones racionales que aparecen como integrandos tienen coeficientes racionales. Como medida de su complejidad hemos tomado el m´aximo n´ umero de d´ıgitos de estos coeficientes.1000 1.2945 1. El porte de los coeficientes se duplica en cada iteraci´on. 2 + 74x + 184x + 208 12 La primera columna da el valor de la norma L2 de un − u∞ . Como se espera. M´etodo de orden 3.444927 9.0000362352 327 8 1.00597363 208 5 5.

Moll.0189903 164 4 1. C. 1st edition. Peters. 37–50. 337–344. estudiante de tesis de Tulane University. J. (2003) Mathematics by Experiment: Plausible reasoning in the 21-st century. E. Boros. (2001) The 2-adic valuation of the coefficients of a polynomial. T. 1st edition. en especial a Roberto Johnson. 83–89. M..64324 1. . Problema: Estudiar transformaciones de Landen en [0. V. Quinto. C. New York. V. V.. Boros. Cambridge University Press. USA.15092 41 3 0. Jour. 130. D. 4.41858 1. 5. (2000) A rational Landen transformation. Bierens de Haan. Peters. 6. The case of degree 6. and Moll. 10. des formules de transformation et des m´ethodes d’´evaluation des integrales d´efinies. 11–13. Asterisque.0298892 0. and Shallit. G. Comp. K. G. Manna.44927 9.96407 × 10−33 2.56817 × 10−33 2637 Tabla 3. Applied Math. H. 3. M. A. Scientia. Referencias 1. Van der Post. Borwein.. Jacobi polynomials and Ramanujan’s master theorem. 361–368. 1e ´edition. V. Comp. D. (2001) The double square root. Reconocimientos Agradezco al Departamento de Matem´aticas de la UCV por su amable invitaci´ on. Bailey. Number Theory: The Mathematics of Leon Ehrenpreis.47053 × 10−8 659 5 3. V. (2005) An elementary evaluation of a quartic integral. des propri´et´es. American Mathematical Society. 12. A. Contemporary Mathematics. H.. (1858) Tables d’integrales d´efinies. edited by Knopp. V. V. Amsterdam. G. G. (1979) Irrationalit´e de ζ(2) et ζ(3). 11. (2007) The 2-adic valuation of a sequence arising from a rational integral. G. Boros. Borwein. Bierens de Haan. Boros. J. Grinberg. and Girgensohn (2004) Experimentation in Mathematics: Computational Paths to Discovery. Analysis.. 7. R. 9. and Moll. T. Applied Math. Scientia. 11. K. S. 2.04473 10 2 1. and Moll. (2004) Irresistible Integrals. S. Amsterdam. Terminamos con un problema completamente abierto.33 n norma L2 norma L∞ Error Porte 1 7. 251. Van der Post. Moll. L. Este trabajo ha sido financiado parcialmente por la subvenci´on DMS 0409968 de la National Science Foundation. ∞) para funciones racionales que contengan un t´ermino impar. D. Berham. and Bailey. 1st edition. por su ayuda con la redacci´ on.. and Moll.. G. 61. M.0249128 0. and Riley. M´etodo de orden 4. Mendoza.249128 × 10−8 1. D. E. 1–12. D. 7. (1999) An integral hidden in Gradshteyn and Ryzhik..92454 × 10−8 2. INTEGERS. Apery. J. G. G. Amdeberhan. and Moll. Geometry. G. Jour. 106. 1e ´edition. Boros..81592 2. (1862) Expos´e de la th´eorie.40769 × 10−33 3. 8. Tambi´en debo agradecer a Luis Medina. Boros..

Scientia. B. D. J. E. Petkovsek. Borwein. Monthly. Part 1: a family of logarithmic integrals. 1. (1997) How to do MONTHLY problems with your computer. Moll. http://germain. J. and Moll. Math. M. 31. D. Comp. Paris. New York. V. Gradshteyn. Bronstein. M. M. (1992) Integrals and Series. Bierens de Hann. 11. Peters Ltd.. A. and Zwillinger. Little. Amer. Vol. Prudnikov. J. V. Osler. P. I. and Moll. 104. 22. A. 17. 18. 19. Notices of the AMS. Discrete and Dynamical Systems. (2005) On the zeroes of two families of polynomials arising form certain rational integrals. 88–114. and Grossman. (1999) The union of Vieta’s and Wallis’ product for pi. 106. F. J. M. J.unemat. 6th edition. and Moll. Vol. A. H. A. 25. V. 1 of Algorithms and Computation in Mathematics.. Stockholm. 905–919. 14. (1830) Th´eorie des Nombres. Nemes. 21. 1st edition. and Sebah. A. B. and Sebah. Math. Lindman. (1998) Using Algebraic Geometry. 27. J. Monthly. 311–317. Springer-Verlag. T. D.. 31–62. (2002) The evaluation of integrals: a personal story. 1–8. Series and Products. 35. Brooks Cole Publishing Co. Princeton University Press. D. Bradley. . 774–776. 1st edition. A. and Marichev. 32. S. Math. I.maine. Monthly. 505– 519. 23. Hubbard. Amer.34 13. 1st edition. 35. Wilf. (2007) Rational Landen transformations on R. (2003) A geometric view of rational Landen transformation. and Zeilberger. (2006) The integrals in Gradshteyn and Ryzhik. O. and Moll. 30. 18. M. Gourdon. Springer-Verlag. 20. 1205–1216. (1912) Critical revision of de Haan’s Tables of Definite Integrals. 49. Klerer.. Graduate Texts in Mathematics 185. 15. X.. F. 36. (2003) A collection of formulas for the Euler constant. 29. Rocky Mountain Journal. (1987) Pi and the AGM-A study in analytic number theory and computational complexity. (2007a) A simple example of a new class of Landen transformations. California. (2000) Table of Integrals. Little. Gordon and Breach Science Publishers. Gourdon. 26. (1990) A dictionary of real numbers. 34.. and Borwein. and O’Shea. and Zeilberger. M. W. Wilf. New York. Manna. Math. 33. 13. Academic Press. D. Indust. 1st edition. X... J. C. 232–244. M. (1998) Representations of Catalan constant. M. Bull. Chamberland. (1968) Error rates in tables of indefinite integrals. Petkovsek. Manna. Edited by Jeffrey. I. M. 34. Math. P. (1997) Symbolic Integration I. (2006) Dynamics of the degree six Landen transformation. P. (2002) The Euler constant γ. Sheldon. D. K. Moll. P. 15. Amer. Brychkov. Norstedt and Soner. V. D. H. P. Havil. 28. and Borwein. Math. P. D. Borwein. and Ryzhik. 293–301. 24. J. V.edu/faculty/bradley/papers/pub. Amer. (1891) Examen des nouvelles tables d’integrales d´efinies de M.. Cox. (1996) A = B. London Math. Soc. Legendre. Firmin Didot Fr`eres. I.html 16. Wiley. 35. V. Transcendental functions. (2003) Gamma: exploring Euler’s constant.

Cambridge University Press. Liber vii. 131. Sondow. (2005) Double integrals for Euler’s constant and ln 4/π and an analog of Hadjicosta’s formula. . 38. Soc. Mag. Vol. Math. Monthly. Math. 39. 71. 436–446. H. (1998) An antisymmetric formula for Euler’s constant. Sondow. 42. J. Vieta. Math. (1992) An algorithmic proof theory for hypergeometric (ordinary and “q”) multi-sum/integral identities. 41. Wilf. and Zeilberger D. Georg Olms Verlag. En Opera Omnia. 1970. 575–633. 61–65. Proc..35 37. Sondow. and Watson. S. Amer. 3335–3344. (2003) Criteria for the irrationality of Euler’s constant. G. 112. (1593) Variorum de Rebus Mathematicis Responsorum. J. F. T. 219–220.. N. Whittaker. E. J. Hildesheim. 40. Amer.. 108. Inv. (1962) Modern Analysis. Math. I.