[논문 리뷰] Coderivative characterizations of maximal monotonicity for set-valued mappings

Nguyễn Huy Chiêu, G. M. Lee외 2명|arXiv (Cornell University)|2015. 01. 01.

Optimization and Variational Analysis참고 문헌 37인용 수 8

한 줄 요약

이 논문은 힐버트 공간 내 다중값 함수에 대한 최대 단조성의 최초의 무한소적, 코미분 기반 특성화를 제시하며, 국소적 또는 전역적 하모노톤성 조건과 함께 국소적 양의 준정부정성의 국소적 코미분 조건을 사용한다. 주요 기여는 단일값 함수의 경우를 초월하여 고전적 단조성 특성화를 일반화한 완전한 코미분 기준을 제시하고, 하위미분의 2차 조건을 통해 하위-$\mathcal{C}^2$ 함수의 볼록성 및 강한 볼록성에 대한 조건을 도출한다.

ABSTRACT

This paper concerns generalized differential characterizations of maximal monotone set-valued mappings. Using advanced tools of variational analysis, we establish coderivative criteria for maximal monotonicity of set-valued mappings, which seem to be the first infinitesimal characterizations of maximal monotonicity outside the single-valued case. We also present second-order necessary and sufficient conditions for lower-${\mathcal C}^2$ functions to be convex and strongly convex. Examples are provided to illustrate the obtained results and the imposed assumptions.

연구 동기 및 목표

• 다중값 함수에 대한 최대 단조성을 검증 가능한 무한소적 특성화를 개발하여, 기존 문헌에서 단일값 함수의 경우를 초월해 여전히 미해결인 문제를 해결한다.
• 이전에는 부드럽거나 단일값 함수에 대해서만 알려진 고전적 단조성 기준을 일반화된 미분 이론의 영역으로 확장한다.
• 2차 하위미분을 사용하여 하위-$\mathcal{C}^2$ 함수의 볼록성 및 강한 볼록성에 대한 필요 및 충분 조건을 유도한다.
• 하모노톤성을 핵심 구조적 가정으로 도입함으로써 기존의 변분해석 결과를 통합하고 일반화한다.
• 합성 및 합과 같은 연산 하에서 최대 단조성의 유지 여부를 분석하기 위한 기초를 마련한다.

제안 방법

• 변분해석의 고급 도구, 특히 모르두코비치의 국소적 코미분 구성법을 활용하여 다중값 함수의 최대 단조성을 분석한다.
• 힐버트 공간 내 최대 단조성의 중심 기준으로서 코미분의 국소적 양의 준정부정성을 적용한다.
• 코미분 특성화의 타당성을 보장하기 위해 전역적 또는 국소적 하모노톤성 조건을 구조적 가정으로 도입한다.
• 2차 하위미분(일반화된 헤시안)을 활용하여 $\mathcal{C}^2$-유사 함수의 볼록성 및 강한 볼록성에 대한 필요 및 충분 조건을 도출한다.
• 특히 매개변수화된 변분계수계의 맥락에서, [25]의 일반화된 헤시안 미분법칙과 코미분 규칙에 기반하여 주요 결과를 유도한다.
• 이론을 일반화된 방정식과 스위핑 프로세스에 적용하여 추상적 단조성과 최적화 및 미분포함수 분야의 실제 응용을 연결한다.

실험 결과

연구 질문

• RQ1 힐버트 공간 내 다중값 함수의 최대 단조성이 무한소적, 코미분 기반 조건으로 특성화될 수 있는가?
• RQ2 볼록성 이외의 도메인의 볼록성 이외에, 이러한 코미분 특성화가 성립하기 위해 필요한 구조적 가정은 무엇인가?
• RQ3 2차 하위미분은 어떻게 하위-$\mathcal{C}^2$ 함수의 볼록성 및 강한 볼록성에 대한 필요 및 충분 조건을 도출하는 데 활용될 수 있는가?
• RQ4 하모노톤성은 단일값 함수의 연속성 개념을 일반화하는 통합 조건으로서 어느 정도까지 볼 수 있는가?
• RQ5 코미분 프레임워크를 사용하여 최대 단조성 연산자들의 합이나 합성에 대한 최대 단조성 여부를 검증할 수 있는가?

주요 결과

• 논문은 전역적 또는 국소적 하모노톤성 조건 하에서 힐버트 공간 내 다중값 함수에 대한 최초의 완전한 코미분 기반 최대 단조성 특성화를 수립한다.
• 이 특성화는 국소적 양의 준정부정성의 국소적 코미분에 기반하며, 부드럽고 단일값 함수의 경우에 대한 고전적 결과를 확장한다.
• 하위-$\mathcal{C}^2$ 함수의 경우, 논문은 2차 하위미분 조건을 도출한다: 모든 $z \in \partial^2 f(u,v)(w)$ 에 대해 $\langle z,w\rangle \geq \kappa\|w\|^2$ 를 만족하면 강한 볼록성 모듈러스 $\kappa$ 를 특성화한다.
• 동일한 프레임워크는 일반화된 헤시안을 통해 하위-$\mathcal{C}^2$ 함수의 볼록성에 대한 2차 필요 및 충분 조건을 도출한다.
• 결과는 하모노톤성을 제거할 경우 코미분 특성화가 무효화될 수 있음을 보여주는 예시를 통해 설명되며, 이 조건의 필수성을 강조한다.
• 이 접근법은 코미분 미분법칙의 조건 충족 여부를 검토함으로써 합성 연산 하에서 최대 단조성 유지 여부를 검증할 수 있는 길을 제공한다.