TOPICS
Search

Ramanujan Theta Functions


The Ramanujan theta functions include the two-variable function f(a,b) defined by

 f(a,b)=sum_(n=-infty)^inftya^(n(n+1)/2)b^(n(n-1)/2)
(1)

for |ab|<1 (Berndt 1991, p. 34; Berndt et al. 2000). It satisfies

 f(-1,a)=0
(2)

and

f(a,b)=f(b,a)
(3)
=(-a;ab)_infty(-b;ab)_infty(ab;ab)_infty
(4)

(Berndt 1991, pp. 34-35; Berndt et al. 2000), where (a;q)_infty is an infinite q-Pochhammer symbol. The identity expressing f(a,b) as an infinite product is the Jacobi triple product.

For |q|<1, a one-argument form of f(a,b) is also defined by

f(-q)=f(-q,-q^2)
(5)
=(q;q)_infty
(6)
=1-q-q^2+q^5+q^7-q^(12)-q^(15)+...
(7)

(OEIS A010815; Berndt 1991, pp. 36-37; Berndt et al. 2000), where (a;q)_infty is a q-Pochhammer symbol. The identities above are equivalent to the pentagonal number theorem.

The function also satisfies

qf(-q^(24))=q(q^(24);q^(24))_infty
(8)
=sum_(k=-infty)^(infty)(-1)^kq^((6k+1)^2).
(9)

Ramanujan's phi-function phi(q) is defined by

phi(q)=f(q,q)
(10)
=((-q;q^2)_infty(q^2;q^2)_infty)/((q;q^2)_infty(-q^2;q^2)_infty)
(11)
=((-q;-q)_infty)/((q;-q)_infty)
(12)
=theta_3(0,q)
(13)
=1+2q+2q^4+2q^9+2q^(16)+2q^(25)+...
(14)

(OEIS A000122), where theta_3(0,q) is a Jacobi theta function (Berndt 1991, pp. 36-37). Special values of phi include

phi(e^(-pisqrt(2)))=(Gamma(9/8))/(Gamma(5/4))sqrt((Gamma(1/4))/(2^(1/4)pi))
(15)
phi(e^(-pi))=(pi^(1/4))/(Gamma(3/4)),
(16)

where Gamma(x) is a gamma function (Berndt and Rebák 2021, p. 44).

Ramanujan's psi-function psi(q) is defined by

psi(q)=f(q,q^3)
(17)
=(-q;q)_infty(q^2;q^2)_infty
(18)
=((q^2;q^2)_infty)/((q;q^2)_infty)
(19)
=1/2q^(-1/8)theta_2(0,q^(1/2))
(20)
=sum_(k=0)^(infty)q^(k(k+1)/2)
(21)
=1+q+q^3+q^6+q^(10)+q^(15)+q^(21)+...
(22)

(OEIS A010054; Berndt 1991, p. 37). Fractional powers are taken at their principal values, and the expression involving q^(-1/8) at q=0 is interpreted by its limit.

The Ramanujan chi-function is defined for |q|<1 by

 chi(q)=(-q;q^2)_infty
(23)

(Berndt 1991, p. 37), where (a;q)_infty is a q-Pochhammer symbol.

A different phi function is sometimes denoted by phi^', with the prime being part of the name rather than a derivative, and is defined by

 phi^'(q)=sqrt((theta_2(0,q))/(theta_3(0,q))),
(24)

where theta_i(0,q) is again a Jacobi theta function. With the same principal value convention, it has the special value

 phi^'(-e^(-pisqrt(3)))=(4sqrt(3)-7)^(1/8).
(25)

See also

Jacobi Triple Product, Pentagonal Number Theorem, q-Series, q-Series Identities, Ramanujan phi-Function, Rogers-Ramanujan Continued Fraction, Schröter's Formula

Explore with Wolfram|Alpha

References

Berndt, B. C. Ramanujan's Notebooks, Part III. New York: Springer-Verlag, 1991.Berndt, B. C.; Huang, S.-S.; Sohn, J.; and Son, S. H. "Some Theorems on the Rogers-Ramanujan Continued Fraction in Ramanujan's Lost Notebook." Trans. Amer. Math. Soc. 352, 2157-2177, 2000. https://doi.org/10.1090/S0002-9947-00-02337-0.Berndt, B. C. and Rebák, Ö. "Explicit Values for Ramanujan's Theta Function phi(q)." Hardy-Ramanujan J. 44, 41-50, 2021. https://doi.org/10.46298/hrj.2022.8923.Mc Laughlin, J.; Sills, A. V.; and Zimmer, P. "Rogers-Ramanujan-Slater Type Identities." Elec. J. Combin., Dynamic Survey DS15, Dec. 15, 2022. https://doi.org/10.37236/36.Sloane, N. J. A. Sequences A000122, A010054, and A010815 in "The On-Line Encyclopedia of Integer Sequences."

Referenced on Wolfram|Alpha

Ramanujan Theta Functions

Cite this as:

Weisstein, Eric W. "Ramanujan Theta Functions." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/RamanujanThetaFunctions.html

Subject classifications