[논문 리뷰] The Sum Theorem for Linear Maximal Monotone Operators

M. D. Voisei|ArXiv.org|2006. 09. 03.

Differential Equations and Boundary Problems인용 수 20

한 줄 요약

이 논문은 범주형 공간에서 선형 최대단조연산자의 경우, 도메인 차집합 D(A)−D(B)가 닫혀 있을 조건 하에 Rockafellar의 합 추측을 증명한다. 볼록해석학과 쌍대성 이론을 사용하여 저자들은 A+B가 최대단조임을 확립하며, 이는 비반사적 설정에서 이전 결과보다 더 약한 조건 하에서 일반 추측을 해결하는 데 중요한 단계를 이룬다.

ABSTRACT

The goal of this article is to give a positive answer to Rockafellar's maximality of the sum conjecture in the linear multi-valued operator case.

연구 동기 및 목표

• 범주형 공간에서 두 최대단조연산자의 합의 최대성에 대한 Rockafellar의 추측을 선형 다중값 함수의 경우에 해결하기 위해.
• 기존의 조건 int(D(A) ∩ D(B)) ≠ ∅를 대체하기 위해 D(A) − D(B)가 닫혀 있음을 도입함으로써 조건을 약화시키기 위해.
• 이 새로운 더 일반적인 조건부하에서 선형 최대단조연산자에 대해 A + B의 최대성을 확립하기 위해.
• 선형 연산자의 맥락에서 볼록 쌍대성과 하부연속성의 기법을 사용한 새로운 증명 기법을 제공하기 위해.

제안 방법

• A와 B의 단조성 조건을 각각 나타내는 X × X* 위의 볼록 함수 α와 β를 정의하며, 확장된 실수 값을 가진다.
• A + B 연산자를 표현하기 위해 α, β, 그리고 상수항을 포함하는 볼록 함수 Φ: X × X* × X* × X → ℝ ∪ {∞}를 구성한다.
• 볼록해석학의 기본 쌍대성 공식(Žálescu, [6, 정리 2.7.1(vii)])을 적용하여 Φ의 최소값과 그 Fenchel 변환의 쌍대함수를 연결한다.
• D(A) − D(B)의 닫힘 조건을 이용하여 Φ의 정의역 사영에 대해 0이 내재핵(intrinsic core)에 속하게 하여 쌍대성 공식이 성립하도록 보장한다.
• 쌍대성 공식에서 핵심 부등식 (4)를 유도하며, 이를 A와 B에 대한 최소값의 형태로 재표현하여 합의 단조성을 분석한다.
• A와 B에 대한 최소값이 모두 0이 됨을 보여, 이는 (x₀, x₀*) ∈ A + B임을 의미하며, 따라서 A + B의 최대성 증명이 된다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 범주형 공간에서 두 선형 최대단조연산자의 합 A + B가 최대단조인지?
• RQ2 기존의 조건 int(D(A) ∩ D(B)) ≠ ∅가 선형 경우에 더 약한 조건으로 대체될 수 있는가?
• RQ3 D(A) − D(B)가 닫혀 있더라도 도메인이 내부가 비어 있지 않은 교차를 가지지 않더라도 A + B의 최대성이 보장되는가?
• RQ4 볼록해석학의 쌍대성 이론이 선형 단조연산자의 합의 최대성을 증명하는 데 효과적으로 사용될 수 있는가?
• RQ5 D(A) − D(B)의 닫힘 조건이 임의의 단조쌍 (x₀, x₀*)에 대해 (x₀, x₀*) ∈ A + B임을 보장하는 데 충분한가?

주요 결과

• D(A) − D(B)가 닫혀 있을 경우, 두 선형 최대단조연산자의 합 A + B는 최대단조이다.
• D(A) − D(B)가 닫혀 있는 조건은 충분하고 필수적이다. 이 조건을 약화시키면 반례가 존재한다.
• 증명은 철저히 구성된 볼록 함수 Φ에 대해 볼록해석학의 기본 쌍대성 공식을 적용하는 데 기반한다.
• 핵심 단계는 특정 내적에 대한 A와 B에 대한 최소값이 모두 0이 됨을 보여, 이는 (x₀, x₀*) ∈ A + B임을 의미한다.
• 이 결과는 Phelps & Simons 및 Voisei의 이전 결과를 일반화하며, 더 넓은 선형 연산자 클래스로 확장한다.
• D(A) − D(B)의 닫힘은 선형 연산자에 대해 합 정리가 성립하는 데 있어 최소적이고 자연스러운 조건이다.