sinc関数のn乗広義積分
sinc関数の\(n\)乗広義積分
\(n\in\mathbb{N}\)とする。
\[ \int_{0}^{\infty}sinc^{n}(x)dx=\frac{\pi}{2^{n+1}(n-1)!}\sum_{k=0}^{n}C(n,k)(-1)^{k}(n-2k)^{n-1}\sgn(n-2k) \]
\(n\in\mathbb{N}\)とする。
\[ \int_{0}^{\infty}sinc^{n}(x)dx=\frac{\pi}{2^{n+1}(n-1)!}\sum_{k=0}^{n}C(n,k)(-1)^{k}(n-2k)^{n-1}\sgn(n-2k) \]
\begin{align*}
\int_{0}^{\infty}sinc^{n}(x)dx & =\int_{0}^{\infty}\frac{\sin^{n}x}{x^{n}}dx\\
& =\int_{0}^{\infty}\int_{0}^{\infty}\cdots\cdots\int_{0}^{\infty}\int_{0}^{\infty}\sin^{n}xe^{-(a_{1}+a_{2}+\cdots\cdots+a_{n})x}da_{1}da_{2}\cdots\cdots da_{n}dx\\
& =\int_{0}^{\infty}\int_{0}^{\infty}\cdots\cdots\int_{0}^{\infty}\int_{0}^{\infty}\sin^{n}xe^{-Ax}dxda_{1}da_{2}\cdots\cdots da_{n}\qquad,\qquad A=\sum_{k=0}^{n}a_{n}\\
& =\int_{0}^{\infty}\int_{0}^{\infty}\cdots\cdots\int_{0}^{\infty}\int_{0}^{\infty}\frac{\left(e^{ix}-e^{-ix}\right)^{n}}{(2i)^{n}}e^{-Ax}dxda_{1}da_{2}\cdots\cdots da_{n}\\
& =\int_{0}^{\infty}\int_{0}^{\infty}\cdots\cdots\int_{0}^{\infty}\int_{0}^{\infty}\frac{1}{(2i)^{n}}\sum_{k=0}^{n}C(n,k)(-1)^{n-k}e^{ikx}e^{-i(n-k)x}e^{-Ax}dxda_{1}da_{2}\cdots\cdots da_{n}\\
& =\int_{0}^{\infty}\int_{0}^{\infty}\cdots\cdots\int_{0}^{\infty}\int_{0}^{\infty}\frac{1}{(2i)^{n}}\sum_{k=0}^{n}C(n,k)(-1)^{n-k}e^{-(A-i(2k-n))x}dxda_{1}da_{2}\cdots\cdots da_{n}\\
& =\int_{0}^{\infty}\int_{0}^{\infty}\cdots\cdots\int_{0}^{\infty}\int_{0}^{\infty}\frac{1}{(2i)^{n}}\sum_{k=0}^{n}C(n,k)(-1)^{n-k}\frac{1}{A-i(2k-n)}da_{1}da_{2}\cdots\cdots da_{n}\\
& =\frac{(-1)^{n}}{(2i)^{n}}\sum_{k=0}^{n}C(n,k)(-1)^{n-k}\frac{\left(-i(2k-n)\right)^{n-1}}{(n-1)!}\left\{ \log(-i(2k-n))-H_{n-1}\right\} \\
& =\frac{(-1)^{n+1}}{2^{n}i(n-1)!}\sum_{k=0}^{n}C(n,k)(-1)^{k}(2k-n)^{n-1}\left\{ \log(-i(2k-n))-H_{n-1}\right\} \\
& =\frac{(-1)^{n+1}}{2^{n}i(n-1)!}\sum_{k=0}^{n}C(n,k)(-1)^{k}(2k-n)^{n-1}\log(-i(2k-n))\\
& =\frac{(-1)^{n+1}}{2^{n+1}i(n-1)!}\sum_{k=0}^{n}\left(C(n,k)(-1)^{k}(2k-n)^{n-1}\log(-i(2k-n))+C(n,k)(-1)^{n-k}(n-2k)^{n-1}\log(-i(n-2k))\right)\qquad,\qquad k\rightarrow n-k\\
& =\frac{-1}{2^{n+1}i(n-1)!}\sum_{k=0}^{n}C(n,k)(-1)^{k}(n-2k)^{n-1}\left\{ \log\left(-i(n-2k)\right)-\log\left(-i(2k-n)\right)\right\} \\
& =\frac{-1}{2^{n+1}i(n-1)!}\sum_{k=0}^{n}C(n,k)(-1)^{k}(n-2k)^{n-1}\left\{ \log\left(-i\sgn(n-2k)\right)-\log\left(i\sgn(n-2k)\right)\right\} \\
& =\frac{-1}{2^{n+1}i(n-1)!}\sum_{k=0}^{n}C(n,k)(-1)^{k}(n-2k)^{n-1}\left(-\frac{\pi}{2}i-\frac{\pi}{2}i\right)\sgn(n-2k)\\
& =\frac{\pi}{2^{n+1}(n-1)!}\sum_{k=0}^{n}C(n,k)(-1)^{k}(n-2k)^{n-1}\sgn(n-2k)
\end{align*}
ページ情報
タイトル | sinc関数のn乗広義積分 |
URL | https://www.nomuramath.com/d6vmjrm9/ |
SNSボタン |
🔰[python]print文で色をつけてみよう
正直天使と嘘つき悪魔
正直者か嘘つきか分からないときに1回のYES/NO質問で真実を聞くにはどうすればいいか?
2項係数の相加平均・相乗平均を含む極限
\[
\lim_{n\rightarrow\infty}\sqrt[n]{\sqrt[n+1]{\prod_{k=0}^{n}C\left(n,k\right)}}=\sqrt{e}
\]
カタラン数の定義
\[
C_{n+1}=\sum_{k=0}^{n}C_{k}C_{n-k}
\]