Satu hal yang menggangguku di sini adalah sebagai berikut: Batasan Kompatibilitas Insentif adalah
IC:w′p(a′)+w(1−p(a′))−1≥w′p(a)+w(1−p(a))
⟹w′−w≥1p(a′)−p(a)(1)
... karena dengan asumsi . Kita diberitahu bahwa kita harus menemukan bahwa secara optimal,
p(a′)−p(a)>0
x′−w′=x−w⟹x′−x=w′−w(2)
Menggabungkan dan , jika memang ini adalah optimal di bawah batasan yang diberikan, kita juga harus memiliki(1)(2)
x′−x≥1p(a′)−p(a)(3)
Tetapi ini merupakan kendala tambahan yang perlu pada besaran priori, yang harus berlaku jika solusi optimal yang didalilkan dapat diterima. Bahkan jika memang kendala seperti itu diasumsikan, dalam hal apa pun, itu jelas mengurangi generalitas masalah (yang dimaksudkan untuk menunjukkan sesuatu yang umum, yaitu bagaimana netralitas risiko agen mempengaruhi solusi).
Namun demikian, mari kita bekerja sedikit lebih formal. Saya akan berasumsi bahwa bisa nol, tetapi tidak negatif. Ini adalah masalah maksimalisasi dalam bentuk normal dengan kendala ketimpangan, variabel keputusan non-negatif dan pengganda non-negatif. Lagrangean penuh dari masalah karena itu adalah (saya akan memadatkan notasi dengan cara yang jelas),w,w′
Λ=u(x′−w′)p′+u(x−w)(1−p′)+λ⋅[w′p′+w(1−p′)−1]+μ⋅[w′p′+w(1−p′)−1−w′p−w(1−p)]+ξw+ξ′w′
Kondisi urutan pertama yang penting adalah
∂Λ∂w≤0,∂Λ∂w⋅w=0
dan analog dengan . Ini menghasilkanw′
∂Λ∂w=−u′(x−w)(1−p′)+λ(1−p′)−μ(p′−p)+ξ≤0
⟹u′(x−w)(1−p′)≥λ(1−p′)−μ(p′−p)+ξ
⟹u′(x−w)≥λ−μp′−p1−p′+ξ1−p′(4)
∂Λ∂w′=−u′(x′−w′)p′+λp′+μ(p′−p)+ξ′≤0
⟹u′(x′−w′)≥λ+μp′−p1−p′+ξ′p′(5)
Catatan pertama bahwa tidak kedua upah bisa nol, karena kendala akan dilanggar. Mengingat hal ini, pertimbangkan kemungkinan bahwa mengikat (jadi ). Jika itu mengikat, maka dengan tidak keduanya upah nol, batasan tentu akan dilanggar. Jadi kami menyimpulkannyaIRλ>0IC
λ∗=0
dan kondisi orde pertama sekarang menjadi
u′(x−w)≥−μp′−p1−p′+ξ1−p′(4a)
u′(x′−w′)≥μp′−p1−p′+ξ′p′(5a)
Sekarang perhatikan bahwa jika (yaitu ) maka harus berlaku sebagai persamaan dan dengan suku terakhir di sebelah kanan sama dengan nol. Tetapi ini membutuhkan utilitas marginal negatif yang tidak dapat diterima. Kita juga tahu bahwa tidak kedua upah bisa nol. Jadi kami menyimpulkan bahwa kami harus memilikinyaξ=0w>0(4a)
ξ∗>0,w∗=0,ξ′∗=0,w′∗>0
dan kondisinya sekarang menjadi
u′(x)≥−μp′−p1−p′+ξ∗1−p′(4b)
u′(x′−w′)=μp′−p1−p′(5b)
Eq. menyiratkan bahwa , di bawah spesifikasi fungsi utilitas yang biasa, yang tidak memberikan utilitas marjinal nol kecuali pada infinity. Ini pada gilirannya berarti bahwa batasan harus berlaku sebagai kesetaraan. Mengingat bahwa ini memberi(5b)μ∗>0ICw∗=0
IC:w′p′−1−w′p=0⟹=w′∗=1p′−p(6)
Ini harus membunyikan bel, karena sisi kanan sama dengan sisi kanan dan .(6)(1)(3)
Yaitu, jika kita mengasumsikan apriori bahwa , maka solusi yang telah kita memvalidasi klaimx′−x=1p′−px′−w′∗=x−w∗
Berdasarkan asumsi tambahan ini, kami juga memperoleh
u′(x)≥−μ∗p′−p1−p′+ξ∗1−p′(4c)
u′(x)=μ∗p′−p1−p′(5c)
Menggabungkan, kita dapatkan
μp′−p1−p′≥−μp′−p1−p′+ξ∗1−p′
⟹μ∗≥ξ∗2(p′−p)(7)
Ini bisa diterima . Jadi di bawah , kami mendapatkan solusinyax′−x=1p′−p
{w′∗=x′−x=1/(p′−p),w∗=0,λ∗=0,μ∗≥ξ∗2(p′−p),ξ∗>0,ξ′∗=0}