Perrons formel

Inom matematiken, speciellt inom analytisk talteori, är Perrons formel en formel av Oskar Perron som räknar summafunktionen av en aritmetisk funktion med hjälp av dess inversa an Mellintransformation.

Satsen

Låt $\{a(n)\}$ vara en aritmetisk funktion och låt

$g(s)=\sum _{n=1}^{\mathrm{\infty }}\frac{a(n)}{n^s}$

vara dess Dirichletserie. Anta att Dirichletserien är absolut konvergent för $\mathrm{\Re }(s)>{\sigma }_a$. Då är Perrons formel

$A(x)={\sum _{n\le x}}^{\star }a(n)=\frac{1}{2\pi i}\underset{c-i\mathrm{\infty }}{\overset{c+i\mathrm{\infty }}{\int }}g(z)\frac{x^z}{z}dz.$

Här betecknar ' att den sista termen multipliceras med 1/2 då x är ett heltal. Formeln kräver att $c>{\sigma }_a$ och $x>0$ är reella tal, men för övrigt godtyckliga.

Exempel

P.g.a. dess relation till Dirichletserier används Perrons formel ofta för att få information om talteoretiska summor. Exempelvis får man ur Dirichletserien för Möbiusfunktionen

$\frac{1}{\zeta (s)}=\prod _p(1-p^{-s})=\sum _{n=1}^{\mathrm{\infty }}\frac{\mu (n)}{n^s}$

integralrepresentationen

$\frac{1}{2\pi i}\underset{c-i\mathrm{\infty }}{\overset{c+i\mathrm{\infty }}{\int }}\frac{x^s}{s\zeta (s)}ds=M(x)$

för dess summafunktion, Mertensfunktionen, där c > 1.

Källor

• Mall:Enwp
• Sidan 243 av Mall:Apostol IANT
• Mall:Mathworld
• Mall:Bokref