Selbergklass

Inom matematiken är Selbergklassen en klass av Dirichletserier som satisfierar axiom som verkar vara de essentiella egenskaperna satisfierade av de flesta L- och zetafunktioner. Klassen definierades av Atle Selberg i (Selberg 1992).

Definition

Den formella definitionen av Selbergklassen S är mängden av alla Dirichletserier

${\displaystyle F(s)=\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}}$

som konvergerar absolut för Re(s) > 1 och satisfierar följande fyra axiom:

• 1. Analytiskhet: funktionen (s − 1)^mF(s) är en hel funktion av ändlig ordning för något icke-negativt heltal m;

• 2. Ramanujans förmodan: a₁ = 1 och ${\displaystyle a_{n}\ll _{\epsilon }n^{\epsilon }}$ för varje ε > 0;

• 3. Funktionalekvation: det finns en gammafaktor av formen

${\displaystyle \gamma (s)=Q^{s}\prod _{i=1}^{k}\Gamma (\omega _{i}s+\mu _{i})}$

där Q är reell och positiv, Γ är gammafunktionen, ω_i är reella och positiva, μ_i är komplexa tal med icke-negativ reell del, samt att det finns ett så kallat rottal

${\displaystyle \alpha \in \mathbb {C} ,\;|\alpha |=1}$

så att funktionen

${\displaystyle \Phi (s)=\gamma (s)F(s)\,}$

satisfierar

${\displaystyle \Phi (s)=\alpha \,{\overline {\Phi (1-{\overline {s}})}};}$

• 4. Eulerprodukt: För Re(s) > 1 kan F(s) skrivas som en produkt över primtalen:

${\displaystyle F(s)=\prod _{p}F_{p}(s)}$

med

${\displaystyle F_{p}(s)=\exp {\Big (}\sum _{n=1}^{\infty }{\frac {b_{p^{n}}}{p^{ns}}}{\Big )}}$

och för något θ < 1/2

${\displaystyle b_{p^{n}}=O(p^{n\theta }).\,}$

Referenser

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Selberg class, 31 juli 2015.