Nội dung chính của luận án bao gồm: Thiết lập các điều cần Karush-Kuhn-Tucker cho nghiệm hữu hiệu Henig địa phương và nghiệm siêu hữu hiệu địa phương của bài toán cân bằng vecto có ràng buộc đẳng thức, bất đẳng thức và ràng buộc tập trong không gian Banach với các hàm Lipschitz địa phương
✣❸■ ❍➴❈ ❚❍⑩■ ◆●❯❨➊◆ ❚❘×❮◆● ✣❸■ ❍➴❈ ❙× P❍❸▼ ✖✖✖✖✖✖✖✖✖✖✖✖✖✖✖✖✖✖ ❚❘❺◆ ❚❍➚ ▼❆■ ✣■➋❯ ❑■➏◆ ❈❺◆ ❱⑨ ✣Õ ❈❍❖ ◆●❍■➏▼ ❍Ú❯ ❍■➏❯ ❈Õ❆ ❇⑨■ ❚❖⑩◆ ❈❹◆ ❇➀◆● ❱❊❈❚❒ ◗❯❆ ❉×❰■ ❱■ P❍❹◆ ❙❯❨ ❘❐◆● ❚➶▼ ❚➁❚ ▲❯❾◆ ⑩◆ ❚■➌◆ ❙➒ ❚❖⑩◆ ❍➴❈ ❚❍⑩■ ◆●❯❨➊◆ ✲ ✷✵✶✾ ❈ỉ♥❣ tr➻♥❤ ✤÷đ❝ ❤♦➔♥ t❤➔♥❤ t↕✐✿ ❚r÷í♥❣ ✣↕✐ ❤å❝ ❙÷ ♣❤↕♠ ✲ ✣↕✐ ❤å❝ ữớ ữợ ộ ▲÷✉ P❤↔♥ ❜✐➺♥ ✶✿✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳ P❤↔♥ ❜✐➺♥ ✷✿✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳ P❤↔♥ ❜✐➺♥ ✸✿✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳ s ữủ trữợ ỗ ❧✉➟♥ →♥ ❝➜♣ tr÷í♥❣ ❤å♣ t↕✐✿ ❚r÷í♥❣ ✣↕✐ ❤å❝ ❙÷ ỗ ✳✳✳✳✳ ♥❣➔② ✳✳✳✳✳ t❤→♥❣ ✳✳✳✳✳ ♥➠♠ ✷✵✶✾ ❈â t❤➸ t➻♠ ❤✐➸✉ ❧✉➟♥ →♥ t↕✐ t❤÷ ✈✐➺♥✿✿ ✲ ❚❤÷ ✈✐➺♥ ◗✉è❝ ❣✐❛ ❱✐➺t ◆❛♠❀ ✲ ❚r✉♥❣ t➙♠ ❤å❝ ❧✐➺✉ ✕ ✣↕✐ ❤å❝ ❚❤→✐ ◆❣✉②➯♥❀ ✲ ❚❤÷ ✈✐➺♥ tr÷í♥❣ ✣↕✐ ❤å❝ ❙÷ ♣❤↕♠ ✕ ✣↕✐ ❤å❝ ❚❤→✐ ◆❣✉②➯♥✳ ▼ð ✤➛✉ ❇➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✭❡q✉✐❧✐❜r✐✉♠ ♣r♦❜❧❡♠✮ ✤÷đ❝ ❊✳ ❇❧✉♠ ✈➔ ❲✳ ❖❡tt❧✐ ✤÷❛ r❛ ❧➛♥ ✤➛✉ t✐➯♥ ✈➔♦ ♥➠♠ ✶✾✾✹ ✈➔ ♥❤❛♥❤ ❝❤â♥❣ ❤➜♣ ❞➝♥ ♥❤✐➲✉ ♥❤➔ t♦→♥ ❤å❝ ♥❣❤✐➯♥ ❝ù✉ ❞♦ ♣❤↕♠ ✈✐ ù♥❣ ❞ư♥❣ rë♥❣ ❧ỵ♥ ❝õ❛ ♥â✳ ❇➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì ✤â♥❣ ♠ët ✈❛✐ trá q✉❛♥ trå♥❣ tr♦♥❣ ❣✐↔✐ t➼❝❤ ♣❤✐ t✉②➳♥✱ ♥â ❝❤♦ t❛ ♠ët ♠æ ❤➻♥❤ t ủ t ỗ t ♥❤❛✉ ♥❤÷✿ ❇➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì❀ ❇➔✐ t♦→♥ tè✐ ÷✉ ✈❡❝tì❀ ❇➔✐ t♦→♥ ✤✐➸♠ ❜➜t ✤ë♥❣❀ ❇➔✐ t♦→♥ ❜ò ✈❡❝tì❀ ❇➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ◆❛s❤ ✈❡❝tì✱✳✳✳✳ ❈→❝ ❧➽♥❤ ✈ü❝ ♥❣❤✐➯♥ ❝ù✉ ❝õ❛ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ tỡ ỗ tố ữ ỹ tỗ t ♥❣❤✐➺♠❀ ❚❤✉➟t t♦→♥❀ ❚➼♥❤ ❝❤➜t t➟♣ ♥❣❤✐➺♠❀ ❚➼♥❤ ê♥ ✤à♥❤ ♥❣❤✐➺♠❀ ✣ë ♥❤↕② ♥❣❤✐➺♠✱✳ ✳ ✳ ❚r♦♥❣ ♥❤ú♥❣ ♥➠♠ ❣➛♥ ✤➙②✱ ♥❤✐➲✉ ♥❣❤✐➯♥ ❝ù✉ tr♦♥❣ ❣✐↔✐ t➼❝❤ ❦❤ỉ♥❣ trì♥ ✤➣ t tr t tr ữợ ữợ ỳ ổ tốt ✤➸ ♥❣❤✐➯♥ ❝ù✉ ❝→❝ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ❝→❝ t tố ữ ợ ổ trỡ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ❝→❝ ❜➔✐ t♦→♥ tè✐ ÷✉ ✈ỵ✐ ❝→❝ ❞ú ❧✐➺✉ ❦❤ỉ♥❣ trì♥ ✤➣ ✈➔ ✤❛♥❣ ♣❤→t tr ữợ ổ ỳ ữợ ỗ ữợ r Pt r r ữợ s rở ữợ s✉② rë♥❣ ✭❝♦♥✈❡①✐❢✐❝❛t♦r✮ ❧➔ ♠ët ❝ỉ♥❣ ❝ư tèt ✤➸ t❤✐➳t tố ữ ổ trỡ ữợ s rở ỗ t t ữủ ✤÷❛ r❛ ❜ð✐ ❱✳❋✳ ❉❡♠②❛♥♦✈ ✭✶✾✾✹✮✳ ❱✳ ❏❡②❛❦✉♠❛r ✈➔ ❉✳❚✳ ữ r ữợ s rở õ ổ ỗ ổ ữợ tỡ ữợ ♣❤➙♥ s✉② rë♥❣ ❧➔ tê♥❣ q✉→t ❤â❛ ♠ët sè ❦❤→✐ ữợ t ữ ữợ ♣❤➙♥ ❈❧❛r❦❡✱ ▼✐❝❤❡❧✕P❡♥♦t✱ ▼♦r❞✉❦❤♦✈✐❝❤✱ ❚r❡✐♠❛♥✱✳ ✳ ✳ ✳ ▼ët sè ❝→❝ ♥❤➔ ❦❤♦❛ ❤å❝ ❱✐➺t ◆❛♠ ✤➣ ❝â ♥❤ú♥❣ ✤â♥❣ ❣â♣ ✤→♥❣ ❦➸ tr♦♥❣ ✈✐➺❝ ♥❣❤✐➯♥ ❝ù✉ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì ✈➔ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ✶ ❜✐➳♥ ♣❤➙♥ ♥❤÷ ❝→❝ ❣✐→♦ s÷ ❍♦➔♥❣ ❚ư②✱ ✣✐♥❤ ❚❤➳ ▲ư❝✱ P❤❛♥ ◗✉è❝ ❑❤→♥❤✱ P❤↕♠ ❍ú✉ ❙→❝❤✱ ✣é ❱➠♥ ▲÷✉✱ ▲➯ ❉ơ♥❣ ▼÷✉✱ ◆❣✉②➵♥ ✣ỉ♥❣ ❨➯♥ ✈➔ ♥❤✐➲✉ ❣✐→♦ s÷ ❦❤→❝✳ ✣✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì ✈➔ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì ✤➣ ✤÷đ❝ ♥❤✐➲✉ t→❝ ❣✐↔ q✉❛♥ t➙♠ ♥❣❤✐➯♥ ❝ù✉✳ ❋✳ ●✐❛♥♥❡ss✐✱ ●✳ ▼❛str♦❡♥✐ ✈➔ ▲✳ P❡❧❧❡❣r✐♥✐ ✭✷✵✵✵✮ ✤➣ t❤✐➳t ❧➟♣ ❝→❝ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì tr♦♥❣ ❦❤ỉ♥❣ ❣✐❛♥ ❤ú✉ ❤↕♥ ❝❤✐➲✉✳ ❈→❝ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ tr♦♥❣ ✭❨❛♥❣ ✈➔ ❩❡♥❣ ✭✷✵✵✽✮✱ ❨❛♥❣ ✭✶✾✾✸✮✮ ✤÷đ❝ ❝❤ù♥❣ ♠✐♥❤ ❜➡♥❣ ❝→❝❤ t❤✐➳t ❧➟♣ sü t÷ì♥❣ ✤÷ì♥❣ ❣✐ú❛ ❜➔✐ t♦→♥ tè✐ ÷✉ ✈❡❝tì ✈➔ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì✳ ✣➣ ❝â r➜t ♥❤✐➲✉ ổ tr ự qt tỗ t↕✐ ♥❣❤✐➺♠ ✈➔ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ❝→❝ ❧♦↕✐ ♥❣❤✐➺♠ ❝õ❛ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì✳ ❳✳❍✳ ●♦♥❣ ✭✷✵✶✵✮ tt tố ữ ữợ ổ ỳ ữợ r ữợ ❝❤♦ ❝→❝ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉✱ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣✱ ♥❣❤✐➺♠ s✐➯✉ ❤ú✉ ❤✐➺✉ ✈➔ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ t♦➔♥ ❝ö❝ ❝õ❛ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì ✈ỵ✐ r➔♥❣ ❜✉ë❝ t➟♣✳ ❳✳❍✳ ●♦♥❣ ✭✷✵✶✷✮ ✤➣ ❝❤ù♥❣ ♠✐♥❤ ❝→❝ ✤✐➲✉ ❦✐➺♥ ❝➛♥ ✈➔ ❝→❝ ✤✐➲✉ ❦✐➺♥ ✤õ ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❝õ❛ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì ❝â r➔♥❣ ❜✉ë❝ ♥â♥ ✈ỵ✐ ✈ỵ✐ ❝→❝ ❤➔♠ ❦❤↔ ✈✐ ❋r➨❝❤❡t✳ ❳✳❳✳ ▲♦♥❣ ✈➔ ❝→❝ ❝ë♥❣ sü ✭✷✵✶✶✮ ✤➣ ❝❤ù♥❣ ♠✐♥❤ ❝→❝ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ✈➔ ♥❣❤✐➺♠ s✐➯✉ ❤ú✉ ❤✐➺✉ ❝õ❛ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì ❝â r➔♥❣ ❜✉ë❝ õ r t ợ C ữợ ỗ r C s ú ỵ r ữợ Pt ởt ữợ s rở ❉♦ ✤â✱ ✈✐➺❝ ♥❣❤✐➯♥ ❝ù✉ ❝→❝ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ✈➔ s✐➯✉ ❤ú✉ ❤✐➺✉ ❝õ❛ t tỡ õ r q ữợ ✈✐ ♣❤➙♥ ▼✐❝❤❡❧✕P❡♥♦t ❧➔ ♠ët ✈➜♥ ✤➲ ❝➛♥ t❤✐➳t ✈➔ ✤➙② ❧➔ ♠ët ♥ë✐ ❞✉♥❣ ✤÷đ❝ ♥❣❤✐➯♥ ❝ù✉ tr♦♥❣ ❧✉➟♥ →♥✳ ❨✳ ❋❡♥❣ ✈➔ ◗✳ ◗✉✐ ✭✷✵✶✹✮ ✤➣ ♥❣❤✐➯♥ ❝ù✉ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì ❝â r➔♥❣ ❜✉ë❝ tr♦♥❣ ❦❤æ♥❣ ❣✐❛♥ ❇❛♥❛❝❤✳ ❉✳❱✳ ▲✉✉ ✈➔ ❉✳❉✳ ❍❛♥❣ ✭✷✵✶✹✮ ✤➣ ❞➝♥ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ❝→❝ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉✱ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉✱ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ t♦➔♥ ❝ö❝ ❝õ❛ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì ❝→❝ r➔♥❣ ❜✉ë❝ ✤➥♥❣ t❤ù❝✱ ❜➜t ✤➥♥❣ t❤ù❝ r t ợ st ữỡ q ữợ r ữợ Pt ▲✉✉ ✈➔ ❉✳❉✳ ❍❛♥❣ ✭✷✵✶✺✮ ❝❤ù♥❣ ♠✐♥❤ ❝→❝ ✤✐➲✉ ❦✐➺♥ ❝➛♥ ✈➔ ❝→❝ ✤✐➲✉ ✷ ❦✐➺♥ ✤õ tè✐ ÷✉ ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉ ❝õ❛ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈ỵ✐ r q ữợ r ú þ r➡♥❣✱ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì ❧➔ ♠ët tr÷í♥❣ ❤đ♣ r✐➯♥❣ q✉❛♥ trå♥❣ ❝õ❛ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì✳ ❉♦ ✤â✱ ✈✐➺❝ ♥❣❤✐➯♥ ❝ù✉ ❝→❝ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉ ❝õ❛ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì ❦❤ỉ♥❣ trì♥ ❝â r➔♥❣ ❜✉ë❝ ♥â♥✱ r➔♥❣ ❜✉ë❝ ✤➥♥❣ t❤ù❝ ✈➔ r➔♥❣ ❜✉ë❝ t q ữợ s rở ởt ✤➲ ❝➛♥ t❤✐➳t ✈➔ ✤➙② ❧➔ ♠ët ♥ë✐ ❞✉♥❣ ✤÷đ❝ ♥❣❤✐➯♥ ❝ù✉ tr♦♥❣ ❧✉➟♥ →♥✳ ❚r♦♥❣ ♥❤ú♥❣ ♥➠♠ ❣➛♥ ✤➙②✱ ❝→❝ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ❜➔✐ t♦→♥ tè✐ ÷✉ ❦❤ỉ♥❣ trì♥ ✤➣ ✤÷đ❝ ♥❤✐➲✉ t→❝ ❣✐↔ ♥❣❤✐➯♥ ❝ù✉ q✉❛ ữợ t ữủ ❦➳t q✉↔ ✤➭♣ ✈➔ s➙✉ s➢❝✳ ❑❤✐ ❝→❝ ❤➺ sè ❝õ❛ ❤➔♠ ♠ö❝ t✐➯✉ ✈➔ ❝→❝ ❤➔♠ r➔♥❣ ❜✉ë❝ ♥❤➟♥ ❣✐→ trà ❦❤♦↔♥❣✱ t❛ ♥❤➟♥ ✤÷đ❝ ❝→❝ ❜➔✐ t♦→♥ tè✐ ÷✉ ❣✐→ trà ❦❤♦↔♥❣✳ ✣✐➲✉ ❦✐➺♥ tè✐ ÷✉ ✈➔ ✤è✐ ♥❣➝✉ ❝õ❛ ❜➔✐ t♦→♥ tè✐ ÷✉ ♣❤✐ t✉②➳♥ ❣✐→ trà ❦❤♦↔♥❣ ✤÷đ❝ ♥❤✐➲✉ t→❝ ❣✐↔ q✉❛♥ t➙♠ ♥❣❤✐➯♥ ❝ù✉✳ ❍✳❈✳ ❲✉ ✭✷✵✵✽✮ ✤➣ ❞➝♥ ❝→❝ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❑❛r✉s❤✕❑✉❤♥✕❚✉❝❦❡r ❝❤♦ ❜➔✐ t♦→♥ tè✐ ÷✉ ♣❤✐ t✉②➳♥ ❣✐→ trà ❦❤♦↔♥❣ ❦❤↔ ✈✐ ✈ỵ✐ ❝→❝ r➔♥❣ ❜✉ë❝ ❜➜t ✤➥♥❣ t❤ù❝ tr♦♥❣ ❦❤æ♥❣ ❣✐❛♥ ❤ú✉ ❤↕♥ ❝❤✐➲✉✳ ❏❛②s✇❛❧ ✈➔ ❝ë♥❣ sü ✭✷✵✶✻✮ ✤➣ t❤✐➳t ❧➟♣ ❝→❝ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ✈➔ ❝→❝ ỵ ố t tố ữ t✉②➳♥ ❣✐→ trà ❦❤♦↔♥❣ ✈ỵ✐ r➔♥❣ ❜✉ë❝ ❜➜t ✤➥♥❣ t❤ù❝ r t q ữợ s rở tr♦♥❣ ❦❤æ♥❣ ❣✐❛♥ ❤ú✉ ❤↕♥ ❝❤✐➲✉✳ ❱✐➺❝ ♥❣❤✐➯♥ ❝ù✉ ❝→❝ ✤✐➲✉ ❦✐➺♥ ❋r✐t③ ❏♦❤♥ ✈➔ ❑❛r✉s❤✕❑✉❤♥✕❚✉❝❦❡r ❝ò♥❣ ✈ỵ✐ ❝→❝ ✤à♥❤ ỵ ố r ❲♦❧❢❡ ❝❤♦ ❜➔✐ t♦→♥ tè✐ ÷✉ ❣✐→ trà ❦❤♦↔♥❣ ❝â r➔♥❣ ❜✉ë❝ ✤➥♥❣ t❤ù❝✱ ❜➜t ✤➥♥❣ t❤ù❝ ✈➔ r➔♥❣ ❜✉ë❝ t tr ổ ữợ ổ ỳ ữợ ♣❤➙♥ s✉② rë♥❣ ❧➔ ♠ët ✈➜♥ ✤➲ ❝➛♥ t❤✐➳t ✈➔ ✤➙② ❝ơ♥❣ ❧➔ ♠ët ♥ë✐ ❞✉♥❣ ✤÷đ❝ ♥❣❤✐➯♥ ❝ù✉ tr♦♥❣ ❧✉➟♥ →♥✳ ▼ö❝ ✤➼❝❤ ❝õ❛ ❧✉➟♥ →♥ ❧➔ t❤✐➳t ❧➟♣ ❝→❝ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì ❝â r➔♥❣ ❜✉ë❝ ✤➥♥❣ t❤ù❝✱ ❜➜t ✤➥♥❣ t❤ù❝ ✈➔ r t q ữợ Pt ởt trữớ ủ r ữợ s rở ự ❝→❝ ✤✐➲✉ ❦✐➺♥ ❝➛♥ ✈➔ ❝→❝ ✤✐➲✉ ❦✐➺♥ ✤õ ❝❤♦ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì ✈ỵ✐ r➔♥❣ ❜✉ë❝ ♥â♥✱ r➔♥❣ ❜✉ë❝ ✤➥♥❣ t❤ù❝ ✈➔ r➔♥❣ ❜✉ë❝ t➟♣ q ữợ s rở tt ❦✐➺♥ ❝➛♥ ❋r✐t③ ❏♦❤♥ ✈➔ ❑❛r✉s❤✕ ❑✉❤♥✕❚✉❝❦❡r✱ ❝→❝ ✤✐➲✉ ❦✐➺♥ ỵ ố r ❦✐➸✉ ❲♦❧❢❡ ❝❤♦ ❜➔✐ t♦→♥ tè✐ ÷✉ ❣✐→ trà ❦❤♦↔♥❣ ✤÷đ❝ t❤✐➳t ❧➟♣✳ ✸ ◆ë✐ ❞✉♥❣ ❝❤➼♥❤ ❝õ❛ ❧✉➟♥ →♥ ỗ t rsr ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ✤à❛ ♣❤÷ì♥❣ ✈➔ ♥❣❤✐➺♠ s✐➯✉ ❤ú✉ ❤✐➺✉ ✤à❛ ♣❤÷ì♥❣ ❝õ❛ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì ❝â r➔♥❣ ❜✉ë❝ ✤➥♥❣ t❤ù❝✱ ❜➜t ✤➥♥❣ t❤ù❝ ✈➔ r➔♥❣ ❜✉ë❝ t➟♣ tr♦♥❣ ❦❤ỉ♥❣ ❣✐❛♥ ❇❛♥❛❝❤ ✈ỵ✐ ❝→❝ ❤➔♠ ▲✐♣s❝❤✐t③ ✤à❛ ♣❤÷ì♥❣ ✈➔ ✤✐➲✉ ❦✐➺♥ ❝❤➼♥❤ q✉② ❦✐➸✉ ❆❜❛❞✐❡ q✉❛ ữợ Pt ũ ợ ❝❤♦ ❦➳t q✉↔ t❤✉ ✤÷đ❝✳ ❜✮ ❚❤✐➳t ❧➟♣ ❝→❝ ✤✐➲✉ ❦✐➺♥ ❝➛♥ ❋r✐t③ ❏♦❤♥ ✈➔ ❑❛r✉s❤✕❑✉❤♥✕❚✉❝❦❡r ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉ ❝õ❛ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì ❦❤ỉ♥❣ trì♥ ❝â r➔♥❣ ❜✉ë❝ ✤➥♥❣ t❤ù❝✱ r➔♥❣ ❜✉ë❝ ♥â♥ ỗ r t q ữợ ♣❤➙♥ s✉② rë♥❣✳ ❱ỵ✐ ✤✐➲✉ ❦✐➺♥ ❝❤➼♥❤ q✉② ❦✐➸✉ ▼❛♥❣❛s❛r✐❛♥✕❋r♦♠♦✈✐t③✱ tø ✤✐➲✉ ❦✐➺♥ ❝➛♥ ❋r✐t③ ❏♦❤♥ ❝❤ó♥❣ tỉ✐ ❝❤ù♥❣ ♠✐♥❤ ữủ rs r ợ ❝ư t❤➸ ♠✐♥❤ ❤å❛ ❝❤♦ ❝→❝ ❦➳t q✉↔ ♥❤➟♥ ✤÷đ❝✳ ữủ ự ợ ỳ t ỗ s rở ỳ ❜➔✐ t♦→♥✳ ❝✮ ❚❤✐➳t ❧➟♣ ❝→❝ ✤✐➲✉ ❦✐➺♥ ❋r✐t③ ❏♦❤♥ ✈➔ ❑❛r✉s❤✕❑✉❤♥✕❚✉❝❦❡r ❝❤♦ ♥❣❤✐➺♠ ▲❯✲tè✐ ÷✉ ✤à❛ ♣❤÷ì♥❣ ❝õ❛ ❜➔✐ t tố ữ tr ợ r ✤➥♥❣ t❤ù❝✱ ❜➜t ✤➥♥❣ t❤ù❝ ✈➔ r➔♥❣ ❜✉ë❝ t➟♣ tr♦♥❣ ổ q ữợ s rở ợ ❝→❝ ♥❣❤✐➺♠ ❧➔ ❝❤➼♥❤ q✉② t❤❡♦ ♥❣❤➽❛ ■♦❢❢❡ ✭✶✾✼✾✮✳ ❱ỵ✐ tt t ỗ s rở ✤õ ❝❤♦ ♥❣❤✐➺♠ ▲❯✲tè✐ ÷✉ ✤÷đ❝ ❝❤ù♥❣ ♠✐♥❤✳ ❚❤✐➳t ❧➟♣ ỵ ố ❜➔✐ t♦→♥ ✤è✐ ♥❣➝✉ ❦✐➸✉ ▼♦♥❞✕❲❡✐r ✈➔ ❦✐➸✉ ❲♦❧❢❡✳ ▼ët sè ✈➼ ❞ư ✤÷đ❝ ❝✉♥❣ ❝➜♣ ✤➸ ♠✐♥❤ ❤å❛ ❝❤♦ t q ữủ ỗ ♠ð ✤➛✉✱ ❜è♥ ❝❤÷ì♥❣✱ ❦➳t ❧✉➟♥ ❝❤✉♥❣✱ ❞❛♥❤ ♠ư❝ ❝→❝ ❝æ♥❣ tr➻♥❤ ✤➣ ❝æ♥❣ ❜è ❝õ❛ t→❝ ❣✐↔ ❧✐➯♥ q✉❛♥ ✤➳♥ ❧✉➟♥ →♥ ✈➔ ❞❛♥❤ ♠ö❝ ❝→❝ t➔✐ ❧✐➺✉ t❤❛♠ ❦❤↔♦✳ ❈→❝ ❦➳t q✉↔ ❝õ❛ ❧✉➟♥ →♥ ✤÷đ❝ ❜→♦ ❝→♦ t↕✐✿ ✲ ❙❡♠✐♥❛r ❚è✐ ÷✉✱ ❱✐➺♥ ❚♦→♥ ❤å❝ ✈➔ ❑❤♦❛ ❤å❝ Ù♥❣ ❞ö♥❣ ❚❤➠♥❣ ▲♦♥❣✱ ❑❤♦❛ ❚♦→♥ ✲ ❚✐♥✱ ✣↕✐ ❤å❝ ❚❤➠♥❣ ▲♦♥❣✱ ❍➔ ◆ë✐❀ ✲ ❙❡♠✐♥❛r ◆❣❤✐➯♥ ❝ù✉ s✐♥❤ ❝õ❛ ❑❤♦❛ ❚♦→♥✱ ❚r÷í♥❣ ✣↕✐ ❤å❝ ❙÷ ♣❤↕♠✱ ✣↕✐ ❤å❝ ❚❤→✐ ◆❣✉②➯♥✳ ✹ ❈❤÷ì♥❣ ✶ ❑✐➳♥ t❤ù❝ ❝ì sð ✣➸ tr➻♥❤ ❜➔② ❝→❝ ❦➳t q✉↔ ♥❣❤✐➯♥ ❝ù✉ ✈➲ ✤✐➲✉ ❦✐➺♥ tố ữ ỵ ố ❜➔✐ t♦→♥ tè✐ ÷✉ ❦❤ỉ♥❣ trì♥✱ ❝❤ó♥❣ tỉ✐ ❝➛♥ sû t t ữợ ✈➔ ♠ët sè ❝ỉ♥❣ ❝ư ❝➛♥ t❤✐➳t ❦❤→❝✳ ❚r♦♥❣ ❈❤÷ì♥❣ ✶✱ tr➻♥❤ ❜➔② ❝→❝ ❦✐➳♥ t❤ù❝ ❜ê trñ ❝➛♥ t❤✐➳t ữỡ s ❚r➻♥❤ ❜➔② ♠ët sè ❦✐➳♥ t❤ù❝ ✈➲ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì✱ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì t tố ữ tỡ r ❜➔② ❦❤→✐ ♥✐➺♠ ✈➔ t➼♥❤ ❝❤➜t ❝ì ❜↔♥ ❝õ❛ ♠ët số ữợ ố q ỳ ú • ▼ư❝ ✶✳✸✿ ❚r➻♥❤ ❜➔② ♠ët sè ❦➳t q✉↔ ✈ỉ ữợ õ ởt số ỗ s rở ữủ ✤➸ t❤✐➳t ❧➟♣ ❝→❝ ✤✐➲✉ ❝➛♥ ✤õ tè✐ ÷✉ ❝❤♦ ❜➔✐ t♦→♥✳ ✺ ❈❤÷ì♥❣ ✷ ✣✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ t tỡ q ữợ Pt ❚r♦♥❣ ❝❤÷ì♥❣ ♥➔②✱ ❝→❝ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ❝→❝ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ✈➔ ♥❣❤✐➺♠ s✐➯✉ ❤ú✉ ❤✐➺✉ ✤à❛ ♣❤÷ì♥❣ ❝õ❛ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì ❝â ❝→❝ r➔♥❣ ợ st ữỡ ữợ ổ ỳ ữợ Pt ữủ tt ứ t q✉↔ ❝õ❛ ❝❤÷ì♥❣ ♥➔② ❝❤ó♥❣ tỉ✐ s✉② r❛ ✤÷đ❝ ♠ët sè ❦➳t q✉↔ tr♦♥❣ ●♦♥❣ ✭✷✵✶✵✮ ✈➔ ▲♦♥❣ ❝ò♥❣ ❝ë♥❣ sü ✭✷✵✶✶✮✳ ◆ë✐ ❞✉♥❣ ❝õ❛ ❈❤÷ì♥❣ ✷ ✤÷đ❝ tr➻♥❤ ❜➔② ❞ü❛ tr➯♥ ♥ë✐ ❞✉♥❣ ❜➔✐ ❜→♦ ❝õ❛ ❉✳❱✳ ▲✉✉ ✈➔ ❚✳❚✳ ▼❛✐ [A2 ] ✭tr♦♥❣ ❉❛♥❤ ♠ư❝ ❝→❝ ❝ỉ♥❣ tr➻♥❤ ✤➣ ❝æ♥❣ ❜è ❧✐➯♥ q✉❛♥ ✤➳♥ ❧✉➟♥ →♥✮ ✤➠♥❣ tr♦♥❣ t↕♣ ❝❤➼ ◆✉♠❡r✐❝❛❧ ❋✉♥❝t✐♦♥❛❧ ❆♥❛❧②s✐s ❛♥❞ ❖♣t✐♠✐③❛t✐♦♥✱ ✸✾ ✭✷✵✶✽✮✱ ◆♦ ✶✻✱ ✶✽✸✸✲✶✽✺✹ ✭❙❈■✲❊✮✳ ✷✳✶ ✣✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ❝→❝ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ✤à❛ ♣❤÷ì♥❣ ✈➔ ♥❣❤✐➺♠ s✐➯✉ ❤ú✉ ❤✐➺✉ ✤à❛ ♣❤÷ì♥❣ ✷✳✶✳✶ ✣✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ✤à❛ ♣❤÷ì♥❣ ❈❤♦ X ❧➔ ❦❤ỉ♥❣ ❣✐❛♥ ❇❛♥♥❛❝❤ t❤ü❝ ✈ỵ✐ C ❧➔ t➟♣ ❝♦♥ ❦❤→❝ ré♥❣ tr♦♥❣ X ❀ Q ✈➔ S ❧➛♥ ❧÷đt ❧➔ ❝→❝ ♥â♥ ỗ tr Rr Rm F : X ì X → Rr ❧➔ ♠ët s♦♥❣ ❤➔♠ ✈❡❝tì❀ g : X → Rm ✈➔ h : X → R ❧➔ ❝→❝ r➔♥❣ ❜✉ë❝✱ ❣✐↔ sû ✈ỵ✐ t➟♣ ❝❤➜♣ ♥❤➟♥ K = x ∈ C : gi (x) ≤ 0, ✈ỵ✐ ♠å✐ i ∈ I; hj (x) = 0, ✈ỵ✐ ♠å✐ j ∈ L , ✈ỵ✐ gi , hj (i ∈ I := {1, 2, , m} , j ∈ L := {1, 2, , }) ❧➔ ❝→❝ ❤➔♠ sè t❤ü❝ ①→❝ ✤à♥❤ tr➯♥ X ✈➔ ❤➔♠ ✈❡❝tì F = (F1 , F2 , , Fr )✳ ✣➦t Fx (y) := F (x, y), Fk,x (y) = Fk (x, y), ✈ỵ✐ ♠å✐ k ∈ {1, 2, , r} ✈➔ ①➨t t➟♣ ✻ I(x) = {i ∈ I : gi (x) = 0} , ❣✐↔ sû Fx (x) = 0✳ ❇➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì ❝â r➔♥❣ ❜✉ë❝✱ ❦➼ ❤✐➺✉ ❧➔ ✭❈❱❊P✮ ✤÷đ❝ ♣❤→t ❜✐➸✉ ♥❤÷ s❛✉✿ ❚➻♠ ✈❡❝tì x ∈ K s❛♦ ❝❤♦ / −Q\ {0} (∀y ∈ K) F (x, y) ∈ ✣à♥❤ ♥❣❤➽❛ ✷✳✶✳ ❱❡❝tì x ∈ K ❣å✐ ❧➔ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ❝õ❛ ❜➔✐ t♦→♥ P tỗ t ởt ỗ tt ✤è✐ U ❝õ❛ ✈ỵ✐ U ⊆ VB t❤ä❛ ♠➣♥ ❝♦♥❡F (x, K) ∩ (−✐♥tQU (B)) = ∅, tr♦♥❣ ✤â✱ Q (B) = y ∗ ∈ Q# : ∃t > t❤ä❛ ♠➣♥ y ∗ , b ≥ t, ∀b ∈ B ✈➔ Q# = {y ∗ ∈ Y ∗ : y ∗ , y > 0, ∀y ∈ Q\ {0}} ; Q∗ = {y ∗ ∈ Y : y ∗ , y ≥ 0, ∀y ∈ Q} ✣à♥❤ ♥❣❤➽❛ ✷✳✷✳ ❱❡❝tì x ∈ K ❣å✐ ❧➔ ♥❣❤✐➺♠ s✐➯✉ ❤ú✉ ❤✐➺✉ ❝õ❛ ❜➔✐ t♦→♥ ✭❈❱❊P✮ ♥➳✉ ✈ỵ✐ ♠é✐ ♠ët V tỗ t ởt U ❝õ❛ s❛♦ ❝❤♦ ❝♦♥❡F (x, K) ∩ (U − Q) ⊆ V ●✐↔ t❤✐➳t ✷✳✶✳ ❈→❝ ❤➔♠ Fx , gi (∀i ∈ I(x)) ❧➔ ▲✐♣s❝❤✐t③ ✤à❛ ♣❤÷ì♥❣ t↕✐ x, hj (∀j ∈ L) ❧➔ ❦❤↔ ✈✐ ❋r➨❝❤❡t t↕✐ x ✈➔ ♥â♥ Q ❝â ❝ì sð ❧➔ B ✳ ✣à♥❤ ♥❣❤➽❛ ✷✳✸✳ ✣↕♦ ❤➔♠ t❤❡♦ ♣❤÷ì♥❣ ▼✐❝❤❡❧✕P❡♥♦t ❝õ❛ ❤➔♠ f t↕✐ x t❤❡♦ ♣❤÷ì♥❣ υ ∈ X ✤÷đ❝ ✤à♥❤ ♥❣❤➽❛ ❜ð✐ f ♦ (x; υ) = sup lim sup w∈X t↓0 f (x + t(υ + w)) − f (x + tw) t ữợ ♣❤➙♥ ▼✐❝❤❡❧✕P❡♥♦t ❝õ❛ ❤➔♠ f t↕✐ x ✤÷đ❝ ✤à♥❤ ♥❣❤➽❛ ❜ð✐ ∂ M P f (x) = {x∗ ∈ X ∗ : f ♦ (x, υ) ≥ x∗ , υ , ∀υ ∈ X} ◆➳✉ f ❧➔ ❦❤↔ ✈✐ ❋r➨❝❤❡t t↕✐ x ✈ỵ✐ ✤↕♦ ❤➔♠ ❋r➨❝❤❡t ∇f (x)✳ ❑❤✐ ✤â✱ ∂ M P f (x) = {∇f (x)} ❳➨t ❝→❝ t➟♣ s❛✉✿ C(K; x) = v ∈ T (C; x) : gi♦ (x, v) (∀i ∈ I(x)), ∇hj (x), v = (∀j ∈ L) , ✼ µi ∂ M P gi (x) + H(x) = vj ∇hj (x) j=1 i∈I(x) +N (C; x) : µi ≥ (∀i ∈ I(x)), vj ∈ R (∀j ∈ L) ✣➸ ❝❤ù♥❣ ♠✐♥❤ ✤✐➲✉ ❦✐➺♥ ❝➛♥ tè✐ ÷✉ ❑❛r✉s❤✕❑✉❤♥✕❚✉❝❦❡r ❝❤♦ ❜➔✐ t♦→♥ ✭❈❱❊P✮✱ ❝❤ó♥❣ tỉ✐ ✤÷❛ ✈➔♦ ✤✐➲✉ ❦✐➺♥ ❝❤➼♥❤ q✉② ✭❈◗✮ s❛✉ ✤➙② C(K; x) ⊆ T (K; x) ▼ët ✤✐➲✉ ❦✐➺♥ ❝➛♥ tè✐ ÷✉ ❑❛r✉s❤✕❑✉❤♥✕❚✉❝❦❡r ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ✤à❛ ♣❤÷ì♥❣ ❝õ❛ ❜➔✐ t♦→♥ ✭❈❱❊P✮ ✤÷đ❝ ♣❤→t ❜✐➸✉ ữ s ỵ sỷ x ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ✤à❛ ♣❤÷ì♥❣ ❝õ❛ ✭❈❱❊P✮❀ Fx (x) = 0❀ H(x) ❧➔ t➟♣ ✤â♥❣ ②➳✉✯❀ ❚❤ä❛ ♠➣♥ ●✐↔ t❤✐➳t q õ tỗ t↕✐ µi ≥ (∀i ∈ I(x))✱ v j ∈ R (∀j ∈ L) ✈➔ ❤➔♠ ❧✐➯♥ tö❝✱ t❤✉➛♥ ♥❤➜t ❞÷ì♥❣ Λ tr➯♥ Y t❤ä❛ ♠➣♥ (α) ♥➳✉ y2 − y1 ∈ Q\ {0} t❤➻ Λ(y1 ) < Λ(y2 ); () tỗ t > s (b) −β0 , ✈ỵ✐ ♠å✐ b ∈ B ✈➔ ∈ ∂ M P (Λ ◦ Fx )(x) + µi ∂ M P gi (x) + v j ∇hj (x) + NC (x) j∈L i∈I(x) ❚r♦♥❣ tr÷í♥❣ ❤đ♣ X, Y ❧➔ ổ ỳ ỵ ữủ t ữ s ỵ sỷ X = Rn , Y = Rp ✱ x ❧➔ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ✤à❛ ♣❤÷ì♥❣ ❝õ❛ ❜➔✐ t♦→♥ ✭❈❱❊P✮ ✈➔ t❤ä❛ tt ỵ õ tỗ t Q (B), ài (∀i ∈ I(x)), v j ∈ R (∀j ∈ J) s❛♦ ❝❤♦ µi ∂ M P gi (x) + ∈ λ∂J Fx (x) + v j ∇hj (x) + NC (x); j∈L i∈I(x) ✭✐✐✮ ❤ì♥ ♥ú❛✱ ♥➳✉ ❝ì sð B ❝õ❛ Q ❧➔ t➟♣ ✤â♥❣ ✈➔ ❜à ❝❤➦♥ t❤➻ λ ∈ ✐♥tQ∗ ❚r♦♥❣ tr÷í♥❣ ❤đ♣ →♥❤ ①↕ Fx ❧➔ ❦❤↔ ✈✐ ❝❤➦t✱ ✤✐➲✉ ❦✐➺♥ ❝➛♥ ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ✤à❛ ♣❤÷ì♥❣ ✤÷đ❝ ♣❤→t ❜✐➸✉ ♥❤÷ s❛✉✳ ✽ ❦❤↔ ✈✐ ❝❤➦t t↕✐ x ✈ỵ✐ ✤↕♦ ❤➔♠ ❝❤➦t Ds Fx (x) õ tỗ t Q (B), µi ≥ (∀i ∈ I(x)), v j ∈ R (∀j ∈ J) s❛♦ ❝❤♦ ∈ [Ds Fx (x)]∗ λ + µi ∂ M P gi (x) + v j ∇hj (x) + NC (x); j∈L i∈I(x) ✭✐✐✮ ❤ì♥ ♥ú❛✱ ♥➳✉ ❝ì sð B ❝õ❛ Q ❧➔ t➟♣ ✤â♥❣ ✈➔ ❜à ❝❤➦♥ t❤➻ λ ∈ ✐♥tQ∗ , ✈ỵ✐ ✐♥tQ∗ ❧➔ ♣❤➛♥ tr♦♥❣ ❝õ❛ Q∗ t❤❡♦ tæ♣æ ♠↕♥❤ tr♦♥❣ Y ∗ ❙û ❞ö♥❣ ❝→❝ ❦➳t q✉↔ tr♦♥❣ ▼ö❝ ✷✳✶✳✶✱ t❛ ♥❤➟♥ ✤÷đ❝ ❝→❝ ✤✐➲✉ ❦✐➺♥ ✤õ tè✐ ÷✉ t÷ì♥❣ ù♥❣ ❝❤♦ ❝→❝ ♥❣❤✐➺♠ s✐➯✉ ❤ú✉ ❤✐➺✉ ❝õ❛ ✭❈❱❊P✮✳ ✷✳✷ ⑩♣ ❞ö♥❣ ❝❤♦ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì ✈➔ ❜➔✐ t♦→♥ tè✐ ÷✉ ✈❡❝tì ❈→❝ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ✈➔ ♥❣❤✐➺♠ s✐➯✉ ❤ú✉ ❤✐➺✉ ❝õ❛ ❜➔✐ t♦→♥ ✭❈❱❱■✮ ❧➛♥ ❧÷đt ✤÷đ❝ t ữ s ỵ x ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ✤à❛ ♣❤÷ì♥❣ ❤♦➦❝ ♥❣❤✐➺♠ s✐➯✉ ❤ú✉ ❤✐➺✉ ✤à❛ ♣❤÷ì♥❣ ❝õ❛ ❜➔✐ t♦→♥ ✭❈❱❱■✮✳ ●✐↔ sû H(x) ❧➔ t➟♣ ✤â♥❣ ②➳✉✯❀ ●✐↔ t❤✐➳t ✷✳✶ ✈➔ ✤✐➲✉ ❦✐➺♥ q tọ õ tỗ t λ ∈ Q (B), µi ≥ (∀i ∈ I(x)), v j ∈ R (∀j ∈ J) s❛♦ ❝❤♦ ∈ [T (x)]∗ λ + µi ∂ M P gi (x) + v j ∇hj (x) + NC (x); j∈L i∈I(x) ✭✐✐✮ ❤ì♥ ♥ú❛✱ ♥➳✉ ❝ì sð B ❝õ❛ Q ❧➔ t➟♣ ✤â♥❣ ✈➔ ❜à ❝❤➦♥ t❤➻ λ ∈ ✐♥tQ∗ , tr♦♥❣ ✤â ✐♥tQ∗ ❧➔ ♣❤➛♥ tr♦♥❣ ❝õ❛ Q∗ t❤❡♦ tæ♣æ ♠↕♥❤ tr♦♥❣ Y ∗ ❈→❝ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ✈➔ ♥❣❤✐➺♠ s✐➯✉ ❤ú✉ ❤✐➺✉ ❝õ❛ ❜➔✐ t♦→♥ ✭❈❱❖P✮ ❧➛♥ ❧÷đt ✤÷đ❝ ♣❤→t ❜✐➸✉ ữ s ỵ x ỳ ❤✐➺✉ ❍❡♥✐❣ ✤à❛ ♣❤÷ì♥❣ ❤♦➦❝ ♥❣❤✐➺♠ s✐➯✉ ❤ú✉ ❤✐➺✉ ✤à❛ ♣❤÷ì♥❣ ❝õ❛ ❜➔✐ t♦→♥ ✭❈❱❖P✮✳ ●✐↔ sû H(x) ❧➔ t➟♣ ✤â♥❣ ②➳✉✯❀ ●✐↔ t❤✐➳t ✷✳✶ ✈➔ ✤✐➲✉ ❦✐➺♥ ❝❤➼♥❤ q✉② ✭❈◗✮ t❤ä❛ ♠➣♥✱ tr♦♥❣ ✤â Fx ✤÷đ❝ t❤❛② ❜ð✐ f õ tỗ t Q (B), µi ≥ (∀i ∈ I(x)), v j ∈ R (∀j ∈ J) ✈➔ ♠ët ❤➔♠ ❧✐➯♥ tö❝ t❤✉➛♥ ♥❤➜t ❞÷ì♥❣ Λ tr➯♥ Y t❤ä❛ ♠➣♥ (α), (β) tr♦♥❣ ✣à♥❤ ỵ s M P ( ◦ f )(x) + µi ∂ M P gi (x) + v j ∇hj (x) + NC (x); j∈L i∈I(x) ✶✶ ✭✐✐✮ ♥➳✉ f ❦❤↔ ✈✐ ❝❤➦t t↕✐ x t❤➻ tỗ t Q (B), ài (i ∈ I(x)), v j ∈ R (∀j ∈ J) s❛♦ ❝❤♦ ∈ [Ds f (x)]∗ + µi ∂ M P gi (x) + v j ∇hj (x) + NC (x); j∈L i∈I(x) ❍ì♥ ♥ú❛✱ ♥➳✉ ❝ì sð B ❝õ❛ Q ❧➔ t➟♣ ✤â♥❣ ✈➔ ❜à ❝❤➦♥ t❤➻ λ ∈ ✐♥tQ∗ ✳ ✭✐✐✐✮ ♥➳✉ X = Rn , Y = Rp tt ỵ tọ t tỗ t Q (B), ài (∀i ∈ I(x)), v j ∈ R (∀j ∈ J) s❛♦ ❝❤♦ µi ∂ M P gi (x) + ∈ λ∂J Fx (x) + v j ∇hj (x) + NC (x) j∈L i∈I(x) ❍ì♥ ♥ú❛✱ ♥➳✉ ❝ì sð B ❝õ❛ Q ❧➔ t➟♣ ✤â♥❣ ✈➔ ❜à ❝❤➦♥ t❤➻ tQ ỵ x K ✈➔ Q ❝â ❝ì sð ❧➔ B ✳ ●✐↔ sỷ tỗ t Q (B), ài (∀i ∈ I(x)), v j ∈ R (∀j ∈ J) t❤ä❛ ♠➣♥ ∈ [T (x)]∗ λ + µi ∂ M P gi (x) + v j ∇hj (x) + NC (x) jL iI(x) ỡ ỳ t C ỗ →♥❤ ①↕ gi (∀i ∈ I(x)) ❧➔ ∂ M P tỹ ỗ t x tr C h1 , , h tü❛ t✉②➳♥ t➼♥❤ t↕✐ x tr➯♥ C ✳ ❑❤✐ ✤â✱ x ❧➔ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ❝õ❛ ✭❈❱❱■✮✳ ❍➺ q✉↔ ✷✳✶✳ ❈❤♦ x ∈ K ✳ ●✐↔ sû✱ ❝ì sð B ❝õ❛ Q ❧➔ t➟♣ ✤â♥❣✱ ❜à ❝❤➦♥ ✈➔ ❝→❝ ❣✐↔ t❤✐➳t ❝õ❛ ỵ tọ tr õ Q (B) ✤÷đ❝ t❤❛② t❤➳ ❜ð✐ λ ∈ ✐♥tQ∗ ✳ ❑❤✐ ✤â✱ x ❧➔ ♥❣❤✐➺♠ s✐➯✉ ❤ú✉ ❤✐➺✉ ❝õ❛ ✭❈❱❱■✮✳ ▼ët tố ữ ố ợ ỳ ❍❡♥✐❣ ❝❤♦ ❜➔✐ t♦→♥ ✭❈❱❖P✮ ✤÷đ❝ ♣❤→t ❜✐➸✉ ♥❤÷ s❛✉✳ ỵ sỷ x K B ởt ỡ s Q ỳ tỗ t Λ ∈ Q (B)✱ µi ≥ (∀i ∈ I(x)), v j ∈ R (∀j ∈ J) s❛♦ ❝❤♦ ∈ ∂ M P (Λ ◦ f )(x) + µi ∂ M P gi (x) + v j ∇hj (x) + NC (x) jL iI(x) ỡ ỳ C ỗ f M P ỗ t↕✐ x tr➯♥ C ❀ ❝→❝ →♥❤ ①↕ gi (∀i I(x)) M P tỹ ỗ t x tr➯♥ C ✈➔ ❝→❝ →♥❤ ①↕ h1 , , h tü❛ t✉②➳♥ t➼♥❤ t↕✐ x tr➯♥ C ✳ ❑❤✐ ✤â✱ x ❧➔ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ❝õ❛ ✭❈❱❖P✮✳ ❚r♦♥❣ tr÷í♥❣ ❤đ♣ f ❦❤↔ ✈✐ ❝❤➦t t↕✐ x✱ t õ ỵ s ỵ x ∈ K ✈➔ B ❧➔ ♠ët ❝ì sð ❝õ❛ Q sỷ f t t x tỗ t↕✐ λ ∈ Q (B)✱ µi ≥ (∀i ∈ I(x)), v j ∈ R (∀j ∈ J) s❛♦ ❝❤♦ ∈ [Ds f (x)]∗ λ + µi ∂ M P gi (x) + v j ∇hj (x) + NC (x) jL iI(x) ỡ ỳ C ỗ f ỗ t x tr C →♥❤ ①↕ gi (∀i ∈ I(x)) ❧➔ ∂ M P tỹ ỗ t x tr C h1 , , h tü❛ t✉②➳♥ t➼♥❤ t↕✐ x tr➯♥ C ✳ ❑❤✐ ✤â✱ x ❧➔ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ❝õ❛ ✭❈❱❖P✮✳ ❚r♦♥❣ tr÷í♥❣ ❤đ♣ X, Y ổ ỳ t õ ỵ s ỵ sỷ X = Rn , Y = Rp ✱ x ∈ K ✳ ●✐↔ sû ❝ì sð B ❝õ❛ Q ❧➔ ✤â♥❣ ❜à ❝❤➦♥ ✈➔ ●✐↔ t❤✐➳t ✷✳✶ t❤ä❛ ♠➣♥✳ ❍ì♥ ♥ú❛✱ ❣✐↔ sû r➡♥❣ tỗ t Q (B), ài (∀i ∈ I(x)), v j ∈ R (∀j ∈ J) s❛♦ ❝❤♦ µi ∂ M P gi (x) + ∈ λ∂J f (x) + v j ∇hj (x) + NC (x); jL iI(x) t C ỗ f C ỗ t x tr C ❀ ❝→❝ →♥❤ ①↕ gi (∀i ∈ I(x)) ∂ M P tỹ ỗ t x tr h1 , , h tü❛ t✉②➳♥ t➼♥❤ t↕✐ x tr➯♥ C ✳ ❑❤✐ ✤â✱ x ❧➔ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ❝õ❛ ✭❈❱❖P✮✳ ❍ì♥ ♥ú❛✱ ♥➳✉ ❝ì sð B ❝õ❛ Q ❧➔ t➟♣ ✤â♥❣ ✈➔ ❜à ❝❤➦♥✱ t❤➻ x ❧➔ ♥❣❤✐➺♠ s✐➯✉ ❤ú✉ ❤✐➺✉ ❝õ❛ ✭❈❱❖P✮✳ ✶✸ ❈❤÷ì♥❣ ✸ ✣✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ tự tỡ q ữợ s rở ❚r♦♥❣ ❝❤÷ì♥❣ ♥➔②✱ ❝❤ó♥❣ tỉ✐ tr➻♥❤ ❜➔② ❝→❝ ❦➳t q✉↔ ✈➲ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝➛♥ ✈➔ ✤õ ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉ ❝õ❛ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ tỡ õ r õ ỗ r tự r t q ữợ s rở ú ỵ r ỳ ữủ t ởt õ ỗ õ ♥❤å♥✳ ◆ë✐ ❞✉♥❣ ❝õ❛ ❝❤÷ì♥❣ ✸ ✤÷đ❝ tr➻♥❤ ❜➔② ❞ü❛ ✈➔♦ ♥ë✐ ❞✉♥❣ ❜➔✐ ❜→♦ ❝õ❛ ❚✳❚✳ ▼❛✐ ✈➔ ❉✳❱✳ ▲✉✉ [A3 ] ✭tr♦♥❣ ❞❛♥❤ ♠ư❝ ❝→❝ ❝ỉ♥❣ tr➻♥❤ ✤➣ ❝æ♥❣ ❜è ❧✐➯♥ q✉❛♥ ✤➳♥ ❧✉➟♥ →♥✮ ✤➠♥❣ tr♦♥❣ t↕♣ ❝❤➼ ❏♦✉r♥❛❧ ♦❢ ◆♦♥❧✐♥❡❛r ❛♥❞ ❱❛r✐❛t✐♦♥❛❧ ❆♥❛❧②s✐s✱ ✷ ✭✷✵✶✽✮✱ ◆♦ ✸✱ ✸✼✾✲✸✽✾✳ ✸✳✶ ✣✐➲✉ ❦✐➺♥ ❝➛♥ ❋r✐t③ ❏♦❤♥ ❝❤♦ ❝→❝ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉ ❝õ❛ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì ●✐↔ sû X ❧➔ ❦❤ỉ♥❣ ❣✐❛♥ ❇❛♥❛❝❤✱ ✈➔ X ∗ ❧➔ ❦❤æ♥❣ ❣✐❛♥ tæ♣æ ✤è✐ ♥❣➝✉ ❝õ❛ ❦❤æ♥❣ ❣✐❛♥ X ✳ ●✐↔ sû C ❧➔ t➟♣ ❝♦♥ ✤â♥❣ tr♦♥❣ X ✈➔ g ✱ h t÷ì♥❣ ù♥❣ ❧➔ ❝→❝ →♥❤ ①↕ tø X ✈➔♦ Rm ✱ Rl ✳ ❑❤✐ ✤â✱ g = (g1 , , gm ), h = (h1 , , hl ) ✈ỵ✐ gi , hj (i ∈ I := {1, , m}, j ∈ L := {1, , l}) ❧➔ ❝→❝ ❤➔♠ ❣✐→ trà t❤ü❝ ♠ð rë♥❣ tr➯♥ X ●✐↔ sû g ❧➔ ▲✐♣s❝❤✐t③ ✤à❛ ữỡ t x C S õ ỗ ✤❛ ❞✐➺♥ tr♦♥❣ Rm ✳ ❳➨t t➟♣ ❤ñ♣ M = {x ∈ C : g(x) ∈ S, h(x) = 0} S õ ỗ tr Rm S ữủ t ữợ S = {y ∈ Rm : , y ≥ 0, i = 1, , r} (ai ∈ Rm , i = 1, , r) ✭✸✳✶✮ ✣➦t gi (x) = − , g(x) (i = 1, , r) ❚ø ✭✸✳✶✮✱ t❛ ❝â g(x) ∈ S ⇐⇒ gi (x) ≤ (i = 1, , r) ❉♦ ✈➟②✱ t➟♣ M ❝â ❞↕♥❣ M = {x ∈ C : gi (x) ≤ (i = 1, , r), hj (x) = (j = 1, , l)} ❱ỵ✐ x ∈ M ✱ t❛ ✤➦t I(x) = {i ∈ {1, , r} : gi (x) = 0} ●✐↔ sû L(X, Rp ) ❧➔ ❦❤æ♥❣ ❣✐❛♥ ❝→❝ →♥❤ ①↕ t✉②➳♥ t➼♥❤ ❧✐➯♥ tö❝ tø X ✈➔♦ Rp , ✈➔ T ❧➔ →♥❤ ①↕ tø X ✈➔♦ L(X, Rp ) sỷ Q õ ỗ õ ♥❤å♥ tr♦♥❣ Rp ✈ỵ✐ ♣❤➛♥ tr♦♥❣ ❦❤→❝ ré♥❣✳ ❳➨t ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✭❲❱❱■✮✿ ❚➻♠ x ∈ M s❛♦ ❝❤♦ T (x)(y − x) ∈ / −✐♥tQ (∀y ∈ M ) ✭✸✳✷✮ ❱❡❝tì x ❣å✐ ❧➔ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉ ❝õ❛ ❜➔✐ t♦→♥ ✭❲❱❱■✮ ♥➳✉ ✭✸✳✷✮ t❤ä❛ ♠➣♥✳ ❚r♦♥❣ tr÷í♥❣ ❤đ♣ ✐♥t Q = Rp++ ✱ ✤à♥❤ ♥❣❤➽❛ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉ ❝õ❛ ❜➔✐ t♦→♥ ✭❲❱❱■✮ ❝â ổ tỗ t y M s T (x)k (y − x) < 0, ✈ỵ✐ ♠å✐ k ∈ J := {1, , p}, tr♦♥❣ ✤â T (x) = (T (x)1 , , T (x)p ), T (x)k : X → R (∀k ∈ J), Rp++ = ✐♥t Rp+ ✳ ✣à♥❤ ♥❣❤➽❛ ✸✳✶✳ ữợ tữ tr f t x ∈ X t❤❡♦ ♣❤÷ì♥❣ v ∈ X ✤÷đ❝ ①→❝ ✤à♥❤ ❜ð✐ fd− (x; υ) = lim inf t↓0 t✳÷✳✱ fd+ (x; υ) = lim sup t↓0 ✶✺ f (x + tυ) − f (x) , t f (x + tυ) − f (x) t ✣à♥❤ ♥❣❤➽❛ ✸✳✷✳ ❍➔♠ f : X R ữủ õ ữợ s rở tr f (x) tữ ữợ ∂∗ f (x)) t↕✐ x ♥➳✉ ∂ ∗ f (x) ⊆ X ∗ ✭t✳÷✳✱ ∂∗ f (x) ⊆ X ∗ ✮ ❧➔ t➟♣ ✤â♥❣ ✯②➳✉ ✈➔ ✈ỵ✐ ♠å✐ υ ∈ X, fd− (x, υ) ≤ x∗ , υ , sup x∗ ∈ ∂ ∗ f (x) (t✳÷✳✱ fd+ (x, υ) ≥ x∗ , υ ) inf x∗ ∈ ∂ ∗ f (x) ❚➟♣ ✤â♥❣ ✯②➳✉ ∂f (x) ⊆ X ∗ ữợ s rở f t x õ ứ ữợ s rở tr ứ ữợ s rở ữợ f t↕✐ x ✣à♥❤ ♥❣❤➽❛ ✸✳✸✳ ✣✐➸♠ x ∈ C ❣å✐ ❧➔ ✤✐➸♠ ❝❤➼♥❤ q✉② t❤❡♦ ♥❣❤➽❛ ■♦❢❢❡ ❝õ❛ h t C tỗ t số K > δ > s❛♦ ❝❤♦ ✈ỵ✐ ♠å✐ x ∈ C ∩ B(x; δ), dP (x) ≤ K h(x) − h(x) , tr♦♥❣ ✤â P := {x ∈ C : h(x) = h(x)}, dP (x) ❧➔ ❦❤♦↔♥❣ ❝→❝❤ tø x ✤➳♥ P, B(x; δ) ❧➔ ❤➻♥❤ ❝➛✉ ♠ð t➙♠ x ❜→♥ ❦➼♥❤ δ ✳ ●✐↔ t❤✐➳t ✸✳✶✳ ❈→❝ ❤➔♠ h1 , , hl ▲✐♣s❝❤✐t③ ✤à❛ ♣❤÷ì♥❣ t↕✐ x❀ ✈ỵ✐ ♠é✐ j ∈ L✱ ❤➔♠ |hj | ❝❤➼♥❤ q✉② t r t x ữợ ♣❤➙♥ s✉② rë♥❣ ∂hj ♥û❛ ❧✐➯♥ tö❝ tr➯♥ t↕✐ x❀ gi (∀i ∈ I(x)) ❧✐➯♥ tö❝✱ gi (∀i ∈ I(x)) õ ữợ s rở tr gi (x) t x C ỗ rt ❏♦❤♥ ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉ ❝õ❛ ❜➔✐ t♦→♥ ✭❲❱❱■✮ ữủ t ữ s ỵ sỷ x ❧➔ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉ ❝õ❛ ❜➔✐ t♦→♥ ✭❲❱❱■✮✳ ❚❤➯♠ ♥ú❛✱ x ❝❤➼♥❤ q✉② t❤❡♦ ♥❣❤➽❛ ■♦❢❢❡ ❝õ❛ h t❤❡♦ C ✈➔ t❤ä❛ ♠➣♥ ●✐↔ t❤✐➳t ✸✳✶✳ ❑❤✐ ✤â✱ tỗ t := (1 , , χp ) ∈ Q∗ \ {0}✱ µi ≥ (∀i ∈ I(x)), γ j ∈ R (∀j ∈ L) s❛♦ ❝❤♦ θ + ∈ ❝❧ = ✈➔ µi ❝♦♥✈ ∂ ∗ gi (x) + θχk T (x)k + k∈J i∈I(x) µi γ j ❝♦♥✈ ∂ ∗ hj (x) + NC (x) j∈L i∈I(x) ❚ø ỵ t s r ữủ ởt t q tr ỵ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥✳ ✶✻ ✸✳✷ ✣✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❑❛r✉s❤✕❑✉❤♥✕❚✉❝❦❡r ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉ ❝õ❛ ❜➔✐ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì ✸✳✷✳✶ ✣✐➲✉ ❦✐➺♥ ❝➛♥ ❑❛r✉s❤✕❑✉❤♥✕❚✉❝❦❡r ❝❤♦ ♥❣❤✐➺♠ ❝õ❛ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì ✣✐➲✉ ❦✐➺♥ ❝❤➼♥❤ q✉② ❦✐➸✉ ▼❛♥❣❛s❛r✐❛♥✕❋r♦♠♦✈✐t③ ✭▼❋❈◗✮ ✤÷đ❝ t ữ s ỗ t TC (x) ✈➔ sè > (i ∈ I(x)) s❛♦ ❝❤♦ ✭✐✮ ξi , υ0 ≤ −ai (∀ξi ∈ ∂ ∗ gi (x), ∀i ∈ I(x)); ✭✐✐✮ ηj , υ0 = (∀ηj ∈ ∂ ∗ hj (x), ∀j ∈ L) ✣✐➲✉ ❦✐➺♥ ❝➛♥ ❑❛r✉s❤✕❑✉❤♥✕❚✉❝❦❡r ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉ ❝õ❛ t ữủ t ữ s ỵ ✸✳✷✳ ●✐↔ sû x ❧➔ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉ ❝õ❛ ❜➔✐ t♦→♥ ✭❲❱❱■✮✱ t❤ä❛ ♠➣♥ ❝→❝ ❣✐↔ t❤✐➳t ❝õ❛ ✣à♥❤ ỵ q õ tỗ t = (1 , , λp ) ∈ Q∗ \ {0}, µi ≥ (∀i ∈ I(x)), γ j ∈ R (∀j ∈ L) s❛♦ ❝❤♦ ∈ ❝❧ µi ❝♦♥✈ ∂ ∗ gi (x) + λk T (x)k + k∈J γ j ❝♦♥✈ ∂ ∗ hj (x) + NC (x) j∈L i∈I(x) ❚ø ỵ t s r ữủ ởt t q tr ỵ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥✳ ✸✳✷✳✷ ✣✐➲✉ ❦✐➺♥ ✤õ ỳ ỵ sỷ x M tỗ t = (1 , , λp ) ∈ Q∗ \ {0}✱ µi ≥ (∀i ∈ I(x)), γ j ∈ R (∀j ∈ L) s❛♦ ❝❤♦ ∈ ❝❧ µi ❝♦♥✈ ∂ ∗ gi (x) + λk T (x)k + k∈J γ j ❝♦♥✈ ∂ ∗ hj (x) + NC (x) ; j∈L i∈I(x) ✭✐✐✮ ♠é✐ ❤➔♠ gi ❧➔ tü❛ ỗ t t x tr M (i I(x)) ♠é✐ ❤➔♠ hj ❧➔ tü❛ t✉②➳♥ t➼♥❤ t✐➺♠ ❝➟♥ t↕✐ x tr M (j L) C ỗ õ x ❧➔ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉ ❝õ❛ ❜➔✐ t♦→♥ ✭❲❱❱■✮✳ ✶✼ ❈❤÷ì♥❣ ✹ ✣✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ❜➔✐ t♦→♥ tố ữ tr q ữợ s rở ợ t tố ữ tỡ ởt trữớ ủ r q trồ ợ t ❝➙♥ ❜➡♥❣ ✈❡❝tì✳ ❈❤÷ì♥❣ ✹ tr➻♥❤ ❜➔② ❝→❝ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝➛♥ ✈➔ ✤õ ❝❤♦ ♥❣❤✐➺♠ ▲❯✕tè✐ ÷✉ ✤à❛ ♣❤÷ì♥❣ ❝õ❛ ❜➔✐ t♦→♥ tè✐ ÷✉ ❣✐→ trà ❦❤♦↔♥❣ ❝â r t tr ổ q ữợ ♣❤➙♥ s✉② rë♥❣ ✈ỵ✐ ❝→❝ ♥❣❤✐➺♠ ❧➔ ❝❤➼♥❤ q✉② t❤❡♦ ỵ ố ♠↕♥❤ ❦✐➸✉ ▼♦♥❞✕❲❡✐r ✈➔ ❲♦❧❢❡ ✤÷đ❝ t❤✐➳t ❧➟♣✳ ◆ë✐ ❞✉♥❣ ❝õ❛ ❝❤÷ì♥❣ ✤÷đ❝ tr➻♥❤ ❜➔② ❞ü❛ ✈➔♦ ♥ë✐ ❞✉♥❣ ❜➔✐ ❜→♦ ❝õ❛ ❉✳ ❱✳ ▲✉✉ ✈➔ ❚✳ ❚✳ ▼❛✐ [A1 ] ✭tr♦♥❣ ❞❛♥❤ ♠ư❝ ❝→❝ ❝ỉ♥❣ tr➻♥❤ ✤➣ ❝ỉ♥❣ ❜è ❧✐➯♥ q✉❛♥ ✤➳♥ ❧✉➟♥ →♥✮ ✤➠♥❣ tr♦♥❣ t↕♣ ❝❤➼ ✹❖❘ ✲ ❆ ◗✉❛rt❡r❧② ❏♦✉r♥❛❧ ♦❢ ❖♣❡r❛t✐♦♥s ❘❡s❡❛r❝❤✱ ✶✻ ✭✷✵✶✽✮✱ ◆♦ ✸✱ ✸✶✶✲✸✸✼ ✭❙❈■✲❊✮✳ ✹✳✶ ❇➔✐ t♦→♥ tè✐ ÷✉ ❣✐→ trà ❦❤♦↔♥❣ ❝â r➔♥❣ ❜✉ë❝ ▼ö❝ ♥➔② ❞➔♥❤ ❝❤♦ ✈✐➺❝ tr➻♥❤ ❜➔② ♠ët sè ✤à♥❤ ♥❣❤➽❛ ✈➔ t➼♥❤ ❝❤➜t ❝õ❛ ❜➔✐ t♦→♥ tè✐ ÷✉ ❣✐→ trà ❦❤♦↔♥❣ ❝â ❝→❝ r➔♥❣ ❜✉ë❝ ✤➥♥❣ t❤ù❝✱ ❜➜t ✤➥♥❣ t❤ù❝ ✈➔ r➔♥❣ ❜✉ë❝ t➟♣✳ ●å✐ T ❧➔ t➟♣ t➜t ❝↔ ❝→❝ ❦❤♦↔♥❣ ✤â♥❣ ✈➔ ❜à ❝❤➦♥ tr♦♥❣ R✳ ❱ỵ✐ A = [a1 , a2 ] ∈ T , B = [b1 , b2 ] ∈ T , q✉❛♥ ❤➺ t❤ù tü ❜ë ♣❤➟♥ ❝õ❛ ❝→❝ ❦❤♦↔♥❣ ✤÷đ❝ ①→❝ ✤à♥❤ ♥❤÷ s❛✉✿ A ≤I B ⇐⇒ a1 ≤ b1 , a2 ≤ b2 , A s ổ tỗ t x M B(x; ) tọ F (x) (∀i ∈ I(x)) s❛♦ ❝❤♦ ✭✐✮ ξi , υ0 ≤ −ai (∀ξi ∈ ∂ ∗ gi (x), ∀i ∈ I(x)); ✭✐✐✮ ηj , υ0 = (∀ηj ∈ ∂ ∗ hj (x), ∀j ∈ L) ▼ët ✤✐➲✉ ❦✐➺♥ ❝➛♥ ❑❛r✉s❤✕❑✉❤♥✕❚✉❝❦❡r ❝❤♦ ♥❣❤✐➺♠ ▲❯✕tè✐ ÷✉ ữỡ ữủ t ữ s ỵ ●✐↔ sû x ❧➔ ♥❣❤✐➺♠ ▲❯✕tè✐ ÷✉ ✤à❛ ♣❤÷ì♥❣ ❝õ❛ P tọ tt ỵ q õ tỗ t λk ≥ (k = 1, 2) ✈ỵ✐ λ1 + λ2 = 1, µi ≥ (∀i ∈ I(x)), γ j ∈ R (∀j ∈ L) s❛♦ ❝❤♦ ∈❝❧ λ1 conv ∂F1 (x) + λ2 conv ∂F2 (x) µi conv ∂ ∗ gi (x) + + i∈I(x) γ j conv ∂hj (x) + NC (x) j∈L ✷✵ ✣➸ ❝â t❤➔♥❤ ♣❤➛♥ t❤ù s ❝õ❛ ♥❤➙♥ tû ▲❛❣r❛♥❣❡ ❦❤→❝ 0✱ t❛ ✤÷❛ ✈➔♦ ✤✐➲✉ ❦✐➺♥ ❝❤➼♥❤ q✉② ▼❛♥❣❛s❛r✐❛♥✕❋r♦♠♦✈✐t③ (CQ(s) 2) ỡ ữ s ỗ t s {1, 2}, υ0 ∈ TC (x) ✈➔ > (∀i ∈ I(x)), bk > 0✱ (k ∈ {1, 2}, k = s) s❛♦ ❝❤♦ ✭✐✬✮ ✈➔ ✭✐✐✮ t❤ä❛ ♠➣♥✱ ✈ỵ✐ ✭✐✬✮ ♥❤÷ s❛✉✳ ✭✐✬✮ ξi , υ0 ≤ −ai (∀ξi ∈ ∂ ∗ gi (x), ∀i ∈ I(x)); χk , υ0 ≤ −bk (∀χk ∈ ∂Fk (x), k ∈ {1, 2}, k = s) ỵ sỷ x ❧➔ ♥❣❤✐➺♠ ▲❯✕tè✐ ÷✉ ✤à❛ ♣❤÷ì♥❣ ❝õ❛ ✭❈■❖P✮✱ t❤ä❛ ♠➣♥ tt ỵ ❝❤➼♥❤ q✉② (CQ(s) 2) ✭s = 1, 2✮✳ ❑❤✐ ✤â✱ tỗ t s > (s = 1, 2), ài ≥ (∀i ∈ I(x)), γ j ∈ R (∀j ∈ L) s❛♦ ❝❤♦ µi conv ∂ ∗ gi (x) ∈ ❝❧ λ1 conv ∂F1 (x) + λ2 conv ∂F2 (x) + i∈I(x) + γ j conv ∂hj (x) + NC (x) j∈L ✹✳✷✳✸ ✣✐➲✉ ❦✐➺♥ ✤õ ❝❤♦ tố ữ ữỡ ỵ sỷ x ∈ M ✈➔ ❝→❝ ✤✐➲✉ ❦✐➺♥ s❛✉ t❤ä❛ ♠➣♥ tỗ t k > (k = 1, 2), µi ≥ (∀i ∈ I(x)), γ j ∈ R (∀j ∈ L) s❛♦ ❝❤♦ ∈ ❝❧ λ1 ❝♦♥✈ ∂ ∗ F1 (x) + λ2 ❝♦♥✈ ∂ ∗ F2 (x) + µi ❝♦♥✈ ∂ ∗ gi (x) i∈I(x) γ j ❝♦♥✈ ∂ ∗ hj (x) + NC (x) ; + jL ởt tr ữợ s rë♥❣ tr➯♥ ∂ ∗ Fk (x) (∀k = 1, 2) ❝❤➼♥❤ q✉② tr➯♥ t↕✐ x❀ ❤➔♠ λF := λ1 F1 + F2 ỗ t t x tr M gi tỹ ỗ t t x tr➯♥ M (∀i ∈ I(x))❀ ❝→❝ ❤➔♠ hj tü❛ t✉②➳♥ t➼♥❤ t✐➺♠ ❝➟♥ t↕✐ x tr➯♥ M (∀j ∈ L); C ỗ õ x tố ữ ❝õ❛ ❜➔✐ t♦→♥ ✭❈■❖P✮✳ ✹✳✸ ✣è✐ ♥❣➝✉ ✹✳✸✳✶ ✣è✐ ♥❣➝✉ ▼♦♥❞✕❲❡✐r ❇➔✐ t♦→♥ ✤è✐ ♥❣➝✉ ❦✐➸✉ ▼♦♥❞✕❲❡✐r ✭❉❈■❖P✶✮ ❝õ❛ ❜➔✐ t♦→♥ ✭❈■❖P✮ ✤÷đ❝ ♣❤→t ❜✐➸✉ ♥❤÷ s❛✉✿ ✷✶ ♠❛① F (u) = [F1 (u), F2 (u)], ✈ỵ✐ ❝→❝ r➔♥❣ ❜✉ë❝ ∈ ❝❧ λ1 ❝♦♥✈ ∂ ∗ F1 (u) + λ2 ❝♦♥✈ ∂ ∗ F2 (u) + + j∈L γj i∈I(u) µi ❝♦♥✈ ∂ ∗ gi (u) ❝♦♥✈ ∂ ∗ hj (u) + NC (u) , µi gi (u) ≥ (∀i ∈ I(u)), γj hj (u) = (j ∈ L), u ∈ C, λk > (k = 1, 2), µi ≥ (∀i ∈ I(u)), µr = (r ∈ / I(u)), γj ∈ R (∀j ∈ L) ỵ ố t P ✈➔ ❜➔✐ t♦→♥ ✤è✐ ♥❣➝✉ ✭❉❈■❖P✶✮ ✤÷đ❝ ♣❤→t ❜✐➸✉ ♥❤÷ s ỵ ố sỷ x (u, , à, ) tữỡ ự ❝❤➜♣ ♥❤➟♥ ✤÷đ❝ ❝õ❛ ✭❈■❖P✮ ✈➔ ✭❉❈■❖P✶✮✱ t❤ä❛ ♠➣♥ ❝→❝ ✤✐➲✉ ❦✐➺♥ s❛✉✿ ✭✐✮ ❈→❝ ❤➔♠ F1 , F2 , µi gi (i ∈ I(u)), νj hj (j ∈ L) õ ữợ s rở tr tữỡ ự ❧➔ ∂ ∗ F1 (u), ∂ ∗ F2 (u), ∂ ∗ (µi gi )(u), ∂ ∗ (γj hj )(u) t↕✐ u ✈ỵ✐ ∂ ∗ F1 (u) ❤♦➦❝ ∂ ∗ F2 (u) ❧➔ ❝❤➼♥❤ q✉② tr➯♥✳ ✭✐✐✮ ❍➔♠ λ1 F1 + F2 ỗ t t u C ài gi tỹ ỗ t t u ∈ C (∀i ∈ I(u))❀ ❝→❝ ❤➔♠ γj hj tü❛ t✉②➳♥ t➼♥❤ t✐➺♠ ❝➟♥ t↕✐ u ∈ C (∀j L) C ỗ õ F (x) F (u) t ỵ ố ❜➔✐ t♦→♥ ✭❈■❖P✮ ✈➔ ❜➔✐ t♦→♥ ✤è✐ ♥❣➝✉ ✭❉❈■❖P✶✮ ✤÷đ❝ t ữ s ỵ ố ●✐↔ sû x ❧➔ ♥❣❤✐➺♠ ▲❯✕tè✐ ÷✉ ✤à❛ ♣❤÷ì♥❣ ❝õ❛ ❜➔✐ t♦→♥ ✭❈■❖P✮ ✈➔ t❤ä❛ ♠➣♥ ❝→❝ ❣✐↔ t❤✐➳t ❝õ❛ ỵ õ tỗ t s > 0(s = 1, 2), µi ≥ (∀i ∈ I(x)), γ j ∈ R (∀j ∈ L) s❛♦ ❝❤♦ (x, λ, µ, γ) ❧➔ ✤✐➸♠ ❝❤➜♣ ♥❤➟♥ ✤÷đ❝ ❝õ❛ ❜➔✐ t♦→♥ ✭❉❈■❖P✶✮ ✈➔ ❣✐→ trà ❤➔♠ ♠ö❝ t✐➯✉ ❝õ❛ ❜➔✐ t♦→♥ ✭❈■❖P✮ t↕✐ x ✈➔ ✭❉❈■❖P✶✮ t↕✐ (x, λ, µ, γ) ❜➡♥❣ ♥❤❛✉✳ ❍ì♥ ♥ú❛✱ ♥➳✉ t❤ä❛ ♠➣♥ ●✐↔ t❤✐➳t ✭✐✐✮ ỵ t (x, , à, ) ♥❣❤✐➺♠ ▲❯✕tè✐ ÷✉ ❝õ❛ ❜➔✐ t♦→♥ ✭❉❈■❖P✶✮✳ ◆❤➟♥ ①➨t ✹✳✶✳ ỵ ỵ tữỡ ự rở ỵ ỵ ✹✳✷ ❝õ❛ ❆✳ ❏❛②s✇❛❧ ✈➔ ❝ë♥❣ sü ✭✷✵✶✻✮ ✈➲ ✤è✐ ♥❣➝✉ ❦✐➸✉ ▼♦♥❞−❲❡✐r✳ ✷✷ ✹✳✸✳✷ ✣è✐ ♥❣➝✉ ❲♦❧❢❡ ❇➔✐ t♦→♥ ✤è✐ ♥❣➝✉ ❦✐➸✉ ❲♦❧❢❡ ✭❉❈■❖P✷✮ ❝õ❛ ❜➔✐ t♦→♥ ✭❈■❖P✮ ✤÷đ❝ ♣❤→t ❜✐➸✉ ♥❤÷ s❛✉✿ m ♠❛① {F (u) + γj hj(u) }, ài gi (u) + i=1 j=1 ợ r➔♥❣ ❜✉ë❝ ∈ ❝❧(λ1 ❝♦♥✈ ∂ ∗ F1 (u) + λ2 ❝♦♥✈ ∂ ∗ F2 (u) + i∈I(u) µi ❝♦♥✈ ∂ ∗ gi (u) + j∈L γj ❝♦♥✈ ∂ ∗ hj (u) + NC (u)), u ∈ C, λk > (k = 1, 2), λ1 + λ2 = 1, µi ≥ (∀i ∈ I(u))❀ µr = (r ∈ / I(u)), γj ∈ R (∀j ∈ L) ỵ ố t P ❜➔✐ t♦→♥ ✤è✐ ♥❣➝✉ ✭❉❈■❖P✷✮ ✤÷đ❝ ♣❤→t ❜✐➸✉ ♥❤÷ s❛✉✳ ỵ ố sỷ x (u, , à, ) tữỡ ự ❝❤➜♣ ♥❤➟♥ ✤÷đ❝ ❝õ❛ ✭❈■❖P✮ ✈➔ ✭❉❈■❖P✷✮ t❤ä❛ ♠➣♥ ✭✐✮ ❈→❝ ❤➔♠ F1 , F2 , gi (i ∈ I(u)) ữủt õ ữợ s rở tr ✭t✳÷✳✱✮ ❧➔ ∂ ∗ F1 (u), ∂ ∗ F2 (u), ∂ ∗ gi (u) (∀i ∈ I(u)) t↕✐ u✱ tr♦♥❣ õ õ t t ởt ữợ s rở ❧➔ ❝❤➼♥❤ q✉② tr➯♥ t↕✐ u✱ ❝→❝ ❤➔♠ h1 , , h ❧➔ ❦❤↔ ✈✐ ●➙t❡❛✉① ✈ỵ✐ ❝→❝ ✤↕♦ ❤➔♠ ●➙t❡❛✉① ✭t✳÷✳✱✮ ❧➔ ∇G h1 (u), , ∇G h (u)❀ ✭✐✐✮ ❍➔♠ λ1 F1 + λ2 F2 + C ✳ ❑❤✐ ✤â✱ F (x) ≮I F (u) i∈I(u) µi gi + j=1 γj hj ỗ t + m i=1 ài gi (u) + j=1 γj hj (u) ❝➟♥ t↕✐ u t❤❡♦ ❚✐➳♣ t❤❡♦✱ ỵ ố t P ❜➔✐ t♦→♥ ✤è✐ ♥❣➝✉ ✭❉❈■❖P✷✮ ✤÷đ❝ ♣❤→t ❜✐➸✉ ♥❤÷ s❛✉✳ ỵ ố sỷ x ♥❣❤✐➺♠ ▲❯✕tè✐ ÷✉ ✤à❛ ♣❤÷ì♥❣ ❝õ❛ ✭❈■❖P✮ ✈➔ ❝→❝ ●✐↔ tt ỵ tọ õ tỗ t↕✐ λs > (s = 1, 2), µi ≥ (∀i ∈ I(x)), γ j ∈ R (∀j ∈ L) s❛♦ ❝❤♦ (x, λ, µ, γ) ❧➔ ✤✐➸♠ ❝❤➜♣ ♥❤➟♥ ✤÷đ❝ ❝õ❛ ❜➔✐ t♦→♥ ✭❉❈■❖P✷✮✱ ❣✐→ trà ❤➔♠ ♠ư❝ t✐➯✉ ❝õ❛ ❤❛✐ ❜➔✐ t♦→♥ ✭❈■❖P✮ ✈➔ ✭❉❈■❖P✷✮ t↕✐ x (x, , à, ) tữ ỡ ỳ tọ tt ỵ t (x, , à, ) tố ữ t P t ỵ tữỡ ự rở ỵ ✈➔ ✺✳✷ ❝õ❛ ❆✳ ❏❛②s✇❛❧ ✈➔ ❝ë♥❣ sü ✭✷✵✶✻✮ ✈➲ ✤è✐ ♥❣➝✉ ❦✐➸✉ ❲♦❧❢❡✳ ✷✸ ❑➌❚ ▲❯❾◆ ❈❍❯◆● ▲✉➟♥ →♥ ✤➣ tr➻♥❤ ❜➔② ❝→❝ ✤✐➲✉ ❦✐➺♥ ❝➛♥ tè✐ ÷✉ ✈➔ ❝→❝ ✤✐➲✉ ❦✐➺♥ ✤õ tè✐ ÷✉ ❝❤♦ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì ❦❤ỉ♥❣ trì♥✱ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ t❤ù❝ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì ❦❤ỉ♥❣ trì♥ ✈➔ ❜➔✐ t♦→♥ tè✐ ÷✉ ❣✐→ tr ổ trỡ q ổ ỳ ữợ s✉② rë♥❣✳ ❈→❝ ❦➳t q✉↔ ❝❤➼♥❤ ♠➔ ❧✉➟♥ →♥ ✤↕t ữủ ỗ t ✈➔ ✤õ ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ❍❡♥✐❣ ✈➔ ♥❣❤✐➺♠ s✐➯✉ ❤ú✉ ❤✐➺✉ ❝õ❛ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì ❦❤ỉ♥❣ trì♥ ợ st ữỡ tr ổ ❝â r➔♥❣ ❜✉ë❝ ✤➥♥❣ t❤ù❝✱ ❜➜t ✤➥♥❣ t❤ù❝ ✈➔ r➔♥❣ t ổ ữợ Pt ởt trữớ ủ r ữợ s rở ✷✮ ❚❤✐➳t ❧➟♣ ❝→❝ ✤✐➲✉ ❦✐➺♥ ❝➛♥ ✈➔ ✤õ ❦✐➸✉ ❝❤♦ ♥❣❤✐➺♠ ❤ú✉ ❤✐➺✉ ②➳✉ ❝õ❛ ❜➔✐ t♦→♥ ❜➜t ✤➥♥❣ ❜✐➳♥ ♣❤➙♥ ✈❡❝tì ❦❤ỉ♥❣ trì♥ ✈ỵ✐ r➔♥❣ ❜✉ë❝ ♥â♥✱ r➔♥❣ ❜✉ë❝ ✤➥♥❣ t❤ù❝ ✈➔ r➔♥❣ ❜✉ë❝ t➟♣✱ tr♦♥❣ ✤â ♥â♥ ởt ỗ ỳ ữủ t t ởt õ ỗ õ q ữợ ♣❤➙♥ s✉② rë♥❣✳ ✸✮ ❚❤✐➳t ❧➟♣ ❝→❝ ✤✐➲✉ ❦✐➺♥ ❝➛♥ ✈➔ ✤õ ❝❤♦ ♥❣❤✐➺♠ ▲❯✕tè✐ ÷✉ ✤à❛ ♣❤÷ì♥❣ ❝õ❛ ❜➔✐ t♦→♥ tè✐ ÷✉ ❣✐→ trà ❦❤♦↔♥❣ tr♦♥❣ ❦❤ỉ♥❣ ❣✐❛♥ ❇❛♥❛❝❤✳ ỵ ố r ữủ tữỡ ự ữủ tt ữợ ❝ù✉ t✐➳♣ t❤❡♦✳ ✶✮ ◆❣❤✐➯♥ ❝ù✉ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ♥❣❤✐➺♠ ①➜♣ ①➾ ❝õ❛ ❜➔✐ t♦→♥ ❝➙♥ ❜➡♥❣ ✈❡❝tì q ữợ s rở ự tố ữ t tỡ ợ r q ữợ s rở ✸✮ ◆❣❤✐➯♥ ❝ù✉ ✤✐➲✉ ❦✐➺♥ tè✐ ÷✉ ❝❤♦ ❜➔✐ t♦→♥ tố ữ q ữợ s rở ✷✹ ❉❆◆❍ ▼Ö❈ ❈⑩❈ ❈➷◆● ❚❘➐◆❍ ✣❶ ❈➷◆● ❇➮ ▲■➊◆ ◗❯❆◆ ✣➌◆ ▲❯❾◆ ⑩◆ ❬❆1 ❪✳ ▲✉✉ ❉✳❱✳✱ ▼❛✐ ❚✳❚✳ ✭✷✵✶✽✮✱ ✧❖♣t✐♠❛❧✐t② ❛♥❞ ❞✉❛❧✐t② ✐♥ ❝♦♥str❛✐♥❡❞ ✐♥t❡r✈❛❧✲✈❛❧✉❡❞ ♦♣t✐♠✐③❛t✐♦♥✧✱ ✹❖❘ ✲ ❆ ◗✉❛rt❡r❧② ❏♦✉r♥❛❧ ♦❢ ❖♣❡r❛t✐♦♥s ❘❡✲ s❡❛r❝❤✱ ✶✻✱ ✸✶✶✕✸✸✼ ✭❙❈■✲❊✮✳ ❬❆2 ❪✳ ▲✉✉ ❉✳❱✳✱ ▼❛✐ ❚✳❚✳ ✭✷✵✶✽✮✱ ✧❖♥ ❖♣t✐♠❛❧✐t② ❈♦♥❞✐t✐♦♥s ❢♦r ❍❡♥✐❣ ❊❢❢✐❝✐❡♥❝② ❛♥❞ ❙✉♣❡r❡❢❢❝✐❡♥❝② ✐♥ ❱❡❝t♦r ❊q✉✐❧✐❜r✐✉♠ Pr♦❜❧❡♠s✧✱ ◆✉♠❡r✐❝❛❧ ❋✉♥❝t✐♦♥❛❧ ❆♥❛❧②s✐s ❛♥❞ ❖♣t✐♠✐③❛t✐♦♥✱ ✸✾✱ ◆♦ ✶✻✱ ✶✽✸✸✲✶✽✺✹ ✭❙❈■✲❊✮✳ ❬❆3 ❪✳ ▼❛✐ ❚✳❚✳✱ ▲✉✉ ❉✳❱✳ ✭✷✵✶✽✮✱ ✧❖♣t✐♠❛❧✐t② ❝♦♥❞✐t✐♦♥s ❢♦r ✇❡❛❦❧② ❡❢❢✐✲ ❝✐❡♥t s♦❧✉t✐♦♥s ♦❢ ✈❡❝t♦r ✈❛r✐❛t✐♦♥❛❧ ✐♥❡q✉❛❧✐t✐❡s ✈✐❛ ❝♦♥✈❡①✐❢✐❝❛t♦rs✧✱ ❏♦✉r♥❛❧ ♦❢ ◆♦♥❧✐♥❡❛r ❛♥❞ ❱❛r✐❛t✐♦♥❛❧ ❆♥❛❧②s✐s✱ ✷✱ ◆♦ ✸✱ ✸✼✾✕✸✽✾ ✭❙❈❖P❯❙✮✳ ✷✺