ディリクレベータ関数
[Wikipedia|▼Menu]
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom:1px solid #a2a9b1;font-size:90%}

第一種オイラー積分の「ベータ関数」とは異なります。
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

この記事には参考文献外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。(2023年6月)
ディリクレのベータ関数

ディリクレベータ関数(ディリクレベータかんすう、: 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}

と、リーマンゼータ関数[注釈 1]と類似した積分表示ができる。
性質
乗積表示

リーマンゼータ関数の乗積表示であるオイラー積が示唆するように、リーマンゼータ関数の重要な性質のひとつは素数との関わりが深いことである。同じように、ディリクレベータ関数にも、素数全体を動く変数 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}}}


次ページ
記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション/リンク一覧
話題のニュース
列車運行情報
暇つぶしWikipedia

Size:26 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:undef