Ramanujansumme

Als Ramanujansumme wird in der Zahlentheorie, einem Teilgebiet der Mathematik, eine bestimmte endliche Summe $c_q(n)$, deren Wert von der natürlichen Zahl $q$ und der ganzen Zahl $n$ abhängt, bezeichnet. Sie wird durch

$c_q(n)=\sum _{\genfrac{}{}{0ex}{}{a=1}{(a,q)=1}}^q{e}^{2\pi i\frac{a}{q}n}$

definiert. Die Schreibweise $(a,q)$ steht für den größten gemeinsamen Teiler von $a$ und $q$, die Summation erstreckt sich also über die Zahlen $a$ mit $1\le a\le q$, die zu $q$ teilerfremd sind. Die einzelnen Summanden sind Potenzen einer festen komplexen Einheitswurzel.

S. Ramanujan führte diese Summen 1916 ein. Sie spielen eine wichtige Rolle bei der Kreismethode nach Hardy, Littlewood und Winogradow. → Siehe dazu auch Trigonometrisches Polynom.

Durch Ramanujansummen kann man interessante Darstellungen für zahlentheoretische Funktionen gewinnen, die eine analytische Fortsetzung dieser Funktionen erlauben.

Schreibweisen

Für eine übersichtliche Darstellung wird in der Zahlentheorie abkürzend $e(x)=e^{2\pi ix}$ geschrieben und die Funktion $e$ wird als zahlentheoretische Exponentialfunktion bezeichnet.

Mit der zahlentheoretischen Exponentialfunktion lässt sich die Ramanujansumme $c_q(n)$ als

$c_q(n)=\sum _{\genfrac{}{}{0ex}{}{a=1}{(a,q)=1}}^{q}e(\frac{a}{q}\cdot n)$ schreiben.

Für ganze Zahlen $a$ und $b$ schreibt man $a\mid b$, gelesen „a teilt b“, falls eine ganze Zahl $c$ existiert, mit der $b=a\cdot c$ gilt. Existiert keine solche Zahl, schreibt man $a\nmid b$, gelesen „a teilt b nicht“. Das Summationssymbol $\sum _{d\mid m}f(d)$ bedeutet, dass der Summationsindex $d$ alle positiven Teiler von $m$ durchläuft. Für eine Primzahlpotenz $p^k,k\in \mathbb{N}\setminus \{0\}$ und eine ganze Zahl $b$ schreibt man $p^k\parallel b$ (gelesen „$p^k$ teilt b genau“), falls $p^k\mid b,$ aber $p^{k+1}\nmid b$ – mit anderen Worten, falls $(p^{k+1},b)=p^k$.

Elementare Eigenschaften

Hält man eine der Variablen $q$ oder $n$ in der Ramanujansumme $c_q(n)$ fest, so erhält man eine zahlentheoretische Funktion in Abhängigkeit von der anderen Variablen, $n$ muss für diesen Begriff als Variable auf $n\in \mathbb{N}\setminus \{0\}$ beschränkt werden. Bei festem $q$ ist die Funktion $n\mapsto c_q(n)$ $q$-periodisch, das heißt, es gilt

$c_q(m)=c_q(n)$, falls $m\equiv n(\mathrm{mod}q),n,m\in \mathbb{Z}$.

Lässt man die Bedingung der Teilerfremdheit bei der Summation fort, erhält man

