www.wikidata.de-de.nina.az
Die Diskriminante D ist eine auf der oberen Halbebene H z C I m z gt 0 displaystyle mathbb H z in mathbb C mid mathrm Im z gt 0 holomorphe Funktion Sie spielt eine wichtige Rolle in der Theorie der elliptischen Funktionen und Modulformen Inhaltsverzeichnis 1 Definition 2 Produktentwicklung 3 Transformationsverhalten 4 Fourierentwicklung 5 Literatur 6 EinzelnachweiseDefinition BearbeitenFur z H displaystyle z in mathbb H nbsp sei D z g 2 3 z 27 g 3 2 z displaystyle Delta z g 2 3 z 27g 3 2 z nbsp dabei sind g 2 z 60 G 4 z displaystyle g 2 z 60G 4 z nbsp und g 3 z 140 G 6 z displaystyle g 3 z 140G 6 z nbsp die Eisensteinreihen zum Gitter Z z Z displaystyle mathbb Z z mathbb Z nbsp Produktentwicklung BearbeitenDie Diskriminante D displaystyle Delta nbsp lasst sich in ein unendliches Produkt entwickeln es gilt D z 2 p 12 e 2 p i z n 1 1 e 2 p i n z 24 displaystyle Delta z 2 pi 12 e 2 pi iz prod n 1 infty 1 e 2 pi inz 24 nbsp Aus der Produktdarstellung folgt unmittelbar dass D displaystyle Delta nbsp in H displaystyle mathbb H nbsp keine Nullstellen hat Die Diskriminante D displaystyle Delta nbsp ist eng verwandt mit der Dedekindschen h Funktion es ist D z 2 p 12 h 24 z displaystyle Delta z 2 pi 12 eta 24 z nbsp Transformationsverhalten BearbeitenDie Diskriminante D ist eine ganze Modulform vom Gewicht 12 d h unter den Substitutionen vonG S L 2 Z a b c d a b c d Z a d b c 1 displaystyle Gamma SL 2 mathbb Z begin pmatrix a amp b c amp d end pmatrix mid a b c d in mathbb Z ad bc 1 nbsp gilt D a z b c z d c z d 12 D z displaystyle Delta left frac az b cz d right cz d 12 Delta z nbsp Die Diskriminante D hat eine Nullstelle bei z displaystyle z infty nbsp und ist damit das einfachste Beispiel fur eine sogenannte Spitzenform engl cusp form Fourierentwicklung BearbeitenDie Diskriminante D lasst sich in eine Fourierreihe entwickeln D z 2 p 12 n 1 t n e 2 p i n z displaystyle Delta z 2 pi 12 sum n 1 infty tau n mathrm e 2 pi inz nbsp Die Fourierkoeffizienten sind alle ganze Zahlen und werden als Ramanujansche tau Funktion bezeichnet Diese ist eine multiplikative zahlentheoretische Funktion d h t m t n t m n displaystyle tau m cdot tau n tau m cdot n nbsp fur teilerfremde m n N displaystyle m n in mathbb N nbsp wie im Jahre 1917 von Louis Mordell bewiesen wurde Genauer gilt die Formel t m t n d m n d 11 t m n d 2 displaystyle tau m tau n sum d m n d 11 tau left frac mn d 2 right nbsp Fur die ersten Werte der tau Funktion t n displaystyle tau n nbsp gilt 1 t 1 1 displaystyle tau 1 1 nbsp t 2 24 displaystyle tau 2 24 nbsp t 3 252 displaystyle tau 3 252 nbsp Bis heute ist keine einfache arithmetische Definition der tau Funktion bekannt Ebenso ist bis heute unbekannt ob die von Derrick Henry Lehmer aufgestellte Vermutung t m 0 displaystyle tau m neq 0 nbsp fur alle m N displaystyle m in mathbb N nbsp richtig ist Ramanujan vermutete dass fur Primzahlen p displaystyle p nbsp gilt t p 2 p 11 2 displaystyle tau p leq 2p 11 2 nbsp Diese Vermutung wurde im Jahre 1974 von Deligne bewiesen Die t n displaystyle tau n nbsp erfullen die bereits von Ramanujan entdeckte Kongruenz t n s 11 n mod 691 displaystyle tau n equiv sigma 11 n mod 691 nbsp mit s 11 n d n d 11 displaystyle sigma 11 n sum d mid n d 11 nbsp Literatur BearbeitenTom M Apostol Modular Functions and Dirichlet Series in Number Theory Springer Berlin Heidelberg New York 1990 ISBN 3 540 97127 0 Eberhard Freitag Rolf Busam Funktionentheorie 1 4 Aufl Springer Berlin 2006 ISBN 3 540 31764 3 Max Koecher Aloys Krieg Elliptische Funktionen und Modulformen 2 Aufl Springer Berlin 2007 ISBN 978 3 540 49324 2Einzelnachweise Bearbeiten Folge A000594 in OEIS Abgerufen von https de wikipedia org w index php title Diskriminante Modulform amp oldid 201779399