บทพิสูจน์ที่ผมจะนำเสนอจะขึ้นอยู่กับเทคนิคที่เกี่ยวข้องกับความจริงที่ว่าฟังก์ชั่นการผลิตงาน CES มีรูปแบบของค่าเฉลี่ยถ่วงน้ำหนักทั่วไป
สิ่งนี้ถูกใช้ในบทความต้นฉบับที่มีการแนะนำฟังก์ชั่น CES, Arrow, KJ, Chenery, HB, Minhas, BS, & Solow, RM (1961) การทดแทนทุนแรงงานและประสิทธิภาพทางเศรษฐกิจ การทบทวนเศรษฐศาสตร์และสถิติ, 225-250.
ผู้เขียนได้ส่งผู้อ่านไปยังหนังสือHardy, GH, Littlewood, JE, & Pólya, G. (1952) ความไม่เท่าเทียมกันบทที่22
เราพิจารณากรณีทั่วไป
Qk=γ[aK−ρ+(1−a)L−ρ]−kρ,k>0
⇒γ−1Qk=1[a(1/Kρ)+(1−a)(1/Lρ)]kρ
1) จำกัด เมื่อρ→∞
เนื่องจากเราสนใจที่จะ จำกัด เมื่อเราสามารถเพิกเฉยต่อช่วงเวลาที่และปฏิบัติต่อเป็นบวกอย่างเคร่งครัดρ→∞ρ≤0ρ
โดยไม่สูญเสียของทั่วไปสมมติโร}) เรามีด้วย จากนั้นเรายืนยันว่าความไม่เท่าเทียมกันมีดังต่อไปนี้: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)
โดยการยกกำลังทั้งหมดไปยังเพื่อรับพลังρ/k
(1−a)(1/Lρ)≤a(1/Kρ)+(1−a)(1/Lρ)≤(1/Lρ)(2)
ซึ่งแน่นอนถือได้อย่างชัดเจนให้สมมติฐาน จากนั้นกลับไปที่องค์ประกอบแรกของและ
(1)
limρ→∞(1−a)k/ρ(1/Lk)=(1/Lk)
ซึ่งแซนด์วิชคำกลางในถึงดังนั้น(1)(1/Lk)
limρ→∞Qk=γ1/Lk=γLk=γ[min{K,L}]k(3)
ดังนั้นสำหรับเราได้รับฟังก์ชันการผลิตพื้นฐานของ Leontiefk=1
2) จำกัด เมื่อρ→0
เขียนฟังก์ชันโดยใช้เลขชี้กำลังเป็น
γ−1Qk=exp{−kρ⋅ln[a(Kρ)−1+(1−a)(Lρ)−1]}(4)
พิจารณาการขยายตัวของ Maclaurin อันดับแรก (การขยายตัวของเทย์เลอร์ที่กึ่งกลางที่ศูนย์) ของคำศัพท์ภายในลอการิทึมโดยคำนึงถึง :ρ
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)
ใส่กลับเข้าไปในและกำจัดเลขชี้กำลังภายนอก(4)
γ−1Qk=(1+ρ[lnK−aL−(1−a)]+O(ρ2))−k/ρ
ในกรณีที่เป็นทึบให้นิยามและเขียนใหม่r≡1/ρ
γ−1Qk=(1+[lnK−aL−(1−a)]r+O(r−2))−kr
ตอนนี้ดูเหมือนว่านิพจน์ที่มีขีด จำกัด อินฟินิตี้จะให้ค่า exponential กับเรา:
limρ→0γ−1Qk=limr→∞γ−1Qk=(exp{lnK−aL−(1−a)})−k
⇒limρ→0Qk=γ(KaL1−a)k
ระดับความเป็นเนื้อเดียวกันของฟังก์ชันนั้นได้รับการเก็บรักษาไว้และถ้าเราได้รับฟังก์ชัน Cobb-Douglaskk=1
มันเป็นอย่างนี้ผลสุดท้ายที่ทำลูกศรและผู้ร่วมที่จะเรียกว่า "กระจาย" พารามิเตอร์ของฟังก์ชั่นในงาน CESa