|
然后EQκt((R)v) SEQt((R)v),注意等式κt((R)v)可能为空。因此,最大u*,κt∈EQκtV ol(u*,κt)≤ 最大u*T∈当量ol(u*t) 。命题3的证明。第(i)部分:考虑集合{ut∈ EQt:V ol(ut)≥ V ol(u*t) ,其中eqt是定理1(定义6)证明中定义的可行性匹配集。自u起*T∈ EQt,这一组不是空的。现在让我们写下^ut∈ argmin{ut∈EQt:V ol(ut)≥V ol(u*t) }ESL(At(ut))(27),其中At(ut)是在时间t与匹配ut(不一定稳定)形成的净暴露矩阵。至少存在一个这样的极小值ut,因为只能有很多匹配ut∈ EQtand{ut∈ EQt:V ol(ut)≥ V ol(u*t) } EQt。现在根据定理1,存在T,使得u*,Tt=ut。因此,ESL(A*,Tt)≤ ESL(A*t) 和V ol(u*,Tt)≥ V ol(u*t) 。第(ii)部分:让κ>0为托宾税,即对于某些贷款人i,rκij=ri+hij+κ(28)∈ 贷款和一些借款人j∈ Bt.在命题2(ii)的证明中,我们可以定义EQκtas,即类似原子的taxκ和EQκt下的可能匹配集(不一定稳定) eqt因为κ是T的一个特例。Letu*,κt∈ EQκtbe类托宾税κ下的均衡匹配。然后u*,κt∈EQκt EQt。从定理1出发,我们可以设计T,使^u*,Tt=ut,对于任何ut∈ EQt,然后是一个类似于(i)部分的论点,我们可以找到一个T,这样ESL(a*,Tt)≤ ESL(A*,κt)和V ol(u*,Tt)≥ V ol(u*,κt)。命题4的证明。我们将首先构建一个平衡匹配u*然后展示它的独特性。各借款人j∈ Bthas优惠严格降低贷款人的利率ri,对于i∈ Lt.各贷款人i∈ l借款人违约概率ρjt,S,对于j,偏好严格降低∈ Bt.让我∈ Lt表示提供最低利率ri的贷款人。让所有借款人(ri<rj)向该优先贷款人申请贷款。
|