Dedekinds etafunktion

Från testwiki
Hoppa till navigering Hoppa till sök
Dedekinds η-funktion i komplexa planet.

Inom matematiken är Dedekinds etafunktion, uppkallad efter Richard Dedekind, en viss modulär form av vikt 1/2. För komplexa tal τ med positiv imaginär del låtq = exp(2πiτ). Då definieras Dedekinds etafunktion som

η(τ)=eπiτ12n=1(1qn).

Etafunktionen är analytisk i övre planhalvan men kan inte fortsättas analytiskt utanför den.

Absoluta värdet av Eulers funktion i enhetsskivan sådan att svart = 0, röd = 4
Diskriminantens reella del som en funktion av q.

Etafunktionen satisfierar funktionalekvationerna

η(τ+1)=eπi12η(τ),
η(1τ)=iτη(τ).

Mer generellt, antag att abcd är heltal med ad − bc = 1, sådana att

τaτ+bcτ+d

är en transformation i modulära gruppen. Vi kan anta att antingen c > 0 eller c = 0 och d = 1. Då är

η(aτ+bcτ+d)=ϵ(a,b,c,d)(cτ+d)12η(τ),

där

ϵ(a,b,c,d)=ebiπ12(c=0,d=1);
ϵ(a,b,c,d)=eiπ[a+d12cs(d,c)14](c>0).

Här betecknar s(h,k) Dedekindsumman

s(h,k)=n=1k1nk(hnkhnk12).

Speciella värden

η(i)=Γ(14)2π3/4
η(12i)=Γ(14)27/8π3/4
η(2i)=Γ(14)211/8π3/4
η(4i)=1+24Γ(14)229/16π3/4

Se även

Referenser

Källor

  • Tom M. Apostol, Modular functions and Dirichlet Series in Number Theory (2 ed), Graduate Texts in Mathematics 41 (1990), Springer-Verlag, Mall:ISBN Se kapitel 3.
  • Neil Koblitz, Introduction to Elliptic Curves and Modular Forms (2 ed), Graduate Texts in Mathematics 97 (1993), Springer-Verlag, Mall:ISBN