A Hardy-Ramanujan formula for restricted partitions (Q1814421)

Let \(j,n,r\) be positive integers. Put \(p(j)=\) the number of partitions of \(j\); \(p(j,n)=\) the number of partitions of \(j\) into at most \(n\) parts; \(A(j,n,r)=\) the number of partitions of \(j\) into at most \(n\) points, each \(\leq r\). The authors utilize \textit{H. Rademacher}'s celebrated exact formula for \(p(j)\) [Proc. Lond. Math. Soc., II. Ser. 43, 241-254 (1937; Zbl 0017.05503)] and \textit{H. Petersson}'s ``expansions of zero'' [Abh. Math. Semin. Univ. Hamb. 12, 415-472 (1938; Zbl 0019.34403)] to derive analogous exact formulas for \(p(j,n)\) and \(A(j,n,r)\). Their results: Theorem 4. Let \(f(x)=\prod^ r_{\nu=1}{1-x^{n+\nu}\over 1-x^ \nu}\) (a polynomial of degree \(nr\)) and \(z=z_{p,q}=e^{-2(D-i\pi p/q)}\), where \(D=d/d\zeta\), \(\zeta=2j-1/12\). Let \(S_ N(x)=\prod^{N- 1}_{\nu=1}(1-x^ \nu)\). Then, \[ A(j,n,r)={4\sqrt 3\over \pi^ 2}\sum^ \infty_{q=1}\sum_{p}' q^{3/2}\omega_{p,q}e^{-2jp\pi i/q}f(z)S_ j(z)D^ 2\hbox{cosh}({\pi\over q}\sqrt{{\zeta\over 3}}). \] (Here the \(\omega_{p,q}\) are 24-th roots of 1 arising in the transformation formulae of Dedekind's \(\eta(\tau)\); \(\sum'\) indicates summation restricted to \(p\), with \((p,q)=1\).) Theorem 5. \[ p(j,n)={4\sqrt 3\over\pi}\sum^ \infty_{q=1}\sum_{p}'q^{3/2}\omega_{p,q}e^{-2jp\pi i/q}\prod^{j-1}_{\nu=n+1}(1-z^ \nu)D^ 2\hbox{cosh}({\pi\over q}\sqrt{{\zeta\over 3}}). \] Theorem 5 follows from Theorem 4 upon letting \(r\geq j\). Theorem 4, in turn, follows from a result on general polynomials. This is the same as Theorem 4 itself, but with \(f(x)\) replaced by an arbitrary polynomial \(\varphi(x)=\sum^ \infty_{j=0}a_ jx^ j\) and \(A(j,n,r)\) by \(a_ j\). The article concludes with an application of Theorem 5 to the computation of \(p(j,n)\).