|
(结果是在连续空间中,但参数对于差分方程也同样有效。)我们把!L的解称为!πβ和!πα。利用k的∧πβ(k)上的平凡上界≥ JyK,我们发现(9)Xk≤JyK-1πβ(k)≤JyK-1Xk=JxK+1πβ(k)+JκaK-1Xk=JyKpb(k)Fa(k)。注意,πβ必须等于(Fa(k))-1pb(k)表示J)κbK+1≤ K≤ JxK,因为投标者不会在这些箱子里排队。因此,对于(9)右侧的第一项,我们有边界JYK-1Xk=JxK+1πβ(k)≤ 1.-JxKXk=J)κbK+1pb(k)Fa(k)≤ 1.-JκaK-1Xk=JyKpb(k)Fa(k)- ,只要箱子够窄就行。实际上,请注意x- ~kκb>x- κb=κa- y(从L的单调性与∧L和对称性来看),分母在k中增加,出价到达密度随着向右平移而减小。我们要求箱子要足够窄,使总数都不为空。第一阶段。我们现在让Fb(x)定义x,yb-Fb(x)=Fa(x)和Fa(y)-Fa(y)=(1-Fb(y))。与阶段0的参数类似,存在一个时间Tsuch,对于所有t≥ t在[JxK+1,JyK]上将没有流动队列- 1]. 实际上,如果在[JxK+1,JxK]区间内有流体出价,那么当最高出价低于JxK时,实际上就在这个区间内;定义的不平等性意味着这段时间内的投标数量减少,同样地,对于询价也会减少。接下来,我们使用[JxK+1,JyK]上的微分方程描述- 1] 为了证明在T之后,出价最高的人至少花了> 其时间的0低于x。这将需要与不同的受限LOBL进行比较,我们将所有价格合并到JxK+1和JyK- 1.后续阶段。我们现在可以构造一个嵌套的区间序列…<x<x<x<y<y<y<,如果垃圾箱足够窄,不平等性是严格的。这一点有待证明→∞,N→∞xk=κ带limk→∞,N→∞yk=κa(注意N→ ∞, 即
|