4

ディリクレ積分の証明

99
0
$$\newcommand{C}[0]{\mathbb{C}} \newcommand{d}[0]{\displaystyle} \newcommand{f}[0]{<} \newcommand{N}[0]{\mathbb{N}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{Z}[0]{\mathbb{Z}} $$

はじめに

この記事ではディリクレ積分の少し変わった証明について書いていきます。
こちら $\tau\rho\iota\alpha$ さんが簡単な証明を書いているので、そちらも見てください。

証明

$f(x)=\d\frac{\sin x}x$のフーリエ級数展開を考えます。
$\d\frac{\sin x}x=\frac{a_0}2+\sum_{n=1}^\infty\left(a_n\cos nx+b_n\sin nx \right)$
$\d\lim_{x\rightarrow 0}\frac{\sin x}x=\frac{a_0}2+\lim_{x\rightarrow0}\sum_{n=1}^\infty \left(a_n\cos nx+b_n\sin nx \right) $
$1=\d\frac{a_0}2+\sum_{n=1}^\infty a_n $
ここで、
$a_0=\d\frac1\pi\int_{-\pi}^\pi \frac{\sin x}xdx=\frac2{\pi}\text{Si}(\pi) $
また、
$ \begin{eqnarray*} &&a_n\\ &=&\frac1{\pi}\int_{-\pi}^\pi \frac{\sin x\cos nx}xdx\\ &=&\frac1{2\pi}\int_{-\pi}^\pi \left(\frac{\sin((n+1)x)}x+\frac{\sin((n-1)x)}x \right) dx\\ &=&\frac1{\pi} \left(\text{Si}((n+1)\pi)-\text{Si}((n-1)\pi) \right)\\ \end{eqnarray*} $
より、
$ \d1=\frac1\pi\text{Si}(\pi) +\frac1{\pi}\sum_{n=1}^\infty \left(\text{Si}((n+1)\pi)-\text{Si}((n-1)\pi) \right)\\ $
$1=\d\frac1\pi\text{Si}(\pi)-\frac1{\pi}\text{Si}(0)-\frac1{\pi}\text{Si}(\pi)+\frac2\pi\lim_{n\rightarrow\infty}\text{Si}((n+1)\pi) $
$\d\lim_{n\rightarrow\infty}\text{Si}((n+1)\pi)=\frac\pi2 $
$\d\int_0^\infty\frac{\sin x}xdx=\frac\pi2 $
よって、$\d\int_0^\infty\frac{\sin x}xdx=\frac\pi2 $が証明されました。

おわりに

以上がフーリエ級数展開を用いた証明です。極限を取ることで上手に求まるのが面白いですね。

投稿日:20201110

この記事を高評価した人

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

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

バッジはありません。

投稿者

神鳥奈紗
神鳥奈紗
488
14000
遭難者です.高専1年です.MZV,級数,積分をメインにやっています.

コメント

他の人のコメント

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