複素ガンマ関数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ボタン |
対数のルート積分
\[
\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
\]
床関数の総和の2乗の定積分
\[
\int_{0}^{1}\left(\sum_{k=1}^{\infty}\frac{\left\lfloor 2^{k}x\right\rfloor }{3^{k}}\right)^{2}dx=?
\]
ガンマ関数を2つ含む定積分でカタラン定数が出てきます
\[
\int_{0}^{\frac{1}{2}}\Gamma\left(1-x\right)\Gamma\left(1+x\right)dx=?
\]
分母に1乗と2乗ルートの積分
\[
\int\frac{1}{\left(z\pm1\right)\sqrt{z^{2}-1}}dz=\frac{\sqrt{z^{2}-1}}{\pm z+1}+C
\]