那么如果h(s+σ+ρ)<h(t+σ)≤ h(s)<h(t)方程(15)成立,我们有f(h(t+σ))- f(h(s+σ+ρ))≤ [<]f(h(t))- f(h(s))。因此,f是一个(严格)凸函数,这意味着他是h的一个(严格)凸变换。我们现在可以证明命题7。证据注意Di:[0,∞) → (0,1)是一对一的,所以D-1i:(0,1]→ [0, ∞).让我们首先证明条件(i)源自条件(ii)。证据是相反的。我们证明了not(i)意味着not(ii)。假设(i)失败;也就是说,存在0<t<s,ρ>0,σ>0和x,y,x,y的s和t∈ 带0<X<y和0<X<y的X(X,t)~(y,s),(x,t+σ)~(y,s+σ+ρ),(x,t)~(y,s)和(x,t+σ)[<](y,s+σ+ρ)。由于假设u(y)>0且u(y)>0,这意味着u(x)u(y)=D(s)D(t)=D(s+σ+ρ)D(t+σ)和u(x)u(y)=D(s)D(t)>[≥]D(s+σ+ρ)D(t+σ)。设h=ln和h=ln D。注意,这两个函数都是严格递减函数。还要注意hi:[0,∞) → (-∞, 0]是一对一的。砰-1i:(-∞, 0] → [0, ∞), h在哪里-1i(z)=D-1i(ez)。重写这些表达式,我们得到每个i的di(t)=ehi(t)∈ {1, 2}. 因此:eh(s)eh(t)=eh(s+σ+ρ)eh(t+σ)和eh(s)eh(t)>[≥]eh(s+σ+ρ)eh(t+σ)。相当于h(s)- h(t)=h(s+ρ+σ)- h(t+σ)(17)和h(s)- h(t)>[≥] h(s+ρ+σ)- h(t+σ)。(18) 注意lnd(D-1(ez))(严格)凸于z上(-∞, 0]相当于ho H-1(严格)在z轴上凸(-∞, 0]. 换句话说,他给出了H的一个(严格的)凸变换。根据引理18,这个结论与等式(17)和不等式(18)相矛盾。因此,not(i)意味着not(ii)。其次,我们需要证明(i)意味着(ii)。