[논문 리뷰] Maximal monotone operators with a unique extension to the bidual

M. Marques Alves, B. F. Svaiter|ArXiv.org|2008. 05. 29.

Optimization and Variational Analysis참고 문헌 28인용 수 17

한 줄 요약

이 논문은 바나흐 공간 위의 최대 단조 연산자가 이중 공간으로의 유일한 최대 단조 확장을 가지기 위한 새로운 충분조건을 제시한다. 주요 도구로 S-함수를 사용하며, 이 조건은 고스체의 유형 D 조건을 일반화하고, 제한된 브로나스티-로카렐라 성질을 암시한다. 핵심 결과는 S-함수가 유한값을 가질 경우, 이러한 연산자의 그래프는 애초에 애파인 선형이어야 한다는 것이다.

ABSTRACT

We present a new sufficient condition under which a maximal monotone operator $T:X os X^*$ admits a unique maximal monotone extension to the bidual $\widetilde T:X^{**} ightrightarrows X^*$. For non-linear operators this condition is equivalent to uniqueness of the extension. The class of maximal monotone operators which satisfy this new condition includes class of Gossez type D maximal monotone operators, previously defined and studied by J.-P. Gossez, and all maximal monotone operators of this new class satisfies a restricted version of Brondsted-Rockafellar condition. The central tool in our approach is the $\mathcal{S}$-function defined and studied by Burachik and Svaiter in 2000 \cite{BuSvSet02}(submission date, July 2000). For a generic operator, this function is the supremum of all convex lower semicontinuous functions which are majorized by the duality product in the graph of the operator. We also prove in this work that if the graph of a maximal monotone operator is convex, then this graph is an affine linear subspace.

연구 동기 및 목표

• 바나흐 공간 위의 최대 단조 연산자가 이중 공간으로의 유일한 최대 단조 확장을 가지기 위한 새로운 충분조건을 규명하는 것.
• 확장의 유일성을 보장하는 고스체의 유형 D 조건을 더 넓은 유형의 연산자로 일반화하는 것.
• S-함수의 유한성과 확장된 그래프의 구조(특히 볼록성과 선형성) 사이의 관계를 설정하는 것.
• 새로운 조건을 만족하는 연산자가 제한된 브로나스티-로카렐라 성질을 만족함을 증명하는 것.
• 최대 단조 연산자의 그래프가 볼록일 경우, 반드시 애파인 선형 부분공간이어야 한다는 것을 보여주는 것.

제안 방법

• S-함수는 연산자의 그래프 위에서 다우얼리티 곱을 지배하는 모든 볼록 하향연속 함수들의 상한으로 정의되며, 주요 분석 도구로 사용된다.
• S-함수의 쌍대함수 $ (\mathcal{S}_T)^* $ 를 분석하여, 함수가 유한한 영역을 특정하고, 이와 이중 공간 확장의 구조와 연결한다.
• 연산자와 그 역의 간의 쌍대성은 맵 $ \Lambda $ 를 통해 유지되며, 이는 성질을 쌍대 공간으로 이전시키는 데 도움을 준다.
• 핵심 단계로, $ (\mathcal{S}_T)^* $ 가 어떤 점에서 유한할 경우, 쌍대 공간 내의 점들의 선분이 확장된 연산자의 역의 정의역에 속한다는 것을 보여주며, 이는 확장된 그래프의 단조성과 볼록성을 암시한다.
• 최대 단조이자 볼록인 집합이 곱 공간에 존재할 경우 반드시 애파인 선형이어야 한다는 사실을 이용하여, 원래 연산자가 애파인 선형이 아니면 모순이 발생함을 도출한다.
• 유일성 증명은 확장된 연산자 $ \widetilde{T} $ 가 주어진 부등식을 만족하고 최대 단조임을 확인함으로써, 이것이 유일한 최대 단조 확장임을 보인다.

실험 결과

연구 질문

• RQ1 바나흐 공간 위의 최대 단조 연산자가 이중 공간으로의 유일한 최대 단조 확장을 가지기 위한 조건은 무엇인가?
• RQ2 S-함수가 유한할 경우, 확장된 연산자의 그래프의 구조와의 관계는 어떻게 되는가?
• RQ3 새로운 확장 유일성 조건이 제한된 브로나스티-로카렐라 성질을 암시하는가?
• RQ4 S-함수가 유한값을 가질 경우, 확장된 그래프의 구조적 특성은 무엇인가?
• RQ5 이중 확장의 맥락에서 S-함수와 다우얼리티 곱 사이의 관계는 무엇인가?

주요 결과

• 논문은 이중 공간으로의 유일한 최대 단조 확장을 위한 새로운 충분조건을 확립하였으며, 이는 고스체의 유형 D 조건을 일반화한다.
• 새로운 조건을 만족하는 모든 최대 단조 연산자는 제한된 브로나스티-로카렐라 성질을 만족한다.
• S-함수가 $ X^* \times X^{**} $ 내의 점에서 유한값을 가질 경우, 쌍대 공간 내의 점들의 선분이 확장된 연산자의 역의 정의역에 속한다.
• 새로운 조건 하에서 최대 단조 확장 $ \widetilde{T} $ 의 그래프는 볼록하고 최대 단조이므로, 애파인 선형이어야 한다.
• 논문은 최대 단조 연산자의 그래프가 볼록일 경우 반드시 애파인 선형 부분공간이어야 한다는 것을 증명하였으며, 이는 자체적으로도 중요한 구조적 결과이다.
• 유일한 확장 $ \widetilde{T} $ 는 S-함수의 쌍대함수를 통해 특징지어지며, 모든 $ (x^*,x^{**}) \in X^* \times X^{**} $ 에 대해 $ \mathcal{S}_T^*(x^*,x^{**}) \geq \langle x^*, x^{**} \rangle $ 를 만족한다.