どうも、らららです。
前書いた記事
で$\displaystyle\int_{-\infty}^{\infty}\frac{\cos x}{x^2+1}dx=\frac{\pi}{e}$をフーリエ変換を使って解きました。
その記事ではフーリエの反転公式を使いました。
今回は被積分関数の$2$乗した関数をフーリエ変換を使って解いていきます。
$$\int_{-\infty}^{\infty}\frac{\cos^2x}{(x^2+1)^2 }dx$$
この積分フーリエ変換を使って解いていきます。
解くために必要なプランシュレルの定理がありますので証明しておきます。
$$\int_{-\infty}^{\infty}\left|f(x)\right|^2dx=\int_{-\infty}^{\infty}\left|\widehat{f}(\xi)\right|^2d\xi$$
ここで$f$は自乗可積分。
わたしは$f(x)$のフーリエ変換は$\widehat{f}(s)$が好きなんですけどまあ$\mathrm{Tex}$でキレイに書けるので$\xi$使っていきます。
$\xi$とか$\omega$が一般的だと思います。
最近$\xi$キレイに書けるようになった気がします。
証明していきます。
\begin{align} \int_{-\infty}^{\infty}|f(x)|^2dx &=\int_{-\infty}^{\infty}f(x)f^{*}(x)dx \\&=\int_{-\infty}^{\infty}f(x)\left(\int_{-\infty}^{\infty}\widehat{f}(\xi)e^{2\pi i\xi x}d\xi\right)^{*}dx \\&=\int_{-\infty}^{\infty}f(x)\int_{-\infty}^{\infty}\widehat{f}^{*}(\xi)e^{-2\pi i\xi x}d\xi dx \\&=\int_{-\infty}^{\infty}\widehat{f}^{*}(\xi)\int_{-\infty}^{\infty}f(x)e^{-2\pi i\xi x}dxd\xi \\&=\int_{-\infty}^{\infty}\widehat{f}^{*}(\xi)\widehat{f}(\xi)d\xi \\&=\int_{-\infty}^{\infty}\left|\widehat{f}(\xi)\right|^2d\xi \end{align}
このプランシュレルの定理を使って積分を解いていきます。
$\displaystyle\frac{\cos x}{x^2+1}$をフーリエ変換します。
\begin{align} \mathcal{F}\left[\frac{\cos x}{x^2+1}\right](\xi) &=\int_{-\infty}^{\infty}\frac{\cos x}{x^2+1}e^{-2\pi i\xi x}dx \\&=\int_{-\infty}^{\infty}\frac{\cos x}{x^2+1}\cos2\pi\xi x\ dx-i\int_{-\infty}^{\infty}\frac{\cos x}{x^2+1}\sin2\pi\xi x\ dx \\&=\int_{-\infty}^{\infty}\frac{\cos x}{x^2+1}\cos2\pi\xi x\ dx \\&=\frac{1}{2}\int_{-\infty}^{\infty}\frac{\cos((2\pi\xi+1)x)}{x^2+1}dx+\frac{1}{2}\int_{-\infty}^{\infty}\frac{\cos((2\pi\xi-1)x)}{x^2+1} \\&=\frac{\pi}{2}e^{-|2\pi\xi+1|}+\frac{\pi}{2}e^{-|2\pi\xi-1|} \\&=\frac{\pi}{2}\left(e^{-|2\pi\xi+1|}+e^{-|2\pi\xi-1|}\right) \end{align}
前の記事で示した$\displaystyle\int_{-\infty}^{\infty}\frac{\cos ax}{x^2+1}dx=\pi e^{-|a|}$を用いた。
後に使う積分を解いていきます。
\begin{align}
I&=\int_{-\infty}^{\infty}e^{-2|x+1|}dx
\\&=\int_{-\infty}^{\infty}e^{-2|x|}dx
\\&=2\int_{0}^{\infty}e^{-2x}dx
\\&=\int_{0}^{\infty}e^{-x}dx
\\&=\Gamma(1)
\\&=1
\end{align}
同様に$\displaystyle\int_{-\infty}^{\infty}e^{-2|x-1|}dx=1$
\begin{align} I&=\int_{-\infty}^{\infty}e^{-|x+1|-|x-1|}dx \\&=\int_{-\infty}^{-1}e^{-|x+1|-|x-1|}dx+\int_{-1}^{1}e^{-|x+1|-|x-1|}dx+\int_{1}^{\infty}e^{-|x+1|-|x-1|}dx \\&=\int_{-\infty}^{-1}e^{2x}dx+\int_{-1}^{1}e^{-2}dx+\int_{1}^{\infty}e^{-2x}dx \\&=2\int_{1}^{\infty}e^{-2x}dx+\frac{2}{e^2} \\&=\frac{3}{e^2} \end{align}
プランシュレルの定理より、
$$\int_{-\infty}^{\infty}\frac{\cos^2x}{(x^2+1)^2}=\frac{\pi^2}{4}\int_{-\infty}^{\infty}\left(e^{-|2\pi\xi+1|}+e^{-|2\pi\xi-1|}\right)^2d\xi$$
\begin{align} I&=\int_{-\infty}^{\infty}\left(e^{-|2\pi\xi+1|}+e^{-|2\pi\xi-1|}\right)^2dx \\&=\frac{1}{2\pi}\int_{-\infty}^{\infty}\left(e^{-|x+1|}+e^{-|x-1|}\right)^2dx \\&=\frac{1}{2\pi}\int_{-\infty}^{\infty}\left(e^{-2|x+1|}+2e^{-|x+1|-|x-1|}+e^{-2|x-1|}\right)dx \\&=\frac{1}{2\pi}\left(1+\frac{6}{e^2}+1\right) \\&=\frac{1}{2\pi}\left(2+\frac{6}{e^2}\right) \\&=\frac{1}{\pi}\left(1+\frac{1}{e^2}\right) \end{align}
よって、求める値は$\displaystyle\frac{\pi}{4}\left(1+\frac{3}{e^2}\right)$
でたーー!!
留数定理でもできるかもしれません。
できてやる気があれば記事にします。
おしまい!