|
如果满足(59),等式(58)有两个实根wand,用Lambert函数W(z)和W表示-1(z)(见【3】):w=-W(-κ) , -1.≤ -κ < ∞, W(-κ) ≥ -1w=-W-1(-κ) , -e≤ -κ<0,W-1(-κ) ≤ -1(60)我们注意到,第一个鞍点walso出现在右半平面Re z中M(z)的鞍点分析中≥ 0(见参考文献[11]),而在我们的方法中,我们集中于左半平面Re z中M(z)的行为≤ 0,其中第二个鞍点w出现在w之外。很快就会看到,正是第二个鞍点w确定了沿z处分支切割的M(z)的想象部分∈ [-∞, 0].Lambert函数W(x)和W-1(x)对小x有以下展开式[3]:W(x)=∞Xn=1(-n) n个-1n!xn=x- x+x+。W-1(x)=对数(-x) +日志(-日志(-x) )+。(61)注意当κ→ 0(即x→ 0),我们有w 1和w 1,使两个鞍点在该极限内彼此充分分离。现在计算二阶导数eg(z)=-κez- 1=κew- 1=w- 1(62)我们看到g(w)<0,而g(w) 因此,当通过w时,鞍点轮廓应平行于实轴,而当通过w时,鞍点轮廓应平行于虚轴(详见下文)。注意,因为两个鞍点在极限κ中很好地分开→ 0,在鞍点近似中,积分(54)量的计算为分别在点w+iπ和w+iπ附近使用g(z)的二次近似计算的两个单独鞍点积分之和。此外,g(w+iπ)=w-w、 我们看到g(w+iπ)=O(1),而g(w+iπ)→ -∞ 同w→ ∞ (即κ→ 0).
|