Euler-product

In getaltheorie, een deelgebied van de wiskunde, is een Euler-product een oneindige productuitbreiding, die door de priemgetallen, p, van een dirichlet-reeks worden geïndexeerd. De naam is ontstaan uit het geval van de Riemann-zèta-functie, waar een dergelijke productrepresentatie door Leonhard Euler werd bewezen.

In het algemeen kan een dirichletreeks van de vorm

n a ( n ) n s {\displaystyle \sum _{n}a(n)n^{-s}\,} ,

waar a ( n ) {\displaystyle a(n)} een multiplicatieve functie van n {\displaystyle n} is, geschreven worden als

p P ( p , s ) {\displaystyle \prod _{p}P(p,s)\,}

waar P ( p , s ) {\displaystyle P(p,s)} de som is van

1 + a ( p ) p s + a ( p 2 ) p 2 s + . {\displaystyle 1+a(p)p^{-s}+a(p^{2})p^{-2s}+\cdots .}

Indien wij deze formule als de voortbrengende functie beschouwen, is het bestaan van een dergelijke euler-productuitbreiding een noodzakelijke en voldoende voorwaarde dat de termen a ( n ) {\displaystyle a(n)} multiplicatief zijn, dit wil zeggen dat a ( n ) {\displaystyle a(n)} het product is van a   p k {\displaystyle a\ p^{k}} , wanneer n {\displaystyle n} factoriseert als het product van de machten p k {\displaystyle p^{k}} van verschillende priemgetallen p {\displaystyle p} .

Een belangrijk speciaal geval is dat, waarin a ( n ) {\displaystyle a(n)} totaal multiplicatief is, zodanig dat P ( p , s ) {\displaystyle P(p,s)} een meetkundige reeks is. Dan geldt

P ( p , s ) = 1 1 a ( p ) p s {\displaystyle P(p,s)={\frac {1}{1-a(p)p^{-s}}}}

zoals in het geval van de riemann-zèta-functie, waar a ( n ) = 1 {\displaystyle a(n)=1} , en meer in het algemeen ook voor de dirichlet-karakters.

In de praktijk zijn alle belangrijke gevallen zodanig dat de oneindige reeksen en oneindige productuitbreidingen absoluut convergent zijn in enig rechter halfvlak

R e ( s ) > C {\displaystyle Re(s)>C}

van het complexe vlak. Dit geeft al de nodige informatie, aangezien het oneindig product, om te convergeren, een waarde ongelijk aan nul moet opleveren. Vandaar dat de functie, die wordt gegeven door de oneindige reeks, niet nul is in een dergelijk halfvlak.

In de theorie van de modulaire vormen is het typerend om euler-producten met kwadratische veeltermen in de noemer te hebben. Het algemene langlands-programma geeft een vergelijkbare verklaring voor de verbinding van polynomen van graad m {\displaystyle m} , en de representatietheorie voor G L m {\displaystyle GL_{m}} .

Websites

  • (en) ProofWiki. Definition:Euler Product.
  • (en) MathWorld. Euler-product.