Does $zeta(3)$ have a connection with $pi$?












47












$begingroup$


The problem



Can be $zeta(3)$ written as $alphapi^beta$, where ($alpha,beta in mathbb{C}$), $beta ne 0$ and $alpha$ doesn't depend of $pi$ (like $sqrt2$, for example)?



Details



Several $zeta$ values are connected with $pi$, like:



$zeta$(2)=$pi^2/6$



$zeta$(4)=$pi^4/90$



$zeta$(6)=$pi^6/945$



...



and so on for all even numbers.



See this mathworld link to more details: Riemann Zeta Function



So the question is, could $zeta(3)$ be written as:




$$zeta(3)=alphapi^beta$$
$$alpha,beta in mathbb{C}$$
$$beta ne 0$$
$$alpha text{ not dependent of } pi$$




See $alpha$ not essencially belongs $mathbb{Q}$ and $alpha,beta$ could be real numbers too.



When I wrote $alpha$ is not dependent of $pi$ it's a strange and a hard thing to be defined, but maybe $alpha$ can be written using $e$ or $gamma$ or $sqrt2$ or some other constant.



Edit:



Maybe this still a open question. If



$ sum_{k = 0}^{2} (-1)^{k} frac{B_{2k} B_{2- 2k + 2}}{(2k)! (2 - 2k + 2)!}$



in $-4 sum_{k = 0}^{2} (-1)^{k} frac{B_{2k} B_{2- 2k + 2}}{(2k)! (2 - 2k + 2)!}pi^3$ be of the form $frac{delta}{pi^3}$ with $delta$ not dependent of $pi$



and $- 2 sum_{k geq 1} frac{k^{-3}}{e^{2 pi k} - 1}$ not dependent of $pi$ too, this question still hard and open.










share|cite|improve this question











$endgroup$












  • $begingroup$
    See Alex Bartel's answer below; it is not expected that $zeta(3)$ will be related to $pi$ in a meaningful way!
    $endgroup$
    – Matt E
    Apr 28 '11 at 1:42












  • $begingroup$
    @Matt E : what is meant by meaningful? is 3 more meaning full than $zeta(3)$ ?
    $endgroup$
    – Arjang
    Apr 28 '11 at 2:08








  • 12




    $begingroup$
    @Arjang: Dear Arjang, What I mean is that $zeta(3)$ is not expected to be a rational multiple of $pi$, and indeed is expected to be algebraically independent of $pi$. In fact, all the positive odd zeta values are expected to be algebraically independent of one another, and of $pi$. So they should satisfy no algebraic relations among themselves; this is what I intended by saying that there is no meaningful relationship. Regards,
    $endgroup$
    – Matt E
    Apr 28 '11 at 2:19












  • $begingroup$
    @Arjang: PS. I'm not sure what you mean by "is $3$ more meaningful then $zeta(3)$".
    $endgroup$
    – Matt E
    Apr 28 '11 at 2:20










  • $begingroup$
    Hi @Matt, your comment about algebraic independence is very interesting, +1 to that! Regards
    $endgroup$
    – Arjang
    Apr 28 '11 at 2:37
















47












$begingroup$


The problem



Can be $zeta(3)$ written as $alphapi^beta$, where ($alpha,beta in mathbb{C}$), $beta ne 0$ and $alpha$ doesn't depend of $pi$ (like $sqrt2$, for example)?



Details



Several $zeta$ values are connected with $pi$, like:



$zeta$(2)=$pi^2/6$



$zeta$(4)=$pi^4/90$



$zeta$(6)=$pi^6/945$



...



and so on for all even numbers.



See this mathworld link to more details: Riemann Zeta Function



So the question is, could $zeta(3)$ be written as:




$$zeta(3)=alphapi^beta$$
$$alpha,beta in mathbb{C}$$
$$beta ne 0$$
$$alpha text{ not dependent of } pi$$




See $alpha$ not essencially belongs $mathbb{Q}$ and $alpha,beta$ could be real numbers too.



When I wrote $alpha$ is not dependent of $pi$ it's a strange and a hard thing to be defined, but maybe $alpha$ can be written using $e$ or $gamma$ or $sqrt2$ or some other constant.



Edit:



Maybe this still a open question. If



$ sum_{k = 0}^{2} (-1)^{k} frac{B_{2k} B_{2- 2k + 2}}{(2k)! (2 - 2k + 2)!}$



in $-4 sum_{k = 0}^{2} (-1)^{k} frac{B_{2k} B_{2- 2k + 2}}{(2k)! (2 - 2k + 2)!}pi^3$ be of the form $frac{delta}{pi^3}$ with $delta$ not dependent of $pi$



and $- 2 sum_{k geq 1} frac{k^{-3}}{e^{2 pi k} - 1}$ not dependent of $pi$ too, this question still hard and open.










share|cite|improve this question











$endgroup$












  • $begingroup$
    See Alex Bartel's answer below; it is not expected that $zeta(3)$ will be related to $pi$ in a meaningful way!
    $endgroup$
    – Matt E
    Apr 28 '11 at 1:42












  • $begingroup$
    @Matt E : what is meant by meaningful? is 3 more meaning full than $zeta(3)$ ?
    $endgroup$
    – Arjang
    Apr 28 '11 at 2:08








  • 12




    $begingroup$
    @Arjang: Dear Arjang, What I mean is that $zeta(3)$ is not expected to be a rational multiple of $pi$, and indeed is expected to be algebraically independent of $pi$. In fact, all the positive odd zeta values are expected to be algebraically independent of one another, and of $pi$. So they should satisfy no algebraic relations among themselves; this is what I intended by saying that there is no meaningful relationship. Regards,
    $endgroup$
    – Matt E
    Apr 28 '11 at 2:19












  • $begingroup$
    @Arjang: PS. I'm not sure what you mean by "is $3$ more meaningful then $zeta(3)$".
    $endgroup$
    – Matt E
    Apr 28 '11 at 2:20










  • $begingroup$
    Hi @Matt, your comment about algebraic independence is very interesting, +1 to that! Regards
    $endgroup$
    – Arjang
    Apr 28 '11 at 2:37














47












47








47


21



$begingroup$


The problem



Can be $zeta(3)$ written as $alphapi^beta$, where ($alpha,beta in mathbb{C}$), $beta ne 0$ and $alpha$ doesn't depend of $pi$ (like $sqrt2$, for example)?



Details



Several $zeta$ values are connected with $pi$, like:



$zeta$(2)=$pi^2/6$



$zeta$(4)=$pi^4/90$



$zeta$(6)=$pi^6/945$



...



and so on for all even numbers.



See this mathworld link to more details: Riemann Zeta Function



So the question is, could $zeta(3)$ be written as:




$$zeta(3)=alphapi^beta$$
$$alpha,beta in mathbb{C}$$
$$beta ne 0$$
$$alpha text{ not dependent of } pi$$




See $alpha$ not essencially belongs $mathbb{Q}$ and $alpha,beta$ could be real numbers too.



When I wrote $alpha$ is not dependent of $pi$ it's a strange and a hard thing to be defined, but maybe $alpha$ can be written using $e$ or $gamma$ or $sqrt2$ or some other constant.



Edit:



Maybe this still a open question. If



$ sum_{k = 0}^{2} (-1)^{k} frac{B_{2k} B_{2- 2k + 2}}{(2k)! (2 - 2k + 2)!}$



in $-4 sum_{k = 0}^{2} (-1)^{k} frac{B_{2k} B_{2- 2k + 2}}{(2k)! (2 - 2k + 2)!}pi^3$ be of the form $frac{delta}{pi^3}$ with $delta$ not dependent of $pi$



and $- 2 sum_{k geq 1} frac{k^{-3}}{e^{2 pi k} - 1}$ not dependent of $pi$ too, this question still hard and open.










share|cite|improve this question











$endgroup$




The problem



Can be $zeta(3)$ written as $alphapi^beta$, where ($alpha,beta in mathbb{C}$), $beta ne 0$ and $alpha$ doesn't depend of $pi$ (like $sqrt2$, for example)?



Details



Several $zeta$ values are connected with $pi$, like:



$zeta$(2)=$pi^2/6$



$zeta$(4)=$pi^4/90$



$zeta$(6)=$pi^6/945$



...



and so on for all even numbers.



See this mathworld link to more details: Riemann Zeta Function



So the question is, could $zeta(3)$ be written as:




$$zeta(3)=alphapi^beta$$
$$alpha,beta in mathbb{C}$$
$$beta ne 0$$
$$alpha text{ not dependent of } pi$$




See $alpha$ not essencially belongs $mathbb{Q}$ and $alpha,beta$ could be real numbers too.



When I wrote $alpha$ is not dependent of $pi$ it's a strange and a hard thing to be defined, but maybe $alpha$ can be written using $e$ or $gamma$ or $sqrt2$ or some other constant.



Edit:



Maybe this still a open question. If



$ sum_{k = 0}^{2} (-1)^{k} frac{B_{2k} B_{2- 2k + 2}}{(2k)! (2 - 2k + 2)!}$



in $-4 sum_{k = 0}^{2} (-1)^{k} frac{B_{2k} B_{2- 2k + 2}}{(2k)! (2 - 2k + 2)!}pi^3$ be of the form $frac{delta}{pi^3}$ with $delta$ not dependent of $pi$



and $- 2 sum_{k geq 1} frac{k^{-3}}{e^{2 pi k} - 1}$ not dependent of $pi$ too, this question still hard and open.







sequences-and-series analysis pi riemann-zeta zeta-functions






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Apr 12 '12 at 23:43







GarouDan

















asked Apr 27 '11 at 13:09









GarouDanGarouDan

1,93311630




