Mixing
How to derive relationship between Dedekind's $eta$ function and $Gamma(frac14)$
Clash Royale CLAN TAG#URR8PPP
up vote
4
down vote
favorite
I am trying to determine in what way to approach finding a connection between Dedekind's Eta Function, defined as $$eta(tau)=q^frac124prod_n=1^infty(1-q^n)$$
where $q=e^2pi i tau$ is referred to as the nome.
and the Gamma Function $$Gamma(s)=int_0^infty x^s-1e^-xdx$$ More specifically I would like to understand through what methods these identities are derived: $$eta(i)=Gamma(frac14)fracpi^-3/42$$
$$eta(2i)=Gamma(frac14)2^-11/8pi^-3/4$$
And in general what seems to be $$eta(ki)=Gamma(frac14)pi^-3/4C_k$$
for whole numbers $k$ and some constant $C_k$ Where $C_k$ looks to be algebraic for $kin 1,2,3,4$.
I guess what I really want to know is why does this factor of $Gamma(frac14)pi^-3/4$ come into play at imaginary integer values for the $eta$ function?
I know there is a relationship between the $eta$ and Jacobi Theta Functions that can be found using the Pentagonal Number Theorem or Jacobi's Triple Product Identity but I do not know how it fits into evaluation of $eta(ki)$.
EDIT:My attempt at an answer: $$int_-infty^infty e^-x^2p dx=fracGamma(frac12p)p$$ can be derived through substitution. $$fracGamma^2(frac12p)p^2=int_Bbb R^2exp(-(x^2p+y^2p)dxdy$$
Applying the coordinate transformation $x^2p+y^2p=r^2p$ with $x=rfraccos(phi)^2p$ and $y=rfracsin(phi)^2p$ I get$$fracGamma^2(frac12p)p^2=int_0^infty re^-r^2pdrint_0^2pifracdphi(sin^2p(phi)+cos^2p(phi))^frac1p$$
The integral over $r$ evaluates to $fracGamma(frac1p)2p$
So$$frac2Gamma^2(frac12p)pGamma(frac1p)=int_0^2pifracdphi(sin^2p(phi)+cos^2p(phi))^frac1p$$
The integral is symmetric over $[0,pi]$ and $[pi, 2pi]$ so we get $$fracGamma^2(frac12p)pGamma(frac1p)=int_0^pifracdphi(sin^2p(phi)+cos^2p(phi))^frac1p$$ Plugging in $p=2$ yields $$fracGamma^2(frac14)2sqrtpi=int_0^pi fracdphisqrtsin^4(phi)+cos^4(phi)$$Using $u=cos(phi)$ I arrive at $$fracGamma^2(frac14)2sqrtpi=int_-1^1 fracdusqrt(2u^4-2u^2+1)(1-u^2)$$
$$fracGamma^2(frac14)4sqrtpi=int_0^1 fracdusqrt-2u^6+5u^4-3u^2+1$$
This looks to be similar to an elliptic integral but I am finding trouble reducing it to a form that I can evaluate.
EDIT: If I can evaluate the integral in terms of the Complete Elliptic Integral of the First Kind, I can use its relation with Jacobi's Third Theta Function to evaluate it in terms of $eta$. Such that$$fracGamma^2(frac14)4sqrtpi=cK(k')=fracpi2theta_3^2(q)$$
So that we arrive at the familiar form on the LHS $$fracGamma(frac14)pi^-3/42=fractheta_3(q)sqrt2c$$
special-functions gamma-function elliptic-functions elliptic-integrals dedekind-eta-function
asked Jul 15 at 19:28
aleden
1,225311
add a comment |Â
up vote
4
down vote
favorite
I am trying to determine in what way to approach finding a connection between Dedekind's Eta Function, defined as $$eta(tau)=q^frac124prod_n=1^infty(1-q^n)$$
where $q=e^2pi i tau$ is referred to as the nome.
and the Gamma Function $$Gamma(s)=int_0^infty x^s-1e^-xdx$$ More specifically I would like to understand through what methods these identities are derived: $$eta(i)=Gamma(frac14)fracpi^-3/42$$
$$eta(2i)=Gamma(frac14)2^-11/8pi^-3/4$$
And in general what seems to be $$eta(ki)=Gamma(frac14)pi^-3/4C_k$$
for whole numbers $k$ and some constant $C_k$ Where $C_k$ looks to be algebraic for $kin 1,2,3,4$.
I guess what I really want to know is why does this factor of $Gamma(frac14)pi^-3/4$ come into play at imaginary integer values for the $eta$ function?
I know there is a relationship between the $eta$ and Jacobi Theta Functions that can be found using the Pentagonal Number Theorem or Jacobi's Triple Product Identity but I do not know how it fits into evaluation of $eta(ki)$.
EDIT:My attempt at an answer: $$int_-infty^infty e^-x^2p dx=fracGamma(frac12p)p$$ can be derived through substitution. $$fracGamma^2(frac12p)p^2=int_Bbb R^2exp(-(x^2p+y^2p)dxdy$$
Applying the coordinate transformation $x^2p+y^2p=r^2p$ with $x=rfraccos(phi)^2p$ and $y=rfracsin(phi)^2p$ I get$$fracGamma^2(frac12p)p^2=int_0^infty re^-r^2pdrint_0^2pifracdphi(sin^2p(phi)+cos^2p(phi))^frac1p$$
The integral over $r$ evaluates to $fracGamma(frac1p)2p$
So$$frac2Gamma^2(frac12p)pGamma(frac1p)=int_0^2pifracdphi(sin^2p(phi)+cos^2p(phi))^frac1p$$
The integral is symmetric over $[0,pi]$ and $[pi, 2pi]$ so we get $$fracGamma^2(frac12p)pGamma(frac1p)=int_0^pifracdphi(sin^2p(phi)+cos^2p(phi))^frac1p$$ Plugging in $p=2$ yields $$fracGamma^2(frac14)2sqrtpi=int_0^pi fracdphisqrtsin^4(phi)+cos^4(phi)$$Using $u=cos(phi)$ I arrive at $$fracGamma^2(frac14)2sqrtpi=int_-1^1 fracdusqrt(2u^4-2u^2+1)(1-u^2)$$
$$fracGamma^2(frac14)4sqrtpi=int_0^1 fracdusqrt-2u^6+5u^4-3u^2+1$$
This looks to be similar to an elliptic integral but I am finding trouble reducing it to a form that I can evaluate.
EDIT: If I can evaluate the integral in terms of the Complete Elliptic Integral of the First Kind, I can use its relation with Jacobi's Third Theta Function to evaluate it in terms of $eta$. Such that$$fracGamma^2(frac14)4sqrtpi=cK(k')=fracpi2theta_3^2(q)$$
So that we arrive at the familiar form on the LHS $$fracGamma(frac14)pi^-3/42=fractheta_3(q)sqrt2c$$
special-functions gamma-function elliptic-functions elliptic-integrals dedekind-eta-function
asked Jul 15 at 19:28
aleden
1,225311
This is a possible duplicate of : math.stackexchange.com/questions/1334684/…
– Mason
Jul 16 at 22:24
@Mason I don't see how my question is a duplicate. The other OP asks for the value of $eta(6i)$ whereas I want to know why the ratio $Gamma(1/4)pi^-3/4$ appears in those values. The other question did not make mention of this at all.
– aleden
Jul 16 at 23:02
The question does make mention of this? It is question 2 of his 2 questions. But I agree that the title of that question could use work.
– Mason
Jul 16 at 23:20
@Mason In question 2, he asks if $C_k$ is algebraic which is not my question. My question is why or how the other ratio appears.
– aleden
Jul 16 at 23:26
add a comment |Â
up vote
4
down vote
favorite
up vote
4
down vote
favorite
I am trying to determine in what way to approach finding a connection between Dedekind's Eta Function, defined as $$eta(tau)=q^frac124prod_n=1^infty(1-q^n)$$
where $q=e^2pi i tau$ is referred to as the nome.
and the Gamma Function $$Gamma(s)=int_0^infty x^s-1e^-xdx$$ More specifically I would like to understand through what methods these identities are derived: $$eta(i)=Gamma(frac14)fracpi^-3/42$$
$$eta(2i)=Gamma(frac14)2^-11/8pi^-3/4$$
And in general what seems to be $$eta(ki)=Gamma(frac14)pi^-3/4C_k$$
for whole numbers $k$ and some constant $C_k$ Where $C_k$ looks to be algebraic for $kin 1,2,3,4$.
I guess what I really want to know is why does this factor of $Gamma(frac14)pi^-3/4$ come into play at imaginary integer values for the $eta$ function?
I know there is a relationship between the $eta$ and Jacobi Theta Functions that can be found using the Pentagonal Number Theorem or Jacobi's Triple Product Identity but I do not know how it fits into evaluation of $eta(ki)$.
EDIT:My attempt at an answer: $$int_-infty^infty e^-x^2p dx=fracGamma(frac12p)p$$ can be derived through substitution. $$fracGamma^2(frac12p)p^2=int_Bbb R^2exp(-(x^2p+y^2p)dxdy$$
Applying the coordinate transformation $x^2p+y^2p=r^2p$ with $x=rfraccos(phi)^2p$ and $y=rfracsin(phi)^2p$ I get$$fracGamma^2(frac12p)p^2=int_0^infty re^-r^2pdrint_0^2pifracdphi(sin^2p(phi)+cos^2p(phi))^frac1p$$
The integral over $r$ evaluates to $fracGamma(frac1p)2p$
So$$frac2Gamma^2(frac12p)pGamma(frac1p)=int_0^2pifracdphi(sin^2p(phi)+cos^2p(phi))^frac1p$$
The integral is symmetric over $[0,pi]$ and $[pi, 2pi]$ so we get $$fracGamma^2(frac12p)pGamma(frac1p)=int_0^pifracdphi(sin^2p(phi)+cos^2p(phi))^frac1p$$ Plugging in $p=2$ yields $$fracGamma^2(frac14)2sqrtpi=int_0^pi fracdphisqrtsin^4(phi)+cos^4(phi)$$Using $u=cos(phi)$ I arrive at $$fracGamma^2(frac14)2sqrtpi=int_-1^1 fracdusqrt(2u^4-2u^2+1)(1-u^2)$$
$$fracGamma^2(frac14)4sqrtpi=int_0^1 fracdusqrt-2u^6+5u^4-3u^2+1$$
This looks to be similar to an elliptic integral but I am finding trouble reducing it to a form that I can evaluate.
EDIT: If I can evaluate the integral in terms of the Complete Elliptic Integral of the First Kind, I can use its relation with Jacobi's Third Theta Function to evaluate it in terms of $eta$. Such that$$fracGamma^2(frac14)4sqrtpi=cK(k')=fracpi2theta_3^2(q)$$
So that we arrive at the familiar form on the LHS $$fracGamma(frac14)pi^-3/42=fractheta_3(q)sqrt2c$$
special-functions gamma-function elliptic-functions elliptic-integrals dedekind-eta-function
asked Jul 15 at 19:28
aleden
1,225311
I am trying to determine in what way to approach finding a connection between Dedekind's Eta Function, defined as $$eta(tau)=q^frac124prod_n=1^infty(1-q^n)$$
where $q=e^2pi i tau$ is referred to as the nome.
and the Gamma Function $$Gamma(s)=int_0^infty x^s-1e^-xdx$$ More specifically I would like to understand through what methods these identities are derived: $$eta(i)=Gamma(frac14)fracpi^-3/42$$
$$eta(2i)=Gamma(frac14)2^-11/8pi^-3/4$$
And in general what seems to be $$eta(ki)=Gamma(frac14)pi^-3/4C_k$$
for whole numbers $k$ and some constant $C_k$ Where $C_k$ looks to be algebraic for $kin 1,2,3,4$.
I guess what I really want to know is why does this factor of $Gamma(frac14)pi^-3/4$ come into play at imaginary integer values for the $eta$ function?
I know there is a relationship between the $eta$ and Jacobi Theta Functions that can be found using the Pentagonal Number Theorem or Jacobi's Triple Product Identity but I do not know how it fits into evaluation of $eta(ki)$.
EDIT:My attempt at an answer: $$int_-infty^infty e^-x^2p dx=fracGamma(frac12p)p$$ can be derived through substitution. $$fracGamma^2(frac12p)p^2=int_Bbb R^2exp(-(x^2p+y^2p)dxdy$$
Applying the coordinate transformation $x^2p+y^2p=r^2p$ with $x=rfraccos(phi)^2p$ and $y=rfracsin(phi)^2p$ I get$$fracGamma^2(frac12p)p^2=int_0^infty re^-r^2pdrint_0^2pifracdphi(sin^2p(phi)+cos^2p(phi))^frac1p$$
The integral over $r$ evaluates to $fracGamma(frac1p)2p$
So$$frac2Gamma^2(frac12p)pGamma(frac1p)=int_0^2pifracdphi(sin^2p(phi)+cos^2p(phi))^frac1p$$
The integral is symmetric over $[0,pi]$ and $[pi, 2pi]$ so we get $$fracGamma^2(frac12p)pGamma(frac1p)=int_0^pifracdphi(sin^2p(phi)+cos^2p(phi))^frac1p$$ Plugging in $p=2$ yields $$fracGamma^2(frac14)2sqrtpi=int_0^pi fracdphisqrtsin^4(phi)+cos^4(phi)$$Using $u=cos(phi)$ I arrive at $$fracGamma^2(frac14)2sqrtpi=int_-1^1 fracdusqrt(2u^4-2u^2+1)(1-u^2)$$
$$fracGamma^2(frac14)4sqrtpi=int_0^1 fracdusqrt-2u^6+5u^4-3u^2+1$$
This looks to be similar to an elliptic integral but I am finding trouble reducing it to a form that I can evaluate.
EDIT: If I can evaluate the integral in terms of the Complete Elliptic Integral of the First Kind, I can use its relation with Jacobi's Third Theta Function to evaluate it in terms of $eta$. Such that$$fracGamma^2(frac14)4sqrtpi=cK(k')=fracpi2theta_3^2(q)$$
So that we arrive at the familiar form on the LHS $$fracGamma(frac14)pi^-3/42=fractheta_3(q)sqrt2c$$
special-functions gamma-function elliptic-functions elliptic-integrals dedekind-eta-function
asked Jul 15 at 19:28
aleden
1,225311
edited Jul 16 at 3:14
asked Jul 15 at 19:28
aleden
1,225311
asked Jul 15 at 19:28
aleden
1,225311
asked Jul 15 at 19:28
aleden
1,225311
1,225311
This is a possible duplicate of : math.stackexchange.com/questions/1334684/…
– Mason
Jul 16 at 22:24
@Mason I don't see how my question is a duplicate. The other OP asks for the value of $eta(6i)$ whereas I want to know why the ratio $Gamma(1/4)pi^-3/4$ appears in those values. The other question did not make mention of this at all.
– aleden
Jul 16 at 23:02
The question does make mention of this? It is question 2 of his 2 questions. But I agree that the title of that question could use work.
– Mason
Jul 16 at 23:20
@Mason In question 2, he asks if $C_k$ is algebraic which is not my question. My question is why or how the other ratio appears.
– aleden
Jul 16 at 23:26
add a comment |Â
This is a possible duplicate of : math.stackexchange.com/questions/1334684/…
– Mason
Jul 16 at 22:24
@Mason I don't see how my question is a duplicate. The other OP asks for the value of $eta(6i)$ whereas I want to know why the ratio $Gamma(1/4)pi^-3/4$ appears in those values. The other question did not make mention of this at all.
– aleden
Jul 16 at 23:02
The question does make mention of this? It is question 2 of his 2 questions. But I agree that the title of that question could use work.
– Mason
Jul 16 at 23:20
@Mason In question 2, he asks if $C_k$ is algebraic which is not my question. My question is why or how the other ratio appears.
– aleden
Jul 16 at 23:26
This is a possible duplicate of : math.stackexchange.com/questions/1334684/…
– Mason
Jul 16 at 22:24
This is a possible duplicate of : math.stackexchange.com/questions/1334684/…
– Mason
Jul 16 at 22:24
@Mason I don't see how my question is a duplicate. The other OP asks for the value of $eta(6i)$ whereas I want to know why the ratio $Gamma(1/4)pi^-3/4$ appears in those values. The other question did not make mention of this at all.
– aleden
Jul 16 at 23:02
@Mason I don't see how my question is a duplicate. The other OP asks for the value of $eta(6i)$ whereas I want to know why the ratio $Gamma(1/4)pi^-3/4$ appears in those values. The other question did not make mention of this at all.
– aleden
Jul 16 at 23:02
The question does make mention of this? It is question 2 of his 2 questions. But I agree that the title of that question could use work.
– Mason
Jul 16 at 23:20
The question does make mention of this? It is question 2 of his 2 questions. But I agree that the title of that question could use work.
– Mason
Jul 16 at 23:20
@Mason In question 2, he asks if $C_k$ is algebraic which is not my question. My question is why or how the other ratio appears.
– aleden
Jul 16 at 23:26
@Mason In question 2, he asks if $C_k$ is algebraic which is not my question. My question is why or how the other ratio appears.
– aleden
Jul 16 at 23:26
add a comment |Â
4 Answers
4
active
oldest
votes
up vote
2
down vote
accepted
The key is the link between the Dedekind eta function and elliptic integrals.
Let $tau$ be purely imaginary and in upper half of complex plane and let $$q=exp(2pi itau) in(0,1)$$ be the corresponding nome. Consider the elliptic modulus $kin(0,1)$ corresponding to nome $q$ given in terms of $q$ via Jacobi theta functions $$k=fracvartheta_2^2(q)vartheta _3^2(q),,vartheta_2(q)=sum_ninmathbb Z q^(n+(1/2))^2,,vartheta _3(q)=sum_ninmathbb Z q^n^2tag1$$ Let $k'=sqrt 1-k^2$ and we further define elliptic integrals $$K=K(k) =int_0^pi/2fracdx sqrt1-k^2sin^2 x, , K'=K(k') tag2$$ The circle of these definitions is finally completed by the formula $$fracK' K =-2itautag3$$ Let $tau'$ be another purely imaginary number in upper half of the complex plane such that $$fractau' tau =rinmathbb Q ^+ tag4$$ Let the corresponding nome be $q'=exp(2pi itau') $ and the elliptic moduli be $l, l'=sqrt1-l^2$ and the elliptic integrals based on these moduli be denoted by $L, L'$. Then from the relation $tau'=rtau$ we get via $(3)$ the modular equation $$fracL' L =rfracK' K, rinmathbb Q ^+ tag5$$ Under these circumstances Jacobi proved using the transformation of elliptic integrals that the relation between moduli $k, l$ is algebraic and the ratio $K/L$ is an algebraic function of $k, l $.
The Dedekind's eta function is related to elliptic integrals via the relation $$eta(tau) =q^1/24prod_n=1^infty (1-q^n)=2^-1/6sqrtfrac2Kpik^1/12k'^1/3tag6$$ Now let $tau=i/2$ so that $q=e^-pi $ and then from $(3)$ we have $K=K'$ so that $k=k'=1/sqrt2$ and it is well known that for this value of $k$ we have $$K(k) =fracGamma^2(1/4) 4sqrtpi tag7$$ From $(6)$ it now follows that $eta(tau) =eta(i/2)$ is an algebraic multiple of $Gamma (1/4)pi^-3/4$.
Let $tau'=ri, rin mathbb Q ^+ $ so that $tau'/tau=2r$ is a positive rational number. As noted above if $l, L$ correspond to $tau'$ then the relation between $l$ and $k=1 /sqrt2$ is algebraic so that $l$ is an algebraic number and the ratio $K/L$ is an algebraic function of $k, l $ and thus $K/L$ is also an algebraic number. Thus from equation $(6)$ it follows that $eta(ri) $ is an algebraic multiple of $Gamma (1/4)pi^-3/4$.
More generally it can be proved that if $r$ is a positive rational number then the value of $eta(isqrtr) $ can be expressed in terms of values of Gamma function at rational points and $pi$ and certain algebraic numbers.
Also let me complete the link between $Gamma (1/4)$ and elliptic integrals starting with your approach. We have $$fracGamma ^2(1/4)2sqrtpi=int_0^pifracdxsqrtsin^4 x+cos^4 x=int_0^pifracdxsqrt1-2sin^2 xcos^2 x$$ and the integral can further be written as $$int_0^pifracdxsqrt1-(1/2)sin^2 2x$$ Putting $2x =t$ we can see that it reduces to $$frac12int_0^2pifracdtsqrt1-(1/2)sin^2 t=2int_0^pi/2fracdxsqrt1-(1/2)sin^2 x=2K(1/sqrt2)$$ and we are done.
answered Jul 22 at 7:19
Paramanand Singh
45.3k553142
Thank you for that in depth explanation! I was also unsure that I was heading in the right direction, but thank you for showing me where my approach would have gotten me.
– aleden
Jul 22 at 14:48
forgive me if I am missing something obvious, but which trig identity did you use in the first line of completing my approach?
– aleden
Jul 22 at 15:15
Never mind, I see that you use power reduction formulas. I should have attempted to reduce the integral in trig form, would have been easier than trying to do that with the non-trig form of the integral.
– aleden
Jul 22 at 15:27
1
@aleden: from my very limited experience with elliptic integrals I have found the trigonometric form more useful.
– Paramanand Singh
Jul 22 at 15:30
I can see why, due to the abundance of useful trig identities, it makes it a much easier integral to manipulate.
– aleden
Jul 22 at 15:32
add a comment |Â
up vote
2
down vote
This is a long comment:
From the identity: $eta(frac-1tau)=sqrtitaueta(tau)$ we can derive just a few more values for $eta$ that don't appear on the wikipedia page. Taking $tau=ki$.
$$eta(frac-1ki)=sqrt-1i^2keta(ki)$$
$$eta(fracik)=sqrtketa(ki)$$
So now we should be able to get just a few more:
Taking $k=1,2$ we get no new info but $k=3,4$ should get us closed forms for $eta(i/3)$ and $eta(i/4)$. So in this way we can see that if $eta(ki)$ is an algebraic number times $Gamma(frac14)pi^-3/4$ then so is $eta(i/k)$. This conjecture would extend to the "Egyptian fractions."
answered Jul 16 at 0:46
Mason
1,2421224
add a comment |Â
up vote
1
down vote
The Dedekind eta function is related to the Euler $phi$ function by
$$
eta(tau)=q^1/24phi(q)
$$
so, for example,
$$
eta(i)=e^-pi/12phi(e^-2pi).
$$
In his "lost notebook", Ramanujan reported finding special values of the Euler function, such as
$$
phi(e^-2pi)=frace^pi/12Gamma(frac14)2pi^3/4
$$
and therefore
$$
eta(i)=fracGamma(frac14)2pi^3/4.
$$
The special values that Ramanujan found have been proved by George Andrews and Bruce Berndt. See Ramanujan's lost notebook.
The Wikipedia article on the Euler function says that Ramanujan found values for $phi(e^-pi)$, $phi(e^-2pi)$, $phi(e^-4pi)$, and $phi(e^-8pi)$, which correspond to $eta(i/2)$, $eta(i)$,
$eta(2i)$, and $eta(4i)$. However, as you mention, the Wikipedia article on the eta function reports as value for $eta(3i)$ so Ramanujan must have also found $phi(e^-6pi)$. I doubt that $eta(ki)$ is known, but you have a plausible conjecture.
answered Jul 16 at 0:30
G. Smith
763
1
Wikipedia gives a closed form for $eta(3i)$ and I suspect that maybe $Gamma(frac14)$ is connected to an elliptic integral, which perhaps implies a connection with the Dedekind Eta Function due to its relation with Jacobi Theta Functions, in which the elliptic integral can be expressed in.
– aleden
Jul 16 at 0:37
If possible, could you provide a link to the portion of Ramanujan's Notebook that proves these equations?
– aleden
Jul 16 at 0:39
A paper by Berndt at faculty.math.illinois.edu/~berndt/articles/aachen.pdf has two relevant comments. The first is that the result that the value for $phi(e^-pi)$ "is classical" and provides references. The second is that he, together with two others, has proved that $phi(e^-npi)/phi(e^-pi)$ is algebraic for every positive integer $n$, and provides a reference for that.
– G. Smith
Jul 16 at 0:48
I'm new to StackExchange. Can I not put <a> in comments?
– G. Smith
Jul 16 at 0:51
1
Sorry... the phi function in Berndt's aachen.pdf is a curly-phi function that is a kind of theta function; it isn't the Euler phi function. It's not clear that what he proved about it is relevant to your conjecture, although it seems like it might be.
– G. Smith
Jul 16 at 5:47
 |Â
