Überlappende Gerichtsbarkeiten Modell: Beweis von Lemma 1; Die Größe der Nationen

7

Ich habe das Buch 'The Size of Nations' von Alberto Alesina und Enrico Spolaore gelesen (kann im Internet gefunden werden, wenn Sie wissen, wo Sie suchen müssen), und ich habe Probleme, ihrem "Beweis" des ersten Lemmas für das zu folgen Modell überlappender Gerichtsbarkeiten. Erstens erkläre ich das Modell und das Lemma, zweitens werde ich ihren Beweis liefern und schließlich meinen (unvollständigen) Versuch, den Beweis des Lemmas mit den Fragen zu erbringen, die ich habe. Ein ähnliches Modell finden Sie in einem Artikel von Spolaroe hier: https://isites.harvard.edu/fs/docs/icb.topic107502.files/Alesina_and_Spolaore.On_the_Number_and_Size_of_Nations.pdf (nicht erforderlich)

Das Model

In dem Modell ist die 'Welt' ein lineares Längensegment, das auf 1 normiert ist. Es gibt auch eine Masse von "identischen" Individuen (außer an Ort und Stelle, damit wir ihre Dienstprogramme addieren können) 1, die gleichmäßig über das Segment verteilt sind (ein Individuum) in jedem Punkt des Segments). Es gibtM öffentliche Güter, indexiert von j=1,2,...,MjJedes Gut ist in einem Kontinuum von Typen erhältlich. Wenn gutj befindet sich am Punkt w(0,1) entlang des Segments nennen wir die Art des Gutes j eine Art wgut (Hinweis: Dies ist kein anderes Gut, es ist eine andere Art des gleichen Gutes). Gerichtsbarkeiten bieten öffentliche Güter. Eine Gerichtsbarkeit für diejth Das öffentliche Gut wird durch drei Punkte im Segment definiert: Zum Beispiel: A, B, und Cmit A<B<C. Der MittelpunktB gibt an, wo sich das öffentliche Gut befindet; Die anderen beiden sind die Grenzen der Gerichtsbarkeit. Eine Gerichtsbarkeit, die öffentliches Gut bietetj ist definiert als jGerichtsstand. Es gibt auch keine externen Effekte.

Der Nutzen der iDas Individuum wird bezeichnet mit:

ui=yti+gj=1Majlij
y im Bruttoeinkommen des Einzelnen, gder aus öffentlichen Gütern abgeleitete Maximalwert für eine Person, die alle ihre beliebtesten Typen genießt. Lassenti bezeichnen Steuern, die von der ith Person. Alessina und Spolaore setzeng = 0 der Einfachheit halber ohne Verlust der Allgemeinheit (wir können dasselbe für tun y da es ein exogener Parameter ist). lij bezeichnet den Abstand von der ith Person an die jDas Gemeinwohl. ajist ein positiver Parameter, der die Grenzkosten der Entfernung misst. JederjGesamtkosten des öffentlichen Gutes cjin einer bestimmten Gerichtsbarkeit ist gegeben durch: wobei die Größe der Gerichtsbarkeit ist, feste Kosten sind, die unabhängig von der Größe der Gerichtsbarkeit sind, und ist ein positiver Parameter (Grenzkosten der Größe). Die Gesamtsteuern in einer Gerichtsbarkeit auf Ebene mit Grenzen bei und müssen gleich (ausgeglichenes Budget) sein: Daher ist die Summe aller Dienstprogramme gegeben durch: wobei
cj=kj+γjs,
skjγjjACcj
ACtidi=cj.
01uidi=yj=1M(kjNj+x=1Njγjsjx+aj01lijdi)
Nj ist die Anzahl der Gerichtsbarkeiten auf und ist die Größe einer Gerichtsbarkeit auf Ebene für . Betrachten Sie das Problem eines utilitaristischen Sozialplaners, der die Summe der wie oben definierten einzelnen Versorgungsunternehmen maximieren möchte.jsjxjxx=1,2,...,Nj

Lemma

Für jedes öffentliche Gut unterteilt der Sozialplaner die Welt in Gerichtsbarkeiten gleicher Größe und lokalisiert in der Mitte jeder Gerichtsbarkeit ein öffentliches Gut . Nj ist die Ganzzahl in der Nähe von: jNjsj=1/Njj

aj/4kj

Alesina und Spolaroes "Beweis" des Lemmas (2.1 im Buch)

Die Summe der zu maximierenden Dienstprogramme wird durch [die Autoren haben eine Notation ] angegeben: Für das Gemeinwohl und für eine bestimmte Anzahl von Gerichtsbarkeiten gilt die Die Summe der Entfernungen wird minimiert, wenn sich das öffentliche Gut in der Mitte jeder Gerichtsbarkeit befindet. Daher wird die Summe der Entfernungen als , wobei Die Summe der Quadrate wird minimiert, indem Gerichtsbarkeiten gleicher Größe ausgewählt werden, . Daher die Lösung für jedes

