In mathematics, the Ramanujan tau function, studied by Srinivasa Ramanujan, is the function τ : N → Z {\displaystyle \tau :\mathbb {N} \to \mathbb {Z} } defined by
∑ n = 1 ∞ τ ( n ) q n = q ∏ n = 1 ∞ ( 1 − q n ) 24 = q ϕ ( q ) 24 = η ( z ) 24 = Δ ( z ) , {\displaystyle \sum _{n=1}^{\infty }\tau (n)q^{n}=q\prod _{n=1}^{\infty }(1-q^{n})^{24}=q\phi (q)^{24}=\eta (z)^{24}=\Delta (z),}
where ϕ {\displaystyle \phi } is the Euler function, η {\displaystyle \eta } is the Dedekind eta function, Δ ( z ) {\displaystyle \Delta (z)} is the modular discriminant, and q = e 2 π i z {\displaystyle q=e^{2\pi iz}} with I m ( z ) > 0 {\displaystyle \mathrm {Im} (z)>0} .
Values The first few values of the tau function are given in the following table (sequence A000594 in the OEIS):
Calculating this function on an odd square number yields an odd number, whereas for any other number the function yields an even number.
Main properties Ramanujan conjectured two properties of τ ( n ) {\displaystyle \tau (n)} , which can be rephrased equivalently as:
τ ( m n ) = τ ( m ) τ ( n ) {\displaystyle \mathop {\tau } (mn)=\mathop {\tau } (m)\mathop {\tau } (n)} if m {\displaystyle m} and n {\displaystyle n} are coprime (that is, τ ( n ) {\displaystyle \tau (n)} is a multiplicative function)
τ ( p r + 1 ) = τ ( p ) τ ( p r ) − p 11 τ ( p r − 1 ) {\displaystyle \tau (p^{r+1})=\mathop {\tau } (p)\mathop {\tau } (p^{r})-p^{11}\mathop {\tau } (p^{r-1})} for p {\displaystyle p} prime and r > 0 {\displaystyle r>0} . Together, these two properties are equivalent to the identity
τ ( m ) τ ( n ) = ∑ d | ( m , n ) d 11 τ ( m n d 2 ) , m , n ≥ 1. {\displaystyle \mathop {\tau } (m)\mathop {\tau } (n)=\sum _{d|(m,n)}d^{11}\mathop {\tau } \left({\frac {mn}{d^{2}}}\right),\quad m,n\geq 1.}
They were proved by Louis Mordell using what is now understood as the theory of Hecke operators. Ramanujan also conjectured the third property | τ ( p ) | ≤ 2 p 11 2 {\displaystyle |\tau (p)|\leq 2p^{\frac {11}{2}}} for all primes p {\displaystyle p} , which is called the Ramanujan conjecture. Assuming the first two properties, Ramanujan noted that his conjecture is equivalent to the inequality
| τ ( n ) | ≤ d ( n ) n 11 2 {\displaystyle |\tau (n)|\leq d(n)n^{\frac {11}{2}}}
… excerpt ends here. Continue reading the full article.
