自'π*(zk) π是紧凑的,它包含一个序列∏*(zkh)收敛到极限'π∈ π为h→ ∞. 注意,对于任何'π∈ π,f((R)π;z)=limh→∞f((R)π*(zkh);zkh)≥ 林氏→∞f(\'π;zkh)=f(\'π;z)。通过定义“π”*, 我们有‘π=’π*(z) ,这意味着*(zkh)→ π*(z) 。因为这个论点对任意的‘∏子序列有效*(zk),我们得到*(zk)本身必须收敛到‘π*(z) 作为k→ ∞.现在,fix a t∈ [0,T]。然后,一阶条件可以在以下意义上颠倒:s*(t,’π):=λb(t)- σ(t)’π-ZR'πψ(t)y1+'πψ(t)yν(dy),因此,要定义∏的反函数*(t,·)从((R)π)*(t,·))-1.(π, π)至((R)π,(R)π)。根据反演定理(参见[22,附录C.5]),自s*(t,’π)π=λ-σ(t)-ZRψ(t)y(1+(R)πψ(t)y)ν(dy)< 0,我们得到了∈ [0,T],\'π*(t,·)是严格递减的,并且对于任何∈π*(t,·)-1.(π, π). 请特别注意:π*(t,·)-1.(π, π)必须是26 MARCO PICCIRILLI和TIZIANO VARGIOLUan间隔,我们用(s(t),s(t))表示。此外,由于s*(t,·)是由Lebesgue的支配收敛定理光滑的,具有n阶导数ns系列*(t,’π)πn=(-1) nn!λZRψ(t)n+1yn+1(1+’πψ(t)y)n+1ν(dy),(B.1)然后‘∏*(t,·):(s(t),s(t))→ (\'π,\'π)是sm ooth。