Bukti yang akan saya sajikan didasarkan pada teknik yang relevan dengan fakta bahwa fungsi produksi CES memiliki bentuk rata-rata tertimbang secara umum .
Ini digunakan dalam kertas asli di mana fungsi CES diperkenalkan, Arrow, KJ, Chenery, HB, Minhas, BS, & Solow, RM (1961). Substitusi modal-tenaga kerja dan efisiensi ekonomi. Tinjauan Ekonomi dan Statistik, 225-250.
Para penulis di sana merujuk pembaca mereka ke buku Hardy, GH, Littlewood, JE, & Pólya, G. (1952). Ketidaksetaraan , bab .2
Kami menganggap kasus umum
Qk= γ[ a K- ρ+ ( 1 - a ) L- ρ]- kρ,k > 0
⇒ γ- 1Qk= 1[ a ( 1 / Kρ) + ( 1 - a ) ( 1 / Lρ) ]kρ
1) Batasi ketikaρ → ∞
Karena kami tertarik pada batas ketika kita dapat mengabaikan interval , dan memperlakukan sebagai benar-benar positif. ρ → ∞ ρ ≤ 0 ρ
ρ → ∞ρ ≤ 0ρ
Tanpa kehilangan umum, anggap . Kami juga memiliki . Kemudian kami memverifikasi bahwa ketidaksetaraan berikut berlaku:K , L > 0K≥ 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)
dengan menaikkan seluruh ke kekuatan untuk mendapatkanρ/k
(1)
( 1 - a ) ( 1 / Lρ) ≤ a ( 1 / Kρ) + ( 1 - a ) ( 1 / Lρ) ≤ ( 1 / Lρ)(2)
yang memang memegang, jelas, dengan asumsi. Kemudian kembali ke elemen pertama dan
( 1 )
limρ → ∞( 1 - a )k / ρ( 1 / Lk) = ( 1 / Lk)
yang mengapit istilah tengah dalam hingga , jadi( 1 / L k )( 1 )( 1 / Lk)
limρ → ∞Qk= γ1 / Lk= γL.k= γ[ min{K, L } ]k(3)
Jadi untuk kita mendapatkan fungsi produksi Leontief dasar.k=1
2) Batasi ketikaρ→0
Tulis fungsi menggunakan eksponensial sebagai
γ−1Qk=exp{−kρ⋅ln[a(Kρ)−1+(1−a)(Lρ)−1]}(4)
Pertimbangkan ekspansi Maclaurin orde pertama (ekspansi Taylor berpusat pada nol) dari istilah di dalam logaritma, sehubungan dengan :ρ
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)
Masukkan ini kembali ke dan singkirkan eksponensial luar,( 4 )
γ- 1Qk= ( 1 + ρ [ lnK- aL.- ( 1 - a )] +O( ρ2) )- k / ρ
Dalam kasus itu buram, tentukan dan tulis ulangr ≡ 1 / ρ
γ- 1Qk= ( 1 + [ lnK- aL.- ( 1 - a )]r+ O ( r- 2) )- k r
Sekarang memang terlihat seperti ekspresi yang batasnya tak terbatas akan memberi kita sesuatu yang eksponensial:
limρ → 0γ- 1Qk= limr → ∞γ- 1Qk= ( exp{ lnK- aL.- ( 1 - a )} )- k
⇒ limρ → 0Qk= γ( KSebuahL.1 - a)k
Tingkat homogenitas dari fungsi dipertahankan, dan jika kita memperoleh fungsi Cobb-Douglas.k = 1kk = 1
Itu hasil terakhir ini yang membuat panah dan Co untuk memanggil "distribusi" parameter dari fungsi CES.Sebuah