|
|
A274653
|
|
Numerators of coefficients of z^n/n! for the expansion of Fricke's hypergeometric function F_1(1/2,1/2;z).
|
|
3
|
|
|
0, 1, 21, 185, 18655, 307503, 12548151, 305496477, 138343008375, 4464248592375, 323592065474535, 13015087974100485, 2301190559547593805, 110887163426713235625, 11570760017278599886875, 649837647729572203369125, 1250848387902442801195686375, 80233244659365977333374518375
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,3
|
|
COMMENTS
|
The coefficients of z^n for the expansion of F_1(1/2,1/2;z) are A274655(n)/A274656(n).
Fricke's hypergeometric function F_1(a,b;z) = Sum_{n > = 0} f(a,b;n)*z^n/n!, satisfies the recurrence
f(a,b,n) = ((a+n-1)*(b+n-1)/n)*f(a,b;n-1) + c(a,b;n)*(1/(a+n-1) + 1/ (b+n-1) - 2/n), with c(a,b;n) = [z^n/n!]hypergeometric([a,b],[1],z) = risefac(a,n) * risefac(b,n)/n!, where risefac is the rising factorial (Pochhammer's symbol) and the input is f(a,b;0)= 0. See the Fricke I reference, p. 114.
The hypergeometric function F_1(1/2,1/2;z) appears in the formula for (2/Pi) K'(k) + (1/Pi)*log(k^2/16)*(2/Pi)*K(k) = F_1(1/2,1/2;k^2), where K and sqrt(-1)*K' are the real and imaginary quarter periods, and k is the modulus (k^2 is the parameter) of elliptic functions. See the Fricke I reference p. 465, eq. (11), and also Fricke III, p. 2, eq. (3).
|
|
LINKS
|
|
|
FORMULA
|
a(n) = numerator(r(n)), with the rationals (in lowest terms) r(n) = [z^n/n!]F_1(1/2,1/2;z), with the hypergeometric function F_1 given by Fricke. The recurrence of the coefficients r(n) = f(1/2,1/2;n) is obtained from the general one given above.
r(n) = ((2*n-1)^2/(4*n))*r(n-1) + 2*c(n)/(n*(2*n-1)), n >= 1, r(0) = 0, with c(n) = c(1/2,1/2;n) = ((2*n)!)^2 / (n!^3*2^(4*n)) (see A274657/A123854).
E.g.f. for r(n) is Fricke's F_1(1/2,1/2;z).
|
|
EXAMPLE
|
The sequence of rationals {r(n)} begins:
0, 1/2, 21/32, 185/128, 18655/4096, 307503/16384, 12548151/131072, 305496477/524288, 138343008375/33554432, 4464248592375/134217728, 323592065474535/1073741824, ....
The expansion of F_1(1/2,1/2;z) begins:
(1/2)*z + (21/32)*z^2/2! + (185/128)*z^3/3! + (18655/4096)*z^4/4! + (307503/16384)*z^5/5! + ..., or
(1/2)*z + (21/64)*z^2 + (185/768)*z^3 + (18655/98304)*z^4 + (102501/655360)*z^5 + ...
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,easy,frac
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|