sin(x^2)、cos(x^2)の実積分（フレネル積分）を複素積分で解く

　実積分でそのまま解くことが難しい場合は、複素積分を利用して解くことがある。基本的には、元の実積分が計算できるような積分経路を考えて複素積分していく。今回求めたいのは下の実積分。sinのほうも一緒に求められる。

例題

複素積分を利用して、次の実積分を求めよ。

$\begin{eqnarray*} \int_0^{\infty} {\rm cos}(x^2)\, dx \end{eqnarray*}$

1. 複素積分を用いる
- 1.1 f(z)をu(x,y)とv(x,y)で表す
- 1.2 積分経路
2. それぞれの複素積分
3. すべての積分の和=0
4. まとめ

1. 複素積分を用いる

　ステップバイステップで求める。先人の知恵から、 $f(z)=e^{-z^2}$ に関する複素積分を、8分の1円を積分経路として行えばよい。

1.1 f(z)をu(x,y)とv(x,y)で表す

　後々のために最初に式変形しておく。 $z=x+iy$ として複素関数 $f(z)=e^{-z^2}$ は実関数 $u(x,y)$ と $v(x,y)$ を用いて $f(z)=u(x,y)+iv(x,y)$ と表すことができる。

$\begin{eqnarray*} e^{-z^2}&=& e^{-(x+iy)^2}\\ &=& e^{-(x^2-y^2+2xyi)}\\ &=& e^{-x^2+y^2}e^{2xyi}\\ &=& e^{-x^2+y^2}\left({\rm cos}(2xy) - i{\rm sin}(2xy) \right)\\ &=& e^{-x^2+y^2} {\rm cos}(2xy)\\ &-& ie^{-x^2+y^2} {\rm sin}(2xy) \end{eqnarray*}$

より、

$\begin{eqnarray*} u(x,y)&=&e^{-x^2+y^2} {\rm cos}(2xy) \\ v(x,y)&=& -e^{-x^2+y^2} {\rm sin}(2xy) \end{eqnarray*}$

となる。

1.2 積分経路

　空から降ってきたかのように次の積分経路を使う。

　半径 $R$ の8分の1円を積分経路とする。この積分経路は３つに分けられ、積分経路 $C_1,C_2,C_3$ は次のように表すことができる。

$\begin{eqnarray*} &&C_1:\quad z=x\;(0\leq x \leq R)\\ &&C_2:\quad z=Re^{i\theta}\;(0 \leq \theta \leq \frac{\pi}{4})\\ &&C_3:\quad z=r\left({\rm cos}\left(\frac{\pi}{4}\right) +i{\rm sin}\left(\frac{\pi}{4}\right) \right) \;(0\leq r \leq R) \end{eqnarray*}$

　被積分関数は $f(z)=e^{-z^2}$ をとるとうまくいく。

$\begin{eqnarray*} \oint e^{-z^2}\, dz= \int_{C_1} e^{-z^2}\,dz+ \int_{C_2} e^{-z^2}\,dz+\int_{C_3} e^{-z^2}\,dz \end{eqnarray*}$

　1.1の結果から $e^{-z^2}$ は考えている積分経路内に特異点を持たない。これは、 $f(z)$ を1.1の $u(x,y),v(x,y)$ で表した時に $u(x,y),v(x,y)$ が以下の2条件を満たすためである（ $f(z)$ の正則性の必要十分条件）。

全微分可能
コーシー・リーマンの関係式を満たす

コーシー・リーマンの関係式

$\begin{eqnarray*}\frac{\partial u}{\partial x}&=&\frac{\partial v}{\partial y}\\ \frac{\partial u}{\partial y}&=&-\frac{\partial v}{\partial x} \end{eqnarray*}$

　したがって、経路積分内に特異点がないため、コーシーの積分定理より「左辺の周回積分は０」である。あとは右辺の３つの積分経路がどうなるかそれぞれ見ていく。

2. それぞれの複素積分

2.1 C1上の複素積分

　 $C_1$ 上では $x=z$ である。したがって、 $R\rightarrow\infty$ の極限で、

$\begin{eqnarray*} \lim_{R\rightarrow \infty} \int_{C_1} e^{-z^2} \,dz = \int_{0}^{\infty} e^{-x^2}\, dx \end{eqnarray*}$

　右辺の実積分を求める。そのためには右辺の積分を極座標で表して、積分の2乗の値を計算するのがよい。

