[논문 리뷰] Monotone Linear Relations: Maximality and Fitzpatrick Functions

Heinz H. Bauschke, Xianfu Wang외 1명|ArXiv.org|2008. 05. 28.

Optimization and Variational Analysis참고 문헌 23인용 수 47

한 줄 요약

이 논문은 반사적 바나흐 공간 내에서 최대 단조 선형 관계를 피츠패치 함수를 핵심 도구로 사용하여 조사한다. 최대 단조성의 기준을 수립하고, 피츠패치 가족을 통해 기울어진 선형 관계를 특성화하며, 심스가 제기한 문제를 해결하여 최대 단조 연산자 중 그래프가 볼록인 경우 반드시 애फ인임을 증명한다.

ABSTRACT

We analyze and characterize maximal monotonicity of linear relations (set-valued operators with linear graphs). An important tool in our study are Fitzpatrick functions. The results obtained partially extend work on linear and at most single-valued operators by Phelps and Simons and by Bauschke, Borwein and Wang. Furthermore, a description of skew linear relations in terms of the Fitzpatrick family is obtained. We also answer one of Simons problems by showing that if a maximal monotone operator has a convex graph, then this graph must actually be affine.

연구 동기 및 목표

• 선형 관계(선형 그래프를 가진 다중값 함수)로의 최대 단조성 이론을 확장하여 단일값 함수에 대한 결과를 일반화함.
• 선형 관계와 그 쌍대의 도메인, 범위, 핵 사이의 관계를 조사함.
• 피츠패치 가족의 구조를 통해 기울어진 선형 관계를 특성화함.
• 심스가 제기한 문제를 해결하기 위해 최대 단조 연산자 중 그래프가 볼록인 경우 반드시 애फ인임을 증명함.
• 피츠패치 함수를 사용하여 최대 단조 선형 관계에 대한 새로운 최대성 기준을 수립하고, 펠리스, 심스 등 이전 결과를 일반화함.

제안 방법

• 선형 관계의 단조성과 최대성을 연구하기 위해 피츠패치 함수를 핵심 분석 도구로 사용함.
• 펜켈 쌍대성과 쌍대 이론을 적용하여 피츠패치 가족과 그 쌍대, 특히 $ F_A^{* op} $를 분석함.
• 항등식 $ F_A = \bigwedge_{F \to \text{피츠패치 가족}} F $ 와 $ F_A^{* op} = \bigvee_{F \to \text{피츠패치 가족}} F $ 를 활용하여 가족 내 최소 및 최대 함수를 연결함.
• A가 최대 단조임과 동시에 $ F_A = F_A^{* op} $ 인 것과 동치임을 이용하여 최대성 조건을 도출함.
• 특히 $ (\operatorname{gra}A)^\perp $ 와 같은 $ X \times X^* $ 내의 쌍대성 및 수직 관계를 적용하여 A와 $ A^* $ 를 연결함.
• 피츠패치 가족의 특성화 $ \mathcal{F}_A = \{ \iota_{\operatorname{gra}A} \} $ 를 사용하여 기울어진 선형 관계를 피츠패치 가족을 통해 완전히 기술함.

실험 결과

연구 질문

• RQ1 단조 선형 관계가 언제 최대 단조가 되는가?
• RQ2 선형 관계와 그 쌍대의 도메인, 범위, 핵 사이의 관계는 어떻게 되는가?
• RQ3 최대 단조 선형 관계의 피츠패치 가족이 싱글턴이 되는 조건은 무엇인가?
• RQ4 기울어진 선형 관계는 그 피츠패치 함수로 어떤 특성으로 기술되는가?
• RQ5 최대 단조 연산자 중 그래프가 볼록인 경우 반드시 애फ인인가?

주요 결과

• 그래프가 볼록인 최대 단조 연산자는 반드시 애फ인임을 증명하여 심스가 제기한 문제를 해결함.
• 최대 단조 선형 관계 $ A $ 에 대해, $ A $ 가 기울어진 경우와 $ \operatorname{dom}A = \operatorname{dom}A^* $ 이며 피츠패치 가족 $ \mathcal{F}_A $ 가 싱글턴임과 동치임.
• A가 기울어진 경우 피츠패치 가족은 단 하나의 함수로 구성됨: $ \mathcal{F}_A = \{ \iota_{\operatorname{gra}A} \} $, 그리고 $ F_A = F_A^{* op} = \iota_{\operatorname{gra}A} $.
• 최소 및 최대 피츠패치 함수는 $ F_A(x,x^*) = \min_{F \in \mathcal{F}_A} F(x,x^*) $ 와 $ F_A^{* op}(x,x^*) = \max_{F \in \mathcal{F}_A} F(x,x^*) $ 를 만족함.
• A가 최대 단조이고 $ \mathcal{F}_A $ 가 싱글턴이면, A는 기울어지고 $ A = -A^* $ 를 만족하며, 이는 모든 $ x \in \operatorname{dom}A $ 에 대해 $ \langle x, Ax \rangle = 0 $ 임을 의미함.
• 최대 단조 선형 관계의 쌍대 $ A^* $ 는 $ \operatorname{gra}A $ 가 닫혀져 있으면 $ A^{**} = A $ 를 만족하며, $ \overline{\operatorname{dom}A} = (A^*0)^\perp $ 를 만족함.