[논문 리뷰] Rigidity of weighted composition operators on $H^p$

Mikael Lindström, Santeri Miihkinen외 1명|arXiv (Cornell University)|2018. 09. 13.

Holomorphic and Operator Theory인용 수 1

한 줄 요약

이 논문은 $1 \leq p < \infty$ 에서 하드리 스페이스 $H^p$ 상에서 비콤팩트 가중 조합 연산자들이 $\ell^p$ 의 등장하는 등장하는 사영을 고정함을 증명하며, 이는 그것들이 엄격하게 싱귤러가 아님을 의미한다. 또한 이러한 연산자가 $\ell^2$ 의 등장하는 사영을 고정하는 조건을 특성화하여, 이는 경계 접촉 집합 $E_\varphi$ 가 양의 측도를 가질 때 정확히 발생함을 보여준다. 이러한 결과들은 비가중 조합 연산자에서의 강성 현상들을 가중 설정으로 확장한다.

ABSTRACT

We show that every non-compact weighted composition operator $f \mapsto u\cdot (f\circ\phi)$ acting on a Hardy space $H^p$ for $1 \leq p < \infty$ fixes an isomorphic copy of the sequence space $\ell^p$ and therefore fails to be strictly singular. We also characterize those weighted composition operators on $H^p$ which fix a copy of the Hilbert space $\ell^2$. These results extend earlier ones obtained for unweighted composition operators.

연구 동기 및 목표

• 비콤팩트 가중 조합 연산자 $uC_\varphi$ 가 $H^p$ 스페이스에서 갖는 연산자 이론적 성질을 분석한다.
• 비가중 조합 연산자에 대해 알려진 강성 결과들을 가중 경우로 확장한다.
• 이러한 연산자가 $H^p$ 내에서 $\ell^2$ 의 등장하는 사영을 고정하는 조건을 특성화한다.
• 이러한 연산자의 범위 내에서 $\ell^p$ 또는 $\ell^2$ 사영의 존재성과 콤팩트성, 엄격한 싱귤러성 간의 관계를 명확히 한다.

제안 방법

• 경계 근처에서 연산자의 행동을 탐색하기 위해 $\|g_a\|_{H^p} = 1$ 인 테스트 함수 $g_a(z) = (1 - |a|^2)^{1/p}/(1 - \bar{a}z)^{1/p}$ 를 사용한다.
• 카르레손 측도 기준과 콤팩트성 특성화를 적용하여 $a_n \to 1$ 이면서 $\|uC_\varphi g_{a_n}\|_{H^p} \geq c > 0$ 인 수열을 식별함으로써 비콤팩트성을 나타낸다.
• 레마 4 를 활용하여 단위 원주 상의 부분집합에서 $uC_\varphi g_a$ 의 $L^p$ 노름을 제어하며, 특히 $|\varphi(\zeta) - 1| < \epsilon$ 인 집합 $F_\epsilon$ 를 제외한 영역에서 $a \to 1$ 일 때 노름 감쇠를 보장한다.
• 팔레이의 정리와 $H^1$-노름 추정을 사용하여, $m(E_\varphi) > 0$ 이면 $uC_\varphi$ 가 특정 부분공간을 $\ell^2$-유사 수열로 등장하는 사영으로 사상함을 보인다.
• 글라이딩 허프 추론을 적용하여 $m(E_\varphi) = 0$ 인 가정 하에 $uC_\varphi$ 가 $\ell^p$ 에 대해 아래로 유계인 등장하는 사영으로 작용하는 함수의 부분수열을 추출한다.
• $p \neq 2$ 일 때 $\ell^p$ 와 $\ell^2$ 가 완전히 비등가임을 이용하여, $m(E_\varphi) = 0$ 이고 $p \neq 2$ 이면 $uC_\varphi$ 는 $\ell^2$ 의 등장하는 사영을 고정할 수 없다는 결론을 이끌어낸다.

실험 결과

연구 질문

• RQ1 비콤팩트 가중 조합 연산자 $uC_\varphi$ 가 $H^p$ 상에서 $\ell^p$ 의 등장하는 사영을 고정하는 조건은 무엇인가?
• RQ2 $H^p$ 상에서 $uC_\varphi$ 가 힐베르트 스페이스 $\ell^2$ 의 등장하는 사영을 고정하는 조건은 언제인가?
• RQ3 경계 접촉 집합 $E_\varphi = \{\zeta \in \mathbb{T} : |\varphi(\zeta)| = 1\}$ 의 측도가 $uC_\varphi$ 의 범위 내에서 $\ell^2$-사영의 존재성에 어떻게 影향을 미치는가?
• RQ4 비가중 경우와 유사하게, 엄격한 싱귤러성과 $\varphi$ 의 경계 행동 기하학 간의 연결 고리가 가중 경우에도 존재하는가?
• RQ5 연산자 $uC_\varphi$ 의 강성은 $E_\varphi$ 의 크기와 가중치 $u$ 로 완전히 특성화될 수 있는가?

주요 결과

• 모든 비콤팩트 가중 조합 연산자 $uC_\varphi$ 는 $1 \leq p < \infty$ 에 대해 $H^p$ 상에서 $\ell^p$ 의 등장하는 사영을 고정하며, 이는 그것들이 엄격하게 싱귤러가 아님을 의미한다.
• $m(E_\varphi) > 0$ 이면, $uC_\varphi$ 는 $H^p$ 내에서 $\ell^2$ 의 등장하는 사영을 고정한다. 이는 연산자가 더 큰 하드리 스페이스 $H^q$ ($q \leq p$) 로 사상하는 경우에도 성립한다.
• $m(E_\varphi) = 0$ 이면, $p \neq 2$ 이면 $uC_\varphi$ 는 $H^p$ 내에서 $\ell^2$ 의 등장하는 사영을 고정할 수 없다. 이는 $\ell^p$ 와 $\ell^2$ 가 완전히 비등가이기 때문이다.
• $a_n \to 1$ 이고 $\|uC_\varphi g_{a_n}\|_{H^p} \geq c > 0$ 이면, $uC_\varphi$ 는 수열 $(g_{a_n})$ 의 닫힌 선형 생성공간 위에서 아래로 유계이며, 이는 $\ell^p$-사영의 존재를 의미한다.
• 정리 2 의 증명은 가중 $H^1$-노름 추정을 확립한다: $m(E_\varphi) > 0$ 이고 $u \not\equiv 0$ 이면, $\left\|u \sum \alpha_k \varphi^{n_k} \right\|_{H^1} \geq c \| (\alpha_k) \|_{\ell^2}$ 를 만족하는 $c > 0$ 이 존재한다. 이는 호더의 부등식과 $C_\varphi$ 의 $H^2$-유계성에 기반한다.
• 함수 수열 $f_n \to 0$ 이 컴acts 집합에서 균일 수렴할 때 글라이딩 허프 추론을 적용하면 부분수열 $f_{n_j}$ 가 존재하여 $uC_\varphi$ 가 $[f_{n_j}]$ 위에서 아래로 유계이며, 이는 $m(E_\varphi) = 0$ 일 때 $\ell^p$-사영의 존재를 증명한다.