显然,G是连续的,命题3.7给出了G是非负的、非递增的和凸的-Gis不增加。为了证明G不是正定义,使用Mathematica我们发现G(t)=RReiγtM(dγ),其中M(dγ)=C∧(γ)dγ+dδ(dγ),常数C>0,矩阵d∈ R2×2,0处的Diracmeasureδ和∧(γ)由2e给出(- cos(γ)γ+eγ-sin(γ))γ+γ5eγ-((3+2e)γ+6i)(-1+e)cos(γ)+(i(-3+2e)γ-6(1+e)sin(γ)8γ(γ(γ+i)+6)5eγ-(3(γ+2i)+2e(γ-3i)cos(γ)+(-2ieγ+3iγ-6e-6) sin(γ)8γ(γ+2i)(γ-3i)2e(- cos(γ)γ+eγ-sin(γ))γ+γ!。如果G是正定义,那么∧(γ)的所有本征值在γ6=0时都是正的。但使用Mathematica我们发现∧(γ)的一个特征值是8(γ+4)(γ+9)(γ+γ)16eγ+ 1γ+ 4γ+ 9γ-16eγ+ 1γ+ 4γ+ 9cos(sin+γ)-γγ+ 1γ+ 4γ+ 99+4e+25eγ-10e(3+2e)γcos(γ)+12eγ- 6.cos(2γ)-60eγsin(γ)-2 cos(γ)+e+e+ 361+e,对于所有γ为负,0<|γ|<0.02。所以G不是正定义。命题3.10的证明。(a) :根据引理5.2,G是非负的当且仅当对于每个t≥ 0((a)- bt)+(a)- bt)+)≤ (a)- bt)+(a- 英国电信+。假设G是非负的。选择t=0收益率(a+a)≤ aa。选择t=min{ab,ab}得到前面等式的右边为零。所以左手边必须为零,这意味着max{ab,ab}≤ t、 相反,假设(a+a)≤ aa和max{ab,ab}≤ min{ab,ab}。不管怎样≥ 0,我们有max{(1)-蝙蝠+,(1)-蝙蝠)+}≤ min{(1)-蝙蝠+,(1)-蝙蝠)+}。因此,((a)- bt)+(a)- bt)+=a1.-球棒++ A.1.-球棒+!≤(a+a)最大值(1.-球棒+,1.-球棒+)!≤ 啊(1.-球棒+,1.-球棒+)!≤ aa1.-球棒+1.-球棒+= (a)- bt)+(a- 英国电信+。所以G是非负的。(b) :G与导数eg(t)绝对连续=-b{t<ab}-b{t<ab}-b{t<ab}-b{t<ab}!根据引理5.2和5.3,G是非递增的当且仅当几乎所有t>0(b{t<ab}+b{t<ab})≤ b{t<ab}b{t<ab}。假设G是非递增的。然后选择足够小的t(b+b)≤ bb。