[논문 리뷰] Adjoints of rationally induced composition operators

Paul Bourdon, Joel H. Shapiro|ArXiv.org|2008. 01. 11.

Holomorphic and Operator Theory참고 문헌 8인용 수 5

한 줄 요약

이 논문은 하디 공간 $H^2$ 상에서 유리형으로 유도된 합성 연산자의 수반 공식에 대한 간결하고 기초적인 유도를 제공한다. 이는 Cowen의 선형 분수 지도에 대한 이전 작업을 확장한 것으로, 이러한 연산자의 수반은 유한한 가중 합성 연산자의 합으로 표현되며, 경계에서의 약간의 정규성 조건 하에 수반은 단일 가중 합성 연산자의 컴팩트한 변화임을 증명한다.

ABSTRACT

We give an elementary proof of a formula recently obtained by Hammond, Moorhouse, and Robbins for the adjoint of a rationally induced composition operator on the Hardy space H^2. We discuss some variants and implications of this formula, and use it to provide a sufficient condition for a rationally induced composition operator adjoint to be a compact perturbation of a weighted composition operator.

연구 동기 및 목표

• Hammond, Moorhouse, Robbins가 이전에 유도한 바 있는, $H^2$ 상에서 유리형으로 유도된 합성 연산자의 수반 공식에 대해 간단하고 대수적인 유도를 제공하는 것.
• 외부 함수 $\varphi_e$의 역함수의 다중값성 특성을 분석하여 수반의 구조를 명확히 하는 것.
• 유리형으로 유도된 합성 연산자의 수반이 가중 합성 연산자의 컴팩트한 변화임이 되는 조건을 규명하는 것.
• Cowen의 선형 분수 수반 공식을 단위 원판의 유리형 자기사상의 더 넓은 클래스로 일반화하는 것.
• 특히 외부 정규성과 강한 외부 정규성이라는 조건을 제시하여, 이 조건들이 수반이 컴팩트한 변화를 갖는 가중 합성 연산자의 합으로 분해됨을 보장하는 데 기여하는 것.

제안 방법

• 다항식 $f$와 $g$에 대해 $H^2$ 내적 $\langle f, C_\varphi^*g \rangle$의 코시 적분 표현을 사용하는 것.
• 코시 정리와 변수 변경을 적용하여, 외부 함수 $\varphi_e^{-1}$의 분지들을 포함하는 일반화된 수반 형태를 도출하는 것.
• $\varphi_e^{-1}(\mathbb{U}) \subset \mathbb{U}$라는 사실을 활용하여, 닫힌 단위 원판 상에서 역함수 분지의 해석적 성질을 보장하는 것.
• $\overline{\mathbb{U}}$에서 $\overline{\mathbb{U}}$로 사상하는 $\varphi_e^{-1}$의 분지 $\sigma_j$를 식별하며, 이 중 최대 하나만 $\partial\mathbb{U}$에서 $\partial\mathbb{U}$로 사상함을 확인하는 것.
• 역행렬 이동 연산자 $B$와 랭크-1 연산자 $\Lambda_0$, $\Lambda_\infty$를 사용하여 수반을 가중 합성 연산자와 컴팩트한 변화의 합으로 분해하는 것.
• 로슈 정리를 적용하여 임계 값의 위치를 분석하고, 예시에서 강한 외부 정규성을 검증하는 것.

실험 결과

연구 질문

• RQ1 유리형으로 유도된 $H^2$ 상의 합성 연산자의 수반이 언제 가중 합성 연산자의 컴팩트한 변화가 되는가?
• RQ2 이전의 접근 방식보다 더 단순하고 통합적인 방식으로, 유리형으로 유도된 합성 연산자의 수반 공식을 어떻게 도출할 수 있는가?
• RQ3 $\varphi_e^{-1}$의 다중값성은 $C_\varphi^*$의 구조에 어떤 역할을 하는가? 이를 대수적으로 어떻게 다룰 수 있는가?
• RQ4 외부 함수 $\varphi_e$의 역함수가 언제 $\overline{\mathbb{U}}$ 상에서 해석적이게 되며, 이는 관련된 합성 연산자의 컴팩트성에 어떻게 영향을 미치는가?
• RQ5 외부 정규성과 강한 외부 정규성이 $C_\varphi^*$의 컴팩트한 변화 구조를 결정하는 데 있어 어떤 의미를 갖는가?

주요 결과

• 논문은 Hammond-Moorhouse-Robbins 공식에 대해 $H^2$ 상에서 유리형으로 유도된 합성 연산자의 수반에 대해 간결하고 기초적인 증명을 제공한다.
• 수반 $C_\varphi^*$는 $\varphi_e^{-1}$의 분지 $\sigma_j$와 유리 함수 $g_j$를 사용하여 유한한 가중 합성 연산자 $M_{g_j}C_{\sigma_j}$의 합으로 표현된다.
• 만약 $\varphi$가 외부 정규성이 있고 $\partial\mathbb{U}$ 상의 정확히 한 점을 $\partial\mathbb{U}$로 사상한다면, $C_\varphi^*$는 $M_h C_\sigma B$의 컴팩트한 변화이다. 여기서 $\sigma$는 $\mathbb{U}$의 해석적 자기사상이다.
• 만약 $\varphi$가 강한 외부 정규성을 갖는다면, $C_\varphi^*$는 단일 가중 합성 연산자 $M_g C_\sigma$의 컴팩트한 변화이다. 여기서 $g(z) = z\sigma'(z)/\sigma(z)$는 $\mathbb{U}$ 상에서 유계이고 해석적이다.
• 예시로 $\varphi(z) = 1/(3 - z - z^2)$의 경우, $\varphi_e^{-1}$의 분지 분석을 통해 $C_\varphi^*$가 가중 합성 연산자의 컴팩트한 변화임을 확인하였다.
• 다항식 $d \geq 2$에 대해 $\varphi(z) = 1/((d+1) - z - z^2 - \cdots - z^d)$의 경우 강한 외부 정규성을 만족하므로, 그 수반은 가중 합성 연산자의 컴팩트한 변화이다.