Die Beweise, die ich vorlegen werde, basieren auf Techniken, die für die Tatsache relevant sind, dass die CES-Produktionsfunktion die Form eines verallgemeinerten gewichteten Mittels hat .
Dies wurde in der Originalarbeit verwendet, in der die CES-Funktion eingeführt wurde, Arrow, KJ, Chenery, HB, Minhas, BS & Solow, RM (1961). Kapitalarbeitersubstitution und wirtschaftliche Effizienz. Die Überprüfung der Wirtschaft und Statistik, 225-250.
Die dortigen Autoren verwiesen ihre Leser auf das Buch Hardy, GH, Littlewood, JE & Pólya, G. (1952). Ungleichungen , Kapitel .2
Wir betrachten den allgemeinen Fall
Qk=γ[ aK-ρ+ ( 1 - a )L- ρ]-kρ,k > 0
⇒ γ- 1Q.k= 1[ a ( 1 /Kρ) + ( 1 - a ) ( 1 /Lρ) ]kρ
1) Grenze, wenn ρ→∞
Da wir an der Grenze, wenn interessiert sind, können wir das Intervall, für das ρ ≤ 0 ist , ignorieren und ρ als streng positiv behandeln.ρ→∞ρ≤0ρ
Ohne Verlust der Allgemeinheit sei . Wir haben auch K , L > 0 . Dann überprüfen wir, dass die folgende Ungleichung gilt:K≥L⇒(1/Kρ)≤(1/Lρ)K,L>0
(1−a)k/ρ(1/Lk)≤γQ−1k≤ (1/Lk)
⟹( 1 - a )k / ρ( 1 / lk) ≤ [ a ( 1 / Kρ)+(1−a)(1/Lρ)]kρ≤(1/Lk)(1)
durch Anheben auf die Potenz zu bekommenρ/k
was angesichts der Annahmen in der Tat offensichtlich zutrifft. Kehren Sie dann zum ersten Element von(1)und zurück
(1−a)(1/Lρ)≤a(1/Kρ)+(1−a)(1/Lρ)≤(1/Lρ)(2)
(1)
limρ→∞(1−a)k/ρ(1/Lk)=(1/Lk)
welches den mittleren Term in bis ( 1 / L k ) einfügt , so(1)(1/Lk)
limρ→∞Qk=γ1/Lk=γLk=γ[min{K,L}]k(3)
Für wir also die grundlegende Leontief-Produktionsfunktion.k=1
2) Grenze wenn ρ→0
Schreibe die Funktion mit Exponential als
γ−1Qk=exp{−kρ⋅ln[a(Kρ)−1+(1−a)(Lρ)−1]}(4)
Betrachten Sie die Maclaurin-Expansion erster Ordnung (Taylor-Expansion bei Null zentriert) des Terms innerhalb des Logarithmus in Bezug auf :ρ
a(Kρ)−1+(1−a)(Lρ)−1=a(K0)−1+(1−a)(L0)−1−a(K0)−2K0ρlnK−(1−a)(L0)−2L0ρlnL+O(ρ2)
=1−ρalnK−ρ(1−a)lnL+O(ρ2)=1+ρ[lnK−aL−(1−a)]+O(ρ2)
Setzen Sie diesen zurück in und entfernen Sie das äußere Exponential,(4)
γ−1Qk=(1+ρ[lnK−aL−(1−a)]+O(ρ2))−k/ρ
Wenn es undurchsichtig ist, definieren Sie und schreiben Sie neur≡1/ρ
γ−1Qk=(1+[lnK−aL−(1−a)]r+O(r−2))−kr
Jetzt sieht es aus wie ein Ausdruck, dessen Grenze im Unendlichen etwas Exponentielles ergibt:
limρ→0γ−1Qk=limr→∞γ−1Qk=(exp{lnK−aL−(1−a)})−k
⇒limρ→0Qk=γ(KaL1−a)k
kk=1
a