ディリクレベータ関数

ディリクレベータ関数（ディリクレベータかんすう、英: Dirichlet beta function）とは、数学におけるリーマンゼータ関数と密接な関係がある特殊関数である。名称はドイツの数学者であるペーター・グスタフ・ディリクレにちなむ。 ディリクレベータ関数は、複素数 s と正の整数 n に対して、 β ( s ) = ∑ n = 0 ∞ ( − 1 ) n ( 2 n + 1 ) s = 1 − 1 3 s + 1 5 s − 1 7 s + ⋯ {\displaystyle \beta (s)=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)^{s}}}=1-{\frac {1}{3^{s}}}+{\frac {1}{5^{s}}}-{\frac {1}{7^{s}}}+\cdots } で定義される関数 β である。上記の級数は s の実部が 0 より大きい場合、すなわち Re s > 0 の場合にのみ収束するが、解析接続による操作を施すことによりすべての複素数で有効な値をもつ正則な有理型関数となる。ガンマ関数 Γ を用いれば、 β ( s ) = 1 Γ ( s ) ∫ 0 ∞ e − x x s − 1 1 + e − 2 x d x {\displaystyle \beta (s)={\frac {1}{\varGamma (s)}}\int _{0}^{\infty }{\frac {e^{-x}\,x^{s-1}}{1+e^{-2x}}}\,{\rm {d}}x} と、リーマンゼータ関数と類似した積分表示ができる。 リーマンゼータ関数の乗積表示であるオイラー積が示唆するように、リーマンゼータ関数の重要な性質のひとつは素数との関わりが深いことである。同じように、ディリクレベータ関数にも、素数全体を動く変数 p を用いた β ( s ) = ∏ p ≡ 1 mod 4 1 1 − p − s ∏ p ≡ 3 mod 4 1 1 + p − s {\displaystyle \beta (s)=\prod _{p\equiv 1{\bmod {4}}}{\frac {1}{1-p^{-s}}}\prod _{p\equiv 3{\bmod {4}}}{\frac {1}{1+p^{-s}}}} という乗積表示が存在する。 ディリクレベータ関数は、任意の複素数 s に対して次のような関数方程式が存在する。 β ( 1 − s ) = ( 2 π ) s sin ⁡ π s 2 Γ ( s ) β ( s ) {\displaystyle \beta (1-s)={\biggl (}{\frac {2}{\pi }}{\biggr )}^{\!s}\sin {\frac {\pi s}{2}}\,\varGamma (s)\,\beta (s)} ただし、ここで Γ はガンマ関数である。これによって、ディリクレベータ関数は複素数全体に解析接続されたこととなり、すべての複素数においての議論ができる。 ディリクレベータ関数に整数を代入したものをディリクレベータ関数の特殊値という。級数による定義において、たとえば s = 1 を代入すると、 β ( 1 ) = ∑ n = 0 ∞ ( − 1 ) n 2 n + 1 = 1 − 1 3 + 1 5 − 1 7 + ⋯ = π 4 {\displaystyle \beta (1)=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{2n+1}}=1-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+\cdots ={\frac {\pi }{4}}} のように値が求まり、これはよく知られたライプニッツの公式と一致する。さらに、この他にも値を代入すれば、 β ( 0 ) = 1 2 {\displaystyle \beta (0)={\frac {1}{2}}} β ( 1 ) = π 4 = 0.78539 81633 97448 … {\displaystyle \beta (1)={\frac {\pi }{4}}=0.78539\,81633\,97448\ldots } β ( 2 ) = G = 0.91596 55941 77219 … {\displaystyle \beta (2)=G=0.91596\,55941\,77219\ldots } β ( 3 ) = π 3 32 = 0.96894 61462 59369 … {\displaystyle \beta (3)={\frac {\pi ^{3}}{32}}=0.96894\,61462\,59369\ldots } β ( 4 ) = 1 768 [ ψ ( 3 ) ( 1 4 ) − 8 π 4 ] = 0.98894 45517 41105 … {\displaystyle \beta (4)={\frac {1}{768}}{\biggl [}\psi ^{(3)}\!{\biggl (}{\frac {1}{4}}{\biggr )}-8\pi ^{4}{\biggr ]}=0.98894\,45517\,41105\ldots } β ( 5 ) = 5 π 5 1536 = 0.99615 78280 77088 … {\displaystyle \beta (5)={\frac {5\pi ^{5}}{1536}}=0.99615\,78280\,77088\ldots } β ( 7 ) = 61 π 7 184320 = 0.99955 45078 90539 … {\displaystyle \beta (7)={\frac {61\pi ^{7}}{184320}}=0.99955\,45078\,90539\ldots } のように求まる。ただし、ここで G はカタランの定数、ψ(n) はポリガンマ関数である。リーマンゼータ関数において、偶数に対する特殊値はレオンハルト・オイラーがバーゼル問題を解決するとともに一般化したが、奇数に対する値はよく知られていない。一方、ディリクレベータ関数は、奇数 2n + 1 に対して、 β ( 2 n + 1 ) = ( − 1 ) n E 2 n π 2 n + 1 4 n + 1 ( 2 n ) ! {\displaystyle \beta (2n+1)={\frac {(-1)^{n}\,E_{2n}\,\pi ^{2n+1}}{4^{n+1}\,(2n)!}}} が成り立つこと分かっている。ただし、ここで En は n 番目のオイラー数である。 ^ ζ ( s ) = 1 Γ ( s ) ∫ 0 ∞ x s − 1 e − x − 1 d x {\displaystyle \zeta (s)={\frac {1}{\varGamma (s)}}\int _{0}^{\infty }{\frac {x^{s-1}}{e^{-x}-1}}\,{\rm {d}}x} Blagouchine, I. V. (2014). “Rediscovery of Malmsten's integrals, their evaluation by contour integration methods and some related results”. Ramanujan J. 35 (1): 21–110. doi:10.1007/s11139-013-9528-5. https://www.researchgate.net/publication/257381156_Rediscovery_of_Malmsten's_integrals_their_evaluation_by_contour_integration_methods_and_some_related_results.  Glasser, M. L. (1972). “The evaluation of lattice sums. I. Analytic procedures”. J. Math. Phys. 14 (3): 409. Bibcode: 1973JMP....14..409G. doi:10.1063/1.1666331.  J. Spanier and K. B. Oldham, An Atlas of Functions, (1987) Hemisphere, New York. Weisstein, Eric W. "Dirichlet Beta Function". mathworld.wolfram.com (英語). 表示 編集