カタランの定数
数学において、カタランの定数 G(カタランのていすう、英語: Catalan's constant)とは、ディリクレベータ函数 β を用いて以下のように定義される定数である。
その数値[1]はおよそ
- G = 0.915965594177219015054603514932384110774…
とされる(オンライン整数列大辞典の数列 A006752)。
カタランの定数は無理数か?もうしそうならば、超越数か? | ![]() |
G が無理数・超越数なのかは未だに分かっていない[2]。G は「無理数や超越数であるかどうかが(そうであると強く推測されながらも)今だ明らかでない最も基礎的な定数」だと言われている[3]。
カタランの定数は、級数の数値計算のために素早く収束する級数を発見し[4]、1865年にその回顧録を出版したウジェーヌ・カタランに因んで名付けられた[5]。
適用事例
- 低次元トポロジーにおいて、カタランの定数はイデアルな双曲八面体の体積の1/4であり、したがってホワイトヘッド環の補集合の双曲体積の1/4である[6]。また、ボロミアン環の補集合の体積の1/8である[7]。
- 組み合わせ数学と統計力学において、格子グラフ(英語版)上のドミノタイリング[8]や全域木[9]、ハミルトン路[10]の数え上げと関連している。
- 数論において、カタランの定数はハーディ・リトルウッドのF予想での n2 + 1 という形で表される素数の個数の漸近式に現れる。しかしながら、この形式をした素数が無限個存在するかどうかすら未解決(ランダウの問題(英語版)の1つ)である[11]。
- 渦巻銀河の質量分布(英語版)の計算においてカタランの定数が現れる[12][13]。
- 双曲線正割分布において、分布のエントロピーはカタランの定数の 倍である。
- グーデルマン関数 のグラフ、y軸および漸近線で囲まれる領域(のうち有限領域であるほう)の面積は、カタランの定数の4倍に等しい。
既知の桁
カタランの定数 G の既知の桁数は、ここ数十年で飛躍的に増加した。これはコンピュータの性能の向上およびアルゴリズムの改善によるものである[14]。
日付 | 十進法での桁数 | 計算者 |
---|---|---|
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 が無理数であることと同値であり、未解決のままである。
関連項目
- ギーゼキング多様体
- 数学定数の一覧(英語版)
- 数学定数
- リーマンゼータ函数の特殊値
脚注
- ^ Papanikolaou, Thomas (March 1997). Catalan's Constant to 1,500,000 Places. https://www.gutenberg.org/ebooks/812
- ^ Nesterenko, Yu. V. (January 2016), “On Catalan's constant”, Proceedings of the Steklov Institute of Mathematics 292 (1): 153–170, doi:10.1134/s0081543816010107 .
- ^ 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
- ^ 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
- ^ 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
- ^ 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 .
- ^ 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
- ^ 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
- ^ 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
- ^ 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
- ^ 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
- ^ 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
- ^ 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
- ^ a b “Constants and Records of Computation”. 11 September 2007閲覧。
- ^ “Shigeru Kondo's website”. 2008年2月11日時点のオリジナルよりアーカイブ。2008年1月31日閲覧。
- ^ a b “Large Computations”. 31 January 2009閲覧。
- ^ a b c d “Catalan's constant records using YMP”. 14 May 2016閲覧。
- ^ “Catalan's constant records using YMP”. 22 July 2019時点のオリジナルよりアーカイブ。22 July 2019閲覧。
- ^ “Catalan's constant world record by Seungmin Kim” (23 July 2019). 17 October 2020閲覧。
- ^ “Records set by y-cruncher”. www.numberworld.org. 2022年2月13日閲覧。
- ^ 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
- ^ 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日閲覧。.
- ^ Broadhurst, D. J. (1998). "Polylogarithmic ladders, hypergeometric series and the ten millionth digits of ζ(3) and ζ(5)". arXiv:math.CA/9803067。
- ^ Berndt, B. C. (1985). Ramanujan's Notebook, Part I. Springer Verlag. p. 289. ISBN 978-1-4612-1088-7
- ^ Karatsuba, E. A. (1991). “Fast evaluation of transcendental functions”. Probl. Inf. Transm. 27 (4): 339–360. MR1156939. Zbl 0754.65021.
- ^ 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
- ^ a b c Alexander Yee (14 May 2019). “Formulas and Algorithms”. 5 December 2021閲覧。
- ^ 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時点におけるアーカイブ。. https://web.archive.org/web/20200413012537/https://www.wcupa.edu/sciences-mathematics/mathematics/jMcLaughlin/documents/4paper1.pdf.
- ^ “A014538 - OEIS”. oeis.org. 2022年10月27日閲覧。
関連文献
- Adamchik, Victor (2002). “A certain series associated with Catalan's constant”. Zeitschrift für Analysis und ihre Anwendungen 21 (3): 1–10. doi:10.4171/ZAA/1110. MR1929434. オリジナルの2010-03-16時点におけるアーカイブ。. https://web.archive.org/web/20100316074306/http://www-2.cs.cmu.edu/~adamchik/articles/csum.html 2005年7月14日閲覧。.
- Fee, Gregory J. (1990). "Computation of Catalan's Constant Using Ramanujan's Formula". In Watanabe, Shunro; Nagata, Morio (eds.). Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990. ACM. pp. 157–160. doi:10.1145/96877.96917. ISBN 0201548925. S2CID 1949187。
- Bradley, David M. (1999). “A class of series acceleration formulae for Catalan's constant”. The Ramanujan Journal 3 (2): 159–173. arXiv:0706.0356. doi:10.1023/A:1006945407723. MR1703281.
- Bradley, David M. (2007). “A class of series acceleration formulae for Catalan's constant”. The Ramanujan Journal 3 (2): 159–173. arXiv:0706.0356. Bibcode: 2007arXiv0706.0356B. doi:10.1023/A:1006945407723.
外部リンク
- Adamchik, Victor. “33 representations for Catalan's constant”. 2016年8月7日時点のオリジナルよりアーカイブ。14 July 2005閲覧。
- Plouffe, Simon (1993年). “A few identities (III) with Catalan”. 2019年6月26日時点のオリジナルよりアーカイブ。29 July 2005閲覧。(100の異なる恒等式が掲載されている。) (Provides over one hundred different identities).
- Plouffe, Simon (1999年). “A few identities with Catalan constant and Pi^2”. 2019年6月26日時点のオリジナルよりアーカイブ。29 July 2005閲覧。(グラフ化された関係が掲載されている)
- Fee, Greg (1996). Catalan's Constant (Ramanujan's Formula). https://www.gutenberg.org/ebooks/682 (上から300,000桁の値が掲載されている)
- Bradley, David M. (2001), Representations of Catalan's constant
- Johansson, Fredrik. “0.915965594177219015054603514932”. Ordner, a catalog of real numbers in Fungrim. 21 April 2021閲覧。
- “Catalan's Constant”. YouTube. Let's Learn, Nemo! (10 August 2020). 6 April 2021閲覧。
- Weisstein, Eric W. "Catalan's Constant". mathworld.wolfram.com (英語).
- "Catalan constant: Series representations". Wolfram Functions Site.
- Hazewinkel, Michiel, ed. (2001), “Catalan constant”, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://eom.springer.de/p/c130040.htm