[논문 리뷰] On convex functions on the duals of $\Delta_2$-Orlicz spaces

Freddy Delbaen, Keita Owari|arXiv (Cornell University)|2016. 11. 01.

Risk and Portfolio Optimization인용 수 3

한 줄 요약

이 논문은 $Δ_2$-오르리치 공간의 쌍대공간 위의 볼록 함수가 매크리 토폴로지에서 하방 점근연속성(또는 연속성)일 필요충분조건을 확보한다. 이 조건은 확률 수렴에 관하여 순서구간에서 하방 점근연속성(또는 연속성)임을 의미한다. 핵심적으로 콤플로스 유사 결과는 $L^{\Phi^*}$ 내의 노름 유계 수열의 볼록 조합이 거의 확실히 수렴함을 보장하며, 오르리치 노름에서의 균일 적분 가능성도 확보한다.

ABSTRACT

In the dual $L^{\\Phi^*}$ of a $\\Delta_2$-Orlicz space $L^\\Phi$, we show that a proper (resp. finite) convex function is lower semicontinuous (resp. continuous) for the Mackey topology $\ au(L^{\\Phi^*},L^\\Phi)$ if and only if on each order interval $[-\\zeta,\\zeta]=\\{\\xi: -\\zeta\\leq \\xi\\leq\\zeta\\}$ ($\\zeta\\in L^{\\Phi^*}$), it is lower semicontinuous (resp. continuous) for the topology of convergence in probability. For this purpose, we provide the following Koml\\'os type result: every norm bounded sequence $(\\xi_n)_n$ in $L^{\\Phi^*}$ admits a sequence of forward convex combinations $\\bar{\\xi}_n\\in\\mathrm{conv}(\\xi_n,\\xi_{n+1},...)$ such that $\\sup_n|\\bar{\\xi}_n|\\in L^{\\Phi^*}$ and $\\bar{\\xi}_n$ converges a.s.

연구 동기 및 목표

• 오르리치 공간 $L^\Phi$의 쌍대공간인 $L^{\Phi^*}$ 위의 볼록 함수의 매크리 토폴로지에 대한 하방 점근연속성과 연속성의 특성화.
• 볼록 함수의 위상적 성질과 $L^{\Phi^*}$ 내 순서구간에서의 확률 수렴 간의 연결 고리 설정.
• 노름 유계 수열에 대해 볼록 조합의 거의 확실 수렴과 오르리치 노름에서의 균일 적분성을 보장하는 콤플로스 유사 정리 증명.
• 확률 수렴 방식을 활용한 오르리치 쌍대공간 위의 볼록 함수 연구를 위한 함수해석학적 프레임워크 제공.

제안 방법

• 볼록 함수 분석을 위한 주요 위상적 구조로 매크리 토폴로지 $\tau(L^{\Phi^*}, L^\Phi)$를 사용.
• 하방 점근연속성과 연속성의 국소화를 위해 $L^{\Phi^*}$ 내 순서구간 $[-\zeta, \zeta]$ 개념을 적용.
• 콤플로스 유사 결과 도입: $L^{\Phi^*}$ 내의 모든 노름 유계 수열은 $\sup_n |\bar{\xi}_n| \in L^{\Phi^*}$ 이고 $\bar{\xi}_n \to \xi$ 거의 확실히 수렴하는 전방 볼록 조합 수열 $\bar{\xi}_n$ 를 갖는다.
• 순서구간에서의 하방 점근연속성과 연속성의 위상적 행동을 특성화하기 위해 확률 수렴을 핵심 수렴 모드로 활용.
• 매크리 토폴로지 연속성과 순서구간에서의 확률 수렴에 의한 연속성 간의 동치성 확립.

실험 결과

연구 질문

• RQ1 $L^{\Phi^*}$ 위의 적절한 볼록 함수가 매크리 토폴로지에서 하방 점근연속성이 되는 조건은 무엇인가?
• RQ2 $L^{\Phi^*}$ 위의 유한한 볼록 함수가 매크리 토폴로지에서 연속성이 되는 조건은 무엇인가?
• RQ3 순서구간에서의 확률 수렴을 통해 $L^{\Phi^*}$ 위의 볼록 함수 행동을 어떻게 특성화할 수 있는가?
• RQ4 노름 유계 수열 $(\xi_n)$ 에 대해 볼록 조합을 통해 어떤 수렴 성질을 보장할 수 있는가?

주요 결과

• 적절한 볼록 함수가 $L^{\Phi^*}$ 위에 정의되어 있을 때, 매크리 토폴로지 $\tau(L^{\Phi^*}, L^\Phi)$ 에서 하방 점근연속일 필요충분조건은 각 순서구간 $[-\zeta, \zeta]$ 에서 확률 수렴에 관하여 하방 점근연속성임.
• 유한한 볼록 함수가 $L^{\Phi^*}$ 위에 정의되어 있을 때, 매크리 토폴로지에서 연속일 필요충분조건은 각 순서구간 $[-\zeta, \zeta]$ 에서 확률 수렴에 관하여 연속성임.
• 모든 노름 유계 수열 $(\xi_n)$ 이 $L^{\Phi^*}$ 내에 존재할 때, 전방 볼록 조합 수열 $\bar{\xi}_n \in \mathrm{conv}(\xi_n, \xi_{n+1}, \dots)$ 가 존재하여 $\sup_n |\bar{\xi}_n| \in L^{\Phi^*}$ 이고 어떤 $\xi \in L^{\Phi^*}$ 에 대해 $\bar{\xi}_n \to \xi$ 거의 확실히 수렴함.
• 균일 적분성 조건 $\sup_n |\bar{\xi}_n| \in L^{\Phi^*}$ 는 볼록 조합의 극한 행동이 오르리치 노름에서 제어됨을 보장한다.