[論文レビュー] Lorentz-Shimogaki-Arazy-Cwikel Theorem Revisited

Léonard Cadilhac, Fedor Sukochev+1 more|arXiv (Cornell University)|Sep 4, 2020

Advanced Banach Space Theory参考文献 25被引用数 6

ひとこと要約

本稿は、尾部主要化と空間 $L_0$ を用いて、すべての $p \in (0,\infty]$ における $L_p$-空間の補間理論を統一する新しいアプローチを導入することで、Lorentz-Shimogaki および Arazy-Cwikel の定理を再考する。$p<1$ の quasi-Banach 範囲においても、Levitina と Sukochev が提起した補間に関する予想を解決する。具体的には、$p < q$ に対して $(\ell^p, \ell^q)$ の補間空間である quasi-Banach 対称列空間 $E$ が、$|v|^q \prec\mkern-3.0mu\prec_{\rm tl} |u|^q$ ならば $\|v\|_E \leq c\|u\|_E$ を満たすことが、かつそのときに限り成り立つことを証明し、古典的結果を quasi-Banach 框架に拡張する。

ABSTRACT

We present a new approach to Lorentz-Shimogaki and Arazy-Cwikel Theorems which covers all range of $p,q\in (0,\infty]$ for function spaces and sequence spaces. As a byproduct, we solve a conjecture of Levitina and the last two authors.

研究の動機と目的

• すべての $p,q \in (0,\infty]$ に対して、古典的な Lorentz-Shimogaki および Arazy-Cwikel の定理を、$p<1$ を含む quasi-Banach 框架へ拡張すること。
• Levitina と Sukochev が提起した、$p<q$ かつ $q\geq1$ の $(\ell^p, \ell^q)$ の補間空間に関する予想を、特に quasi-Banach 範囲において解決すること。
• $L_0$、つまり有限台を持つ可測関数の空間を、その標準的位相的性質に欠けるにもかかわらず、$L_p$-空間の補間スケールにおける自然な左端点として定着させること。
• 頭部および尾部主要化を用いて、すべての $(L_p, L_q)$ の補間空間を一元的かつ自己完結的に特徴付けること。

提案手法

• $(L_0 + L_1)$ 上に定義された尾部主要化 $\prec\mkern-3.0mu\prec_{\rm tl}$ を導入し、$t>0$ に対して $\int_t^\infty \mu(s,g)\,ds \leq \int_t^\infty \mu(s,f)\,ds$ を満たすものと定義する。これは頭部主要化の双対的構造である。
• $L_1$ の代わりに、quasi-Banach 範囲において基礎的左端点として $L_0$ を用いる。
• Braverman と Mekler のインスピレーションを受けて、再配列された列における作用素の挙動を制御するための分割補題を適用する。
• $p$-凹化 $E_p = \{f : |f|^{1/p} \in E\}$ と Aoki-Rolewicz の定理を用いて、quasi-Banach 空間における劣加法的推定を導出する。
• 拡大作用素の成長を定量化する上位 Boyd 指数 $\beta_E = \lim_{k\to\infty} \frac{\log \|D_k\|_{E\to E}}{\log k}$ を定義し、補間性質と関連付ける。
• 最大作用素 $V$ と Cesàro 作用素 $C$ を用いて、頭部および尾部主要化を関連付け、減少列 $x$ に対して $Cx \leq 3Vx$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 Lorentz-Shimogaki および Arazy-Cwikel の定理は、$p,q \in (0,\infty]$ の全範囲、特に $p<1$ の quasi-Banach 範囲においても拡張可能か？
• RQ2 $L_0$ は、その標準的位相的性質に欠けるにもかかわらず、$L_p$-空間の補間スケールにおける適切な左端点とみなせるか？
• RQ3 尾部主要化 $\prec\mkern-3.0mu\prec_{\rm tl}$ は、$(L_0, L_q)$ の補間空間を特徴付けるか？
• RQ4 Levitina と Sukochev が提起した、対称列空間における補間に関する予想は、主要化基準を用いて完全に解決可能か？
• RQ5 Boyd 指数 $\beta_E$ は、$\ell^p$-に基づくカップルの補間性質を決定づける役割を果たすか？

主な発見

• 本稿では、quasi-Banach 関数空間 $E$ が $(L_p, L_\infty)$ に対して補間空間であるための必要十分条件を示す。$p \in (0,\infty)$ に対して、$|g|^p \prec\mkern-3.0mu\prec_{\rm hd} |f|^p$ ならば $\|g\|_E \leq c_{p,E} \|f\|_E$ が成り立つこと、ただし $c_{p,E} > 0$ は $p$ と $E$ のみに依存する。
• $q \in (0,\infty)$ に対して $(L_0, L_q)$ の場合、$E$ が補間空間であることの必要十分条件は、$|g|^q \prec\mkern-3.0mu\prec_{\rm tl} |f|^q$ ならば $\|g\|_E \leq c_{q,E} \|f\|_E$ が成り立つことである。これは頭部主要化に対する双対的特徴付けである。
• Levitina と Sukochev の予想は完全に解決された：対称 quasi-Banach 列空間 $E$ が $(\ell^p, \ell^q)$ に対して補間空間であるための必要十分条件は、$|v|^q \prec\mkern-3.0mu\prec_{\rm tl} |u|^q$ ならば $\|v\|_E \leq c \|u\|_E$ を満たすこと（$c>0$ は $u,v$ に依存しない）である。
• 上位 Boyd 指数 $\beta_E$ に対して、すべての $r > \beta_E^{-1}$ に対して $\|D_n\|_{E\to E} \lesssim n^{1/r}$ が成り立ち、この成長率が $p < 1/\beta_E$ の場合に頭部主要化による補間の有効性を制御する。
• 減少列 $x$ に対して $Cx \leq 3Vx$ が証明され、Cesàro 作用素が拡大作用素 $V$ と関連づけられ、これが主な補間結果の証明を可能にする。
• 著者らは、すべての対称 quasi-Banach 関数空間が $(L_0, L_\infty)$ に対して補間空間であることを示し、$L_0$ が補間スケールにおける左端点としての普遍性を強調している。