フレネル積分（sin x^2の積分）

更新 2023/05/29

フレネル積分

$\displaystyle\int_{-\infty}^{\infty}\sin x^2dx=\sqrt{\dfrac{\pi}{2}}$ $\displaystyle\int_{-\infty}^{\infty}\cos x^2dx=\sqrt{\dfrac{\pi}{2}}$

※被積分関数は $(\sin x)^2$ ではなく $x^2$ のサインです。

積分は必ずしも計算できるとは限らない

フレネル積分は「不定積分はできないが定積分ならできる」例です。
実際，不定積分 $\displaystyle\int\sin x^2dx$ は初等関数で表すことができません。しかし，積分区間を $-\infty$ から $\infty$ にすれば定積分の値は計算できます。

フレネル積分の証明

証明の道具は，

複素関数論（留数定理）
→留数定理
オイラーの公式
→オイラーの公式と複素指数関数
ガウス積分
→ガウス積分の公式の2通りの証明

です。残念ながら高校数学の範囲で理解するのは難しいです。

証明

下図のように経路 $C=C_1+C_2+C_3$ を定める。

pic4-1

$C$ が囲む領域で $e^{iz^2}$ は正則なので $\oint_{C_1} e^{iz^2} dz +\oint_{C_2} e^{iz^2} dz +\oint_{C_3} e^{iz^2} dz = 0$ である。 $R\to\infty$ の極限で3つの項をそれぞれ計算していく。

$C_1$ ： $0$ と $R$ を結ぶ線分 $\lim_{ R \to \infty} \int_{C_1} e^{iz^2} dz = \int_0^{\infty} e^{ix^2} dx$ これはオイラーの公式より， $\displaystyle\int_0^{\infty}\cos x^2dx+i\displaystyle\int_0^{\infty}\sin x^2dx$ となりフレネル積分が登場した。
$C_2 = \{ z \mid |z| = R , 0 < \arg z < \frac{\pi}{4} \}$
これは $R\to\infty$ で $0$ に収束する： $\begin{aligned} &\lim_{R \to \infty} \left| \int_{C_2} e^{iz^2} dz \right| \\&= \lim_{R \to \infty} \left| \int_{0}^{\frac{\pi}{4}} e^{i R^2 e^{2i\theta}} R i e^{i\theta} d\theta \right|\\ &= \lim_{R \to \infty} \left| \int_{0}^{\frac{\pi}{4}} e^{i R^2 (\cos 2\theta + i \sin 2\theta)} R i e^{i\theta} d\theta \right|\\ &\leqq \lim_{R \to \infty} \int_{0}^{\frac{\pi}{4}} \left| e^{i R^2 (\cos 2\theta + i \sin 2\theta)} R i e^{i\theta} \right|d\theta\\ &= \lim_{R \to \infty} \int_0^{\frac{\pi}{4}} Re^{- R^2 \sin 2\theta} d\theta\\ &= 0 \end{aligned}$
$C_3$ ： $\left(\dfrac{1}{\sqrt{2}} + \dfrac{i}{\sqrt{2}}\right)R$ と $0$ を結ぶ線分 $\begin{aligned} &\lim_{R \to \infty} \int_{C_3} e^{iz^2} \; dz \\&= \lim_{R \to \infty} \int_{R}^0 e^{ix^2 (\frac{1}{\sqrt{2}} + \frac{i}{\sqrt{2}} )^2} \left( \dfrac{1}{\sqrt{2}} + \dfrac{i}{\sqrt{2}} \right) dx \\ &= \left( \dfrac{1}{\sqrt{2}} + \dfrac{i}{\sqrt{2}} \right) \int_{\infty}^0 e^{-x^2} x\\ &= -\left( \dfrac{1}{\sqrt{2}} + \dfrac{i}{\sqrt{2}} \right) \dfrac{\sqrt{\pi}}{2} \end{aligned}$

以上より $\displaystyle\int_0^{\infty}\cos x^2dx+i\displaystyle\int_0^{\infty}\sin x^2dx\\ =\left( \dfrac{1}{\sqrt{2}} + \dfrac{i}{\sqrt{2}} \right) \dfrac{\sqrt{\pi}}{2}$

$\sin x^2$ と $\cos x^2$ は偶関数であることに注意して，実部と虚部をそれぞれ比較すると $\displaystyle\int_{-\infty}^{\infty}\sin x^2dx=\displaystyle\int_{-\infty}^{\infty}\cos x^2dx=\sqrt{\dfrac{\pi}{2}}$

参考：留数定理を用いた三角関数の積分

フレネル積分の応用

