Một điều làm phiền tôi ở đây là: ràng buộc tương thích khuyến khích là
IC:w′p(a′)+w(1−p(a′))−1≥w′p(a)+w(1−p(a))
⟹w′−w≥1p(a′)−p(a)(1)
... Kể từ khi giả định . Chúng tôi được thông báo rằng chúng tôi sẽ thấy rằng ở mức tối ưu,
p(a′)−p(a)>0
x′−w′=x−w⟹x′−x=w′−w(2)
Kết hợp và , nếu thực sự đây là tối ưu theo các ràng buộc nhất định, chúng ta cũng phải có(1)(2)
x′−x≥1p(a′)−p(a)(3)
Nhưng đây là một hạn chế bổ sung, cần thiết đối với cường độ tiên nghiệm, phải giữ nếu giải pháp tối ưu được đề xuất là có thể được chấp nhận. Ngay cả khi thực sự có một ràng buộc như vậy, trong mọi trường hợp, nó sẽ làm giảm rõ rệt tính tổng quát của vấn đề (có nghĩa là thể hiện một cái gì đó chung chung, tức là tính trung lập rủi ro của tác nhân ảnh hưởng đến giải pháp như thế nào).
Tuy nhiên, hãy làm việc này chính thức hơn một chút. Tôi sẽ giả sử rằng có thể bằng 0, nhưng không âm. Đây là một vấn đề tối đa hóa ở dạng bình thường với các ràng buộc bất bình đẳng, các biến quyết định không âm và bội số không âm. Do đó, Lagrangean đầy đủ của vấn đề là (Tôi sẽ thu gọn ký hiệu một cách rõ ràng),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′
Các điều kiện đặt hàng đầu tiên cần thiết là
∂Λ∂w≤0,∂Λ∂w⋅w=0
và tương tự cho . Những kết quả này trongw′
∂Λ∂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)
Đầu tiên lưu ý rằng không phải cả hai tiền lương đều có thể bằng 0, vì các ràng buộc sẽ bị vi phạm. Vì điều này, hãy xem xét khả năng bị ràng buộc (vì vậy ). Nếu nó là ràng buộc, thì với cả hai mức lương bằng 0, ràng buộc sẽ nhất thiết bị vi phạm. Vì vậy, chúng tôi kết luận rằngIRλ>0IC
λ∗=0
và các điều kiện đặt hàng đầu tiên bây giờ trở thành
u′(x−w)≥−μp′−p1−p′+ξ1−p′(4a)
u′(x′−w′)≥μp′−p1−p′+ξ′p′(5a)
Bây giờ lưu ý rằng nếu (tức là ) thì sẽ giữ như một đẳng thức và với số hạng cuối cùng bên phải bằng 0. Nhưng điều này sẽ đòi hỏi tiện ích cận biên không thể chấp nhận được. Chúng tôi cũng biết rằng không phải cả hai tiền lương đều có thể bằng không. Vì vậy, chúng tôi kết luận rằng chúng ta phải cóξ=0w>0(4a)
ξ∗>0,w∗=0,ξ′∗=0,w′∗>0
và các điều kiện bây giờ trở thành
u′(x)≥−μp′−p1−p′+ξ∗1−p′(4b)
u′(x′−w′)=μp′−p1−p′(5b)
Phương trình ngụ ý rằng , theo thông số chức năng tiện ích thông thường, không cung cấp tiện ích cận biên bằng 0, ngoại trừ ở vô cực. Đến lượt điều này có nghĩa là ràng buộc phải giữ như một đẳng thức. Cho rằng điều này mang lại(5b)μ∗>0ICw∗=0
IC:w′p′−1−w′p=0⟹=w′∗=1p′−p(6)
Điều này sẽ rung chuông, vì phía bên phải của giống như bên phải của và .(6)(1)(3)
Cụ thể, nếu chúng ta giả sử một tiên nghiệm rằng , thì giải pháp mà chúng tôi đã đưa ra để xác thực xác nhận quyền sở hữux′−x=1p′−px′−w′∗=x−w∗
Theo giả định bổ sung này, chúng tôi cũng có được
u′(x)≥−μ∗p′−p1−p′+ξ∗1−p′(4c)
u′(x)=μ∗p′−p1−p′(5c)
Kết hợp, chúng tôi có được
μp′−p1−p′≥−μp′−p1−p′+ξ∗1−p′
⟹μ∗≥ξ∗2(p′−p)(7)
Điều này được chấp nhận . Vì vậy, dưới , chúng tôi thu được giải phápx′−x=1p′−p
{w′∗=x′−x=1/(p′−p),w∗=0,λ∗=0,μ∗≥ξ∗2(p′−p),ξ∗>0,ξ′∗=0}