|
The Ramanujan tau function is the arithmetic function
such that, for all
with ,
Thus, the Ramanujan tau function is the generating function for the Weierstrass function.
Determining values of the Ramanujan tau function directly can be somewhat involved. For example, the values of , , and will be determined:
To determine , , and , we need to find the coefficient of , , and , respectively, of the expression
Note that we only need to consider and , since higher values of yield powers of that are too large. Thus:
Hence, ,
, and
.
The sequence
appears in the OEIS as sequence A000594.
Although the values of seem to increase rapidly as increases, the conjecture that
for all
has not yet been proven. This conjecture is known as Lehmer's conjecture.
The Ramanujan tau function has the following properties:
Ramanujan asserted that satisfies several congruences, all of which have been proven. Some simpler examples of such congruences include:
- For any
,
- For any
and for any nonnegative integer which is a quadratic residue modulo ,
- For any
and for any nonnegative integer which is a quadratic residue modulo ,
- 1
- Berndt, Bruce C. Number Theory in the Spirit of Ramanujan. Providence, RI: American Mathematical Society, 2006.
|