特殊関数 Menu

カタストロフィー理論の特殊関数

Pearcey 積分関数

 2変数x, yの関数としての積分
  • Pearcey積分関数の定義
は、1946年に T. Pearcey によって初めて考察されたので、現在は、Pearcey 積分関数 (または、Pearcey 積分) と呼ばれる。ここに、関数Ψについては後述の 「余次元4の尖点正準積分関数」 を参照。
 Pearcey 積分関数をx, yの冪級数に展開すると
  • Pearcey積分関数の冪級数展開
となる。また、x=0の場合は
  • Pearcey積分関数の特別な場合
のように Bessel 関数に還元される。
 Pearcey 積分関数はxに関して、
Pearcey積分関数の対称性
なる対称性を有する。
 Pearcey 積分関数は、カタストロフィー理論における尖点 (Cusp catastrophe) と呼ばれる分岐現象に関連する※1。これは、後述の 「余次元Kの尖点正準積分関数」 において、
Φ2(t; X)
となる場合から得られる、パラメータ表示の代数曲線
  • {x, y}={8t^3, -6t^2
  • Cusp catastrophe の図

の形状で説明される。またこの場合は、tを座標に含めて代数曲面にした
t^4+yt^2+xt=0
  • Cusp catastrophe の図(3次元)

を用いて、このカタストロフィーが説明されることもある※2。
 カタストロフィー理論自体は、微分方程式や差分方程式などによって記述される力学系が、パラメーターの連続変化に応じて定性的に異なる複数の解空間へ分岐する現象を説明するために、R. F. Thom によって導入された。Thom は、このような分岐を生ずる曲面構造をカタストロフィーと呼び、(「初等カタストロフィー」 の場合は) 7種類の分岐点形状 「折り目,尖点,燕尾点,蝶点,楕円的臍点,双曲的臍点,放物的臍点」 に分類できることを示した。

【註記】
※1 取りあえず、この頁で扱う関数を 「カタストロフィー理論の~」 としたが、実際にカタストロフィー理論でどのように用いられるかは、ここでは触れない (実のところ、カタストロフィー理論が難解なため詳細は分からない)。
 内容は、「NIST Handbook of Mathematical Functions」 を参考にしているので、正確な意味はそちらを参照願います。また、Pearcey 積分関数を別にすれば、ここでの各関数の英語名は恐らく通称ではなく (「NIST」 にも、標準的な命名法は無い旨の記述がある)、日本語名もまだ存在しないため、さらにこれを意訳したものである。

※2 この場合視覚的には、構造安定性が 「破綻」 する分岐点が、原点になることが分かる。

Pearcey積分関数の記号

 実1変数の Pearcey 積分関数Pearcey積分関数の記号のグラフ。
  • Pearcey integral function

 実2変数の Pearcey 積分関数Pearcey積分関数の記号のグラフ。
  • Pearcey integral function
  • Pearcey integral function
  • Pearcey integral function
  • Pearcey integral function
  • Pearcey integral function
  • Pearcey integral function
  • Pearcey integral function

燕尾点正準積分関数

 3変数x, y, zの関数としての積分
  • 燕尾点正準積分関数の定義
を、燕尾点正準積分関数 (Swallowteil canonical integral function) という。(関数Ψについては「余次元4の尖点正準積分関数」を参照。)
 この関数は、x, y, zの冪級数に展開すると
  • 燕尾点正準積分関数の冪級数展開
となる。
 燕尾点正準積分関数はyに関して、
燕尾点正準積分関数の対称性
なる対称性を有する。
 燕尾点正準積分関数は、カタストロフィー理論における燕尾点 (Swallowteil catastrophe) と呼ばれる分岐現象に関連する。これは、後述の 「余次元Kの尖点正準積分関数」 において、
Φ3(t; X)
となる場合から得られる、パラメータ表示の代数曲面
  • {x, y, z}={3t^2(z+5t^2), -t(3z+10t^2), z}
  • Swallowteil catastrophe の図

の形状で説明される。

燕尾点正準積分関数の記号

 実1変数の燕尾点正準積分関数のグラフ。順に、①燕尾点正準積分関数の記号, ②燕尾点正準積分関数の記号, ③燕尾点正準積分関数の記号

 実2変数の燕尾点正準積分関数燕尾点正準積分関数の記号のグラフ。
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function

 実2変数の燕尾点正準積分関数燕尾点正準積分関数の記号のグラフ。
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function

 実2変数の燕尾点正準積分関数燕尾点正準積分関数の記号のグラフ。
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function

 実2変数の燕尾点正準積分関数燕尾点正準積分関数の記号のグラフ。
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function
  • Swallowteil canonical integral function

 アニメーション(8.23MB)
 実2変数の燕尾点正準積分関数燕尾点正準積分関数の記号のグラフ。z=0~10 (+0.2)。
  • Swallowteil canonical integral(Animation)

楕円的臍点正準積分関数

 3変数X={x, y, z}の関数としての積分
  • 楕円的臍点正準積分関数の定義
を、楕円的臍点正準積分関数 (Elliptic umbilic canonical integral function) という。
 この関数を、x, y, zの冪およびx, yAiry 関数項の級数に展開すると、
  • 楕円的臍点正準積分関数の冪級数展開
となる。
 楕円的臍点正準積分関数はx, y平面において、原点中心の120°回転に関して不変である。また、
楕円的臍点正準積分関数の対称性
なる対称性も有する。
 楕円的臍点正準積分関数は、カタストロフィー理論において楕円的臍点 (Elliptic umbilic catastrophe) と呼ばれる分岐現象に関連する。その形状を説明する3次元代数曲面は、代数方程式
  • Elliptic umbilic catastropheを生じるΦE(s, t; X)の式
によって得られるパラメータ表示式
  • Elliptic umbilic catastropheのパラメータ表示式
  • Elliptic umbilic catastrophe の図

で表わされる。

楕円的臍点正準積分関数の記号

 実1変数の楕円的臍点正準積分関数のグラフ。順に、①楕円的臍点正準積分関数の記号, ②楕円的臍点正準積分関数の記号

 実2変数の楕円的臍点正準積分関数楕円的臍点正準積分関数の記号のグラフ。
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function

 実2変数の楕円的臍点正準積分関数楕円的臍点正準積分関数の記号のグラフ。
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function

 実2変数の楕円的臍点正準積分関数楕円的臍点正準積分関数の記号のグラフ。
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function

 実2変数の楕円的臍点正準積分関数楕円的臍点正準積分関数の記号のグラフ。
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function

 実2変数の楕円的臍点正準積分関数楕円的臍点正準積分関数の記号のグラフ。
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function
  • Elliptic umbilic canonical integral function

双曲的臍点正準積分関数

 3変数X={x, y, z}の関数としての積分
  • 双曲的臍点正準積分関数の定義
を、双曲的臍点正準積分関数 (Hyperbolic umbilic canonical integral function) という。
 この関数を、x, y, zの冪級数に展開すると、
  • 双曲的臍点正準積分関数の冪級数展開
となる。
 双曲的臍点正準積分関数はx, y平面において、直線y=x (x, yの交換) に関して不変である。また、
双曲的臍点正準積分関数の対称性
なる対称性も有する。また、z=0の場合はx, yの Airy 関数に還元される。
 双曲的臍点正準積分関数は、カタストロフィー理論において双曲的臍点 (Hyperbolic umbilic catastrophe) と呼ばれる分岐現象に関連する。その形状を説明する3次元代数曲面は、代数方程式
  • Hyperbolic umbilic catastropheを生じるΦH(s, t; X)の式
によって得られるパラメータ表示式
  • Hyperbolic umbilic catastropheのパラメータ表示式
  • Hyperbolic umbilic catastrophe の図

で表わされる。

双曲的臍点正準積分関数の記号

 実1変数の双曲的臍点正準積分関数のグラフ。順に、①双曲的臍点正準積分関数の記号, ②双曲的臍点正準積分関数の記号

 実2変数の双曲的臍点正準積分関数双曲的臍点正準積分関数の記号のグラフ。
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function

 実2変数の双曲的臍点正準積分関数双曲的臍点正準積分関数の記号のグラフ。
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function

 実2変数の双曲的臍点正準積分関数双曲的臍点正準積分関数の記号のグラフ。
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function

 実2変数の双曲的臍点正準積分関数双曲的臍点正準積分関数の記号のグラフ。
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function

 実2変数の双曲的臍点正準積分関数双曲的臍点正準積分関数の記号のグラフ。
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function
  • Hyperbolic umbilic canonical integral function

余次元4の尖点正準積分関数

 余次元 (Codimension ※1) をKとするとき、K個の変数X={x1, x2, ... , xk}の関数としての積分
  • 余次元Kの尖点正準積分関数の定義
を、余次元Kの尖点正準積分関数という。
 この関数は、K変数の冪級数に展開すると
  • 余次元Kの尖点正準積分関数の冪級数展開
となる。
 余次元Kの尖点正準積分関数は、カタストロフィー理論において 「余次元Kの尖点」 と呼ばれる分岐現象に関連する。その形状を説明するK次元代数曲面は、代数方程式
  • 余次元Kの尖点カタストロフィーを生じるΦK(t; X)の式
によって得られるパラメータ表示式
  • 余次元Kの尖点カタストロフィーのパラメータ表示式
で表わされる。
 特に、K=2の場合は Pearcey 積分関数、K=3の場合は燕尾点正準積分関数になる。ここではK=4、すなわち
  • Φ4(t; X)
である場合 (Butterfly catastrophe と呼ばれる) を扱う。このとき、先のパラメータ表示式は具体的に
  • 余次元4の尖点カタストロフィーのパラメータ表示式
(①w=3,②w=-3,③w=-10~10(+2.5)と置いて3次元内の曲面にした場合。)
となる。

【註記】
※1 「NIST Handbook of Mathematical Functions」 にある用語を使用。 同著の Chapter36 「Integrals with Coalescing Saddles」 を参照。

余次元Kの尖点正準積分関数の記号

 実2変数の余次元4尖点正準積分関数余次元Kの尖点正準積分関数の記号のグラフ。
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function

 実2変数の余次元4尖点正準積分関数余次元Kの尖点正準積分関数の記号のグラフ。
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function

 実2変数の余次元4尖点正準積分関数余次元Kの尖点正準積分関数の記号のグラフ。
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function

 実2変数の余次元4尖点正準積分関数余次元Kの尖点正準積分関数の記号のグラフ。
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function

 実2変数の余次元4尖点正準積分関数余次元Kの尖点正準積分関数の記号のグラフ。
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function

 実2変数の余次元4尖点正準積分関数余次元Kの尖点正準積分関数の記号のグラフ。
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function
  • Butterfly canonical integral function

Kelvin's ship-wave pattern

 充分な水深のある水面上を一定速度Vで直線航行する船舶は、その後方に歪三角形状の表面波を生ずる。この波の模様は、Kelvin's ship - wave pattern と呼ばれ、その名称は、19世紀末に水面の振動現象を研究した Lord. Kelvin に因む。
 極座標(φ, r)において、船舶 (に相当する擾乱点) の位置を常に原点r=0に固定し、船舶の航行と逆方向に始動径φ=0があるようにすると、任意の位置における Kelvin's ship - wave pattern の波の高さz(φ, ρ)は、次式で与えられる。
  • Kelvin's ship wave patternの積分表示式
 この積分は変数を実数に限れば、中点法等による数値計算が可能である※1。なお、変換極座標から直交座標への変換式によって直交座標(x, y)に移行してもよい。(以下のグラフもこれを採用している。)
 Kelvin's ship - wave pattern の積分は、余次元Kの尖点正準積分関数をさらに一般化した
一般化された尖点正準積分関数
に含まれ、その実部とみなすことができる。
 Kelvin's ship - wave pattern は船舶と水面との相互作用以外にも、例えば、対流圏において山頂等が擾乱点となる場合に形成される雲の模様にも現れることで知られている。(そのような事例は、Google等で画像検索すると見ることができる。)

【註記】
※1 : この積分は、被積分関数が積分端点に近付くほど激しく振動する (真性特異点を持つ) ので、若干計算が難しい。ここでの計算は、改良された中点法に基づいて Kay Herbert が作成した Mathematica コード (http://demonstrations.wolfram.com/KelvinShipWavePattern/) を用いた。

Kelvin's ship wave patternの記号

 Kelvin's ship - wave pattern のグラフ。2番目は 「NIST Handbook of …」 p.791にあるグラフとほとんど同等である。
  • Kelvin's ship wave pattern のグラフ
  • Kelvin's ship wave pattern のグラフ

 Kelvin's ship - wave pattern を用いて、夕刻 (または夜明?) の海上の風景を構成する。
  • Kelvin's ship wave patternで作成した海上の風景

特殊関数 Menu