[论文解读] Complex interpolation of compact operators mapping into the couple (FL^{\infty},FL_{1}^{\infty})

Michael Ćwikel, Svante Janson|ArXiv.org|Jun 22, 2006

Advanced Harmonic Analysis Research参考文献 14被引用 5

一句话总结

本文为复插值理论中一个长期悬而未决的公开问题提供了肯定答案：若线性算子从一个Banach偶紧致地映射到偶 $(FL^{\text{\textasciitilde}\textasciitilde}, FL_{1}^{\text{\textasciitilde}\textasciitilde})$，则它也紧致地映射复插值空间 $[A_0, A_1]_\theta$ 到 $[B_0, B_1]_\theta$，其中 $\theta \in (0,1)$。关键结果表明 $[FL^\infty, FL_1^\infty]_\theta = FC_\theta$，其中 $FC_\theta$ 表示插值空间中函数的傅里叶系数空间，该结果通过Lusin定理和Phragmén–Lindelöf原理等技术手段得以建立。

ABSTRACT

If (A_0,A_1) and (B_0,B_1) are Banach couples and a linear operator T from A_0 + A_1 to B_0 + B_1 maps A_0 compactly into B_0 and maps A_1 boundedly into B_1, does T necessarily also map [A_0,A_1]_s compactly into [B_0,B_1]_s for s in (0,1)? After 42 years this question is still not answered, not even in the case where T is also compact from A_1 to B_1. But affirmative answers are known for many special choices of (A_0,A_1) and (B_0,B_1). Furthermore it is known that it would suffice to resolve this question in the special case where (B_0,B_1) is the special couple (l^\infty(FL^\infty), l^\infty(FL^\infty_1)). Here FL^\infty is the space of all sequences which are Fourier coefficients of bounded functions, FL^\infty_1 is the weighted space of all sequences (a_n) such that (e^n a_n) is in FL^\infty, and thus B_0 and B_1 are the spaces of bounded sequences of elements in these spaces (i.e., they are spaces of doubly indexed sequences). We provide an affirmative answer to this question in the related but simpler case where (B_0,B_1) is the special couple (FL^\infty,FL^\infty_1).

研究动机与目标

• 解决Calderón关于算子紧致插值问题的一个特殊情形。
• 建立复插值空间 $[FL^\infty, FL_1^\infty]_\theta$ 与 $FC_\theta$（即插值空间中函数的傅里叶系数空间）的重合性。
• 在目标偶为 $(FL^\infty, FL_1^\infty)$ 的情况下，为紧致算子插值问题提供新的肯定答案。
• 通过使用新颖的分析技术，证明此特定情形，为解决一般情形奠定基础。

提出的方法

• 利用Lusin定理将可测函数逼近为连续函数，从而在插值空间中控制算子范数。
• 将Phragmén–Lindelöf定理应用于由傅里叶系数定义的整函数，确保其在带状区域内的有界性。
• 将空间 $\mathcal{F}(FL^\infty, FL_1^\infty)$ 定义为在带状区域上取值于 $FL^\infty + FL_1^\infty$ 的解析函数空间，其范数通过essential supremum定义。
• 使用对偶性与对偶范数：$\|\lambda\|_{FL^\infty} = \sup_{\sigma \in Q} \left| \sum \lambda_n \sigma_n \right|$，其中 $Q$ 为满足 $\|\sigma\|_{FL^1} = 2\pi$ 的有限支集序列集合。
• 用 $\mathcal{G}(FL^\infty, FL_1^\infty)$ 中的函数（即有限指数和的稠密子集）逼近 $\mathcal{F}(FL^\infty, FL_1^\infty)$ 中的一般函数。
• 通过最大模原理与带状区域 $\mathbb{S}$ 上的边界估计建立范数不等式，从而导出包含关系 $[FL^\infty, FL_1^\infty]_\theta \subset FC_\theta$。

实验结果

研究问题

• RQ1 若线性算子将 $A_0$ 紧致地映射到 $B_0$，且将 $A_1$ 有界地映射到 $B_1$，是否必然将 $[A_0, A_1]_\theta$ 紧致地映射到 $[B_0, B_1]_\theta$，其中 $\theta \in (0,1)$？
• RQ2 复插值空间 $[FL^\infty, FL_1^\infty]_\theta$ 是否可与 $FC_\theta$（即插值空间中函数的傅里叶系数空间）相等？
• RQ3 包含关系 $[FL^\infty, FL_1^\infty]_\theta \subset FC_\theta$ 是否为等距同构，且等式是否成立？
• RQ4 能否通过已知的嵌入或对偶技术将一般Calderón问题约化为此特定情形？

主要发现

• 复插值空间 $[FL^\infty, FL_1^\infty]_\theta$ 与 $FC_\theta$（即 $[L^\infty, L^1]_\theta$ 中函数的傅里叶系数空间）等距同构。
• 序列 $\lambda \in [FL^\infty, FL_1^\infty]_\theta$ 的范数满足 $\|\lambda\|_{FC_\theta} \leq \|\lambda\|_{[FL^\infty, FL_1^\infty]_\theta}$，且通过逼近在极限下取等。
• 证明依赖于用 $\mathcal{G}(FL^\infty, FL_1^\infty)$ 中的有限指数和逼近 $\mathcal{F}(FL^\infty, FL_1^\infty)$ 中的函数，从而确保在插值范数下的收敛性。
• 对由傅里叶系数定义的整函数应用Phragmén–Lindelöf定理，可控制实轴上的 $FL^\infty$-范数，从而导出关键的范数估计。
• 该结果表明，任何将 $A_0$ 紧致地映射到 $FL^\infty$ 且将 $A_1$ 有界地映射到 $FL_1^\infty$ 的算子 $T$，也必将 $[A_0, A_1]_\theta$ 紧致地映射到 $[FL^\infty, FL_1^\infty]_\theta$。
• 这为Calderón问题在目标偶为 $(FL^\infty, FL_1^\infty)$ 的情形提供了首个肯定答案，而若在相关偶 $(\ell^\infty(FL^\infty), \ell^\infty(FL_1^\infty))$ 中证明此情形，将能解决一般问题。