|
我们知道,通常J(t)组在时间上是变化的,可以增加、减少、变为空集并再次出现。当k=1,ui=1时,对于所有i,正如我们在第4.2小节中所解释的,在组J第一次出现时,该组成员J的出局率值,vj=uj<1。假设此语句在状态间隔上为truek、 k>0。和前面一样,我们跳过进一步的指示到k,表示ui,k=ui,k=, Tk=T,Tk+1=T。我们表示状态更改之前的其他向量、坐标、分区元素和矩阵,即在区间上k、 当J=J0时,变化后的值为J=J0,k+1等。我们表示区间上平衡方程的解kas(vi)和间隔k+1as(wi)。因此,我们的归纳陈述是0<vi<1,i∈ J、 我们的目标是证明vi≥ wifor all i公司∈ J、 当br(T)=0或cr(T)=0时,在Tk=T时刻发生状态变化,其中∈ J+∪ J、 如果br(T)=0表示r∈ J+,这意味着零组保持不变,但如果银行r是零组的发起人,则前一个输入向量(ei)可以减少。然后根据引理5.1的(c)点,平衡方程的新解只能严格减少。更困难的情况是r的cr(T)=0∈ J+和whenbr(T)=0表示r∈ J、 在第一种情况下,J=J∪ r、 如果| J |=m,新系统有m+1个变量,值ur=1变为(额外未知)值wr。在第二种情况下,新的平衡系统只有m- 1变量。我们只证明了第一个病例,第二个病例可以以类似的方式处理。对于包括第一种情况在内的以下情况,我们考虑更一般(稍微)的陈述:假设我们有两个分区:初始P=(J+,J,J*), 使得正组有一个子集lw,ni<1,i∈ L和新分区P=(J+=J+\\L,J=J∪ 五十、 J*).引理A1.1。
|