Von Mangoldtova funkcija

Predloga:Short description Von Mangoldtova funkcija je v matematiki aritmetična funkcija, imenovana po nemškem matematiku Hansu von Mangoldtu. Von Mangoldt je funkcijo uvedel leta 1894. Funkcija je zgled pomembne aritmetične funkcije, ki ni ne aditivna in ne multiplikativna.

Definicija

Von Mangoldtova funkcija, označena kot $\mathrm{\Lambda }(n)$, je definirana kot:

$\mathrm{\Lambda }(n)=\{\begin{array}{cc}\ln p& \text{če je }n=p^k\text{ za poljubno praštevilo }p\text{ in celo število }k\ge 1,\\ 0& \text{drugače.}\end{array}$

Tu je $\ln p$ naravni logaritem praštevila $p$. Vrednosti funkcije $\mathrm{\Lambda }(n)$ za prvih devet pozitivnih celih števil (to je naravnih števil) so Predloga:OEIS:

$0,\ln 2,\ln 3,\ln 2,\ln 5,0,\ln 7,\ln 2,\ln 3.$

Seštevalna von Mangoldtova funkcija $\psi (x)$, znana tudi kot druga funkcija Čebišova, je definirana kot:

$\psi (x)=\sum _{n\le x}\mathrm{\Lambda }(n).$

Uvedba von Mangoldotove funkcije je omogočila strogi dokaz za eksplicitno formulo za $\psi (x)$ vključno z vsoto čez netrivialne ničle Riemannove funkcije ζ. To je bil pomemben del prvega dokaza praštevilskega izreka.

Značilnosti

Za von Mangoldtovo funkcijo velja enakost:

$\ln n=\sum _{d\mid n}\mathrm{\Lambda }(d).$

Vsota poteka čez vsa cela števila $d$, ki delijo $n$. To dokaže osnovni izrek aritmetike, saj so členi, ki niso potence praštevil, enaki 0. Naj je na primer $n=12=2^2\cdot 3$. Potem sledi:

$\begin{array}{cc}\sum _{d\mid 12}\mathrm{\Lambda }(d)& =\mathrm{\Lambda }(1)+\mathrm{\Lambda }(2)+\mathrm{\Lambda }(3)+\mathrm{\Lambda }(4)+\mathrm{\Lambda }(6)+\mathrm{\Lambda }(12)\\ & =\mathrm{\Lambda }(1)+\mathrm{\Lambda }(2)+\mathrm{\Lambda }(3)+\mathrm{\Lambda }\left(2^2\right)+\mathrm{\Lambda }(2\cdot 3)+\mathrm{\Lambda }(2^2\cdot 3)\\ & =0+\ln 2+\ln 3+\ln 2+0+0\\ & =\ln (2\cdot 3\cdot 2)\\ & =\ln (12).\end{array}$

Po Möbiusovem obratu velja:

$\mathrm{\Lambda }(n)=-\sum _{d\mid n}\mu (d)\ln (d).$

Dirichletove vrste

Von Mangoldtova funkcija je pomembna v teoriji Dirichletovih vrst in še posebej Riemannove funkcije ζ. Velja na primer:

$\ln \zeta (s)=\sum _{n=2}^{\mathrm{\infty }}\frac{\mathrm{\Lambda }(n)}{\ln (n)}\frac{1}{n^s},\mathrm{\Re }(s)>1.$

Logaritemski odvod je potem:

$\frac{{\zeta }^{\prime }(s)}{\zeta (s)}=-\sum _{n=1}^{\mathrm{\infty }}\frac{\mathrm{\Lambda }(n)}{n^s}.$

To so posebni primeri splošnejše povezave na Dirichletove vrste. Če velja:

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

za popolnoma multiplikativno funkcijo $f(n)$ in vrsta konvergira za $\mathrm{\Re }(s)>{\sigma }_0$, razmerje:

$\frac{F^{\prime }(s)}{F(s)}=-\sum _{n=1}^{\mathrm{\infty }}\frac{f(n)\mathrm{\Lambda }(n)}{n^s}$

konvergira za $\mathrm{\Re }(s)>{\sigma }_0$.

Funkcija Čebišova

Druga funkcija Čebišova $\psi (x)$ je seštevalna funkcija von Mangoldtove funkcije:

$\psi (x)=\sum _{p^k\le x}\ln p=\sum _{n\le x}\mathrm{\Lambda }(n).$

Mellinova transformacija funkcije Čebišova se lahko izpelje s pomočjo Perronove formule:

$\frac{{\zeta }^{\prime }(s)}{\zeta (s)}=-s\underset{1}{\overset{\mathrm{\infty }}{\int }}\frac{\psi (x)}{x^{s+1}}\mathrm{d}x,$

ki velja za $\mathrm{\Re }(s)>1$.

Eksponentna vrsta

Hardy in Littlewood sta raziskovala vrsto:

$F(y)=\sum _{n=2}^{\mathrm{\infty }}(\mathrm{\Lambda }(n)-1)e^{-ny}$

v limiti $y\to 0^{+}$. Če sta privzela veljavnost Riemannove domneve, sta pokazala, da velja:

$F(y)=O\left(\frac{1}{\sqrt{y}}\right)\text{ in }F(y)={\mathrm{\Omega }}_{\pm }\left(\frac{1}{\sqrt{y}}\right).$

Še posebej ta funkcija oscilira z divergirajočimi oscilacijami – obstaja takšna vrednost $K>0$, da obe neenakosti:

$F(y)<-\frac{K}{\sqrt{y}},\text{ in }F(z)>\frac{K}{\sqrt{z}}$

veljata nekončno mnogokrat v poljubni okolici 0. Graf na desni prikazuje, da to obnašanje sprava ni numerično očitno: oscilacije niso jasno vidne dokler se ne najde vsota vrste s 100 milijoni členi, ter je le takoj vidna, ko je $y<10^{-5}$.

Rieszeva sredina

Rieszeva sredina von Mangoldtove funkcije je dana z:

$\begin{array}{cc}\sum _{n\le \lambda }{(1-\frac{n}{\lambda })}^{\delta }\mathrm{\Lambda }(n)& =-\frac{1}{2\pi i}\underset{c-i\mathrm{\infty }}{\overset{c+i\mathrm{\infty }}{\int }}\frac{\mathrm{\Gamma }(1+\delta )\mathrm{\Gamma }(s)}{\mathrm{\Gamma }(1+\delta +s)}\frac{{\zeta }^{\prime }(s)}{\zeta (s)}{\lambda }^s\mathrm{d}s\\ & =\frac{\lambda }{1+\delta }+\sum _{\rho }\frac{\mathrm{\Gamma }(1+\delta )\mathrm{\Gamma }(\rho )}{\mathrm{\Gamma }(1+\delta +\rho )}+\sum _n{c}_n{\lambda }^{-n}.\end{array}$

Tu sta $\lambda$ in $\delta$ števili, ki označujeta Rieszevo sredino. Treba je vzeti $c>1$. Vsota čez $\rho$ je vsota čez netrivialne ničle Riemannove funkcije ζ,

$\sum _n{c}_n{\lambda }^{-n}$

pa se lahko pokaže, da je konvergentna vrsta za $\lambda >1$.

Aprokcimacija z ničlami Riemannove funkcije ζ

Val prvih netrivialnih ničel Riemannove funkcije ζ v vsoti, ki aproksimira von Mangoldtovo funkcijo

Obstaja eksplicitna formula za seštevalno von Mangoldtovo funkcijo $\psi (x)$:

$\psi (x)=x-\sum _{\zeta (\rho )=0}\frac{x^{\rho }}{\rho }-\ln (2\pi ).$

Če se ločijo trivialne ničle Riemannove funkcije ζ, ki so negativna soda cela števila, velja:

$\psi (x)=x-\sum _{\zeta (\rho )=0,\mathrm{\Re }(\rho )>0}\frac{x^{\rho }}{\rho }-\ln (2\pi )-\frac{1}{2}\ln (1-x^{-2}).$

Z odvajanjem obeh strani in neupoštevanjem problema konvergence, se dobi »enakost« porazdelitev:

$\sum _{q=p^r}\mathrm{\Lambda }(q)\delta (x-q)=1-\sum _{\zeta (\rho )=0,\mathrm{\Re }(\rho )>0}\frac{x^{\rho }}{x}+\frac{1}{x-x^3}.$

(levo) Von Mangoldtova funkcija, aproksimirana z valom ničel Riemannove funkcije ζ. (desno) Fourierova transformacija von Mangoldtove funkcije da spekter z imaginarnimi deli ničel Riemannove funkcije ζ kot vrhovi na osi $x$.

Tako se lahko pričakuje, da imajo vsote čez netrivialne ničle Riemannove funkcije ζ:

$-\sum _{\zeta (\rho )=0,\mathrm{\Re }(\rho )>0}\frac{x^{\rho }}{x}$

vrhove pri praštevilih. Dejansko je tako, kar se lahko vidi na grafu, in se lahko tudi preveri z izračunom.

Fourierova transformacija von Mangoldtove funkcije da spekter z vrhovi na osi $x$, ki predstavljajo imaginarne dele netrivialnih ničel Riemannove funkcije ζ. To se včasih imenuje dualnost.

Glej tudi

• število praštevil

Viri

• Predloga:Citat
• Predloga:Citat
• Predloga:Citat
• Predloga:Citat
• Predloga:Citat
• Predloga:Citat

Zunanje povezave

• Allan Gut, Some remarks on the Riemann zeta distribution (2005)
• Predloga:Springer
• Chris King, Primes out of thin air (2010)
• Heike, How plot Riemann zeta zero spectrum in Mathematica? (2012)
• Predloga:MathWorld