こんにちは.この記事では軽い自己紹介と,TeX打ち練習を兼ねて(ガンマ)関数を用いた指数関数の積分表示を導出し,それを用いて有名な特殊関数の積分表示を確認していこうと思います.間違い等あればコメントお願いします.
自己紹介
現在高1のたい焼き(Twitter:sakurabarora777)と申します.数学と物理学を趣味で嗜んでいます.気が向いたときに記事を書けたら良いなーって思います!
関数の定義・性質
関数は階乗の概念を非負整数から一般の複素数(ただし実部は正)に拡張したものです.
・関数の定義
なる複素数に対し,
部分積分を用いることで,等式が得られ,であることから非負整数に対しであることがわかります.すなわち,関数は階乗の自然な拡張になっていると言える訳です.また,先程の等式から負の整数を除く複素数全体に解析接続する(定義域を拡張する)ことができます.
指数関数の積分表示
関数の定義式において,を正の定数としてと置き換えます.すると,積分区間はのままで
したがって,以下のような積分表示を得ます.
・指数関数の積分表示
正の実数定数となる複素数に対し,
この積分表示は,有名な特殊関数の積分表示を導出する際に頻繁に用いられます.(積分表示に関数が入っているのを頻繁に目にすると思います)
関数の積分表示
(ゼータ)関数は以下のように定義されます.
・関数の定義
なる複素数に対し,
これの積分表示を導出してみましょう.指数関数の積分表示をに適用して,
となります.結果をまとめると以下のようになります.
・関数の積分表示
こちらを関数の定義とすることもあるようです.
多重対数関数の積分表示
多重対数関数は以下のように定義されます.
・多重対数関数の定義
なる複素数に対し,(は任意)
これの積分表示を導出してみましょう.流れは関数のときと同様なので,やったことがない人は是非手を動かして計算してみてください.指数関数の積分表示をに適用して,
となります.結果をまとめると以下のようになります.
・多重対数関数の積分表示
Dirichlet beta関数の積分表示
Dirichlet beta関数は以下のように定義されます.
・Dirichlet beta関数の定義
なる複素数に対し,
これの積分表示を導出してみましょう.上2つと流れは同じですが,指数関数の積分表示でをに置き換えて使います.これをに適用して,
ここで,数列は,公比の等比数列なので,
と計算できるので,
となります.結果をまとめると以下のようになります.
・Dirichlet beta関数の積分表示
まとめ的な何か
この記事では3つの特殊関数を取り上げ積分表示を導出しましたが,どれもやり方はほぼ同じです.指数関数の積分表示は,積分や級数の問題を解く際にもしばしば有効となることがあるので,ぜひ覚えておきましょう.現在,物理学に関する記事を執筆中なので完成次第投稿すると思います.つまらない内容でしたが,最後まで目を通していただきありがとうございました.