imported>WMirten: /* growthexperiments-addlink-summary-summary:1|0|0 */

2025-06-22T20:20:15Z

growthexperiments-addlink-summary-summary:1|0|0

Neue Seite

'''Dirichletreihen''', benannt nach [[Peter Gustav Lejeune Dirichlet]], sind [[Reihe (Mathematik)|Reihen]], die in der [[Analytische Zahlentheorie|analytischen Zahlentheorie]] verwendet werden, um [[zahlentheoretische Funktion]]en mit Methoden aus der [[Analysis]], insbesondere der [[Funktionentheorie]], zu untersuchen. Viele offene [[Zahlentheorie|zahlentheoretische]] Fragestellungen sind durch diesen Zusammenhang einer „Näherungslösung“ (durch Abschätzungen) zugänglich geworden, etwa Fragen nach der Verteilung von [[Primzahlen]].

[[Grenzwert (Folge)|Konvergente]] Dirichletreihen sind als [[Analytische Funktion|analytische Funktionen]] auch losgelöst von zahlentheoretischen Problemen als Untersuchungsgegenstand interessant, da sie in engem Zusammenhang mit [[Potenzreihe]]n stehen und eine ähnlich „natürliche“ Darstellung von analytischen Funktionen erlauben.

== Definition und formale Eigenschaften ==
Eine ''Dirichletreihe'' ist eine Reihe der Form

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

Diese Reihe [[Absolute Konvergenz|konvergiert absolut]] für gewisse Koeffizientenfolgen <math>f(n)</math> und [[komplexe Zahl]]en <math>s</math>. Das Produkt von zwei solchen absolut konvergenten Dirichletreihen ist wieder eine absolut konvergente Dirichletreihe, die Koeffizienten ergeben sich durch [[Faltung (Mathematik)|Faltung]] der Koeffizientenfolgen als [[Zahlentheoretische Funktion|zahlentheoretische Funktionen]]. Damit entspricht die Multiplikation von absolut konvergenten Dirichletreihen der Faltung ihrer Koeffizienten.

Gelegentlich findet man in der Literatur (etwa bei [[Don Zagier|Zagier]]) auch die allgemeinere Definition
:<math>F(s)=\sum_{n=1}^{\infty}f(n) e^{-\lambda_n s},</math> mit <math>\lambda_1 \le \lambda_2 \le \lambda_3 \dots \rightarrow \infty.</math>

Mit <math>\lambda_n = \log n </math> ergibt dies wieder die erste Definition, mit
<math>\lambda_n = n </math> erhält man

:<math>F(s)=\sum_{n=1}^{\infty} f(n) e^{-n s} = \sum_{n=1}^{\infty} f(n) z^n</math> mit <math>z=e^{-s}</math>,
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 (Algebra)|Ring]] und [[Algebra]]) zu den zahlentheoretischen Funktionen und erbt alle Struktureigenschaften dieses Raumes.

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

== Identitätssatz ==

Stimmen zwei gewöhnliche Dirichletreihen <math>\textstyle F(s) = \sum a(n)/n^s </math> und <math>\textstyle G(s) = \sum b(n)/n^s </math>, die beide auf einer Halbebene <math> H </math> konvergieren, auf einer nicht-leeren offenen Teilmenge <math> U \subset H </math> überein, so folgt bereits, dass sie auf ganz <math> H </math> identisch sind und alle ihre Koeffizienten exakt übereinstimmen. Es gilt dann also <math> F = G </math> und <math> a(n) = b(n) </math> für alle <math> n \in \N </math>.

== Konvergente Dirichletreihen ==

Zu jeder Dirichletreihe, die irgendwo, aber nicht überall konvergiert, existiert eine reelle Zahl <math>\sigma_0</math>, so dass die Reihe in der Halbebene <math>\operatorname{Re}(s)>\sigma_0</math> konvergiert (<math>\operatorname{Re}(s)</math> ist der [[Realteil]] von <math>s</math>) und in der Halbebene <math>\operatorname{Re}(s)<\sigma_0</math> divergiert. Über das Verhalten auf der Geraden <math>\operatorname{Re}(s)=\sigma_0</math> lässt sich keine allgemeine Aussage machen. Falls die Dirichletreihe überall bzw. nirgends konvergiert, wird <math>\sigma_0 = -\infty</math> bzw. <math>\sigma_0 = \infty</math> gesetzt und man nennt in allen Fällen <math>\sigma_0\in [-\infty,\infty]</math> die ''Konvergenz[[abszisse]]'' der Dirichletreihe.

Ähnlich, wie man im Falle von [[Potenzreihe]]n den [[Konvergenzradius]] berechnen kann, kann man auch im Falle von Dirichletreihen die Konvergenzabszisse mit einem [[Limes superior und Limes inferior|Limes superior]] aus ihrer Koeffizientenfolge bestimmen, es gilt:

Ist <math>\textstyle \sum_{n=1}^\infty f(n)</math> divergent, so ist

:<math>\sigma_0 = \limsup_{N\rightarrow \infty} \frac{\log(|f(1)+\ldots +f(N) |)}{\log N}</math>.

Ist hingegen <math>\textstyle \sum_{n=1}^\infty f(n)</math> konvergent, so ist

:<math>\sigma_0 = \limsup_{N\rightarrow \infty} \frac{\log {(| \sum_{n=N}^\infty f(n) |)}}{\log{N}}</math>.

=== Analytische Eigenschaften ===
In ihrer Konvergenzhalbebene <math>\operatorname{Re}(s)>\sigma_0</math> ist die Dirichletreihe [[Kompakte Konvergenz|kompakt konvergent]] und stellt dort eine [[holomorphe Funktion]] <math>F(s)</math> dar.

Die Ableitungen der so bestimmten holomorphen Funktion <math>F</math> können durch gliedweise Differentiation gewonnen werden. Ihre <math>k</math>-te Ableitung ist die Dirichletreihe
:<math>F^{(k)}(s) = (-1)^k \sum_{n=1}^{\infty} \frac{f(n) \cdot (\log n)^k}{n^s}</math>.

== Eulerprodukte ==
{{Hauptartikel|Euler-Produkt}}
Dirichletreihen mit multiplikativen zahlentheoretischen Funktionen als Koeffizienten lassen sich als Eulerprodukt darstellen. Ist <math>f(n)</math> eine multiplikative zahlentheoretische
Funktion und konvergiert die von ihr erzeugte Dirichletreihe <math>F(s)</math> für die komplexe Zahl <math>s</math> absolut, dann gilt

:<math>F(s) = \prod_{p \text{ prim}} \sum_{k=0}^{\infty} \frac{f(p^k)}{p^{ks}}</math>.

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

:<math>F(s) = \prod_{p \text{ prim}} \frac{1}{1-f(p)p^{-s}}</math>.

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

== Wichtige Dirichletreihen ==
=== Riemannsche ζ-Funktion ===
{{Hauptartikel|Riemannsche ζ-Funktion}}
Die berühmteste Dirichletreihe ist die Riemannsche ζ-Funktion:
:<math>\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} = 1 + \frac{1}{2^s} + \frac{1}{3^s} + \frac{1}{4^s} + \cdots </math>.

Sie wird von der zahlentheoretischen 1-Funktion <math>I^0</math> (mit <math>I^0(n)=1</math> für alle <math>n</math>) erzeugt.
Da diese Funktion vollständig multiplikativ ist, hat die Zeta-Funktion die Eulerproduktdarstellung
:<math>\sum_{n=1}^{\infty} \frac{1}{n^s} = \prod_{p \text{ prim}} \frac{1}{1-p^{-s}}.</math>

