Що мене тут турбує, це таке: обмеження стимулювальної сумісності
IC:w′p(a′)+w(1−p(a′))−1≥w′p(a)+w(1−p(a))
⟹w′−w≥1p(a′)−p(a)(1)
... оскільки за припущенням . Нам кажуть, що нам слід знайти, що при оптимальному
p(a′)−p(a)>0
x′−w′=x−w⟹x′−x=w′−w(2)
Поєднуючи і , якщо це дійсно є оптимальним при заданих обмеженнях, ми також повинні мати(1)(2)
x′−x≥1p(a′)−p(a)(3)
Але це додаткове, необхідне обмеження апріорних величин, яке повинно мати місце, якщо постульоване оптимальне рішення буде допустимим. Навіть якщо передбачається таке обмеження, у будь-якому випадку воно помітно зменшує загальність проблеми (яка має на меті показати щось загальне, тобто як нейтралітет агента впливає на рішення).
Тим не менш, давайте попрацюємо це трохи формальніше. Я буду вважати, що може бути нульовим, але не від'ємним. Це проблема максимізації в нормальній формі з обмеженнями нерівності, змінними негативними рішеннями і невід'ємними множниками. Повна проблема Лагранжа полягає в тому, що (я очевидно компактну нотацію),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′
Основними умовами першого замовлення є
∂Λ∂w≤0,∂Λ∂w⋅w=0
і аналогічно . Ці результати вw′
∂Λ∂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)
По-перше, зауважте, що не обидві зарплати можуть дорівнювати нулю, оскільки обмеження будуть порушені. Враховуючи це, врахуйте можливість того, що є обов'язковим (так ). Якщо вона є обов'язковою, то, якщо не обидві нульові зарплати, обмеження обов'язково буде порушено. Отже, ми робимо висновок про цеIRλ>0IC
λ∗=0
і тепер стали умови першого порядку
u′(x−w)≥−μp′−p1−p′+ξ1−p′(4a)
u′(x′−w′)≥μp′−p1−p′+ξ′p′(5a)
Тепер зауважимо, що якщо (тобто ), то має бути рівним і з останнім членом праворуч рівним нулю. Але для цього потрібна негативна гранична корисність, яка недопустима. Ми також знаємо, що не обидві зарплати можуть бути нульовими. Отже ми робимо висновок, що треба матиξ=0w>0(4a)
ξ∗>0,w∗=0,ξ′∗=0,w′∗>0
і умови зараз стають
u′(x)≥−μp′−p1−p′+ξ∗1−p′(4b)
u′(x′−w′)=μp′−p1−p′(5b)
Eq випливає, що за звичайною специфікацією функції утиліти, яка не дає нульової граничної корисності, за винятком нескінченності. Це в свою чергу означає , що обмеження повинно займати як рівність. Враховуючи, що це дає(5b)μ∗>0ICw∗=0
IC:w′p′−1−w′p=0⟹=w′∗=1p′−p(6)
Це повинно дзвонити дзвоном, оскільки права частина є такою ж, як права з та .(6)(1)(3)
А саме, якщо ми апріорно припускаємо, що , то рішення, до якого ми дійшли, підтверджує твердженняx′−x=1p′−px′−w′∗=x−w∗
За цим додатковим припущенням ми також отримуємо
u′(x)≥−μ∗p′−p1−p′+ξ∗1−p′(4c)
u′(x)=μ∗p′−p1−p′(5c)
Поєднуючись, ми отримуємо
μp′−p1−p′≥−μp′−p1−p′+ξ∗1−p′
⟹μ∗≥ξ∗2(p′−p)(7)
Це допустимо . Отже під ми отримуємо рішенняx′−x=1p′−p
{w′∗=x′−x=1/(p′−p),w∗=0,λ∗=0,μ∗≥ξ∗2(p′−p),ξ∗>0,ξ′∗=0}