Benutzer:Googolplexian1221/Ramanujan tau Funktion

In der Mathematik ist Ramanujansche tau-Funktion oder auch Ramanujansche $\tau$-Funktion die Bezeichnung für eine bestimmte Folge ganzer Zahlen. Das $n$-te Folgeglied wird allgemein mit $\tau (n)$ beschrieben. Die Folge beginnt mit

$\tau (1)=1,\,\,\,\tau (2)=-24,\,\,\,\tau (3)=252,\,\,\,\tau (4)=-1472,\,\,\,\tau (5)=4830,\,\,\,\tau (6)=-6048,\,\,\,\tau (7)=-16744,\,\,\,\ldots$

und setzt sich bis ins unendliche fort. Benannt ist sie nach dem indischen Mathematiker Srinivasa Ramanujan, der bei seinen Überlegungen zur Zahlentheorie auf sie stieß und einige bedeutende Vermutungen über ihr Verhalten formulierte. Sie gehört zu den bedeutendsten und am intensivsten untersuchten Zahlenfolgen der Neuzeit.

Definiert werde kann die tau-Funktion als Koeffizienten des folgenden unendlichen Produktes:

$q\,\,\prod _{n=1}^{\infty }(1-q^{n})^{24}=q\,\,(1-q)^{24}\,\,(1-q^{2})^{24}\,\,(1-q^{3})^{24}\,\,(1-q^{4})^{24}\,\,(1-q^{5})^{24}\cdots =q-24q^{2}+252q^{3}-1472q^{4}+4830q^{5}-6048q^{6}-16744q^{7}+84480q^{8}-113643q^{9}-115920q^{10}+\cdots .$

Um dieses Bildungsgesetz, also die Art und Weise, wie zum Beispiel aus der Eingabe $7$ der Wert $\tau (7)=-16744$ entsteht, zu erfassen, sind also lediglich Kenntnisse der vier Grundrechenarten und des Distributivgesetzes („Ausmultiplizieren von Klammern“) erforderlich. Dennoch gilt die tau-Funktion trotz eines stark entwickelten mathematischen Untersuchungsapparates bis heute in einigen Bereichen als noch nicht verstanden, da ihr Berechnungsschema nur sehr wenig Auskunft über die allgemeine Natur ihrer Werte preisgibt, besonders dann, wenn die Eingabewerte $n$ sehr groß gewählt werden. In etwa ist unbekannt, ob es eine natürliche Zahl $n$ gibt, sodass $\tau (n)=0$ gilt.

Bereits Ramanujan vermutete, dass die tau-Funktion eine multiplikative Funktion ist, also für teilerfremde $m$ und $n$ das Gesetz $\tau (mn)=\tau (m)\tau (n)$ erfüllt. Zum Beispiel gilt

$\tau (6)=-6048=-24\cdot 252=\tau (2)\tau (3).$

Diese, besonders für die Zahlentheorie, bedeutende Eigenschaft, liegt bezüglich der Definition als Koeffizienten von $\textstyle q\,\,\prod _{n=1}^{\infty }(1-q^{n})^{24}$ keinesfalls auf der Hand. Dass sich die allgemeine Multiplikativität tatsächlich aus einer strengen „Hintergrundstruktur“ ergibt, konnte bereits 1917 durch Louis Mordell bewiesen werden. Eine weitere Vermutung Ramanujan's bezog sich auf das Wachstumsverhalten von $\tau (n)$. Ramanujan behauptete, dass mit stets die Ungleichung $|\tau (n)|\leq d(n)n^{\frac {11}{2}}$ erfüllt sei, wobei $d(n)$ die Anzahl der Teiler von $n$ bezeichnet. Diese Ramanujan-Vermutung widersetzte sich über lange Zeit hartnäckig alles Beweisversuchen, und konnte erst 1974 von Pierre Deligne im Rahmen seines Beweises der Weil-Vermutungen erbracht werden. Sein extrem anspruchsvoller Beweis nutzte dabei jüngst entwickelte Techniken aus der Grothendieck-Schule der algebraischen Geometrie, und zählt zu den großen mathematischen Fortschritten des 20. Jahrhunderts.

Ihre große Bedeutung erhält die Ramanujansche tau-Funktion dadurch, dass sie zu einem aus Sicht der Mathematik „einzigartigen Objekt“ korrespondiert. Es handelt sich dabei wieder um eine Funktion, die jedoch diesmal keine Zahlenfolge ist, sondern für alle komplexen Zahlen $z=x+iy$ mit reellen $x,y$ und $y>0$ definiert ist. Diese Funktion trägt den Namen Diskriminante und wird verkürzend mit $\Delta (z)$ bezeichnet. In ihrem Definitionsbereich, der oberen Halbebene, ist die Diskriminante 1-periodisch, genügt also dem Gesetz $\Delta (z+1)=\Delta (z)$, und komplex differenzierbar, also holomorph. Als solche kann sie in eine Fourier-Reihe entwickelt werden, ist also gewissermaßen bloß aus Werten von Sinus und Kosinus bzw. der komplexen Exponentialfunktion zusammengesetzt. Die tau-Funktion definieren nun die Diskriminante als deren Fourier-Koeffizienten:

