[논문 리뷰] Maximality of the sum of the subdifferential operator and a maximally monotone operator

Liangjin Yao|arXiv (Cornell University)|2014. 06. 30.

Numerical methods in inverse problems참고 문헌 39인용 수 4

한 줄 요약

이 논문은 도메인이 Rockafellar의 제약 조건을 만족하고, 합 연산자 $ A + N_{\bar{\text{dom}}B} $ 가 (FPV) 유형인 경우, 하위미분 연산자와 최대 미분 가능 연산자의 합의 최대 미분 가능성성을 확립한다. 주요 기여는 바르비에이와 요의 열린 문제에 대해 반대되는 답변을 제시함으로써, 기존 결과를 일반화하고 합 문제를 보다 광범위한 연산자 집합과 연결한다.

ABSTRACT

The most important open problem in Monotone Operator Theory concerns the maximal monotonicity of the sum of two maximally monotone operators provided that the classical Rockafellar's constraint qualification holds, which is called the "sum problem". In this paper, we establish the maximal monotonicity of $A+B$ provided that $A$ and $B$ are maximally monotone operators such that $\dom A\cap\inte\dom B eq\varnothing$, and $A+N_{\overline{\dom A}}$ is of type (FPV). This generalizes various current results and also gives an affirmative answer to a problem posed by Borwein and Yao. Moreover, we present an equivalent description of the sum problem.

연구 동기 및 목표

• 특정 조건 하에서 $ A + B $ 의 최대 미분 가능성성을 확립함으로써, 미분 가능 연산자 이론에서 오랫동안 남아 있던 합 문제를 해결하는 것.
• 바르비에이와 요의 하위미분 연산자와 최대 미분 가능 연산자의 합에 관한 열린 문제에 대해 확립된 답변을 제공하는 것.
• 기존의 미분 가능 연산자의 합에 관한 결과를 일반화하기 위해 $ A + N_{\bar{\text{dom}}B} $ 에 대해 (FPV) 조건을 도입하는 것.
• Rockafellar의 제약 조건 하에서, 합 문제와 닫힘 볼록 집합 $ C $ 에 대해 $ A + N_C $ 의 최대 미분 가능성성 간의 동치성을 보여주는 것.

제안 방법

• 합 연산자의 최대 미분 가능성성을 분석하기 위해 Fitzpatrick 함수 $ F_{A+B} $ 를 활용한다.
• 연산자 $ A + N_{\bar{\text{dom}}B} $ 에 (FPV) 성질을 적용하여, 미분 가능성과 관련된 점들이 그래프 안에 있음을 보장한다.
• Banach-Alaoglu 정리와 약한* 수렴을 이용하여, 최대 미분 가능성성을 위반하는 수열로부터 모순을 도출한다.
• 정규 근원 연산자 $ N_C $ 와 하위미분 $ \nabla f $ 를 사용하여 볼록 제약 조건과 볼록 함수를 모델링한다.
• 합 문제와 $ C $ 가 닫힘 볼록 집합일 때 $ A + N_C $ 의 최대 미분 가능성성 간의 등가성을 기반으로 한다.
• Rockafellar, Simons 등이 제시한 미분 가능성, 제약 조건, 볼록 해석학에 관한 결과를 종합하여 주요 정리를 도출한다.

실험 결과

연구 질문

• RQ1 만약 $ \text{dom}(\nabla f) \bigcap \text{int}(\text{dom} B) \neq \varnothing $ 이고 $ \nabla f + N_{\bar{\text{dom}}B} $ 가 (FPV) 유형이라면, $ \nabla f + B $ 는 최대 미분 가능한가?
• RQ2 $ A + N_C $ 가 모든 닫힘 볼록 집합 $ C $ 에 대해 최대 미분 가능하다면, 이는 합 문제의 일반적 해를 암시하는가?
• RQ3 Rockafellar의 제약 조건 하에서, 합 문제는 $ A + N_C $ 의 최대 미분 가능성성 문제로 축소될 수 있는가?
• RQ4 $ A + N_{\bar{\text{dom}}B} $ 가 어떤 조건에서 (FPV) 유형이 되는가? 이는 $ A + B $ 의 최대 미분 가능성성을 보장하는가?
• RQ5 클래식한 제약 조건 하에서, 바나흐 공간에서 하위미분 연산자와 최대 미분 가능 연산자의 합은 항상 최대 미분 가능한가?

주요 결과

• 만약 $ A $ 와 $ B $ 가 최대 미분 가능하고, $ \text{dom} A \cap \text{int}(\text{dom} B) \neq \varnothing $ 이며, $ A + N_{\overline{\text{dom}} B} $ 가 (FPV) 유형이라면, 합 $ A + B $ 는 최대 미분 가능하다.
• 보조정리 3.4는 보르비에이와 요의 열린 문제 4.5에 대한 긍정적 답변을 제공한다: 동일한 제약 조건 하에서 $ \partial f + B $ 는 최대 미분 가능하다.
• 합 문제는 $ \text{dom} A \cap \text{int} C \neq \varnothing $ 를 만족하는 모든 닫힘 볼록 집합 $ C $ 에 대해 $ A + N_C $ 가 최대 미분 가능한가의 문제와 동치이다.
• $ \partial f + N_{\overline{\text{dom}} B} $ 는 $ \partial(f + \iota_{\overline{\text{dom}} B}) $ 와 동일하므로 (FPV) 조건을 만족하며, (FPV) 유형에 속한다.
• 증명 기법은 모순에 기반한다: $ F_{A+B}(z,z^*) = +\infty $ 이면 최대 미분 가능성성이 성립하지 않으며, (FPV) 조건 하에서 이는 모순을 초래한다.
• 이 결과는 선형 관계와 볼록 도메인 연산자에 관한 이전 정리들을 일반화하며, (FPV) 조건이 합의 최대 미분 가능성성에 충분함을 보여준다.