Ramanujan tau function
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 (http://planetmath.org/ModularForms).
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 (http://planetmath.org/Power) of that are too large. Thus:
Hence, , , and .
The sequence appears in the OEIS as sequence http://www.research.att.com/ njas/sequences/A000594A000594.
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:
-
•
It is a multiplicative function: For with , we have .
-
•
For any prime and any ,
-
•
For any prime ,
Ramanujan asserted that 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 ,
References
- 1 Berndt, Bruce C. Number Theory in the Spirit of Ramanujan. Providence, RI: American Mathematical Society, 2006.
Title | Ramanujan tau function |
Canonical name | RamanujanTauFunction |
Date of creation | 2013-03-22 17:51:24 |
Last modified on | 2013-03-22 17:51:24 |
Owner | Wkbj79 (1863) |
Last modified by | Wkbj79 (1863) |
Numerical id | 12 |
Author | Wkbj79 (1863) |
Entry type | Definition |
Classification | msc 11F11 |
Classification | msc 11A25 |
Synonym | Ramanujan’s tau function |
Related topic | ModularForms |
Related topic | ModularDiscriminant |
Related topic | Ramanujan |
Related topic | ApplicationsOfSecondOrderRecurrenceRelationFormula |
Defines | Lehmer’s conjecture |