[논문 리뷰] Orlicz Spaces with Bicomplex Scalars

Rajesh Kumar, Kanika Sharma외 2명|arXiv (Cornell University)|2014. 01. 28.

Holomorphic and Operator Theory인용 수 3

한 줄 요약

이 논문은 이중복소수 스칼라에 대한 오르리치 공간을 초반수값 루젠부르크 노름을 사용하여 도입함으로써, 고전적 오르리치 공간을 이중복소수 설정으로 일반화한다. 이 공간들의 기본 성질을 수립하고, $\mathbb{D}$-값을 가진 볼록 함수의 적분 표현을 특성화하며, $l^{2}(Δ\mathbb{BC})$에서의 왼쪽 이동 연산자의 스펙트럼이 영원한 콘 $Δ\mathcal{NC}$임을 증명함으로써, 비결합적 초복소 대수로의 함수해석학을 확장한다.

ABSTRACT

In this paper we define bicomplex Orlicz space with hyperbolic valued Luxemburg norm and discussed some of their properties. We have also partially characterize an integral representation of a $\mathbb{D}$-valued convex function. Further we have shown that the spectrum of the unilateral shift operator on $l^2(\mathbb{BC})$ is the null cone $\mathcal{NC}$.

연구 동기 및 목표

• 이중복소수 스칼라 함수에 대한 오르리치 공간 이론을 초반수값 노름을 사용하여 확장하기 위해.
• $\mathbb{D}$-값 볼록 함수를 정의하고 그 적분 표현을 연구하기 위해.
• $\mathbb{D}$-값 모듈라 함수계를 사용한 이중복소수 설정으로 무시엘라크-오르리치 함수 이론을 일반화하기 위해.
• 선형 연산자의 스펙트럼 성질, 특히 $l^2(\mathbb{BC})$에서의 왼쪽 이동 연산자를 분석하기 위해.
• 복소수 및 실수 오르리치 공간 이론을 적응시켜 이중복소수 함수해석학의 기본 결과를 수립하기 위해.

제안 방법

• $\mathbb{D}$-값 루젠부르크 노름을 사용하여 이중복소수 오르리치 공간을 정의하고, 이는 $\mathbb{D}$-무시엘라크 오르리치 함수 $\varphi_{\mathbb{D}}$에서 유도된다.
• 측정 가능한 이중복소수 함수에 대해 $\mathbb{D}$-볼록 모듈라 함수계 $I_{\varphi_{\mathbb{D}}}^{\mathbb{D}}(f) = \int_{\Omega_{\mathbb{D}}} \varphi_{\mathbb{D}}(t, |f(t)|_k) \, d\mu_{\mathbb{D}}$를 도입한다.
• 초반수 기저 $e_1, e_2$를 사용하여 모듈라 함수계를 $I_{\varphi_{\mathbb{D}}}^{\mathbb{D}}(f) = I_{\varphi_{\mathbb{D}_1}}^{\mathbb{D}}(f_1)e_1 - I_{\varphi_{\mathbb{D}_2}}^{\mathbb{D}}(f_2)e_2$로 표현함으로써, 복소수 성분으로의 분해를 가능하게 한다.
• $\mathbb{D}$-루젠부르크 노름을 $\|f\|_{\varphi_{\mathbb{D}}}^{\mathbb{D}} = \inf\{\lambda >^\prime 0 : I_{\varphi_{\mathbb{D}}}^{\mathbb{D}}(f/\alpha) \leq^\prime 1\}$로 정의하여, 영원한 콘의 여집합에 속하는 값을 보장한다.
• $\dagger$-켤레를 사용하여 $\mathbb{BC}$에서의 역원과 영약수를 정의하고, 스펙트럼 분석에 핵심적인 역할을 한다.
• $l^2(\mathbb{BC})$에서의 왼쪽 이동 연산자 $S_{\mathbb{D}}^*$를 분석하고, $\|S_{\mathbb{D}}^*\|_{\mathbb{D}} \leq^\prime 1$임을 증명하며, 역행렬이 오른쪽 이동으로 존재함을 통해 $0 \in \rho_{\mathbb{D}}(S_{\mathbb{D}}^*)$임을 보였다.

실험 결과

연구 질문

• RQ1 어떻게 초반수값 루젠부르크 노름을 사용하여 오르리치 공간을 이중복소수 스칼라로 일반화할 수 있는가?
• RQ2 $\mathbb{D}$-무시엘라크 오르리치 함수에 대해 모듈라 함수계 $I_{\varphi_{\mathbb{D}}}^{\mathbb{D}}$가 잘 정의되고 $\mathbb{D}$-볼록이 되기 위한 조건은 무엇인가?
• RQ3 이중복소수 설정에서 $\mathbb{D}$-값 볼록 함수에 대해 적분 표현을 수립할 수 있는가?
• RQ4 $\mathbb{D}$-값 노름을 갖춘 $l^2(\mathbb{BC})$에서의 왼쪽 이동 연산자의 스펙트럼은 무엇인가?
• RQ5 $\mathbb{BC}$에서의 세 가지 켤레와 노름이 오르리치 공간과 연산자 이론의 구조에 어떻게 영향을 미치는가?

주요 결과

• $l^2(\mathbb{BC})$에서의 왼쪽 이동 연산자 $S_{\mathbb{D}}^*$의 스펙트럼은 영원한 콘 $\mathcal{NC}$이며, $0 \in \rho_{\mathbb{D}}(S_{\mathbb{D}}^*)$이고 역행렬이 오른쪽 이동으로 존재함을 통해 확인된다.
• $\mathbb{D}$-루젠부르크 노름은 $\|f\|_{\varphi_{\mathbb{D}}}^{\mathbb{D}}$가 영원한 콘 $\mathcal{NC}$의 여집합에 속하게 하여, 역원성과 노름 구조를 유지한다.
• 모듈라 함수계는 $I_{\varphi_{\mathbb{D}}}^{\mathbb{D}}(f) = I_{\varphi_{\mathbb{D}_1}}^{\mathbb{D}}(f_1)e_1 - I_{\varphi_{\mathbb{D}_2}}^{\mathbb{D}}(f_2)e_2$로 분해되며, 이는 복소수 성분을 통한 분석을 가능하게 한다.
• $\mathbb{D}$-무시엘라크 오르리치 함수 $\varphi_{\mathbb{D}}$는 $\varphi_{\mathbb{D}}(t, |f(t)|_k) = \varphi_{\mathbb{D}_1}(t_1, |f_1(t_1)|)e_1 + \varphi_{\mathbb{D}_2}(t_2, |f_2(t_2)|)e_2$를 만족하여 초반수 분해와의 호환성을 보장한다.
• 연산자 $S_{\mathbb{D}}^*$는 유계이며 $\|S_{\mathbb{D}}^*\|_{\mathbb{D}} \leq^\prime 1$임이 $k$-노름 $|x_n|_k^2$를 사용한 노름 추정을 통해 확인되었다.
• $S_{\mathbb{D}}^*$의 역행렬이 존재하며, 이는 오른쪽 이동 $S_{\mathbb{D}}^{*-1}(\xi_1, \xi_2, \xi_3) = (0, \xi_1, \xi_2, \xi_3)$로 주어지며, $0$이 재해리 집합에 있음을 확인한다.