7
$\begingroup$

In his paper On certain Arithmetical Functions published in Transactions of the Cambridge Philosophical Society, XXII, No. 9, 1916, 159-184, Ramanujan makes some bold claims about the tau function defined as follows: $$\sum_{n=1}^{\infty} \tau(n) q^n=q\prod_{n=1}^{\infty} (1-q^n)^{24}\tag{1}$$ To quote him

It appears that $$\sum_{n=1}^{\infty} \frac{\tau(n)} {n^s} =\prod_{p} \frac{1}{1-\tau(p)p^{-s} +p^{11-2s}}\tag{2}$$ This assertion is equivalent to the assertion that, if $$n=p_1^{a_1}p_2^{a_2}\dots p_r^{a_r} $$ where $p_1,p_2,\dots,p_r$ are the prime divisors of $n$, then $$n^{-11/2}\tau(n)=\frac{\sin((1+a_1)\theta_{p_1})}{\sin\theta_{p_1}}\cdot\frac{\sin((1+a_2)\theta_{p_2})}{\sin\theta_{p_2}}\dots\frac{\sin((1+a_r)\theta_{p_r})}{\sin\theta_{p_r}}\tag{3}$$ where $\cos\theta_p=\frac{1}{2}p^{-11/2}\tau(p)$.

It would follow that, if $n$ and $n'$ are prime to each other, we must have $$\tau(nn') =\tau(n) \tau(n') \tag{4}$$ Let us suppose that $(3)$ is true, and also that (as appears to be highly probable) $$\{2\tau(p)\}^2\leq p^{11}\text{ (see note at the end)} \tag{5}$$ so that $\theta_p$ is real.

It is rather very remarkable that Ramanujan starts with a proposed equation $(2)$ without any proof (only God knows how he guessed it) and then draws conclusions like $(3),(4)$.

IMHO Ramanujan uses empirical evidence and his hope that $\theta_p$ should be real to make the bold conjecture $(5)$ which was finally proved by Deligne using very sophisticated tools (of which I have no inkling).

Identity $(4)$ was proved by Mordell and his proof is replicated here. Based on these ideas one can prove the identity $(2)$.

My question is regarding equation $(3)$. It appears that Ramanujan uses some general theory of Dirichlet series and their expression into infinite products to derive $(3)$ and he has used that approach to derive many similar identities based on Dirichlet series in the same paper.

Is there any general theory which which allows us to deduce $(3)$ from $(2)$? I am hoping that this is the easy part in whatever is presented above and expect some sort of a general proof here which can work of other Dirichlet series and its corresponding infinite product representation.


Note: Equation $(5)$ has a typo in the original paper also (or perhaps in my copy of Collected Papers of Ramanujan). It should be fixed as $$\{\tau(p) \} ^{2}\leq 4p^{11}\tag{6}$$

$\endgroup$

1 Answer 1

5
$\begingroup$

Let's fix a prime $p$. Define $f(k)=\tau(p^k)$. Then the $f(k)$ obey the recurrence $$f(k+2)=\tau(p)f(k+1)-p^{11}f(k).$$ The initial conditions are $$f(0)=1,\qquad f(1)=\tau(p).$$ The characteristic equation of this recurrence is $$X^2-\tau(p)X+p^{11}=0$$ whose solution is $$X=\frac{\tau(p)\pm\sqrt{\tau(p)^2-4p^{11}}}{2}.$$ Ramanujan would have been aware that $\tau(p)^2<4p^{11}$ for all primes $p$ for which $\tau(p)$ had been computed. Assuming that this is the case, then $$X=p^{11/2}\left(\frac{\tau(p)/p^{11/2}\pm i\sqrt{4-\tau(p)^2/p^{11}}}{2}\right) =p^{11/2}(\cos\theta_p\pm i\sin\theta_p)$$ where $$\cos\theta_p=\frac{\tau(p)}{2p^{11/2}}.$$ Therefore the solution of the linear recurrence takes the form $$f(k)=(e^{ik\theta_p}+se^{-ik\theta_p})p^{11k/2}.$$ Using the initial conditions we find $$f(k)=\frac{e^{i(k+1)\theta_p}-e^{-i(k+1)\theta_p}} {e^{i\theta_p}-e^{-i\theta_p}}p^{11k/2} =\frac{\sin(k+1)\theta_p}{\sin\theta_p}p^{11k/2}.$$ This verifies Ramanujan's (3) when $n$ is a prime power. In general, (3) follows since $\tau$ is a multiplicative function (its Dirichlet series having an Euler product).

$\endgroup$
6
  • $\begingroup$ That pretty well sums it up. Nicely explained. +1 for now and will wait for some more time before acceptance. $\endgroup$
    – Paramanand Singh
    Jun 13, 2020 at 6:07
  • $\begingroup$ The formula $(3)$ when applied to $n=p^k$ also involves a factor $p^{-11k/2}$ along with your $f(k) $. How do you account for that? Perhaps it is missing due to some typo. Please check and let me know. $\endgroup$
    – Paramanand Singh
    Jun 13, 2020 at 6:15
  • $\begingroup$ Oops I got it. The factor is present in the values of $X$ and you have missed it while writing formula for $f(k) $. You may edit your answer to fix this. $\endgroup$
    – Paramanand Singh
    Jun 13, 2020 at 6:17
  • $\begingroup$ Here is something which is bothering me on a second reading of my question as well as your answer. Does the recurrence relation for $f(k) $ follow immediately from the assumed infinite product expansion given in my question? $\endgroup$
    – Paramanand Singh
    Jun 30, 2020 at 12:58
  • $\begingroup$ Yes: the $p$-part of the Euler product is in essence $$\sum_k\tau(p^k)X^k=\frac1{1-\tau(p)X+p^{11}X^2}$$ where $X=p^{-s}$. This is a GF for a linear recurrence.... $\endgroup$ Jun 30, 2020 at 13:12

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .