私が提示する証明は、CES生産関数が一般化された加重平均の形を持っているという事実に関連する技術に基づいています。
これは、CES機能が導入された元の論文、Arrow、KJ、Chenery、HB、Minhas、BS、およびSolow、RM(1961)で使用されました。資本労働の代替と経済効率。経済学と統計のレビュー、225-250。
そこでの著者は、読者にHardy、GH、Littlewood、JE、&Pólya、G.(1952)という本を紹介しました。不等式、第章。2
我々は、一般的なケースを検討
Qk= γ[ a K- ρ+ (1 − a )L- ρ]− kρ、k > 0
。⇒ γ− 1Qk= 1[a(1/Kρ)+(1−a)(1/Lρ)]kρ
1)リミットときρ→∞
ときに我々が限度に興味があるので、私たちはそのための間隔無視することができρ ≤ 0を、そして御馳走ρを厳密に正として。ρ→∞ρ≤0ρ
一般性を失うことなく、想定。また、K 、L > 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)の最初の要素に戻り、
(1−a)(1/Lρ)≤a(1/Kρ)+(1−a)(1/Lρ)≤(1/Lρ)(2)
(1)
limρ→∞(1−a)k/ρ(1/Lk)=(1/Lk)
から(1 / L k)の中間項を挟むので、(1)(1/Lk)
limρ→∞Qk=γ1/Lk=γLk=γ[min{K,L}]k(3)
したがって、場合、基本的なLeontief生産関数を取得します。k=1
2)リミットときρ→0
として指数関数を使用した書き込み機能
γ−1Qk=exp{−kρ⋅ln[a(Kρ)−1+ (1−a)(Lρ)−1]}(4)
に関する対数内の項の1次マクローリン展開(ゼロを中心とするテイラー展開)を考えます。ρ
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 - ρ A LNK- ρ (1 - ) 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
ArrowとCo がCES関数の「分布」パラメーターを呼び出すようにしは、この最後の結果です。a