show 1 more comment
up vote
1
down vote
The value for $k = 6$ is,
$$eta(6i) = frac12cdot 6^3/8 left(frac5-sqrt32-frac3^3/4sqrt2right)^1/6,colorbrownfracGammabig(tfrac14big)pi^3/4$$
More generally, your observation that $eta(k,i)$ is a product of an algebraic number and that particular ratio (in brown) is correct. For $k>6$ and $eta(sqrt-N)$, see this post: What is the exact value of $eta(6i)$?
answered Jul 16 at 16:47
Tito Piezas III
26.2k360161
1
I see, is there any explanation for why that ratio appears in those Eta function values? I believe that it may be related to an elliptic integral but I do not know if thats correct.
– aleden
Jul 16 at 17:27
This was answered by Niko Bagis the link that was given: math.stackexchange.com/questions/1334684/…
– Mason
Jul 16 at 21:59
Right but the appearance of the ratio is explained by this answer I think ?
– Mason
Jul 16 at 23:27
add a comment |Â
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
accepted
The key is the link between the Dedekind eta function and elliptic integrals.
Let $tau$ be purely imaginary and in upper half of complex plane and let $$q=exp(2pi itau) in(0,1)$$ be the corresponding nome. Consider the elliptic modulus $kin(0,1)$ corresponding to nome $q$ given in terms of $q$ via Jacobi theta functions $$k=fracvartheta_2^2(q)vartheta _3^2(q),,vartheta_2(q)=sum_ninmathbb Z q^(n+(1/2))^2,,vartheta _3(q)=sum_ninmathbb Z q^n^2tag1$$ Let $k'=sqrt 1-k^2$ and we further define elliptic integrals $$K=K(k) =int_0^pi/2fracdx sqrt1-k^2sin^2 x, , K'=K(k') tag2$$ The circle of these definitions is finally completed by the formula $$fracK' K =-2itautag3$$ Let $tau'$ be another purely imaginary number in upper half of the complex plane such that $$fractau' tau =rinmathbb Q ^+ tag4$$ Let the corresponding nome be $q'=exp(2pi itau') $ and the elliptic moduli be $l, l'=sqrt1-l^2$ and the elliptic integrals based on these moduli be denoted by $L, L'$. Then from the relation $tau'=rtau$ we get via $(3)$ the modular equation $$fracL' L =rfracK' K, rinmathbb Q ^+ tag5$$ Under these circumstances Jacobi proved using the transformation of elliptic integrals that the relation between moduli $k, l$ is algebraic and the ratio $K/L$ is an algebraic function of $k, l $.
The Dedekind's eta function is related to elliptic integrals via the relation $$eta(tau) =q^1/24prod_n=1^infty (1-q^n)=2^-1/6sqrtfrac2Kpik^1/12k'^1/3tag6$$ Now let $tau=i/2$ so that $q=e^-pi $ and then from $(3)$ we have $K=K'$ so that $k=k'=1/sqrt2$ and it is well known that for this value of $k$ we have $$K(k) =fracGamma^2(1/4) 4sqrtpi tag7$$ From $(6)$ it now follows that $eta(tau) =eta(i/2)$ is an algebraic multiple of $Gamma (1/4)pi^-3/4$.
Let $tau'=ri, rin mathbb Q ^+ $ so that $tau'/tau=2r$ is a positive rational number. As noted above if $l, L$ correspond to $tau'$ then the relation between $l$ and $k=1 /sqrt2$ is algebraic so that $l$ is an algebraic number and the ratio $K/L$ is an algebraic function of $k, l $ and thus $K/L$ is also an algebraic number. Thus from equation $(6)$ it follows that $eta(ri) $ is an algebraic multiple of $Gamma (1/4)pi^-3/4$.
More generally it can be proved that if $r$ is a positive rational number then the value of $eta(isqrtr) $ can be expressed in terms of values of Gamma function at rational points and $pi$ and certain algebraic numbers.
Also let me complete the link between $Gamma (1/4)$ and elliptic integrals starting with your approach. We have $$fracGamma ^2(1/4)2sqrtpi=int_0^pifracdxsqrtsin^4 x+cos^4 x=int_0^pifracdxsqrt1-2sin^2 xcos^2 x$$ and the integral can further be written as $$int_0^pifracdxsqrt1-(1/2)sin^2 2x$$ Putting $2x =t$ we can see that it reduces to $$frac12int_0^2pifracdtsqrt1-(1/2)sin^2 t=2int_0^pi/2fracdxsqrt1-(1/2)sin^2 x=2K(1/sqrt2)$$ and we are done.
answered Jul 22 at 7:19
Paramanand Singh
45.3k553142
Thank you for that in depth explanation! I was also unsure that I was heading in the right direction, but thank you for showing me where my approach would have gotten me.
– aleden
Jul 22 at 14:48
forgive me if I am missing something obvious, but which trig identity did you use in the first line of completing my approach?
– aleden
Jul 22 at 15:15
Never mind, I see that you use power reduction formulas. I should have attempted to reduce the integral in trig form, would have been easier than trying to do that with the non-trig form of the integral.
– aleden
Jul 22 at 15:27
1
@aleden: from my very limited experience with elliptic integrals I have found the trigonometric form more useful.
– Paramanand Singh
Jul 22 at 15:30
I can see why, due to the abundance of useful trig identities, it makes it a much easier integral to manipulate.
– aleden
Jul 22 at 15:32
add a comment |Â
up vote
2
down vote
accepted
The key is the link between the Dedekind eta function and elliptic integrals.
Let $tau$ be purely imaginary and in upper half of complex plane and let $$q=exp(2pi itau) in(0,1)$$ be the corresponding nome. Consider the elliptic modulus $kin(0,1)$ corresponding to nome $q$ given in terms of $q$ via Jacobi theta functions $$k=fracvartheta_2^2(q)vartheta _3^2(q),,vartheta_2(q)=sum_ninmathbb Z q^(n+(1/2))^2,,vartheta _3(q)=sum_ninmathbb Z q^n^2tag1$$ Let $k'=sqrt 1-k^2$ and we further define elliptic integrals $$K=K(k) =int_0^pi/2fracdx sqrt1-k^2sin^2 x, , K'=K(k') tag2$$ The circle of these definitions is finally completed by the formula $$fracK' K =-2itautag3$$ Let $tau'$ be another purely imaginary number in upper half of the complex plane such that $$fractau' tau =rinmathbb Q ^+ tag4$$ Let the corresponding nome be $q'=exp(2pi itau') $ and the elliptic moduli be $l, l'=sqrt1-l^2$ and the elliptic integrals based on these moduli be denoted by $L, L'$. Then from the relation $tau'=rtau$ we get via $(3)$ the modular equation $$fracL' L =rfracK' K, rinmathbb Q ^+ tag5$$ Under these circumstances Jacobi proved using the transformation of elliptic integrals that the relation between moduli $k, l$ is algebraic and the ratio $K/L$ is an algebraic function of $k, l $.
The Dedekind's eta function is related to elliptic integrals via the relation $$eta(tau) =q^1/24prod_n=1^infty (1-q^n)=2^-1/6sqrtfrac2Kpik^1/12k'^1/3tag6$$ Now let $tau=i/2$ so that $q=e^-pi $ and then from $(3)$ we have $K=K'$ so that $k=k'=1/sqrt2$ and it is well known that for this value of $k$ we have $$K(k) =fracGamma^2(1/4) 4sqrtpi tag7$$ From $(6)$ it now follows that $eta(tau) =eta(i/2)$ is an algebraic multiple of $Gamma (1/4)pi^-3/4$.
Let $tau'=ri, rin mathbb Q ^+ $ so that $tau'/tau=2r$ is a positive rational number. As noted above if $l, L$ correspond to $tau'$ then the relation between $l$ and $k=1 /sqrt2$ is algebraic so that $l$ is an algebraic number and the ratio $K/L$ is an algebraic function of $k, l $ and thus $K/L$ is also an algebraic number. Thus from equation $(6)$ it follows that $eta(ri) $ is an algebraic multiple of $Gamma (1/4)pi^-3/4$.
More generally it can be proved that if $r$ is a positive rational number then the value of $eta(isqrtr) $ can be expressed in terms of values of Gamma function at rational points and $pi$ and certain algebraic numbers.
Also let me complete the link between $Gamma (1/4)$ and elliptic integrals starting with your approach. We have $$fracGamma ^2(1/4)2sqrtpi=int_0^pifracdxsqrtsin^4 x+cos^4 x=int_0^pifracdxsqrt1-2sin^2 xcos^2 x$$ and the integral can further be written as $$int_0^pifracdxsqrt1-(1/2)sin^2 2x$$ Putting $2x =t$ we can see that it reduces to $$frac12int_0^2pifracdtsqrt1-(1/2)sin^2 t=2int_0^pi/2fracdxsqrt1-(1/2)sin^2 x=2K(1/sqrt2)$$ and we are done.
answered Jul 22 at 7:19
Paramanand Singh
45.3k553142
Thank you for that in depth explanation! I was also unsure that I was heading in the right direction, but thank you for showing me where my approach would have gotten me.
– aleden
Jul 22 at 14:48
forgive me if I am missing something obvious, but which trig identity did you use in the first line of completing my approach?
– aleden
Jul 22 at 15:15
Never mind, I see that you use power reduction formulas. I should have attempted to reduce the integral in trig form, would have been easier than trying to do that with the non-trig form of the integral.
– aleden
Jul 22 at 15:27
1
@aleden: from my very limited experience with elliptic integrals I have found the trigonometric form more useful.
– Paramanand Singh
Jul 22 at 15:30
I can see why, due to the abundance of useful trig identities, it makes it a much easier integral to manipulate.
– aleden
Jul 22 at 15:32
add a comment |Â
up vote
2
down vote
accepted
up vote
2
down vote
accepted
The key is the link between the Dedekind eta function and elliptic integrals.
Let $tau$ be purely imaginary and in upper half of complex plane and let $$q=exp(2pi itau) in(0,1)$$ be the corresponding nome. Consider the elliptic modulus $kin(0,1)$ corresponding to nome $q$ given in terms of $q$ via Jacobi theta functions $$k=fracvartheta_2^2(q)vartheta _3^2(q),,vartheta_2(q)=sum_ninmathbb Z q^(n+(1/2))^2,,vartheta _3(q)=sum_ninmathbb Z q^n^2tag1$$ Let $k'=sqrt 1-k^2$ and we further define elliptic integrals $$K=K(k) =int_0^pi/2fracdx sqrt1-k^2sin^2 x, , K'=K(k') tag2$$ The circle of these definitions is finally completed by the formula $$fracK' K =-2itautag3$$ Let $tau'$ be another purely imaginary number in upper half of the complex plane such that $$fractau' tau =rinmathbb Q ^+ tag4$$ Let the corresponding nome be $q'=exp(2pi itau') $ and the elliptic moduli be $l, l'=sqrt1-l^2$ and the elliptic integrals based on these moduli be denoted by $L, L'$. Then from the relation $tau'=rtau$ we get via $(3)$ the modular equation $$fracL' L =rfracK' K, rinmathbb Q ^+ tag5$$ Under these circumstances Jacobi proved using the transformation of elliptic integrals that the relation between moduli $k, l$ is algebraic and the ratio $K/L$ is an algebraic function of $k, l $.
The Dedekind's eta function is related to elliptic integrals via the relation $$eta(tau) =q^1/24prod_n=1^infty (1-q^n)=2^-1/6sqrtfrac2Kpik^1/12k'^1/3tag6$$ Now let $tau=i/2$ so that $q=e^-pi $ and then from $(3)$ we have $K=K'$ so that $k=k'=1/sqrt2$ and it is well known that for this value of $k$ we have $$K(k) =fracGamma^2(1/4) 4sqrtpi tag7$$ From $(6)$ it now follows that $eta(tau) =eta(i/2)$ is an algebraic multiple of $Gamma (1/4)pi^-3/4$.
Let $tau'=ri, rin mathbb Q ^+ $ so that $tau'/tau=2r$ is a positive rational number. As noted above if $l, L$ correspond to $tau'$ then the relation between $l$ and $k=1 /sqrt2$ is algebraic so that $l$ is an algebraic number and the ratio $K/L$ is an algebraic function of $k, l $ and thus $K/L$ is also an algebraic number. Thus from equation $(6)$ it follows that $eta(ri) $ is an algebraic multiple of $Gamma (1/4)pi^-3/4$.
More generally it can be proved that if $r$ is a positive rational number then the value of $eta(isqrtr) $ can be expressed in terms of values of Gamma function at rational points and $pi$ and certain algebraic numbers.
Also let me complete the link between $Gamma (1/4)$ and elliptic integrals starting with your approach. We have $$fracGamma ^2(1/4)2sqrtpi=int_0^pifracdxsqrtsin^4 x+cos^4 x=int_0^pifracdxsqrt1-2sin^2 xcos^2 x$$ and the integral can further be written as $$int_0^pifracdxsqrt1-(1/2)sin^2 2x$$ Putting $2x =t$ we can see that it reduces to $$frac12int_0^2pifracdtsqrt1-(1/2)sin^2 t=2int_0^pi/2fracdxsqrt1-(1/2)sin^2 x=2K(1/sqrt2)$$ and we are done.
answered Jul 22 at 7:19
Paramanand Singh
45.3k553142
The key is the link between the Dedekind eta function and elliptic integrals.
Let $tau$ be purely imaginary and in upper half of complex plane and let $$q=exp(2pi itau) in(0,1)$$ be the corresponding nome. Consider the elliptic modulus $kin(0,1)$ corresponding to nome $q$ given in terms of $q$ via Jacobi theta functions $$k=fracvartheta_2^2(q)vartheta _3^2(q),,vartheta_2(q)=sum_ninmathbb Z q^(n+(1/2))^2,,vartheta _3(q)=sum_ninmathbb Z q^n^2tag1$$ Let $k'=sqrt 1-k^2$ and we further define elliptic integrals $$K=K(k) =int_0^pi/2fracdx sqrt1-k^2sin^2 x, , K'=K(k') tag2$$ The circle of these definitions is finally completed by the formula $$fracK' K =-2itautag3$$ Let $tau'$ be another purely imaginary number in upper half of the complex plane such that $$fractau' tau =rinmathbb Q ^+ tag4$$ Let the corresponding nome be $q'=exp(2pi itau') $ and the elliptic moduli be $l, l'=sqrt1-l^2$ and the elliptic integrals based on these moduli be denoted by $L, L'$. Then from the relation $tau'=rtau$ we get via $(3)$ the modular equation $$fracL' L =rfracK' K, rinmathbb Q ^+ tag5$$ Under these circumstances Jacobi proved using the transformation of elliptic integrals that the relation between moduli $k, l$ is algebraic and the ratio $K/L$ is an algebraic function of $k, l $.
The Dedekind's eta function is related to elliptic integrals via the relation $$eta(tau) =q^1/24prod_n=1^infty (1-q^n)=2^-1/6sqrtfrac2Kpik^1/12k'^1/3tag6$$ Now let $tau=i/2$ so that $q=e^-pi $ and then from $(3)$ we have $K=K'$ so that $k=k'=1/sqrt2$ and it is well known that for this value of $k$ we have $$K(k) =fracGamma^2(1/4) 4sqrtpi tag7$$ From $(6)$ it now follows that $eta(tau) =eta(i/2)$ is an algebraic multiple of $Gamma (1/4)pi^-3/4$.
Let $tau'=ri, rin mathbb Q ^+ $ so that $tau'/tau=2r$ is a positive rational number. As noted above if $l, L$ correspond to $tau'$ then the relation between $l$ and $k=1 /sqrt2$ is algebraic so that $l$ is an algebraic number and the ratio $K/L$ is an algebraic function of $k, l $ and thus $K/L$ is also an algebraic number. Thus from equation $(6)$ it follows that $eta(ri) $ is an algebraic multiple of $Gamma (1/4)pi^-3/4$.
More generally it can be proved that if $r$ is a positive rational number then the value of $eta(isqrtr) $ can be expressed in terms of values of Gamma function at rational points and $pi$ and certain algebraic numbers.
Also let me complete the link between $Gamma (1/4)$ and elliptic integrals starting with your approach. We have $$fracGamma ^2(1/4)2sqrtpi=int_0^pifracdxsqrtsin^4 x+cos^4 x=int_0^pifracdxsqrt1-2sin^2 xcos^2 x$$ and the integral can further be written as $$int_0^pifracdxsqrt1-(1/2)sin^2 2x$$ Putting $2x =t$ we can see that it reduces to $$frac12int_0^2pifracdtsqrt1-(1/2)sin^2 t=2int_0^pi/2fracdxsqrt1-(1/2)sin^2 x=2K(1/sqrt2)$$ and we are done.
answered Jul 22 at 7:19
Paramanand Singh
45.3k553142
edited Jul 22 at 9:43
answered Jul 22 at 7:19
Paramanand Singh
45.3k553142
answered Jul 22 at 7:19
Paramanand Singh
45.3k553142
answered Jul 22 at 7:19
Paramanand Singh
45.3k553142
45.3k553142
Thank you for that in depth explanation! I was also unsure that I was heading in the right direction, but thank you for showing me where my approach would have gotten me.
– aleden
Jul 22 at 14:48
forgive me if I am missing something obvious, but which trig identity did you use in the first line of completing my approach?
– aleden
Jul 22 at 15:15
Never mind, I see that you use power reduction formulas. I should have attempted to reduce the integral in trig form, would have been easier than trying to do that with the non-trig form of the integral.
– aleden
Jul 22 at 15:27
1
@aleden: from my very limited experience with elliptic integrals I have found the trigonometric form more useful.
– Paramanand Singh
Jul 22 at 15:30
I can see why, due to the abundance of useful trig identities, it makes it a much easier integral to manipulate.
– aleden
Jul 22 at 15:32
add a comment |Â
Thank you for that in depth explanation! I was also unsure that I was heading in the right direction, but thank you for showing me where my approach would have gotten me.
– aleden
Jul 22 at 14:48
forgive me if I am missing something obvious, but which trig identity did you use in the first line of completing my approach?
– aleden
Jul 22 at 15:15
Never mind, I see that you use power reduction formulas. I should have attempted to reduce the integral in trig form, would have been easier than trying to do that with the non-trig form of the integral.
– aleden
Jul 22 at 15:27
1
@aleden: from my very limited experience with elliptic integrals I have found the trigonometric form more useful.
– Paramanand Singh
Jul 22 at 15:30
I can see why, due to the abundance of useful trig identities, it makes it a much easier integral to manipulate.
– aleden
Jul 22 at 15:32
Thank you for that in depth explanation! I was also unsure that I was heading in the right direction, but thank you for showing me where my approach would have gotten me.
– aleden
Jul 22 at 14:48
Thank you for that in depth explanation! I was also unsure that I was heading in the right direction, but thank you for showing me where my approach would have gotten me.
– aleden
Jul 22 at 14:48
forgive me if I am missing something obvious, but which trig identity did you use in the first line of completing my approach?
– aleden
Jul 22 at 15:15
forgive me if I am missing something obvious, but which trig identity did you use in the first line of completing my approach?
– aleden
Jul 22 at 15:15
Never mind, I see that you use power reduction formulas. I should have attempted to reduce the integral in trig form, would have been easier than trying to do that with the non-trig form of the integral.
– aleden
Jul 22 at 15:27
Never mind, I see that you use power reduction formulas. I should have attempted to reduce the integral in trig form, would have been easier than trying to do that with the non-trig form of the integral.
– aleden
Jul 22 at 15:27
1
1
@aleden: from my very limited experience with elliptic integrals I have found the trigonometric form more useful.
– Paramanand Singh
Jul 22 at 15:30
@aleden: from my very limited experience with elliptic integrals I have found the trigonometric form more useful.
– Paramanand Singh
Jul 22 at 15:30
I can see why, due to the abundance of useful trig identities, it makes it a much easier integral to manipulate.
– aleden
Jul 22 at 15:32
I can see why, due to the abundance of useful trig identities, it makes it a much easier integral to manipulate.
– aleden
Jul 22 at 15:32
add a comment |Â
up vote
2
down vote
This is a long comment:
From the identity: $eta(frac-1tau)=sqrtitaueta(tau)$ we can derive just a few more values for $eta$ that don't appear on the wikipedia page. Taking $tau=ki$.
$$eta(frac-1ki)=sqrt-1i^2keta(ki)$$
$$eta(fracik)=sqrtketa(ki)$$
So now we should be able to get just a few more:
Taking $k=1,2$ we get no new info but $k=3,4$ should get us closed forms for $eta(i/3)$ and $eta(i/4)$. So in this way we can see that if $eta(ki)$ is an algebraic number times $Gamma(frac14)pi^-3/4$ then so is $eta(i/k)$. This conjecture would extend to the "Egyptian fractions."
answered Jul 16 at 0:46
Mason
1,2421224
add a comment |Â
up vote
2
down vote
This is a long comment:
From the identity: $eta(frac-1tau)=sqrtitaueta(tau)$ we can derive just a few more values for $eta$ that don't appear on the wikipedia page. Taking $tau=ki$.
$$eta(frac-1ki)=sqrt-1i^2keta(ki)$$
$$eta(fracik)=sqrtketa(ki)$$
So now we should be able to get just a few more:
Taking $k=1,2$ we get no new info but $k=3,4$ should get us closed forms for $eta(i/3)$ and $eta(i/4)$. So in this way we can see that if $eta(ki)$ is an algebraic number times $Gamma(frac14)pi^-3/4$ then so is $eta(i/k)$. This conjecture would extend to the "Egyptian fractions."
answered Jul 16 at 0:46
Mason
1,2421224
add a comment |Â
up vote
2
down vote
up vote
2
down vote
This is a long comment:
From the identity: $eta(frac-1tau)=sqrtitaueta(tau)$ we can derive just a few more values for $eta$ that don't appear on the wikipedia page. Taking $tau=ki$.
$$eta(frac-1ki)=sqrt-1i^2keta(ki)$$
$$eta(fracik)=sqrtketa(ki)$$
So now we should be able to get just a few more:
Taking $k=1,2$ we get no new info but $k=3,4$ should get us closed forms for $eta(i/3)$ and $eta(i/4)$. So in this way we can see that if $eta(ki)$ is an algebraic number times $Gamma(frac14)pi^-3/4$ then so is $eta(i/k)$. This conjecture would extend to the "Egyptian fractions."
answered Jul 16 at 0:46
Mason
1,2421224
This is a long comment:
From the identity: $eta(frac-1tau)=sqrtitaueta(tau)$ we can derive just a few more values for $eta$ that don't appear on the wikipedia page. Taking $tau=ki$.
$$eta(frac-1ki)=sqrt-1i^2keta(ki)$$
$$eta(fracik)=sqrtketa(ki)$$
So now we should be able to get just a few more:
Taking $k=1,2$ we get no new info but $k=3,4$ should get us closed forms for $eta(i/3)$ and $eta(i/4)$. So in this way we can see that if $eta(ki)$ is an algebraic number times $Gamma(frac14)pi^-3/4$ then so is $eta(i/k)$. This conjecture would extend to the "Egyptian fractions."
answered Jul 16 at 0:46
Mason
1,2421224
edited Jul 16 at 2:39
answered Jul 16 at 0:46
Mason
1,2421224
answered Jul 16 at 0:46
Mason
1,2421224
answered Jul 16 at 0:46
Mason
1,2421224
1,2421224
add a comment |Â
add a comment |Â
up vote
1
down vote
The Dedekind eta function is related to the Euler $phi$ function by
$$
eta(tau)=q^1/24phi(q)
$$
so, for example,
$$
eta(i)=e^-pi/12phi(e^-2pi).
$$
In his "lost notebook", Ramanujan reported finding special values of the Euler function, such as
$$
phi(e^-2pi)=frace^pi/12Gamma(frac14)2pi^3/4
$$
and therefore
$$
eta(i)=fracGamma(frac14)2pi^3/4.
$$
The special values that Ramanujan found have been proved by George Andrews and Bruce Berndt. See Ramanujan's lost notebook.
The Wikipedia article on the Euler function says that Ramanujan found values for $phi(e^-pi)$, $phi(e^-2pi)$, $phi(e^-4pi)$, and $phi(e^-8pi)$, which correspond to $eta(i/2)$, $eta(i)$,
$eta(2i)$, and $eta(4i)$. However, as you mention, the Wikipedia article on the eta function reports as value for $eta(3i)$ so Ramanujan must have also found $phi(e^-6pi)$. I doubt that $eta(ki)$ is known, but you have a plausible conjecture.
answered Jul 16 at 0:30
G. Smith
763
1
Wikipedia gives a closed form for $eta(3i)$ and I suspect that maybe $Gamma(frac14)$ is connected to an elliptic integral, which perhaps implies a connection with the Dedekind Eta Function due to its relation with Jacobi Theta Functions, in which the elliptic integral can be expressed in.
– aleden
Jul 16 at 0:37
If possible, could you provide a link to the portion of Ramanujan's Notebook that proves these equations?
– aleden
Jul 16 at 0:39
A paper by Berndt at faculty.math.illinois.edu/~berndt/articles/aachen.pdf has two relevant comments. The first is that the result that the value for $phi(e^-pi)$ "is classical" and provides references. The second is that he, together with two others, has proved that $phi(e^-npi)/phi(e^-pi)$ is algebraic for every positive integer $n$, and provides a reference for that.
– G. Smith
Jul 16 at 0:48
I'm new to StackExchange. Can I not put <a> in comments?
– G. Smith
Jul 16 at 0:51
1
Sorry... the phi function in Berndt's aachen.pdf is a curly-phi function that is a kind of theta function; it isn't the Euler phi function. It's not clear that what he proved about it is relevant to your conjecture, although it seems like it might be.
– G. Smith
Jul 16 at 5:47
 |Â