1,93311630












  • $begingroup$
    See Alex Bartel's answer below; it is not expected that $zeta(3)$ will be related to $pi$ in a meaningful way!
    $endgroup$
    – Matt E
    Apr 28 '11 at 1:42












  • $begingroup$
    @Matt E : what is meant by meaningful? is 3 more meaning full than $zeta(3)$ ?
    $endgroup$
    – Arjang
    Apr 28 '11 at 2:08








  • 12




    $begingroup$
    @Arjang: Dear Arjang, What I mean is that $zeta(3)$ is not expected to be a rational multiple of $pi$, and indeed is expected to be algebraically independent of $pi$. In fact, all the positive odd zeta values are expected to be algebraically independent of one another, and of $pi$. So they should satisfy no algebraic relations among themselves; this is what I intended by saying that there is no meaningful relationship. Regards,
    $endgroup$
    – Matt E
    Apr 28 '11 at 2:19












  • $begingroup$
    @Arjang: PS. I'm not sure what you mean by "is $3$ more meaningful then $zeta(3)$".
    $endgroup$
    – Matt E
    Apr 28 '11 at 2:20










  • $begingroup$
    Hi @Matt, your comment about algebraic independence is very interesting, +1 to that! Regards
    $endgroup$
    – Arjang
    Apr 28 '11 at 2:37


















  • $begingroup$
    See Alex Bartel's answer below; it is not expected that $zeta(3)$ will be related to $pi$ in a meaningful way!
    $endgroup$
    – Matt E
    Apr 28 '11 at 1:42












  • $begingroup$
    @Matt E : what is meant by meaningful? is 3 more meaning full than $zeta(3)$ ?
    $endgroup$
    – Arjang
    Apr 28 '11 at 2:08








  • 12




    $begingroup$
    @Arjang: Dear Arjang, What I mean is that $zeta(3)$ is not expected to be a rational multiple of $pi$, and indeed is expected to be algebraically independent of $pi$. In fact, all the positive odd zeta values are expected to be algebraically independent of one another, and of $pi$. So they should satisfy no algebraic relations among themselves; this is what I intended by saying that there is no meaningful relationship. Regards,
    $endgroup$
    – Matt E
    Apr 28 '11 at 2:19












  • $begingroup$
    @Arjang: PS. I'm not sure what you mean by "is $3$ more meaningful then $zeta(3)$".
    $endgroup$
    – Matt E
    Apr 28 '11 at 2:20










  • $begingroup$
    Hi @Matt, your comment about algebraic independence is very interesting, +1 to that! Regards
    $endgroup$
    – Arjang
    Apr 28 '11 at 2:37
















$begingroup$
See Alex Bartel's answer below; it is not expected that $zeta(3)$ will be related to $pi$ in a meaningful way!
$endgroup$
– Matt E
Apr 28 '11 at 1:42






$begingroup$
See Alex Bartel's answer below; it is not expected that $zeta(3)$ will be related to $pi$ in a meaningful way!
$endgroup$
– Matt E
Apr 28 '11 at 1:42














$begingroup$
@Matt E : what is meant by meaningful? is 3 more meaning full than $zeta(3)$ ?
$endgroup$
– Arjang
Apr 28 '11 at 2:08






$begingroup$
@Matt E : what is meant by meaningful? is 3 more meaning full than $zeta(3)$ ?
$endgroup$
– Arjang
Apr 28 '11 at 2:08






12




12




$begingroup$
@Arjang: Dear Arjang, What I mean is that $zeta(3)$ is not expected to be a rational multiple of $pi$, and indeed is expected to be algebraically independent of $pi$. In fact, all the positive odd zeta values are expected to be algebraically independent of one another, and of $pi$. So they should satisfy no algebraic relations among themselves; this is what I intended by saying that there is no meaningful relationship. Regards,
$endgroup$
– Matt E
Apr 28 '11 at 2:19






$begingroup$
@Arjang: Dear Arjang, What I mean is that $zeta(3)$ is not expected to be a rational multiple of $pi$, and indeed is expected to be algebraically independent of $pi$. In fact, all the positive odd zeta values are expected to be algebraically independent of one another, and of $pi$. So they should satisfy no algebraic relations among themselves; this is what I intended by saying that there is no meaningful relationship. Regards,
$endgroup$
– Matt E
Apr 28 '11 at 2:19














$begingroup$
@Arjang: PS. I'm not sure what you mean by "is $3$ more meaningful then $zeta(3)$".
$endgroup$
– Matt E
Apr 28 '11 at 2:20




$begingroup$
@Arjang: PS. I'm not sure what you mean by "is $3$ more meaningful then $zeta(3)$".
$endgroup$
– Matt E
Apr 28 '11 at 2:20












$begingroup$
Hi @Matt, your comment about algebraic independence is very interesting, +1 to that! Regards
$endgroup$
– Arjang
Apr 28 '11 at 2:37




$begingroup$
Hi @Matt, your comment about algebraic independence is very interesting, +1 to that! Regards
$endgroup$
– Arjang
Apr 28 '11 at 2:37










6 Answers
6






active

oldest

votes


















48












$begingroup$

The question is whether or not $zeta(3)$ is connected with $pi$. The answer is yes. Moreover, $zeta(3) = beta pi^{alpha}$ for some complex $alpha, beta$. Take $alpha = 3$ and $beta = 0.0387682...$. It is not known whether $beta = 0.0387682...$ is algebraic or transcendental. It is known, however, that $zeta(3)$ is irrational as shown by Apery.



Ramanujan conjectured and Grosswald proved that the following holds. If $alpha, beta > 0$ such that $alpha beta = pi^{2}$, then for each non-negative integer $n$,
begin{align}
alpha^{-n} left( frac{zeta(2n+1)}{2} + sum_{k geq 1} frac{k^{-2n-1}}{e^{2 k alpha} - 1} right) & = (- beta)^{-n} left( frac{zeta(2n+1)}{2} + sum_{k geq 1} frac{k^{-2n-1}}{e^{2 k beta} - 1} right) -
end{align}
begin{align}
qquad 2^{2n} sum_{k = 0}^{n+1} (-1)^{k} frac{B_{2k} B_{2n- 2k + 2}}{(2k)! (2n - 2k + 2)!} alpha^{n - k + 1} beta^{k}.
end{align}
where $B_n$ is the $n^{text{th}}$-Bernoulli number.



For odd positive integer $n$, we take $alpha = beta = pi$,
begin{align}
zeta(2n+1) = -2^{2n} left( sum_{k = 0}^{n+1} (-1)^{k} frac{B_{2k} B_{2n- 2k + 2}}{(2k)! (2n - 2k + 2)!} right) pi^{2n+1} - 2 sum_{k geq 1} frac{k^{-2n-1}}{e^{2 pi k} - 1}.
end{align}



In particular, for $n = 1$,
begin{align}
zeta(3) = -4 left( sum_{k = 0}^{2} (-1)^{k} frac{B_{2k} B_{2- 2k + 2}}{(2k)! (2 - 2k + 2)!} right) pi^{3} - 2 sum_{k geq 1} frac{k^{-3}}{e^{2 pi k} - 1}.
end{align}



Observe that the coefficient of $pi^{3}$ is rational, however, nothing is known about the algebraic nature of the infinite sum. This is a current topic of research. Indeed, it is conjectured that $frac{zeta(3)}{pi^{3}}$ is transcendental.



Update: Recently, Takaaki Musha claims to have proved that $frac{zeta(2n+1)}{(2 pi)^{2n+1}}$ is irrational for positive $n geq 1$. However, some objection has since been raised (read comments below).






share|cite|improve this answer











$endgroup$









  • 1




    $begingroup$
    I apologize for being a little tardy for this nice discussion. ;)
    $endgroup$
    – user02138
    May 9 '11 at 14:37










  • $begingroup$
    No no user02138. Thanks a lot about this explanation. Now I will try search more things about that infinity sum.
    $endgroup$
    – GarouDan
    May 10 '11 at 15:22






  • 1




    $begingroup$
    @GarouDan: Alfred van der Poorten's A Proof that Euler missed ..., section 2 ift.uni.wroc.pl/~mwolf/Poorten_MI_195_0.pdf , wrote that Elementary evaluation of ζ(2n). Maths Mag. 48 (1945), pp. 148--153 by Bruce C. Berndt, "gives many others formulas and detailed references".
    $endgroup$
    – Américo Tavares
    May 11 '11 at 10:41








  • 1




    $begingroup$
    Do you have any more information on the claim in your update? I can't seem to find a preprint or anything other than just generic information on Takaaki Musha.
    $endgroup$
    – Chris Brooks
    Nov 10 '11 at 20:58






  • 7




    $begingroup$
    An anonymous suggested edit to this answer read: "I (F.M.S. Lima) have found an error in the proof of Musha's 'theorem' 1, in the above mentioned article (published in "JP Journal of Algebra, Number Theory and Applications"). The error occurs at the end of p.45, where the possibility of existence of a matrix A with det(A)=0 was missed. I've sent a message alerting Musha of this error(in 03/11/2012)." I rejected this because it was more properly a comment than an edit, and have thus reproduced it as such.
    $endgroup$
    – anon
    Mar 11 '12 at 4:54



















31












$begingroup$

Any complex number can be written as $alpha pi^beta$ if you make no assumptions on $alpha$ and $beta$. You can even take $beta = 0$.



It is however conjectured that $zeta(2n+1)/pi^{2n+1}$ is irrational for all $n geq 1$. This conjecture is wide open.






share|cite|improve this answer









