Liouvillova funkcija

Liouvillova funkcija (običajna označba ) je v teoriji števil pomembna aritmetična funkcija. Imenuje se po francoskem matematiku Josephu Liovillu.

Liovillova funkcija je definirana kot:

kjer je Ω(n) funkcija števila vseh prafaktorjev , štetih s ponovitvijo. Liouvillova funkcija lahko zavzema le dve različni vrednosti {-1, 1}. Posebej za vsako praštevilo velja , kjer je Möbiusova funkcija. Prve vrednosti Liouvillove funkcije za so (OEIS A008836):

1, -1, -1, 1, -1, 1, -1, -1, 1, 1, -1, -1, -1, 1, 1, 1, -1, -1, -1, -1, 1, 1, -1, 1, 1, 1, -1, -1, -1, ...

Značilnosti uredi

Funkcija λ je popolnoma multiplikativna, ker je funkcija   popolnoma aditivna, kar pomeni, da velja  . Tako velja:   za poljubna  . Število 1 nima prafaktorjev, tako da je  , in zato  . Po dogovoru je tudi  . Za Liouvillovo funkcijo velja enakost:

 

Dirichletov invez Liouvillove funkcije je absolutna vrednost Möbiusove funkcije:

 

Liouvillova funkcija je povezana z Möbiusovo funkcijo kot:[1]

 

Posebej za vsa števila, ki niso deljiva s kvadratom   (OEIS A013929), velja:

 

V tem smislu je Liouvillova funkcija posplošitev Möbiusove funkcije. Prve vrednosti absolutne vrednosti, oziroma kvadrata razlike funkcij   za   so (OEIS A107078):

0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 1, 0, ...

Vrste uredi

Dirichletova vrsta za Liouvillovo funkcijo je povezana z Riemannovo funkcijo ζ:

 

Lambertova vrsta za Liouvillovo funkcijo je:

 

kjer je   Jacobijeva funkcija ϑ.

Domneve uredi

Pólyeva domneva uredi

 
Seštevalna Liouvillova funkcija L(n) do n = 104. Vidna nihanja povzročajo netrivialne ničle Riemannove funkcije ζ.
 
Seštevalna Liouvillova funkcija L(n) do n = 107. Opazna je skalirna invariantnost nihanj.
 
Logaritemski graf negativnih vrednosti seštevalne Liouvillove funkcije L(n) do n = 2 · 109. Zeleni vrh kaže funkcijo samo (ne njen negativ) v ozkem območju, kjer Pólyeva domneva odpove; modra krivulja kaže prispevek k nihanju prve netrivialne ničle Riemannove funkcije ζ.

Pólyeva domneva je domneva, ki jo je leta 1919 postavil George Pólya.[2] Če je funkcija (seštevalna Liouvillova funkcija) definirana kot vsota:

 

Prve vrednosti funkcije   za   so (OEIS A002819):

0, 1, 0, -1, 0, -1, 0, -1, -2, -1, 0, -1, -2, -3, -2, -1, 0, -1, -2, -3, -4, -3, -2, 3, -2, -1, 0, -1, -2, -3, ...

Pólyeva domneva pravi, da je   za vsak  . Prve vrednosti  , za katere je  , so (OEIS A028488):

2, 4, 6, 10, 16, 26, 40, 96, 586, 906150256, 906150294, 906150308, 906150310, 906150314, ...

To se je izkazalo za nepravilno. Haselgrove je leta 1958 s pomočjo Inghamove metode iz leta 1942[3] ovrgel Pólyevo domnevo in pokazal, da ima domneva protiprimer, ter ga ocenil na približno 1,845 · 10361.[4] Pokazal je tudi, da obstaja neskončno mnogo celih števil   za katera je  . Eksplicitni protiprimer za   je našel Lehman leta 1960.[5] Najmanjši protiprimer je  , ki ga je leta 1980 našel Minoru Tanaka.[6] Pólyeva domneva v območju   za večino vrednosti   ne velja. V tem območju ima funkcija največjo vrednost za  .

Pokazali so, da je   za neskončno mnogo pozitivnih celih števil  .[7] Lahko se tudi pokaže, da velja   za neskončno mnogo pozitivnih celih števil  . Ni pa znano ali funkcija   menja predznak neskončno mnogokrat.[6]

Turánov rezultat uredi

Definira se sorodna vsota:

 

Nekaj časa je bilo odprto vprašanje ali je   za dovolj velik   (to »domnevo« včasih (vendar nepravilno) pripisujejo Turánu). Neenakost je ovrgel Haselgrove leta 1958, ko je pokazal, da funkcija   zavzema negativne vrednosti neskončno mnogokrat.[4] Peter Borwein, Ferguson in Mossinghoff[7] pa so leta 2008 pokazali, da je najmanjši takšen x enak 72.185.376.951.205. Potrditev pravilnosti te domneve bi načeloma vodila do dokaza Riemannove domneve, kot je pokazal Turán, vendar je njegov rezultat prazno pravilen in ga ni moč uporabiti za dokaz Riemannove domneve.

Landau je v svoji disertaciji Neuer Beweis der Gleichung   leta 1899 pokazal enakovrednost Riemannove domneve za vsak poljuben  :[8][9]

 

Vrednost   je najboljša možna. Limita:

 

je enakovredna praštevilskemu izreku.

Sklici uredi

Viri uredi

  • Borwein, Peter; Choi, Stephen; Rooney, Brendan; Weirathmueller, Andrea, ur. (2008), The Riemann Hypothesis: A Resource for the Afficionado and Virtuoso Alike, CMS Books in Mathematics, New York: Springer, doi:10.1007/978-0-387-72126-2, ISBN 978-0-387-72125-5
  • Borwein, Peter; Ferguson, Ron; Mossinghoff, Michael J. (2008), »Sign changes in sums of the Liouville function« (PDF), Mathematics of Computation, 77 (263): 1681–1694, doi:10.1090/S0025-5718-08-02036-X, MR 2398787
  • Haselgrove, Colin Bryan (1958). »A disproof of a conjecture of Polya«. Mathematika. Zv. 5, št. 2. str. 141–145. doi:10.1112/S0025579300001480. ISSN 0025-5793. MR 0104638. Zbl 0085.27102.
  • Ingham, Albert Edward (1942), »On Two Conjectures in the Theory of Numbers«, Amer. J. Math., 64: 313–319
  • Landau, Edmund (2008) [1899], New Proof of the Equation  , Berlin, arXiv:0803.3787
  • Lavrik, A. F. (2001), »Liouville function«, v Hazewinkel, Michiel (ur.), [[Encyclopedia of Mathematics]], Springer, ISBN 978-1-55608-010-4 {{citation}}: Navzkrižje URL–ja in wikipovezave (pomoč)
  • Lehman, Russell Sherman (1960). »On Liouville's function« (PDF). Mathematics of Computation. Zv. 14. str. 311–320. doi:10.1090/S0025-5718-1960-0120198-5. JSTOR 2003890. MR 0120198.
  • Pólya, George (1919). »Verschiedene Bemerkungen zur Zahlentheorie«. Jahresbericht der Deutschen Mathematiker-Vereinigung. Zv. 28. str. 31–40.
  • Tanaka, Minoru (1980). »A Numerical Investigation on Cumulative Sum of the Liouville Function«. Tokyo Journal of Mathematics. Zv. 3, št. 1. str. 187–189. doi:10.3836/tjm/1270216093. MR 0584557.

Zunanje povezave uredi