皮爾西積分

皮爾西積分(Pearcey Integral)是一種在論述光的傳播、光的繞射、分岔理論、突變理論以及關於特殊函數的漸進展開式的研究中常見的多鞍點積分，其定義為

Integrand of Pearcey integral

Pearcey Integral 3D Maple plot

Pearcey Integral Maple contour plot

Pearcey Integral Maple density plot

$P(x,y)=\int _{-\infty }^{\infty }\exp(I*(t^{4}+x*t^{2}+y*t))$

=${-(1/2)*{\sqrt {(}}Pi)*exp(-(1/4*I)*y^{2}/x)*(limit(exp(I*t^{4})*erf(I*x*t/{\sqrt {(}}-I*x)+(1/2*I)*y/{\sqrt {(}}-I*x)),t=infinity))/{\sqrt {(}}-I*x)+(1/2)*{\sqrt {(}}Pi)*exp(-(1/4*I)*y^{2}/x)*(limit(exp(I*t^{4})*erf(I*x*t/{\sqrt {(}}-I*x)+(1/2*I)*y/{\sqrt {(}}-I*x)),t=-infinity))/{\sqrt {(}}-I*x)+(2*I)*{\sqrt {(}}Pi)*exp(-(1/4*I)*y^{2}/x)*(int(exp(I*t^{4})*erf(I*x*t/{\sqrt {(}}-I*x)+(1/2*I)*y/{\sqrt {(}}-I*x))*t^{3},t=-infinity..infinity))/{\sqrt {(}}-I*x)}$

被積分函數的鞍點

對於大的$|x|$,皮爾遜積分的被積分函數左右各有三個鞍點。

在右平面的鞍點是

$rs1:=-(1/3)*{\sqrt {(}}6)*sinh((1/3)*arcsinh((3/4)*y*{\sqrt {(}}2)*{\sqrt {(}}3)/x^{(}3/2)))$

$rs2:=(1/3)*{\sqrt {(}}6)*sinh((1/3)*arcsinh((3/4)*y*{\sqrt {(}}2)*{\sqrt {(}}3)/x^{(}3/2))+(1/3*I)*Pi)$

$s3:=-(1/3*I)*{\sqrt {(}}6)*cosh((1/3)*arcsinh((3/4)*y*{\sqrt {(}}2)*{\sqrt {(}}3)/x^{(}3/2))+(1/6*I)*Pi)$

左平面的鞍點是：

$ls1:=-(1/3)*{\sqrt {(}}6)*sin((1/3)*arcsin((3/4)*y*{\sqrt {(}}2)*{\sqrt {(}}3)/x^{(}3/2))+(1/3)*Pi)$

$ls3:=(1/3)*{\sqrt {(}}6)*cos((1/3)*arcsin((3/4)*y*{\sqrt {(}}2)*{\sqrt {(}}3)/x^{(}3/2))+(1/6)*Pi)$

$ls2:=(1/3)*{\sqrt {(}}6)*sin((1/3)*arcsin((3/4)*y*{\sqrt {(}}2)*{\sqrt {(}}3)/x^{(}3/2)))$

分岔

Bifurcation of Pearcey Integral

皮爾西積分的分岔曲線為

$27*x^{2}=-8y^{3}$

斯托克斯曲線

Stokes set of Pearcey Integral

皮爾西積分的斯托克斯曲線為

$y^{3}={\frac {27}{4}}({\sqrt {(}}27)-5)x^{2}$

尖點突變

皮爾西積分的尖點突變區間

在（x,y)平面中，分岔曲線和斯托克斯曲線將平面分化為尖點突變區。

參考文獻

• Frank Oliver, NIST Handbook of Mathematical Functions,2010,Cambridge University Press.
• R.B. Paris,D. Kaminski,Hyperasymptotic evaluation of the Pearcey integral via

Hadamard expansions.Journal of Computational and Applied Mathematics 190 (2006) 437–452