L-Reihe

L-Reihe

Dirichletreihen sind Reihen, die in der analytischen Zahlentheorie verwendet werden, um zahlentheoretische Funktionen mit Methoden aus der Analysis, insbesondere der Funktionentheorie zu untersuchen. Viele offene zahlentheoretische Fragestellungen sind durch diesen Zusammenhang einer „Näherungslösung“ (durch Abschätzungen) zugänglich geworden, etwa Fragen nach der Verteilung von Primzahlen.

Konvergente Dirichletreihen sind als analytische Funktionen auch losgelöst von zahlentheoretischen Problemen als Untersuchungsgegenstand interessant, da sie in engem Zusammenhang mit Potenzreihen stehen, und eine ähnlich „natürliche“ Darstellung von analytischen Funktionen erlauben.

Ihren Namen tragen diese Reihen zu Ehren des Mathematikers Peter Gustav Lejeune Dirichlet.

Inhaltsverzeichnis

Definition und formale Eigenschaften

Eine Dirichletreihe ist eine Reihe der Form

F(s)=\sum_{n=1}^{\infty} \frac{f(n)}{n^s}, mit s=\sigma+it \in \mathbb{C}.

Für gewisse Koeffizientenfolgen f(n) und komplexe Zahlen s konvergiert diese Reihe absolut. Das Produkt von zwei absolut konvergenten Dirichletreihen ist nun wieder eine absolut konvergente Dirichletreihe und die Koeffizienten ergeben sich durch Faltung der Koeffizientenfolgen als zahlentheoretische Funktionen. Damit entspricht die Multiplikation von absolut konvergenten Dirichletreihen der Faltung ihrer Koeffizienten.

Gelegentlich findet man in der Literatur (etwa bei Zagier) auch die allgemeinere Definition

F(s)=\sum_{n=1}^{\infty}f(n) e^{-\lambda_n s}, mit \lambda_1 \le \lambda_2 \le \lambda_3 ... \rightarrow \infty.

Mit \lambda_n = \operatorname{log}n ergibt dies wieder die erste Definition, mit λn = n erhält man

F(s)=\sum_{n=1}^{\infty} f(n) e^{-n s} = \sum_{n=1}^{\infty} f(n) z^n mit z = e s,

also eine gewöhnliche Potenzreihe.


Der Raum der formalen Dirichletreihen wird mit einer Multiplikation versehen, indem man die für absolut konvergente Reihen gültige Multiplikationsregel auf beliebige (auch nichtkonvergente) Dirichletreihen überträgt. (Zu dieser Konstruktion vergleiche auch die analoge Begriffsbildung formale Potenzreihe.) Dadurch wird der Raum der formalen Dirichletreihen mit der punktweisen Addition, der Skalarmultiplikation und der Faltung isomorph (als Ring und Algebra) zu den zahlentheoretischen Funktionen und erbt alle Strukureigenschaften dieses Raumes.

Der Isomorphismus ordnet jeder zahlentheoretischen Funktion f(n) die formale Dirchletreihe zu, deren Koeffizientenfolge sie ist. Diese Dirichletreihe F(s) heißt dann die von f(n) erzeugte Dirichletreihe.

Konvergente Dirichletreihen

Zu jeder Dirichletreihe, die irgendwo aber nicht überall konvergiert, existiert eine reelle Zahl σ0, so dass die Reihe in der Halbebene Re(z)>σ0 konvergiert und in der Halbebene Re(z)<σ0 divergiert. Über das Verhalten auf der Geraden Re(z) =σ0 lässt sich keine allgemeine Aussage machen. Falls die Dirichletreihe überall bzw. nirgends konvergiert, so setzt man \sigma_0 = -\infty bzw. \sigma_0 = \infty und nennt in allen Fällen \sigma_0\in [-\infty,\infty] die Konvergenzabszisse der Dirichletreihe.

Ähnlich, wie man im Falle von Potenzreihen den Konvergenzradius berechnen kann, kann man auch im Falle von Dirichletreihen die Konvergenzabszisse mit einem Limes superior aus ihrer Koeffizientenfolge bestimmen, es gilt:

Ist \sum_{n=1}^\infty f(n) divergent, so ist

\sigma_0 = \limsup_{n\rightarrow \infty} \frac{\log(|f(1)+\ldots +f(n) |)}{\log n}.

Ist hingegen \sum_{n=1}^\infty f(n) konvergent, so ist

\sigma_0 = \limsup_{n\rightarrow \infty} \frac{\log {(| \sum_{k=n}^\infty f(k) |)}}{\log{n}}.

Analytische Eigenschaften

In ihrer Konvergenzhalbebene Re(z)>σ0 ist die Dirichletreihe kompakt konvergent und stellt dort eine holomorphe Funktion F(s) dar.

Die Ableitungen der so bestimmten holomorphen Funktion F können durch gliedweise Differentiation gewonnen werden. Ihre kte Ableitung ist die Dirichletreihe

F^{(k)}(s) = (-1)^k \sum_{n=1}^{\infty} \frac{f(n) \cdot (\log n)^k}{n^s}.

Eulerprodukte

