[논문 리뷰] Regular Maximal Monotone Multifunctions and Enlargements

Andrei Verona, Maria Elena Verona|ArXiv.org|2008. 06. 08.

Optimization and Variational Analysis참고 문헌 10인용 수 4

한 줄 요약

이 논문은 최근의 합 정리 결과를 활용하여 일반 바나흐 공간 내에서 정규 최대 단조 다중함수의 새로운 특성화를 제시한다. 이를 통해 이러한 연산자가 정규임과 동시에 그와 어떤 유계 최대 단조 다중함수를 합한 결과가 최대 단조임을 증명한다. 또한 두 종류의 확장의 정의역을 특성화한다. 하나는 $ T^\varepsilon $의 정의역이 $ D_T $와 같음과 동시에 $ T $가 정규임과 동치임을 보이고, 다른 하나는 $ T_\varepsilon $의 정의역이 $ D_T $의 폐포에 포함됨을 증명하여, 기존에 반사 공간에서 알려진 결과를 일반 바나흐 공간으로 확장한다.

ABSTRACT

In this note we use recent results concerning the sum theorem for maximal monotone multifunctions in general Banach spaces to find new characterizations and properties of regular maximal monotone multifunctions and then use these to describe the domain of certain enlargements.

연구 동기 및 목표

• 최근의 합 정리 결과를 활용하여 일반 바나흐 공간 내에서 정규 최대 단조 다중함수의 새로운 특성화를 제공한다.
• 정규 최대 단조 다중함수와 유계 최대 단조 다중함수의 합이 최대 단조임이 되는 조건을 설정한다.
• 최대 단조 다중함수의 두 종류의 확장, $ T^\varepsilon $ 및 $ T_\varepsilon $의 정의역을 특성화하며, 특히 원래 정의역의 폐포와의 관계를 다룬다.
• 정규성과 확장의 구조 사이의 관계를 명확히 하며, 특히 비반사 공간 설정에서의 의미를 규명한다.

제안 방법

• 일반 바나흐 공간 내 최대 단조 다중함수에 대한 합 정리를 활용하여 정규성의 새로운 특성화를 도출한다.
• 유계 단조 다중함수의 정의역이 전체 공간이 되도록 보장하기 위해 Debrunner-Flor 확장 정리를 적용한다.
• 함수 $ g_{\lambda,x}(z) = \lambda\|z - x\| $의(sub)미분을 활용하여 편항 $ T + \partial g_{\lambda,x} $를 구성하고, 그 최대 단조성의 분석을 수행한다.
• 두 종류의 확장을 도입한다: $ T^\varepsilon(x) = \{x^* \in X^* : \langle x^* - y^*, x - y \rangle \geq -\varepsilon \text{ for all } (y,y^*) \in G(T)\} $ 와 $ T_\varepsilon(x) = \{x^* \in X^* : \langle x^* - y^*, x - y \rangle \geq -\varepsilon \text{ for all } (y,y^*) \in G(T)\} $이며, 이들의 정의역 성질을 분석한다.
• 정규성을 특성화하기 위해 양수 $ L(x,x^*,T) = \sup_{y \neq x} \frac{\langle x^* - y^*, x - y \rangle}{\|x - y\|} \vee 0 $ 를 사용하며, $ L(x,x^*,T) = d(x^*, T(x)) $ 를 통해 정규성을 기술한다.
• 쌍대적으로 강하게 최대 단조인 다중함수의 개념을 적용하여 정규성과의 동치성을 증명한다.

실험 결과

연구 질문

• RQ1 일반 바나흐 공간에서 정규 최대 단조 다중함수와 유계 최대 단조 다중함수의 합이 최대 단조가 되는 조건은 무엇인가?
• RQ2 확장 $ T^\varepsilon $의 정의역이 $ T $의 정의역과 같아지는 경우는 언제이며, 이는 정규성과 어떻게 관련되는가?
• RQ3 정규 최대 단조 다중함수에 대해 확장 $ T_\varepsilon $의 정의역은 $ D_T $의 폐포와 어떻게 관련되는가?
• RQ4 정규성과 확장 $ T^\varepsilon $ 및 $ T_\varepsilon $의 구조 사이의 정확한 관계는 무엇인가?
• RQ5 모든 $ x \in X $ 와 $ \lambda > 0 $ 에 대해 $ T + \partial g_{\lambda,x} $ 가 최대 단조임이 되는 것으로 정규성을 특성화할 수 있는가?

주요 결과

• 정규 최대 단조 다중함수 $ T $와 임의의 유계 최대 단조 다중함수 $ S $의 합은 최대 단조임을 증명하였다. 이는 Debrunner-Flor 확장 정리와 $ S $의 유계성에 기반한다.
• 최대 단조 다중함수 $ T $가 정규임과 동시에 모든 $ x \in X $ 와 $ \lambda > 0 $ 에 대해 $ T + \partial g_{\lambda,x} $ 가 최대 단조임이 되는 것은 동치이며, 이는 정규성에 대한 새로운 운영 기준을 제공한다.
• $ T^\varepsilon $의 정의역이 $ D_T $와 같음과 동시에 $ T $가 정규임은 동치이며, 이는 정규성의 정의역 기반 특성화를 확립한다.
• 모든 정규 최대 단조 다중함수 $ T $에 대해 $ T_\varepsilon $의 정의역은 $ D_T $의 폐포에 포함된다. 즉, $ D_{T_\varepsilon} \subseteq \overline{D_T} $ 이며, 이는 기존에 반사 공간에서 알려진 결과를 일반 바나흐 공간으로 일반화한 것이다.
• 정규성은 모든 $ (x,x^*) \in X \times X^* $ 에 대해 $ L(x,x^*,T) = d(x^*, T(x)) $ 를 만족함과 동치이며, 이는 정규성의 정의적 성질이다.
• 정규일 경우 확장 $ T^\varepsilon $ 는 $ d(x^*, T^\varepsilon(x)) = L(x,x^*,T^\varepsilon) $ 를 만족하며, 이는 거리 기반 정의와 단조성 기반 정의 사이의 일관성을 보여준다.