[논문 리뷰] Compact embeddings of model subspaces of the Hardy space

Anton Baranov|arXiv (Cornell University)|2007. 12. 05.

Holomorphic and Operator Theory참고 문헌 21인용 수 12

한 줄 요약

이 논문은 하르디 공간 $H^p$의 모델 부분공간 $K^p_\Theta$ 가 $L^p(\mu)$ 로의 컴팩트 포함에 대한 기준을 수립한다. 이는 유계 포함에 대한 볼베르크–트레이유 정리의 일반화이다. 주요 결과는 컴팩트성에 필요한 필수 및 필요조건을 제시하며, 베르누이 불등식과 내부 함수 $\Theta$ 의 기하학적 분석을 통해 쟈이마와 매스슨이 제기한 컴팩트 포함에 대한 질문을 해결한다.

ABSTRACT

We study embeddings of model (star-invariant) subspaces $K^p_Θ$ of the Hardy space $H^p$, associated with an inner function $Θ$. We obtain a criterion for the compactness of the embedding of $K^p_Θ$ into $L^p(μ)$ analogous to the Volberg--Treil theorem on bounded embeddings and answer a question posed by Cima and Matheson. The proof is based on Bernstein inequalities for functions in $K^p_Θ$. Also we study measures $μ$ such that the embedding operator belongs to a Schatten--von Neumann ideal.

연구 동기 및 목표

• 주어진 내부 함수 $\Theta$ 에 대해, $K^p_\Theta \subset L^p(\mu)$ 가 컴팩트가 되는 조건을 특성화함으로써, 볼베르크–트레이유 정리의 유계 포함에서 컴팩트 포함으로의 확장.
• 지마와 매스슨이 제기한 모델 부분공간의 컴팩트 포함에 대한 질문을 해결함.
• 카르레손 유사 조건을 통해 내부 함수 $\Theta$ 의 기하학적 성질과 $\mu$ 의 적분 가능성 성질 간의 연결을 수립함.
• 특히 $r \geq 1$ 인 경우에 대해 포함 연산자의 샤텐–폰 뉴먼 클래스 소속을 분석함.
• 이중 분해, 수준집합 기하학, $K^p_\Theta$ 내의 커널 추정을 결합하여 컴팩트성에 대한 정밀한 기준을 제시함.

제안 방법

• 함수들이 $K^p_\Theta$ 에 속할 경우 유도의 성장을 함수의 노름에 따라 제어하는, 베르누이 유형 불등식을 사용함.
• 단위 원판을 이중 정사각형 $R_{n,m}$ 으로 이중 분해하고, 이들의 수준집합 $\Omega(\Theta,\varepsilon) = \{z \in \mathbb{D} : |\Theta(z)| < \varepsilon\}$ 으로부터의 거리를 분석함.
• 크기와 거리의 비교가 가능한 정사각형의 집합 $\mathcal{R}(\varepsilon, A)$ 를 정의하여 기하학적 근접성과 측도 감쇠를 연결함.
• 스체텐–폰 뉴먼 아이디얼 $\mathcal{S}_r$ 를 통해 포함 연산자의 컴팩트성을 분석하고, 루크링 정리를 이용해 스펙트럼 노름과 관련된 정사각형들에서 $\mu(R_{n,m})$ 의 합산 가능성과 연결함.
• 재생 커널 $k_z$ 를 사용한 주요 추정을 도출하며, $z \in S(I_n)$ 이면 $k_z(z) \asymp |I_n|^{-1}$ 이고, $w_n \in S(I_n)$ 이면 $\|k_{w_n}\|_2^2 \asymp |I_n|^{-1}$ 임을 보임.
• 조건의 필요성은 파르페노프의 정리와 $L^2$-노름이 제어되고 점별 하한이 존재하는 테스트 함수 $k_{w_n}$ 의 구성을 통해 증명됨.

실험 결과

연구 질문

• RQ1 주어진 내부 함수 $\Theta$ 에 대해, $\overline{\mathbb{D}}$ 에 정의된 Borel 측도 $\mu$ 가 $K^p_\Theta \subset L^p(\mu)$ 가 컴팩트가 되게 하는 조건은 무엇인가?
• RQ2 수준집합 $\Omega(\Theta,\varepsilon)$ 의 기하학적 성질이 포함 연산자의 컴팩트성에 어떻게 영향을 주는가?
• RQ3 볼베르크–트레이유 정리의 유계 포함 기준을 컴팩트 경우로 확장할 수 있으며, 만약 가능하면 어떤 정밀 조건에서 가능한가?
• RQ4 포함 연산자의 샤텐–폰 뉴먼 클래스 소속과 $\Theta$ 의 스펙트럼 근처 이중 정사각형에서 $\mu$ 의 감쇠 사이의 정확한 관계는 무엇인가?
• RQ5 컴팩트성 기준은 지수 $p$ 에 따라 달라지며, 특히 $\Theta$ 가 $CLS$ 클래스에 속하지 않을 경우 어떻게 되는가?

주요 결과

• 포함 $K^p_\Theta \subset L^p(\mu)$ 가 컴팩트일 필요충분조건은 두 조건을 만족할 때이다: (1) 모든 $n$ 에 대해 $\mu(S(I_n)) \lesssim |I_n|$ 이고, (2) $\sum_n \left( \mu(S(I_n)) / |I_n| \right)^{r/2} < \infty$, 여기서 $\{I_n\}$ 은 $\text{dist}(I_n, \sigma(\Theta)) \geq |I_n|$ 를 만족하는 최대 호들이다.
• $\Theta \in \text{CLS}$ 이면 컴팩트성 기준은 사라지는 카르레손 유사 조건으로 단순화되지만, 일반적인 $\Theta$ 에 대해서는 이중 분해와 수준집합 $\Omega(\Theta,\varepsilon)$ 으로부터의 거리에 따라 달라진다.
• 재생 커널 $k_z$ 는 $z \in S(I_n)$ 이면 $k_z(z) \asymp |I_n|^{-1}$ 이고, $w_n \in S(I_n)$ 이면 $\|k_{w_n}\|_2^2 \asymp |I_n|^{-1}$ 임을 만족하며, 이는 노름 추정에 필수적이다.
• 포함 연산자가 샤텐–폰 뉴먼 클래스 $\mathcal{S}_r$ 에 속할 필요충분조건은 $\sum_{R_{n,m} \cap G \neq \emptyset} (2^n \mu(R_{n,m}))^{r/2} < \infty$ 이며, 여기서 $G = \mathbb{D} \setminus \bigcup_n S(I_n)$ 이다.
• $\sum_n (\mu(S(I_n)) / |I_n|)^{r/2} < \infty$ 조건의 필요성은 파르페노프의 정리를 통해 증명되었으며, 제어된 $L^2$-노름과 점별 하한이 존재하는 테스트 함수 $k_{w_n}$ 를 사용함.
• 결과는 파르페노프의 펠리–위너 공간에 대한 정리의 일반화이며, 상반평면의 경우 $\mu([n,n+1])$ 의 합산 가능성 조건이 디스크의 경우 $\mu(S(I_n))$ 의 감쇠 조건에 대응됨을 보여준다.