[논문 리뷰] The sum of a maximal monotone operator of type (FPV) and a maximal monotone operator with full domain is maximal monotone

Liangjin Yao|arXiv (Cornell University)|2010. 05. 13.

Optimization and Variational Analysis참고 문헌 24인용 수 3

한 줄 요약

이 논문은 범준비한 공간에서 두 최대 단조 연산자의 합의 최대 단조성을 더 느슨한 조건 하에 확립한다: 한 연산자는 (FPV) 유형이며, 다른 한 연산자는 전체 정의역을 가진다. 피츠제르락 함수와 제약 조건을 사용하여, $ \operatorname{dom}A \cap \operatorname{int}\operatorname{dom}B \neq \varnothing $, $ A + N_{\overline{\operatorname{dom}B}} $가 (FPV) 유형이며, $ \operatorname{dom}A \cap \overline{\operatorname{dom}B} \subseteq \operatorname{dom}B $일 때 $ A + B $가 최대 단조임을 증명한다.

ABSTRACT

The most important open problem in Monotone Operator Theory concerns the maximal monotonicity of the sum of two maximal monotone operators provided that Rockafellar's constraint qualification holds. In this paper, we prove the maximal monotonicity of $A+B$ provided that $A$ and $B$ are maximal monotone operators such that $\dom A\cap\inte\dom B eq\varnothing$, $A+N_{\overline{\dom B}}$ is of type (FPV), and $\dom A\cap\overline{\dom B}\subseteq\dom B$. The proof utilizes the Fitzpatrick function in an essential way.

연구 동기 및 목표

• 비반사 공간에서 두 최대 단조 연산자의 합의 최대 단조성에 관한 단조 연산자 이론의 미해결 문제를 다루다.
• 표준 로카팔라르 제약 조건을 약화시켜 반사 공간을 초월한 합 정리의 확장을 이루다.
• 서브디퍼렌셜, 노멀 컨, 선형 관계를 포함한 합에 관한 이전 결과들을 통합하고 일반화하는 일반적 프레임워크를 제공하다.
• A가 반드시 서브디퍼렌셜이나 노멀 컨 연산자가 아니라도 $ A + B $가 최대 단조로 유지되는 조건을 확립하다.
• 반사성이 없을 경우 단조성 성질을 분석하기 위해 피츠제르락 함수를 중심 도구로 사용하다.

제안 방법

• 최대 단조성을 특성화하고 합 연산자의 단조성 관계를 분석하기 위해 피츠제르락 함수를 활용하다.
• 편미분 방법을 위한 내부 점의 존재를 보장하기 위해 제약 조건 $ \operatorname{dom}A \cap \operatorname{int}\operatorname{dom}B \neq \varnothing $를 사용하다.
• 서브디퍼렌셜과 노멀 컨을 일반화하는 (FPV) 유형 연산자의 개념을 적용하여 $ A $가 $ B $의 정의역 근처에서의 행동을 제어하다.
• 정의역 상호작용이 불연속성을 유도하지 않도록 보장하기 위해 조건 $ \operatorname{dom}A \cap \overline{\operatorname{dom}B} \subseteq \operatorname{dom}B $를 사용하다.
• $ A + N_{\overline{\operatorname{dom}B}} $가 (FPV) 유형임을 이용하여 $ A + B $의 합으로의 단조성 유지 확장을 도모하다.
• 서브디퍼렌셜과 노멀 컨에 관한 기존 결과를 특수 케이스로 활용하여 일반 프레임워크의 타당성을 검증하다.

실험 결과

연구 질문

• RQ1 비반사 공간에서 두 최대 단조 연산자의 합 $ A + B $가 언제 최대 단조가 되는가?
• RQ2 한 연산자가 (FPV) 유형이고 다른 한 연산자가 전체 정의역을 가질 때 합 정리를 확장할 수 있는가?
• RQ3 조건 $ \operatorname{dom}A \cap \overline{\operatorname{dom}B} \subseteq \operatorname{dom}B $가 합에서 최대 단조성을 유지하는가?
• RQ4 반사성이 없을 때 피츠제르락 함수를 효과적으로 사용하여 합의 최대 단조성을 증명할 수 있는가?
• RQ5 기존의 서브디퍼렌셜, 노멀 컨, 선형 관계에 관한 결과들이 이 일반화된 프레임워크에 어떻게 통합되는가?

주요 결과

• A가 (FPV) 유형의 최대 단조 연산자이고, B가 전체 정의역을 가진 최대 단조 연산자이며, $ \operatorname{dom}A \cap \operatorname{int}\operatorname{dom}B \neq \varnothing $일 때 합 $ A + B $는 최대 단조이다.
• $ A + N_{\overline{\operatorname{dom}B}} $가 (FPV) 유형이면, $ A $와 $ \operatorname{dom}B $의 폐쇄 사이의 상호작용이 단조성을 유지함을 보장한다.
• 이 결과는 서브디퍼렌셜과 전체 정의역 연산자에 관한 베르오나와 베르오나의 정리, 그리고 (FPV) 유형 연산자와 노멀 컨에 관한 로이지의 결과를 일반화한다.
• 선형 관계 $ A $와 전체 정의역 최대 단조 연산자 $ B $에 대해서도 합 정리가 성립하며, 히슬러의 결과를 확장한다.
• $ L^1[0,1] $에서의 예시는 $ A $가 최대 단조 선형 관계이고 $ J $가 쌍대성 사상일 때 $ A + J $가 최대 단조임을 보여주며, 이는 이전 정리로는 유도할 수 없는 결과이다.
• 이 프레임워크는 $ B $가 가능한 닫히지 않은 정의역을 가진 적절하고 하향 연속적이며 볼록인 함수의 서브디퍼렌셜인 경우를 포함하며, 이는 이전 결과를 일반화한다.