Sunacağım ispatlar, CES üretim fonksiyonunun genelleştirilmiş bir ortalama anlamına geldiği gerçeğiyle ilgili tekniklere dayanmaktadır .
Bu, CES fonksiyonunun tanıtıldığı orijinal makalede kullanılmıştır, Arrow, KJ, Chenery, HB, Minhas, BS ve Solow, RM (1961). Sermaye-emek ikame ve ekonomik verimlilik. Ekonomi ve İstatistiğin Gözden Geçirilmesi, 225-250.
Buradaki yazarlar okuyucularını Hardy, GH, Littlewood, JE ve Pólya, G. (1952) kitabına yönlendirmiştir. Eşitsizlikler , bölüm .2
Genel durumu
Qk=γ[aK−ρ+(1−a)L−ρ]−kρ,k>0
⇒γ−1Qk=1[a(1/Kρ)+(1−a)(1/Lρ)]kρ
1) Sınır zamanρ→∞
biz sınırı ilgilenen olduğundan zaman biz aralığı göz ardı edebilirsiniz hangi ve tedavi kesinlikle olumlu olarak.ρ→∞ρ≤0ρ
Genelliği kaybetmeden, varsayalım . AyrıcaK≥L⇒(1/Kρ)≤(1/Lρ) . Sonra aşağıdaki eşitsizliğin geçerli olduğunu doğrularız: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)
almak için gücünü yükselterekρ/k
gerçekten de kabul edilen varsayımlar göz önüne alındığında. Sonra(1) 'in ilk elemanına geri dönünve
(1−a)(1/Lρ)≤a(1/Kρ)+(1−a)(1/Lρ)≤(1/Lρ)(2)
( 1 )
limρ → ∞( 1 - a )k / ρ( 1 / Lk) = ( 1 / Lk)
hangi orta terimi ila ( 1 / L k ) ' de sandviçler , yani( 1 )( 1 / Lk)
limρ → ∞Sk= γ1/Lk=γLk=γ[min{K,L}]k(3)
Böylece için temel Leontief üretim fonksiyonunu elde ederiz.k=1
2) olduğunda sınırlandırρ→0
Fonksiyonu üstel kullanarak üstel olarak kullanın.
γ−1Qk=exp{−kρ⋅ln[a(Kρ)−1+(1−a)(Lρ)−1]}(4)
İle ilgili olarak birinci dereceden Maclaurın genişleme logaritma içinde teriminin (sıfır merkezli Taylor genişleme), göz önünde :ρ
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)
Bunu içine geri yerleştirin ve dış üstelden kurtulun,(4)
γ−1Qk=(1+ρ[lnK−aL−(1−a)]+O(ρ2))−k/ρ
Opak olması durumunda, tanımlayın ve yeniden yazınr≡1/ρ
γ−1Qk=(1+[lnK−aL−(1−a)]r+O(r−2))−kr
Şimdi sonsuzluktaki limiti bize üstel bir şey verecek bir ifadeye benziyor:
limρ→0γ−1Qk=limr→∞γ−1Qk=(exp{lnK−aL−(1−a)})−k
⇒limρ→0Qk=γ(KaL1−a)k
Fonksiyonun homojenliği korunur ve eğer k = 1 ise Cobb-Douglas fonksiyonunu elde ederiz.kk=1
Bu son sonucuydu, Arrow ve Co , CES işlevinin "dağıtım" parametresini çağırdı .a