Lompat ke isi

Konstanta Apéry: Perbedaan antara revisi

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Konten dihapus Konten ditambahkan
Dedhert.Jr (bicara | kontrib)
Memperbaiki terjemahan pada kategori
Dedhert.Jr (bicara | kontrib)
→‎Rumus yang lebih rumit: Memperbaiki terjemahan yang belum diterjemahkan dan salah diterjemahkan.
Baris 20: Baris 20:
:<math>\begin{align}\zeta(3) &= \sum_{n=1}^\infty\frac{1}{n^3} \\&= \lim_{n \to \infty}\left(\frac{1}{1^3} + \frac{1}{2^3} + \cdots + \frac{1}{n^3}\right)\end{align}</math>
:<math>\begin{align}\zeta(3) &= \sum_{n=1}^\infty\frac{1}{n^3} \\&= \lim_{n \to \infty}\left(\frac{1}{1^3} + \frac{1}{2^3} + \cdots + \frac{1}{n^3}\right)\end{align}</math>


dimana {{math|''ζ''}} adalah [[fungsi Riemann zeta]]. Ini memiliki nilai perkiraan<ref name="Wedeniwski 2001">See {{harvnb|Wedeniwski|2001}}.</ref>
dimana {{math|''ζ''}} adalah [[fungsi Riemann zeta]]. Ini memiliki nilai perkiraan<ref name="Wedeniwski 2001">Lihat {{harvnb|Wedeniwski|2001}}.</ref>


:{{math|''ζ''(3) {{=}} {{gaps|1.20205|69031|59594|28539|97381|61511|44999|07649|86292|…}}}} {{OEIS|id=A002117}}.
:{{math|''ζ''(3) {{=}} {{gaps|1.20205|69031|59594|28539|97381|61511|44999|07649|86292|…}}}} {{OEIS|id=A002117}}.
Baris 27: Baris 27:


== Bilangan irasional ==
== Bilangan irasional ==
{{math|''ζ''(3)}} dinamai ''Konstanta Apéry'' setelah ahli matematika Prancis [[Roger Apéry]], yang membuktikan pada tahun 1978 bahwa itu adalah [[bilangan irasional]].<ref name="Apery-1979">See {{harvnb|Apéry|1979}}.</ref> Hasil ini dikenal sebagai ''[[Teorema Apéry]]''. Bukti aslinya rumit dan sulit dipahami,<ref>See {{harvnb|van der Poorten|1979}}.</ref> dan bukti yang lebih sederhana ditemukan kemudian.<ref name="Beukers 1979">See {{harvnb|Beukers|1979}}.</ref><ref>See {{harvnb|Zudilin|2002}}.</ref>
{{math|''ζ''(3)}} dinamai ''Konstanta Apéry'' setelah ahli matematika Prancis [[Roger Apéry]], yang membuktikan pada tahun 1978 bahwa itu adalah [[bilangan irasional]].<ref name="Apery-1979">Lihat {{harvnb|Apéry|1979}}.</ref> Hasil ini dikenal sebagai ''[[Teorema Apéry]]''. Bukti aslinya rumit dan sulit dipahami,<ref>Lihat {{harvnb|van der Poorten|1979}}.</ref> dan bukti yang lebih sederhana ditemukan kemudian.<ref name="Beukers 1979">See {{harvnb|Beukers|1979}}.</ref><ref>Lihat {{harvnb|Zudilin|2002}}.</ref>


Bukti irasionalitas Beuker yang disederhanakan melibatkan pendekatan integral dari integral rangkap tiga yang diketahui <math>\zeta(3)</math>,
Bukti irasionalitas Beuker yang disederhanakan melibatkan pendekatan integral dari integral rangkap tiga yang diketahui <math>\zeta(3)</math>,


:<math>\zeta(3) = \int_0^1 \int_0^1 \int_0^1 \frac{1}{1-xyz}\, dx\, dy\, dz,</math>
:<math>\zeta(3) = \int_0^1 \int_0^1 \int_0^1 \frac{1}{1-xyz}\, dx\, dy\, dz,</math>
oleh [[polinomial Legendre]].
oleh [[polinomial Legendre]]. Secara khusus, artikel van der Poorten mencatat pendekatan ini dengan mencatat hal itu
Secara khusus, artikel van der Poorten mencatat pendekatan ini dengan mencatat hal itu


:<math>I_3 := -\frac{1}{2} \int_0^1 \int_0^1 \frac{P_n(x) P_n(y) \log(xy)}{1-xy}\, dx\, dy = b_n \zeta(3) - a_n, </math>
:<math>I_3 := -\frac{1}{2} \int_0^1 \int_0^1 \frac{P_n(x) P_n(y) \log(xy)}{1-xy}\, dx\, dy = b_n \zeta(3) - a_n, </math>
Baris 41: Baris 40:
Masih belum diketahui apakah konstanta Apéry adalah [[bilangan transendental|transendental]].
Masih belum diketahui apakah konstanta Apéry adalah [[bilangan transendental|transendental]].


== Representasi deret ==
== Wakilan deret ==


