[논문 리뷰] Vector duality via conditional extension of dual pairs

Samuel Drapeau, Asgar Jamneshan외 1명|arXiv (Cornell University)|2016. 08. 31.

Optimization and Variational Analysis참고 문헌 16인용 수 3

한 줄 요약

이 논문은 바나흐 공간 $ X $ 와 확장된 실수 계수 가측 함수들의 공간 $ \overline{L^0} $ 로부터 정의된 적절한 볼록 함수 $ f: X \to \overline{L^0} $ 에 대해 페인클-모레오 유형의 쌍대성 관계를 수립한다. 조건부로 쌍대 쌍 $ (X,Y,\langle\cdot,\cdot\rangle) $ 를 보흐너 공간 $ L^0(X) \times L^0(Y) $ 로 확장함으로써, 저자들은 $ f $ 의 하부 연속성과 표현식 $ f(x) = \operatorname{ess\,sup}_{y \in L^0(Y)} \{ \langle x,y \rangle - f^*(y) \} $ 의 쌍대 표현이 동치임을 증명한다. 이는 조건부 집합 이론과 보흐너 공간 확장을 통해 고전적 쌍대성 이론을 벡터 값 설정으로 일반화한 것이다.

ABSTRACT

A Fenchel-Moreau type duality for proper convex and lower semi-continuous functions $f\colon X o \overline{L^0}$ is established where $(X,Y,\langle \cdot,\cdot angle)$ is a dual pair of Banach spaces and $\overline{L^0}$ is the set of all extended real-valued measurable functions. We provide a concept of lower semi-continuity which is shown to be equivalent to the existence of a dual representation in terms of elements in the Bochner space $L^0(Y)$. To derive the duality result, several conditional completions and extensions are constructed. This is an earlier version of arXiv e-print 1708.03127, where the main results were formulated in an abstract setting of conditional completions, conditional extensions and conditional real numbers.

연구 동기 및 목표

• 적절한 볼록 함수 $ f: X \to \overline{L^0} $ 에 대해 페인클-모레오 유형의 쌍대성을 수립하는 것. 여기서 $ X $ 는 바나흐 공간이며, $ \overline{L^0} $ 는 확장된 실수 계수 가측 함수들의 공간이다.
• 이러한 함수에 대해 하부 연속성의 개념을 정의하여, 이는 $ L^0(Y) $ 의 원소들에 의한 쌍대 표현의 존재성과 동치가 되도록 하는 것.
• 바나흐 공간의 쌍대 쌍에 대한 조건부 확장을 개발하여, 원래 설정에서 조건부 페인클-모레오 쌍대성을 적용할 수 있도록 하는 것.
• 표준 스칼라화 기법이 실패하는 경우, 즉 $ \operatorname{int}(L^0_+) = \emptyset $ 이며 $ (L^0)^* = \{0\} $ 인 경우에 벡터 값 및 모듈 기반 설정으로 고전적 쌍대성 결과를 일반화하는 것.

제안 방법

• 바나흐 공간 $ X $ 와 $ Y $ 의 조건부 완비화를 구성하여, 각각 보흐너 공간 $ L^0(X) $ 과 $ L^0(Y) $ 와 등급 등장하는 것을 증명한다.
• 원래의 쌍대성 쌍대 $ \langle \cdot, \cdot \rangle $ 를 $ X \times Y $ 에서 $ L^0(X) \times L^0(Y) $ 로 조건부 쌍대성 쌍대형으로 확장하며, 이는 단순 함수들의 거의 모든 곳에서의 극한을 통해 정의된다.
• $ X $ 에서 $ L^0(X) $ 로의 조건부 하부 연속적 확장 $ f_c $ 를 정의하며, 이는 공간의 조건부 구조를 이용하여 $ \overline{L^0} $ 에 값을 갖는다.
• 조건부 집합 이론의 맥락에서 조건부 페인클-모레오 정리의 버전을 적용하여, $ f_c $ 의 $ L^0(Y) $ 의 원소들에 의한 쌍대 표현을 도출한다.
• 상수 원소를 평가하여 조건부 쌍대 표현을 원래 공간으로 다시 번역함으로써 주요 쌍대 공식을 도출한다: $ f(x) = \operatorname{ess\,sup}_{y \in L^0(Y)} \{ \langle x,y \rangle - f^*(y) \} $.
• 점별 거의 모든 곳에서 정의된 연산을 통해 $ L^0(X) $ 와 $ L^0(Y) $ 에 안정된 함수 구조를 사용하여 조건부 위상과 노름과의 호환성을 보장한다.