show 1 more comment
up vote
1
down vote
The Dedekind eta function is related to the Euler $phi$ function by
$$
eta(tau)=q^1/24phi(q)
$$
so, for example,
$$
eta(i)=e^-pi/12phi(e^-2pi).
$$
In his "lost notebook", Ramanujan reported finding special values of the Euler function, such as
$$
phi(e^-2pi)=frace^pi/12Gamma(frac14)2pi^3/4
$$
and therefore
$$
eta(i)=fracGamma(frac14)2pi^3/4.
$$
The special values that Ramanujan found have been proved by George Andrews and Bruce Berndt. See Ramanujan's lost notebook.
The Wikipedia article on the Euler function says that Ramanujan found values for $phi(e^-pi)$, $phi(e^-2pi)$, $phi(e^-4pi)$, and $phi(e^-8pi)$, which correspond to $eta(i/2)$, $eta(i)$,
$eta(2i)$, and $eta(4i)$. However, as you mention, the Wikipedia article on the eta function reports as value for $eta(3i)$ so Ramanujan must have also found $phi(e^-6pi)$. I doubt that $eta(ki)$ is known, but you have a plausible conjecture.
answered Jul 16 at 0:30
G. Smith
763
1
Wikipedia gives a closed form for $eta(3i)$ and I suspect that maybe $Gamma(frac14)$ is connected to an elliptic integral, which perhaps implies a connection with the Dedekind Eta Function due to its relation with Jacobi Theta Functions, in which the elliptic integral can be expressed in.
– aleden
Jul 16 at 0:37
If possible, could you provide a link to the portion of Ramanujan's Notebook that proves these equations?
– aleden
Jul 16 at 0:39
A paper by Berndt at faculty.math.illinois.edu/~berndt/articles/aachen.pdf has two relevant comments. The first is that the result that the value for $phi(e^-pi)$ "is classical" and provides references. The second is that he, together with two others, has proved that $phi(e^-npi)/phi(e^-pi)$ is algebraic for every positive integer $n$, and provides a reference for that.
– G. Smith
Jul 16 at 0:48
I'm new to StackExchange. Can I not put <a> in comments?
– G. Smith
Jul 16 at 0:51
1
Sorry... the phi function in Berndt's aachen.pdf is a curly-phi function that is a kind of theta function; it isn't the Euler phi function. It's not clear that what he proved about it is relevant to your conjecture, although it seems like it might be.
– G. Smith
Jul 16 at 5:47
 |Â