01uidi=yγj=1M[kjNj+aj01lji]
jNj01lji01lji=x=1Njsxj2/4x=1Njsxj=1sj=1/NjjNjist die positive ganze Zahl, die löst: Die Bedingung erster Ordnung für ( Das Ignorieren der Einschränkung, dass eine ganze Zahl sein muss, impliziert :
minNj:kjNj+aj4Nj
NjNj
Nj=aj4kj

Mein Versuch

Ich beginne mit: Vergessen wir jetzt, dass es public gibt Waren (da sie nicht miteinander interagieren, sind sie unabhängig, so dass eine allgemeine Lösung für ein -öffentliches Gut sie auf öffentliche Güter anwenden kann ). Wir können ohne Verlust der Allgemeinheit auf 0 setzen. Aus diesem Grund wird das Problem des utilitaristischen Sozialplaners:

01uidi=yj=1M(kjNj+x=1Njγjsjx+aj01lijdi)
MjMy
min:kjNj+x=1Njγjsjx+aj01lijdi
j-Stufen-Gerichtsbarkeiten überschneiden sich nicht (nur mit anderen Ebenen), da eine Person immer auf der Ebene sein möchte, um die verfügbare Gerichtsbarkeit zu schließen, gibt es keine Vorteile, wenn sie sich in mehr als einer Gerichtsbarkeit derselben Ebene befindet ( fest und auf 0 gesetzt), aber es gibt Kosten für größere Gerichtsbarkeiten, so dass der utilitaristische Sozialplaner niemals Gerichtsbarkeiten auf Ebene entwerfen wird , die sich überlappen. Gerichtsbarkeiten auf Ebene besetzen auch das gesamte Segment, da alle Personen Zugang zu jedem öffentlichen Gut haben müssen (also ja, seien Sie kein Troll, der sagt, dass die Größe und Anzahl der optimalen Gerichtsbarkeiten 0 ist, da die Autoren zuvor setze auf 0). All dies impliziert Folgendes:jgjjgx=1Njsxj=1 , so dass das Problem des utilitaristischen Sozialplaners zusammenbricht (ich behalte die Indizes für die Allgemeinheit und setze auf 0, da es gegeben ist Parameter, der von keiner Auswahlvariablen beeinflusst wird): Ich stecke hier fest, also ich habe 3 Fragen:jγj
min:kjNj+aj01lijdi
  • Gibt es eine Möglichkeit zu beweisen, dass die Summe der Entfernungen minimiert wird, wenn sich das öffentliche Gut in der Mitte jeder Gerichtsbarkeit befindet? Ich verstehe die Logik, aber ich weiß nicht, wie ich den Beweis bekommen soll.01lji

  • Warum ?01lji=x=1Njsxj2/4

  • Warum wird die Summe der Quadrate minimiert, indem Gerichtsbarkeiten gleicher Größe gewählt werden, ? (Beweis wäre hilfreich, da ich irgendwie die Intuition bekomme, warum es so sein sollte, aber ich bin nicht sicher).sj=1/Nj

Dogen
quelle

Antworten:

2

Gibt es eine Möglichkeit zu beweisen, dass die Summe der Entfernungen minimiert wird, wenn sich das öffentliche Gut in der Mitte jeder Gerichtsbarkeit befindet?01ljidi

Uns wird gesagt, "es gibt keine externen Effekte" - so genießt jeder Einzelne nur das öffentliche Gut, das in seiner eigenen Gerichtsbarkeit angeboten wird.

Dies bedeutet jedoch, dass wir zur Bestimmung der optimalen Position des öffentlichen Gutes in jeder Gerichtsbarkeit zunächst eine einzige Gerichtsbarkeit in Betracht ziehen können . Dann haben wir für diese Untergruppe von Individuen

i[A,C]:ACljidi=AC|iwj|di=Awj(wji)di+wjC(iwj)di

Durch diese Integration erhalten wir

i[A,C]:ACljidi=wj2(A+C)wj+12(A2+C2)

Minimieren gibt dies

wj=A+C2

Dies ist jedoch der Mittelpunkt des Intervalls, und und mit Ausnahme von beliebig . Wir kommen daher zu dem Schluss, dass sich das Gemeinwohl in der Mitte jeder Gerichtsbarkeit befinden muss.ACA<C

Warum ?01ljidi=x=1Njsxj2/4

Mit dem vorherigen Ergebnis haben wir das

i[A,C]:minACljidi=(A+C2)2(A+C)22+12(A2+C2)

...i[A,C]:minACljidi=(AC)24=(CA)24

Der Zähler ist jedoch die quadratische Länge dieser Gerichtsbarkeit. Uns wird auch gesagt, dass jedes öffentliche Gut in jeder Gerichtsbarkeit angeboten werden muss und dass alle Gerichtsbarkeiten das gesamte Intervall abdecken müssen, ohne sich zu überschneiden (für die Ebene, die wir untersuchen). Dies impliziert, dass wir für das gesamte einheitliche Intervall erhaltenj

min01ljidi=x=1Njsxj2/4

Es ist also die Gesamtentfernung nach der Optimierung für den Standort des öffentlichen Gutes in jeder Gerichtsbarkeit.

Schließlich,

Warum die Summe der Quadrate durch Auswahl gleich großer Gerichtsbarkeiten minimiert wird,sj=1/Nj

In der allgemeinen Notation möchten Sie mini=1nzi2s.t.inzi=1

Der Lagrange istΛ=i=1nzi2λ(inzi1)

und wir haben Bedingungen erster Ordnungn2ziλ=0zi=2/λ,i=1,...,n

Dies bedeutet aber, dass z1=z2=...=zn=z

Die Lösung muss die Einschränkung berücksichtigen, damitinzi=nz=1z=1/n

Alecos Papadopoulos
quelle