8
大学数学基礎解説
文献あり

ガンマ関数が入った積分2 ∫[-∞,∞](Γ(a+ix)Γ(b-ix)e^cx)dx

203
0
$$\newcommand{a}[0]{\alpha} \newcommand{asn}[0]{\hspace{16pt}(\mathrm{as}\ n\to\infty)} \newcommand{b}[0]{\beta} \newcommand{beq}[0]{\begin{eqnarray*}} \newcommand{c}[2]{{}_{#1}\mathrm{C}_{#2}} \newcommand{C}[0]{\mathbb{C}} \newcommand{cb}[0]{\binom{2n}{n}} \newcommand{dhp}[0]{\dfrac{\pi}2} \newcommand{ds}[0]{\displaystyle} \newcommand{eeq}[0]{\end{eqnarray*}} \newcommand{G}[1]{\Gamma({#1})} \newcommand{g}[0]{\gamma} \newcommand{hp}[0]{\frac{\pi}2} \newcommand{I}[0]{\mathrm{I}} \newcommand{l}[0]{\ell} \newcommand{limn}[0]{\lim_{n\to\infty}} \newcommand{limx}[0]{\lim_{x\to\infty}} \newcommand{N}[0]{\mathbb{N}} \newcommand{nck}[0]{\binom{n}{k}} \newcommand{p}[0]{\varphi} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{space}[0]{\hspace{12pt}} \newcommand{sumk}[1]{\sum_{k={#1}}^n} \newcommand{sumn}[1]{\sum_{n={#1}}^\infty} \newcommand{t}[0]{\theta} \newcommand{tc}[0]{\TextCenter} \newcommand{Z}[0]{\mathbb{Z}} $$

${}$

この記事では, 過去の記事 で紹介した, ガンマ関数の入った積分の証明をしようと思います.

Mellin逆変換を用います. 即ち, 関数$f$のMellin変換を
$$ F(s)=(\mathcal{M}f)(s)=\int_0^\infty f(t)t^{s-1}\,dt$$
と定めた時, その逆変換が
$$ f(t)=(\mathcal{M}^{-1}F)(t)=\frac1{2\pi i}\int_{c-i\infty}^{c+i\infty}F(s)t^{-s}\,ds$$
で表されることを用います. ただし$\Re s=c$上で$F$は正則であり, $\ds\int_{c-i\infty}^{c+i\infty}$とは, 直線$\Re s=c$を上向きに走る路に沿って積分することを表すものとします. (もちろんこれらの積分が収束することも必要です.)

これについては, ネット上にある このPDF などを読むと良いかもしれません.
${}$

これを$\ds f(t)=\frac1{(1+t)^a}$に適用すると,
$$\ds F(s)=\int_0^\infty\frac{t^{s-1}}{(1+t)^a}\,dt=B(s,a-s)=\frac{\G{s}\G{a-s}}{\G{a}}$$
(ただし$0<\Re s<\Re a$)より,
$$ \frac1{(1+t)^a}=\frac1{2\pi i\G{a}}\int_{\Re s=c}\G{s}\G{a-s}t^{-s}\,ds$$
(ただし$0< c<\Re a$)が成り立ちます.

ここで適当な変数変換をすることにより,

$$\int_{-\infty}^\infty\G{a+ix}\G{b-ix}e^{cx}\,dx=\frac{2\pi\G{a+b}e^{i\frac{a-b}2c}}{(2\cos\frac c2)^{a+b}}$$
$\hspace{10pt}for\space 0<\Re a,\Re b,\ |\Re c|<\pi$

を得ます.
${}$

最後の式で例えば$a=b=n+1, c=0$とすると,
$$\beq &&\G{n+1+ix}\G{n+1-ix}\\[5pt] &=&(n+ix)\cdots(1+ix)ix\G{ix}\cdot(n-ix)\cdots(1-ix)\G{1-ix}\\[5pt] &=&ix(x^2+1)\cdots(x^2+n^2)\cdot\frac{\pi}{\sin\pi ix}\\[5pt] &=&\frac{\pi x(x^2+1)\cdots(x^2+n^2)}{\sinh\pi x} \eeq$$
ですので,
$$\int_{-\infty}^\infty\frac{x(x^2+1)\cdots(x^2+n^2)}{\sinh\pi x}\,dx=\frac{(2n+1)!}{2^{2n+1}}$$
を得ます.

${}$

読んでくださった方, ありがとうございました.

${}$

${}$

参考文献

投稿日:2021528

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

東大理数B3です

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中