主題
Search

艾裡函式

DOWNLOAD Mathematica Notebook下載 Wolfram 筆記本

艾裡函式共有四種變體： Ai(z), Bi(z), Gi(z), 和 Hi(z)。 其中， Ai(z) 和 Bi(z) 是最常見的，而 Gi(z) 和 Hi(z) 則較少見。艾裡函式常出現在物理學中，尤其是在光學、量子力學、電磁學和輻射傳輸中。

Ai(z) 和 Bi(z) 是 整函式。

哈代構建了艾裡函式的一種推廣。

AiryAiBi

艾裡函式 Ai(x) 和 Bi(x) 函式在上面沿實軸繪製。

Ai(z) 和 Bi(z) 函式被定義為以下方程的兩個線性獨立解

y^('')-yz=0.
(1)

(Abramowitz 和 Stegun 1972, pp. 446-447; 如上圖所示)，寫成以下形式

y(z)=AAi(z)+BBi(z),
(2)

其中

Ai(z)=1/(3^(2/3)Gamma(2/3))_0F_1(;2/3;1/9z^3)-z/(3^(1/3)Gamma(1/3))_0F_1(;4/3;1/9z^3)
(3)
Bi(z)=1/(3^(1/6)Gamma(2/3))_0F_1(;2/3;1/9z^3)+(3^(1/6)z)/(Gamma(1/3))_0F_1(;4/3;1/9z^3),
(4)

其中 _0F_1(;a;z) 是一個合流超幾何極限函式。這些函式在 Wolfram 語言中實現為AiryAi[z] 和AiryBi[z]。它們的導數實現為AiryAiPrime[z] 和AiryBiPrime[z]。

對於特殊情況 x>0, 這些函式可以寫成

Ai(x)=1/3sqrt(x)[I_(-1/3)(2/3x^(3/2))-I_(1/3)(2/3x^(3/2))]
(5)
=1/pisqrt(x/3)K_(1/3)(2/3x^(3/2))
(6)
Bi(x)=sqrt(x/3)[I_(-1/3)(2/3x^(3/2))+I_(1/3)(2/3x^(3/2))],
(7)

其中 I(x) 是一個第一類修正貝塞爾函式，而 K(x) 是一個第二類修正貝塞爾函式。

AiryAiReImAbs
最小值 最大值
實部
虛部 Powered by webMathematica

Ai(z) 在複平面中的圖示如上所示。

AiryBiReImAbs
最小值 最大值
實部
虛部 Powered by webMathematica

類似地， Bi(z) 的圖示也顯示在上面。

艾裡 Ai(z) 函式由積分給出

Ai(z)=1/(2pi)int_(-infty)^inftye^(i(zt+t^3/3))dt
(8)

和級數

Ai(z)=1/(3^(2/3)pi)sum_(n=0)^(infty)(Gamma(1/3(n+1)))/(n!)(3^(1/3)z)^nsin[(2(n+1)pi)/3]
(9)
Bi(z)=1/(3^(1/6)pi)sum_(n=0)^(infty)(Gamma(1/3(n+1)))/(n!)(3^(1/3)z)^n|sin[(2(n+1)pi)/3]|
(10)

(Banderier 等人 2000)。

對於 z=0,

Ai(0)=1/(3^(2/3)Gamma(2/3))
(11)
Bi(0)=1/(3^(1/6)Gamma(2/3)),
(12)

其中 Gamma(z) 是伽瑪函式。類似地，

Ai^'(0)=-1/(3^(1/3)Gamma(1/3))
(13)
Bi^'(0)=(3^(1/6))/(Gamma(1/3)).
(14)

Ai(z) 的漸近級數在複平面的不同象限中具有不同的形式，這種現象被稱為斯托克斯現象。

AiryGiReIm
AiryGiContours
AiryHiReIm
AiryHiContours

與艾裡函式相關的函式被定義為

Gi(z)=1/piint_0^inftysin(1/3t^3+zt)dt
(15)
=1/3Bi(z)+int_0^z[Ai(z)Bi(t)-Ai(t)Bi(z)]dt
(16)
=1/3Bi(z)-(z^2_1F_2(1;4/3,5/3;1/9z^3))/(2pi)
(17)
Hi(z)=1/piint_0^inftyexp(-1/3t^3+zt)dt
(18)
=2/3Bi(z)+int_0^z[Ai(t)Bi(z)-Ai(z)Bi(t)]dt
(19)
=2/3Bi(z)+(_1F_2(1;4/3,5/3;1/9z^3)z^2)/(2pi),
(20)