$\begin{eqnarray*} x &=& p\,{\rm cos}\phi \\ y &=& p\,{\rm sin}\phi\\ (0\leq p \leq \infty, && 0\leq \theta \leq {\frac{\pi}{2}) \end{eqnarray*}$

と極座標を用いて、 $x^2+y^2=p^2$ を利用する。また、この極座標変換におけるヤコビアンは $r$ であるため、 $dxdy=rdrd\theta$ である。

$\begin{eqnarray*} \left(\int_{0}^{\infty} e^{-x^2} \,dx\right)^2 &=&\left(\int_{0}^{\infty} e^{-x^2} \,dx\right) \left(\int_{0}^{\infty} e^{-y^2} \,dx\right)\\ \\ &=&\int_0^{\infty}\int_0^{\infty} e^{-(x^2+y^2)} \, dx \, dy \\ \\ &=&\int_{0}^{\frac{\pi}{2}} \int_{0}^{\infty} e^{-p^2} \cdot p\,dr\,d\theta \\ \\ &=&\int_{0}^{\frac{\pi}{2}} \,d\theta \int_{0}^{\infty} pe^{-p^2}\,dr\\ \\ &=&\frac{\pi}{2} \left[ -\frac{1}{2}\,e^{-p^2} \right]_{0}^{\infty}\\ \\ &=&\frac{\pi}{4} \end{eqnarray*}$

　求めたい積分の2乗の値がわかった。これより、 $e^{-x^2} > 0$ に注意して正符号のものをとったものが答えになる。

$\begin{eqnarray*} \lim_{R\rightarrow \infty} \int_{C_1} e^{-z^2} \,dz &=& \int_{0}^{\infty} e^{-x^2}\, dx \\ &=&\frac{\sqrt{\pi}}{2} \quad \blacksquare \end{eqnarray*}$

2.2 C2上の複素積分

$\begin{eqnarray*} \lim_{R\rightarrow\infty } \int_{C_2} e^{-z^2} \, dz \end{eqnarray*}$

　結果から言うとこの積分は0に収束する。それを証明する。

【証明】 $C_2$ 上では $z=Re^{i\theta}$ である。これにより積分変数を $z$ から $\theta$ に変換する。

$\begin{eqnarray*} dz=Rie^{i\theta}\, d\theta\\ \end{eqnarray*}$

より、

$\begin{eqnarray*} &&\left|\int_{C_2} e^{-z^2} \, dz \right|\\ \\ &\leq&\int_{0}^{\frac{\pi}{4}}\left|e^{-\left(R e^{i\theta}\right)^2}\left| \left|Rie^{i\theta}\right|\, \left| d\theta \right|\\ \\ &=&\int_{0}^{\frac{\pi}{4}}R\left|e^{-R^2 e^{2i\theta}} \right|\, d\theta \\ &&( \because \; |ie^{i\theta}|=1,\, |d\theta|=d\theta\;) \\ \\ &=&\int_{0}^{\frac{\pi}{4}}R\left| e^{-R^2\left( {\rm cos}2\theta + i{\rm sin}2\theta \right) } \right| \, d\theta \\ \\ &=&R\int_{0}^{\frac{\pi}{4}}\left| e^{-R^2 {\rm cos}2\theta}\right|\left|e^{-iR^2{\rm sin}2\theta }\right| \, d\theta \\ \\ &=&\int_{0}^{\frac{\pi}{4}} Re^{-R^2 {\rm cos}2\theta} \, d\theta \\&&(\because \;\left|e^{-iR^2{\rm sin}2\theta }\right|=1,\, e^{-R^2{\rm cos}2\theta} > 0\;) \end{eqnarray*}$

　ここで、

$\begin{eqnarray*} \lim_{R\rightarrow \infty} Re^{-R^2{\rm cos}2\theta} \rightarrow 0 \;(0\leq \theta \leq \frac{\pi}{4}) \end{eqnarray*}$

より、

$\begin{eqnarray*} \lim_{R\rightarrow \infty}\left|\int_{C_2} e^{-z^2} \, dz \right| \rightarrow 0 \end{eqnarray*}$

となる。したがって、

$\begin{eqnarray*} \lim_{R\rightarrow \infty} \int_{C_2} e^{-z^2} \, dz = 0 \quad \blacksquare \end{eqnarray*}$

2.3 C3上の複素積分

$C_3:\quad z=r\left({\rm cos}\left(\frac{\pi}{4}\right) +i{\rm sin}\left(\frac{\pi}{4}\right) \right)=\frac{1+i}{\sqrt{2}}r$ より、

$\begin{eqnarray*} x=r{\rm cos}\frac{\pi}{4} \\ y=r{\rm sin}\frac{\pi}{4} \end{eqnarray*}$

として、1.1の結果を用いる。まず、

$\begin{eqnarray*} -x^2+y^2&=&-r^2,\\ \\ 2xy &=&2r^2{\rm cos}\frac{\pi}{4}{\rm sin}\frac{\pi}{4} \\ &=&2r^2\,\frac{1}{\sqrt{2}}\,\frac{1}{\sqrt{2}} \\ &=& r^2 \end{eqnarray*}$

である。したがって、1.1の結果を用いて $e^{-z^2}$ を $u(x,y)+iv(x,y)$ の形で表すと、

$\begin{eqnarray*} e^{-z^2}={\rm cos}(r^2)-i{\rm sin}(r^2) \end{eqnarray*}$

$dz=\frac{1+i}{\sqrt{2}}\,dr$ より $r$ の積分範囲は $\infty$ から $0$ であることに注意して、

$\begin{eqnarray*} \int_{C_3}e^{-z^2}\, dz &=&\int_{\infty}^{0} \left( {\rm cos}(r^2)-i{\rm sin}(r^2) \right) \frac{1+i}{\sqrt{2}}\,dr\\ \\ &=&-\frac{1}{\sqrt{2}}\int_{0}^{\infty} (1+i)\left({\rm cos}(r^2)-i{\rm sin}(r^2) \right)\\ \\ &=& -\frac{1}{\sqrt{2}} \int_{0}^{\infty} \left( {\rm cos}(r^2)+{\rm sin}(r^2)\right)\, dr\\ &\,& -\frac{i}{\sqrt{2}}\int_{0}^{\infty} \left( {\rm cos}(r^2)-{\rm sin}(r^2)\right)\, dr \quad \blacksquare \end{eqnarray*}$

のように実部と虚部に分けることができる。

3. すべての積分の和=0

　1.2の結果より、３つの経路の複素積分の和は0になる。

$\begin{eqnarray*} 0&=&\frac{\sqrt{\pi}}{2} \\ &-& \frac{i}{\sqrt{2}}\int_{0}^{\infty} \left( {\rm cos}(r^2)+{\rm sin}(r^2)\right)\, dr\\ &-& \frac{i}{\sqrt{2}}\int_{0}^{\infty} \left( {\rm cos}(r^2)-{\rm sin}(r^2)\right)\, dr \end{eqnarray*}$

虚部と実部に分けて、

$\begin{eqnarray*} \frac{1}{\sqrt{2}}\int_{0}^{\infty} \left( {\rm cos}(r^2)+{\rm sin}(r^2)\right)&=&\frac{\sqrt{\pi}}{2} \\ \\ \frac{1}{\sqrt{2}}\int_{0}^{\infty} \left( {\rm cos}(r^2)-{\rm sin}(r^2)\right)\, dr&=& 0 \end{eqnarray*}$

下の式より、

$\begin{eqnarray*} \int_{0}^{\infty} {\rm cos}(r^2)\,dr =\int_{0}^{\infty} {\rm sin}(r^2)\,dr \end{eqnarray*}$

である。これを上の式に代入して、

$\begin{eqnarray*} \frac{2}{\sqrt{2}}\int_{0}^{\infty} {\rm cos}(r^2) \, dr &=&\frac{\sqrt{\pi}}{2} \\ \\ \int_{0}^{\infty} {\rm cos}(r^2) \, dr &=& \frac{1}{2}\sqrt{\frac{\pi}{2}} \quad \blacksquare \end{eqnarray*}$

となる。これが有名なフレネル積分である。

フレネル積分

$\begin{eqnarray*} \int_{0}^{\infty} {\rm cos}(r^2) \, dr = \int_{0}^{\infty} {\rm sin}(r^2) \, dr =\frac{1}{2}\sqrt{\frac{\pi}{2}}\end{eqnarray*}$

4. まとめ

　積分経路をうまくとることでフレネル積分を求められた。経路の取り方は先人たちの知恵を生かすのが良い。ここで導いたフレネル積分は、光学の分野で現れる重要な式である。

【複素積分】sin(x^2)、cos(x^2)の実積分（フレネル積分）