[논문 리뷰] Some examples of compact composition operators on $H^2$

Pascal Lefèvre, Daniel Li외 2명|arXiv (Cornell University)|2008. 06. 25.

Holomorphic and Operator Theory인용 수 11

한 줄 요약

이 논문은 하드리 공간 $H^2$ 상의 합성 연산자에 대해 명시적인 예를 구성하여, 그 기호의 경계 모듈러스에 의해 컴팩트성과 슈하른 클래스 $S_p$ 소속 여부가 결정되지 않음을 보여준다. 루크링의 기준과 카르레손 함수 분석을 통해 동일한 경계 모듈러스를 가진 두 기호가 하나는 비콤팩트 연산자를, 다른 하나는 모든 $p>2$ 에 대해 $S_p$ 에 속하는 연산자를 유도할 수 있음을 보이며, 이는 오랫동안 남아 있던 이러한 성질 간의 비동치성에 대한 질문을 해결한다.

ABSTRACT

To appear in J. Functional Analysis

연구 동기 및 목표

• 기호의 경계 모듈러스에 의해 결정되지 않는, $H^2$ 상의 합성 연산자에 대한 명시적이고 구체적인 예를 제공하는 것.
• 모든 $p<\infty$ 에 대해 어떤 슈하른 클래스 $S_p$ 에도 속하지 않는 컴팩트 합성 연산자가 존재하는지에 대한 오랫동안 남아 있던 열린 문제를 해결하는 것.
• 모든 $p>2$ 에 대해 동일한 경계 모듈러스를 가진 기호들이 존재하여, 하나는 비콤팩트 연산자를, 다른 하나는 $S_p$ 에 속하는 연산자를 유도할 수 있음을 보여주는 것.
• 루크링의 기준을 통해 기호의 카르레손 함수와 슈하른 클래스 소속 여부 간의 관계를 정교화하는 것.

제안 방법

• 슈하른 클래스 소속 여부를 판단하기 위한 루크링의 기준을 활용하며, 이는 기호의 경계 값의 수준 집합의 측도가 연산자의 슈하른 클래스 성질과 관련이 있음을 나타낸다.
• 기호 $\phi$ 가 유도하는 피복 측도 $m_\phi$ 의 분포를 측정하기 위해 카르레손 함수 $\rho_\phi(h)$ 를 사용한다.
• 복소해석학 기법을 활용하여 명시적인 기호 $\phi$ 를 구성하며, 이는 특이 내부 함수와 경계 근처에서 실수부와 허수부가 제어된 함수를 포함한다.
• asymptotic estimates on $\mathfrak{Re}\,f(it)$ and $\mathfrak{Im}\,f(it)$ 를 적용하여 $\rho_\phi(h)$ 의 성장률을 유도하며, 특히 $\rho_\phi(h) \approx h / \log\log(1/h)$ 를 도출한다.
• 보간법과 측도 이론적 추정을 통해 루크링의 기준에서의 합이 발산함을 입증함으로써, $S_p$ 에 속하지 않음을 증명한다.
• 기호의 경계 모듈러스 $|\phi^*| = |\psi^*|$ 가 동일한 두 기호를 비교하기 위해 $\phi$ 를 특이 내부 함수 $M$ 과 곱하여 새로운 기호 $\psi = \phi M$ 를 구성하며, 이는 모듈러스는 유지하되 카르레손 함수만을 변화시킨다.

실험 결과

연구 질문

• RQ1 두 합성 연산자 $H^2$ 상에서 기호의 경계 $\partial\mathbb{D}$ 상에서 동일한 모듈러스를 가질 수 있지만, 컴팩트성과 슈하른 클래스 소속 여부에서 다를 수 있는가?
• RQ2 모든 $p<\infty$ 에 대해 어떤 슈하른 클래스 $S_p$ 에도 속하지 않는 컴팩트 합성 연산자를 $H^2$ 상에서 구성하는 것이 가능한가?
• RQ3 $p>2$ 에 대해 동일한 경계 모듈러스를 가진 기호들이 존재하여, 하나는 비콤팩트 연산자를, 다른 하나는 $S_p$ 에 속하는 연산자를 유도할 수 있는가?
• RQ4 카르레손 함수 $\rho_\phi$ 는 슈하른 클래스 소속 여부를 정확히 특성화하는 데 사용될 수 있는가?

주요 결과

• 모든 $p>2$ 에 대해, $\partial\mathbb{D}$ 상에서 $|\phi_1^*| = |\phi_2^*|$ 를 만족하는 기호 $\phi_1$ 와 $\phi_2$ 가 존재하여, $C_{\phi_1}$ 는 비콤팩트이지만 $C_{\phi_2} \in S_p$ 를 만족한다.
• 모든 $p<\infty$ 에 대해 어떤 슈하른 클래스 $S_p$ 에도 속하지 않는 컴팩트 합성 연산자 $C_\phi$ 가 존재하며, 이는 오랫동안 남아 있던 열린 문제를 확인한다.
• 구성된 기호 $\phi$ 는 $\rho_\phi(h) \approx h / \log\log(1/h)$ 를 만족하며, 이는 컴팩트성을 암시하지만 모든 $p>0$ 에 대해 루크링의 기준을 통과하지 못하므로 $C_\phi \notin S_p$ 를 의미한다.
• 기호 $\phi$ 를 특이 내부 함수 $M$ 과 곱하여 새로운 기호 $\psi = \phi M$ 를 구성함으로써 $\rho_\psi(h) \approx h^2 \log(1/h)$ 를 얻으며, 이는 모든 $p>2$ 에 대해 $C_\psi \in S_p$ 를 보장한다.
• 예시는 $C_\phi$ 는 컴팩트이지만 모든 $p<\infty$ 에 대해 $S_p$ 에 속하지 않으며, $C_\psi$ 는 모든 $p>2$ 에 대해 $S_p$ 에 속함을 보여주며, $|\phi^*| = |\psi^*|$ 를 만족한다.
• 결과적으로 카르레손 함수 $\rho_\phi$ 의 성장률은 슈하른 클래스 소속 여부를 특성화하는 데는 충분하지 않지만, 제안된 3.4조와 추론 3.2에 의해 필요 및 충분 조건이 제공됨을 보여준다.