เนื่องจากเรากำลังสงสัยวิธีแก้ปัญหามุมจึงควรเขียนปัญหาอย่างชัดเจนด้วยข้อ จำกัด ยิ่งไปกว่านั้นให้ใช้เงื่อนไข Fritz John ( FJ ) แทนเงื่อนไข Karush-Kuhn-Tucker ( KKT ) เราจะพูดถึงความแตกต่างเมื่อเราไปพร้อมกัน
maxα∫u[w+α(z−1)]dF(z),s.t.w−α≥0
ลากรองจ์ภายใต้สูตร Firtz John คือ
LFJ=λ0∫u[w+α(z−1)]dF(z)+λ1(w−α)
องค์ประกอบใหม่เป็นตัวคูณในฟังก์ชั่นวัตถุประสงค์\โดยไม่สูญเสียความสามารถทั่วไปเราสามารถระบุได้λ0
λ0∈{0,1},λ0+λ1≠0
อะไรคือสิ่งที่เราได้รับที่นี่เมื่อเทียบกับที่รู้จักอย่างกว้างขวางมากขึ้นและใช้KKT -conditions? หากวิธีการแก้ปัญหามีความจำเป็นที่เราได้รับKKTเงื่อนไขมีคุณสมบัติข้อ จำกัด ความพึงพอใจ หากวิธีการแก้ปัญหาจำเป็นที่มันจะสะท้อนถึงกรณีพิเศษอื่น ๆ กรณีที่คุณสมบัติการ จำกัด ไม่สามารถถือได้ λ0=1λ0=0
(ตัวอย่างมาตรฐานคือกรณีที่เซตที่เป็นไปได้สำหรับ
ถูกลดลงเป็นจุดเดียวเนื่องจากข้อ จำกัด ที่กำหนดจากนั้นเราจะพบว่าทางออกเดียวที่บอกว่าซึ่งมีคำอธิบายที่เข้าใจง่าย: ifสามารถรับหนึ่งค่าเพียงหนึ่งเดียวเท่านั้นเนื่องจากข้อ จำกัด จากนั้นฟังก์ชันวัตถุประสงค์ "ไม่มีบทบาท" ในการกำหนดและดังนั้นจึงได้รับตัวคูณเป็นศูนย์)αλ0=0αα
กลับไปที่ปัญหาของเรา เงื่อนไขการสั่งซื้อครั้งแรกคือ
∂LFJ∂α=λ0∫u′[w+α(z−1)]⋅(z−1)dF(z)−λ1≤0
(โปรดสังเกตว่า "ต่ำกว่าหรือเท่ากับศูนย์" ซึ่งเป็นกรณีเมื่อปรับให้เหมาะสมภายใต้ข้อ จำกัด ความไม่เสมอภาคมากกว่าเพียงแค่ "เท่ากับ")
ครั้งแรกที่เราสร้างที่ 0 เนื่องจากและนูน (เข้มงวด) ของฟังก์ชันยูทิลิตี้และสมมติฐานที่เรามี (ใช้ความไม่เท่าเทียมกันของเซ่น)α∗>0u′>0u′′>0E(z)>1
E[u(w+α(z−1))]>u(w+α(E(z)−1))]>u(w+0⋅(E(z)−1))=u(w)
ตอนนี้เราหันไปตรวจสอบกรณีต่างๆ เนื่องจากตัวคูณสองตัวไม่สามารถเป็นทั้งศูนย์ได้และรับเพียงสองค่าจึงมีการรวมกันที่เป็นไปได้สามแบบλ0
ตรวจสอบกรณีที่ 1 λ0=1
จากนั้นในหลักการสามารถเป็นศูนย์หรือบวก ตรวจสอบกรณีที่คือข้อ จำกัด ที่ไม่ผูกพันซึ่งหมายความว่า<W ด้วยตัวคูณทวีคูณผู้สมัครนี้เงื่อนไขการสั่งซื้อครั้งแรกจะกลายเป็นλ1λ1=0α∗<w{λ0=1,λ1=0}
∫u′[w+α(z−1)]⋅(z−1)dF(z)≤0⇒E(zu′)−E(u′)≤0
ตั้งแต่0 นอกจากนี้เนื่องจากเรามีสิ่งนั้นu′>0⇒E(u′)>0E(z)>1
E(u′)<E(u′)E(z)⇒E(zu′)<E(u′)E(z)⇒Cov(z,u′)<0
แต่นี้ไม่สามารถถือเพราะตั้งแต่และเรามีที่จะเป็นอย่างเคร่งครัดเพิ่มขึ้นในZดังนั้นความแปรปรวนร่วมของและไม่สามารถเป็นค่าลบได้ แต่แล้วคู่ของค่าตัวคูณไม่สามารถแก้ปัญหานี้เกิดขึ้นเนื่องจากสมมติฐาน 0 α∗>0u′′>0u′zzu′{λ0=1,λ1=0}u′′>0
เราจะเหลือกรณี
หรือ\} ในทั้งสองกรณีนี้คือข้อ จำกัด มีผลผูกพันคือเราจะมีW QED{λ0=1,λ1>0}{λ0=0,λ1>0}λ1>0α∗=w
อ้างอิง
เงื่อนไข Fritz John ได้รับการระบุไว้ใน " F. JOHN. ปัญหา Extremum กับความไม่เท่าเทียมเป็นเงื่อนไขด้านใน" การศึกษาและบทความ, Courant Anniversary Volume " (KO Friedrichs, OE Neugebauer และ JJ Stoker, eds.), pp. 187-204 . Wiley (Interscience), New York, 1948 "
และได้รับการสรุปใน
" Mangasarian, OL, & Fromovitz, S. (1967). Fritz John เงื่อนไขการมองโลกในแง่ดีที่จำเป็นในการปรากฏตัวของข้อ จำกัด ความเสมอภาคและความไม่เท่าเทียมกันวารสารการวิเคราะห์ทางคณิตศาสตร์และการประยุกต์ 17, 1, 37-47