show 1 more comment
up vote
1
down vote
up vote
1
down vote
The Dedekind eta function is related to the Euler $phi$ function by
$$
eta(tau)=q^1/24phi(q)
$$
so, for example,
$$
eta(i)=e^-pi/12phi(e^-2pi).
$$
In his "lost notebook", Ramanujan reported finding special values of the Euler function, such as
$$
phi(e^-2pi)=frace^pi/12Gamma(frac14)2pi^3/4
$$
and therefore
$$
eta(i)=fracGamma(frac14)2pi^3/4.
$$
The special values that Ramanujan found have been proved by George Andrews and Bruce Berndt. See Ramanujan's lost notebook.
The Wikipedia article on the Euler function says that Ramanujan found values for $phi(e^-pi)$, $phi(e^-2pi)$, $phi(e^-4pi)$, and $phi(e^-8pi)$, which correspond to $eta(i/2)$, $eta(i)$,
$eta(2i)$, and $eta(4i)$. However, as you mention, the Wikipedia article on the eta function reports as value for $eta(3i)$ so Ramanujan must have also found $phi(e^-6pi)$. I doubt that $eta(ki)$ is known, but you have a plausible conjecture.
answered Jul 16 at 0:30
G. Smith
763
The Dedekind eta function is related to the Euler $phi$ function by
$$
eta(tau)=q^1/24phi(q)
$$
so, for example,
$$
eta(i)=e^-pi/12phi(e^-2pi).
$$
In his "lost notebook", Ramanujan reported finding special values of the Euler function, such as
$$
phi(e^-2pi)=frace^pi/12Gamma(frac14)2pi^3/4
$$
and therefore
$$
eta(i)=fracGamma(frac14)2pi^3/4.
$$
The special values that Ramanujan found have been proved by George Andrews and Bruce Berndt. See Ramanujan's lost notebook.
The Wikipedia article on the Euler function says that Ramanujan found values for $phi(e^-pi)$, $phi(e^-2pi)$, $phi(e^-4pi)$, and $phi(e^-8pi)$, which correspond to $eta(i/2)$, $eta(i)$,
$eta(2i)$, and $eta(4i)$. However, as you mention, the Wikipedia article on the eta function reports as value for $eta(3i)$ so Ramanujan must have also found $phi(e^-6pi)$. I doubt that $eta(ki)$ is known, but you have a plausible conjecture.
answered Jul 16 at 0:30
G. Smith
763
edited Jul 16 at 0:39
answered Jul 16 at 0:30
G. Smith
763
answered Jul 16 at 0:30
G. Smith
763
answered Jul 16 at 0:30
G. Smith
763
763
1
Wikipedia gives a closed form for $eta(3i)$ and I suspect that maybe $Gamma(frac14)$ is connected to an elliptic integral, which perhaps implies a connection with the Dedekind Eta Function due to its relation with Jacobi Theta Functions, in which the elliptic integral can be expressed in.
– aleden
Jul 16 at 0:37
If possible, could you provide a link to the portion of Ramanujan's Notebook that proves these equations?
– aleden
Jul 16 at 0:39
A paper by Berndt at faculty.math.illinois.edu/~berndt/articles/aachen.pdf has two relevant comments. The first is that the result that the value for $phi(e^-pi)$ "is classical" and provides references. The second is that he, together with two others, has proved that $phi(e^-npi)/phi(e^-pi)$ is algebraic for every positive integer $n$, and provides a reference for that.
– G. Smith
Jul 16 at 0:48
I'm new to StackExchange. Can I not put <a> in comments?
– G. Smith
Jul 16 at 0:51
1
Sorry... the phi function in Berndt's aachen.pdf is a curly-phi function that is a kind of theta function; it isn't the Euler phi function. It's not clear that what he proved about it is relevant to your conjecture, although it seems like it might be.
– G. Smith
Jul 16 at 5:47
 |Â
