Stellen Sie sich eine Tauschwirtschaft mit zwei Gütern vor x und y und zwei Agenten A und B. Die Dienstprogrammfunktionen sind
UA(xA,yA)=xA⋅yA,UB(xB,yB)=min(xB,yB).
Lassen Sie die Anfangsausstattung sein
ωA=(ωxA,ωyA)=(z,0),ωB=(ωxB,ωyB)=(0,4),
wo
0≤z≤8wird als Parameter belassen. Im Gleichgewicht
xA=z2,yA=(4−z2),xB=z2,yB=z2.
(Eine detaillierte Berechnung, die dies zeigt, befindet sich am Ende dieser Antwort.)
Der Nutzen des Agenten A ist
UA(z2,4−z2)=z2⋅(4−z2).
Das Maximum davon liegt bei
z=4. Wenn die anfängliche Ausstattung des Agenten
A Ist er größer als 4, hat er einen Anreiz, einen Teil davon zu zerstören, da dies unter der Annahme eines Wettbewerbsgleichgewichts zu einer Verbesserung seines Nutzens führt.
Wie @Foobar in den Kommentaren hervorhob, konnte ein weiterer Nutzen erzielt werden, indem ein Teil der ursprünglichen Ausstattung nicht zerstört, sondern einfach zurückgehalten wurde. Es gibt zwei Argumente für die Zerstörung:
Agent B sieht das Angebot und lehnt das monopolistische Ergebnis ab und besteht auf dem wettbewerbsfähigen Preisverhältnis.
Man könnte Agent teilen Ain mehrere "kleinere" Agenten. Agenten, die die gleichen Nutzenfunktionen und gleichen Anteile an der ursprünglichen Ausstattung hätten. In diesem Fall ist das Zurückhalten eines Teils der Stiftung ein Kartellzug. Es ist nicht individuell rational. Man könnte argumentieren, dass die Zerstörung des „Überschusses“ eine Verpflichtung ist, die für die Koordinierung notwendig ist.
Im Gleichgewicht entspricht die Gesamtnachfrage dem Gesamtangebot in beiden Märkten.
xA+xByA+yB==ωxA+ωxBωyA+ωyB.
Unser nächster Schritt ist die Ermittlung der Nachfrage. Hier sind die Informationen, die wir aus den Dienstprogrammfunktionen sammeln:
Lassen y der numeraire gut, dh lassen py=1. Bezeichnen wir den Preis vonx einfach nur p. Der Wert der ursprünglichen Ausstattung des AgentenA ist z⋅p. Verwenden der Cobb-Douglas-Eigenschaft
xA=z⋅p2⋅p=z2,yA=z⋅p2.
Damit haben wir
xA+xBz2+xBxB===ωxA+ωxBz+0z2.
Es folgt vom Agenten
B's Utility-Funktion, die im Gleichgewicht ist
xB=yB. Damit haben wir
yA+yByA+xByA+z2yA====ωyA+ωyBωyA+ωyB44−z2.