[论文解读] 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

一句话总结

本文通過引入一種新方法，重新探討 Lorentz-Shimogaki 和 Arazy-Cwikel 定理，統一了所有 $p \in (0,\infty]$ 的 $L_p$-空間之間的插值理論，使用尾部控制（tail majorization）和 $L_0$ 空間作為左端點。該文解決了 Levitina 和 Sukochev 對序列空間中插值的猜想，證明了一個 quasi-Banach 对称序列空間 $E$ 是 $(\ell^p, \ell^q)$ 的插值空間（其中 $p < q$）當且僅當 $|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.

研究动机与目标

• 將經典的 Lorentz-Shimogaki 和 Arazy-Cwikel 定理推廣至所有 $p,q \in (0,\infty]$ 的範圍，特別是包含 quasi-Banach 情形 $p<1$。
• 解決 Levitina 和 Sukochev 對於 $(\ell^p, \ell^q)$ 且 $p<q$、$q\geq1$ 的插值空間猜想，特別是在 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$，作為頭部控制的對偶。
• 在 quasi-Banach 情形中，以 $L_0$ 取代傳統的 $L_1$，作為插值尺度的基礎端點。
• 應用受 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}$，以量化 $E$ 上膨脹算子的增長，並與插值性質建立聯繫。
• 利用最大算子 $V$ 和 Cesàro 算子 $C$ 來連結頭部與尾部控制，證明對遞減序列 $x$ 有 $Cx \leq 3Vx$。

实验结果

研究问题

• RQ1 Lorentz-Shimogaki 和 Arazy-Cwikel 定理能否在 quasi-Banach 情形下推廣至 $p,q \in (0,\infty]$ 的完整範圍？
• 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$。
• 對於對 $(L_0, L_q)$（$q \in (0,\infty)$），$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)$ 的插值空間（$p < 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$ 滿足 $\|D_n\|_{E\to E} \lesssim n^{1/r}$ 對所有 $r > \beta_E^{-1}$ 成立，且此增長速率控制了在 $p < 1/\beta_E$ 時透過頭部控制實現插值的有效性。
• 證明了對遞減序列 $x$ 有不等式 $Cx \leq 3Vx$，將 Cesàro 算子與膨脹算子 $V$ 聯繫起來，進而支援主要插值結果的證明。
• 作者證明：每一個對稱的 quasi-Banach 函數空間都是 $(L_0, L_\infty)$ 的插值空間，突顯了 $L_0$ 在插值尺度中作為左端點的普遍性。