[논문 리뷰] Nonreflexive Banach SSD spaces

Stephen Simons|ArXiv.org|2008. 10. 25.

Advanced Banach Space Theory참고 문헌 14인용 수 4

한 줄 요약

이 논문은 바나흐 SSD 공간과 VZ 함수를 도입하여 SSD 공간 이론, 강력히 표현 가능한 다중함수, 그리고 최대 단조 연산자 이론을 통합한다. 바나흐 SSD 공간에서 하부 연속인 VZ 함수는 최대 q-양성 집합을 유도하며, 그 내재 쌍대성은 이러한 구조를 유지한다. 이는 강력히 표현 가능한 단조 연산자를 NI 성질을 통해 특성화하는 데로 이어진다.

ABSTRACT

In this paper, we unify the theory of SSD spaces, part of the theory of strongly representable multifunctions, and the theory of the equivalence of various classes of maximally monotone multifunctions.

연구 동기 및 목표

• 세 가지 별개 영역인 SSD 공간, 강력히 표현 가능한 다중함수, 최대 단조 연산자를 통합하기 위해.
• 호환 가능한 노름 구조를 갖춘 바나흐 SSD 공간과 VZ 함수를 도입하고 분석하기 위해.
• 최대 q-양성 집합을 통한 VZ 함수와 그 내재 쌍대성 간의 쌍대성 수립하기 위해.
• 음성 대칭성과 쌍대성의 활용을 통해 강력히 표현 가능한 단조 다중함수를 NI 성질을 갖는 것으로 특성화하기 위해.

제안 방법

• 대칭적으로 자기쌍대인 이항형식과 호환 가능한 노름 구조를 갖춘 바나흐 SSD 공간의 개념을 도입한다.
• 노름과 하부 연속성을 사용하여 바나흐 SSD 공간에서 VZ 함수를 정의하고, 맵 $\mathcal{P}(f)$ 를 통해 q-양성 집합과 연결한다.
• SSD 공간에서 정의된 올바른 볼록 함수의 내재 쌍대성 $f^{\,@}$ 를 정의하고, VZ 성질이 유지됨을 증명한다.
• 로카펠라의 합의 쌍대성 공식을 사용하여 $\widetilde{p}$-밀도 조건 하에서 MAS 함수와 VZ 함수의 동치성을 증명한다.
• $E \times E^*$ 에서의 음성 대칭 분석을 적용하여 [4], [15], [5]의 결과를 일반화한다.
• 부분적으로 국소적으로 컴act하지 않은 설정에서 쌍대성 결과를 뒷받침하기 위해 부록에서 비-하우스도르프 Fenchel-Moreau 정리를 활용한다.

실험 결과

연구 질문

• RQ1 바나흐 SSD 공간에서 하부 연속인 VZ 함수는 $\mathcal{P}(f)$ 구성에 의해 최대 q-양성 집합과 어떻게 관련이 있는가?
• RQ2 바나흐 SSD 쌍대 공간에서 MAS 함수와 VZ 함수가 동일해지는 조건은 무엇인가?
• RQ3 내재 쌍대성과 쌍대성의 관점에서 강력히 표현 가능한 다중함수와 유형 (NI)의 단조 다중함수 간의 동치성은 어떻게 확립할 수 있는가?
• RQ4 다양한 노름을 갖는 $E \times E^*$ 구조는 바나흐 SSD 공간의 표준 모델로 어떻게 기능하는가?
• RQ5 비-하우스도르프 Fenchel-Moreau 정리는 국소적으로 컴 pact하지 않은 공간으로의 쌍대성 확장을 어떻게 지원하는가?

주요 결과

• 바나흐 SSD 공간에서 하부 연속인 VZ 함수는 $\mathcal{P}(f)$ 를 통해 최대 q-양성 집합을 유도하며, 그 내재 쌍대성 $f^{\,@}$ 도 VZ 함수이며 $\mathcal{P}(f^{\,@}) = \mathcal{P}(f)$ 를 만족한다.
• $\widetilde{p}$-밀도 조건 하에서 바나흐 SSD 쌍대 공간에서 MAS 함수와 VZ 함수는 동일하다.
• VZ 함수의 클래스는 내재 쌍대성에 대해 불변이며, 이는 단조 연산자에 대한 쌍대성 프레임워크를 수립한다.
• $E \times E^*$ 설정에서는 이전의 [4], [15], [5]의 등가성 결과들이 일반화되고 강화되며, 특히 강력한 표현 가능성과 NI 성질 간의 연결 고리가 명확해진다.
• 이 논문은 최대 단조 다중함수가 강력히 표현 가능함과 동시에 유형 (NI)임이 서로 필요충분조건임을 음성 대칭성과 쌍대성을 통해 증명한다.