コンテンツにスキップ

カタランの定数

出典: フリー百科事典『ウィキペディア(Wikipedia)』

数学において、カタランの定数 G(カタランのていすう、英語: Catalan's constant)とは、ディリクレベータ函数 β を用いて以下のように定義される定数である。

その数値[1]はおよそ

G = 0.915965594177219015054603514932384110774

とされる(オンライン整数列大辞典の数列 A006752)。

数学の未解決問題
カタランの定数は無理数か?もうしそうならば、超越数か?

G無理数超越数なのかは未だに分かっていない[2]G は「無理数や超越数であるかどうかが(そうであると強く推測されながらも)今だ明らかでない最も基礎的な定数」だと言われている[3]

カタランの定数は、級数の数値計算のために素早く収束する級数を発見し[4]1865年にその回顧録を出版したウジェーヌ・カタランに因んで名付けられた[5]

適用事例

[編集]

既知の桁

[編集]

カタランの定数 G の既知の桁数は、ここ数十年で飛躍的に増加した。これはコンピュータの性能の向上およびアルゴリズムの改善によるものである[14]

十進法でのカタランの定数 G の既知桁数
日付十進法での桁数計算者
1832年16トーマス・クラウゼン
1858年19Carl Johan Danielsson Hill
1864年14ウジェーヌ・シャルル・カタラン
1877年20ジェームズ・W・L・グレーシャー
1913年32ジェームズ・W・L・グレーシャー
1990年20000Greg J. Fee
1996年50000Greg J. Fee
1996年8月14日100000Greg J. Fee & サイモン・プラウフ
1996年9月29日300000Thomas Papanikolaou
19961500000Thomas Papanikolaou
19973379957Patrick Demichel
1998年12500000Xavier Gourdon
2001年100000500Xavier Gourdon & Pascal Sebah
2002201000000Xavier Gourdon & Pascal Sebah
2006年10月5000000000近藤茂 & Steve Pagliarulo[15]
2008年8月10000000000近藤茂 & Steve Pagliarulo[14]
2009年1月31日15510000000Alexander J. Yee & Raymond Chan[16]
2009年4月16日31026000000Alexander J. Yee & Raymond Chan[16]
2015年6月7日200000001100Robert J. Setti[17]
2016年4月12日250000000000Ron Watkins[17]
2019年2月16日300000000000Tizian Hanselmann[17]
2019年3月29日500000000000Mike A & Ian Cutress[17]
2019年6月16日600000000100Seungmin Kim[18][19]
2020年9月6日1000000001337Andrew Sun[20]

積分表示

[編集]

Seán Stewart が述べたように、「カタランの定数と等しい、あるいはカタランの定数で表現できる定積分は非常に多く、いくらでも存在するかのようである」[21]。そのうちいくつかを以下に示す。

このうち、最後の3式はマルムステン英語版の積分と関連している[22]

K(k) を楕円率 k の函数とした第一種完全楕円積分とすると、次の式が成り立つ。

E(k) を楕円率 k の函数とした第二種完全楕円積分とすると、次の式が成り立つ。

ガンマ函数 Γ(x + 1) = x! を用いて

次の積分は逆正接積分英語版として知られる特殊函数であり、シュリニヴァーサ・ラマヌジャンによって詳しく研究された。

他の特殊函数との関係

[編集]

Gトリガンマ函数英語版として知られる第二ポリガンマ函数の分数変数に対応する従属変数として現れる。

サイモン・プラウフはトリガンマ函数、π2 およびカタランの定数の間で成立する(グラフ上のとして表現可能な)無限個の恒等式を与えている。

カタランの定数はクラウゼン函数逆正接積分英語版逆正弦積分バーンズの G 函数などとの関係や、前述の函数を用いた積分・級数においてよく現れる。

一例として、逆正接積分英語版を閉じた形(つまりはクラウゼン函数)で表し、そのクラウゼン函数をバーンズの G 函数で表すことで次の式が得られる。

レルヒゼータ函数英語版と関連したレルヒ超越函数 Φ(z, s, α)英語: Lerch transcendent)を と定義すると、次の関係が成り立つ。

収束の早い級数

[編集]

以下の2公式は収束の早い級数を含んでおり、数値計算に適している。 2公式の理論的基盤はそれぞれブロードハースト[23](Broadhurst)およびラマヌジャン[24]によって与えられている。カタラン定数の早い評価アルゴリズムはE・カラツバ(Karatsuba)によって構築された[25][26]。これらの級数を用いることで、今日ではアペリーの定数 ζ(3) に匹敵する速さでカタランの定数を計算できる[27]

以下は Guillera および Pilehrood によるチュドノフスキー・アルゴリズム英語版を利用した級数である[27]

これらの時間計算量英語版O(nlog(n)3) となる[27]

連分数

[編集]

G は次のように表せられる[28]

より単純な連分数表記を以下に示す[29]

この連分数の項が無限個存在することは G が無理数であることと同値であり、未解決のままである。

関連項目

[編集]

脚注

