[논문 리뷰] Local strong maximal monotonicity and full stability for parametric variational systems

Boris S. Mordukhovich, T. T. A. Nghia|arXiv (Cornell University)|2014. 09. 06.

Optimization and Variational Analysis참고 문헌 33인용 수 6

한 줄 요약

이 논문은 힐버트 공간 내의 매개변수화된 변분체계에 대해 국소적 강한 최대단조성과 이차 일반화 미분을 이용하여 리프시츠성 및 헬더성 전안정성의 새로운 개념을 도입하고 특성화한다. 전안정성을 위한 검증 가능한 충분조건을 이차 구성의 양의 정부성에 기반하여 수립함으로써, 사전 단조성 가정 없이 기존 결과를 확장한다.

ABSTRACT

The paper introduces and characterizes new notions of Lipschitzian and Hölderian full stability of solutions to general parametric variational systems described via partial subdifferential and normal cone mappings acting in Hilbert spaces. These notions, postulated certain quantitative properties of single-valued localizations of solution maps, are closely related to local strong maximal monotonicity of associated set-valued mappings. Based on advanced tools of variational analysis and generalized differentiation, we derive verifiable characterizations of the local strong maximal monotonicity and full stability notions under consideration via some positive-definiteness conditions involving second-order constructions of variational analysis. The general results obtained are specified for important classes of variational inequalities and variational conditions in both finite and infinite dimensions.

연구 동기 및 목표

• 매개변수화된 변분체계(PVS)의 힐버트 공간 내에서 리프시츠성 및 헬더성 전안정성의 새로운 개념을 도입하고 특성화하는 것.
• PVS와 관련된 다가우수사상의 국소적 강한 최대단조성과 전안정성 간의 관계를 설정하는 것.
• 이차 변분해석 도구를 활용하여 전안정성에 대한 검증 가능하고 정량적인 조건을 도출하는 것.
• 기존의 단일값성 및 해사상의 리프시츠 연속성 결과를 제한적인 단조성 가정을 초월하여 확장하는 것.
• 더 약한 제약조건 충족 조건 하에서 매개변수화된 변분부등식 및 보완문제의 전안정성에 대한 새로운 필요 및 충분조건을 제공하는 것.

제안 방법

• 특히 코미분과 이차 하위미분을 포함한 변분해석 및 일반화 미분의 고급 도구를 활용한다.
• 해사상의 안정성 분석을 위해 리프시츠 유사성의 코미분 특성화를 적용한다.
• 전안정성의 핵심 기준으로서 일반화된 강한 이차 충분조건(GSSOSC)을 도입하고 분석한다.
• 선형화와 점별 이차 조건을 활용하여 부분 MFCQ, CRCQ, LICQ 하에서 특성화를 도출한다.
• 부분 LICQ 하에서는 전안정성과 GSSOSC가 동치임을, 부분 MFCQ 및 CRCQ 하에서는 충분성임을 확립한다.
• 결과를 변분부등식과 매개변수화된 보완문제(PVC)에 적용하여 구체적인 예제에서 조건을 검증한다.

실험 결과

연구 질문

• RQ1 사전 단조성 가정 없이 매개변수화된 변분체계의 해사상이 국소적으로 단일값성과 리프시츠 연속성을 가지기 위한 조건은 무엇인가?
• RQ2 기본 다가우수사상의 국소적 강한 최대단조성이 전안정성 개념과 어떻게 연결될 수 있는가?
• RQ3 어떤 이차 일반화 미분 조건이 매개변수화된 변분체계에서 전안정성을 보장하는가?
• RQ4 부분 선형독립성 제약조건(LICQ) 하에서 일반화된 강한 이차 충분조건(GSSOSC)은 전안정성에 대해 필수적이고 충분한가?
• RQ5 제안된 안정성 개념은 매개변수화된 변분부등식 및 보완문제와 같은 구체적 환경에서 검증될 수 있는가?

주요 결과

• 부분 MFCQ와 CRCQ가 성립할 경우, 일반화된 강한 이차 충분조건(GSSOSC)은 해사상의 전안정성에 대해 충분하다.
• 부분 LICQ 하에서는 GSSOSC가 전안정성에 대해 필수적이고 충분하므로 날카로운 특성화를 제공한다.
• GSSOSC가 성립할 경우, 해사상은 기준점 주변에서 단일값성과 리프시츠 연속성을 갖는 국소화를 가진다.
• 이전 연구를 개선하기 위해 제한적인 단조성 가정을 제거하고, [9, 21] 및 [19]를 초월한 충분조건을 확장한다.
• 예제 6.4에서 GUSOSC는 성립하지만 SCOC는 실패함을 보여, GSSOSC가 고전적 최적성 조건보다 엄밀히 더 강력함을 입증한다.
• 논문은 전안정성이 단조성 가정 없이도 국소적 단일값성과 리프시츠 연속성을 암시함을 규명한다.