Dirichletreihen mit multiplikativen zahlentheoretischen Funktionen als Koeffizienten lassen sich als Eulerprodukt darstellen. Ist f(n) eine multiplikative zahlentheoretische Funktion und konvergiert die von ihr erzeugte Dirichletreihe F(s) für die komplexe Zahl s absolut, dann gilt

F(s)=\prod_{p\ {\rm prim}} \sum_{k=0}^{\infty} \frac{f(p^k)}{p^{ks}}.

Im Falle einer vollständig multiplikativen Funktion vereinfacht sich dieses Produkt zu

F(s)=\prod_{p\ \operatorname{prim}} \frac{1}{1-f(p)p^{-s}}.

Diese unendlichen Produkte über alle Primzahlen heißen Eulerprodukte. Der Wert dieser Produkte ist definiert als Grenzwert \lim_{N\to\infty} P_N der Folge endlicher Produkte PN, die entsteht, indem man das Produkt nur auf Primzahlen unterhalb einer Schranke N erstreckt.

Wichtige Dirichletreihen

Riemannsche Zetafunktion

Die berühmteste Dirichletreihe ist die Riemannsche Zetafunktion

\zeta(s)=\sum_{n=1}^{\infty} \frac{1}{n^s},.

Sie wird von der zahlentheoretischen 1-Funktion I0(n) (mit I0(n) = 1 fur alle n) erzeugt. Da diese Funktion vollständig multiplikativ ist, hat die Zeta-Funktion die Eulerproduktdarstellung \sum_{n=1}^{\infty} \frac{1}{n^s} = \prod_{p\ {\rm prim}} \frac{1}{1-p^{-s}}

Dirichletreihe der Teilerfunktion

Die Teilerfunktion ist das „Faltungsquadrat“ der 1-Funktion.

d(n) = \sum_{d|n}1 = I^0*I^0\, (n),

die ihr zugeordnete Dirchletreihe ist also das Quadrat der Zetafunktion:

\sum_{n=1}^{\infty} \frac{d(n)}{n^s} = \zeta^2(s).

Dirichletreihe der Möbiusfunktion

Die Möbiusfunktion μ(n) ist multiplikativ mit μ(pk) = 0 für k > 1. Also hat die von ihr erzeugte Dirichletreihe M(s) das Eulerprodukt

M(s)=\sum_{n=1}^{\infty} \frac{\mu(n)}{n^s} = \prod_{p\ {\rm prim}} (1-p^{-s}) = \frac{1}{\zeta(s)}.

Die Relation M(s)·ζ(s)=1 überträgt sich auf die zugehörigen zahlenthoretischen Funktionen und bedeutet dort:

\mu*I^0(n)=\sum_{d|n} \mu (d) = \begin{cases} 1 &amp;amp; \mathrm{falls}\ n=1 \\ 0 &amp;amp; \mathrm{sonst} \end{cases}.

Dirichletsche L-Reihen

Die ebenfalls von Dirichlet eingeführten L-Reihen

L(s,\chi)=\sum_{n=1}^{\infty} \frac{\chi(n)}{n^s},

werden von einem Dirichlet-Charakter χ erzeugt. Diese Reihen spielen eine wichtige Rolle beim Beweis des Dirichletschen Satzes über die Existenz unendlich vieler Primzahlen in arithmetischen Progressionen. Da Dirichletcharaktere vollständig multiplikativ sind, kann man die L-Reihen als Eulerprodukte darstellen

L(s,\chi) = \prod_{p\ {\rm prim}} \frac{1}{1-\chi(p)p^{-s}}

und für χ = χ1, den Hauptcharakter modulo k gilt:

L(s,\chi_1) = \prod_{p|k} (1-p^{-s})\cdot \zeta(s).

Dirichletreihe der Λ-Funktion

Die von Mangoldtsche Funktion Λ(n) spielt eine Rolle beim Beweis des Primzahlsatzes. Diese zahlentheoretische Funktion ist definiert als

\Lambda (n) = \begin{cases} \log{p} &amp;amp; \mathrm{falls}\ n=p^m,\ p\ \mathrm{ prim},\ m \in \mathbb{N} \\ 0 &amp;amp; \mathrm{sonst} \end{cases},

die von ihr erzeugte Dirichletreihe lässt sich durch die Zeta-Funktion ausdrücken:

