Hinčinova konstanta

Iz testwiki
Pojdi na navigacijo Pojdi na iskanje

Hinčinova konstanta je v teoriji števil konstanta, ki kaže da je geometrična sredina delnih količnikov razvoja v verižni ulomek za skoraj vsa realna števila ξ enaka ne glede na vrednost ξ.

Za poljubno realno število:

ξ=[a0;a1,a2,a3]

skoraj vedno velja:

limn(i=1nai)1/n=K0,

kjer je K0 Hinčinova konstanta:[1][2]

K0=r=1(1+1r(r+2))lbr=2,685452001065, Predloga:OEIS,

kjer je lbr dvojiški logaritem.

To značilnost verižnih ulomkov je leta 1933 dokazal Aleksander Jakovljevič Hinčin.[3][4][5]

Realna števila, za katere ta značilnost ne velja, so na primer racionalna števila, koreni kvadratnih enačb z racionalnimi koeficienti (vključno s številom zlatega reza Φ) in osnovo naravnih logaritmov e.

Števila, za katere ta značilnost velja, so po vsej verjetnosti π, Euler-Mascheronijeva konstanta γ in Hinčinova konstanta sama. To ni dokazano.

Hinčinovo konstanto je težko računati. Ni znano ali je racionalno, algebrsko iracionalno ali transcendentno število.

Neskončni verižni ulomek Hinčinove konstante je Predloga:OEIS :

K0=[2;1,2,5,1,1,2,1,1,3,10,2,1,3,2,24,1,3,2,3,1,1,1,...].

Razvoj v vrsto

Hinčinovo konstanto se lahko izrazi z racionalno vrsto ζ v obliki:

logK0=1log2n=1ζ(2n)1nk=12n1(1)k+1k

ali:

logK0=1log2[k=3Nlog(k1k)log(k+1k)+n=1ζ(2n,N)nk=12n1(1)k+1k],

kjer je N fiksno celo število in ζ(s,q) Hurwitzeva funkcija ζ. Obe vrsti sta močno konvergentni, saj se ζ(n)1 za velike n hitro približuje 0. Razvoj se lahko poda tudi s funkcijo dilogaritma:

logK0=log2+1log2[Li2(12)+12k=2(1)kLi2(4k2)].

Hölderjeva sredina

Hinčinova konstanta je prva v nizu Hölderjevih sredin izrazov verižnih ulomkov. Če je dana poljubna vrsta {an}, je Hölderjeva sredina reda p dana kot:

Kp=limn[1nk=1nakp]1/p.

Ko so {an} členi razvojaa v verižni ulomek, so konstante dane z:

Kp=[k=1kplb(11(k+1)2)]1/p.

To sledi, če se uporabi p-ta sredina v povezavi z Gauss-Kuzminovo porazdelitvijo. Vrednost Hinčinove konstante K0 izhaja iz limite p0.

Glej tudi

Sklici

Predloga:Sklici

Viri

Predloga:Refbegin

Predloga:Refend

Zunanje povezave

Predloga:Math-stub