Khinchins sabiti - Khinchins constant - Wikipedia

İçinde sayı teorisi, Aleksandr Yakovlevich Khinchin bunu kanıtladı Neredeyse hepsi gerçek sayılar x, katsayılar a_ben of devam eden kesir genişlemesi x sınırlı olmak geometrik ortalama değerinden bağımsızdır x ve olarak bilinir Khinchin sabiti.

Yani

${ displaystyle x = a_ {0} + { cfrac {1} {a_ {1} + { cfrac {1} {a_ {2} + { cfrac {1} {a_ {3} + { cfrac { 1} { ddots}}}}}}} ;}$

bu neredeyse her zaman bu doğru

${ displaystyle lim _ {n sağ ok infty} sol (a_ {1} a_ {2} ... a_ {n} sağ) ^ {1 / n} = K_ {0}}$

nerede ${ displaystyle K_ {0}}$ Khinchin sabiti

${ displaystyle K_ {0} = prod _ {r = 1} ^ { infty} { sol (1+ {1 r üzerinden (r + 2)} sağ)} ^ { log _ {2} r} yaklaşık 2.6854520010 dots}$ (sıra A002210 içinde OEIS )

(ile ${ displaystyle prod}$ ifade eden tüm sıra koşullarında ürün ).

Neredeyse tüm sayılar bu özelliği karşılasa da, kanıtlanmamıştır. hiç gerçek Numara değil bu amaç için özel olarak inşa edilmiştir. x sürekli fraksiyon genişletmeleri bilinen değil bu mülke sahip olmak rasyonel sayılar, kökleri ikinci dereceden denklemler (I dahil ederek altın Oran Φ ve Karekök tamsayı) ve doğal logaritmanın tabanı e.

Khinchin bazen eski matematik literatüründe Khintchine (Rusça Хинчин'nin Fransızca çevirisi) olarak yazılır.

İspat taslağı

Burada sunulan kanıtı düzenleyen Czesław Ryll-Nardzewski^[1] ve Khinchin'in kullanmayan orijinal ispatından çok daha basittir. ergodik teori.

İlk katsayıdan beri a₀ devam eden fraksiyonunun x Khinchin teoreminde hiçbir rol oynamaz ve rasyonel sayılar Sahip olmak Lebesgue ölçümü sıfır, biz irrasyonel sayıların çalışmasına indirgendik. birim aralığı, yani içinde olanlar ${ displaystyle I = [0,1] setminus mathbb {Q}}$. Bu numaralar birebir örten sonsuz ile devam eden kesirler [0;a₁, a₂, ...], biz sadece [a₁, a₂, ...], nerede a₁, a₂, ... vardır pozitif tam sayılar. Bir dönüşüm tanımlayın T:ben → ben tarafından

${ displaystyle T ([a_ {1}, a_ {2}, noktalar]) = [a_ {2}, a_ {3}, noktalar]. ,}$

Dönüşüm T denir Gauss – Kuzmin – Kablolama operatörü. Her biri için Borel alt kümesi E nın-nin benbiz de tanımlıyoruz Gauss – Kuzmin ölçümü nın-nin E

${ displaystyle mu (E) = { frac {1} { log 2}} int _ {E} { frac {dx} {1 + x}}.}$

Sonra μ bir olasılık ölçüsü üzerinde σ-cebir Borel alt kümelerinin ben. Ölçüm μ dır-dir eşdeğer Lebesgue ölçümüne ben, ancak dönüşümün sağladığı ek özelliğe sahiptir. T korur ölçüm μ. Üstelik kanıtlanabilir ki T bir ergodik dönüşüm of ölçülebilir alan ben olasılık ölçüsü ile donatılmış μ (bu, ispatın zor kısmıdır). ergodik teorem sonra bunu herhangi biri için söylüyor μ-entegre edilebilir işlev f açık benortalama değeri ${ displaystyle f sol (T ^ {k} x sağ)}$ neredeyse herkes için aynı ${ displaystyle x}$:

${ displaystyle lim _ {n ile infty} { frac {1} {n}} toplamı _ {k = 0} ^ {n-1} (f circ T ^ {k}) (x) = int _ {I} fd mu quad { text {for}} mu { text {-neredeyse tümü}} x I.}$

Bunu şu şekilde tanımlanan işleve uygulamak: f([a₁, a₂, ...]) = günlük (a₁), bunu elde ederiz

${ displaystyle lim _ {n ila infty} { frac {1} {n}} toplam _ {k = 1} ^ {n} log (a_ {k}) = int _ {I} f , d mu = sum _ {r = 1} ^ { infty} log (r) { frac { log { bigl (} 1 + { frac {1} {r (r + 2 )}} { bigr)}} { günlük 2}}}$

neredeyse hepsi için [a₁, a₂, ...] içinde ben gibi n → ∞.

Almak üstel her iki tarafta da sola doğru geometrik ortalama ilkinin n devam eden kesrin katsayıları ve sağ Khinchin sabiti.

Seri ifadeleri

Khinchin sabiti şu şekilde ifade edilebilir: rasyonel zeta serisi şeklinde^[2]

${ displaystyle log K_ {0} = { frac {1} { log 2}} toplamı _ {n = 1} ^ { infty} { frac { zeta (2n) -1} {n} } toplam _ {k = 1} ^ {2n-1} { frac {(-1) ^ {k + 1}} {k}}}$

veya serideki terimleri soyarak,

${ displaystyle log K_ {0} = { frac {1} { log 2}} sol [- sum _ {k = 2} ^ {N} log sol ({ frac {k-1 } {k}} right) log left ({ frac {k + 1} {k}} right) + sum _ {n = 1} ^ { infty} { frac { zeta (2n , N + 1)} {n}} toplam _ {k = 1} ^ {2n-1} { frac {(-1) ^ {k + 1}} {k}} sağ]}$

nerede N bir tam sayıdır, sabit tutulur ve ζ (s, n) karmaşıktır Hurwitz zeta işlevi. Her iki seri de ζ (n) - 1 büyük için hızla sıfıra yaklaşır n. Bir genişleme de verilebilir. dilogaritma:

${ displaystyle log K_ {0} = log 2 + { frac {1} { log 2}} sol [{ mbox {Li}} _ {2} sol ({ frac {-1} {2}} right) + { frac {1} {2}} sum _ {k = 2} ^ { infty} (- 1) ^ {k} { mbox {Li}} _ {2} left ({ frac {4} {k ^ {2}}} sağ) sağ].}$

Hölder demek

Khinchin sabiti, bir dizi içinde ilk olarak görülebilir. Hölder demek sürekli kesirler terimleri. Keyfi bir dizi verildiğinde {a_n}, Hölder düzenin anlamı p serinin verdiği

${ displaystyle K_ {p} = lim _ {n to infty} left [{ frac {1} {n}} sum _ {k = 1} ^ {n} a_ {k} ^ {p } sağ] ^ {1 / p}.}$

Ne zaman {a_n} sürekli kesir açılımının terimleridir, sabitler şu şekilde verilir:

${ displaystyle K_ {p} = sol [ toplam _ {k = 1} ^ { infty} -k ^ {p} log _ {2} sol (1 - { frac {1} {(k +1) ^ {2}}} sağ) sağ] ^ {1 / p}.}$

Bu, alınarak elde edilir. p-th anlamı ile bağlantılı olarak Gauss-Kuzmin dağılımı. Değeri K₀ sınırında elde edildiği gösterilebilir p → 0.

Harmonik ortalama

Yukarıdaki ifadeler aracılığıyla, harmonik ortalama Devamlı bir kesire ait terimler de elde edilebilir. Elde edilen değer

${ displaystyle K _ {- 1} = 1,74540566240 noktalar}$ (sıra A087491 içinde OEIS ).

Açık sorunlar

Sınır ${ displaystyle lim _ {n sağ ok infty} ( pi _ {1} pi _ {2} ... pi _ {n}) ^ {1 / n}}$ Khinchin sabitine meyilli görünüyor.

• π, Euler – Mascheroni sabiti γ ve Khinchin sabitinin kendisi, sayısal kanıtlara dayanarak,^[3][4] katsayılarının geometrik ortalaması olan sayılar arasında olduğu düşünülmektedir. a_ben devam eden fraksiyon genişlemesinde Khinchin sabitine eğilimlidir. Ancak, bu sınırların hiçbiri kesin olarak belirlenmemiştir.
• Khinchin'in sabitinin rasyonel olup olmadığı bilinmemektedir. cebirsel irrasyonel veya transandantal numara.^[5]

Ayrıca bakınız

• Lochs teoremi
• Lévy sabiti

• Matematiksel sabitlerin listesi

Referanslar

• David H. Bailey; Jonathan M. Borwein; Richard E. Crandall (1995). "Khinchine sabiti üzerine" (PDF). doi:10.1090 / s0025-5718-97-00800-4. Alıntı dergisi gerektirir | günlük = (Yardım)

• Jonathan M. Borwein; David M. Bradley; Richard E. Crandall (2000). "Riemann Zeta Fonksiyonu için Hesaplamalı Stratejiler" (PDF). J. Comp. Uygulama. Matematik. 121: 11. doi:10.1016 / s0377-0427 (00) 00336-8.

• Thomas Wieting. "Bir Khinchin Dizisi". Alıntı dergisi gerektirir | günlük = (Yardım)

• Aleksandr Ya. Khinchin (1997). Devam Kesirler. New York: Dover Yayınları.

Dış bağlantılar

• 110.000 basamak Khinchin sabiti
• 10.000 basamak Khinchin sabiti