-\sum_{n=1}^\infty \frac{\Lambda (n)}{n^s} = \frac{\zeta^'(s)}{\zeta(s)}.

Dirichletreihe der Eulerschen φ-Funktion

Die Eulersche φ-Funktion ist multiplikativ mit

\varphi (p^k)= p^k-p^{k-1} für k \ge 1.

Das Eulerprodukt der von ihr erzeugten Dirichletreihe ist

\sum_{n=1}^{\infty} \frac{\varphi(n)}{n^s} = \prod_{p\ {\rm prim}} 
\frac{1-p^{-s}}{1-p^{1-s}}=\frac{\zeta(s-1)}{\zeta(s)}.

Dirichletreihe der verallgemeinerten Teilerfunktion

Die verallgemeinerte Teilerfunktion σk(n) ist multiplikativ und für Primzahlpotenzen ist

\sigma_k (p^m)= \frac{1-p^{k(m+1)}}{1-p^k}.

Daher hat die Dirichletreihe von σk die Eulerproduktdarstellung:

\sum_{n=1}^{\infty} \frac{\sigma_k(n)}{n^s} = \prod_{p\ {\rm prim}} 
\frac{1}{(1-p^{-s})(1-p^{k-s})} = \zeta(s) \zeta(s-k).

Siehe auch

Weblinks

Literatur

  • Tom M. Apostol: Modular Functions and Dirichlet Series in Number Theory. Springer Verlag New York u. a. 1990, ISBN 0-387-97127-0
  • Jörg Brüdern: Einführung in die analytische Zahlentheorie. Springer Verlag, Berlin u. a. 1995, ISBN 3-540-58821-3
  • Graham James Oscar Jameson: The Prime Number Theorem. Cambridge University Press, Cambridge u. a. 2004, ISBN 0-521-89110-8
  • Konrad Knopp: Theorie und Anwendung der unendlichen Reihen. 2. Auflage. In: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete. Springer Verlag , Berlin u. a. 1996, ISBN 3-540-59111-7
  • Max Koecher, Aloys Krieg: Elliptische Funktionen und Modulformen, 2. Aufl., Springer, Berlin (2007) ISBN 978-3-540-49324-2
  • Don Zagier: Zetafunktionen und quadratische Körper. Springer Verlag Berlin u. a. 1981, ISBN 3-540-10603-0

Wikimedia Foundation.

Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Reihe — steht für: Reihenfolge, die Anordnung mehrerer Elemente in einer geordneten Folge Reihe (Biologie), eine spezielle Einteilung der biologischen Systematik Reihe (Mathematik), eine Summe über die Glieder einer Folge Reihe (Gruppentheorie), eine… …   Deutsch Wikipedia

  • Reihe — Reihe, 1) mehre in einer Linie neben einander befindliche Dinge; 2) das Aufeinanderfolgen nach festgesetzter Ordnung; 3) jede Folge von Größen (die Glieder [Termini] derselben genannt), welche nach einem bestimmten Gesetz gebildet sind. Die R n… …   Pierer's Universal-Lexikon

  • Reihe — Reihe: Mhd. rīhe »Reihe, Linie; schmaler Gang; Abzugsgraben; Rinne, Rille«; dem niederl. rij »Reihe, Linie; ‹Mess›latte« entspricht, steht im grammatischen Wechsel zu mhd. rige »Reihe, Linie; Wassergraben«, ahd. riga »Linie« (vgl. ↑ Riege). Diese …   Das Herkunftswörterbuch

  • Reihe — [Aufbauwortschatz (Rating 1500 3200)] Auch: • Schlange • Schlange stehen • anstehen • sich anstellen • Reihenfolge • …   Deutsch Wörterbuch

  • Reihe — Sf std. (11. Jh., Form 13. Jh.), mhd. rīhe(n) Stammwort. Daneben mhd. rige, ahd. riga Linie , mndd. rige, mndl. rie, rye, rij Reihe . Vermutlich aus einem starken Verb, das aber erst spät bezeugt ist: mhd. rīhen, mndd. rigen, mndl. rien, rijen,… …   Etymologisches Wörterbuch der deutschen sprache

  • Reihe [1] — Reihe, in der Mathematik jede nach einem bestimmten Gesetze gebildete Folge von Größen; diese Größen nennt man die Glieder der R. und bezeichnet sie, mit dem Anfangsglied beginnend, als erstes, zweites etc. Glied der R. Versteht man unter n eine… …   Meyers Großes Konversations-Lexikon

  • Reihe [2] — Reihe, in den turnerischen Ordnungsübungen (s. d.) die Benennung der in einer Linie Geordneten, und zwar Stirnreihe bei der Ausstellung neben , Flankenreihe bei der hintereinander genannt. Durch 1/8 Drehung der einzelnen in diesen Reihen… …   Meyers Großes Konversations-Lexikon

  • Reihe — (mathem.), die Aufeinanderfolge von Zahlengrößen nach einem gewissen Gesetz. Nähert sich die Summe der Glieder einer R., wieviel man deren auch summiert, d.h. wenn die R. unendlich ist, immer mehr einem Grenzwert, so heißt die R. konvergierend,… …   Kleines Konversations-Lexikon

  • Reihe — Reihe, in der Mathematik eine Aufeinanderfolge von nach einem bestimmten Gesetze gebildeten Zahlen, welche die Glieder der R. heißen. Man unterscheidet zunächst arithmetische und geometrische R.n, auch Progressionen (s. d.) genannt. Jene… …   Herders Conversations-Lexikon

  • Reihe — ↑Kolonne, 2Queue, ↑Sequenz, ↑Serie …   Das große Fremdwörterbuch

  • Reihe (Mathematik) — In der Mathematik ist eine (unendliche) Reihe eine Folge, deren Glieder (Partialsummen) als Summen der ersten n Glieder einer anderen Folge gegeben sind. Unendliche Reihen sind ein grundlegendes Instrument der Analysis. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”