[논문 리뷰] Lectures on maximal monotone operators

R. R. Phelps|arXiv (Cornell University)|1993. 02. 04.

Holomorphic and Operator Theory인용 수 71

한 줄 요약

이 논문은 실 베르흐 공간에서 최대 단조 연산자의 자기 포함적인 소개를 제공하며, 기본 성질과 구조적 차이—특히 유형 (D)의 최대 단조 연산자와 국소적으로 최대 단조 연산자 사이의 차이에 중점을 둔다. 비반사성 설정에서 이러한 클래스 간의 계층 구조에 관한 핵심 질문을 해결하기 위해, 강한 단조 연산자 중 유형 (D)의 것들이 국소적으로 최대 단조 연산자임을 증명한다.

ABSTRACT

This is a 30 page set of lecture notes, in Plain TeX, which were prepared for and presented as a series of lectures (10 1/2 hours over two weeks) at the 2nd Summer School on Banach Spaces, Related Areas and Applications in Prague and Paseky, Czech Republic, during August, 1993. They consist of a largely self-contained exposition of both classical and recent basic facts about maximal monotone operators on Banach spaces, motivated in part by the goal of highlighting several fundamental properties of such operators which remain open questions in nonreflexive Banach spaces.

연구 동기 및 목표

• 임의의 실 베르흐 공간에서 최대 단조 연산자의 포괄적이고 자기 포함적인 기초를 구축하여 반사성에 대한 의존도를 최소화한다.
• 다양한 최대 단조 연산자 클래스 간의 관계, 특히 유형 (D)와 국소적으로 최대 단조 연산자 간의 관계를 명확히 한다.
• 최대 단조 연산자 중 유형 (D)의 클래스가 국소적으로 최대 단조 연산자 클래스를 엄격히 포함하는지 조사한다.
• 약한 범위 조건 하에, 강한 최대 단조 연산자 중 유형 (D)의 것들이 반드시 국소적으로 최대 단조 연산자임을 증명한다.
• 특히 하나가 닫힌 볼록집합의 지표 함수의 서브디퍼런셜인 경우, 최대 단조 연산자의 합에 관한 열린 문제를 다룬다.

제안 방법

• 핵심 성질를 유도하기 위해 하인-반하우스 정리와 브라우어 고정점 정리(레마 1.7에서 사용)를 포함한 기본 함수해석학 도구를 사용한다.
• 그래프를 통해 $E \times E^*$에서 단조 및 최대 단조 연산자를 정의하며, 순서 이론적 최대성 조건을 강조한다.
• 변분 부등식을 적용하여 거리 사영과 쌍대성 사상의 특성을 기술하고, 그들의 단조성 증명한다.
• 국소 최대성 증명에 핵심적인 역할을 하는, 정리 4.6의 항등식을 이용해 볼록 조합을 통한 내적을 연결한다.
• 레마 4.7을 통해 분리 함수를 이용한 모순 증명 기법을 적용하여, 어떤 점이 단조 연산자의 범위 외부에 있을 수 없음을 보인다.
• 정리 4.8에서 조밀성과 강성 조건을 적용하여, $R(T)$가 조밀하고 $T$가 강성일 경우 국소 최대성임을 보인다.

실험 결과

연구 질문

• RQ1 최대 단조 연산자 중 유형 (D)의 클래스는 국소적으로 최대 단조 연산자 클래스보다 엄격히 큰가?
• RQ2 최대 단조 연산자가 언제 국소적으로 최대 단조 연산자인가?
• RQ3 그들의 정의역이 내부에서 만날 때, 최대 단조 연산자와 닫힌 볼록집합의 지표 함수의 서브디퍼런셜의 합이 최대 단조 연산자일 수 있는가?
• RQ4 $R(T) = E^*$ 또는 $\overline{R(T)} = E^*$ 조건에 더해 강성 조건이 성립할 경우, 국소 최대성은 유도되는가?
• RQ5 반사성 없이도, 유형 (D)의 최대성과 강성 조건을 이용해 국소 최대성을 유추할 수 있는가?

주요 결과

• 강한 최대 단조 연산자 중 유형 (D)의 것들은 코로나리에이트 4.9에서 국소적으로 최대 단조 연산자임을 보였다.
• 만약 $R(T) = E^*$ 이면, 정리 4.8의 첫 번째 케이스에서 $T$는 국소적으로 최대 단조 연산자임을 입증했다.
• 만약 $\overline{R(T)} = E^*$ 이고 $T$가 강성일 경우, 정리 4.8의 두 번째 케이스에서 $T$는 국소적으로 최대 단조 연산자임을 보였다.
• 국소 최대성 증명은 모순에 기반한다: 점 $z^* \notin T(z)$ 이지만 단조성 부등식을 만족한다고 가정하면, 조밀성과 강성 조건을 통해 노름의 폭발이 발생한다.
• (4.1)의 항등식은 단조성 조건에서 볼록 조합을 분석하는 데 필수적이며, 분리 함수를 구성하는 데 기여한다.
• 섹션 4.5의 예시는 국소적으로 최대 단조 연산자 클래스가 유형 (D)의 클래스보다 엄격히 클 수 있음을 보여주지만, 이는 아직 미해결 상태이다.