より一般に，
$X(t)=\displaystyle\int_{0}^{t}\sin k^2dk$ $Y(t)=\displaystyle\int_{0}^{t}\cos k^2dk$ をフレネル積分ということもあります。この式で $t=\infty$ とすると冒頭の式より，
$X(\infty)=Y(\infty)=\dfrac{1}{2}\sqrt{\dfrac{\pi}{2}}$ となることが分かります。
こちらの一般化されたフレネル積分は，光学でも登場する積分らしいです。つまり，「単に数学的に綺麗だから考えてみた」よりも重要な意味を持つ積分と言えます。
また，フレネル積分を用いて有名な曲線が定義されます。具体的には，媒介変数 $t$ を用いて $x=X(t), y=Y(t)$ と表される曲線を考えます。この曲線はクロソイド曲線（またはオイラーの螺旋）と呼ばれる有名な曲線です。ハンドルを等速で回転させ続けたときに車が通る軌道です。→クロソイド曲線の性質とその証明

関連する積分

2乗に係数がつく積分a>0a>0a>0 に対して，フレネル積分において t2=ax2t^2=ax^2t2=ax2 と置換することで以下を得ます：
∫−∞∞sin⁡(ax2)dx=π2a\displaystyle\int_{-\infty}^{\infty}\sin (ax^2)dx=\sqrt{\dfrac{\pi}{2a}}∫−∞∞​sin(ax2)dx=2aπ​​
∫−∞∞cos⁡(ax2)dx=π2a\displaystyle\int_{-\infty}^{\infty}\cos (ax^2)dx=\sqrt{\dfrac{\pi}{2a}}∫−∞∞​cos(ax2)dx=2aπ​​
2乗がr乗になった積分111 より大きい任意の実数 rrr に対して，
∫0∞sin⁡(xr)dx=Γ(1+1r)sin⁡π2r\displaystyle\int_{0}^{\infty}\sin (x^r)dx=\Gamma\left(1+\dfrac{1}{r}\right)\sin\dfrac{\pi}{2r}∫0∞​sin(xr)dx=Γ(1+r1​)sin2rπ​
∫0∞cos⁡(xr)dx=Γ(1+1r)cos⁡π2r\displaystyle\int_{0}^{\infty}\cos (x^r)dx=\Gamma\left(1+\dfrac{1}{r}\right)\cos\dfrac{\pi}{2r}∫0∞​cos(xr)dx=Γ(1+r1​)cos2rπ​
が成立します。Γ(32)=π2\Gamma\left(\dfrac{3}{2}\right )=\dfrac{\sqrt{\pi}}{2}Γ(23​)=2π​​ であり（→ガンマ関数（階乗の一般化）の定義と性質），この結果はフレネル積分（r=2r=2r=2 の場合）の一般化になっています。
フレネル積分の証明では中心角 π4\dfrac{\pi}{4}4π​ の扇形を考えましたが，中心角 π2r\dfrac{\pi}{2r}2rπ​ の扇形を考えることでこの式を導出できます。
ガウス積分フレネル積分の式に似ている定積分として，ガウス積分：
∫−∞∞e−ax2dx=πa\displaystyle\int_{-\infty}^{\infty}e^{-ax^2}dx=\sqrt{\dfrac{\pi}{a}}∫−∞∞​e−ax2dx=aπ​​
が挙げられます。フレネル積分の証明でも登場しました。
ガウス積分の公式を用いてフレネル積分の公式を形式的に導出してみます。
フレネル積分の（厳密ではない）導出
ガウス積分の式で「形式的に
a=−ia=-ia=−i
 としてみる」と，∫−∞∞eix2dx=π−i\displaystyle\int_{-\infty}^{\infty}e^{ix^2}dx=\sqrt{\dfrac{\pi}{-i}}∫−∞∞​eix2dx=−iπ​​
オイラーの公式と複素指数関数を用いて上式の左辺を変形するとフレネル積分が出現する！：
∫−∞∞eix2dx=∫−∞∞cos⁡x2dx+i∫−∞∞sin⁡x2dx\displaystyle\int_{-\infty}^{\infty}e^{ix^2}dx=\displaystyle\int_{-\infty}^{\infty}\cos x^2dx+i\int_{-\infty}^{\infty}\sin x^2dx∫−∞∞​eix2dx=∫−∞∞​cosx2dx+i∫−∞∞​sinx2dx
よって，あとは
π−i=πi\sqrt{\dfrac{\pi}{-i}}=\sqrt{\pi i}−iπ​​=πi​
 を計算すればよい。複素数平面または代数計算により
πi=±π2(1+i)\sqrt{\pi i}=\pm\sqrt{\dfrac{\pi}{2}}(1+i)πi​=±2π​​(1+i)
ここで「プラスの方を採用」して実部と虚部をそれぞれ比較するとフレネル積分の公式となっている。
※上記は「形式的に
a=−ia=-ia=−i
としてみる」「プラスの方を採用」という部分が厳密な議論ではありません。しかし，ガウス積分とフレネル積分の間におもしろい関係があることが分かりました。
実数の積分を求めたいだけなのに，複素数の話を持ち出すことでうまくいってしまう，という複素数の偉大さを示す例です。
Tag:積分公式一覧

この記事の監修者

マスオ

東京大学大学院情報理工学系研究科修了／2014年にWebサイト『高校数学の美しい物語』を立ち上げ／著書累計 50,000部突破／「わかりやすいこと」と「ごまかさないこと」の両立を意識している。 →著者情報・書籍一覧を見る