カタランの定数

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

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

その数値[1]はおよそ

G = 0.915965594177219015054603514932384110774

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

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

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

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

適用事例[編集]

既知の桁[編集]

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

十進法でのカタランの定数 G の既知桁数
日付 十進法での桁数 計算者
1832年 16 トーマス・クラウゼン英語版
1858年 19 Carl Johan Danielsson Hill
1864年 14 ウジェーヌ・シャルル・カタラン
1877年 20 ジェームズ・W・L・グレーシャー英語版
1913年 32 ジェームズ・W・L・グレーシャー英語版
1990年 20000 Greg J. Fee
1996年 50000 Greg J. Fee
1996年8月14日 100000 Greg J. Fee & サイモン・プラウフ
1996年9月29日 300000 Thomas Papanikolaou
1996 1500000 Thomas Papanikolaou
1997 3379957 Patrick Demichel
1998年 12500000 Xavier Gourdon
2001年 100000500 Xavier Gourdon & Pascal Sebah
2002 201000000 Xavier Gourdon & Pascal Sebah
2006年10月 5000000000 近藤茂 & Steve Pagliarulo[15]
2008年8月 10000000000 近藤茂 & Steve Pagliarulo[14]
2009年1月31日 15510000000 Alexander J. Yee & Raymond Chan[16]
2009年4月16日 31026000000 Alexander J. Yee & Raymond Chan[16]
2015年6月7日 200000001100 Robert J. Setti[17]
2016年4月12日 250000000000 Ron Watkins[17]
2019年2月16日 300000000000 Tizian Hanselmann[17]
2019年3月29日 500000000000 Mike A & Ian Cutress[17]
2019年6月16日 600000000100 Seungmin Kim[18][19]
2020年9月6日 1000000001337 Andrew 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. https://www.gutenberg.org/ebooks/812 
  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, https://popups.uliege.be/0037-9565/index.php?id=4830 
  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, http://library.msri.org/books/gt3m/PDF/7.pdf 
  8. ^ Temperley, H. N. V.; Fisher, Michael E. (August 1961), “Dimer problem in statistical mechanics—an exact result”, Philosophical Magazine 6 (68): 1061–1063, Bibcode1961PMag....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, Bibcode1977JPhA...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, Bibcode1963Phy....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, https://jstor.org/stable/2001956 
  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, Bibcode1942ApJ....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, Bibcode1988A&A...192..117V 
  14. ^ a b Constants and Records of Computation”. 2007年9月11日閲覧。
  15. ^ Shigeru Kondo's website”. 2008年2月11日時点のオリジナルよりアーカイブ。2008年1月31日閲覧。
  16. ^ a b Large Computations”. 2009年1月31日閲覧。
  17. ^ a b c d 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時点におけるアーカイブ。. https://web.archive.org/web/20181002020243/https://iblagouchine.perso.centrale-marseille.fr/publications/Blagouchine-Malmsten-integrals-and-their-evaluation-by-contour-integration-methods-(Ramanujan-J-2014).pdf 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. https://archive.org/details/scientificcomput00wals_919 
  27. ^ a b c 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. Bibcode2002AcAri.103..329B. doi:10.4064/aa103-4-3. オリジナルの2020-04-13時点におけるアーカイブ。. https://web.archive.org/web/20200413012537/https://www.wcupa.edu/sciences-mathematics/mathematics/jMcLaughlin/documents/4paper1.pdf. 
  29. ^ A014538 - OEIS”. oeis.org. 2022年10月27日閲覧。

関連文献[編集]

外部リンク[編集]