|
让κ≥ 1/2和κ6=1。定义C:=α(1+α)/κ + 1 - α (κ - 2). ThennXi=1νi=Xσ∈{+,-}dσmσ- ακmσ- ακ[mσ]N(28)+(1)- α) (n)-1) Xσ∈{+,-}cσdσα (κ - 1) mσ- α (κ -1) +mσmσ- ακ[mσ]N+C1+Xσ∈{+,-}cσmσmσακN-1.- 1.mσ- ακαN[κ]N+2CXσ∈{+,-}dσmσα(κ-1) mσ-α(κ-1) mσNmσ- α (κ -1) [mσ]N,代表N∈ {1,…,N},和νN+1=Xσ∈{+,-}cσmσ- α(κ - 1)mσ- α (κ -1) [mσ]N+2CαN[κ- 1] N.(29)证据。因为我∈ {3,…,N},我-1Xj=2α (κ - 1)我-jδj-1φi+1(30)=α(κ)- 1) Xσ∈{+,-}cσdσmσ- α (κ -1) (mσ)N+c+d-(m)-)N+1m+m+- α (κ -1)m+m-i+c-d+(m+)N+1m-M-- α (κ -1)M-m+我-Xσ∈{+,-}cσmσmσ- α (κ -1) Xτ∈{+,-}dτ(mτ)N+1α (κ - 1)α (κ - 1) mτ我andNXj=i(ακ)j-我δ我-1φj+1(31)=Xσ∈{+,-}cσdσmσ- ακ(mσ)N+1+c+d-(m)-)N+2m+(m)-- ακ)m+m-i+c-d+(m+)N+2m-(m)+- ακ)M-m+我-Xσ∈{+,-}dσmσmσ- ακXτ∈{+,-}cτ(ακ)N+1mτmτακi、 自α(κ)- 1) (m)-- ακ+m-m+- α (κ -1)= α (κ - 1) (m)+- ακ+m+M-- α (κ -1)= m+m-- ακ (κ - 1) =0,则(30)和(31)中的第二个和第三个总和相互抵消。进一步简化,我们得到了νi=(1)- α) Xσ∈{+,-}cσdσα (κ - 1) mσ- α (κ -1) +mσmσ- ακ[mσ]N+2CXσ∈{+,-}dσmσ[mσ]Nα(κ- 1)α (κ - 1) mσi+CXσ∈{+,-}cσαN+1κ[κ]Nmσmσακi、 因为我∈ {2,…,N}。类似计算得出ν=Xσ∈{+,-}dσmσ- ακmσ- ακ[mσ]N+CαN[k]N,νN+1=Xσ∈{+,-}cσmσ- α(κ - 1)mσ- α (κ -1) [mσ]N+2CαN[κ- 1] N.注意nxi=2Xσ∈{+,-}dσmσ[mσ]Nα(κ- 1)α (κ - 1) mσi=Xσ∈{+,-}dσmσmσα(κ)-1)N-1.-mσα(κ)-1)N-Nmσ- α (κ -1) αN[κ]NandnXi=2Xσ∈{+,-}cσαN+1κ[κ]Nmσmσακi=Xσ∈{+,-}cσmσmσακN-1.- 1.mσ- ακN[κ]N∈ {2,…,N}完成了证明。下面的引理总结了我们在获得限制策略时将遇到的所有对象的限制行为,以及随后的限制成本。回想一下nt:=dnt/te。对于实数序列(aN)N∈和实数a,我们使用简写符号(aN)nt→ ±a表示:=(-1) 新界|安|恩塔和林恩→∞|aN | nt=a.引理a.3。
|