フレネル積分

フレネル積分とは

フレネル積分（英: Fresnel integrals）は、オーギュスタン・ジャン・フレネルに由来する2つの超越関数、すなわちS(x)とC(x)を指します。この関数たちは光学の分野で特に重要であり、近接場のフレネル回折現象を解析する際に利用されます。

定義

フレネル積分は次のように定義されます。

• - S(x):

$$
S(x) = \int_0^x \sin(t^2) dt
$$

• - C(x):

$$
C(x) = \int_0^x \cos(t^2) dt
$$

これらの式は、S(x)とC(x)がフレネル回折の計算においてどのように使用されるのかを示しています。特に、S(x)とC(x)を用いて描かれるクロソイド曲線は、フレネル積分の特徴的な図形です。これはこの2つの関数のパラメトリック方程式として描かれる曲線です。

性質

フレネル積分は全てのxについて収束を示す冪級数で表現でき、具体的な展開式は以下の通りです。

• - S(x):

$$
S(x) = \sum_{n=0}^{\infty} (-1)^n \frac{x^{4n + 3}}{(4n + 3)(2n + 1)!}
$$

• - C(x):

$$
C(x) = \sum_{n=0}^{\infty} (-1)^n \frac{x^{4n + 1}}{(4n + 1)(2n)!}
$$

このように、S(x)とC(x)は好まれる正規化された形式でも表現されることがあり、その場合、式の定義が変わることがあります。具体的には、t^2の代わりにπ/2 * t^2が使われ、これを正規化されたフレネル積分と呼びます。

オイラーの螺旋

オイラーの螺旋は、コルニュ螺旋とも呼ばれ、S(t)とC(t)をパラメトリックに描いた曲線です。この曲線は、接ベクトルの長さが常に1になるという特徴を持ち、したがって無限長さを持つことになります。確かにこの特性については、高速道路や鉄道における緩和曲線としての応用があります。

フレネル積分の解析

フレネル積分は複素数値の解析関数としても扱われ、誤差関数を利用して次のような形で表されます。

• - S(x):

$$
S(x) = \frac{\sqrt{\pi}}{4}\left(\sqrt{i} \operatorname{erf}(\sqrt{i} x) + \sqrt{-i} \operatorname{erf}(\sqrt{-i} x)\right)
$$

• - C(x):

$$
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)の極限値は、様々な評価法で求めることができ、特に複素平面を用いて積分を評価する手法が有効です。この過程を通じて、フレネル積分の挙動をより深く理解することができます。

参考文献

本記事で紹介した内容は、次のような教材や論文に基づいています。

• - Abramowitz and Stegun, Mathematical Functions
• - Weisstein, Eric W., “Fresnel Integrals”
• - R. Nave, The Cornu Spiral, Hyperphysics

フレネル積分はその独特な性質から、光学や工学の分野において非常に重要な役割を果たしています。そして、その数学的な探求は今後も続けられるでしょう。

もう一度検索