[论文解读] Orlicz Spaces with Bicomplex Scalars

Rajesh Kumar, Kanika Sharma+2 more|arXiv (Cornell University)|Jan 28, 2014

Holomorphic and Operator Theory被引用 3

一句话总结

本文通过使用双曲值的Luxemburg范数，引入了基于双复标量的Orlicz空间，将经典的Orlicz空间理论推广至双复设置。该文建立了这些空间的基础性质，刻画了$\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}$.

研究动机与目标

• 将Orlicz空间理论推广至使用双曲值范数的双复标量函数。
• 定义并研究$\mathbb{D}$-值凸函数及其积分表示。
• 将Musielak-Orlicz函数理论推广至双复设置，使用$\mathbb{D}$-值模泛函。
• 在$l^2(\mathbb{BC})$的背景下分析线性算子的谱性质，特别是单边移位算子。
• 通过借鉴复分析与实分析中Orlicz空间理论，建立双复泛函分析的基础结果。

提出的方法

• 通过$\mathbb{D}$-Musielak Orlicz函数$\varphi_{\mathbb{D}}$导出的$\mathbb{D}$-值Luxemburg范数，定义了双复Orlicz空间。
• 为可测双复函数引入了$\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}$-Luxemburg范数定义为$ \|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 如何通过双曲值的Luxemburg范数将Orlicz空间推广至双复标量？
• RQ2 何种条件可确保$\mathbb{D}$-Musielak Orlicz函数下模泛函$I_{\varphi_{\mathbb{D}}}^{\mathbb{D}}$有定义且为$\mathbb{D}$-凸？
• RQ3 能否在双复设置中为$\mathbb{D}$-值凸函数建立积分表示？
• RQ4 当配备$\mathbb{D}$-值范数时，$l^2(\mathbb{BC})$上单边移位算子的谱是什么？
• RQ5 在$\mathbb{BC}$上，三种共轭与模运算如何影响Orlicz空间与算子理论的结构？

主要发现

• 在$l^2(\mathbb{BC})$上，单边移位算子$S_{\mathbb{D}}^*$的谱为零锥$\mathcal{NC}$，因为$0 \in \rho_{\mathbb{D}}(S_{\mathbb{D}}^*)$，且其逆存在，即右移位算子。
• $\mathbb{D}$-Luxemburg范数确保$\|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}$-Musielak Orlicz函数$\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}}^{*-1}$存在，且为右移位算子$S_{\mathbb{D}}^{*-1}(\xi_1, \xi_2, \xi_3) = (0, \xi_1, \xi_2, \xi_3)$，从而确认$0$属于预解集。