|
引理3的证明:对于函数f(x),用fe(x)=(f(x)+f表示其奇偶部分(-x) ),fo(x)=(f(x)- f(-x) )。注意,如果f是单调递增的,那么fo也是如此。然后(11)可以写为mut(x)=eφT-t(u)+ψt-t(u)x+eφt-t(-u) +ψT-t(-u) x= eφeT-t(u)+ψeT-t(u)xcosh(φoT)-t(u)+ψoT-t(u)x)和muit(x)Mut(x)=e(φeT-t(用户界面)-φeT-t(u))+(ψeT-t(用户界面)-ψeT-t(u))xcosh(φoT-t(ui)+ψoT-t(ui)x)cosh(φoT-t(u)+ψoT-t(u)x)。(29)如果ui=u,则(29)是常数,对单调性或最大值没有影响。因此,从现在起,假设所有i的函数u>ui。方程(12)的函数g可以写为g(x)=nXi=1ciaeeaixcosh(Bi+bix)cosh(B+bx),其中对于i=0,nAi=(φeT)-t(用户界面)- φeT-t(u)),Bi=φoT-t(ui),ai=(ψeT)-t(用户界面)- ψeT-t(u)),bi=ψoT-t(用户界面)。因为ψ是单调递增的(见引理1),所以ψois也是单调递增的。当ψo(0)=0时,bi≥ 0表示所有i。此外,请注意ai<b- biis等价于ψT-t(ui)<ψt-t(u)和-ai<b- Bi等价于ψT-t(-u) <ψT-t(-用户界面)。自CEU>ui≥ ψ的单调性产生|ai |<b- 毕。(30)一个基本的计算公式是:sg(x)=cosh(B+bx)nXi=1cieaixfi(x),其中fi(x)=aicosh(Bi+bix)cosh(B+bx)+bisinh(Bi+bix)cosh(B+bx)- bcosh(Bi+bix)sinh(B+bx)。具有实值过程的有效LIBOR模型fiisfi(x)=bicosh(B+bx)的导数aisinh(Bi+bix)+(Bi- b) cosh(Bi+bix)+bcosh(Bi+bix)aisinh(B+bx)+(bi)- b) cosh(b+bx).(31)使用(30)(31)中每行括号内的术语严格小于|ai |(sgn(ai)sinh(Bj+bjx)- cosh(Bj+bjx))≤ 0,(j=i,0)。最后一个不等式成立,因为cosh(x)±sinh(x)≥ (31)中括号外的术语均为正值。因此f≥ 0,且函数单调递减。用(30)简单计算表明→-∞fi(x)=∞ 还有limx→∞fi(x)=-∞.
|