[논문 리뷰] On Gossez type (D) maximal monotone operators

B. F. Svaiter, M. Marques Alves|arXiv (Cornell University)|2009. 03. 30.

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

한 줄 요약

이 논문은 비반사적 바나흐 공간에서 고스체프 유형 (D)과 유형 (NI) 최대단조선형 연산자 간의 동치성을 확립하며, 두 클래스가 동일하다는 것을 증명한다. 피츠제르락 함수 이론과 넷의 성질을 이용하여, 유형 (NI)이 유형 (D)를 함의하고, 그 반대도 성립함을 보여, 이전에 별개로 여겨졌던 두 연산자 클래스를 통합하고, 이중 연장의 유일성 및 외삽의 전사성과 같은 기존 성질들을 고스체프 유형 (D) 연산자 전반에 확장한다.

ABSTRACT

Gossez type (D) operators are defined in non-reflexive Banach spaces and share with the subdifferential a topological related property, characterized by bounded nets. In this work we present new properties and characterizations of these operators. The class (NI) was defined after Gossez defined the class (D) and seemed to generalize the class (D). One of our main results is the proof that these classes, type (D) and (NI), are identical.

연구 동기 및 목표

• 비반사적 바나흐 공간에서 고스체프 유형 (D)과 유형 (NI) 최대단조선형 연산자가 동치인지 여부에 대한 열린 문제를 해결하기 위해.
• 이전에 유형 (NI) 연산자에게만 할당된 성질들을 고스체프 유형 (D) 연산자 클래스와 통합하기 위해.
• 비선형 최대단조선형 연산자에 대해, 이중으로의 최대단조선형 확장의 유일성이 고스체프 유형 (D) 연산자임과 동치임을 증명하기 위해.
• 최근의 피츠제르락 함수 이론과 볼록 표현 이론을 고스체프 유형 (D) 연산자로의 범위를 넓히기 위해.

제안 방법

• 비반사적 환경에서 최대단조선형 연산자를 특성화하고 그 성질을 분석하기 위해 피츠제르락 함수의 가족을 활용한다.
• 점근적 근사의 분석을 위해 넷을 이용한 스트릭트 브로나드-로카펠라 성질을 적용한다.
• 펜켈-레지온드르 쌍대성과 펜켈-로카펠라 이중성 원리를 활용하여 닫힌 구에 제한된 함수의 볼록 쌍대 함수에 대한 항등식을 유도한다.
• X를 그 이중 X**로의 표준 임bedding을 이용하여 연산자의 확장과 그 최대성 분석을 수행한다.
• (D)와 (NI)의 동치성을 활용하여 (NI) 이론에서 알려진 결과들을 (D) 연산자로 이전하며, 전사성과 범위의 볼록성과 같은 성질을 포함한다.
• ε-부도함수 이론과 거리 정규성 이론을 적용하여 연산자의 외삽에 따른 거동을 연구한다.

실험 결과

연구 질문

• RQ1 비반사적 바나흐 공간에서 고스체프 유형 (D) 최대단조선형 연산자와 유형 (NI) 최대단조선형 연산자가 동치인가?
• RQ2 최대단조선형 연산자에 대해 이중으로의 최대단조선형 확장의 유일성이 고스체프 유형 (D) 연산자를 특성화하는가?
• RQ3 유형 (NI) 연산자에 대해 알려진 성질들 — 예를 들어, 쌍대 사상에 의한 외삽의 전사성과 범위의 볼록성 — 은 고스체프 유형 (D) 연산자로까지 확장 가능한가?
• RQ4 피츠제르락 함수는 (D) 및 (NI) 클래스를 특성화하는 데 어떤 역할을 하는가?
• RQ5 (D)와 (NI)가 서로 다를 수 있는 반례가 존재하는가, 아니면 항상 동일한가?

주요 결과

• 비반사적 바나흐 공간에서 고스체프 유형 (D)과 유형 (NI) 최대단조선형 연산자 클래스는 동일하다.
• 비선형 최대단조선형 연산자에 대해, 이중으로의 최대단조선형 확장의 유일성은 고스체프 유형 (D) 연산자임과 동치이다.
• 이전에 유형 (NI) 연산자에 대해 입증된 모든 성질 — 예를 들어, 쌍대 사상에 의한 외삽의 전사성과 범위의 볼록성 — 은 이제 고스체프 유형 (D) 연산자에게도 적용 가능하다.
• 고스체프 유형 (D) 연산자에 대해 스트릭트 브로나드-로카펠라 성질이 성립하며, 이는 연산자 그래프 내의 수열에 의한 도메인과 레인지 내 점들의 조밀한 근사 보장한다.
• 피츠제르락 함수 가족은 고스체프 유형 (D) 연산자를 완전히 특성화하며, 최소 함수는 연산자의 정의역에서 쌍대 곱과 일치한다.
• 반례가 존재하여 선형 최대단조선형 연산자가 (D)가 아니지만 이중 확장이 유일한 경우가 있음을 보여, 동치성 결과가 모든 선형 연산자로까지 강화될 수 없음을 시사한다.