[논문 리뷰] A Brezis-Browder theorem for SSDB spaces

Stephen Simons|arXiv (Cornell University)|2010. 04. 24.

Optimization and Variational Analysis참고 문헌 2인용 수 6

한 줄 요약

이 논문은 반사적 바나흐 공간에서의 브레지스-브라우어 정리의 최대 단조성에 대해 대칭적으로 자기쌍대 바나흐(ASDB) 공간으로 일반화한다. 새로운 교차성 결과를 도입하고 ASDB 공간의 쌍대성 구조를 활용하여, 노름으로 닫힌 q-양성 선형 부분공간이 최대 q-양성임은 그의 영공간이 q-음성(또는 최대 q-음성)임과 동치임을 증명한다. 이는 대칭 이차형식과 이sov메트릭으로 쌍대 공간과의 식별을 통해 내재된 쌍대성 구조를 가진 더 넓은 범주로 고전 결과를 일반화한다.

ABSTRACT

In this paper, we show how the Brezis-Browder theorem for maximally monotone multifunctions with a linear graph on a reflexive Banach space, and a consequence of it due to Yao, can be generalized to SSDB spaces.

연구 동기 및 목표

• 반사적 바나흐 공간에서의 고전적 브레지스-브라우어 정리의 최대 단조성에 대한 일반화를 대칭적으로 자기쌍대 바나흐(ASDB) 공간의 더 일반적인 프레임워크로 확장한다.
• 부분공간의 영공간과 그의 쌍대성 성질을 이용하여 ASDB 공간 내에서 최대 q-양성의 특성화를 수립한다.
• 반사적 바나흐 공간에서 단조 선형 연산자에 대한 요우의 결과를 대칭 이차형식과 이sov메트릭 쌍대성의 구조를 통해 ASDB 설정으로 일반화한다.
• 힐베르트 공간과 반사적 바나흐 공간에서 공간과 그 쌍대 간의 쌍대성에 영감을 받아, 내재된 쌍대성 구조를 가진 공간에서 단조성과 최대성의 통합된 프레임워크를 제공한다.

제안 방법

• 대칭 이차형식, 이차형식 q, 노름, 그리고 쌍대 공간으로의 이sov메트릭 동형사상으로 정의된 대칭적으로 자기쌍대 바나흐(ASDB) 공간의 개념을 도입한다.
• ASDB 공간의 부분집합에 대해 q-양성과 q-음성을 정의하여 반사적 바나흐 공간에서의 단조성과 최대 단조성의 일반화를 수행한다.
• 핵심 기술적 도구로 삼을 전제(정리 3.3)인 교차성 결과를 수립하며, 이는 볼록 함수의 페인켈 쌍대와 대칭 이차형식을 연결한다.
• 닫힌 q-양성 부분공간의 지시함수의 페인켈 쌍대를 사용하여 영공간과 이차형식을 포함하는 쌍대 조건을 유도한다.
• 이sov메트릭 사상 ι를 통한 공간과 그 쌍대 간의 쌍대성에 기반하여, 노름으로 닫힌 q-양성 선형 부분공간 A가 최대 q-양성임은 그 영공간 A⁰이 q-음성임과 동치임을 증명한다.
• 예제 2.3를 통해 표준 반사적 바나흐 공간 설정으로 결과를 적용하며, E×E*가 ASDB 공간이 되고, 원래의 브레지스-브라우어 및 요우 정리를 추론으로서 회복한다.

실험 결과

연구 질문

• RQ1 반사적 바나흐 공간에서의 최대 단조성에 대한 브레지스-브라우어 정리는 대칭 쌍대성을 가진 더 넓은 범주로 일반화될 수 있는가?
• RQ2 ASDB 공간 내에서 노름으로 닫혀 있고 q-양성인 선형 부분공간이 최대 q-양성임을 보장하는 조건은 무엇인가?
• RQ3 q-양성 부분공간의 영공간은 ASDB 프레임워크 내에서 그 최대성과 어떻게 관련되는가?
• RQ4 ASDB 공간 내에서 볼록 해석학과 단조 연산자 이론에서 사용되는 쌍대 조건을 일반화하는 교차성 원리가 존재하는가?
• RQ5 고전적인 최대 단조성과 수반 연산자의 단조성 간의 등가성은 ASDB 설정에서 회복될 수 있는가?

주요 결과

• ASDB 공간 내에서 노름으로 닫혀 있고 q-양성인 선형 부분공간 A는 그 영공간 A⁰이 q-음성임과 동치로 최대 q-양성이다.
• 동일한 부분공간 A는 그 영공간 A⁰이 최대 q-음성임과 동치로 최대 q-양성임을 보여주며, 최대성과 영공간 성질 간의 쌍대성을 확립한다.
• 정리 3.3의 교차성 결과는 지시함수의 페인켈 쌍대와 대칭 이차형식, 영공간을 연결하는 핵심 기술적 도구를 제공한다.
• 증명은 지시함수의 페인켈 쌍대가 영공간과 이차형식을 포함하는 쌍대 조건을 만족함을 바탕으로 한다.
• ASDB 공간이 표준 쌍대성과 대칭 이차형식을 가진 E×E*로 취해질 경우, 고전적 브레지스-브라우어 및 요우 정리는 추론으로서 회복된다.
• 이sov메트릭 식별 ι: B → B*는 ASDB 공간의 쌍대성 구조가 최대 단조성에 필요한 핵심 성질을 유지함을 보장하며, 반사적 바나흐 공간의 경우를 일반화한다.