[论文解读] $M$-ideal properties in Orlicz-Lorentz spaces

Anna Kamińska, Han Ju Lee+1 more|arXiv (Cornell University)|May 30, 2017

Advanced Banach Space Theory参考文献 8被引用 5

一句话总结

本论文为赋有Luxemburg范数与Orlicz范数的Orlicz-Lorentz空间上有界线性泛函的对偶范数建立了显式公式，表明当Orlicz N函数不满足Δ₂条件时，序连续子空间在Luxemburg范数下是M-理想，但在Orlicz范数下则不是。结果通过模态对偶性与层次函数分析，推广至函数空间与序列空间。

ABSTRACT

We provide explicit formulas for the norm of bounded linear functionals on Orlicz-Lorentz function spaces $Λ_{φ,w}$ equipped with two standard Luxemburg and Orlicz norms. Any bounded linear functional is a sum of regular and singular functionals, and we show that the norm of a singular functional is the same regardless of the norm in the space, while the formulas of the norm of general functionals are different for the Luxemburg and Orlicz norm. The relationship between equivalent definitions of the modular $P_{φ,w}$ generating the dual space to Orlicz-Lorentz space is discussed in order to compute the norm of a bounded linear functional on $Λ_{φ,w}$ equipped with Orlicz norm. As a consequence, we show that the order-continuous subspace of Orlicz-Lorentz space equipped with the Luxemburg norm is an $M$-ideal in $Λ_{φ,w}$, while this is not true for the space with the Orlicz norm when $φ$ is an Orlicz $N$-function not satisfying the appropriate $Δ_2$ condition. The analogous results on Orlicz-Lorentz sequence spaces are given.

研究动机与目标

• 推导Orlicz-Lorentz空间上在Luxemburg范数与Orlicz范数下有界线性泛函的对偶范数的精确公式。
• 阐明对偶空间中正则泛函与奇异泛函之间的区别及其在不同范数下的范数行为。
• 确定序连续子空间在何种条件下是Orlicz-Lorentz空间中的M-理想。
• 将分析从函数空间推广至序列空间，并比较两种情形下M-理想的性质。
• 研究Δ₂条件在决定Orlicz-Lorentz空间M-理想结构中的作用。

提出的方法

• 论文采用将泛函分解为正则部分与奇异部分的方法，其中正则泛函通过其在Köthe对偶空间中元素的积分表示。
• 利用模态 $ P_{\varphi,w} $ 及其共轭 $ P_{\varphi_*,w} $ 来刻画对偶范数，尤其针对Orlicz范数。
• 通过涉及模态 $ P_{\varphi_*,w} $ 与奇异部分范数的下确界卷积来计算泛函的范数。
• 分析依赖于递减重排与层次函数，以处理Orlicz-Lorentz空间的非平凡结构。
• 应用Hardy-Littlewood序与对偶空间对偶性，推导出精确的对偶范数公式。
• 采用反证法证明：当Δ₂条件不成立时，序连续子空间在Orlicz范数下不是M-理想。

实验结果

研究问题

• RQ1 在何种条件下，Orlicz-Lorentz空间的序连续子空间在Luxemburg范数下是M-理想？
• RQ2 在Orlicz-Lorentz空间中，泛函的对偶范数在Luxemburg范数与Orlicz范数下有何不同？
• RQ3 在赋予Orlicz范数的Orlicz-Lorentz空间上，有界线性泛函的范数的精确公式是什么？
• RQ4 当Orlicz N函数 $ \varphi $ 不满足Δ₂条件时，是否会导致序连续子空间在Orlicz范数下不再是M-理想？
• RQ5 Orlicz-Lorentz序列空间中是否存在类似的M-理想结果？

主要发现

• 奇异泛函的范数与基础范数（Luxemburg或Orlicz）无关，而一般泛函的范数则依赖于范数类型。
• 对于Orlicz范数，泛函 $ F = H + S $ 的对偶范数由 $ \|F\| = \inf\{\eta > 0 : P_{\varphi_*,w}(\frac{h}{\eta}) + \frac{1}{\eta}\|S\| \leq 1\} $ 给出，其中 $ h $ 为正则部分的表示函数。
• 在Luxemburg范数下，序连续子空间 $ (\Lambda_{\varphi,w}^0)_a $ 是 $ \Lambda_{\varphi,w}^0 $ 中的M-理想。
• 当Orlicz N函数 $ \varphi $ 不满足适当的Δ₂条件时，$ (\Lambda_{\varphi,w}^0)_a $ 在Orlicz范数下不是 $ \Lambda_{\varphi,w}^0 $ 中的M-理想。
• 当 $ \varphi $ 失去Δ₂条件时，序列空间 $ \lambda_{\varphi,w}^0 $ 同样不具有M-理想性质。
• 证明中的矛盾源于严格不等式 $ P_{\varphi_*,w}(h) < \|h\|_{\mathcal{M}_{\varphi_*,w}} $，这违反了Orlicz范数下M-理想结构的必要条件。