실험 결과

연구 질문

• RQ1 함수 $ f: X \to \overline{L^0} $ 에 대해 페인클-모레오 유형의 쌍대 표현이 보장되도록 하는 적절한 하부 연속성의 개념은 무엇인가?
• RQ2 표준 스칼라화가 실패하는 경우, 특히 $ \operatorname{int}(L^0_+) = \emptyset $ 이며 $ (L^0)^* = \{0\} $ 이면, 고전적 페인클-모레오 쌍대성은 벡터 값 함수로 어떻게 확장될 수 있는가?
• RQ3 쌍대성 쌍대와 볼록 쌍대 함수가 $ X \times Y $ 에서 $ L^0(X) \times L^0(Y) $ 로 어떻게 조건부로 확장될 수 있으며, 이는 쌍대성과 완비성을 유지하는가?
• RQ4 조건부 집합 이론은 $ L^0 $-값 도메인의 함수에 대해 쌍대 표현을 구성하는 데 어떤 역할을 하는가?
• RQ5 쌍대 표현식 $ f(x) = \operatorname{ess\,sup}_{y \in L^0(Y)} \{ \langle x,y \rangle - f^*(y) \} $ 이 성립하는 조건은 무엇이며, 언제 실패하는가?

주요 결과

• 함수 $ f: X \to \overline{L^0} $ 에 대해 새로운 하부 연속성의 개념이 도입되며, 이는 조건부 쌍대성 쌍대의 수렴을 통해 정의된다: 모든 $ y \in Y_c $ 와 안정적인 넷 $ (x_\alpha) $ 에 대해 $ \langle x_\alpha, y \rangle_c \to \langle x, y \rangle_c $ 이면 $ f(x) \leq \operatorname{ess\,liminf} f_s(x_\alpha) $ 를 만족한다.
• 조건부 완비화 $ X $ 는 $ L^0(X) $ 와 등급 등장하며, 마찬가지로 $ Y $ 에 대해서도 성립한다. 이는 $ L^0(X) $ 와 $ L^0(Y) $ 가 각각 $ X $ 와 $ Y $ 의 조건부 완비화임을 보여준다.
• 쌍대성 쌍대 $ \langle \cdot, \cdot \rangle $ 는 $ X \times Y $ 에서 $ L^0(X) \times L^0(Y) $ 로 단순 함수의 거의 모든 곳에서의 극한을 통해 확장되며, $ X_c $ 를 $ L^0(X) $ 와 식별할 때 $ \langle x, y \rangle = \langle x, y \rangle_c $ 를 만족한다.
• 주요 쌍대 결과가 수립된다: 적절한 볼록 함수 $ f: X \to \overline{L^0} $ 는 하부 연속일 필요충분조건이 $ f(x) = \operatorname{ess\,sup}_{y \in L^0(Y)} \{ \langle x, y \rangle - f^*(y) \} $ 를 모든 $ x \in X $ 에 대해 만족하는 것이다. 여기서 $ f^*(y) = \operatorname{ess\,sup}_{x \in X} \{ \langle x, y \rangle - f(x) \} $ 이다.
• 항등사상 $ I: L^\infty \to L^0 $ 은 하부 연속적이 아니며, 식 (8) 형태의 페인클-모레오 표현을 갖지 못한다. 이는 하부 연속성 조건의 필수성을 보여준다.
• 이 틀은 측도 대수 외에도 임의의 완비 불리안 대수에 적용 가능하여, 이 결과들이 고전적 측도 이론적 설정을 초월해 강건함을 보여준다.