=== Klasik ===
=== Klasik ===
Selain deret fundamental:
Selain deret dasar:
:<math>\zeta(3)=\sum_{k=1}^\infty \frac{1}{k^3},</math>
:<math>\zeta(3)=\sum_{k=1}^\infty \frac{1}{k^3},</math>
[[Leonhard Euler]] memberikan representasi deret:<ref>See {{harvnb|Euler|1773}}.</ref>
[[Leonhard Euler]] memberikan wakilan deret:<ref>Lihat {{harvnb|Euler|1773}}.</ref>
:<math>\zeta(3)=\frac{\pi^2}{7} \left( 1-4\sum_{k=1}^\infty \frac {\zeta (2k)} {2^{2k}(2k+1)(2k+2)} \right)</math>
:<math>\zeta(3)=\frac{\pi^2}{7} \left( 1-4\sum_{k=1}^\infty \frac {\zeta (2k)} {2^{2k}(2k+1)(2k+2)} \right)</math>
pada 1772, yang kemudian ditemukan kembali beberapa kali.<ref>See {{harvnb|Srivastava|2000|loc=p. 571 (1.11)}}.</ref>
pada tahun 1772, yang kemudian ditemukan kembali beberapa kali.<ref>Lihat {{harvnb|Srivastava|2000|loc=p. 571 (1.11)}}.</ref>


Representasi deret klasik lainnya termasuk:
Wakilan deret klasik lainnya termasuk:
:<math>\begin{align} \zeta(3) &= \frac{8}{7} \sum_{k=0}^\infty \frac{1}{(2k+1)^3} \\ \zeta(3) &= \frac{4}{3} \sum_{k=0}^\infty \frac{(-1)^k}{(k+1)^3} \end{align}</math>
:<math>\begin{align} \zeta(3) &= \frac{8}{7} \sum_{k=0}^\infty \frac{1}{(2k+1)^3} \\ \zeta(3) &= \frac{4}{3} \sum_{k=0}^\infty \frac{(-1)^k}{(k+1)^3} \end{align}</math>


=== Konvergensi cepat ===
=== Kekonvergenan cepat ===
Sejak abad ke-19, sejumlah ahli matematika telah menemukan deret percepatan konvergensi untuk menghitung tempat desimal {{math|''ζ''(3)}}. Sejak tahun 1990-an, pencarian ini telah difokuskan pada rangkaian yang efisien secara komputasi dengan tingkat konvergensi yang cepat (lihat bagian "[[#Digit yang diketahui|Digit yang diketahui]]").
Sejak abad ke-19, sejumlah ahli matematika telah menemukan deret percepatan konvergensi untuk menghitung tempat desimal {{math|''ζ''(3)}}. Sejak tahun 1990-an, pencarian ini telah difokuskan pada rangkaian yang efisien secara komputasi dengan tingkat konvergensi yang cepat (lihat bagian "[[#Digit yang diketahui|Digit yang diketahui]]").


Representasi seri berikut ditemukan oleh A.A. Markov pada tahun 1890<ref>See {{harvnb|Markov|1890}}.</ref>, rediscovered by Hjortnaes in 1953,<ref>See {{harvnb|Hjortnaes|1953}}.</ref> dan ditemukan kembali sekali lagi dan diiklankan secara luas oleh Apéry pada tahun 1979:<ref name="Apery-1979" />
Wakilan deret berikut ditemukan oleh A.A. Markov pada tahun 1890<ref>Lihat {{harvnb|Markov|1890}}.</ref>, ditemukan kembali oleh Hjortnaes pada tahun 1953,<ref>Lihat {{harvnb|Hjortnaes|1953}}.</ref> dan ditemukan kembali sekali lagi dan diiklankan secara luas oleh Apéry pada tahun 1979:<ref name="Apery-1979" />
:<math>\zeta(3) = \frac{5}{2} \sum_{k=1}^\infty (-1)^{k-1} \frac{k!^2}{(2k)!k^3}</math>
:<math>\zeta(3) = \frac{5}{2} \sum_{k=1}^\infty (-1)^{k-1} \frac{k!^2}{(2k)!k^3}</math>


Representasi seri berikut, ditemukan oleh Amdeberhan pada tahun 1996,<ref>See {{harvnb|Amdeberhan|1996}}.</ref> memberikan (tanpa gejala) 1,43 tempat desimal baru yang benar per suku:
Wakilan deret berikut, ditemukan oleh Amdeberhan pada tahun 1996,<ref>Lihat {{harvnb|Amdeberhan|1996}}.</ref> memberikan (secara asimtotik) 1,43 tempat desimal koreksi baru per suku:
:<math>\zeta(3) = \frac{1}{4} \sum_{k=1}^\infty (-1)^{k-1} \frac{(k-1)!^3(56k^2 - 32k + 5)}{(2k-1)^2(3k)!}</math>
:<math>\zeta(3) = \frac{1}{4} \sum_{k=1}^\infty (-1)^{k-1} \frac{(k-1)!^3(56k^2 - 32k + 5)}{(2k-1)^2(3k)!}</math>


Representasi seri berikut, ditemukan oleh Amdeberhan dan Zeilberger pada tahun 1997,<ref>See {{harvnb|Amdeberhan|Zeilberger|1997}}.</ref> memberikan (tanpa gejala) 3,01 tempat desimal baru yang benar per suku:
Wakilan deret berikut, ditemukan oleh Amdeberhan dan Zeilberger pada tahun 1997,<ref>Lihat {{harvnb|Amdeberhan|Zeilberger|1997}}.</ref> memberikan (secara asimtotik) 3,01 tempat desimal koreksi baru per suku:
:<math>\zeta(3) = \frac{1}{64} \sum_{k=0}^\infty (-1)^k \frac{k!^{10}(205k^2 + 250k + 77)}{(2k+1)!^5}</math>
:<math>\zeta(3) = \frac{1}{64} \sum_{k=0}^\infty (-1)^k \frac{k!^{10}(205k^2 + 250k + 77)}{(2k+1)!^5}</math>


Representasi seri berikut, ditemukan oleh Sebastian Wedeniwski pada tahun 1998,<ref>See {{harvnb|Wedeniwski|1998}} dan {{harvnb|Wedeniwski|2001}}. Dalam pesannya kepada Simon Plouffe, Sebastian Wedeniwski menyatakan bahwa dia mendapatkan formula ini dari {{harvnb|Amdeberhan|Zeilberger|1997}}. The discovery year (1998) is mentioned in [http://plouffe.fr/simon/articles/TableofRecords.pdf Simon Plouffe's Table of Records] (8 April 2001).</ref> memberikan (tanpa gejala) 5,04 tempat desimal baru yang benar per suku:
Wakilan deret berikut, ditemukan oleh Sebastian Wedeniwski pada tahun 1998,<ref>Lihat {{harvnb|Wedeniwski|1998}} dan {{harvnb|Wedeniwski|2001}}. Dalam pesannya kepada Simon Plouffe, Sebastian Wedeniwski menyatakan bahwa dia mendapatkan rumus ini dari {{harvnb|Amdeberhan|Zeilberger|1997}}. Penemuannay tahun (1998) disebutkan dalam [http://plouffe.fr/simon/articles/TableofRecords.pdf Simon Plouffe's Table of Records] (8 April 2001).</ref> memberikan (tanpa gejala) 5,04 tempat desimal koreksi baru per suku:
:<math>\zeta(3) = \frac{1}{24} \sum_{k=0}^\infty (-1)^k \frac{(2k+1)!^3(2k)!^3k!^3(126392k^5 + 412708k^4 + 531578k^3 + 336367k^2 + 104000k + 12463)}{(3k+2)!(4k+3)!^3}</math>
:<math>\zeta(3) = \frac{1}{24} \sum_{k=0}^\infty (-1)^k \frac{(2k+1)!^3(2k)!^3k!^3(126392k^5 + 412708k^4 + 531578k^3 + 336367k^2 + 104000k + 12463)}{(3k+2)!(4k+3)!^3}</math>


Ini digunakan oleh Wedeniwski untuk menghitung konstanta Apéry dengan beberapa juta tempat desimal yang benar.<ref>See {{harvnb|Wedeniwski|1998}} and {{harvnb|Wedeniwski|2001}}.</ref>
Ini digunakan oleh Wedeniwski untuk menghitung konstanta Apéry dengan beberapa juta tempat desimal yang benar.<ref>Lihat {{harvnb|Wedeniwski|1998}} dan {{harvnb|Wedeniwski|2001}}.</ref>


Representasi deret berikut, ditemukan oleh Mohamud Mohammed pada tahun 2005,<ref>See {{harvnb|Mohammed|2005}}.</ref> gives (asymptotically) 3.92 new correct decimal places per term:
Wakilan deret berikut, ditemukan oleh Mohamud Mohammed pada tahun 2005,<ref>Lihat {{harvnb|Mohammed|2005}}.</ref> memberikan (secara asimtotik) 3.92 tempat desimal koreksi baru per suku:
:<math>\zeta(3) = \frac{1}{2}\,\sum_{k=0}^\infty \frac{(-1)^k(2k)!^3(k+1)!^6(40885k^5 + 124346k^4 + 150160k^3 + 89888k^2 + 26629k + 3116)}{(k+1)^2(3k+3)!^4}</math>
:<math>\zeta(3) = \frac{1}{2}\,\sum_{k=0}^\infty \frac{(-1)^k(2k)!^3(k+1)!^6(40885k^5 + 124346k^4 + 150160k^3 + 89888k^2 + 26629k + 3116)}{(k+1)^2(3k+3)!^4}</math>


=== Digit demi digit ===
=== Digit demi digit ===
Pada tahun 1998, Broadhurst<ref>See {{harvnb|Broadhurst|1998}}.</ref> memberikan representasi seri yang memungkinkan [[digit biner]] sembarang untuk dihitung, dan dengan demikian, untuk konstanta yang akan diperoleh di hampir [[waktu linier]], dan [[ruang logaritma]].
Pada tahun 1998, Broadhurst<ref>Lihat {{harvnb|Broadhurst|1998}}.</ref> memberikan wakilan deret yang memungkinkan [[digit biner]] sembarang untuk dihitung, dan dengan demikian, untuk tetapan yang akan diperoleh di [[waktu linier]] dekat, dan [[ruang logaritma]].


=== Lainnya ===
=== Lainnya ===
Representasi rangkaian berikut ditemukan oleh [[Ramanujan]]:<ref>See {{harvnb|Berndt|1989|loc=chapter 14, formulas 25.1 and 25.3}}.</ref>
Wakilan deret berikut ditemukan oleh [[Ramanujan]]:<ref>Lihat {{harvnb|Berndt|1989|loc=bab 14, rumus 25.1 dan 25.3}}.</ref>
:<math>\zeta(3)=\frac{7}{180}\pi^3 -2 \sum_{k=1}^\infty \frac{1}{k^3 (e^{2\pi k} -1)}</math>
:<math>\zeta(3)=\frac{7}{180}\pi^3 -2 \sum_{k=1}^\infty \frac{1}{k^3 (e^{2\pi k} -1)}</math>


Representasi deret berikut ditemukan oleh [[Simon Plouffe]] pada tahun 1998:<ref>See {{harvnb|Plouffe|1998}}.</ref>
Wakilan deret berikut ditemukan oleh [[Simon Plouffe]] pada tahun 1998:<ref>Lihat {{harvnb|Plouffe|1998}}.</ref>
:<math>\zeta(3)= 14 \sum_{k=1}^\infty \frac{1}{k^3 \sinh(\pi k)}-\frac{11}{2}\sum_{k=1}^\infty \frac{1}{k^3 (e^{2\pi k} -1)}-\frac{7}{2} \sum_{k=1}^\infty \frac{1}{k^3 (e^{2\pi k} +1)}.</math>
:<math>\zeta(3)= 14 \sum_{k=1}^\infty \frac{1}{k^3 \sinh(\pi k)}-\frac{11}{2}\sum_{k=1}^\infty \frac{1}{k^3 (e^{2\pi k} -1)}-\frac{7}{2} \sum_{k=1}^\infty \frac{1}{k^3 (e^{2\pi k} +1)}.</math>


Srivastava<ref>See {{harvnb|Srivastava|2000}}.</ref> mengumpulkan banyak seri yang menyatu dengan konstanta Apéry.
Srivastava<ref>Lihat {{harvnb|Srivastava|2000}}.</ref> mengumpulkan banyak deret yang menyatu dengan tetapan Apéry.


== Representasi integral ==
== Wakilan integral ==
Ada banyak representasi integral untuk konstanta Apéry. Beberapa di antaranya sederhana, yang lainnya lebih rumit.
Ada banyak wakilan integral untuk tetapan Apéry. Beberapa di antaranya sederhana, yang lainnya lebih rumit.


=== Rumus sederhana ===
=== Rumus sederhana ===
Sebagai contoh, berikut ini dari representasi penjumlahan untuk konstanta Apéry:
Sebagai contoh, berikut ini dari wakilan penjumlahan untuk konstanta Apéry:
:<math>\zeta(3) =\int_0^1\!\! \int_0^1\!\! \int_0^1 \frac{1}{1-xyz}\, dx\,dy\,dz </math>.
:<math>\zeta(3) =\int_0^1\!\! \int_0^1\!\! \int_0^1 \frac{1}{1-xyz}\, dx\,dy\,dz </math>.


Baris 97: Baris 96:
:<math>\zeta(3) =\frac{2}{3}\int_0^\infty \frac{x^2}{e^x+1}\, dx </math>.
:<math>\zeta(3) =\frac{2}{3}\int_0^\infty \frac{x^2}{e^x+1}\, dx </math>.


Yang ini mengikuti dari ekspansi Taylor {{math|''χ''<sub>3</sub>(''e<sup>ix</sup>'')}} tentang {{math|''x'' {{=}} ±{{sfrac|π|2}}}}, dimana {{math|''χ''<sub>''ν''</sub>(''z'')}} adalah [[fungsi Legendre chi]]:
Yang ini mengikuti dari pengembangan Taylor {{math|''χ''<sub>3</sub>(''e<sup>ix</sup>'')}} tentang {{math|''x'' {{=}} ±{{sfrac|π|2}}}}, dimana {{math|''χ''<sub>''ν''</sub>(''z'')}} adalah [[fungsi chi Legendre]]:
:<math>\zeta(3) =\frac{4}{7}\int_0^\frac{\pi}{2} x \log{(\sec{x}+\tan{x})}\, dx </math>
:<math>\zeta(3) =\frac{4}{7}\int_0^\frac{\pi}{2} x \log{(\sec{x}+\tan{x})}\, dx </math>
Perhatikan kesamaannya dengan
Perhatikan kesamaannya dengan
:<math>G =\frac{1}{2}\int_0^\frac{\pi}{2} \log{(\sec{x}+\tan{x})}\, dx </math>
:<math>G =\frac{1}{2}\int_0^\frac{\pi}{2} \log{(\sec{x}+\tan{x})}\, dx </math>
dimana {{mvar|G}} adalah [[Konstanta Catalan]].
dimana {{mvar|G}} adalah [[tetapan Catalan]].


=== Rumus yang lebih rumit ===
=== Rumus yang lebih rumit ===
Contohnya, satu rumus ditemukan oleh [[Johan Jensen (matematikawan)|Johan Jensen]]:<ref>See {{harvnb|Jensen|1895}}.</ref>
Contohnya, salah satu rumus ditemukan oleh [[Johan Jensen (matematikawan)|Johan Jensen]]:<ref>Lihat {{harvnb|Jensen|1895}}.</ref>
:<math>\zeta(3)=\pi\!\!\int_{0}^{\infty} \! \frac{\cos(2\arctan{x})}{\left(x^2+1\right)\left(\cosh\frac{1}{2}\pi x\right)^2}\, dx</math>,
:<math>\zeta(3)=\pi\!\!\int_{0}^{\infty} \! \frac{\cos(2\arctan{x})}{\left(x^2+1\right)\left(\cosh\frac{1}{2}\pi x\right)^2}\, dx</math>,
lainnya oleh F. Beukers:<ref name="Beukers 1979"/>
lainnya oleh F. Beukers:<ref name="Beukers 1979"/>
Baris 110: Baris 109:
Dengan mencampurkan kedua rumus ini, seseorang dapat memperoleh:
Dengan mencampurkan kedua rumus ini, seseorang dapat memperoleh:
:<math>\zeta(3) =\int_0^1 \!\! \frac{\log(x)\log(1-x)}{\,x\,}\, dx </math>,
:<math>\zeta(3) =\int_0^1 \!\! \frac{\log(x)\log(1-x)}{\,x\,}\, dx </math>,
Oleh simetri,
By symmetry,
:<math>\zeta(3) =\int_0^1 \!\! \frac{\log(x)\log(1-x)}{\,1-x\,}\, dx </math>,
:<math>\zeta(3) =\int_0^1 \!\! \frac{\log(x)\log(1-x)}{\,1-x\,}\, dx </math>,
Menjumlahkan keduanya,
Summing both,
<math>\zeta(3) =\frac{1}{2}\int_0^1 \!\! \frac{\log(x)\log(1-x)}{\,x(1-x)\,}\, dx </math>.


:<math>\zeta(3) =\frac{1}{2}\int_0^1 \!\! \frac{\log(x)\log(1-x)}{\,x(1-x)\,}\, dx </math>.
Satu lagi oleh Iaroslav Blagouchine:<ref name="iaroslav_06">See {{harvnb|Blagouchine|2014}}.</ref>

Satu lagi oleh Iaroslav Blagouchine:<ref name="iaroslav_06">Lihat {{harvnb|Blagouchine|2014}}.</ref>
:<math>\begin{align} \zeta(3) &= \frac{8\pi^2}{7}\!\!\int_0^1 \! \frac{x\left(x^4-4x^2+1\right)\log\log\frac{1}{x}}{\,(1+x^2)^4\,}\, dx \\&= \frac{8\pi^2}{7}\!\!\int_1^\infty \!\frac{x\left(x^4-4x^2+1\right)\log\log{x}}{\,(1+x^2)^4\,}\, dx\end{align}</math>.
:<math>\begin{align} \zeta(3) &= \frac{8\pi^2}{7}\!\!\int_0^1 \! \frac{x\left(x^4-4x^2+1\right)\log\log\frac{1}{x}}{\,(1+x^2)^4\,}\, dx \\&= \frac{8\pi^2}{7}\!\!\int_1^\infty \!\frac{x\left(x^4-4x^2+1\right)\log\log{x}}{\,(1+x^2)^4\,}\, dx\end{align}</math>.
Hubungan Evgrafovto dengan yang lain untuk turunan dari [[fungsi gamma]]
Evgrafov et al.'s connection to the derivatives of the [[gamma function]]
:<math>\zeta(3) = -\tfrac{1}{2}\Gamma'''(1)+\tfrac{3}{2}\Gamma'(1)\Gamma''(1)- \big(\Gamma'(1)\big)^3 = -\tfrac{1}{2} \, \psi^{(2)}(1)</math>
:<math>\zeta(3) = -\tfrac{1}{2}\Gamma'''(1)+\tfrac{3}{2}\Gamma'(1)\Gamma''(1)- \big(\Gamma'(1)\big)^3 = -\tfrac{1}{2} \, \psi^{(2)}(1)</math>
juga sangat berguna untuk penurunan berbagai representasi integral melalui rumus integral yang diketahui untuk gamma dan [[fungsi poligami]].<ref>See {{harvnb|Evgrafov|Bezhanov|Sidorov|Fedoriuk|1969|loc=exercise 30.10.1}}.</ref>
juga sangat berguna untuk penurunan berbagai representasi integral melalui rumus integral yang diketahui untuk gamma dan [[fungsi poligamma]].<ref>Lihat {{harvnb|Evgrafov|Bezhanov|Sidorov|Fedoriuk|1969|loc=latihan 30.10.1}}.</ref>


== Digit yang diketahui ==
== Digit yang diketahui ==
Baris 126: Baris 126:
{| class="wikitable" style="margin: 1em auto 1em auto"
{| class="wikitable" style="margin: 1em auto 1em auto"
|+ Jumlah digit desimal konstanta Apéry yang diketahui {{math|''ζ''(3)}}
|+ Jumlah digit desimal konstanta Apéry yang diketahui {{math|''ζ''(3)}}
! Date || Angka desimal || Perhitungan dilakukan oleh
! Tanggal || Angka desimal || Perhitungan dilakukan oleh
|-
|-
| 1735 ||align="right"| 16 || [[Leonhard Euler]]
| 1735 ||align="right"| 16 || [[Leonhard Euler]]
|-
|-
| unknown ||align="right"| 16 || [[Adrien-Marie Legendre]]
| tak diketahui || align="right" | 16 || [[Adrien-Marie Legendre]]
|-
|-
| 1887 ||align="right"| 32 || [[Thomas Joannes Stieltjes]]
| 1887 ||align="right"| 32 || [[Thomas Joannes Stieltjes]]
Baris 152: Baris 152:
| Februari 2002 ||align="right"| {{val|600001000}} || Shigeru Kondo & Xavier Gourdon
| Februari 2002 ||align="right"| {{val|600001000}} || Shigeru Kondo & Xavier Gourdon
|-
|-
| Februari 2003 ||align="right"| {{val|1000000000}} || Patrick Demichel & Xavier Gourdon<ref>See {{harvnb|Gourdon|Sebah|2003}}.</ref>
| Februari 2003 ||align="right"| {{val|1000000000}} || Patrick Demichel & Xavier Gourdon<ref>Lihat {{harvnb|Gourdon|Sebah|2003}}.</ref>
|-
|-
| April 2006 ||align="right"| {{val|10000000000}} || Shigeru Kondo & Steve Pagliarulo
| April 2006 ||align="right"| {{val|10000000000}} || Shigeru Kondo & Steve Pagliarulo
|-
|-
| Januari 21, 2009 ||align="right"| {{val|15510000000}} || Alexander J. Yee & Raymond Chan<ref name="Yee-2009">See {{harvnb|Yee|2009}}.</ref>
| Januari 21, 2009 ||align="right"| {{val|15510000000}} || Alexander J. Yee & Raymond Chan<ref name="Yee-2009">Lihat {{harvnb|Yee|2009}}.</ref>
|-
|-
| Februari 15, 2009 ||align="right"| {{val|31026000000}} || Alexander J. Yee & Raymond Chan<ref name="Yee-2009" />
| Februari 15, 2009 ||align="right"| {{val|31026000000}} || Alexander J. Yee & Raymond Chan<ref name="Yee-2009" />
|-
|-
| September 17, 2010 ||align="right"| {{val|100000001000}} || Alexander J. Yee<ref name="Yee-2017">See {{harvnb|Yee|2017}}.</ref>
| September 17, 2010 ||align="right"| {{val|100000001000}} || Alexander J. Yee<ref name="Yee-2017">Lihat {{harvnb|Yee|2017}}.</ref>
|-
|-
| September 23, 2013 ||align="right"| {{val|200000001000}} || Robert J. Setti<ref name="Yee-2017" />
| September 23, 2013 ||align="right"| {{val|200000001000}} || Robert J. Setti<ref name="Yee-2017" />
Baris 166: Baris 166:
| Agustus 7, 2015 ||align="right"| {{val|250000000000}} || Ron Watkins<ref name="Yee-2017" />
| Agustus 7, 2015 ||align="right"| {{val|250000000000}} || Ron Watkins<ref name="Yee-2017" />
|-
|-
| Desember 21, 2015 ||align="right"| {{val|400000000000}} || Dipanjan Nag<ref name="Nag-2015">See {{harvnb|Nag|2015}}.</ref>
| Desember 21, 2015 ||align="right"| {{val|400000000000}} || Dipanjan Nag<ref name="Nag-2015">Lihat {{harvnb|Nag|2015}}.</ref>
|-
|-
| Agustus 13, 2017 ||align="right"| {{val|500000000000}} || Ron Watkins<ref name="Yee-2017" />
| Agustus 13, 2017 ||align="right"| {{val|500000000000}} || Ron Watkins<ref name="Yee-2017" />
Baris 176: Baris 176:


== Lihat pula ==
== Lihat pula ==
*[[Fungsi Riemann zeta]]
*[[Fungsi zeta Riemann]]
*[[Masalah Basel]] — {{math|''ζ''(2)}}
*[[Masalah Basel]] — {{math|''ζ''(2)}}
*[[Daftar jumlah timbal balik]]
*[[Daftar jumlah timbal balik]]

Revisi per 18 April 2021 16.17

Biner 1.0011001110111010
Desimal 1.2020569031595942854…
Heksadesimal 1.33BA004F00621383
Pecahan lanjutan
Perhatikan bahwa pecahan lanjutan ini tidak terbatas, tetapi tidak diketahui apakah pecahan lanjutan ini berkala atau bukan.

Dalam matematika, di persimpangan teori bilangan dan fungsi khusus, Konstanta Apéry adalah jumlah dari kebalikan dari kubus positif. Artinya, ini didefinisikan sebagai angka

dimana ζ adalah fungsi Riemann zeta. Ini memiliki nilai perkiraan[1]

ζ(3) = 1.202056903159594285399738161511449990764986292 (barisan A002117 pada OEIS).

konstanta dinamai Roger Apéry. Ini muncul secara alami dalam sejumlah masalah fisik, termasuk dalam suku orde kedua dan ketiga rasio gyromagnetic elektron menggunakan elektrodinamika kuantum. Ini juga muncul dalam analisis pohon rentang minimum acak[2] dan dalam hubungannya dengan fungsi gamma ketika menyelesaikan integral tertentu yang melibatkan fungsi eksponensial dalam hasil bagi yang kadang-kadang muncul dalam fisika, misalnya ketika mengevaluasi kasus dua dimensi model Debye dan hukum Stefan–Boltzmann.

Bilangan irasional

ζ(3) dinamai Konstanta Apéry setelah ahli matematika Prancis Roger Apéry, yang membuktikan pada tahun 1978 bahwa itu adalah bilangan irasional.[3] Hasil ini dikenal sebagai Teorema Apéry. Bukti aslinya rumit dan sulit dipahami,[4] dan bukti yang lebih sederhana ditemukan kemudian.[5][6]

Bukti irasionalitas Beuker yang disederhanakan melibatkan pendekatan integral dari integral rangkap tiga yang diketahui ,

oleh polinomial Legendre. Secara khusus, artikel van der Poorten mencatat pendekatan ini dengan mencatat hal itu

dimana , adalah polinomial Legendre, dan urutan adalah bilangan bulat atau hampir bilangan bulat.

Masih belum diketahui apakah konstanta Apéry adalah transendental.

Wakilan deret

Klasik

Selain deret dasar:

Leonhard Euler memberikan wakilan deret:[7]

pada tahun 1772, yang kemudian ditemukan kembali beberapa kali.[8]

Wakilan deret klasik lainnya termasuk:

Kekonvergenan cepat

Sejak abad ke-19, sejumlah ahli matematika telah menemukan deret percepatan konvergensi untuk menghitung tempat desimal ζ(3). Sejak tahun 1990-an, pencarian ini telah difokuskan pada rangkaian yang efisien secara komputasi dengan tingkat konvergensi yang cepat (lihat bagian "Digit yang diketahui").

Wakilan deret berikut ditemukan oleh A.A. Markov pada tahun 1890[9], ditemukan kembali oleh Hjortnaes pada tahun 1953,[10] dan ditemukan kembali sekali lagi dan diiklankan secara luas oleh Apéry pada tahun 1979:[3]

Wakilan deret berikut, ditemukan oleh Amdeberhan pada tahun 1996,[11] memberikan (secara asimtotik) 1,43 tempat desimal koreksi baru per suku:

Wakilan deret berikut, ditemukan oleh Amdeberhan dan Zeilberger pada tahun 1997,[12] memberikan (secara asimtotik) 3,01 tempat desimal koreksi baru per suku:

Wakilan deret berikut, ditemukan oleh Sebastian Wedeniwski pada tahun 1998,[13] memberikan (tanpa gejala) 5,04 tempat desimal koreksi baru per suku:

Ini digunakan oleh Wedeniwski untuk menghitung konstanta Apéry dengan beberapa juta tempat desimal yang benar.[14]

Wakilan deret berikut, ditemukan oleh Mohamud Mohammed pada tahun 2005,[15] memberikan (secara asimtotik) 3.92 tempat desimal koreksi baru per suku:

Digit demi digit

Pada tahun 1998, Broadhurst[16] memberikan wakilan deret yang memungkinkan digit biner sembarang untuk dihitung, dan dengan demikian, untuk tetapan yang akan diperoleh di waktu linier dekat, dan ruang logaritma.

Lainnya

Wakilan deret berikut ditemukan oleh Ramanujan:[17]

Wakilan deret berikut ditemukan oleh Simon Plouffe pada tahun 1998:[18]

Srivastava[19] mengumpulkan banyak deret yang menyatu dengan tetapan Apéry.

Wakilan integral

Ada banyak wakilan integral untuk tetapan Apéry. Beberapa di antaranya sederhana, yang lainnya lebih rumit.

Rumus sederhana

Sebagai contoh, berikut ini dari wakilan penjumlahan untuk konstanta Apéry:

.

Dua berikutnya mengikuti langsung dari rumus integral terkenal untuk fungsi Riemann zeta:

dan

.

Yang ini mengikuti dari pengembangan Taylor χ3(eix) tentang x = ±π2, dimana χν(z) adalah fungsi chi Legendre:

Perhatikan kesamaannya dengan

dimana G adalah tetapan Catalan.

Rumus yang lebih rumit

Contohnya, salah satu rumus ditemukan oleh Johan Jensen:[20]

,

lainnya oleh F. Beukers:[5]

,

Dengan mencampurkan kedua rumus ini, seseorang dapat memperoleh:

,

Oleh simetri,

,

Menjumlahkan keduanya,

.

Satu lagi oleh Iaroslav Blagouchine:[21]

.

Hubungan Evgrafovto dengan yang lain untuk turunan dari fungsi gamma

juga sangat berguna untuk penurunan berbagai representasi integral melalui rumus integral yang diketahui untuk gamma dan fungsi poligamma.[22]

Digit yang diketahui

Jumlah digit konstanta Apéry yang diketahui ζ(3) has meningkat secara dramatis selama beberapa dekade terakhir. Ini disebabkan oleh peningkatan kinerja komputer dan peningkatan algoritme.

Jumlah digit desimal konstanta Apéry yang diketahui ζ(3)
Tanggal Angka desimal Perhitungan dilakukan oleh
1735 16 Leonhard Euler
tak diketahui 16 Adrien-Marie Legendre
1887 32 Thomas Joannes Stieltjes
1996 520.000 Greg J. Fee & Simon Plouffe
1997 1.000.000 Bruno Haible & Thomas Papanikolaou
Mei 1997 10.536.006 Patrick Demichel
Februari 1998 14.000.074 Sebastian Wedeniwski
Maret 1998 32.000.213 Sebastian Wedeniwski
Juli 1998 64.000.091 Sebastian Wedeniwski
Desember 1998 128.000.026 Sebastian Wedeniwski[1]
September 2001 200.001.000 Shigeru Kondo & Xavier Gourdon
Februari 2002 600.001.000 Shigeru Kondo & Xavier Gourdon
Februari 2003 1.000.000.000 Patrick Demichel & Xavier Gourdon[23]
April 2006 10.000.000.000 Shigeru Kondo & Steve Pagliarulo
Januari 21, 2009 15.510.000.000 Alexander J. Yee & Raymond Chan[24]
Februari 15, 2009 31.026.000.000 Alexander J. Yee & Raymond Chan[24]
September 17, 2010 100.000.001.000 Alexander J. Yee[25]
September 23, 2013 200.000.001.000 Robert J. Setti[25]
Agustus 7, 2015 250.000.000.000 Ron Watkins[25]
Desember 21, 2015 400.000.000.000 Dipanjan Nag[26]
Agustus 13, 2017 500.000.000.000 Ron Watkins[25]
Mei 26, 2019 1.000.000.000.000 Ian Cutress[27]
Juli 26, 2020 1.200.000.000.100 Seungmin Kim[28][29]

Lihat pula

Catatan

  1. ^ a b Lihat Wedeniwski 2001.
  2. ^ Lihat Frieze 1985.
  3. ^ a b Lihat Apéry 1979.
  4. ^ Lihat van der Poorten 1979.
  5. ^ a b See Beukers 1979.
  6. ^ Lihat Zudilin 2002.
  7. ^ Lihat Euler 1773.
  8. ^ Lihat Srivastava 2000, p. 571 (1.11).
  9. ^ Lihat Markov 1890.
  10. ^ Lihat Hjortnaes 1953.
  11. ^ Lihat Amdeberhan 1996.
  12. ^ Lihat Amdeberhan & Zeilberger 1997.
  13. ^ Lihat Wedeniwski 1998 dan Wedeniwski 2001. Dalam pesannya kepada Simon Plouffe, Sebastian Wedeniwski menyatakan bahwa dia mendapatkan rumus ini dari Amdeberhan & Zeilberger 1997. Penemuannay tahun (1998) disebutkan dalam Simon Plouffe's Table of Records (8 April 2001).
  14. ^ Lihat Wedeniwski 1998 dan Wedeniwski 2001.
  15. ^ Lihat Mohammed 2005.
  16. ^ Lihat Broadhurst 1998.
  17. ^ Lihat Berndt 1989, bab 14, rumus 25.1 dan 25.3.
  18. ^ Lihat Plouffe 1998.
  19. ^ Lihat Srivastava 2000.
  20. ^ Lihat Jensen 1895.
  21. ^ Lihat Blagouchine 2014.
  22. ^ Lihat Evgrafov et al. 1969, latihan 30.10.1.
  23. ^ Lihat Gourdon & Sebah 2003.
  24. ^ a b Lihat Yee 2009.
  25. ^ a b c d Lihat Yee 2017.
  26. ^ Lihat Nag 2015.
  27. ^ "Records set by y-cruncher". Diakses tanggal June 8, 2019. 
  28. ^ "Records set by y-cruncher". Diarsipkan dari versi asli tanggal 2020-08-10. Diakses tanggal August 10, 2020. 
  29. ^ "Apéry's constant world record by Seungmin Kim". Diakses tanggal July 28, 2020. 

Referensi

Kredit

Templat:PlanetMath attribution