[논문 리뷰] Complex interpolation of compact operators mapping into the couple (FL^{\infty},FL_{1}^{\infty})

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

Advanced Harmonic Analysis Research참고 문헌 14인용 수 5

한 줄 요약

이 논문은 복소보간 이론에서 오랫동안 열려 있던 문제에 대한 긍정적인 답변을 제공한다: 선형 연산자가 어떤 바나흐 쌍 $(FL^{\text{lat}}\text{lat}, FL_{1}^{\text{lat}}\text{lat})$ 에 대해 컴팩트하게 작용한다면, $\theta \in (0,1)$ 에 대해 복소보간 공간 $[A_0, A_1]_\theta$ 를 $[B_0, B_1]_\theta$ 에 컴팩트하게 보낸다. 핵심 결과는 $[FL^\infty, FL_1^\infty]_\theta = FC_\theta$ 를 증명하며, 여기서 $FC_\theta$ 는 복소보간 공간에 속하는 함수들의 푸리에 계수 공간을 의미한다. 이는 루신의 정리와 프라그멘-린델뢰프 원리를 활용한 기법을 통해 이루어진다.

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).

연구 동기 및 목표

• 캘러존의 오픈 문제인 연산자의 컴팩트 보간에 대한 특수 케이스를 해결하기 위해.
• 복소보간 공간 $[FL^\infty, FL_1^\infty]_\theta$ 가 $FC_\theta$ — 즉, 보간된 공간에 속하는 함수들의 푸리에 계수 공간 — 와 일치함을 증명하기 위해.
• 대상 쌍이 $(FL^\infty, FL_1^\infty)$ 인 경우에 대해 컴팩트 연산자 보간 문제에 대한 새로운 긍정적 답변을 제공하기 위해.
• 이 특정 사례를 새로운 분석 기법을 사용해 증명함으로써 일반 사례를 해결하기 위한 기초를 다지기 위해.

제안 방법

• 가측 함수를 연속 함수로 근사하기 위해 루신의 정리를 사용하여 보간 공간 내에서 연산자 노름을 제어할 수 있도록 한다.
• 푸리에 계수를 통해 정의된 정칙 함수에 대해 프라그멘-린델뢰프 정리를 적용하여 스트립 영역 내에서 유계성을 확보한다.
• 스트립에서 $FL^\infty + FL_1^\infty$ 에 값이 있는 해석적 함수의 공간인 $\mathcal{F}(FL^\infty, FL_1^\infty)$ 를 정의하며, 노름은 본질적 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)$ — 유한 지수합으로 이루어진 밀도 있는 부분집합 — 에서의 함수로 근사한다.
• 최대 모듈러스 원리와 스트립 $\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 기존의 임베딩 또는 쌍대성 기법을 통해 일반 캘러존 문제를 이 특정 사례로 환원할 수 있는가?

주요 결과

• 복소보간 공간 $[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)$ 의 함수들로 근사함으로써 보간 노름 수렴을 보장하는 데 의존한다.
• 푸리에 계수를 통해 정의된 정칙 함수에 대해 프라그멘-린델뢰프 정리를 적용함으로써 실축에서 $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)$ 인 경우에 대해 캘러존 문제에 대한 첫 번째 긍정적 답변을 제공하며, 이는 일반 문제를 해결하기 위한 핵심 케이스로, 만약 관련 쌍 $(\ell^\infty(FL^\infty), \ell^\infty(FL_1^\infty))$ 에서 증명된다면 일반 문제를 해결할 수 있다.