$\Delta (z)=\sum _{n=1}^{\infty }\tau (n)e^{2\pi inz}.$

Grundlagen

Definition und Berechnungsformel

Definiert wird die Ramanujansche tau-Funktion als Koeffizienten der Produkt-Entwicklung

$\sum _{n=1}^{\infty }\tau (n)q^{n}:=q\,\prod _{n=1}^{\infty }(1-q^{n})^{24}.$

Daraus ergibt sich direkt eine Möglichkeit zur Berechnung expliziter Werte. Es sind hierfür lediglich Kenntnisse über die vier Grundrechenarten und das Ausmultiplizieren von Termen in Klammern erforderlich. Betrachtet wird also das formale, nicht endende, Produkt

$q\,\,(1-q)^{24}\,\,(1-q^{2})^{24}\,\,(1-q^{3})^{24}\,\,(1-q^{4})^{24}\,\,(1-q^{5})^{24}\cdots ,$

so ergibt sich der Wert $\tau (n)$ als Zahl vor der Potenz $q^{n}$, wenn man den ganzen Ausdruck ausmultipliziert. Man spricht dann auch davon, dass die Werte $\tau (n)$ die Koeffizienten des oberen formalen Produktes bilden. Es ist für die Berechnung etwa des Wertes $\tau (4)$ zweckmäßig, das Produkt ab dem Faktor $(1-q^{5})^{24}$ abzubrechen, da der allgemeine Faktor $(1-q^{n})^{24}$ nur noch Potenzen mit Exponenten mindestens $q^{n}$ verändern kann. Ähnliches gilt auch für die Zwischenterme, so sind in

$(1-q)^{24}=1-24q+276q^{2}-2024q^{3}+10626q^{4}-42504q^{5}+134596q^{6}-346104q^{7}+735471q^{8}-1307504q^{9}+1961256q^{10}-2496144q^{11}+2704156q^{12}-2496144q^{13}$

$\qquad \qquad \quad \,\,+1961256q^{14}-1307504q^{15}+735471q^{16}-346104q^{17}+134596q^{18}-42504q^{19}+10626q^{20}-2024q^{21}+276q^{22}-24q^{23}+q^{24}$

nur die Terme bis $q^{4}$ wichtig, da ab $q^{5}$ nur noch höhere Exponenten als $4$ betroffen sind. Multipliziert man nach diesem Schema nun

$q\,\,(1-24q+276q^{2}-2024q^{3}+10626q^{4})\,\,(1-24q^{2}+276q^{4})\,\,(1-24q^{3})\,\,(1-24q^{4})=q-24q^{2}+252q^{3}-1472q^{4}+\cdots$

aus, lässt sich direkt $\tau (4)=-1472$ ablesen. Allgemein erhält man damit

$q\,\,\prod _{n=1}^{\infty }(1-q^{n})^{24}=q-24q^{2}+252q^{3}-1472q^{4}+4830q^{5}-6048q^{6}-16744q^{7}+84480q^{8}-113643q^{9}-115920q^{10}+\cdots .$

Multiplikativität

Es liegt allgemein durch das Bildungsgesetz der Funktion in keiner Weise auf der Hand, dass die tau-Funktion diese Eigenschaft haben sollte. So führt etwa die Abänderung der Exponenten $24$ in den Faktoren $(1-q^{n})^{24}$ zu etwa $23$ oder $25$ nicht zu dem gleichen Effekt.

Die Diskriminante

In ihrem Definitionsbereich, der oberen Halbebene, ist die Diskriminante 1-periodisch, genügt also dem Gesetz $\Delta (z+1)=\Delta (z)$, und komplex differenzierbar, also holomorph. Neben ihrer Periodizität erfüllt die Diskriminante aber noch der Transformationsformel

$\Delta \left(-{\frac {1}{z}}\right)=z^{12}\Delta (z).$

Zusammen mit der Eigenschaft $\lim _{y\to \infty }|\Delta (iy)|=0$ ist die Diskriminante damit im Wesentlichen eindeutig bestimmt, und jede weitere Funktion $f$ auf der oberen Halbebene, die sie mit ihr teilt, erfüllt $f=c\cdot \Delta$ mit einer Konstanten $c$.