$\sum _{a=1}^{q}e(\frac{a}{q}\cdot n)=\{\begin{array}{c}q\text{falls}n\equiv 0(\mathrm{mod}q)\\ 0\text{sonst,}\end{array}$

denn dann ist die linke Seite eine geometrische Summe. Sortiert man in der Summe nach dem größten gemeinsamen Teiler von $q$ und $a$, dann ergibt sich eine Dirichlet-Faltung der zahlentheoretischen Funktion $q\mapsto c_q(n)$ mit der konstanten Funktion $I^0(q)=1$:

$\sum _{a=1}^{q}e(\frac{a}{q}\cdot n)=\sum _{d\mid q}\sum _{\genfrac{}{}{0ex}{}{a=1}{(a,q)=d}}^{q}e(\frac{a}{q}\cdot n)=\sum _{d\mid q}{c}_{q/d}(n)$.

Daraus folgt mit der Möbiusschen Umkehrformel:

$c_q(n)=\sum _{\genfrac{}{}{0ex}{}{d\mid q}{n\equiv 0(\mathrm{mod}d)}}\mu \left(\frac{q}{d}\right)\cdot d=\sum _{d\mid (q,n)}\mu \left(\frac{q}{d}\right)\cdot d.$

Daraus folgt dann:

• Die Ramanujansumme $c_q(n)$ nimmt stets reelle und sogar ganzzahlige Werte an,
• es gilt $c_q(n)=c_q(-n)$, $c_q(0)=\phi (q)$,
• sie ist bei festem $n$ eine multiplikative zahlentheoretische Funktion von $q$, das heißt,

aus $(q,r)=1$ folgt $c_{qr}(n)=c_q(n)\cdot c_r(n)$

• und es gilt stets $c_q(n)=c_q((q,n))$.
• Man kann die Ramanujansumme durch die Eulersche φ-Funktion $\phi$ und die Möbiusfunktion $\mu$ darstellen:

$c_q(n)=\phi (q)\cdot \frac{\mu \left(\frac{q}{(q,n)}\right)}{\phi (\frac{q}{(q,n)})}$ (für $n=0$ setzt man $(q,0)=q$, allgemeiner $(q,n)$ als positiven ggT fest),

• ihre Werte sind bei festem $q$ betragsmäßig durch $\phi (q)$ beschränkt,
• ist $q/(q,n)$ nicht quadratfrei, so ist $c_q(n)=0$.

Ramanujansummen zur Darstellung von zahlentheoretischen Funktionen

Bereits Ramanujan zeigte für einige wichtige Spezialfälle, dass man mit seinen Summen interessante Darstellungen für zahlentheoretische Funktionen gewinnen kann. Dazu wird eine spezielle Art diskreter Fourier-Transformation für zahlentheoretische Funktionen des größten gemeinsamen Teilers eingeführt: Seien $n\in \mathbb{Z},q\in \mathbb{N}$ und $f:\mathbb{N}\to ℂ$ eine zahlentheoretische Funktion. Dann heißt

$F_f(n,q)=\sum _{a=1}^{q}f((a,q))\cdot e(-\frac{a}{q}\cdot n)$

diskrete Fouriertransformierte von $f((n,q))$. Für diese Fouriertransformierte gilt

1. $F_f(n,q)=(f*c_{\bullet }(n))(q)=\sum _{d\mid q}f\left(\frac{q}{d}\right)\cdot c_d(n)$ und
2. $f((n,q))=\frac{1}{q}\sum _{a=1}^q{F}_f(a,q)e(\frac{a}{q}\cdot n)$ für die inverse Transformierte.

Bei diesen Transformationen müssen die bestimmenden Gleichungen durch die Bildung des größten gemeinsamen Teilers nur endlich viele Koeffizienten mit positivem Index berücksichtigen.

Beispiele

• Größter gemeinsamer Teiler:

$(n,q)=\sum _{a=1}^{q}e(\frac{a}{q}\cdot n)\cdot \sum _{d\mid q}\frac{c_d(a)}{d}$

Diese Darstellung erlaubt eine analytische Fortsetzung des größten gemeinsamen Teilers in der ersten Stelle $n$ auf $n\in ℂ$ als ganze Funktion.

• Eulersche φ-Funktion:

$\phi (q)=\sum _{a=1}^q(a,q)\cdot e(-\frac{a}{q})$

Daraus folgen durch Aufteilen in Real- und Imaginärteil die trigonometrischen Relationen

$\sum _{a=1}^q(a,q)\cdot \cos (2\pi \cdot \frac{a}{q})=\phi (q)$ und $\sum _{a=1}^q(a,q)\cdot \sin (2\pi \cdot \frac{a}{q})=0.$

• Die Teilerfunktion ${\sigma }_k$ lässt sich für $k>0$ mittels Ramanujansummen explizit als Reihe darstellen:

${\sigma }_k(n)=\zeta (k+1)n^k\sum _{m=1}^{\mathrm{\infty }}\frac{c_m(n)}{m^{k+1}}$

Die Berechnung der ersten Werte von $c_m(n)$ zeigt das Schwanken um den „Mittelwert“ (die durchschnittliche Größenordnung) $\zeta (k+1)n^k$:

${\sigma }_k(n)=\zeta (k+1)n^k[1+\frac{(-1{)}^n}{2^{k+1}}+\frac{2\cos \frac{2\pi n}{3}}{3^{k+1}}+\frac{2\cos \frac{\pi n}{2}}{4^{k+1}}+\cdots ]$

• Eine Art Orthogonalität für Ramanujansummen: Sei $\eta (n)$ die zahlentheoretische Einsfunktion, also das neutrale Element der Faltungsoperation mit

$\eta (n)=\{\begin{array}{c}1(n=1)\\ 0(n\in \mathbb{N}\setminus \{1\}).\end{array}$

Dann folgt durch inverse Fouriertransformation für $n\in \mathbb{Z}\setminus \{0\},q\in \mathbb{N}:$

$\eta ((n,q))=\frac{1}{q}\sum _{a=1}^q{c}_q(a)\cdot e(\frac{a}{q}\cdot n)$

Das bedeutet: Genau dann, wenn die rechtsstehende Summe nicht verschwindet, sind die Zahlen $n$ und $q$ teilerfremd. Die rechte Seite der Gleichung hat dann den Wert 1.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur