www.wikidata.de-de.nina.az
Die Siegel Nullstelle auch Landau Siegel Nullstelle bezeichnet in der analytischen Zahlentheorie ein potentielles Gegenbeispiel um die verallgemeinerte Riemannsche Vermutung zu widerlegen Diese Vermutung weitet die klassische Riemannsche Vermutung auf Dirichletsche L Funktionen aus Es handelt sich um eine hypothetische Nullstelle einer L Funktion L s x q displaystyle L s chi q in der Nahe des Wertes s 1 displaystyle s 1 Fur eine L Funktion kann es hochstens eine Siegel Nullstelle geben Die Existenz von Siegel Nullstellen hat einige Konsequenzen So gilt nach einem Satz von Roger Heath Brown dass die Existenz von unendlich vielen Siegel Nullstellen fur verschiedene L Funktionen die Primzahlzwillingsvermutung impliziert 1 Die Primzahlzwillings Vermutung geht dahin dass unendlich viele Zahlenpaare p p 2 displaystyle p p 2 existieren deren beide Komponenten prim sind Die Landau Siegel Nullstelle ist nach den deutschen Mathematikern Carl Ludwig Siegel und Edmund Landau benannt Inhaltsverzeichnis 1 Grundbegriffe 1 1 Dirichlet Charakter 1 1 1 Reeller und komplexer Dirichlet Charakter 1 2 Dirichletsche L Funktion 1 2 1 Nullstellen 2 Definition 3 Eigenschaften 3 1 Satz von Siegel 3 2 Satze von Heath Brown 3 2 1 Satz 1 3 2 2 Satz 2 3 3 Deuring Heilbronns Repulsions Phanomen 3 3 1 Linniks Repulsions Theorem 4 Literatur 5 EinzelnachweiseGrundbegriffe BearbeitenDirichlet Charakter Bearbeiten Als Dirichlet Charakter mod q displaystyle q nbsp fur ein q N displaystyle q in mathbb N nbsp bezeichnet man eine komplexe Funktion x q Z C displaystyle chi q mathbb Z rightarrow mathbb C nbsp wenn sie fur alle a b Z displaystyle a b in mathbb Z nbsp folgende Eigenschaften erfullt 1 x q a b x q a x q b displaystyle chi q ab chi q a chi q b nbsp 2 x q a 0 displaystyle chi q a 0 nbsp falls ggt a q gt 1 displaystyle operatorname ggt a q gt 1 nbsp 3 x q a 0 displaystyle chi q a neq 0 nbsp falls ggt a q 1 displaystyle operatorname ggt a q 1 nbsp 4 x q a q x q a displaystyle chi q a q chi q a nbsp Reeller und komplexer Dirichlet Charakter Bearbeiten Ein Dirichlet Charakter x q displaystyle chi q nbsp heisst reell oder quadratisch falls alle seine Werte x q a displaystyle chi q a nbsp reell sind oder aquivalent falls er gleich seiner komplex Konjugierten ist x q a x q a displaystyle chi q a overline chi q a nbsp Ansonsten ist er komplex oder nicht reell Dirichletsche L Funktion Bearbeiten Eine Dirichletsche L Funktion ist fur ein s C displaystyle s in mathbb C nbsp und einen Dirichlet Charakter x q displaystyle chi q nbsp die Funktion L s x q n 1 x q n n s displaystyle L s chi q sum n 1 infty frac chi q n n s nbsp Nullstellen Bearbeiten Die Nullstellen s x q s x q i t x q displaystyle s chi q sigma chi q it chi q nbsp der Dirichletschen L Funktion L s x q displaystyle L s chi q nbsp werden in triviale und nicht triviale Nullstellen aufgeteilt Die trivialen Nullstellen sind alle negativ und die nicht trivialen befinden sich im kritischen Streifen s x C 0 lt s x q lt 1 displaystyle s chi in mathbb C colon 0 lt sigma chi q lt 1 nbsp Die verallgemeinerte Riemannsche Vermutung nimmt an dass fur alle nicht trivialen Nullstellen s x q 1 2 displaystyle sigma chi q tfrac 1 2 nbsp gilt Definition BearbeitenNotation s s i t displaystyle s sigma it nbsp bezeichnet eine komplexe Zahl x q displaystyle chi q nbsp ist ein Dirichlet Charakter L s x q displaystyle L s chi q nbsp ist eine zu x q displaystyle chi q nbsp gehorende L Funktion Definition Zentral fur die Definition ist folgendes Theorem welches in unterschiedlichen Varianten von Landau Gronwall und Titchmarsh stammt siehe 2 I Falls x q displaystyle chi q nbsp komplex ist dann existiert eine effektiv berechenbare reelle Konstante c 0 gt 0 displaystyle c 0 gt 0 nbsp so dass L s x q 0 displaystyle L s chi q neq 0 nbsp in der Region R s 1 c 0 log q t 2 s lt 1 displaystyle R bigg sigma bigg 1 frac c 0 log q t 2 leq sigma lt 1 bigg nbsp ist II Falls x q displaystyle chi q nbsp reell ist so kann es hochstens ein s displaystyle s nbsp mit L s x q 0 displaystyle L s chi q 0 nbsp in der Region R displaystyle R nbsp geben Weiter muss diese Nullstelle s displaystyle s nbsp reell sein d h t 0 displaystyle t 0 nbsp Ein solches s displaystyle s nbsp fur den Dirichlet Charakter x q displaystyle chi q nbsp nennt man Siegel Nullstelle oder aussergewohnliche Nullstelle 3 Eigenschaften BearbeitenDie Siegel Nullstelle b displaystyle beta nbsp hangt vom gewahlten Dirichlet Charakter x q displaystyle chi q nbsp ab Satz von Siegel Bearbeiten Sei b displaystyle beta nbsp eine Siegel Nullstelle fur einen primitiven Dirichlet Charakter x q displaystyle chi q nbsp mit Leiter englisch conductor k displaystyle k nbsp d h k gt 0 displaystyle k gt 0 nbsp Fur e gt 0 displaystyle varepsilon gt 0 nbsp existiert eine Konstante c e gt 0 displaystyle c varepsilon gt 0 nbsp so dass 4 1 b c e k e displaystyle 1 beta geq frac c varepsilon k varepsilon nbsp Satze von Heath Brown Bearbeiten Von Heath Brown stammen folgende Aussagen uber die Siegel Nullstellen und die Primzahlzwillingsvermutung Satz 1 Bearbeiten Sei x q displaystyle chi q nbsp ein reeller primitiver Dirichlet Charakter und b displaystyle beta nbsp eine Siegel Nullstelle und b gt 1 1 3 log q displaystyle beta gt 1 frac 1 3 log q nbsp Falls unendlich viele solche x q i i b i displaystyle chi q i i beta i nbsp existieren dann existieren unendlich viele Primzahlzwillinge 3 Satz 2 Bearbeiten Mindestens eine der beiden Aussagen ist wahr 3 5 Es existieren keine Siegel Nullstellen d h es existiert eine gemeinsame Schranke c 0 gt 0 displaystyle c 0 gt 0 nbsp so dass fur alle q 2 displaystyle q geq 2 nbsp und alle x q displaystyle chi q nbsp gilt L s i t x q 0 displaystyle L sigma it chi q neq 0 nbsp furs 1 c 0 log q t 2 displaystyle sigma geq 1 frac c 0 log q t 2 nbsp dd dd Die Primzahlzwillingsvermutung ist wahr Deuring Heilbronns Repulsions Phanomen Bearbeiten Sei X q x q i displaystyle mathrm X q chi q i nbsp die Familie aller Dirichlet Charaktere zum Modulus q displaystyle q nbsp Die Existenz einer Siegel Nullstelle zu einem Dirichlet Charakter x q displaystyle chi q nbsp hat Auswirkungen auf die anderen Nullstellen innerhalb der gleichen Familie X q displaystyle mathrm X q nbsp Dieses Phanomen ist nach Max Deuring und Hans Arnold Heilbronn benannt Es wurde quantifiziert von Juri Wladimirowitsch Linnik durch nachfolgendes Theorem 6 Linniks Repulsions Theorem Bearbeiten Falls eine Siegel Nullstelle b displaystyle beta nbsp zu einem Dirichlet Charakter x q displaystyle chi q nbsp existiert so dass 1 b e log q displaystyle 1 beta frac varepsilon log q nbsp fur ein hinreichend kleines e displaystyle varepsilon nbsp gilt dann sind alle anderen Nullstellen s s i t displaystyle s sigma it nbsp der Familie X q displaystyle mathrm X q nbsp in der Region 1 s c log 1 e log q t 2 displaystyle 1 sigma geq c frac log tfrac 1 varepsilon log q t 2 nbsp fur eine effektiv berechenbare positive Konstante c displaystyle c nbsp Literatur BearbeitenD R Heath Brown Prime Twins and Siegel Zeros In London Mathematical Society Hrsg Proceedings of the London Mathematical Society s3 47 Ausgabe 1983 Thomas Wright Prime Tuples and Siegel Zeros Hrsg arXiv 2021 doi 10 48550 ARXIV 2111 14054 Einzelnachweise Bearbeiten Kaisa Matomaki und Jori Merikoski Siegel zeros twin primes Goldbach s conjecture and primes in short intervals Hrsg arXiv 2021 doi 10 48550 arxiv 2112 11412 Harold Davenport Multiplicative Number Theory In Springer New York Hrsg Graduate Texts in Mathematics 74 1980 a b c D R Heath Brown Prime Twins and Siegel Zeros In London Mathematical Society Hrsg Proceedings of the London Mathematical Society s3 47 Ausgabe 1983 Gautami Bhowmik und Karin Halupczok Condtional Bounds on Siegel Zeros Hrsg arXiv 2020 S 3 doi 10 48550 ARXIV 2010 01308 arxiv 2010 01308 abs Terence Tao Heath Brown s theorem on prime twins and Siegel zeroes Abgerufen am 20 Juli 2022 englisch J W Linnik On the least prime in an arithmetic progression II The Deuring Heilbronn theorem In Tipogr Lissnera i Sobko Hrsg Matematiceskij sbornik Band 57 Nr 3 1944 S 347 368 englisch eudml org Abgerufen von https de wikipedia org w index php title Siegel Nullstelle amp oldid 229023195