[论文解读] A note on complex interpolation and Calder\'on product of quasi-Banach spaces

Wen Yuan|arXiv (Cornell University)|May 22, 2014

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

一句话总结

本文证明了两个解析凸的拟Banach格的内部复 interpolation 空间与它们在Calderón乘积空间中的交集的闭包一致，将Shestakov在1974年对Banach格的结果推广到了非可分的拟Banach情形。证明依赖于Gagliardo-Peetre interpolation 和一种基于解析性的新型插值函数构造。

ABSTRACT

In this paper, we prove that the inner complex interpolation of two quasi-Banach lattices coincides with the closure of their intersection in their Calder\'on product. This generalizes a classical result by Shestakov in 1974 for Banach lattices.

研究动机与目标

• 解决非可分拟Banach格的内部与外部复插值方法是否一致的开放问题。
• 将Shestakov 1974年对Banach格的结果推广到一般拟Banach格，超越可分情形。
• 在Calderón乘积的术语下，精确刻画内部复插值空间。
• 提出一种基于Gagliardo-Peetre插值和解析函数理论的新证明技术，与Shestakov的方法不同。
• 在Morrey空间等非可分空间中，证明该一致结果的有效性，此前的结果不适用。

提出的方法

• 通过在 $F_0(X_0, X_1)$ 中取值于 $X_0 \cap X_1$ 且在边界条带上为零的函数，定义内部复插值空间 $[X_0, X_1]_\theta^i$。
• 使用Gagliardo-Peetre插值空间 $\langle X_0, X_1 \rangle_\theta$ 作为中间工具，其通过在 $X_0 \cap X_1$ 中具有受控增长的函数的有限和来定义。
• 构造一个解析函数 $F(z) = \sum_{|k| \leq M} 2^{k(z - \theta)} f_k$，其中 $f_k \in X_0 \cap X_1$，使得该函数在 $z = \theta$ 处插值 $f$。
• 通过验证解析性、在 $X_0 + X_1$ 中的有界性以及边界迹的强连续性，证明 $F \in F_0(X_0, X_1)$。
• 建立范数控制：$\|F\|_F \lesssim \|f\|_{\langle X_0, X_1 \rangle_\theta}$，从而推出 $\|f\|_{[X_0, X_1]_\theta^i} \lesssim \|f\|_{\langle X_0, X_1 \rangle_\theta}$。
• 得出 $\langle X_0, X_1 \rangle_\theta \hookrightarrow [X_0, X_1]_\theta^i$，且由于 $X_0 \cap X_1$ 在两者中均稠密，因此在Calderón乘积的范数下两者相等。

实验结果

研究问题

• RQ1 两个解析凸的拟Banach格的内部复插值是否与它们在Calderón乘积中交集的闭包一致？
• RQ2 Shestakov 1974年对Banach格的结果能否推广到非可分的拟Banach格？
• RQ3 在拟Banach格情形下，Gagliardo-Peetre插值空间是否等价于内部复插值空间？
• RQ4 该一致结果是否对Morrey空间等非可分空间成立？
• RQ5 该证明方法能否被调整以避免复插值理论中对可分性的依赖？

主要发现

• 内部复插值空间 $[X_0, X_1]_\theta^i$ 同构于 $X_0 \cap X_1$ 在Calderón乘积 $X_0^{1-\theta} X_1^\theta$ 中的闭包，即 $[X_0, X_1]_\theta^i = (X_0 \cap X_1)_{\|\cdot\|_{X_0^{1-\theta} X_1^\theta}}$。
• 该结果无需可分性假设，因此推广了Kalton与Mitrea于1998年提出的结果（其要求可分性）。
• Gagliardo-Peetre插值空间 $\langle X_0, X_1 \rangle_\theta$ 与内部复插值空间一致：$\langle X_0, X_1 \rangle_\theta = [X_0, X_1]_\theta^i$。
• 当 $X_0$ 和 $X_1$ 均为Banach空间或可分的拟Banach格时，外复插值空间 $[X_0, X_1]_\theta$ 与内复插值空间相等。
• 该结果适用于非可分空间，如Morrey空间：在 $u_0 p_1 = u_1 p_0$ 条件下，有 $[M_{p_0}^{u_0}, M_{p_1}^{u_1}]^i_\theta = M_p^u$。
• 证明引入了一种新型解析函数构造 $F(z) = \sum 2^{k(z - \theta)} f_k$，其属于 $F_0$，从而在无需可分性假设下实现范数估计。