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:
uich= y- -tich+ g- -∑j = 1M.einj∗li j
y im Bruttoeinkommen des Einzelnen,
Gder aus öffentlichen Gütern abgeleitete Maximalwert für eine Person, die alle ihre beliebtesten Typen genießt. Lassen
tich bezeichnen Steuern, die von der
ichth Person. Alessina und Spolaore setzen
G = 0 der Einfachheit halber ohne Verlust der Allgemeinheit (wir können dasselbe für tun
y da es ein exogener Parameter ist).
li j bezeichnet den Abstand von der
ichth Person an die
jDas Gemeinwohl.
einjist ein positiver Parameter, der die Grenzkosten der Entfernung misst. Jeder
jGesamtkosten 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+γj∗ s ,
skjγjjEINC.cj∫C.EINtichdi =cj.
∫10uichdi = y- -∑j = 1M.(kj∗N.j+∑x = 1N.jγj∗sj x+einj∗∫10li jdi )
N.j 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.
jsj xjxx=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
∫10uidi=y−γ−∑j=1M[kj∗Nj+aj∗∫10lji]
jNj∫10lji∫10lji=∑Njx=1s2xj/4∑Njx=1sxj=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:kj∗Nj+aj4Nj
NjNjN∗j=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:
∫10uidi=y−∑j=1M(kj∗Nj+∑x=1Njγj∗sjx+aj∗∫10lijdi)
MjMymin:kj∗Nj+∑x=1Njγj∗sjx+aj∗∫10lijdi
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:
jgjjg∑Njx=1sxj=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γjmin:kj∗Nj+aj∗∫10lijdi
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.∫10lji
Warum ?∫10lji=∑Njx=1s2xj/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