En matemáticas , la constante de Apéry es un número curioso que aparece en diversas situaciones. Se define como el número ζ(3),
Aproximación de la constante de Apéry mediante su sucesión de sumas parciales.
ζ
(
3
)
=
1
+
1
2
3
+
1
3
3
+
1
4
3
+
…
{\displaystyle \zeta (3)=1+{\frac {1}{2^{3}}}+{\frac {1}{3^{3}}}+{\frac {1}{4^{3}}}+\ldots }
donde ζ es la función zeta de Riemann . Y tiene un valor de
ζ
(
3
)
=
1
,
20205
69031
59594
28539
97381
61511
44999
07649
86292
…
{\displaystyle \zeta (3)=1,20205\;69031\;59594\;28539\;97381\;61511\;44999\;07649\;86292\,\ldots }
Este valor debe su nombre a Roger Apéry (1916-1994), quien en 1977 probó que era irracional . Este resultado es conocido como "Teorema de Apéry". La prueba original es compleja y pruebas más cortas han sido halladas usando los Polinomios de Legendre .
El resultado ha permanecido bastante aislado: poco se sabe sobre ζ(n ) para otros números impares n .
editar
En 1772, Leonhard Euler dio la representación de la serie
ζ
(
3
)
=
π
2
7
[
1
−
4
∑
k
=
1
∞
ζ
(
2
k
)
(
2
k
+
1
)
(
2
k
+
2
)
2
2
k
]
{\displaystyle \zeta (3)={\frac {\pi ^{2}}{7}}\left[1-4\sum _{k=1}^{\infty }{\frac {\zeta (2k)}{(2k+1)(2k+2)2^{2k}}}\right]}
que fue posteriormente redescubierta varias veces, incluyendo Ramaswami en 1934.
Simon Plouffe dio numerosas series, que son notables en cuanto a que pueden dar varios dígitos por repetición. Estas incluyen:
ζ
(
3
)
=
7
180
π
3
−
2
∑
n
=
1
∞
1
n
3
(
e
2
π
n
−
1
)
{\displaystyle \zeta (3)={\frac {7}{180}}\pi ^{3}-2\sum _{n=1}^{\infty }{\frac {1}{n^{3}(e^{2\pi n}-1)}}}
y
ζ
(
3
)
=
14
∑
n
=
1
∞
1
n
3
sinh
(
π
n
)
−
11
2
∑
n
=
1
∞
1
n
3
(
e
2
π
n
−
1
)
−
7
2
∑
n
=
1
∞
1
n
3
(
e
2
π
n
+
1
)
{\displaystyle \zeta (3)=14\sum _{n=1}^{\infty }{\frac {1}{n^{3}\sinh(\pi n)}}-{\frac {11}{2}}\sum _{n=1}^{\infty }{\frac {1}{n^{3}(e^{2\pi n}-1)}}-{\frac {7}{2}}\sum _{n=1}^{\infty }{\frac {1}{n^{3}(e^{2\pi n}+1)}}}
Muchas series sumatorias han sido encontradas, incluyendo:
ζ
(
3
)
=
8
7
∑
k
=
0
∞
1
(
2
k
+
1
)
3
{\displaystyle \zeta (3)={\frac {8}{7}}\sum _{k=0}^{\infty }{\frac {1}{(2k+1)^{3}}}}
ζ
(
3
)
=
4
3
∑
k
=
0
∞
(
−
1
)
k
(
k
+
1
)
3
{\displaystyle \zeta (3)={\frac {4}{3}}\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(k+1)^{3}}}}
ζ
(
3
)
=
5
2
∑
n
=
1
∞
(
−
1
)
n
−
1
(
n
!
)
2
n
3
(
2
n
)
!
{\displaystyle \zeta (3)={\frac {5}{2}}\sum _{n=1}^{\infty }(-1)^{n-1}{\frac {(n!)^{2}}{n^{3}(2n)!}}}
ζ
(
3
)
=
1
4
∑
n
=
1
∞
(
−
1
)
n
−
1
56
n
2
−
32
n
+
5
(
2
n
−
1
)
2
(
(
n
−
1
)
!
)
3
(
3
n
)
!
{\displaystyle \zeta (3)={\frac {1}{4}}\sum _{n=1}^{\infty }(-1)^{n-1}{\frac {56n^{2}-32n+5}{(2n-1)^{2}}}{\frac {((n-1)!)^{3}}{(3n)!}}}
ζ
(
3
)
=
8
7
−
8
7
∑
t
=
1
∞
(
−
1
)
t
2
−
5
+
12
t
t
(
−
3
+
9
t
+
148
t
2
−
432
t
3
−
2688
t
4
+
7168
t
5
)
t
!
3
(
−
1
+
2
t
)
!
6
(
−
1
+
2
t
)
3
(
3
t
)
!
(
1
+
4
t
)
!
3
{\displaystyle \zeta (3)={\frac {8}{7}}-{\frac {8}{7}}\sum _{t=1}^{\infty }{\frac {{\left(-1\right)}^{t}\,2^{-5+12\,t}\,t\,\left(-3+9\,t+148\,t^{2}-432\,t^{3}-2688\,t^{4}+7168\,t^{5}\right)\,{t!}^{3}\,{\left(-1+2\,t\right)!}^{6}}{{\left(-1+2\,t\right)}^{3}\,\left(3\,t\right)!\,{\left(1+4\,t\right)!}^{3}}}}
ζ
(
3
)
=
∑
n
=
0
∞
(
−
1
)
n
205
n
2
+
250
n
+
77
64
(
n
!
)
10
(
(
2
n
+
1
)
!
)
5
{\displaystyle \zeta (3)=\sum _{n=0}^{\infty }(-1)^{n}{\frac {205n^{2}+250n+77}{64}}{\frac {(n!)^{10}}{((2n+1)!)^{5}}}}
y
ζ
(
3
)
=
∑
n
=
0
∞
(
−
1
)
n
P
(
n
)
24
(
(
2
n
+
1
)
!
(
2
n
)
!
n
!
)
3
(
3
n
+
2
)
!
(
(
4
n
+
3
)
!
)
3
{\displaystyle \zeta (3)=\sum _{n=0}^{\infty }(-1)^{n}{\frac {P(n)}{24}}{\frac {((2n+1)!(2n)!n!)^{3}}{(3n+2)!((4n+3)!)^{3}}}}
donde
P
(
n
)
=
126392
n
5
+
412708
n
4
+
531578
n
3
+
336367
n
2
+
104000
n
+
12463.
{\displaystyle P(n)=126392n^{5}+412708n^{4}+531578n^{3}+336367n^{2}+104000n+12463.\,}
Algunas de estas han sido utilizadas para calcular varios millones de dígitos de la constante de Apéry.
editar
Hay también muchas representaciones integrales para la constante de Apéry, de los más sencillos
ζ
(
3
)
=
1
2
∫
0
∞
x
2
e
x
−
1
d
x
{\displaystyle \zeta (3)={\frac {1}{2}}\int \limits _{0}^{\infty }\!{\frac {x^{2}}{e^{x}-1}}\,dx}
o
ζ
(
3
)
=
2
3
∫
0
∞
x
2
e
x
+
1
d
x
{\displaystyle \zeta (3)={\frac {2}{3}}\int \limits _{0}^{\infty }\!{\frac {x^{2}}{e^{x}+1}}\,dx}
que se derivan trivialmente de las definiciones integrales clásicas de la función zeta de Riemann , hasta bastante complicadas, como, por ejemplo,
ζ
(
3
)
=
π
∫
0
∞
cos
(
2
a
r
c
t
g
x
)
(
x
2
+
1
)
[
c
h
1
2
π
x
]
2
d
x
{\displaystyle \zeta (3)=\pi \!\!\int \limits _{0}^{\infty }\!{\frac {\cos(2\,\mathrm {arctg} \,x)}{\left(x^{2}+1\right){\big [}\mathrm {ch} {\frac {1}{2}}\pi x{\big ]}^{2}}}\,dx}
vea Johan Jensen,[ 1]
ζ
(
3
)
=
−
1
2
∫
0
1
∫
0
1
ln
(
x
y
)
1
−
x
y
d
x
d
y
{\displaystyle \zeta (3)=-{\frac {1}{2}}\int \limits _{0}^{1}\!\!\int \limits _{0}^{1}{\frac {\ln(xy)}{\,1-xy\,}}\,dx\,dy}
vea F. Beukers,[ 2]
ζ
(
3
)
=
8
π
2
7
∫
0
1
x
(
x
4
−
4
x
2
+
1
)
ln
ln
1
x
(
1
+
x
2
)
4
d
x
=
8
π
2
7
∫
1
∞
x
(
x
4
−
4
x
2
+
1
)
ln
ln
x
(
1
+
x
2
)
4
d
x
{\displaystyle \zeta (3)=\,{\frac {8\pi ^{2}}{7}}\!\!\int \limits _{0}^{1}\!{\frac {x\left(x^{4}-4x^{2}+1\right)\ln \ln {\frac {1}{x}}}{\,(1+x^{2})^{4}\,}}\,dx\,=\,{\frac {8\pi ^{2}}{7}}\!\!\int \limits _{1}^{\infty }\!{\frac {x\left(x^{4}-4x^{2}+1\right)\ln \ln {x}}{\,(1+x^{2})^{4}\,}}\,dx}
vea Iaroslav Blagouchine.[ 3] función gamma
ζ
(
3
)
=
−
1
2
Γ
‴
(
1
)
+
3
2
Γ
′
(
1
)
Γ
″
(
1
)
−
[
Γ
′
(
1
)
]
3
=
−
1
2
ψ
(
2
)
(
1
)
{\displaystyle \zeta (3)=-{\frac {1}{2}}\Gamma '''(1)+{\frac {3}{2}}\Gamma '(1)\Gamma ''(1)-[\Gamma '(1)]^{3}=-{\frac {1}{2}}\,\psi ^{(2)}(1)}
también puede usarse para obtener muchas otras representaciones mediante conocidas fórmulas integrales para la función gamma y
sus derivadas logarítmicas .
V. Ramaswami, Notes on Riemann's ζ-function , (1934) J. London Math. Soc. 9 pp. 165-169.
Roger Apéry, Irrationalité de ζ(2) et ζ(3) , (1979) Astérisque, 61 :11-13.
Alfred van der Poorten , A proof that Euler missed. Apéry's proof of the irrationality of ζ(3). An informal report. ,(1979) Math. Intell., 1 :195-203.Simon Plouffe, Identities inspired from Ramanujan Notebooks II Archivado el 30 de enero de 2009 en Wayback Machine ., (1998)
Simon Plouffe, Zeta(3) or Apéry constant to 2000 places Archivado el 5 de febrero de 2008 en Wayback Machine .
Xavier Gourdon & Pascal Sebah, The Apéry's constant: z(3)
↑ Johan Ludwig William Valdemar Jensen. Note numéro 245. Deuxième réponse. Remarques relatives aux réponses du MM. Franel et Kluyver . L'Intermédiaire des mathématiciens, tome II, pp. 346-347, 1895.
↑ F. Beukers A Note on the Irrationality of ζ(2) and ζ(3) . Bull. London Math. Soc. 11, pp. 268-272, 1979.
↑ Iaroslav V. Blagouchine Rediscovery of Malmsten’s integrals, their evaluation by contour integration methods and some related results. The Ramanujan Journal, vol. 35, no. 1, pp. 21-110, 2014. PDF 
![{\displaystyle \zeta (3)={\frac {\pi ^{2}}{7}}\left[1-4\sum _{k=1}^{\infty }{\frac {\zeta (2k)}{(2k+1)(2k+2)2^{2k}}}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/886d279e5edea854b33428eb4d8b194355adf377)
![{\displaystyle \zeta (3)=\pi \!\!\int \limits _{0}^{\infty }\!{\frac {\cos(2\,\mathrm {arctg} \,x)}{\left(x^{2}+1\right){\big [}\mathrm {ch} {\frac {1}{2}}\pi x{\big ]}^{2}}}\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89cb24fd1b1ba50a7d7846a88b69268bfdd10abd)
![{\displaystyle \zeta (3)=-{\frac {1}{2}}\Gamma '''(1)+{\frac {3}{2}}\Gamma '(1)\Gamma ''(1)-[\Gamma '(1)]^{3}=-{\frac {1}{2}}\,\psi ^{(2)}(1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c27099a7e1dce5dae91d26369b009b09c935cb9)
Datos: Q622682