$endgroup$









  • 1




    $begingroup$
    Does this conjecture just come from the fact that for a "generic" arbitrary real number $x$, $x/pi^{2n+1}$ will be irrational? Or is there some more specific reason to suspect the number is not rational?
    $endgroup$
    – Jason DeVito
    Apr 27 '11 at 17:05










  • $begingroup$
    I edited the question... i think is more precisely now. I am not searching for a rational number, maybe could be a irrational...a strange irrational. Maybe $alpha$ uses $gamma$ (constant).
    $endgroup$
    – GarouDan
    Apr 27 '11 at 19:08










  • $begingroup$
    @Jason: see the MO question in Alex Bartel's answer. There is a web of conjectures here related (as I understand it) to the theory of motives, but it seems to be, as Alex says, pretty technical stuff.
    $endgroup$
    – Qiaochu Yuan
    Apr 27 '11 at 19:10










  • $begingroup$
    @Garou: Even with that relaxed criterion, I believe your question remains unsolved. The only progress I remember being made with Apery's constant, for instance, was it being proven irrational.
    $endgroup$
    – J. M. is not a mathematician
    Apr 27 '11 at 19:11






  • 8




    $begingroup$
    @Jason: Dear Jason, There are specific reasons, related to the geometry behind the period integrals that compute these zeta values, for conjecturing this irrationality. So it is not just conjectured on the basis of a genericity argument. In fact, the algebraic relations between the zeta values (or rather, the absence of such --- see my comments below the question) should reflect the highly structured geometry (the geometry of mixed Tate motives) that underlies the period integrals giving rise to the zeta values. Best wishes,
    $endgroup$
    – Matt E
    Apr 28 '11 at 2:49





















26












$begingroup$

See this question at MO. The short answer is that we don't know whether $zeta(3)/pi^3$ is rational (I assume that that's what you meant), but nobody seriously believes it is. Indeed, it shouldn't be, instead it should be connected to a certain higher regulator (google for Borel regulator and/or Lichtenbaum conjecture if you want to know more, but beware that it's pretty technical stuff).






share|cite|improve this answer











