以下陈述可以在冗长的yetstraightforward手册中得到证实(图8提供了视觉帮助):(i)关于(0,u)*+) 存在一个独特的“u”∈ (0,1)使得H′(\'u)=0;(ii)H′:(\'u,u*+) → R严格地递增,并且在u处趋于一致*+.因此(i)和(ii)意味着(7.6)存在满足引理条件的唯一解*τ(k)∈ (\'u,u*+). 函数H′在(\'u,u)上是严格正的*+), 因此对于足够大的τ,u*τ(k)严格递增,并以u为界*+, 从而收敛到极限L∈ [u,u*+]. 如果我∈ [u,u*+), 那么V′和H′的连续性以及V的严格凸性意味着limτ↑∞V′(u)*τ(k))+H′(u*τ(k))/τ=V′(L)<V′(u)*+) ≤ k、 这是一个矛盾。因此L=u*+, 这证明了案例(一)。案例(ii)和(iii)是相互关联的,引理如下。23日方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方ì236ì236ì236ì236ì236ì236ì236ì236ì236ì236ì236ì236ì236ìì。20.40.60.60.81.01.20.20.20.20.20.20.20.81.01.10.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.20.01.01.01.01.01.01.01.01.01.01.01.20.01.01.01.01.01.01.01.01.20.20.20.20.20.20.01.20.01.01.20.20.01.01.20.01.20.20 00.00150.0020Hprime(b)图8。u 7的情节→ 不同τ值的H′(u)/τ。圆、正方形和钻石呈现τ=2,5,10。在(a)u中∈ (-1.05,9.72)和in(b)u∈ (0, 1). 赫斯顿参数v=0.07,θ=0.07,ρ=-0.8,ξ=0.65,κ=1.5。t=1,ρ-= -0.56美元*+= 9.72美元-= -1.05.在下面的引理中,我们导出了u的渐近展开式*τ(k)。这一关键结果将使我们能够推导出特征函数Φτ,k,α以及分析中所需的其他辅助量的同态。引理7.9。