Artin–Mazurs zetafunktion

Inom matematiken är Artin–Mazur zetafunktion, uppkallad efter Michael Artin och Barry Mazur, en funktion som används i studiet av itererade funktioner som förekommer i dynamiska system och fraktaler.

Funktionen definieras som den formella potensserien

${\zeta }_f(z)=\exp \left(\sum _{n=1}^{\mathrm{\infty }}\text{card}(\text{Fix}(f^n))\frac{z^n}{n}\right)$

där Fix(ƒ ⁿ) är mängden av fixpunkter av den n-te iterationen av ƒ och card(Fix(ƒ ⁿ)) är kardinaliteten av denna mängd.

Notera att zetafunktionen är definierad bara om antalet fixpunkter är ändligt. Definitionen är formell i att serien har inte alltid ändlig konvergensradie.

Artin–Mazurs zetafunktion är invariant under topologisk konjugation.

Analogier

Artin–Mazurs zetafunktion är formellt lik den lokala zetafunktionen, då en diffeomorfi på en kompakt mångfald ersätter Frobeniusavbildningen för en algebraisk varietet över en ändlig kropp.

Iharas zetafunktion av en graf kan ses som ett exempel på Artin–Mazurs zetafunktion.

Referenser

Allmänna källor

• Mall:Tidskriftsref
• David Ruelle, Dynamical Zeta Functions and Transfer Operators (2002) (PDF)
• Mall:Tidskriftsref
• Mall:Bokref