show 1 more comment
1
Wikipedia gives a closed form for $eta(3i)$ and I suspect that maybe $Gamma(frac14)$ is connected to an elliptic integral, which perhaps implies a connection with the Dedekind Eta Function due to its relation with Jacobi Theta Functions, in which the elliptic integral can be expressed in.
– aleden
Jul 16 at 0:37
If possible, could you provide a link to the portion of Ramanujan's Notebook that proves these equations?
– aleden
Jul 16 at 0:39
A paper by Berndt at faculty.math.illinois.edu/~berndt/articles/aachen.pdf has two relevant comments. The first is that the result that the value for $phi(e^-pi)$ "is classical" and provides references. The second is that he, together with two others, has proved that $phi(e^-npi)/phi(e^-pi)$ is algebraic for every positive integer $n$, and provides a reference for that.
– G. Smith
Jul 16 at 0:48
I'm new to StackExchange. Can I not put <a> in comments?
– G. Smith
Jul 16 at 0:51
1
Sorry... the phi function in Berndt's aachen.pdf is a curly-phi function that is a kind of theta function; it isn't the Euler phi function. It's not clear that what he proved about it is relevant to your conjecture, although it seems like it might be.
– G. Smith
Jul 16 at 5:47
1
1
Wikipedia gives a closed form for $eta(3i)$ and I suspect that maybe $Gamma(frac14)$ is connected to an elliptic integral, which perhaps implies a connection with the Dedekind Eta Function due to its relation with Jacobi Theta Functions, in which the elliptic integral can be expressed in.
– aleden
Jul 16 at 0:37
Wikipedia gives a closed form for $eta(3i)$ and I suspect that maybe $Gamma(frac14)$ is connected to an elliptic integral, which perhaps implies a connection with the Dedekind Eta Function due to its relation with Jacobi Theta Functions, in which the elliptic integral can be expressed in.
– aleden
Jul 16 at 0:37
If possible, could you provide a link to the portion of Ramanujan's Notebook that proves these equations?
– aleden
Jul 16 at 0:39
If possible, could you provide a link to the portion of Ramanujan's Notebook that proves these equations?
– aleden
Jul 16 at 0:39
A paper by Berndt at faculty.math.illinois.edu/~berndt/articles/aachen.pdf has two relevant comments. The first is that the result that the value for $phi(e^-pi)$ "is classical" and provides references. The second is that he, together with two others, has proved that $phi(e^-npi)/phi(e^-pi)$ is algebraic for every positive integer $n$, and provides a reference for that.
– G. Smith
Jul 16 at 0:48
A paper by Berndt at faculty.math.illinois.edu/~berndt/articles/aachen.pdf has two relevant comments. The first is that the result that the value for $phi(e^-pi)$ "is classical" and provides references. The second is that he, together with two others, has proved that $phi(e^-npi)/phi(e^-pi)$ is algebraic for every positive integer $n$, and provides a reference for that.
– G. Smith
Jul 16 at 0:48
I'm new to StackExchange. Can I not put <a> in comments?
– G. Smith
Jul 16 at 0:51
I'm new to StackExchange. Can I not put <a> in comments?
– G. Smith
Jul 16 at 0:51
1
1
Sorry... the phi function in Berndt's aachen.pdf is a curly-phi function that is a kind of theta function; it isn't the Euler phi function. It's not clear that what he proved about it is relevant to your conjecture, although it seems like it might be.
– G. Smith
Jul 16 at 5:47
Sorry... the phi function in Berndt's aachen.pdf is a curly-phi function that is a kind of theta function; it isn't the Euler phi function. It's not clear that what he proved about it is relevant to your conjecture, although it seems like it might be.
– G. Smith
Jul 16 at 5:47
 |Â
