[论文解读] Multiplication and composition operators between two Orlicz spaces

Yousef Estaremi|arXiv (Cornell University)|Jan 21, 2013

Holomorphic and Operator Theory参考文献 10被引用 33

一句话总结

本文研究了在两个不同的 Orlicz 空间 $ L^{\tilde{\Phi}_1} $ 和 $ L^{\tilde{\Phi}_2} $ 之间，乘法算子与复合算子的有界性、紧致性以及本质范数估计。通过诱导函数 $ u $ 和变换 $ \varphi $ 的测度论行为，建立了这些性质的必要与充分条件。关键结果表明，在 $ \sigma $-有限非原子测度及 $ \Phi_1 $ 满足 $ \Delta_2 $-条件的条件下，$ M_u $ 的本质范数等于 $ \beta_2 $，即 $ u $ 的本质Essential sup-范数。

ABSTRACT

In this paper we consider composition operator $C_φ generated by nonsingular measurable transformation $T$ and multiplication operator $M_u$ generated by measurable function $u$ between two different Orlicz spaces, then we investigate boundedness, compactness and essential norm of multiplication and composition operators in term of properties of the mapping $φ$, the function $u$ and the measure space $(X, Σ, μ)$.

研究动机与目标

• 解决目前对不同 Orlicz 空间 $ L^{\tilde{\Phi}_1} $ 与 $ L^{\tilde{\Phi}_2} $ 之间乘法算子与复合算子缺乏系统表征的问题。
• 基于函数 $ u $、变换 $ \varphi $ 与测度空间 $ (\Omega, \Sigma, \mu) $，建立此类算子有界性与紧致性的必要与充分条件。
• 提供这些算子本质范数的估计，尤其将其与 $ u $ 的本质Essential sup-范数及 $ \varphi $ 的行为相联系。
• 将 $ L^p $-空间与希尔伯特空间中的已知结果推广至更一般的 Orlicz 空间设置。
• 阐明 $ \Delta_2 $-条件以及原子/非原子结构在决定紧致性与本质范数中的作用。

提出的方法

• 在 Orlicz 空间 $ L^\Phi $ 上定义复合算子 $ C_\varphi(f) = f \circ \varphi $ 与乘法算子 $ M_u(f) = u f $，使用 Young 函数 $ \Phi_1 $ 与 $ \Phi_2 $。
• 利用 Orlicz 范数 $ N_\Phi(f) = \inf\{ k > 0 : \int_\Omega \Phi(|f|/k) d\mu \leq 1 \} $ 来表征收敛性与有界性。
• 应用 Radon-Nikodým 定理，通过密度 $ h $ 表示前推测度 $ \mu \circ \varphi^{-1} $，以确保 $ \varphi $ 的非奇异性质。
• 通过有限秩算子逼近来表征紧致性，特别是对满足 $ |u| > \beta_2 - \varepsilon $ 的集合上截断 $ u $。
• 利用在测度趋于零的集合上具有支撑的序列 $ f_n $ 的弱收敛性来估计本质范数 $ \|T\|_e $，并将 $ \|T f_n\| $ 与 $ \|M_u f_n\| $ 进行比较。
• 利用 $ \Phi_1 $ 的 $ \Delta_2 $-条件，确保当 $ \|f_n\|_{\Phi_1} \to 0 $ 时有 $ \|T f_n\|_{\Phi_2} \to 0 $，从而支持紧致性准则。

实验结果

研究问题

• RQ1 复合算子 $ C_\varphi $ 从 $ L^{\Phi_1}(\Omega) $ 到 $ L^{\Phi_2}(\Omega) $ 有界的必要与充分条件是什么？
• RQ2 什么条件能确保乘法算子 $ M_u $ 从 $ L^{\Phi_1}(\Omega) $ 到 $ L^{\Phi_2}(\Omega) $ 有界？
• RQ3 如何根据 $ \varphi $、$ u $ 与 $ \mu $ 的测度论结构来表征 $ C_\varphi $ 与 $ M_u $ 的紧致性？
• RQ4 在 Orlicz 空间背景下，$ M_u $ 的本质范数是什么？它与 $ u $ 的本质Essential sup-范数有何关系？
• RQ5 在 $ \Phi_1 $ 上满足 $ \Delta_2 $-条件以及 $ \mu(\Omega) $ 有限的条件下，这些条件如何影响算子的本质范数与紧致性？

主要发现

• 复合算子 $ C_\varphi $ 从 $ L^{\Phi_1}(\Omega) $ 到 $ L^{\Phi_2}(\Omega) $ 有界，当且仅当前推测度 $ \mu \circ \varphi^{-1} $ 相对于 $ \Phi_1 $ 与 $ \Phi_2 $ 满足某种增长条件，特别是涉及密度 $ h $。
• 乘法算子 $ M_u $ 从 $ L^{\Phi_1}(\Omega) $ 到 $ L^{\Phi_2}(\Omega) $ 有界，当且仅当 $ u \in L^{\Psi}(\Omega) $，其中 $ \Psi $ 是 $ \Phi_1 $ 的共轭 Young 函数，且在 $ \Delta_2 $-条件下成立。
• 在 $ \sigma $-有限、非原子测度空间且 $ \Phi_1 \in \Delta_2 $ 的条件下，$ M_u $ 的本质范数等于 $ \beta_2 $，即 $ u $ 的本质Essential sup-范数，即 $ \|M_u\|_e = \beta_2 $。
• 类似地，若 $ \mu(\Omega) < \infty $ 且 $ \Phi_1 \in \Delta_2 $，则 $ C_\varphi $ 的本质范数等于 $ \beta_1 $，即 Radon-Nikodým 导数 $ h $ 的本质Essential sup-范数，即 $ \|C_\varphi\|_e = \beta_1 $。
• 在相同条件下，算子 $ M_u $ 从 $ L^{\Phi_1}(\Omega) $ 到 $ L^{\Phi_2}(\Omega) $ 紧致，当且仅当 $ \beta_2 = 0 $，即 $ u = 0 $ $ \mu $-几乎处处。
• 例 4.5 表明，在离散情形下，$ u(n) = 1/n^2 $ 的 $ M_u $ 从 $ L^{\Phi_1}(\mathbb{N}) $ 到 $ L^{\Phi_2}(\mathbb{N}) $ 是紧致的，而 $ u(n) = n^2/(n+1) $ 则不是，验证了理论在离散空间中的适用性。