エアリー関数

**エアリー関数**（エアリーかんすう、）あるいは**第一種エアリー関数** (*Airy function of the first kind*) ***' は、[[イギリス]]の[[天文学者]][[ジョージ・ビドル・エアリー]] (1801–92) に因んで名づけられた[[特殊関数]]である。この関数  および'''第二種エアリー関数'''とも呼ばれる関連の関数（A を次の文字 B に変えて、故に冗談めかしてベアリー ('''B'''iry) 関数とも）***' は、**エアリー方程式**あるいは**ストークス方程式**と呼ばれる微分方程式
: \frac{d^2y}{dx^2} - xy = 0
の線型独立な解としても言及される。これは転回点（: 方程式の解が振動型から指数型へ変わる特徴点）を持つ最も単純な二階線型微分方程式である。

エアリー関数は三角ポテンシャル井戸に留め置かれた粒子に対する、あるいは一次元定力場における粒子に対するシュレーディンガー方程式の解である。同じ理由により、ポテンシャルが位置の線型関数で局所近似されるときの、転回点の周りでのWKB近似として、エアリー関数は一様半古典近似を与えるのに利用できる。三角ポテンシャル井戸解は、多くの半導体デバイスを理解することに直接的に関係がある。

エアリー関数はまた、虹のような。歴史的にはこれがエアリーがこの特殊関数を導入するに至った数学的問題であった。またエアリー関数はや天文学においても重要である。つまり、エアリー関数は（顕微鏡や望遠鏡の解像限界よりも小さな）によって与えられる回折や干渉のパターンを記述する。

## 定義

実変数  に対する第一種エアリー関数は広義リーマン積分
:\begin{align} \operatorname{Ai}(x)
 & = \frac{1}{\pi} \int_0^\infty \cos \left( \frac{t^3}{3} + xt \right) ~ dt\\
 &\equiv \frac{1}{\pi} \lim_{b \to \infty} \int_0^b \cos \left( \frac{t^3}{3} + xt \right) ~ dt
\end{align}
として定義することができる。これが収束することは、激しく振動するグラフの正の成分と負の成分とが互いに打ち消し合う（これは部分積分で確認できる）ことによるものである。

関数  はエアリー方程式 
: y* - xy = 0</math>
を満足する。この方程式は二つの[[線型独立]]な解を持つ。スカラー倍の[[違いを除いて]]、 は  で  なる条件を満たす唯一の解である。もう一つの解として第二種エアリー関数  を取るのが標準的である。第二種エアリー関数は第一種エアリー関数  と同じ振幅を持ち  で位相が  だけ異なる解
: <math>\operatorname{Bi}(x) = \frac{1}{\pi} \int_0^\infty \left[ \exp \left( -\frac{t^3}{3} + xt \right) + \sin \left( \frac{t^3}{3} + xt \right) \right] dt</math>
として定義することができる。

== 性質 ==
 およびそれらの導関数の  における値は
: <math>\begin{align}
 \operatorname{Ai}(0) &= \frac{1}{3^{2/3}\Gamma(2/3)}, &  \operatorname{Ai}'(0) &= -\frac{1}{3^{1/3}\Gamma(1/3)}, \\
 \operatorname{Bi}(0) &= \frac{1}{3^{1/6} \Gamma(2/3)}, & \operatorname{Bi}'(0) &= \frac{3^{1/6}}{\Gamma(1/3)}
\end{align}</math>
で与えられる。ここで  は[[ガンマ関数]]である。これにより  および  の[[ロンスキアン]]が  となることが従う。

 が正のとき、 は正値[[凸関数]]かつ指数関数的に零に減少し、 は正値凸関数かつ零の周辺で限りなく小さい振幅を以って無限回振動する。 が負のとき、 はともに零の周辺で限りなく小さくなる振幅を以って無限回振動する。これはエアリー関数に対する漸近公式（[[#漸近公式|後述]]）によって保証される。

任意の変数に対するエアリー関数同士は、広義リーマン積分
: <math> \int_{-\infty}^\infty \operatorname{Ai}(t+x) \operatorname{Ai}(t+y)\,\mathit{dt} = \delta(x-y)</math>
が成り立つという意味において互いに直交する。

== 漸近公式 ==


[[#複素変数|後述]]のように、エアリー関数は複素数平面上へ延長することができて[[整関数]]を与える。そのエアリー関数の[[偏角 (複素数)|偏角]]  が一定値を保ったまま  を[[無限|無限大]]へ飛ばすときの漸近挙動は  に依存して決まる（これをと言う）。 のとき、 に対して以下の[[漸近公式]]
: <math>\operatorname{Ai}(z)\sim \dfrac{e^{-\frac{2}{3}z^{\frac{3}{2}}}}{2\sqrt\pi\,z^{\frac{1}{4}}} \left[ \sum_{n=0}^{\infty} \dfrac{(-1)^n \Gamma(n+\frac{5}{6})\Gamma(n+\frac{1}{6})\left(\frac{3}{4}\right)^n}{2\pi n! z^{3n/2}} \right]</math>
を得る。 に対しても同様の漸近公式
: <math>\operatorname{Bi}(z)\sim \frac{e^{\frac{2}{3}z^{\frac{3}{2}}}}{\sqrt\pi\,z^{\frac{1}{4}}}\left[ \sum_{n=0}^{\infty} \dfrac{ \Gamma(n+\frac{5}{6})\Gamma(n+\frac{1}{6})\left(\frac{3}{4}\right)^n}{2\pi n! z^{3n/2}} \right]</math>
存在するが  でしか適用できない。

 のときのより正確な  および  に対する公式、あるいは同じことだが  だが零でないときの  および  の漸近近似が 
:<math>\begin{align}
 \mathrm{Ai}(-z) \sim&{} \frac{\sin \left(\frac23z^{\frac{3}{2}}+\frac{\pi}{4} \right)}{\sqrt\pi\,z^{\frac{1}{4}}} \left[ \sum_{n=0}^{\infty} \dfrac{(-1)^n \Gamma(2n+\frac{5}{6})\Gamma(2n+\frac{1}{6})\left(\frac{3}{4}\right)^{2n}}{2\pi (2n)! z^{3n}} \right] \\[6pt]
 &{}-\frac{\cos \left(\frac23z^{\frac{3}{2}}+\frac{\pi}{4} \right)}{\sqrt\pi\,z^{\frac{1}{4}}} \left[ \sum_{n=0}^{\infty} \dfrac{(-1)^n \Gamma(2n+\frac{11}{6})\Gamma(2n+\frac{7}{6})\left(\frac{3}{4}\right)^{2n+1}}{2\pi (2n+1)! z^{3n+3/2}} \right] \\[6pt]
 \mathrm{Bi}(-z) \sim&{} \frac{\cos \left(\frac23z^{\frac{3}{2}}+\frac{\pi}{4} \right)}{\sqrt\pi\,z^{\frac{1}{4}}} \left[ \sum_{n=0}^{\infty} \dfrac{(-1)^n \Gamma(2n+\frac{5}{6})\Gamma(2n+\frac{1}{6})\left(\frac{3}{4}\right)^{2n}}{2\pi (2n)! z^{3n}} \right] \\[6pt]
 &{}+ \frac{\sin \left(\frac23z^{\frac{3}{2}}+\frac{\pi}{4} \right)}{\sqrt\pi\,z^{\frac{1}{4}}} \left[ \sum_{n=0}^{\infty} \dfrac{(-1)^n \Gamma(2n+\frac{11}{6})\Gamma(2n+\frac{7}{6})\left(\frac{3}{4}\right)^{2n+1}}{2\pi (2n+1)! z^{3n+3/2}} \right]
\end{align}</math>
で与えられる。

 のとき、これらは良い近似であるが漸近的でない（ または  と上記の近似式との比は、現れる正弦および余弦の値が零となるところで無限大に発散することによる）。これらの極限に対する漸近展開も可能である。それらについては  および  にある。

== 複素エアリー関数  ==
エアリー関数の定義を
: <math>\operatorname{Ai}(z) = \frac{1}{2\pi i} \int_{C} \exp \left( \frac{t^3}{3} - zt \right) dt</math>
と置くことにより複素数平面まで拡張することができる。ただし、積分路  は偏角  の無限遠点  から偏角  の無限遠点  までとる。あるいは、微分方程式  によって  および  を複素数平面上の[[整関数]]に拡張することもできる。

 に対する漸近公式は、 の主値をとり、 が負の実軸の近くを除いて有界ならば、複素数平面上でもやはり有効である。 に対する漸近公式が有効なのは、 が適当な  に対する扇形  にあるときである。また、 に対する公式は  が扇形  にあるとき有効である。

エアリー関数の漸近的挙動から分かることは、 ともに負の実軸上に無限個の零点を持つことである。関数  は複素数平面上に他の零点を持たないが、 は扇形  にも無限個の零点を持つ。

=== グラフ ===





== 他の特殊関数との関係 ==
正の引数に対して、エアリー関数は[[ベッセル関数#変形ベッセル関数|変形ベッセル関数]]と
: <math>\begin{align}
 \operatorname{Ai}(x) & = \frac{1}{\pi}\sqrt{\frac{x}{3}} \, K_{1/3}(2x^{3/2}/3), \\[8pt]
 \operatorname{Bi}(x) & = \sqrt{\frac{x}{3}}\left(I_{1/3}(2x^{3/2}/3) + I_{-1/3}(2x^{3/2}/3)\right)
\end{align}</math>
なる関係を持つ。ここで  は  の解である。エアリー関数の一階微分は
: <math>\operatorname{Ai}'(x) = - \frac{x}{\pi\sqrt{3}} \, K_{2/3}(2x^{3/2}/3)</math>
であり、関数  および  は急速に収束する積分によって表すことができる（[[ベッセル関数|変形ベッセル関数]]の項も参照）。

負の引数に対して、エアリー関数は[[ベッセル関数]]と
:<math>\begin{align}
 \operatorname{Ai}(-x) & = \sqrt{\frac{x}{9}} \left(J_{1/3}(2x^{3/2}/3) + J_{-1/3}(2x^{3/2}/3)\right), \\[8pt]
 \operatorname{Bi}(-x) & = \sqrt{\frac{x}{3}} \left(J_{-1/3}(2x^{3/2}/3) - J_{1/3}(2x^{3/2}/3)\right)
\end{align}</math>
なる関係を持つ。ここに  は  の解。

（ の解）もまたエアリー関数を用いて
:<math>\begin{align}
 \operatorname{Gi}(x) & = \operatorname{Bi}(x) \int_x^\infty \operatorname{Ai}(t) \mathit{dt} + \operatorname{Ai}(x) \int_0^x \operatorname{Bi}(t) \mathit{dt}, \\[8pt]
 \operatorname{Hi}(x) & = \operatorname{Bi}(x) \int_{-\infty}^x \operatorname{Ai}(t) \mathit{dt} - \operatorname{Ai}(x) \int_{-\infty}^x \operatorname{Bi}(t) \mathit{dt} 
\end{align}</math>
と書くこともできる。

== フーリエ変換 ==
エアリー関数  の定義から直接に、その[[フーリエ変換]]が
:<math>\mathcal{F}(\operatorname{Ai})(k) := \int_{-\infty}^{\infty} \operatorname{Ai}(x)\ e^{- 2\pi i k x}\,dx = e^{i(2\pi k)^3/3}</math>
で与えられることが示せる。

== 歴史 ==
エアリー関数の名の由来は、[[イギリス人]][[天文学者]]・[[物理学者]]の[[ジョージ・ビドル・エアリー]] (1801–1892) である。エアリーは[[光学]]の初期研究 (Airy 1838) においてこの関数に遭遇した。"" という表記は[[ハロルド・ジェフリース]]によるものである。エアリーはイギリス[[王室天文官]]を1835年から1881年まで務めた人物である。

== 関連項目 ==
* [[ウィッテン予想]]: [[マキシム・コンツェビッチ|コンツェヴィッチ]]による証明にエアリー関数の行列値への一般化が使われている。
* 

== 出典 ==



== 注釈 ==



== 参考文献 ==
* 
* 
* [[Frank William John Olver]] (1974). *Asymptotics and Special Functions,'' Chapter&nbsp;11. Academic Press, New York.
* 
* 

## 外部リンク
* 
* 
* Wolfram function pages for Ai and Bi functions. Includes formulas, function evaluator, and plotting calculator.
*