show 1 more comment
up vote
1
down vote
The value for $k = 6$ is,
$$eta(6i) = frac12cdot 6^3/8 left(frac5-sqrt32-frac3^3/4sqrt2right)^1/6,colorbrownfracGammabig(tfrac14big)pi^3/4$$
More generally, your observation that $eta(k,i)$ is a product of an algebraic number and that particular ratio (in brown) is correct. For $k>6$ and $eta(sqrt-N)$, see this post: What is the exact value of $eta(6i)$?
answered Jul 16 at 16:47
Tito Piezas III
26.2k360161
1
I see, is there any explanation for why that ratio appears in those Eta function values? I believe that it may be related to an elliptic integral but I do not know if thats correct.
– aleden
Jul 16 at 17:27
This was answered by Niko Bagis the link that was given: math.stackexchange.com/questions/1334684/…
– Mason
Jul 16 at 21:59
Right but the appearance of the ratio is explained by this answer I think ?
– Mason
Jul 16 at 23:27
add a comment |Â
up vote
1
down vote
The value for $k = 6$ is,
$$eta(6i) = frac12cdot 6^3/8 left(frac5-sqrt32-frac3^3/4sqrt2right)^1/6,colorbrownfracGammabig(tfrac14big)pi^3/4$$
More generally, your observation that $eta(k,i)$ is a product of an algebraic number and that particular ratio (in brown) is correct. For $k>6$ and $eta(sqrt-N)$, see this post: What is the exact value of $eta(6i)$?
answered Jul 16 at 16:47
Tito Piezas III
26.2k360161
1
I see, is there any explanation for why that ratio appears in those Eta function values? I believe that it may be related to an elliptic integral but I do not know if thats correct.
– aleden
Jul 16 at 17:27
This was answered by Niko Bagis the link that was given: math.stackexchange.com/questions/1334684/…
– Mason
Jul 16 at 21:59
Right but the appearance of the ratio is explained by this answer I think ?
– Mason
Jul 16 at 23:27
add a comment |Â
up vote
1
down vote
up vote
1
down vote
The value for $k = 6$ is,
$$eta(6i) = frac12cdot 6^3/8 left(frac5-sqrt32-frac3^3/4sqrt2right)^1/6,colorbrownfracGammabig(tfrac14big)pi^3/4$$
More generally, your observation that $eta(k,i)$ is a product of an algebraic number and that particular ratio (in brown) is correct. For $k>6$ and $eta(sqrt-N)$, see this post: What is the exact value of $eta(6i)$?
answered Jul 16 at 16:47
Tito Piezas III
26.2k360161
The value for $k = 6$ is,
$$eta(6i) = frac12cdot 6^3/8 left(frac5-sqrt32-frac3^3/4sqrt2right)^1/6,colorbrownfracGammabig(tfrac14big)pi^3/4$$
More generally, your observation that $eta(k,i)$ is a product of an algebraic number and that particular ratio (in brown) is correct. For $k>6$ and $eta(sqrt-N)$, see this post: What is the exact value of $eta(6i)$?
answered Jul 16 at 16:47
Tito Piezas III
26.2k360161
answered Jul 16 at 16:47
Tito Piezas III
26.2k360161
answered Jul 16 at 16:47
Tito Piezas III
26.2k360161
answered Jul 16 at 16:47
Tito Piezas III
26.2k360161
26.2k360161
1
I see, is there any explanation for why that ratio appears in those Eta function values? I believe that it may be related to an elliptic integral but I do not know if thats correct.
– aleden
Jul 16 at 17:27
This was answered by Niko Bagis the link that was given: math.stackexchange.com/questions/1334684/…
– Mason
Jul 16 at 21:59
Right but the appearance of the ratio is explained by this answer I think ?
– Mason
Jul 16 at 23:27
add a comment |Â
1
I see, is there any explanation for why that ratio appears in those Eta function values? I believe that it may be related to an elliptic integral but I do not know if thats correct.
– aleden
Jul 16 at 17:27
This was answered by Niko Bagis the link that was given: math.stackexchange.com/questions/1334684/…
– Mason
Jul 16 at 21:59
Right but the appearance of the ratio is explained by this answer I think ?
– Mason
Jul 16 at 23:27
1
1
I see, is there any explanation for why that ratio appears in those Eta function values? I believe that it may be related to an elliptic integral but I do not know if thats correct.
– aleden
Jul 16 at 17:27
I see, is there any explanation for why that ratio appears in those Eta function values? I believe that it may be related to an elliptic integral but I do not know if thats correct.
– aleden
Jul 16 at 17:27
This was answered by Niko Bagis the link that was given: math.stackexchange.com/questions/1334684/…
– Mason
Jul 16 at 21:59
This was answered by Niko Bagis the link that was given: math.stackexchange.com/questions/1334684/…
– Mason
Jul 16 at 21:59
Right but the appearance of the ratio is explained by this answer I think ?
– Mason
Jul 16 at 23:27
Right but the appearance of the ratio is explained by this answer I think ?
– Mason
Jul 16 at 23:27
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2852787%2fhow-to-derive-relationship-between-dedekinds-eta-function-and-gamma-frac%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
This is a possible duplicate of : math.stackexchange.com/questions/1334684/…
– Mason
Jul 16 at 22:24
@Mason I don't see how my question is a duplicate. The other OP asks for the value of $eta(6i)$ whereas I want to know why the ratio $Gamma(1/4)pi^-3/4$ appears in those values. The other question did not make mention of this at all.
– aleden
Jul 16 at 23:02
The question does make mention of this? It is question 2 of his 2 questions. But I agree that the title of that question could use work.
– Mason
Jul 16 at 23:20
@Mason In question 2, he asks if $C_k$ is algebraic which is not my question. My question is why or how the other ratio appears.
– aleden
Jul 16 at 23:26