全記事一覧 > 数学 > 複素平面／複素積分

【複素積分】sinx/xの実積分（ディリクレ積分）

　以下のディリクレ積分と呼ばれる実積分を複素関数を用いた複素積分で解く。

ディリクレ(Dirichlet)積分

    \begin{eqnarray*} \int_{0}^{\infty}\frac{\sin{x}}{x}\,dx =\frac{\pi}{2} \end{eqnarray*}


1. 複素積分の積分経路

　誰か偉い人が考えた積分経路によって解く。

最終的には以下のようになる。

  • \textcolor{red}{C_1}：R\to\infty,\varepsilon\to 0 で求める実積分に対応
  • \textcolor{green}{C_2}：\varepsilon\to 0 で -i\piに収束
  • \textcolor{blue}{C_3}：R\to \infty で 0 に収束


2. 解答

\frac{\sin{x}}{x} は e^{\pmi\theta}=\cos\theta\pm \sin\theta より、

    \begin{eqnarray*} \frac{\sin{x}}{x}=\frac{e^{ix}-e^{-ix}}{2ix} \end{eqnarray*}

と変形できる。ここで、f(z)=\frac{e^{iz}}{z} と置く。上に与えた積分経路で複素積分すると、

    \begin{eqnarray*} \oint_{\textcolor{red}{C_1}+\textcolor{green}{C_2}+\textcolor{blue}{C_3}} f(z)\,dz =\int_{\textcolor{red}{C_1}} f(z)\,dz + \int_{\textcolor{green}{C_2}} f(z)\,dz + \int_{\textcolor{blue}{C_3}} f(z)\,dz \end{eqnarray*}

ここで、左辺の周回積分 \oint について考える。この積分は、f(z) の積分経路内に特異点がない（領域内で正則である）ために積分値は 0 になる【コーシー（Cauthy）の積分定理】。



C1上の複素積分

　C_1 は実軸上であるため、z=x になる。

　また、\textcolor{red}{C_1} は２つの部分に分かれている。つまり、積分は x:-R\to -\varepsilon と x:\varepsilon\to R の積分に分けることができる。

    \begin{eqnarray*} \int_{\textcolor{red}{C_1}} f(z)\,dz&=& \int_{\textcolor{red}{C_1}} f(x)\,dx\\\\ &=& \int_{-R}^{-\varepsilon} f(x)\,dx + \int_{\varepsilon}^{R} f(x)\, dx \\\\ &=& \int_{-R}^{-\varepsilon} \frac{e^{ix}}{x}\,dx + \int_{\varepsilon}^{R} \frac{e^{ix}}{x}\, dx \end{eqnarray*}

