login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A194094 Expansion of (2/Pi)*elliptic_E(k) in powers of q. 8

%I #30 Nov 16 2023 04:21:41

%S 1,-4,20,-64,164,-392,896,-1920,3908,-7684,14632,-27072,48896,-86408,

%T 149760,-255104,427652,-706568,1152020,-1855296,2954056,-4654080,

%U 7260288,-11221632,17194496,-26131980,39409960,-59003008,87728640,-129586568,190226176,-277587456,402779396,-581276160,834539560,-1192216320

%N Expansion of (2/Pi)*elliptic_E(k) in powers of q.

%C Let s = 16*q*(E1*E4^2/E2^3)^8 where Ek = prod(n>=1, 1-q^(k*n) ) (s=k^2 where k is elliptic k), then the g.f. is hypergeom([-1/2, +1/2], [+1], s) (expansion of 2/Pi*elliptic_E(k) in powers of q).

%H Robert Israel, <a href="/A194094/b194094.txt">Table of n, a(n) for n = 0..2000</a>

%F Expansion of theta_3(q)^2 - 2 * (theta_4(q) / theta_3(q))^2 * Dq ( theta_4(q)^-2 ) = theta_3(q)^2 + 4 Dq (theta_4(q)) / (theta_4(q) * theta_3(q)^2) in powers of q where Dq (f) := q * df/dq. - _Michael Somos_, Jan 24 2012

%F Expansion of (T4^4 * T3 + 4*q * d/dq T3) / T3^3 where T3 = theta_3(q) and T4 = theta_4(q). - _Joerg Arndt_, Sep 02 2015

%F a(n) ~ (-1)^n * exp(Pi*sqrt(2*n)) / (Pi * 2^(9/4) * n^(3/4)). - _Vaclav Kotesovec_, Oct 06 2019

%e E(k(q)) = 1 - 4*q + 20*q^2 - 64*q^3 + 164*q^4 - 392*q^5 + 896*q^6 - 1920*q^7 +- ...

%p N:= 100: # to get a(0) to a(N)

%p t3:= curry(JacobiTheta3,0):

%p t4:= curry(JacobiTheta4,0):

%p Dq:= f -> q*diff(f,q):

%p E1:= t3(q)^2:

%p E2a:= - 2*(t4(q)/t3(q))^2:

%p E2b:= t4(q)^(-2):

%p S1:= series(E1,q,N+1):

%p S2a:= series(E2a,q,N+1):

%p S2b:= series(Dq(series(E2b,q,N+1)),q,N+1):

%p S:= series(S1+S2a*S2b,q,N+1):

%p seq(coeff(S,q,j),j=0..N); # _Robert Israel_, Sep 02 2015

%t a[ n_] := With[ {m = InverseEllipticNomeQ @ q}, SeriesCoefficient[ EllipticE[m] / (Pi/2), {q, 0, n}]] (* _Michael Somos_, Jan 24 2012 *)

%t a[ n_] := SeriesCoefficient[ Hypergeometric2F1[ -1/2, 1/2, 1, ModularLambda[ Log[q] / (Pi I)]], {q, 0, n}] (* _Michael Somos_, Jan 24 2012 *)

%t nmax = 30; dtheta = D[Normal[Series[EllipticTheta[3, 0, x], {x, 0, nmax}]], x]; CoefficientList[Series[(EllipticTheta[4, 0, x]^4 * EllipticTheta[3, 0, x] + 4*x*dtheta) / EllipticTheta[3, 0, x]^3, {x, 0, nmax}], x] (* _Vaclav Kotesovec_, Apr 10 2018 *)

%Y Cf. A004018 (elliptic K(k(q))), A115977 (elliptic k(q)^2), A193219.

%K sign

%O 0,2

%A _Joerg Arndt_, Aug 15 2011

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 28 09:04 EDT 2024. Contains 371240 sequences. (Running on oeis4.)