=== Dirichletreihe der Teilerfunktion ===
Die Teilerfunktion (auch genauer '''[[Teileranzahlfunktion]]''') <math>d(n)</math>, die einer natürlichen Zahl <math>n</math> die Anzahl ihrer positiven Teiler zuordnet, ist das „Faltungsquadrat“ der 1-Funktion.
:<math>d(n) = \sum_{d|n}1 = (I^0*I^0) (n)</math>,

die ihr zugeordnete Dirichletreihe ist also das Quadrat der Zetafunktion:
:<math>\sum_{n=1}^{\infty} \frac{d(n)}{n^s} = \zeta^2(s)</math>.

=== Dirichletreihe der Möbiusfunktion ===
Die [[Möbiusfunktion]] <math>\mu (n)</math> ist multiplikativ mit <math>\mu(p^k)=0 </math> für <math>k > 1</math>. Also hat die von ihr erzeugte Dirichletreihe <math>M(s)</math> das Eulerprodukt
:<math>M(s) = \sum_{n=1}^{\infty} \frac{\mu(n)}{n^s} = \prod_{p \text{ prim}} (1-p^{-s}) = \frac{1}{\zeta(s)}</math>.

Die Relation <math>M(s) \cdot \zeta(s) = 1</math> überträgt sich auf die zugehörigen zahlentheoretischen Funktionen und bedeutet dort:
:<math>\mu*I^0(n) = \sum_{d|n} \mu (d) = \begin{cases} 1 & \text{falls}\ n=1 \\ 0 & \text{sonst} \end{cases}</math>.

=== Dirichletsche L-Reihen ===

{{Hauptartikel|Dirichletsche L-Funktion}}
Die ebenfalls von Dirichlet eingeführten ''L-Reihen''
:<math>L(s,\chi)=\sum_{n=1}^{\infty} \frac{\chi(n)}{n^s}</math>

