[논문 리뷰] Normal weighted composition operators on the Hardy space

Paul Bourdon, Sivaram K. Narayan|ArXiv.org|2009. 10. 07.

Holomorphic and Operator Theory인용 수 22

한 줄 요약

이 논문은 하드리 공간 $H^2(\mathbb{U})$ 위에서 정규 및 유니터리 가중 조합 연산자를 특성화하며, 단위 원판의 모든 자동형사상이 적절한 가중 함수를 갖는 유니터리 가중 조합 연산자를 유도함을 보여준다. 단위 원판 내부의 점을 고정하는 유도 맵을 갖는 정규 연산자에 대해서는, 가중 함수 $\psi$와 상징 $\varphi$가 모두 분수선형이어야 하며, 이러한 연산자에 대한 스펙트럼 특성화가 제공된다.

ABSTRACT

Let g be an analytic function on the open unit disc U such that g(U) is contained in U, and let h be an analytic function on U such that the weighted composition operator W_{h,g) defined by W_{h,g}f = h f(g) is bounded on the Hardy space H^2. We characterize those weighted composition operators on H^2 that are unitary, showing that in contrast to the unweighted case (h=1), every automorphism of U induces a unitary weighted composition operator. A conjugation argument, using these unitary operators, allows us to describe all normal weighted composition operators on H^2 for which the inducing map g fixes a point in U. This description shows both h and g must be linear fractional in order for W_{h,g} to be normal (assuming g fixes a point in U). In general, we show that if W_{h, g} is normal on H^2 and h is not the zero function, then g must be either univalent on U or constant. Descriptions of spectra are provided for the operator W_{h,g} when it is unitary or when it is normal and g fixes a point in U.

연구 동기 및 목표

• 하드리 공간 $H^2(\mathbb{U})$ 위에서 유니터리가 되는 모든 가중 조합 연산자 $W_{\psi,\varphi}$를 특성화하여, 유일한 회전만이 유니터리 연산자를 유도하는 무게 없는 경우를 초월한다.
• 유도 맵 $\varphi$가 열린 단위 원판 $\mathbb{U}$ 내부의 점을 고정할 경우, $H^2(\mathbb{U})$ 위에서 모든 정규 가중 조합 연산자를 기술한다.
• 정규성에 필요한 조건을 $\psi$와 $\varphi$에 대해 규명하여, $W_{\psi,\varphi}$가 정규이면서 $\psi \not\equiv 0$일 경우 $\varphi$는 단사 또는 상수여야 하고 $\psi$는 영이 아니어야 함을 보여준다.
• 제시된 조건 하에서 유니터리 및 정규 가중 조합 연산자의 스펙트럼 특성화를 제공한다.
• 유니터리, 에르미트, 또는 정규 연산자를 유도하는 가중 함수 $\psi$의 형태를 통합하고, 이러한 $\psi$가 선형 분수형 $\varphi$와 짝을 이루어 정규 연산자를 유도할 조건을 규명한다.

제안 방법

• 단위 원판 $\mathbb{U}$의 자동형사상에 의해 유도되는 유니터리 조합 연산자를 통한 공액을 사용하여, $\varphi$가 $\mathbb{U}$ 내부의 점을 고정할 경우 정규성 문제를 단순화한다.
• 특히 $K_a(z) = \frac{1}{1 - \bar{a}z}$인 $H^2(\mathbb{U})$의 재생 핵 이론을 적용하여 수반 연산자와 정규성 조건을 분석한다.
• 선형 분수형 $\varphi$와 관련된 코웬의 보조 함수 $\sigma$를 활용하여 $C_\varphi$의 수반을 표현하고, $W_{\psi,\varphi}^*W_{\psi,\varphi} = W_{\psi,\varphi}W_{\psi,\varphi}^*$를 유도하기 위한 조건을 도출한다.
• 정리 12의 식 (15)인 연산자 항등식을 유도하고 분석하여, $\sigma \circ \varphi$와 $\varphi \circ \sigma$를 포함하는 두 개의 가중 조합 연산자가 동일한지 여부를 통해 정규성을 판단한다.
• 덴조-울프 정리를 적용하여 분석을 $\varphi$가 경계점에서 고정점을 갖는 경우로 단순화하고, 포물선형 및 쌍곡선형 유형을 별도로 고려한다.
• $[1]$의 본질적 정규성 결과를 적용하여, $\varphi'({\omega}) < 1$인 비자기형 선형 분수형 사상은 $\psi$가 $\overline{\mathbb{U}}$에서 매끄럽다면 정규 연산자를 유도할 수 없음을 보여준다.

