|
剩下的证据如下。陈述v):首先,我们通过插入关系1,以一种方便的方式重写函数Aα,β(τ)- c=2a-αχ+κ+a:aα,β(τ)=κθχh(κ- a) τ- 2 lnn1- c经验(-aτ)1- coi=κθχh(κ- a) |{z}∈[0,κ]τ - 2 lnn1- 经验(-aτ)2a |{z}∈[0,T]- αχ+κ+a| {z}∈[0,2κ]+exp(-aτ)|{z}∈[exp(-κT),1]oi。现在请注意∈ [0,κ],作为β≥ 0.因此,κ-A.∈ [0,κ]和exp(-aτ)∈ [exp(-κτ ), 1].进一步的-αχ+κ+a∈ [0,2κ],作为α≥ 0.现在考虑一下术语1-经验(-aτ)2a,并通过证明其导数w.r.t.a为负,证明其单调递减:A.1.- 经验(-aτ)2a=经验(-aτ)(1+aτ)- 12a,其中负性后面是一般不等式exp(x)>1+x,十、∈ R.那么,fora∈ [0, κ],1-经验(-aτ)2a∈ [1-经验(-κτ)2κ,利马↓01-经验(-aτ)2a]。限制由:利马给出↓01- 经验(-aτ)2a=利马↓0exp(-aτ)τ=τ。Asτ∈ [0,T],我们得到:1-经验(-aτ)2a∈ [0,T]。把上面的不等式结合起来就得出了这个结论。声明六):在这一证明中,我们将Bα、β(τ)视为α中的函数,并确定所有其他参数。计算前两个导数表明,Bα,β是α的凸单调递增函数:αBα,β(τ)=4aexp(-aτ)(1)- c经验(-aτ)(-αχ+κ+a)≥ 0αBα,β(τ)=8aχexp(-aτ)(1)- 经验(-aτ)(1)- c经验(-aτ)|{z}>0)(-αχ+κ+a |{z}>0)≥ 0.进一步,limα↑κ+aχBα,β(τ)=limc↑∞Bα,β(τ)=κ+aχ。现在我们想找出Bα,β的图与函数F(α)=α的图相交的点。为此,我们求解以下方程:Bα,β(τ)=α<=> (κ+a)(1)- c经验(-aτ)- 2a=χα(1)- c经验(-aτ)<=> (αχ- κ+a)(exp(-aτ)- 1) = 0.现在假设τ6=0和a6=0,并观察唯一的解由α=κ给出-一个χ。更重要的是,在这种情况下,前两个导数甚至是严格正的,这意味着Bα,β是严格单调递增的,并且在α中是严格凸的。
|