|
It^o公式,(3.3)和(3.6)给出了logV^θT=Tlog^u(XT)^u(X)-2TZT^u(Xt)dXi,j=1ij^u(Xt)κr(Xit)r(Xjt)X()tdt=Tlog^u(XT)^u(X)-TZTLc^u^u(Xt)dt。渐近增长的遍历鲁棒最大化29From(A.25)和^u=e(1/2)^φwe obtainTlogV^θT=2T^φ(XT)-2T^φ(X)-4TZTp · (pcl) (Xt)dt-8TZT^φ′cφ(Xt)dt+4TZT^φ′cpp+分区(c)(Xt)dt=2T^φ(XT)-2T^φ(X)-4TZTq · (qκl≤) (X()t)dt-8TZT^φ′κφ(X()t)dt+4TZT^φ′κqq+div(κ)(X()t)dt=2T^φ(XT)-2T^φ(X)-4TZTq · (qκl≤) (X()t)dt-8TZT^φ - l≤′κ^φ - l≤(X()t)dt+8TZTl′≤κl≤(X()t)dt,其中倒数第二个等式从(B.4)、(B.5)、(B.6)开始。这些等式,结合假设1.4的可积性假设,以及P∈ Π≤请允许我们推断V^θ,P=Zd-1+,≤ · (qκl≤) (x())-Zd-1+,≤^φ - l≤′κ^φ - l≤q(x())+Zd-1+,≤l′≤κl≤q(x())=Zd-1+,≤ · (qκl≤) (x())-Zd-1+,≤^φ′κ^φq(x())+Zd-1+,≤^φ′(κq+qdiv(κ))(x())=Zd-1+ · (pcl) (十)-Zd-1+^φ′c^φp(x) +Zd-1+^φ′(cp+pdiv(c))(x) =Zd-1+ · (pcl) (十)-Zd-1+^φ - l′c^φ - lp(x) +Zd-1+l′clp(x) =Zd-1+^φ′c^φp(x) 。如上所述,由于(B.7)、(B.8)、(B.10),第三个等式再次成立。由于定理1.7证明中的引理A.5和(A.28),第五个不等式紧随其后。这一点,以及我们已经改进了(3.9)中的第二个和第三个等式的事实,产生了(3.10),因为^u=e(1/2)^φ。30 CONSTANTINOS KARDARAS和SCOTT ROBERTSONIt留下来证明λ≤= λ、 这将建立(3.9)中的所有等式。回想一下λ≤≤ λ从(3.8)开始。此外,使用(3.10)和(3.9)中的最后一个等式λ≤≥ infP公司∈Π≤GV^θ,P=Zd-1+^u^u′c^u^up=λ。因此,λ=λ≤证明已经完成。B、 2。命题3.7的证明。我们首先构造一个特殊的矩阵值函数,该函数在假设3.3下运行良好。说明以下辅助结果,定义(B.11)x:=maxnx,xdo,x:=minnx。
|