Apéry sabiti

Kullanılan sayılar γ - ζ(3) - √2 - √3 - √5 - φ - α - [[e sayısı|Şablon:Mvar]] - [[Pi sayısı|Şablon:Mvar]] - δ
İkilik sistem	1.001100111011101...
Onluk sistem	1.2020569031595942854...
Sonsuz kesir olarak yazılışı	$1+\frac{1}{4+\frac{1}{1+\frac{1}{18+\frac{1}{\ddots }}}}$

Apéry sabiti, matematiğin gizemli sayılarından biridir. Elektrodinamik alanında elektronun jiromagnetik oranının ikinci ve üçüncü derece terimlerinin yanı sıra birçok fiziksel soruda karşılaşılan bu sabit, paydasında üstel fonksiyon barındıran integrallerin çözümünde de kullanılmaktadır. Debye modelinin iki boyut için hesaplanması buna örnek olarak gösterilebilir. Sayı, aşağıdaki gibi tanımlanmaktadır.

$\zeta (3)=\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^3}=1+\frac{1}{2^3}+\frac{1}{3^3}+\frac{1}{4^3}+\cdots$

Burada ζ, Riemann zeta fonksiyonunu ifade etmektedir. Bu sayının yaklaşık değeri

$\zeta (3)=1.202056903159594285399738161511449990764986292\dots$

Bu sayının çarpmaya göre tersi rastgele seçilen üç pozitif tamsayının aralarında asal olma olasılığına eşittir.

Apéry teoremi

Bu sabit, onun bir irrasyonel sayı olduğunu 1978 yılında kanıtlayan Roger Apéry (1916–1994)'ye atfedilmiştir. Bu sonuç, Apéry teoremi olarak adlandırılır. Özgün ispatın karmaşık yapısından ötürü anlaşılamaması Legendre polinomlarını kullanan ispatları popüler hale getirmiştir. Apéry sabitinin bir doğaüstü sayı olup olmadığı henüz bilinmemektedir.

Wadim Zudilin ve Tanguy Rivoal'ın yürüttükleri çalışma, sonsuz çoklukta ζ(2n+1) sayısının irrasyonel olduğunu göstermiştir. Ayrıca, ζ(5), ζ(7), ζ(9) ve ζ(11)'den en az birinin irrasyonel olması gerektiği bulunmuştur.

Seri şeklinde yazılışı

Leonhard Euler Şablon:Harvard alıntı 1772 yılında bu sayıyı seri şeklinde ifade etmiştir Şablon:Harvard alıntı:

$\zeta (3)=\frac{{\pi }^2}{7}[1-4\sum _{k=1}^{\mathrm{\infty }}\frac{\zeta (2k)}{(2k+1)(2k+2)2^{2k}}]$

Bu ifade birçok kez yeniden bulunmuştur.

Simon Plouffe her uygulamada farklı doğruluk derecesine sahip birçok seri önermiştir. Bunlar, Şablon:Harvard alıntı:

$\zeta (3)=\frac{7}{180}{\pi }^3-2\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^3(e^{2\pi k}-1)}$

ve

$\zeta (3)=14\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^3\sinh (\pi k)}-\frac{11}{2}\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^3(e^{2\pi k}-1)}-\frac{7}{2}\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^3(e^{2\pi k}+1)}.$

ifadeleridir.

$\zeta (2n+1)$'in farklı değerleri için geçerli eşitlikler zeta sabitleri maddesinde bulunmaktadır.

Bulunan diğer seri ifadeleri şunlardır:

$\zeta (3)=\frac{8}{7}\sum _{k=0}^{\mathrm{\infty }}\frac{1}{(2k+1{)}^3}$

$\zeta (3)=\frac{4}{3}\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^k}{(k+1{)}^3}$

$\zeta (3)=\frac{5}{2}\sum _{k=1}^{\mathrm{\infty }}(-1{)}^{k-1}\frac{(k!{)}^2}{k^3(2k)!}$

$\zeta (3)=\frac{1}{4}\sum _{k=1}^{\mathrm{\infty }}(-1{)}^{k-1}\frac{56k^2-32k+5}{(2k-1{)}^2}\frac{((k-1)!{)}^3}{(3k)!}$

$\zeta (3)=\frac{8}{7}-\frac{8}{7}\sum _{k=1}^{\mathrm{\infty }}\frac{{(-1)}^k{2}^{-5+12k}k(-3+9k+148k^2-432k^3-2688k^4+7168k^5){k!}^3{(-1+2k)!}^6}{{(-1+2k)}^3\left(3k\right)!{(1+4k)!}^3}$

$\zeta (3)=\sum _{k=0}^{\mathrm{\infty }}(-1{)}^k\frac{205n{k}^2+250k+77}{64}\frac{(k!{)}^{10}}{((2k+1)!{)}^5}$

ve

$\zeta (3)=\sum _{k=0}^{\mathrm{\infty }}(-1{)}^k\frac{P(k)}{24}\frac{((2k+1)!(2k)!k!{)}^3}{(3k+2)!((4k+3)!{)}^3}$

Burada,

$P(k)=126392k^5+412708k^4+531578k^3+336367k^2+104000k+12463.$

Bu ifadelerden bazıları Apéry sabitinin birkaç milyon basamağa kadar hesaplanmasında kullanılmıştır.

Şablon:Harvard alıntı'ün sağladığı seri açılımı ikili sayı sisteminde çalışmaktadır. Bu, sabitin doğrusal zamanda hesaplanabilmesine olanak tanımaktadır.

Diğer formüller

Apéry sabiti ikinci dereceden bir poligamma fonksiyonu ile de ifade edilebilmektedir.

$\zeta (3)=-\frac{1}{2}{\psi }^{(2)}(1).$

Bilinen basamakları

Apéry sabitinin bilinen basamak sayısı son yıllarda büyük bir artış göstermiştir. Bu, bilgisayarların gelişen başarımı ve daha verimli algoritmaların üretilmiş olmasının bir sonucudur.

Apéry sabitinin bilinen basamak sayısı

Tarih	Basamak sayısı	Hesaplamayı Yapan Kişi
Ocak 2007	2,000,000,000	Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Eugene Zima & Paul Zimmermann
Nisan 2006	10,000,000,000	Shigeru Kondo & Steve Pagliarulo
Şubat 2003	1,000,000,000	Patrick Demichel & Xavier Gourdon
Şubat 2002	600,001,000	Shigeru Kondo & Xavier Gourdon
Eylül 2001	200,001,000	Shigeru Kondo & Xavier Gourdon
Aralık 1998	128,000,026	Sebastian Wedeniwski Şablon:Harvard alıntı
Şubat 1998	14,000,074	Sebastian Wedeniwski
Mayıs 1997	10,536,006	Patrick Demichel
1997	1,000,000	Bruno Haible & Thomas Papanikolaou
1996	520,000	Greg J. Fee & Simon Plouffe
1887	32	Thomas Joannes Stieltjes
Bilinmiyor	16	Adrien-Marie Legendre

Konuyla ilgili yayınlar

• Şablon:Kaynak.
• Şablon:Kaynak.
• Şablon:Kaynak.
• Şablon:Kaynak.
• Şablon:Kaynak
• Şablon:Kaynak.
• Şablon:Kaynak
• Şablon:Kaynak
• Şablon:Kaynak
• Şablon:Kaynak

Şablon:Dolaşım