其中 _pF_q 是一個廣義超幾何函式。

Watson (1966, pp. 188-190) 給出了艾裡函式一個稍微更通用的定義，作為艾裡微分方程的解

Phi^('')+/-k^2Phiz=0
(21)

在原點處有限，其中 Phi^' 表示導數 dPhi/dz, k^2=1/3, 並且允許任一符號。將這些解稱為 (1/pi)Phi(+/-k^2,z), 則

1/piPhi(+/-1/3;z)=int_0^inftycos(t^3+/-zt)dt
(22)
Phi(1/3;z)=1/3pisqrt(z/3)[J_(-1/3)((2z^(3/2))/(3^(3/2)))+J_(1/3)((2z^(3/2))/(3^(3/2)))]
(23)
Phi(-1/3;z)=1/3pisqrt(z/3)[I_(-1/3)((2z^(3/2))/(3^(3/2)))-I_(1/3)((2z^(3/2))/(3^(3/2)))],
(24)

其中 J(z) 是一個第一類貝塞爾函式。使用恆等式

K_n(z)=pi/2(I_(-n)(z)-I_n(z))/(sin(npi)),
(25)

其中 K(z) 是一個第二類修正貝塞爾函式，第二種情況可以重新表示為

Phi(-1/3;z)=1/3pisqrt(z/3)2/pisin(1/3pi)K_(1/3)((2z^(3/2))/(3^(3/2)))
(26)
=pi/3sqrt(z/3)2/pi(sqrt(3))/2K_(1/3)((2z^(3/2))/(3^(3/2)))
(27)
=1/3sqrt(z)K_(1/3)((2z^(3/2))/(3^(3/2))).
(28)

另請參閱

Airy-Fock 函式, 艾裡函式零點, 艾裡 Zeta 函式, 第一類貝塞爾函式, Map-Airy 分佈, 第一類修正貝塞爾函式, 第二類修正貝塞爾函式

相關的 Wolfram 網站

http://functions.wolfram.com/Bessel-TypeFunctions/AiryAi/, http://functions.wolfram.com/Bessel-TypeFunctions/AiryAiPrime/, http://functions.wolfram.com/Bessel-TypeFunctions/AiryBi/, http://functions.wolfram.com/Bessel-TypeFunctions/AiryBiPrime/

使用 探索

參考文獻

Abramowitz, M. 和 Stegun, I. A. (編.). "Airy Functions." §10.4 in Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing. New York: Dover, pp. 446-452, 1972.Banderier, C.; Flajolet, P.; Schaeffer, G.; 和 Soria, M. "Planar Maps and Airy Phenomena." In Automata, Languages and Programming. Proceedings of the 27th International Colloquium (ICALP 2000) held at the University of Geneva, Geneva, July 9-15, 2000 (編. U. Montanari, J. D. P. Rolim, 和 E. Welzl). Berlin: Springer, pp. 388-402, 2000.Press, W. H.; Flannery, B. P.; Teukolsky, S. A.; 和 Vetterling, W. T. "Bessel Functions of Fractional Order, Airy Functions, Spherical Bessel Functions." §6.7 in Numerical Recipes in FORTRAN: The Art of Scientific Computing, 2nd ed. Cambridge, England: Cambridge University Press, pp. 234-245, 1992.Sloane, N. J. A. Sequences A096714 和 A096715 in "The On-Line Encyclopedia of Integer Sequences."Spanier, J. 和 Oldham, K. B. "The Airy Functions Ai(x) and Bi(x)." Ch. 56 in An Atlas of Functions. Washington, DC: Hemisphere, pp. 555-562, 1987.Watson, G. N. A Treatise on the Theory of Bessel Functions, 2nd ed. Cambridge, England: Cambridge University Press, 1966.

在 中被引用

艾裡函式

請引用為

Weisstein, Eric W. "Airy Functions." 來自 —— 資源。 https://mathworld.tw/AiryFunctions.html

主題分類