Наведені нами докази ґрунтуються на техніках, що мають відношення до того, що виробнича функція СЕС має форму узагальненого середньозваженого середнього значення .
Це було використано в оригінальній статті, де було введено функцію CES, Arrow, KJ, Chenery, HB, Minhas, BS, & Solow, RM (1961). Заміщення капіталу та робочої сили та економічна ефективність. Огляд економіки та статистики, 225-250.
Автори там посилали своїх читачів на книгу Hardy, GH, Littlewood, JE, & Pólya, G. (1952). Нерівності , глава .2
Розглянемо загальний випадок
Qк= γ[ а К- ρ+ ( 1 - а ) L- ρ]- кρ,k > 0
⇒ γ- 1Qк= 1[ а ( 1 / Кρ) + ( 1 - а ) ( 1 / лρ) ]кρ
1) Обмеження, коли ρ → ∞
Оскільки нас цікавить межа, коли ми можемо ігнорувати інтервал, для якого ρ ≤ 0 , і трактувати ρ як строго позитивний.ρ → ∞ρ ≤ 0ρ
Не втрачаючи загальності, припустимо . Маємо також K , L > 0 . Тоді ми перевіряємо, чи виконується наступна нерівність:К≥ L ⇒ ( 1 / Кρ) ≤ ( 1 / лρ)К, L > 0
( 1 - а )k / ρ(1 / лк) ≤ γQ- 1к≤ ( 1 /лк)
⟹( 1 - а )k / ρ( 1 / лк) ≤ [ a ( 1 / Kρ) + ( 1 - а ) ( 1 / лρ) ]кρ≤ ( 1 / лк)(1)
піднімаючи всюди до сили щоб отриматиρ / k
що дійсно має місце, очевидно, з огляду на припущення. Потім поверніться до першого елемента(1)і
( 1 - а ) ( 1 / лρ) ≤ a ( 1 / Kρ) + ( 1 - а ) ( 1 / лρ) ≤ ( 1 / лρ)(2)
( 1 )
limρ → ∞( 1 - а )k / ρ( 1 / лк) = ( 1 /Lк)
який бутербродів середнього члена в до ( 1 / L k ) , так( 1 )( 1 /Lк)
limρ → ∞Qк= γ1 / лк= γLк= γ[ хв{К, L } ]к(3)
Отже для ми отримуємо основну функцію виробництва Леонтьєва.k = 1
2) Обмежте, коли ρ → 0
Запишіть функцію, використовуючи експоненціальну як
γ- 1Qк= Досвід{ - кρ⋅ ln[ а(Кρ)- 1+ ( 1 - а ) ( Lρ)- 1] }(4)
Розглянемо розширення Маклауріна першого порядку (розширення Тейлора з центром нуля) терміна всередині логарифму стосовно :ρ
а ( Кρ)- 1+ ( 1 - а ) ( 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
Тепер це схоже на вираз, обмеження якого у нескінченності дасть нам щось експоненціальне:
limρ→0γ−1Qk=limr→∞γ−1Qk=(exp{lnK−aL−(1−a)})−k
⇒limρ→0Qk=γ(KaL1−a)k
Ступінь однорідності функції зберігається, і якщо k = 1 отримаємо функцію Кобба-Дугласа.kk=1
Саме цей останній результат , який зробив Стрілець і Ко назвати параметр «розподілу» функцій CES.a