フレネル積分

S(x) と C(x)。C(x) の最大値は約 0.977451424。t² の代わりに πt²/2 を使うと、図は水平および垂直方向に縮小される（下図）

フレネル積分（フレネルせきぶん、英: Fresnel integrals）とは、オーギュスタン・ジャン・フレネルの名を冠した2つの超越関数 S(x) と C(x) であり、光学で使われている。近接場のフレネル回折現象を説明する際に現れ、以下のような積分で定義される。

$S(x)=\int _{0}^{x}\sin(t^{2})\,dt,\quad C(x)=\int _{0}^{x}\cos(t^{2})\,dt$

S(x) と C(x) をパラメトリック方程式として描画したものがクロソイド曲線である。

定義[編集]

正規化したフレネル積分 S(x) と C(x)。三角関数の引数を上図での t² ではなく、πt²/2 にしている。

フレネル積分は、全ての x について収束する次の冪級数展開式で表せる。

$S(x)=\int _{0}^{x}\sin(t^{2})\,dt=\sum _{n=0}^{\infty }(-1)^{n}{\frac {x^{4n+3}}{(4n+3)(2n+1)!}}$
$C(x)=\int _{0}^{x}\cos(t^{2})\,dt=\sum _{n=0}^{\infty }(-1)^{n}{\frac {x^{4n+1}}{(4n+1)(2n)!}}$

Abramowitz and Stegun, (eqs 7.3.1 – 7.3.2) などの書籍では、S(x) と C(x) を定義する積分の冪指数として ${\frac {\pi }{2}}t^{2}$ を使っている。同じ関数を得るには、積分式に ${\sqrt {\frac {2}{\pi }}}$ をかけ、同じ係数で引数 x を割ればよい。

オイラーの螺旋[編集]

詳細は「クロソイド曲線」を参照

オイラーの螺旋 (x, y) = (C(t), S(t))。t が正および負の無限大に近づくと、曲線は2つの穴の中心に収束していく。

オイラーの螺旋は、コルニュ螺旋またはクロソイドとも呼ばれ、S(t) と C(t) をパラメトリックにプロットした曲線である。コルニュ螺旋はマリー・アルフレッド・コルニュが回折の計算用にノモグラムとして考案したものである。

ここで、

$C'(t)^{2}+S'(t)^{2}=\sin ^{2}(t^{2})+\cos ^{2}(t^{2})=1\,$

であるから、この曲線の接ベクトルは単位長で、t は原点 (0,0) からの曲線に沿った弧長である。したがって、どちらの方向の曲線も無限の長さがある。

この曲線は、任意の点の曲率が原点からの曲線に沿った長さに比例するという特徴がある。このため、高速道路や鉄道で緩和曲線として用いられる。この曲線上で乗り物が一定速度で走行すると、角加速度が一定のレートとなる。クロソイド曲線（の一部）は例えばローラーコースターのループの形状にも使われている。

属性[編集]

C(x) と S(x) は x の奇関数である。
C と S は整関数である。
上述の冪級数展開式を使うと、フレネル積分は定義域を複素数に拡張でき、複素数値の解析関数となる。フレネル積分は誤差関数を使って以下のように表現できる。
- $S(x)={\frac {\sqrt {\pi }}{4}}\left({\sqrt {i}}\,\operatorname {erf} ({\sqrt {i}}\,x)+{\sqrt {-i}}\,\operatorname {erf} ({\sqrt {-i}}\,x)\right)$
- $C(x)={\frac {\sqrt {\pi }}{4}}\left({\sqrt {-i}}\,\operatorname {erf} ({\sqrt {i}}\,x)+{\sqrt {i}}\,\operatorname {erf} ({\sqrt {-i}}\,x)\right)$
C(x) と S(x) を定義している積分式は、特別な場合を除いては、初等関数を使って閉形式で評価することができない。x が無限大に漸近したときのこれらの関数の極限は次のようになることが知られている。
- $\int _{0}^{\infty }\cos t^{2}\,dt=\int _{0}^{\infty }\sin t^{2}\,dt={\frac {\sqrt {2\pi }}{4}}={\sqrt {\frac {\pi }{8}}}$