|
| |
|
|
A013663
|
|
Decimal expansion of zeta(5).
|
|
107
|
|
|
|
1, 0, 3, 6, 9, 2, 7, 7, 5, 5, 1, 4, 3, 3, 6, 9, 9, 2, 6, 3, 3, 1, 3, 6, 5, 4, 8, 6, 4, 5, 7, 0, 3, 4, 1, 6, 8, 0, 5, 7, 0, 8, 0, 9, 1, 9, 5, 0, 1, 9, 1, 2, 8, 1, 1, 9, 7, 4, 1, 9, 2, 6, 7, 7, 9, 0, 3, 8, 0, 3, 5, 8, 9, 7, 8, 6, 2, 8, 1, 4, 8, 4, 5, 6, 0, 0, 4, 3, 1, 0, 6, 5, 5, 7, 1, 3, 3, 3, 3
(list;
constant;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
|
OFFSET
|
1,3
|
|
|
COMMENTS
|
In a widely distributed May 2011 email, Wadim Zudilin gave a rebuttal to v1 of Kim's 2011 preprint: "The mistake (unfixable) is on p. 6, line after eq. (3.3). 'Without loss of generality' can be shown to work only for a finite set of n_k's; as the n_k are sufficiently large (and N is fixed), the inequality for epsilon is false." In a May 2013 email, Zudilin extended his rebuttal to cover v2, concluding that Kim's argument "implies that at least one of zeta(2), zeta(3), zeta(4) and zeta(5) is irrational, which is trivial." - Jonathan Sondow, May 06 2013
|
|
|
REFERENCES
|
Milton Abramowitz and Irene A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 811.
|
|
|
LINKS
|
Milton Abramowitz and Irene A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
Yong-Cheol Kim, zeta(5) is irrational, arXiv:1105.0730 [math.CA], 2011. [Jonathan Vos Post, May 4, 2011].
|
|
|
FORMULA
|
Definition: zeta(5) = Sum_{n >= 1} 1/n^5.
zeta(5) = 2^5/(2^5 - 1)*(Sum_{n even} n^5*p(n)*p(1/n)/(n^2 - 1)^6 ), where p(n) = n^2 + 3. See A013667, A013671 and A013675. (End)
zeta(5) = Sum_{n >= 1} (A010052(n)/n^(5/2)) = Sum_{n >= 1} ((floor(sqrt(n)) - floor(sqrt(n-1)))/n^(5/2)). - Mikael Aaltonen, Feb 22 2015
zeta(5) = (-1/30)*Integral_{x=0..1} log(1-x^4)^5/x^5.
zeta(5) = (1/24)*Integral_{x=0..infinity} x^4/(exp(x)-1).
zeta(5) = (2/45)*Integral_{x=0..infinity} x^4/(exp(x)+1).
zeta(5) = (1/(1488*zeta(1/2)^5))*(-5*Pi^5*zeta(1/2)^5 + 96*zeta'(1/2)^5 - 240*zeta(1/2)*zeta'(1/2)^3*zeta''(1/2) + 120*zeta(1/2)^2*zeta'(1/2)*zeta''(1/2)^2 + 80*zeta(1/2)^2*zeta'(1/2)^2*zeta'''(1/2)- 40*zeta(1/2)^3*zeta''(1/2)*zeta'''(1/2) - 20*zeta(1/2)^3*zeta'(1/2)*zeta''''(1/2)+4*zeta(1/2)^4*zeta'''''(1/2)). (End).
zeta(3) = (8/45)*Integral_{x >= 1} x^3*log(x)^3*(1 + log(x))*log(1 + 1/x^x) dx = (2/45)*Integral_{x >= 1} x^4*log(x)^4*(1 + log(x))/(1 + x^x) dx.
zeta(5) = 131/128 + 26*Sum_{n >= 1} (n^2 + 2*n + 40/39)/(n*(n + 1)*(n + 2))^5.
zeta(5) = 5162893/4976640 - 1323520*Sum_{n >= 1} (n^2 + 4*n + 56288/12925)/(n*(n + 1)*(n + 2)*(n + 3)*(n + 4))^5. Taking 10 terms of the series gives a value for zeta(5) correct to 20 decimal places.
Conjecture: for k >= 1, there exist rational numbers A(k), B(k) and c(k) such that zeta(5) = A(k) + B(k)*Sum_{n >= 1} (n^2 + 2*k*n + c(k))/(n*(n + 1)*...*(n + 2*k))^5. A similar conjecture can be made for the constant zeta(3). (End)
zeta(5) = (694/204813)*Pi^5 - Sum_{n >= 1} (6280/3251)*(1/(n^5*(exp(4*Pi*n)-1))) + Sum_{n >= 1} (296/3251)*(1/(n^5*(exp(5*Pi*n)-1))) - Sum_{n >= 1} (1073/6502)*(1/(n^5*(exp(10*Pi*n)-1))) + Sum_{n >= 1} (37/6502)*(1/(n^5*(exp(20*Pi*n)-1))). - Simon Plouffe, Jan 06 2024
|
|
|
EXAMPLE
|
1/1^5 + 1/2^5 + 1/3^5 + 1/4^5 + 1/5^5 + 1/6^5 + 1/7^5 + ... =
1 + 1/32 + 1/243 + 1/1024 + 1/3125 + 1/7776 + 1/16807 + ... = 1.036927755143369926331365486457...
|
|
|
MATHEMATICA
|
|
|
|
PROG
|
|
|
|
CROSSREFS
|
|
|
|
KEYWORD
|
|
|
|
AUTHOR
|
|
|
|
STATUS
|
approved
|
| |
|
|
