Các bằng chứng tôi sẽ trình bày dựa trên các kỹ thuật có liên quan đến thực tế là hàm sản xuất CES có dạng trung bình có trọng số tổng quát .
Điều này đã được sử dụng trong bài báo gốc nơi chức năng CES được giới thiệu, Arrow, KJ, Chenery, HB, Minhas, BS, & Solow, RM (1961). Thay thế vốn lao động và hiệu quả kinh tế. Tạp chí Kinh tế và Thống kê, 225-250.
Các tác giả ở đó đã giới thiệu độc giả của họ đến cuốn sách Hardy, GH, Littlewood, JE, & Pólya, G. (1952). Bất bình đẳng , chương .2
Chúng ta xem xét trường hợp tổng quát
Qk=γ[aK−ρ+(1−a)L−ρ]−kρ,k>0
⇒ γ- 1Qk= 1[ a ( 1 / Kρ) + ( 1 - a ) ( 1 / Lρ) ]kρ
1) Giới hạn khi ρ → ∞
Vì chúng ta đang quan tâm đến giới hạn khi chúng ta có thể bỏ qua những khoảng thời gian mà ρ ≤ 0 , và điều trị ρ như Nghiêm tích cực.ρ → ∞ρ ≤ 0ρ
Không mất tính tổng quát, giả sử . Chúng ta cũng có K , L > 0 . Sau đó, chúng tôi xác minh rằng bất bình đẳng sau đây giữ:K≥ L ⇒ ( 1 / Kρ) ≤ ( 1 / Lρ)K, L > 0
( 1 - a )k / ρ( 1 / Lk) ≤ gammaQ−1k≤(1/Lk)
⟹( 1 - a )k / ρ( 1 / Lk)≤[a(1/Kρ)+(1−a)(1/Lρ)]kρ≤(1/Lk)(1)
bằng cách tăng suốt đến quyền getρ/k
mà thực sự nắm giữ, rõ ràng, đưa ra các giả định. Sau đó quay lại phần tử đầu tiên của(1)và
(1−a)(1/Lρ)≤a(1/Kρ)+(1−a)(1/Lρ)≤(1/Lρ)(2)
(1)
limρ→∞(1−a)k/ρ(1/Lk)=(1/Lk)
mà kẹp giữa kỳ từ đến ( 1 / L k ) , vì vậy(1)(1/Lk)
limρ→∞Qk=γ1/Lk=γLk=γ[min{K,L}]k(3)
Vì vậy, với chúng ta có được hàm sản xuất Leontief cơ bản.k=1
2) Giới hạn khi ρ→0
Viết hàm sử dụng hàm mũ như
γ−1Qk=exp{−kρ⋅ln[a(Kρ)−1+(1−a)(Lρ)−1]}(4)
Hãy xem xét việc mở rộng Maclaurin theo thứ tự đầu tiên (mở rộng Taylor tập trung ở mức 0) của thuật ngữ bên trong logarit, liên quan đến :ρ
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)
Chèn lại vào và loại bỏ số mũ bên ngoài,(4)
γ−1Qk=(1+ρ[lnK−aL−(1−a)]+O(ρ2))−k/ρ
Trong trường hợp nó là đục, xác định và viết lạir ≡ 1 / ρ
γ- 1Qk= ( 1 + [ lnK- mộtL- ( 1 - a )]r+ O ( r- 2) )- k r
Bây giờ nó trông giống như một biểu thức có giới hạn ở vô cực sẽ cho chúng ta một cái gì đó theo cấp số nhân:
limρ → 0γ- 1Qk= limr → ∞γ- 1Qk=(exp{lnK−aL−(1−a)})−k
⇒limρ→0Qk=γ(KaL1−a)k
Mức độ đồng nhất của hàm được bảo toàn và nếu k = 1, chúng ta có được hàm Cobb-Douglas.kk=1
Đó là kết quả cuối cùng này khiến mũi tên và Co để gọi sự "phân phối" tham số của hàm CES.a