$endgroup$





















    4












    $begingroup$

    I'll answer your modified question, as explained in your comment:




    I am not searching for a rational
    number, maybe could be a
    irrational...a strange irrational.
    Maybe α uses γ (constant).




    It's known through LLL testing that there is no simple form of $zeta(3)$ involving low powers of $pi$, certain other constants like $gamma,$ and simple (small denominator) rationals. It's not expected that such a form exists at all, but of course this is not known (and probably won't be any time soon).






    share|cite|improve this answer









    $endgroup$





















      0












      $begingroup$

      Other than the answers presented in this post, I would like to mention several formulae expressing $zeta(3)$ (and other odd zeta values) in terms of powers of $pi$. The most well-known ones are due to Plouffe and Borwein & Bradley:



      $$
      begin{aligned}
      zeta(3)&=frac{7pi^3}{180}-2sum_{n=1}^infty frac{1}{n^3(e^{2pi n}-1)},\
      sum_{n=1}^infty frac{1}{n^3,binom {2n}n} &= -frac{4}{3},zeta(3)+frac{pisqrt{3}}{2cdot 3^2},left(zeta(2, tfrac{1}{3})-zeta(2,tfrac{2}{3}) right).
      end{aligned}
      $$



      Moreover, in this Math.SE post we have:



      $$
      frac{3}{2},zeta(3) = frac{pi^3}{24}sqrt{2}-2sum_{k=1}^infty frac{1}{k^3(e^{pi ksqrt{2}}-1)}-sum_{k=1}^inftyfrac{1}{k^3(e^{2pi ksqrt{2}}-1)}.
      $$



      You can also check out this paper by Vepstas, which provides a nice generalization to some of these identities.






      share|cite|improve this answer









      $endgroup$





















        -3












        $begingroup$

        I'm hoping it'll turn out to be related somehow to OEIS A104007



        $zeta(3)=c cdot pi^3/60$



        $zeta(5)=c cdot pi^5/378$



        $zeta(7)=c cdot pi^7/2700$



        where $c$ is either a constant or a function of $n$. The sequence 6,60,90,378,945,2700 are the denominators of coefficients in the expansion of $frac{x^2}{(1-e^{-2x})^{2}}$.






        share|cite|improve this answer











        $endgroup$









        • 3




          $begingroup$
          By numerics alone you can rule out the possibility that such a constant $c$ exists.
          $endgroup$
          – Gerben
          Apr 27 '11 at 14:32






        • 2




          $begingroup$
          ...and as a function of $n$, $c(n)$ exists (trivially), but may not take on values only in $mathbb{Q}$. So, the current statement in the answer appears vacuous.
          $endgroup$
          – cardinal
          Apr 27 '11 at 14:46






        • 2




          $begingroup$
          As is stated in the comments to the MO question, this is not actually a natural conjecture to make. There are good reasons one should expect the zeta function to behave very differently at the odd and the even integers.
          $endgroup$
          – Qiaochu Yuan
          Apr 28 '11 at 0:58








        • 5




          $begingroup$
          @Mitch: actually, my understanding is that it's not natural to expect a simple expression in terms of known constants. Again, there are deep conjectures about what should happen, but I'm not at all familiar with them.
          $endgroup$
          – Qiaochu Yuan
          Apr 28 '11 at 1:15






        • 10




          $begingroup$
          Dear Mitch, Although there are not many theorems proved about $zeta$ at odd integers, there is a well-developed theoretical picture which is expected to explain these values. Unlike in the case of positive even integers, it is not expected that the values at the positive odd integers should be related to one another, or to $pi$. Regards,
          $endgroup$
          – Matt E
          Apr 28 '11 at 2:16











        Your Answer





        StackExchange.ifUsing("editor", function () {
        return StackExchange.using("mathjaxEditing", function () {
        StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
        StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
        });
        });
        }, "mathjax-editing");

        StackExchange.ready(function() {
        var channelOptions = {
        tags: "".split(" "),
        id: "69"
        };
        initTagRenderer("".split(" "), "".split(" "), channelOptions);

        StackExchange.using("externalEditor", function() {
        // Have to fire editor after snippets, if snippets enabled
        if (StackExchange.settings.snippets.snippetsEnabled) {
        StackExchange.using("snippets", function() {
        createEditor();
        });
        }
        else {
        createEditor();
        }
        });

        function createEditor() {
        StackExchange.prepareEditor({
        heartbeatType: 'answer',
        autoActivateHeartbeat: false,
        convertImagesToLinks: true,
        noModals: true,
        showLowRepImageUploadWarning: true,
        reputationToPostImages: 10,
        bindNavPrevention: true,
        postfix: "",
        imageUploader: {
        brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
        contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
        allowUrls: true
        },
        noCode: true, onDemand: true,
        discardSelector: ".discard-answer"
        ,immediatelyShowMarkdownHelp:true
        });


        }
        });














        draft saved

        draft discarded


















        StackExchange.ready(
        function () {
        StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f35412%2fdoes-zeta3-have-a-connection-with-pi%23new-answer', 'question_page');
        }
        );

        Post as a guest















        Required, but never shown

























        6 Answers
        6






        active

        oldest

        votes








        6 Answers
        6






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes









        48












        $begingroup$

        The question is whether or not $zeta(3)$ is connected with $pi$. The answer is yes. Moreover, $zeta(3) = beta pi^{alpha}$ for some complex $alpha, beta$. Take $alpha = 3$ and $beta = 0.0387682...$. It is not known whether $beta = 0.0387682...$ is algebraic or transcendental. It is known, however, that $zeta(3)$ is irrational as shown by Apery.



        Ramanujan conjectured and Grosswald proved that the following holds. If $alpha, beta > 0$ such that $alpha beta = pi^{2}$, then for each non-negative integer $n$,
        begin{align}
        alpha^{-n} left( frac{zeta(2n+1)}{2} + sum_{k geq 1} frac{k^{-2n-1}}{e^{2 k alpha} - 1} right) & = (- beta)^{-n} left( frac{zeta(2n+1)}{2} + sum_{k geq 1} frac{k^{-2n-1}}{e^{2 k beta} - 1} right) -
        end{align}
        begin{align}
        qquad 2^{2n} sum_{k = 0}^{n+1} (-1)^{k} frac{B_{2k} B_{2n- 2k + 2}}{(2k)! (2n - 2k + 2)!} alpha^{n - k + 1} beta^{k}.
        end{align}
        where $B_n$ is the $n^{text{th}}$-Bernoulli number.



        For odd positive integer $n$, we take $alpha = beta = pi$,
        begin{align}
        zeta(2n+1) = -2^{2n} left( sum_{k = 0}^{n+1} (-1)^{k} frac{B_{2k} B_{2n- 2k + 2}}{(2k)! (2n - 2k + 2)!} right) pi^{2n+1} - 2 sum_{k geq 1} frac{k^{-2n-1}}{e^{2 pi k} - 1}.
        end{align}



        In particular, for $n = 1$,
        begin{align}
        zeta(3) = -4 left( sum_{k = 0}^{2} (-1)^{k} frac{B_{2k} B_{2- 2k + 2}}{(2k)! (2 - 2k + 2)!} right) pi^{3} - 2 sum_{k geq 1} frac{k^{-3}}{e^{2 pi k} - 1}.
        end{align}



        Observe that the coefficient of $pi^{3}$ is rational, however, nothing is known about the algebraic nature of the infinite sum. This is a current topic of research. Indeed, it is conjectured that $frac{zeta(3)}{pi^{3}}$ is transcendental.



        Update: Recently, Takaaki Musha claims to have proved that $frac{zeta(2n+1)}{(2 pi)^{2n+1}}$ is irrational for positive $n geq 1$. However, some objection has since been raised (read comments below).






        share|cite|improve this answer











        $endgroup$









        • 1




          $begingroup$
          I apologize for being a little tardy for this nice discussion. ;)
          $endgroup$
          – user02138
          May 9 '11 at 14:37










        • $begingroup$
          No no user02138. Thanks a lot about this explanation. Now I will try search more things about that infinity sum.
          $endgroup$
          – GarouDan
          May 10 '11 at 15:22






        • 1




          $begingroup$
          @GarouDan: Alfred van der Poorten's A Proof that Euler missed ..., section 2 ift.uni.wroc.pl/~mwolf/Poorten_MI_195_0.pdf , wrote that Elementary evaluation of ζ(2n). Maths Mag. 48 (1945), pp. 148--153 by Bruce C. Berndt, "gives many others formulas and detailed references".
          $endgroup$
          – Américo Tavares
          May 11 '11 at 10:41








        • 1




          $begingroup$
          Do you have any more information on the claim in your update? I can't seem to find a preprint or anything other than just generic information on Takaaki Musha.
          $endgroup$
          – Chris Brooks
          Nov 10 '11 at 20:58






        • 7




          $begingroup$
          An anonymous suggested edit to this answer read: "I (F.M.S. Lima) have found an error in the proof of Musha's 'theorem' 1, in the above mentioned article (published in "JP Journal of Algebra, Number Theory and Applications"). The error occurs at the end of p.45, where the possibility of existence of a matrix A with det(A)=0 was missed. I've sent a message alerting Musha of this error(in 03/11/2012)." I rejected this because it was more properly a comment than an edit, and have thus reproduced it as such.
          $endgroup$
          – anon
          Mar 11 '12 at 4:54
















        48












        $begingroup$

        The question is whether or not $zeta(3)$ is connected with $pi$. The answer is yes. Moreover, $zeta(3) = beta pi^{alpha}$ for some complex $alpha, beta$. Take $alpha = 3$ and $beta = 0.0387682...$. It is not known whether $beta = 0.0387682...$ is algebraic or transcendental. It is known, however, that $zeta(3)$ is irrational as shown by Apery.



        Ramanujan conjectured and Grosswald proved that the following holds. If $alpha, beta > 0$ such that $alpha beta = pi^{2}$, then for each non-negative integer $n$,
        begin{align}
        alpha^{-n} left( frac{zeta(2n+1)}{2} + sum_{k geq 1} frac{k^{-2n-1}}{e^{2 k alpha} - 1} right) & = (- beta)^{-n} left( frac{zeta(2n+1)}{2} + sum_{k geq 1} frac{k^{-2n-1}}{e^{2 k beta} - 1} right) -
        end{align}
        begin{align}
        qquad 2^{2n} sum_{k = 0}^{n+1} (-1)^{k} frac{B_{2k} B_{2n- 2k + 2}}{(2k)! (2n - 2k + 2)!} alpha^{n - k + 1} beta^{k}.
        end{align}
        where $B_n$ is the $n^{text{th}}$-Bernoulli number.



        For odd positive integer $n$, we take $alpha = beta = pi$,
        begin{align}
        zeta(2n+1) = -2^{2n} left( sum_{k = 0}^{n+1} (-1)^{k} frac{B_{2k} B_{2n- 2k + 2}}{(2k)! (2n - 2k + 2)!} right) pi^{2n+1} - 2 sum_{k geq 1} frac{k^{-2n-1}}{e^{2 pi k} - 1}.
        end{align}



        In particular, for $n = 1$,
        begin{align}
        zeta(3) = -4 left( sum_{k = 0}^{2} (-1)^{k} frac{B_{2k} B_{2- 2k + 2}}{(2k)! (2 - 2k + 2)!} right) pi^{3} - 2 sum_{k geq 1} frac{k^{-3}}{e^{2 pi k} - 1}.
        end{align}



        Observe that the coefficient of $pi^{3}$ is rational, however, nothing is known about the algebraic nature of the infinite sum. This is a current topic of research. Indeed, it is conjectured that $frac{zeta(3)}{pi^{3}}$ is transcendental.



        Update: Recently, Takaaki Musha claims to have proved that $frac{zeta(2n+1)}{(2 pi)^{2n+1}}$ is irrational for positive $n geq 1$. However, some objection has since been raised (read comments below).






        share|cite|improve this answer











        $endgroup$









        • 1




          $begingroup$
          I apologize for being a little tardy for this nice discussion. ;)
          $endgroup$
          – user02138
          May 9 '11 at 14:37










        • $begingroup$
          No no user02138. Thanks a lot about this explanation. Now I will try search more things about that infinity sum.
          $endgroup$
          – GarouDan
          May 10 '11 at 15:22






        • 1




          $begingroup$
          @GarouDan: Alfred van der Poorten's A Proof that Euler missed ..., section 2 ift.uni.wroc.pl/~mwolf/Poorten_MI_195_0.pdf , wrote that Elementary evaluation of ζ(2n). Maths Mag. 48 (1945), pp. 148--153 by Bruce C. Berndt, "gives many others formulas and detailed references".
          $endgroup$
          – Américo Tavares
          May 11 '11 at 10:41








        • 1




          $begingroup$
          Do you have any more information on the claim in your update? I can't seem to find a preprint or anything other than just generic information on Takaaki Musha.
          $endgroup$
          – Chris Brooks
          Nov 10 '11 at 20:58






        • 7




          $begingroup$
          An anonymous suggested edit to this answer read: "I (F.M.S. Lima) have found an error in the proof of Musha's 'theorem' 1, in the above mentioned article (published in "JP Journal of Algebra, Number Theory and Applications"). The error occurs at the end of p.45, where the possibility of existence of a matrix A with det(A)=0 was missed. I've sent a message alerting Musha of this error(in 03/11/2012)." I rejected this because it was more properly a comment than an edit, and have thus reproduced it as such.
          $endgroup$
          – anon
          Mar 11 '12 at 4:54














        48












        48








        48





        $begingroup$

        The question is whether or not $zeta(3)$ is connected with $pi$. The answer is yes. Moreover, $zeta(3) = beta pi^{alpha}$ for some complex $alpha, beta$. Take $alpha = 3$ and $beta = 0.0387682...$. It is not known whether $beta = 0.0387682...$ is algebraic or transcendental. It is known, however, that $zeta(3)$ is irrational as shown by Apery.



        Ramanujan conjectured and Grosswald proved that the following holds. If $alpha, beta > 0$ such that $alpha beta = pi^{2}$, then for each non-negative integer $n$,
        begin{align}
        alpha^{-n} left( frac{zeta(2n+1)}{2} + sum_{k geq 1} frac{k^{-2n-1}}{e^{2 k alpha} - 1} right) & = (- beta)^{-n} left( frac{zeta(2n+1)}{2} + sum_{k geq 1} frac{k^{-2n-1}}{e^{2 k beta} - 1} right) -
        end{align}
        begin{align}
        qquad 2^{2n} sum_{k = 0}^{n+1} (-1)^{k} frac{B_{2k} B_{2n- 2k + 2}}{(2k)! (2n - 2k + 2)!} alpha^{n - k + 1} beta^{k}.
        end{align}
        where $B_n$ is the $n^{text{th}}$-Bernoulli number.



        For odd positive integer $n$, we take $alpha = beta = pi$,
        begin{align}
        zeta(2n+1) = -2^{2n} left( sum_{k = 0}^{n+1} (-1)^{k} frac{B_{2k} B_{2n- 2k + 2}}{(2k)! (2n - 2k + 2)!} right) pi^{2n+1} - 2 sum_{k geq 1} frac{k^{-2n-1}}{e^{2 pi k} - 1}.
        end{align}



        In particular, for $n = 1$,
        begin{align}
        zeta(3) = -4 left( sum_{k = 0}^{2} (-1)^{k} frac{B_{2k} B_{2- 2k + 2}}{(2k)! (2 - 2k + 2)!} right) pi^{3} - 2 sum_{k geq 1} frac{k^{-3}}{e^{2 pi k} - 1}.
        end{align}



        Observe that the coefficient of $pi^{3}$ is rational, however, nothing is known about the algebraic nature of the infinite sum. This is a current topic of research. Indeed, it is conjectured that $frac{zeta(3)}{pi^{3}}$ is transcendental.



        Update: Recently, Takaaki Musha claims to have proved that $frac{zeta(2n+1)}{(2 pi)^{2n+1}}$ is irrational for positive $n geq 1$. However, some objection has since been raised (read comments below).






        share|cite|improve this answer











        $endgroup$



        The question is whether or not $zeta(3)$ is connected with $pi$. The answer is yes. Moreover, $zeta(3) = beta pi^{alpha}$ for some complex $alpha, beta$. Take $alpha = 3$ and $beta = 0.0387682...$. It is not known whether $beta = 0.0387682...$ is algebraic or transcendental. It is known, however, that $zeta(3)$ is irrational as shown by Apery.



        Ramanujan conjectured and Grosswald proved that the following holds. If $alpha, beta > 0$ such that $alpha beta = pi^{2}$, then for each non-negative integer $n$,
        begin{align}
        alpha^{-n} left( frac{zeta(2n+1)}{2} + sum_{k geq 1} frac{k^{-2n-1}}{e^{2 k alpha} - 1} right) & = (- beta)^{-n} left( frac{zeta(2n+1)}{2} + sum_{k geq 1} frac{k^{-2n-1}}{e^{2 k beta} - 1} right) -
        end{align}
        begin{align}
        qquad 2^{2n} sum_{k = 0}^{n+1} (-1)^{k} frac{B_{2k} B_{2n- 2k + 2}}{(2k)! (2n - 2k + 2)!} alpha^{n - k + 1} beta^{k}.
        end{align}
        where $B_n$ is the $n^{text{th}}$-Bernoulli number.



        For odd positive integer $n$, we take $alpha = beta = pi$,
        begin{align}
        zeta(2n+1) = -2^{2n} left( sum_{k = 0}^{n+1} (-1)^{k} frac{B_{2k} B_{2n- 2k + 2}}{(2k)! (2n - 2k + 2)!} right) pi^{2n+1} - 2 sum_{k geq 1} frac{k^{-2n-1}}{e^{2 pi k} - 1}.
        end{align}



        In particular, for $n = 1$,
        begin{align}
        zeta(3) = -4 left( sum_{k = 0}^{2} (-1)^{k} frac{B_{2k} B_{2- 2k + 2}}{(2k)! (2 - 2k + 2)!} right) pi^{3} - 2 sum_{k geq 1} frac{k^{-3}}{e^{2 pi k} - 1}.
        end{align}



        Observe that the coefficient of $pi^{3}$ is rational, however, nothing is known about the algebraic nature of the infinite sum. This is a current topic of research. Indeed, it is conjectured that $frac{zeta(3)}{pi^{3}}$ is transcendental.



        Update: Recently, Takaaki Musha claims to have proved that $frac{zeta(2n+1)}{(2 pi)^{2n+1}}$ is irrational for positive $n geq 1$. However, some objection has since been raised (read comments below).







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Mar 11 '12 at 15:54

























        answered May 9 '11 at 14:29









        user02138user02138

        10.9k34175




        10.9k34175








        • 1




          $begingroup$
          I apologize for being a little tardy for this nice discussion. ;)
          $endgroup$
          – user02138
          May 9 '11 at 14:37










        • $begingroup$
          No no user02138. Thanks a lot about this explanation. Now I will try search more things about that infinity sum.
          $endgroup$
          – GarouDan
          May 10 '11 at 15:22






        • 1




          $begingroup$
          @GarouDan: Alfred van der Poorten's A Proof that Euler missed ..., section 2 ift.uni.wroc.pl/~mwolf/Poorten_MI_195_0.pdf , wrote that Elementary evaluation of ζ(2n). Maths Mag. 48 (1945), pp. 148--153 by Bruce C. Berndt, "gives many others formulas and detailed references".
          $endgroup$
          – Américo Tavares
          May 11 '11 at 10:41








        • 1




          $begingroup$
          Do you have any more information on the claim in your update? I can't seem to find a preprint or anything other than just generic information on Takaaki Musha.
          $endgroup$
          – Chris Brooks
          Nov 10 '11 at 20:58






        • 7




          $begingroup$
          An anonymous suggested edit to this answer read: "I (F.M.S. Lima) have found an error in the proof of Musha's 'theorem' 1, in the above mentioned article (published in "JP Journal of Algebra, Number Theory and Applications"). The error occurs at the end of p.45, where the possibility of existence of a matrix A with det(A)=0 was missed. I've sent a message alerting Musha of this error(in 03/11/2012)." I rejected this because it was more properly a comment than an edit, and have thus reproduced it as such.
          $endgroup$
          – anon
          Mar 11 '12 at 4:54














        • 1




          $begingroup$
          I apologize for being a little tardy for this nice discussion. ;)
          $endgroup$
          – user02138
          May 9 '11 at 14:37










        • $begingroup$
          No no user02138. Thanks a lot about this explanation. Now I will try search more things about that infinity sum.
          $endgroup$
          – GarouDan
          May 10 '11 at 15:22






        • 1




          $begingroup$
          @GarouDan: Alfred van der Poorten's A Proof that Euler missed ..., section 2 ift.uni.wroc.pl/~mwolf/Poorten_MI_195_0.pdf , wrote that Elementary evaluation of ζ(2n). Maths Mag. 48 (1945), pp. 148--153 by Bruce C. Berndt, "gives many others formulas and detailed references".
          $endgroup$
          – Américo Tavares
          May 11 '11 at 10:41








        • 1




          $begingroup$
          Do you have any more information on the claim in your update? I can't seem to find a preprint or anything other than just generic information on Takaaki Musha.
          $endgroup$
          – Chris Brooks
          Nov 10 '11 at 20:58






        • 7




          $begingroup$
          An anonymous suggested edit to this answer read: "I (F.M.S. Lima) have found an error in the proof of Musha's 'theorem' 1, in the above mentioned article (published in "JP Journal of Algebra, Number Theory and Applications"). The error occurs at the end of p.45, where the possibility of existence of a matrix A with det(A)=0 was missed. I've sent a message alerting Musha of this error(in 03/11/2012)." I rejected this because it was more properly a comment than an edit, and have thus reproduced it as such.
          $endgroup$
          – anon
          Mar 11 '12 at 4:54








        1




        1




        $begingroup$
        I apologize for being a little tardy for this nice discussion. ;)
        $endgroup$
        – user02138
        May 9 '11 at 14:37




        $begingroup$
        I apologize for being a little tardy for this nice discussion. ;)
        $endgroup$
        – user02138
        May 9 '11 at 14:37












        $begingroup$
        No no user02138. Thanks a lot about this explanation. Now I will try search more things about that infinity sum.
        $endgroup$
        – GarouDan
        May 10 '11 at 15:22




        $begingroup$
        No no user02138. Thanks a lot about this explanation. Now I will try search more things about that infinity sum.
        $endgroup$
        – GarouDan
        May 10 '11 at 15:22




        1




        1




        $begingroup$
        @GarouDan: Alfred van der Poorten's A Proof that Euler missed ..., section 2 ift.uni.wroc.pl/~mwolf/Poorten_MI_195_0.pdf , wrote that Elementary evaluation of ζ(2n). Maths Mag. 48 (1945), pp. 148--153 by Bruce C. Berndt, "gives many others formulas and detailed references".
        $endgroup$
        – Américo Tavares
        May 11 '11 at 10:41






        $begingroup$
        @GarouDan: Alfred van der Poorten's A Proof that Euler missed ..., section 2 ift.uni.wroc.pl/~mwolf/Poorten_MI_195_0.pdf , wrote that Elementary evaluation of ζ(2n). Maths Mag. 48 (1945), pp. 148--153 by Bruce C. Berndt, "gives many others formulas and detailed references".
        $endgroup$
        – Américo Tavares
        May 11 '11 at 10:41






        1




        1




        $begingroup$
        Do you have any more information on the claim in your update? I can't seem to find a preprint or anything other than just generic information on Takaaki Musha.
        $endgroup$
        – Chris Brooks
        Nov 10 '11 at 20:58




        $begingroup$
        Do you have any more information on the claim in your update? I can't seem to find a preprint or anything other than just generic information on Takaaki Musha.
        $endgroup$
        – Chris Brooks
        Nov 10 '11 at 20:58




        7




        7




        $begingroup$
        An anonymous suggested edit to this answer read: "I (F.M.S. Lima) have found an error in the proof of Musha's 'theorem' 1, in the above mentioned article (published in "JP Journal of Algebra, Number Theory and Applications"). The error occurs at the end of p.45, where the possibility of existence of a matrix A with det(A)=0 was missed. I've sent a message alerting Musha of this error(in 03/11/2012)." I rejected this because it was more properly a comment than an edit, and have thus reproduced it as such.
        $endgroup$
        – anon
        Mar 11 '12 at 4:54




        $begingroup$
        An anonymous suggested edit to this answer read: "I (F.M.S. Lima) have found an error in the proof of Musha's 'theorem' 1, in the above mentioned article (published in "JP Journal of Algebra, Number Theory and Applications"). The error occurs at the end of p.45, where the possibility of existence of a matrix A with det(A)=0 was missed. I've sent a message alerting Musha of this error(in 03/11/2012)." I rejected this because it was more properly a comment than an edit, and have thus reproduced it as such.
        $endgroup$
        – anon
        Mar 11 '12 at 4:54











        31












        $begingroup$

        Any complex number can be written as $alpha pi^beta$ if you make no assumptions on $alpha$ and $beta$. You can even take $beta = 0$.



        It is however conjectured that $zeta(2n+1)/pi^{2n+1}$ is irrational for all $n geq 1$. This conjecture is wide open.






        share|cite|improve this answer









        $endgroup$









        • 1




          $begingroup$
          Does this conjecture just come from the fact that for a "generic" arbitrary real number $x$, $x/pi^{2n+1}$ will be irrational? Or is there some more specific reason to suspect the number is not rational?
          $endgroup$
          – Jason DeVito
          Apr 27 '11 at 17:05










        • $begingroup$
          I edited the question... i think is more precisely now. I am not searching for a rational number, maybe could be a irrational...a strange irrational. Maybe $alpha$ uses $gamma$ (constant).
          $endgroup$
          – GarouDan
          Apr 27 '11 at 19:08










        • $begingroup$
          @Jason: see the MO question in Alex Bartel's answer. There is a web of conjectures here related (as I understand it) to the theory of motives, but it seems to be, as Alex says, pretty technical stuff.
          $endgroup$
          – Qiaochu Yuan
          Apr 27 '11 at 19:10










        • $begingroup$
          @Garou: Even with that relaxed criterion, I believe your question remains unsolved. The only progress I remember being made with Apery's constant, for instance, was it being proven irrational.
          $endgroup$
          – J. M. is not a mathematician
          Apr 27 '11 at 19:11






        • 8




          $begingroup$
          @Jason: Dear Jason, There are specific reasons, related to the geometry behind the period integrals that compute these zeta values, for conjecturing this irrationality. So it is not just conjectured on the basis of a genericity argument. In fact, the algebraic relations between the zeta values (or rather, the absence of such --- see my comments below the question) should reflect the highly structured geometry (the geometry of mixed Tate motives) that underlies the period integrals giving rise to the zeta values. Best wishes,
          $endgroup$
          – Matt E
          Apr 28 '11 at 2:49


















        31












        $begingroup$

        Any complex number can be written as $alpha pi^beta$ if you make no assumptions on $alpha$ and $beta$. You can even take $beta = 0$.



        It is however conjectured that $zeta(2n+1)/pi^{2n+1}$ is irrational for all $n geq 1$. This conjecture is wide open.






        share|cite|improve this answer









        $endgroup$









        • 1




          $begingroup$
          Does this conjecture just come from the fact that for a "generic" arbitrary real number $x$, $x/pi^{2n+1}$ will be irrational? Or is there some more specific reason to suspect the number is not rational?
          $endgroup$
          – Jason DeVito
          Apr 27 '11 at 17:05










        • $begingroup$
          I edited the question... i think is more precisely now. I am not searching for a rational number, maybe could be a irrational...a strange irrational. Maybe $alpha$ uses $gamma$ (constant).
          $endgroup$
          – GarouDan
          Apr 27 '11 at 19:08










        • $begingroup$
          @Jason: see the MO question in Alex Bartel's answer. There is a web of conjectures here related (as I understand it) to the theory of motives, but it seems to be, as Alex says, pretty technical stuff.
          $endgroup$
          – Qiaochu Yuan
          Apr 27 '11 at 19:10










        • $begingroup$
          @Garou: Even with that relaxed criterion, I believe your question remains unsolved. The only progress I remember being made with Apery's constant, for instance, was it being proven irrational.
          $endgroup$
          – J. M. is not a mathematician
          Apr 27 '11 at 19:11






        • 8




          $begingroup$
          @Jason: Dear Jason, There are specific reasons, related to the geometry behind the period integrals that compute these zeta values, for conjecturing this irrationality. So it is not just conjectured on the basis of a genericity argument. In fact, the algebraic relations between the zeta values (or rather, the absence of such --- see my comments below the question) should reflect the highly structured geometry (the geometry of mixed Tate motives) that underlies the period integrals giving rise to the zeta values. Best wishes,
          $endgroup$
          – Matt E
          Apr 28 '11 at 2:49
















        31












        31








        31





        $begingroup$

        Any complex number can be written as $alpha pi^beta$ if you make no assumptions on $alpha$ and $beta$. You can even take $beta = 0$.



        It is however conjectured that $zeta(2n+1)/pi^{2n+1}$ is irrational for all $n geq 1$. This conjecture is wide open.






        share|cite|improve this answer









        $endgroup$



        Any complex number can be written as $alpha pi^beta$ if you make no assumptions on $alpha$ and $beta$. You can even take $beta = 0$.



        It is however conjectured that $zeta(2n+1)/pi^{2n+1}$ is irrational for all $n geq 1$. This conjecture is wide open.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Apr 27 '11 at 13:16









        Dan PetersenDan Petersen

        5,46421929




        5,46421929








        • 1




          $begingroup$
          Does this conjecture just come from the fact that for a "generic" arbitrary real number $x$, $x/pi^{2n+1}$ will be irrational? Or is there some more specific reason to suspect the number is not rational?
          $endgroup$
          – Jason DeVito
          Apr 27 '11 at 17:05










        • $begingroup$
          I edited the question... i think is more precisely now. I am not searching for a rational number, maybe could be a irrational...a strange irrational. Maybe $alpha$ uses $gamma$ (constant).
          $endgroup$
          – GarouDan
          Apr 27 '11 at 19:08










        • $begingroup$
          @Jason: see the MO question in Alex Bartel's answer. There is a web of conjectures here related (as I understand it) to the theory of motives, but it seems to be, as Alex says, pretty technical stuff.
          $endgroup$
          – Qiaochu Yuan
          Apr 27 '11 at 19:10










        • $begingroup$
          @Garou: Even with that relaxed criterion, I believe your question remains unsolved. The only progress I remember being made with Apery's constant, for instance, was it being proven irrational.
          $endgroup$
          – J. M. is not a mathematician
          Apr 27 '11 at 19:11






        • 8




          $begingroup$
          @Jason: Dear Jason, There are specific reasons, related to the geometry behind the period integrals that compute these zeta values, for conjecturing this irrationality. So it is not just conjectured on the basis of a genericity argument. In fact, the algebraic relations between the zeta values (or rather, the absence of such --- see my comments below the question) should reflect the highly structured geometry (the geometry of mixed Tate motives) that underlies the period integrals giving rise to the zeta values. Best wishes,
          $endgroup$
          – Matt E
          Apr 28 '11 at 2:49
















        • 1




          $begingroup$
          Does this conjecture just come from the fact that for a "generic" arbitrary real number $x$, $x/pi^{2n+1}$ will be irrational? Or is there some more specific reason to suspect the number is not rational?
          $endgroup$
          – Jason DeVito
          Apr 27 '11 at 17:05










        • $begingroup$
          I edited the question... i think is more precisely now. I am not searching for a rational number, maybe could be a irrational...a strange irrational. Maybe $alpha$ uses $gamma$ (constant).
          $endgroup$
          – GarouDan
          Apr 27 '11 at 19:08










        • $begingroup$
          @Jason: see the MO question in Alex Bartel's answer. There is a web of conjectures here related (as I understand it) to the theory of motives, but it seems to be, as Alex says, pretty technical stuff.
          $endgroup$
          – Qiaochu Yuan
          Apr 27 '11 at 19:10










        • $begingroup$
          @Garou: Even with that relaxed criterion, I believe your question remains unsolved. The only progress I remember being made with Apery's constant, for instance, was it being proven irrational.
          $endgroup$
          – J. M. is not a mathematician
          Apr 27 '11 at 19:11






        • 8




          $begingroup$
          @Jason: Dear Jason, There are specific reasons, related to the geometry behind the period integrals that compute these zeta values, for conjecturing this irrationality. So it is not just conjectured on the basis of a genericity argument. In fact, the algebraic relations between the zeta values (or rather, the absence of such --- see my comments below the question) should reflect the highly structured geometry (the geometry of mixed Tate motives) that underlies the period integrals giving rise to the zeta values. Best wishes,
          $endgroup$
          – Matt E
          Apr 28 '11 at 2:49










        1




        1




        $begingroup$
        Does this conjecture just come from the fact that for a "generic" arbitrary real number $x$, $x/pi^{2n+1}$ will be irrational? Or is there some more specific reason to suspect the number is not rational?
        $endgroup$
        – Jason DeVito
        Apr 27 '11 at 17:05




        $begingroup$
        Does this conjecture just come from the fact that for a "generic" arbitrary real number $x$, $x/pi^{2n+1}$ will be irrational? Or is there some more specific reason to suspect the number is not rational?
        $endgroup$
        – Jason DeVito
        Apr 27 '11 at 17:05












        $begingroup$
        I edited the question... i think is more precisely now. I am not searching for a rational number, maybe could be a irrational...a strange irrational. Maybe $alpha$ uses $gamma$ (constant).
        $endgroup$
        – GarouDan
        Apr 27 '11 at 19:08




        $begingroup$
        I edited the question... i think is more precisely now. I am not searching for a rational number, maybe could be a irrational...a strange irrational. Maybe $alpha$ uses $gamma$ (constant).
        $endgroup$
        – GarouDan
        Apr 27 '11 at 19:08












        $begingroup$
        @Jason: see the MO question in Alex Bartel's answer. There is a web of conjectures here related (as I understand it) to the theory of motives, but it seems to be, as Alex says, pretty technical stuff.
        $endgroup$
        – Qiaochu Yuan
        Apr 27 '11 at 19:10




        $begingroup$
        @Jason: see the MO question in Alex Bartel's answer. There is a web of conjectures here related (as I understand it) to the theory of motives, but it seems to be, as Alex says, pretty technical stuff.
        $endgroup$
        – Qiaochu Yuan
        Apr 27 '11 at 19:10












        $begingroup$
        @Garou: Even with that relaxed criterion, I believe your question remains unsolved. The only progress I remember being made with Apery's constant, for instance, was it being proven irrational.
        $endgroup$
        – J. M. is not a mathematician
        Apr 27 '11 at 19:11




        $begingroup$
        @Garou: Even with that relaxed criterion, I believe your question remains unsolved. The only progress I remember being made with Apery's constant, for instance, was it being proven irrational.
        $endgroup$
        – J. M. is not a mathematician
        Apr 27 '11 at 19:11




        8




        8




        $begingroup$
        @Jason: Dear Jason, There are specific reasons, related to the geometry behind the period integrals that compute these zeta values, for conjecturing this irrationality. So it is not just conjectured on the basis of a genericity argument. In fact, the algebraic relations between the zeta values (or rather, the absence of such --- see my comments below the question) should reflect the highly structured geometry (the geometry of mixed Tate motives) that underlies the period integrals giving rise to the zeta values. Best wishes,
        $endgroup$
        – Matt E
        Apr 28 '11 at 2:49






        $begingroup$
        @Jason: Dear Jason, There are specific reasons, related to the geometry behind the period integrals that compute these zeta values, for conjecturing this irrationality. So it is not just conjectured on the basis of a genericity argument. In fact, the algebraic relations between the zeta values (or rather, the absence of such --- see my comments below the question) should reflect the highly structured geometry (the geometry of mixed Tate motives) that underlies the period integrals giving rise to the zeta values. Best wishes,
        $endgroup$
        – Matt E
        Apr 28 '11 at 2:49













        26












        $begingroup$

        See this question at MO. The short answer is that we don't know whether $zeta(3)/pi^3$ is rational (I assume that that's what you meant), but nobody seriously believes it is. Indeed, it shouldn't be, instead it should be connected to a certain higher regulator (google for Borel regulator and/or Lichtenbaum conjecture if you want to know more, but beware that it's pretty technical stuff).






        share|cite|improve this answer











        $endgroup$


















          26












          $begingroup$

          See this question at MO. The short answer is that we don't know whether $zeta(3)/pi^3$ is rational (I assume that that's what you meant), but nobody seriously believes it is. Indeed, it shouldn't be, instead it should be connected to a certain higher regulator (google for Borel regulator and/or Lichtenbaum conjecture if you want to know more, but beware that it's pretty technical stuff).






          share|cite|improve this answer











          $endgroup$
















            26












            26








            26





            $begingroup$

            See this question at MO. The short answer is that we don't know whether $zeta(3)/pi^3$ is rational (I assume that that's what you meant), but nobody seriously believes it is. Indeed, it shouldn't be, instead it should be connected to a certain higher regulator (google for Borel regulator and/or Lichtenbaum conjecture if you want to know more, but beware that it's pretty technical stuff).






            share|cite|improve this answer











            $endgroup$



            See this question at MO. The short answer is that we don't know whether $zeta(3)/pi^3$ is rational (I assume that that's what you meant), but nobody seriously believes it is. Indeed, it shouldn't be, instead it should be connected to a certain higher regulator (google for Borel regulator and/or Lichtenbaum conjecture if you want to know more, but beware that it's pretty technical stuff).







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited Apr 13 '17 at 12:58









            Community

            1




            1










            answered Apr 27 '11 at 13:19









            Alex B.Alex B.

            16.3k13567




            16.3k13567























                4












                $begingroup$

                I'll answer your modified question, as explained in your comment:




                I am not searching for a rational
                number, maybe could be a
                irrational...a strange irrational.
                Maybe α uses γ (constant).




                It's known through LLL testing that there is no simple form of $zeta(3)$ involving low powers of $pi$, certain other constants like $gamma,$ and simple (small denominator) rationals. It's not expected that such a form exists at all, but of course this is not known (and probably won't be any time soon).






                share|cite|improve this answer









                $endgroup$


















                  4












                  $begingroup$

                  I'll answer your modified question, as explained in your comment:




                  I am not searching for a rational
                  number, maybe could be a
                  irrational...a strange irrational.
                  Maybe α uses γ (constant).




                  It's known through LLL testing that there is no simple form of $zeta(3)$ involving low powers of $pi$, certain other constants like $gamma,$ and simple (small denominator) rationals. It's not expected that such a form exists at all, but of course this is not known (and probably won't be any time soon).






                  share|cite|improve this answer









                  $endgroup$
















                    4












                    4








                    4





                    $begingroup$

                    I'll answer your modified question, as explained in your comment:




                    I am not searching for a rational
                    number, maybe could be a
                    irrational...a strange irrational.
                    Maybe α uses γ (constant).




                    It's known through LLL testing that there is no simple form of $zeta(3)$ involving low powers of $pi$, certain other constants like $gamma,$ and simple (small denominator) rationals. It's not expected that such a form exists at all, but of course this is not known (and probably won't be any time soon).






                    share|cite|improve this answer









                    $endgroup$



                    I'll answer your modified question, as explained in your comment:




                    I am not searching for a rational
                    number, maybe could be a
                    irrational...a strange irrational.
                    Maybe α uses γ (constant).




                    It's known through LLL testing that there is no simple form of $zeta(3)$ involving low powers of $pi$, certain other constants like $gamma,$ and simple (small denominator) rationals. It's not expected that such a form exists at all, but of course this is not known (and probably won't be any time soon).







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered May 9 '11 at 17:56









                    CharlesCharles

                    23.9k452115




                    23.9k452115























                        0












                        $begingroup$

                        Other than the answers presented in this post, I would like to mention several formulae expressing $zeta(3)$ (and other odd zeta values) in terms of powers of $pi$. The most well-known ones are due to Plouffe and Borwein & Bradley:



                        $$
                        begin{aligned}
                        zeta(3)&=frac{7pi^3}{180}-2sum_{n=1}^infty frac{1}{n^3(e^{2pi n}-1)},\
                        sum_{n=1}^infty frac{1}{n^3,binom {2n}n} &= -frac{4}{3},zeta(3)+frac{pisqrt{3}}{2cdot 3^2},left(zeta(2, tfrac{1}{3})-zeta(2,tfrac{2}{3}) right).
                        end{aligned}
                        $$



                        Moreover, in this Math.SE post we have:



                        $$
                        frac{3}{2},zeta(3) = frac{pi^3}{24}sqrt{2}-2sum_{k=1}^infty frac{1}{k^3(e^{pi ksqrt{2}}-1)}-sum_{k=1}^inftyfrac{1}{k^3(e^{2pi ksqrt{2}}-1)}.
                        $$



                        You can also check out this paper by Vepstas, which provides a nice generalization to some of these identities.






                        share|cite|improve this answer









                        $endgroup$


















                          0












                          $begingroup$

                          Other than the answers presented in this post, I would like to mention several formulae expressing $zeta(3)$ (and other odd zeta values) in terms of powers of $pi$. The most well-known ones are due to Plouffe and Borwein & Bradley:



                          $$
                          begin{aligned}
                          zeta(3)&=frac{7pi^3}{180}-2sum_{n=1}^infty frac{1}{n^3(e^{2pi n}-1)},\
                          sum_{n=1}^infty frac{1}{n^3,binom {2n}n} &= -frac{4}{3},zeta(3)+frac{pisqrt{3}}{2cdot 3^2},left(zeta(2, tfrac{1}{3})-zeta(2,tfrac{2}{3}) right).
                          end{aligned}
                          $$



                          Moreover, in this Math.SE post we have:



                          $$
                          frac{3}{2},zeta(3) = frac{pi^3}{24}sqrt{2}-2sum_{k=1}^infty frac{1}{k^3(e^{pi ksqrt{2}}-1)}-sum_{k=1}^inftyfrac{1}{k^3(e^{2pi ksqrt{2}}-1)}.
                          $$



                          You can also check out this paper by Vepstas, which provides a nice generalization to some of these identities.






                          share|cite|improve this answer









                          $endgroup$
















                            0












                            0








                            0





                            $begingroup$

                            Other than the answers presented in this post, I would like to mention several formulae expressing $zeta(3)$ (and other odd zeta values) in terms of powers of $pi$. The most well-known ones are due to Plouffe and Borwein & Bradley:



                            $$
                            begin{aligned}
                            zeta(3)&=frac{7pi^3}{180}-2sum_{n=1}^infty frac{1}{n^3(e^{2pi n}-1)},\
                            sum_{n=1}^infty frac{1}{n^3,binom {2n}n} &= -frac{4}{3},zeta(3)+frac{pisqrt{3}}{2cdot 3^2},left(zeta(2, tfrac{1}{3})-zeta(2,tfrac{2}{3}) right).
                            end{aligned}
                            $$



                            Moreover, in this Math.SE post we have:



                            $$
                            frac{3}{2},zeta(3) = frac{pi^3}{24}sqrt{2}-2sum_{k=1}^infty frac{1}{k^3(e^{pi ksqrt{2}}-1)}-sum_{k=1}^inftyfrac{1}{k^3(e^{2pi ksqrt{2}}-1)}.
                            $$



                            You can also check out this paper by Vepstas, which provides a nice generalization to some of these identities.






                            share|cite|improve this answer









                            $endgroup$



                            Other than the answers presented in this post, I would like to mention several formulae expressing $zeta(3)$ (and other odd zeta values) in terms of powers of $pi$. The most well-known ones are due to Plouffe and Borwein & Bradley:



                            $$
                            begin{aligned}
                            zeta(3)&=frac{7pi^3}{180}-2sum_{n=1}^infty frac{1}{n^3(e^{2pi n}-1)},\
                            sum_{n=1}^infty frac{1}{n^3,binom {2n}n} &= -frac{4}{3},zeta(3)+frac{pisqrt{3}}{2cdot 3^2},left(zeta(2, tfrac{1}{3})-zeta(2,tfrac{2}{3}) right).
                            end{aligned}
                            $$



                            Moreover, in this Math.SE post we have:



                            $$
                            frac{3}{2},zeta(3) = frac{pi^3}{24}sqrt{2}-2sum_{k=1}^infty frac{1}{k^3(e^{pi ksqrt{2}}-1)}-sum_{k=1}^inftyfrac{1}{k^3(e^{2pi ksqrt{2}}-1)}.
                            $$



                            You can also check out this paper by Vepstas, which provides a nice generalization to some of these identities.







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered Dec 13 '18 at 10:31









                            KlangenKlangen

                            1,72811334




                            1,72811334























                                -3












                                $begingroup$

                                I'm hoping it'll turn out to be related somehow to OEIS A104007



                                $zeta(3)=c cdot pi^3/60$



                                $zeta(5)=c cdot pi^5/378$



                                $zeta(7)=c cdot pi^7/2700$



                                where $c$ is either a constant or a function of $n$. The sequence 6,60,90,378,945,2700 are the denominators of coefficients in the expansion of $frac{x^2}{(1-e^{-2x})^{2}}$.






                                share|cite|improve this answer











                                $endgroup$









                                • 3




                                  $begingroup$
                                  By numerics alone you can rule out the possibility that such a constant $c$ exists.
                                  $endgroup$
                                  – Gerben
                                  Apr 27 '11 at 14:32






                                • 2




                                  $begingroup$
                                  ...and as a function of $n$, $c(n)$ exists (trivially), but may not take on values only in $mathbb{Q}$. So, the current statement in the answer appears vacuous.
                                  $endgroup$
                                  – cardinal
                                  Apr 27 '11 at 14:46






                                • 2




                                  $begingroup$
                                  As is stated in the comments to the MO question, this is not actually a natural conjecture to make. There are good reasons one should expect the zeta function to behave very differently at the odd and the even integers.
                                  $endgroup$
                                  – Qiaochu Yuan
                                  Apr 28 '11 at 0:58








                                • 5




                                  $begingroup$
                                  @Mitch: actually, my understanding is that it's not natural to expect a simple expression in terms of known constants. Again, there are deep conjectures about what should happen, but I'm not at all familiar with them.
                                  $endgroup$
                                  – Qiaochu Yuan
                                  Apr 28 '11 at 1:15






                                • 10




                                  $begingroup$
                                  Dear Mitch, Although there are not many theorems proved about $zeta$ at odd integers, there is a well-developed theoretical picture which is expected to explain these values. Unlike in the case of positive even integers, it is not expected that the values at the positive odd integers should be related to one another, or to $pi$. Regards,
                                  $endgroup$
                                  – Matt E
                                  Apr 28 '11 at 2:16
















                                -3












                                $begingroup$

                                I'm hoping it'll turn out to be related somehow to OEIS A104007



                                $zeta(3)=c cdot pi^3/60$



                                $zeta(5)=c cdot pi^5/378$



                                $zeta(7)=c cdot pi^7/2700$



                                where $c$ is either a constant or a function of $n$. The sequence 6,60,90,378,945,2700 are the denominators of coefficients in the expansion of $frac{x^2}{(1-e^{-2x})^{2}}$.






                                share|cite|improve this answer











                                $endgroup$









                                • 3




                                  $begingroup$
                                  By numerics alone you can rule out the possibility that such a constant $c$ exists.
                                  $endgroup$
                                  – Gerben
                                  Apr 27 '11 at 14:32






                                • 2




                                  $begingroup$
                                  ...and as a function of $n$, $c(n)$ exists (trivially), but may not take on values only in $mathbb{Q}$. So, the current statement in the answer appears vacuous.
                                  $endgroup$
                                  – cardinal
                                  Apr 27 '11 at 14:46






                                • 2




                                  $begingroup$
                                  As is stated in the comments to the MO question, this is not actually a natural conjecture to make. There are good reasons one should expect the zeta function to behave very differently at the odd and the even integers.
                                  $endgroup$
                                  – Qiaochu Yuan
                                  Apr 28 '11 at 0:58








                                • 5




                                  $begingroup$
                                  @Mitch: actually, my understanding is that it's not natural to expect a simple expression in terms of known constants. Again, there are deep conjectures about what should happen, but I'm not at all familiar with them.
                                  $endgroup$
                                  – Qiaochu Yuan
                                  Apr 28 '11 at 1:15






                                • 10




                                  $begingroup$
                                  Dear Mitch, Although there are not many theorems proved about $zeta$ at odd integers, there is a well-developed theoretical picture which is expected to explain these values. Unlike in the case of positive even integers, it is not expected that the values at the positive odd integers should be related to one another, or to $pi$. Regards,
                                  $endgroup$
                                  – Matt E
                                  Apr 28 '11 at 2:16














                                -3












                                -3








                                -3





                                $begingroup$

                                I'm hoping it'll turn out to be related somehow to OEIS A104007



                                $zeta(3)=c cdot pi^3/60$



                                $zeta(5)=c cdot pi^5/378$



                                $zeta(7)=c cdot pi^7/2700$



                                where $c$ is either a constant or a function of $n$. The sequence 6,60,90,378,945,2700 are the denominators of coefficients in the expansion of $frac{x^2}{(1-e^{-2x})^{2}}$.






                                share|cite|improve this answer











                                $endgroup$



                                I'm hoping it'll turn out to be related somehow to OEIS A104007



                                $zeta(3)=c cdot pi^3/60$



                                $zeta(5)=c cdot pi^5/378$



                                $zeta(7)=c cdot pi^7/2700$



                                where $c$ is either a constant or a function of $n$. The sequence 6,60,90,378,945,2700 are the denominators of coefficients in the expansion of $frac{x^2}{(1-e^{-2x})^{2}}$.







                                share|cite|improve this answer














                                share|cite|improve this answer



                                share|cite|improve this answer








                                edited Apr 28 '11 at 2:45

























                                answered Apr 27 '11 at 14:21









                                MitchMitch

                                6,0362560




                                6,0362560








                                • 3




                                  $begingroup$
                                  By numerics alone you can rule out the possibility that such a constant $c$ exists.
                                  $endgroup$
                                  – Gerben
                                  Apr 27 '11 at 14:32






                                • 2




                                  $begingroup$
                                  ...and as a function of $n$, $c(n)$ exists (trivially), but may not take on values only in $mathbb{Q}$. So, the current statement in the answer appears vacuous.
                                  $endgroup$
                                  – cardinal
                                  Apr 27 '11 at 14:46






                                • 2




                                  $begingroup$
                                  As is stated in the comments to the MO question, this is not actually a natural conjecture to make. There are good reasons one should expect the zeta function to behave very differently at the odd and the even integers.
                                  $endgroup$
                                  – Qiaochu Yuan
                                  Apr 28 '11 at 0:58








                                • 5




                                  $begingroup$
                                  @Mitch: actually, my understanding is that it's not natural to expect a simple expression in terms of known constants. Again, there are deep conjectures about what should happen, but I'm not at all familiar with them.
                                  $endgroup$
                                  – Qiaochu Yuan
                                  Apr 28 '11 at 1:15






                                • 10




                                  $begingroup$
                                  Dear Mitch, Although there are not many theorems proved about $zeta$ at odd integers, there is a well-developed theoretical picture which is expected to explain these values. Unlike in the case of positive even integers, it is not expected that the values at the positive odd integers should be related to one another, or to $pi$. Regards,
                                  $endgroup$
                                  – Matt E
                                  Apr 28 '11 at 2:16














                                • 3




                                  $begingroup$
                                  By numerics alone you can rule out the possibility that such a constant $c$ exists.
                                  $endgroup$
                                  – Gerben
                                  Apr 27 '11 at 14:32






                                • 2




                                  $begingroup$
                                  ...and as a function of $n$, $c(n)$ exists (trivially), but may not take on values only in $mathbb{Q}$. So, the current statement in the answer appears vacuous.
                                  $endgroup$
                                  – cardinal
                                  Apr 27 '11 at 14:46






                                • 2




                                  $begingroup$
                                  As is stated in the comments to the MO question, this is not actually a natural conjecture to make. There are good reasons one should expect the zeta function to behave very differently at the odd and the even integers.
                                  $endgroup$
                                  – Qiaochu Yuan
                                  Apr 28 '11 at 0:58








                                • 5




                                  $begingroup$
                                  @Mitch: actually, my understanding is that it's not natural to expect a simple expression in terms of known constants. Again, there are deep conjectures about what should happen, but I'm not at all familiar with them.
                                  $endgroup$
                                  – Qiaochu Yuan
                                  Apr 28 '11 at 1:15






                                • 10




                                  $begingroup$
                                  Dear Mitch, Although there are not many theorems proved about $zeta$ at odd integers, there is a well-developed theoretical picture which is expected to explain these values. Unlike in the case of positive even integers, it is not expected that the values at the positive odd integers should be related to one another, or to $pi$. Regards,
                                  $endgroup$
                                  – Matt E
                                  Apr 28 '11 at 2:16








                                3




                                3




                                $begingroup$
                                By numerics alone you can rule out the possibility that such a constant $c$ exists.
                                $endgroup$
                                – Gerben
                                Apr 27 '11 at 14:32




                                $begingroup$
                                By numerics alone you can rule out the possibility that such a constant $c$ exists.
                                $endgroup$
                                – Gerben
                                Apr 27 '11 at 14:32




                                2




                                2




                                $begingroup$
                                ...and as a function of $n$, $c(n)$ exists (trivially), but may not take on values only in $mathbb{Q}$. So, the current statement in the answer appears vacuous.
                                $endgroup$
                                – cardinal
                                Apr 27 '11 at 14:46




                                $begingroup$
                                ...and as a function of $n$, $c(n)$ exists (trivially), but may not take on values only in $mathbb{Q}$. So, the current statement in the answer appears vacuous.
                                $endgroup$
                                – cardinal
                                Apr 27 '11 at 14:46




                                2




                                2




                                $begingroup$
                                As is stated in the comments to the MO question, this is not actually a natural conjecture to make. There are good reasons one should expect the zeta function to behave very differently at the odd and the even integers.
                                $endgroup$
                                – Qiaochu Yuan
                                Apr 28 '11 at 0:58






                                $begingroup$
                                As is stated in the comments to the MO question, this is not actually a natural conjecture to make. There are good reasons one should expect the zeta function to behave very differently at the odd and the even integers.
                                $endgroup$
                                – Qiaochu Yuan
                                Apr 28 '11 at 0:58






                                5




                                5




                                $begingroup$
                                @Mitch: actually, my understanding is that it's not natural to expect a simple expression in terms of known constants. Again, there are deep conjectures about what should happen, but I'm not at all familiar with them.
                                $endgroup$
                                – Qiaochu Yuan
                                Apr 28 '11 at 1:15




                                $begingroup$
                                @Mitch: actually, my understanding is that it's not natural to expect a simple expression in terms of known constants. Again, there are deep conjectures about what should happen, but I'm not at all familiar with them.
                                $endgroup$
                                – Qiaochu Yuan
                                Apr 28 '11 at 1:15




                                10




                                10




                                $begingroup$
                                Dear Mitch, Although there are not many theorems proved about $zeta$ at odd integers, there is a well-developed theoretical picture which is expected to explain these values. Unlike in the case of positive even integers, it is not expected that the values at the positive odd integers should be related to one another, or to $pi$. Regards,
                                $endgroup$
                                – Matt E
                                Apr 28 '11 at 2:16




                                $begingroup$
                                Dear Mitch, Although there are not many theorems proved about $zeta$ at odd integers, there is a well-developed theoretical picture which is expected to explain these values. Unlike in the case of positive even integers, it is not expected that the values at the positive odd integers should be related to one another, or to $pi$. Regards,
                                $endgroup$
                                – Matt E
                                Apr 28 '11 at 2:16


















                                draft saved

                                draft discarded




















































                                Thanks for contributing an answer to Mathematics Stack Exchange!


                                • Please be sure to answer the question. Provide details and share your research!

                                But avoid



                                • Asking for help, clarification, or responding to other answers.

                                • Making statements based on opinion; back them up with references or personal experience.


                                Use MathJax to format equations. MathJax reference.


                                To learn more, see our tips on writing great answers.




                                draft saved


                                draft discarded














                                StackExchange.ready(
                                function () {
                                StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f35412%2fdoes-zeta3-have-a-connection-with-pi%23new-answer', 'question_page');
                                }
                                );

                                Post as a guest















                                Required, but never shown





















































                                Required, but never shown














                                Required, but never shown












                                Required, but never shown







                                Required, but never shown

































                                Required, but never shown














                                Required, but never shown












                                Required, but never shown







                                Required, but never shown







                                Popular posts from this blog

                                Quarter-circle Tiles

                                build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

                                Mont Emei