실험 결과

연구 질문

• RQ1 하드리 공간 $H^2(\mathbb{U})$ 위에서 어떤 가중 조합 연산자 $W_{\psi,\varphi}$가 유니터리이며, $\psi$와 $\varphi$에 대해 어떤 조건이 유니터리성을 보장하는가?
• RQ2 만약 $\varphi$가 $\mathbb{U}$ 내부의 점을 고정한다면, 어떤 정규 가중 조합 연산자 $W_{\psi,\varphi}$가 발생하며, $\psi$와 $\varphi$는 어떤 형태여야 하는가?
• RQ3 하드리 공간 $H^2(\mathbb{U})$ 위에서 유니터리 및 정규 가중 조합 연산자의 스펙트럼 특성은 무엇인가?
• RQ4 무게 함수 $\psi$가 $\overline{\mathbb{U}}$에서 매끄럽다면, 비자기형 선형 분수형 자기사상 $\varphi$가 단위 원판에서 정규 가중 조합 연산자 $W_{\psi,\varphi}$를 유도할 수 있는가?
• RQ5 유니터리, 에르미트, 정규 가중 조합 연산자를 유도하는 가중 함수 $\psi$는 어떤 공통적인 구조적 형태를 갖는가?

주요 결과

• 모든 $\mathbb{U}$의 자동형사상 $\varphi$는 $\varphi$에 따라 달라지는 특정한 가중 함수 $\psi$를 갖는 유니터리 가중 조합 연산자 $W_{\psi,\varphi}$를 $H^2(\mathbb{U})$ 위에서 유도하며, 이는 유일한 회전만이 유니터리 연산자를 유도하는 무게 없는 경우와 대비된다.
• 만약 $W_{\psi,\varphi}$가 $H^2(\mathbb{U})$ 위에서 정규이고 $\varphi$가 $\mathbb{U}$ 내부의 점을 고정한다면, $\psi$와 $\varphi$는 모두 분수선형 변환이어야 한다.
• $\varphi$가 $\mathbb{U}$ 내부의 점을 고정할 경우 $W_{\psi,\varphi}$가 정규가 되기 위해 가중 함수 $\psi$는 $\psi(z) = \rho K_{\sigma(0)}(z)$ 형태여야 한다. 여기서 $\sigma$는 $\varphi$에 대한 코웬의 보조 함수이다.
• 연산자 $W_{\psi,\varphi}$가 정규일 필요충분조건은 식 (15)가 성립하는 것이다. 이 식은 $\sigma \circ \varphi$와 $\varphi \circ \sigma$를 포함하는 두 개의 가중 조합 연산자가 동일함을 나타낸다.
• 무게 함수 $\psi$가 $\overline{\mathbb{U}}$에서 $C^1$이면, $\varphi'({\omega}) < 1$인 비자기형 선형 분수형 사상(쌍곡선형 유형)은 정규 $W_{\psi,\varphi}$를 유도할 수 없으며, 본질적 비정규성으로 인해 그러한 경우가 성립하지 않는다.
• 유니터리 및 정규 가중 조합 연산자의 스펙트럼이 명시적으로 특성화되어 있다: 유니터리 연산자의 스펙트럼은 단위 원주 위에 있고, $\mathbb{U}$ 내부의 점을 고정하는 정규 연산자의 스펙트럼은 관련된 선형 분수형 변환의 고유값에 의해 결정된다.