werden von einem [[Charakter (Mathematik)#Dirichlet-Charaktere|Dirichlet-Charakter]] <math>\chi</math> erzeugt. Diese Reihen spielen eine wichtige Rolle beim Beweis des Dirichletschen Satzes über die Existenz unendlich vieler Primzahlen in [[Arithmetische Progression|arithmetischen Progressionen]].
Da Dirichletcharaktere vollständig multiplikativ sind, kann man die L-Reihen als Eulerprodukte darstellen:
:<math>L(s,\chi) = \prod_{p\text{ prim}} \frac{1}{1-\chi(p)p^{-s}}</math>,

und für <math>\chi=\chi_1</math>, den [[Charakter (Mathematik)#Dirichlet-Charaktere|Hauptcharakter]] modulo <math>k</math>, gilt:
:<math>L(s,\chi_1) = \prod_{p|k} (1-p^{-s})\cdot \zeta(s).</math>

Die L-Reihen verallgemeinern die Riemannsche Zetafunktion. Über die Nullstellen von L-Reihen gibt es die bis heute unbewiesene ''verallgemeinerte [[Riemannsche Vermutung]]''.

Hecke gab eine Verallgemeinerung an mit ''Größencharakteren'' statt Dirichlet-Charakteren (auch Hecke-L-Reihe genannt, siehe aber unten für eine weitere Definition).

=== Dirichletreihe der Mangoldt-Funktion ===
Die '''[[Mangoldt-Funktion|von Mangoldtsche Funktion]]''' <math>\Lambda(n)</math> spielt eine Rolle beim Beweis des [[Primzahlsatz]]es. Diese zahlentheoretische Funktion ist definiert als
:<math>\Lambda (n) = \begin{cases} \log{p} & \text{falls}\ n=p^m,\ p \text{ prim},\ m \in \mathbb{N} \\ 0 & \text{sonst,} \end{cases}</math>,

die von ihr erzeugte Dirichletreihe lässt sich durch die Zeta-Funktion ausdrücken:
:<math>-\sum_{n=1}^{\infty} \frac{\Lambda (n)}{n^s} = \frac{\zeta'(s)}{\zeta(s)}</math>.

=== Dirichletsche Lambda-Funktion {{Anker|Dirichletsche Lambda-Funktion}} ===
Die [[Dirichletsche Lambdafunktion|Dirichletsche Lambda-Funktion]] ist die L-Reihe, die durch
:<math>\lambda(s) = \sum_{n=0}^\infty \frac{1}{(2n+1)^s};\;s\neq 1</math> definiert wird.
Sie lässt sich durch die Riemannsche Zeta-Funktion darstellen als
:<math>\lambda(s) = (1-2^{-s})\cdot \zeta(s).</math>
Sie kann in geschlossener Form an den Stellen berechnet werden, an denen dies für die Zeta-Funktion möglich ist, das heißt für gerade positive Zahlen <math>s\in 2\N .</math>
Es besteht folgender Zusammenhang mit der [[Dirichletsche η-Funktion|Dirichletschen Eta-Funktion]]:
:<math> \frac{\zeta(s)}{2^s}=\frac{\lambda(s)}{2^s-1}=\frac{\eta(s)}{2^s-2}.</math>
Zur Ermittlung der Dirichletschen Lambdafunktionswerte von geraden Zahlen dient auch folgende Formel:
:<math>\lambda(2n + 2)= \frac{1}{n} \sum_{m=1}^{n} \eta(2m)\lambda(2n+2-2m)</math>
Beispielsweise gilt:
:<math>\lambda(4) = \eta(2)\lambda(2) = \frac{\pi^2}{12}\,\frac{\pi^2}{8} = \frac{\pi^4}{96}</math>
:<math>\lambda(6) = \frac{1}{2}\bigl[\eta(2)\lambda(4) + \eta(4)\lambda(2)\bigr] = \frac{1}{2}\left(\frac{\pi^2}{12}\,\frac{\pi^4}{96} + \frac{7\pi^4}{720}\frac{\pi^2}{8}\right) = \frac{\pi^6}{960}</math>
:<math>\lambda(8) = \frac{1}{3}\left[\eta(2)\lambda(6) + \eta(4)\lambda(4) + \eta(6)\lambda(2)\right] = \frac{1}{3}\left(\frac{\pi^2}{12}\,\frac{\pi^6}{960} + \frac{7\pi^4}{720}\frac{\pi^4}{96} + \frac{31\pi^6}{30240}\frac{\pi^2}{8}\right) = \frac{17\pi^8}{161280}</math>

=== Dirichletreihe der Eulerschen φ-Funktion ===
Die [[Eulersche φ-Funktion]] ist multiplikativ mit
:<math>\varphi (p^k)= p^k-p^{k-1}</math> für <math>k \ge 1</math>.

Das Eulerprodukt der von ihr erzeugten Dirichletreihe ist
:<math>\sum_{n=1}^{\infty} \frac{\varphi(n)}{n^s} = \prod_{p \text{ prim}}
\frac{1-p^{-s}}{1-p^{1-s}}=\frac{\zeta(s-1)}{\zeta(s)}</math>.

=== Dirichletreihe der verallgemeinerten Teilersummenfunktion ===
Die verallgemeinerte Teilersummenfunktion <math>\sigma_k(n)</math> ist multiplikativ und
für Primzahlpotenzen ist
:<math>\sigma_k (p^m) = \frac{1-p^{k(m+1)}}{1-p^k}</math>.

Daher hat die Dirichletreihe von <math>\sigma_k</math> die Eulerproduktdarstellung:
:<math>\sum_{n=1}^{\infty} \frac{\sigma_k(n)}{n^s} = \prod_{p \text{ prim}}
\frac{1}{(1-p^{-s})(1-p^{k-s})} = \zeta(s) \zeta(s-k).</math>

=== Dirichletreihen und Modulformen ===
[[Erich Hecke]] fand einen Zusammenhang (Hecke-Korrespondenz) von Dirichletreihen, die bestimmte Eulerprodukt- und Funktionalgleichungen erfüllen, und [[Modulform]]en, siehe [[Hecke-Operator]]. Die von ihm definierten Hecke-L-Reihen werden mit den Fourierkoeffizienten der Modulformen gebildet. Diese sind aber zu unterscheiden von den mit Größencharakteren nach Hecke ähnlich Dirichlet-L-Reihen gebildeten Dirichletreihen, die auch Hecke-L-Reihen genannt werden.

== Faltung ==
Die Faltung <math> (f*g)(n) := \sum_{d|n} f(d)g(n/d) </math> zweier zahlentheoretischer Funktionen induziert einen formalen Ringhomomorphismus vom Ring der zahlentheoretischen Funktionen in den Ring der formalen Dirichlet-Reihen via
:<math> D_{f*g} = D_f \cdot D_g, </math>
wobei <math> D_f, D_g </math> die zu <math> f, g </math> gehörigen Dirichlet-Reihen bezeichnen.
=== Beispiel ===
Man findet beispielsweise die Relation:

:<math> \zeta(s)^2 = \sum_{n=1}^\infty \frac{d(n)}{n^s} = 1 + \frac{2}{2^s} + \frac{2}{3^s} + \frac{3}{4^s} + \frac{2}{5^s} + \frac{4}{6^s} + \frac{2}{7^s} + \ldots, </math>

wobei <math> d(n) </math> die [[Teileranzahlfunktion]] darstellt, die zählt, wie viele natürliche [[Teilbarkeit|Teiler]] eine Zahl <math> n </math> besitzt. Zu diesem Ergebnis gelangt man durch systematisches Ausmultiplizieren des Quadrates der Dirichlet-Reihe der Zeta-Funktion. Da es sich dabei um das Produkt zweier (konvergenter) Dirichlet-Reihen handelt, kann es, wie oben beschrieben, wiederum über eine Dirichlet-Reihe dargestellt werden.
:<math> \zeta(s)^2 = \left( \sum_{n=1}^\infty \frac{1}{n^s} \right)^2 = \left( \sum_{n=1}^\infty \frac{1}{n^s} \right) \cdot \left( \sum_{k=1}^\infty \frac{1}{k^s} \right) = \sum_{n=1}^\infty \sum_{k=1}^\infty \frac{1}{n^s} \cdot \frac{1}{k^s} = \sum_{n=1}^\infty \sum_{k=1}^\infty \frac{1}{(n \cdot k)^s} = \sum_{m=1}^\infty \frac{d(m)}{m^s} </math>
Die aus dieser Faltung erzeugte Dirichlet-Reihe hat nun eine neue zahlentheoretische Funktion, die als <math> d(m) </math> bezeichnet wird. Der Summenindex wird als <math> m </math> gewählt, um Verwechslungen zu vermeiden. Der vorletzte Schritt der Auswertung zeigt nun, dass man den Wert von <math> d(m) </math> über die Anzahl aller natürlichen Zahlenpaare <math> (n, k) </math> gewinnen kann, für die <math> n \cdot k = m </math> gilt. Somit reduziert sich die Frage nach dem Wert von <math> d(m) </math> darauf, wie viele Teiler die betroffene Zahl <math> m </math> besitzt.

== Siehe auch ==

* [[Mellin-Transformation]]

== Weblinks ==
* [https://planetmath.org/DirichletSeries ''Dirichlet Series''] auf [[PlanetMath]]
* {{MathWorld|DirichletSeries|Dirichlet series}}
* {{MathWorld|DirichletL-Series|Dirichlet L-Series}}

== Literatur ==
* [[Tom Apostol|Tom Mike 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

[[Kategorie:Folgen und Reihen]]
[[Kategorie:Zahlentheorie]]
[[Kategorie:Funktionentheorie]]
[[Kategorie:Peter Gustav Lejeune Dirichlet]]

Dirichletreihe - Versionsgeschichte

imported>WMirten: /* growthexperiments-addlink-summary-summary:1|0|0 */