[編集]
  1. Papanikolaou, Thomas (March 1997). Catalan's Constant to 1,500,000 Places
  2. Nesterenko, Yu. V. (January 2016), “On Catalan's constant”, Proceedings of the Steklov Institute of Mathematics 292 (1): 153–170, doi:10.1134/s0081543816010107.
  3. Bailey, David H.; Borwein, Jonathan M.; Mattingly, Andrew; Wightwick, Glenn (2013), “The computation of previously inaccessible digits of π2 and Catalan's constant”, Notices of the American Mathematical Society 60 (7): 844–854, doi:10.1090/noti1015, MR3086394
  4. Goldstein, Catherine (2015), “The mathematical achievements of Eugène Catalan”, Bulletin de la Société Royale des Sciences de Liège 84: 74–92, MR3498215
  5. Catalan, E. (1865), “Mémoire sur la transformation des séries et sur quelques intégrales définies” (フランス語), Ers, Publiés Par l'Académie Royale des Sciences, des Lettres et des Beaux-Arts de Belgique. Collection in 4, Mémoires de l'Académie royale des sciences, des lettres et des beaux-arts de Belgique (Brussels) 33, hdl:2268/193841
  6. Agol, Ian (2010), “The minimal volume orientable hyperbolic 2-cusped 3-manifolds”, Proceedings of the American Mathematical Society 138 (10): 3723–3732, arXiv:0804.0043, doi:10.1090/S0002-9939-10-10364-5, MR2661571.
  7. William Thurston (March 2002), “7. Computation of volume”, The Geometry and Topology of Three-Manifolds, p. 165
  8. Temperley, H. N. V.; Fisher, Michael E. (August 1961), “Dimer problem in statistical mechanics—an exact result”, Philosophical Magazine 6 (68): 1061–1063, Bibcode: 1961PMag....6.1061T, doi:10.1080/14786436108243366
  9. Wu, F. Y. (1977), “Number of spanning trees on a lattice”, Journal of Physics 10 (6): L113–L115, Bibcode: 1977JPhA...10L.113W, doi:10.1088/0305-4470/10/6/004, MR489559
  10. Kasteleyn, P. W. (1963), “A soluble self-avoiding walk problem”, Physica 29 (12): 1329–1337, Bibcode: 1963Phy....29.1329K, doi:10.1016/S0031-8914(63)80241-4, MR159642
  11. Shanks, Daniel (1959), “A sieve method for factoring numbers of the form n2+1, Mathematical Tables and Other Aids to Computation 13: 78–86, doi:10.2307/2001956, JSTOR 2001956, MR105784
  12. Wyse, A. B.; Mayall, N. U. (January 1942), “Distribution of Mass in the Spiral Nebulae Messier 31 and Messier 33.”, The Astrophysical Journal 95: 24–47, Bibcode: 1942ApJ....95...24W, doi:10.1086/144370
  13. van der Kruit, P. C. (March 1988), “The three-dimensional distribution of light and mass in disks of spiral galaxies.”, Astronomy & Astrophysics 192: 117–127, Bibcode: 1988A&A...192..117V
  14. 1 2 Constants and Records of Computation”. 2007年9月11日閲覧。
  15. Shigeru Kondo's website”. 2008年2月11日時点のオリジナルよりアーカイブ。2008年1月31日閲覧。
  16. 1 2 Large Computations”. 2009年1月31日閲覧。
  17. 1 2 3 4 Catalan's constant records using YMP”. 2016年5月14日閲覧。
  18. Catalan's constant records using YMP”. 2019年7月22日時点のオリジナルよりアーカイブ。2019年7月22日閲覧。
  19. Catalan's constant world record by Seungmin Kim (2019年7月23日). 2020年10月17日閲覧。
  20. Records set by y-cruncher”. www.numberworld.org. 2022年2月13日閲覧。
  21. Stewart, Seán M. (2020), “A Catalan constant inspired integral odyssey”, The Mathematical Gazette 104 (561): 449–459, doi:10.1017/mag.2020.99, MR4163926
  22. Blagouchine, Iaroslav (2014). “Rediscovery of Malmsten's integrals, their evaluation by contour integration methods and some related results”. The Ramanujan Journal 35: 21–110. doi:10.1007/s11139-013-9528-5. オリジナルの2018-10-02時点におけるアーカイブ。 2018年10月1日閲覧。.
  23. Broadhurst, D. J. (1998). “Polylogarithmic ladders, hypergeometric series and the ten millionth digits of ζ(3) and ζ(5)”. arXiv:math.CA/9803067.
  24. Berndt, B. C. (1985). Ramanujan's Notebook, Part I. Springer Verlag. p. 289. ISBN 978-1-4612-1088-7
  25. Karatsuba, E. A. (1991). “Fast evaluation of transcendental functions”. Probl. Inf. Transm. 27 (4): 339–360. MR1156939. Zbl 0754.65021.
  26. Karatsuba, E. A. (2001). “Fast computation of some special integrals of mathematical physics”. In Krämer, W.; von Gudenberg, J. W.. Scientific Computing, Validated Numerics, Interval Methods. pp. 29–41. doi:10.1007/978-1-4757-6484-0_3
  27. 1 2 3 Alexander Yee (2019年5月14日). Formulas and Algorithms”. 2021年12月5日閲覧。
  28. Bowman, D. & Mc Laughlin, J. (2002). “Polynomial continued fractions” (English). Acta Arithmetica 103 (4): 329–342. arXiv:1812.08251. Bibcode: 2002AcAri.103..329B. doi:10.4064/aa103-4-3. オリジナルの2020-04-13時点におけるアーカイブ。.
  29. A014538 - OEIS”. oeis.org. 2022年10月27日閲覧。

関連文献

[編集]

外部リンク

[編集]