ここで第１項について、x=-x' と置くと、

    \begin{eqnarray*} \int_{-R}^{-\varepsilon} \frac{e^{ix}}{x}\, dx &=&\int_{R}^{\varepsilon} \frac{e^{-ix'}}{-x'}\, (-dx')\\\\ &=& -\int_{\varepsilon}^{R}\frac{e^{-ix}}{x}\, dx \;(x'\to x) \end{eqnarray*}

最後の行で、積分変数 x' を置き換えと積分経路の入れ替えをおこなった。これより、

    \begin{eqnarray*} -\int_{\varepsilon}^{R} \frac{e^{-ix}}{x}\,dx +\int_{-\varepsilon}^{-R}\frac{e^{ix}}{x}\, dx &=& \int_{\varepsilon}^{R} \frac{e^{ix} - e^{-ix}}{x}\, dx \\\\ &=& 2i\int_{\varepsilon}^{R} \frac{\sin x}{x}\, dx \quad \blacksquare \end{eqnarray*}

この積分は、R\to\infty,\varepsilon\to 0 で求める実積分（Dirichlet積分）に一致する。



C2上の複素積分

　f(z)=\frac{e^{iz}}{z} について、z=0 まわりで e^{iz} をテイラー展開して、z で割る。

    \begin{eqnarray*} \frac{e^{iz}}{z}&=&\frac{1}{z} \left[1+(iz)+\frac{1}{2!}(iz)^2+\frac{1}{3!}(iz)^3+\cdots\right]\\\\ &=& \frac{1}{z}+i\left[1+\frac{1}{2!}(iz)+\frac{1}{3!}(iz)^2+\cdots\right] \end{eqnarray*}

よって、

    \begin{eqnarray*} \int_{\textcolor{green}{C_2}} f(z)\,dz&=& \int_{\textcolor{green}{C_2}}\frac{dz}{z} \,dz\\\\&+& i\int_{\textcolor{green}{C_2}}\left[1+\frac{1}{2!}(iz)+\frac{1}{3!}(iz)^2+\cdots\right]\,dz\\\\ \end{eqnarray*}

　以下では z=\varepsilon e^{i\theta},\;(\theta:\pi\to 0) とおいて積分を計算する。ただし、最後に \varepsilon\to 0 とする。

第一項：

    \begin{eqnarray*} &&\int_{\textcolor{green}{C_2}}\frac{dz}{z} \,dz\\\\ &=& \int_{\pi}^{0}\frac{i\varepsilon e^{i\theta}}{\varepsilon e^{i\theta}} \,d\theta \;(\because dz=i\varepsilon e^{i\theta} \,d\theta)\\\\ &=& i\int_{\pi}^{0}\,d\theta \\\\ &=&-i\pi \quad\blacksquare \end{eqnarray*}

第二項：

    \begin{eqnarray*} \int_{\textcolor{green}{C_2}}z^n\,dz \;(n=0,1,2,\cdots) \end{eqnarray*}

の \varepsion\to 0 の収束性を調べる。計算のポイントは以下の通り。

  • z^n=\varepsilon^n e^{in\theta}
  • dz=i\varepsilon e^{i\theta} \,d\theta
  • |\int f(z) \dz|\leq\int |f(z)|dz
  • |e^{in\theta}|=1：単位円を表すため絶対値は 1

    \begin{eqnarray*} \left|\int_{\textcolor{green}{C_2}}\frac{z^n}dz \right| &=& \left|\int_{\pi}^{0}\varepsilon^n e^{in\theta}\left(i\varepsilon e^{i\theta}d\theta\right)\right|\\\\ &\leq& \int_{\pi}^{0}\Big|i\varepsilon^{n+1} e^{i(n+1)\theta} \Big|d\theta \\\\ &=& -\varepsilon^{n+1} \pi \\\\ &\to& 0 \quad(\varepsilon\to 0) \quad \blacksquare \end{eqnarray*}

まとめると、\varepsilon\to 0 で

    \begin{eqnarray*} \int_{\textcolor{green}{C_2}} f(z)\,dz = -i\pi \end{eqnarray*}



C3上の複素積分

　R\to \infty での積分の絶対値が収束するか調べる。

    \begin{eqnarray*} z&=&R e^{i\theta},\;(\theta:0\to \pi) \\ dz&=&iR e^{i\theta} \end{eqnarray*}

を用いて、

    \begin{eqnarray*} \left|\int_{\textcolor{blue}{C_3}}\frac{e^{iz}}{x}\,dz\right| &=& \left|\int_{0}^{\pi}\frac{e^{iR e^{i\theta}}}{R e^{i\theta}} \left(iR e^{i\theta}\,d\theta \right)\right|\\\\ &\leq& \int_{0}^{\pi}\left|\frac{e^{iR e^{i\theta}}}{R e^{i\theta}} \cdot iR e^{i\theta}\right|\,d\theta \\\\ &=& \int_{0}^{\pi}\left|ie^{iR (\textcolor{red}{\cos\theta+i\sin\theta)}} \right|\,d\theta\quad(e^{i\theta}=\cos\theta+i\sin\theta)\\\\ &=& \int_{0}^{\pi}\left|ie^{iR\cos\theta}\cdot e^{-R\sin\theta}\right|\,d\theta\\\\ &\leq& \int_{0}^{\pi}e^{-R\sin\theta}\,d\theta\\\\ &\leq&\int_{0}^{\pi}e^{-R\textcolor{red}{\theta}}\,d\theta \quad(\because \sin\theta\leq\theta\; {\rm for}\; 0\leq\pi) \\\\ &=& \frac{1-e^{-R\theta}}{R}\\\\ &\to& 0 \quad(R\to\infty) \quad \blacksquare \end{eqnarray*}



複素積分の結果をまとめる

　R\to\infty,\;\varepsilon\to 0 として、

    \begin{eqnarray*} \oint_{\textcolor{red}{C_1}+\textcolor{green}{C_2}+\textcolor{blue}{C_3}} f(z)\,dz &=&\int_{\textcolor{red}{C_1}} f(z)\,dz + \int_{\textcolor{green}{C_2}} f(z)\,dz + \int_{\textcolor{blue}{C_3}} f(z)\,dz + \\\\\\ 0&=& 2i\int_{0}^{\infty} \frac{\sin x}{x}\, dx +(-i\pi)+0 \end{eqnarray*}

したがって、



ディリクレ(Dirichlet)積分

    \begin{eqnarray*} \int_{0}^{\infty}\frac{\sin{x}}{x}\,dx =\frac{\pi}{2} \end{eqnarray*}


を得る。\quad\blacksquare



3. まとめ

　留数定理を使わないタイプの複素積分の応用であった。積分経路が複雑であることと収束を調べることがポイントだろう。





1件のコメント

  1. いぬじる

    C3の■の下から２行目、θのところはπの誤植です。

    返信

コメントを残す

メールアドレスが公開されることはありません。