[論文レビュー] 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})$ にコンパクトに作用するならば、任意の $\theta \in (0,1)$ に対して、$[A_0, A_1]_\theta$ から $[B_0, B_1]_\theta$ へのコンパクト作用素への写像も成り立つ。主な結果は、$[FL^\infty, FL_1^\infty]_\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定理を適用し、帯状領域での有界性を保証する。
• ストリップ上での値を $FL^\infty + FL_1^\infty$ にとる解析関数の空間 $\mathcal{F}(FL^\infty, FL_1^\infty)$ を定義し、本質的上界を用いてノルムを定義する。
• 双対性と双対ノルムの使用：$\|\lambda\|_{FL^\infty} = \sup_{\sigma \in Q} \left| \sum \lambda_n \sigma_n \right|$ であり、$Q$ は $\|\sigma\|_{FL^1} = 2\pi$ を満たす有限台付き列の集合である。
• 一般関数 $\mathcal{F}(FL^\infty, FL_1^\infty)$ を、有限指数和からなるクラス $\mathcal{G}(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$ に有界に写像するならば、任意の $\theta \in (0,1)$ に対して $[A_0, A_1]_\theta$ を $[B_0, B_1]_\theta$ にコンパクトに写像するか？
• 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$ は、$[L^\infty, L^1]_\theta$ 内関数のフーリエ係数の空間 $FC_\theta$ に等長的に一致する。
• 列 $\lambda \in [FL^\infty, FL_1^\infty]_\theta$ のノルムについて、$\|\lambda\|_{FC_\theta} \leq \|\lambda\|_{[FL^\infty, FL_1^\infty]_\theta}$ が成り立ち、近似の極限で等号が成立する。
• 証明は、$\mathcal{F}(FL^\infty, FL_1^\infty)$ 内の関数を $\mathcal{G}(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$ にコンパクトに写像することが保証される。
• これは、標的対が $(FL^\infty, FL_1^\infty)$ である場合のCalderón問題に対する、初めての肯定的解答である。このケースが $(\ell^\infty(FL^\infty), \ell^\infty(FL_1^\infty))$ の関連対において証明されれば、一般問題が解決される。