[論文レビュー] $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

ひとこと要約

本稿では、ルクスマールクおよびオルリッチノルムを備えたオルリッチ＝ローレンツ空間上における有界線形汎関数の双対ノルムの明示的公式を確立し、オルリッチN関数がΔ₂条件を満たさない場合、順序連続部分空間がルクスマールクノルムのもとではM-理想であるが、オルリッチノルムのもとではそうではないことを示している。これらの結果は、モジュラーダイアリティとレベル関数解析を用いて、関数空間および列空間の両方へと拡張可能である。

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.

研究の動機と目的

• オルリッチ＝ローレンツ空間上における有界線形汎関数の双対ノルムを、それぞれルクスマールクノルムおよびオルリッチノルムのもとで正確に導出すること。
• 双対空間における正規汎関数と特異汎関数の違いを明確にし、異なるノルムにおけるそのノルム挙動を解明すること。
• 順序連続部分空間がオルリッチ＝ローレンツ空間においてM-理想となる条件を特定すること。
• 関数空間から列空間への分析の拡張を行い、両設定におけるM-理想性を比較すること。
• Δ₂条件がオルリッチ＝ローレンツ空間のM-理想構造を決定する役割を調査すること。

提案手法

• 本稿では、汎関数を正規部と特異部に分解し、正規部をコーゼン双対空間の要素による積分表現で表す。
• 特にオルリッチノルムに対しては、モジュラー $ P_{\varphi,w} $ 及びその共役 $ P_{\varphi_*,w} $ を用いて双対ノルムを特徴づける。
• 汎関数のノルムは、モジュラー $ P_{\varphi_*,w} $ と特異部のノルムを含む下界の合成を用いて計算される。
• 非自明なオルリッチ＝ローレンツ空間の構造を扱うために、減少順序の再配分とレベル関数に依存する分析が行われる。
• ハーディ＝リトルウッド順序および双対空間ダイアリティを応用し、正確な双対ノルム公式を導出する。
• Δ₂条件が満たされない場合、順序連続部分空間がオルリッチノルムのもとでM-理想でないことを示すために背理法が用いられる。

実験結果

リサーチクエスチョン

• RQ1 オルリッチ＝ローレンツ空間の順序連続部分空間がルクスマールクノルムのもとでM-理想である条件は何か？
• RQ2 オルリッチ＝ローレンツ空間において、ルクスマールクノルムとオルリッチノルムの下で、汎関数の双対ノルムはどのように異なるか？
• RQ3 オルリッチノルムを備えたオルリッチ＝ローレンツ空間上における有界線形汎関数のノルムの正確な公式は何か？
• RQ4 オルリッチN関数 $ \varphi $ が適切なΔ₂条件を満たさない場合、順序連続部分空間がオルリッチノルムのもとでM-理想でなくなるか？
• RQ5 オルリッチ＝ローレンツ列空間に対しても同様のM-理想の結果が成り立つか？

主な発見

• 特異汎関数のノルムは、対応するノルム（ルクスマールクまたはオルリッチ）に依存しないが、一般の汎関数のノルムはノルムタイプに依存する。
• オルリッチノルムの場合、汎関数 $ F = H + S $ の双対ノルムは $ \|F\| = \inf\{\eta > 0 : P_{\varphi_*,w}(\frac{h}{\eta}) + \frac{1}{\eta}\|S\| \leq 1\} $ で与えられる。ここで $ h $ は正規部の代表関数である。
• 順序連続部分空間 $ (\Lambda_{\varphi,w}^0)_a $ はルクスマールクノルムのもとで $ \Lambda_{\varphi,w}^0 $ においてM-理想である。
• オルリッチN関数 $ \varphi $ が適切なΔ₂条件を満たさない場合、$ (\Lambda_{\varphi,w}^0)_a $ はオルリッチノルムのもとで $ \Lambda_{\varphi,w}^0 $ においてM-理想でない。
• 同様に、$ \varphi $ がΔ₂条件を満たさない場合、列空間 $ \lambda_{\varphi,w}^0 $ に対しても同様のM-理想でない結果が成り立つ。
• 証明における背理法の根拠は、厳密な不等式 $ P_{\varphi_*,w}(h) < \|h\|_{\mathcal{M}_{\varphi_*,w}} $ であり、これはオルリッチノルムのもとでのM-理想構造に必要な条件を破る。