複素ガンマ関数2つを含む広義積分
複素ガンマ関数2つを含む広義積分
次の定積分を求めよ。
\[ \int_{-\infty}^{\infty}\Gamma\left(1-ix\right)\Gamma\left(1+ix\right)dx=? \]
次の定積分を求めよ。
\[ \int_{-\infty}^{\infty}\Gamma\left(1-ix\right)\Gamma\left(1+ix\right)dx=? \]
-
\(\Gamma\left(x\right)\)はガンマ関数\begin{align*}
\int_{-\infty}^{\infty}\Gamma\left(1-ix\right)\Gamma\left(1+ix\right)dx & =\int_{-\infty}^{\infty}ix\Gamma\left(1-ix\right)\Gamma\left(ix\right)dx\\
& =\int_{-\infty}^{\infty}ix\frac{\pi}{\sin\left(i\pi x\right)}dx\\
& =\int_{-\infty}^{\infty}\frac{x\pi}{\sinh\left(\pi x\right)}dx\\
& =\frac{1}{\pi}\int_{-\infty}^{\infty}\frac{x}{\sinh\left(x\right)}dx\cmt{\pi x\rightarrow x}\\
& =\frac{2}{\pi}\int_{0}^{\infty}\frac{x}{\sinh\left(x\right)}dx\\
& =\frac{4}{\pi}\int_{0}^{\infty}\frac{x}{e^{x}-e^{-x}}dx\\
& =\frac{4}{\pi}\int_{0}^{\infty}\frac{xe^{-x}}{1-e^{-2x}}dx\\
& =\frac{4}{\pi}\int_{0}^{\infty}xe^{-x}\sum_{k=0}^{\infty}e^{-2kx}dx\cmt{\because0<x\rightarrow\left|e^{-2x}\right|<1}\\
& =\frac{4}{\pi}\sum_{k=0}^{\infty}\int_{0}^{\infty}xe^{-\left(2k+1\right)x}dx\cmt{\text{積分と総和の順序変更}}\\
& =\frac{4}{\pi}\sum_{k=0}^{\infty}\frac{1}{\left(2k+1\right)^{2}}\int_{0}^{\infty}xe^{-x}dx\cmt{\left(2k+1\right)x\rightarrow x}\\
& =\frac{4}{\pi}\sum_{k=0}^{\infty}\frac{1}{\left(2k+1\right)^{2}}1!\\
& =\frac{4}{\pi}\sum_{k=0}^{\infty}\frac{1}{\left(2k+1\right)^{2}}\\
& =\frac{4}{\pi}\left(\sum_{k=0}^{\infty}\frac{1}{k^{2}}-\sum_{k=0}^{\infty}\frac{1}{\left(2k\right)^{2}}\right)\\
& =\frac{4}{\pi}\left(1-\frac{1}{2^{2}}\right)\zeta\left(2\right)\\
& =\frac{3}{\pi}\cdot\frac{\pi^{2}}{6}\\
& =\frac{\pi}{2}
\end{align*}
ページ情報
タイトル | 複素ガンマ関数2つを含む広義積分 |
URL | https://www.nomuramath.com/d3i8me1v/ |
SNSボタン |
ガンマ関数を2つ含む定積分でカタラン定数が出てきます
\[
\int_{0}^{\frac{1}{2}}\Gamma\left(1-x\right)\Gamma\left(1+x\right)dx=?
\]
πとγがでてくる定積分
\[
\int_{0}^{\infty}\frac{\sin\left(x\right)\log\left(x\right)}{x}dx=?
\]
sinの3乗をxの2乗で割った定積分
\[
\int_{0}^{\infty}\frac{\sin^{3}x}{x^{2}}dx=?
\]
対数のルート積分
\[
\int\log^{\frac{1}{2}}xdx=x\log^{\frac{1}{2}}x-\frac{\sqrt{\pi}}{2}erfi\left(\log^{\frac{1}{2}}x\right)+C
\]