[논문 리뷰] For maximally monotone linear relations, dense type, negative-infimum type, and Fitzpatrick-Phelps type all coincide with monotonicity of the adjoint

Heinz H. Bauschke, Jonathan M. Borwein외 2명|arXiv (Cornell University)|2011. 03. 31.

Optimization and Variational Analysis참고 문헌 43인용 수 7

한 줄 요약

이 논문은 바나흐 공간에서 최대 단조 선형 관계에 대해, 조밀 유형(D), 음의 하한 유형(NI), 피츠제이크-플레퍼스 유형(FP)이 모두 동치이며, 모두 수반 연산자의 단조성과 동치임을 증명한다. 증명은 선형 연산자 이론에서 오랫동안 미해결된 두 문제를 해결하며, 단조성의 수반 연산자가 모든 세 유형을 함의하고, 그 반대도 마찬가지로 성립함을 보이며, 바나흐 공간에서의 볼록 해석학과 쌍대성 이론의 고급 도구를 사용한다.

ABSTRACT

It is shown that, for maximally monotone linear relations defined on a general Banach space, the monotonicities of dense type, of negative-infimum type, and of Fitzpatrick-Phelps type are the same and equivalent to monotonicity of the adjoint. This result also provides affirmative answers to two problems: one posed by Phelps and Simons, and the other by Simons.

연구 동기 및 목표

• 페르스와 시몬스가 제기한 문제에 대해, 수반 연산자의 단조성이 선형 최대 단조 연산자에 대해 유형(D)을 함의하는지 여부를 해결하는 것.
• 시몬스가 제기한 질문에 대해, 선형 최대 단조 연산자에 대해 유형(FP)이 유형(NI)을 함의하는지 여부를 밝히는 것.
• 세 가지 서로 다른 최대 단조 연산자 유형—(D), (NI), (FP)—을 수반 단조성에 의한 단일 특성화로 통합하는 것.
• 기존 연속 선형 연산자에 대한 결과를 일반 선형 관계로 확장하는 것.
• 펜켈 코너주트와 쌍대성 이론을 사용하여 선형 관계의 맥락에서 단조성 유형을 종합적으로 특성화하는 것.

제안 방법

• 연산자의 그래프와 그 수반의 구조를 분석하기 위해 펜켈 코너주트와 쌍대성 이론을 활용한다.
• 이중공간에서의 넷의 약한* × 강한 수렴 개념을 사용하여 유형(D) 연산자를 특성화한다.
• 지표 함수와 에피그래프 기법을 적용하여 연산자의 그래프의 볼록성 및 닫힘 성질을 다룬다.
• 펜켈-모레오 정리와 미분계수 해석학을 사용하여 단조성 유형에 대한 필요 및 충분 조건을 유도한다.
• 함수 $ F(x,x^*) = \langle x,x^*\rangle + \iota_{\operatorname{gra}A}(x,x^*) $의 펜켈 코너주트를 적용하여 연산자의 성질과 그 수반 간의 연결을 맺는다.
• 최소합성과 지표 함수의 연속성에 기반한 모순 추론을 사용하여 핵심 부등식을 도출한다.

실험 결과

연구 질문

• RQ1 수반 연산자의 단조성이 최대 단조 선형 관계가 유형(D)임을 함의하는가?
• RQ2 유형(FP)이 최대 단조 선형 관계가 유형(NI)임을 함의하는가?
• RQ3 일반 바나흐 공간에서 최대 단조 선형 관계에 대해 세 유형—(D), (NI), (FP)—이 동치인가?
• RQ4 연산자의 연속성을 가정하지 않고도 이러한 유형의 동치성을 확립할 수 있는가?
• RQ5 수반의 단조성과 최대 단조 연산자의 세 유형 사이의 정확한 관계는 무엇인가?

주요 결과

• 바나흐 공간에서 최대 단조 선형 관계에 대해, 세 유형—(D), (NI), (FP)—이 상호 동치이다.
• 수반 연산자의 단조성은 최대 단조 연산자의 세 유형과 동치이다.
• 논문은 단조성 이론에서 알려진 함의의 역을 다루는 페르스와 시몬스의 문제에 대해 긍정적인 답변을 제시한다.
• 논문은 시몬스의 문제 47.6를 해결하며, 선형 최대 단조 연산자에 대해 유형(FP)이 유형(NI)을 함의함을 보였다.
• 이 동치성은 연산자의 연속성을 가정하지 않더라도 성립하며, 이는 이전 결과를 일반 선형 관계 설정으로 확장한 것이다.
• 예를 들어, $ L^1[0,1] $에서 $ A $가 유형(D), (NI), (FP)을 모두 가지며 $ A^* $가 단조임을 보여주는 명시적 예가 제시되었다. 이는 이론을 확인한다.