|
请注意,um+1- um~ pm+1Δξm+1,因此νm+1- 作为质量pm+1和平均ξm+1。只要我们能证明(νm+1- νm)有一个非减量密度,那么从命题5.1可以得出(νm+1- νm)cxpm+1U[0,2ξm+1]。那么,由于凸序在加法下保持不变,如果(νm+1-νm)的密度每m为1≤ M≤ N- 1,那么νcxPNm=1pmU[0,2ξm]=u。我们使用suffix m来标记定理6中构造的量。1,证明它们是由度量um构成的。证明的思想是在使用定理6的算法计算ν和νm+1时。1,构造的早期部分将是相同的,事实上,νm+1和νm+1只会在νm+1的最终非零元素上发生变化。用1修正m≤ M≤ N定义Bm {1,2,…,Tm}by Bm={k:Qmk(rmk,y)≥Pum+1(y)on(ymk-1.∞)}.案例(a)。Bm={1,2,…,Tm}。然后(Qmj(rmj,y),ymj)1≤J≤t和(Qm+1j(rm+1j,y),ym+1j)1≤J≤t完全一样。然后,Tm+1=Tm+1,ymTm<ym+1Tm+1,密度ρm+1和ρm满足ρm+1=ρmon区间(0,ymTm=ym+1Tm),ρm+1在(ym+1Tm,ym+1Tm+1)上为常数,ρmis在(ym+1Tm,ym+1Tm+1)上为零。特别是,νm+1-νm=pm+1U[ym+1Tm,ym+1Tm]cxpm+1U[0,2ξm+1]。案例(b)。inf{k:k/∈ Bm}=Tm。那么在构造中,我们必须有Tm=Tm+1,ρm+1=ρmon区间(0,ymTm)-1.≡ ym+1Tm-1) ,ρm+1在(ym+1Tm)上是常数(用rm+1Tm+1say表示)-1,ym+1Tm+1),ρmis常数,严格小于rm+1Tm+1on(ym+1Tm)-1,ymTm),ρmis zero on(ymTm,∞). 我们想证明,ymTm<ym+1Tm,这意味着(ρm+1)- ρm)在(0,ym+1Tm)上是不减损的。参见图3的案例(b)。注意,在构造νm时,点(ξnmTm)处的质量-1+1, . . . , ξm)嵌入区间(ymTm)中-1,ymTm),以及在点(ξnmTm)处的νm+1质量的构造中-1+1, . . .
|