[논문 리뷰] Semigroups of weighted composition operators in spaces of analytic functions

Irina Arévalo, Marcos I. Oliva|arXiv (Cornell University)|2017. 06. 27.

Holomorphic and Operator Theory참고 문헌 23인용 수 3

한 줄 요약

이 논문은 해석 함수 공간, 특히 하디, 베르그만, 혼합 노름 및 가중 바나흐 공간에서 가중 컴positions 연산자 군 $T_t f = \varphi_t' (f \circ \varphi_t)$의 강한 연속성을 조사한다. 이러한 군이 분리 가능 공간인 하디 및 베르그만 공간에서는 항상 강한 연속성을 가지며, 비분리 공간인 $H_v^\infty$에서는 딘조-울로프 점과 관련된 적분 연산자의 행동에 의해 결정되는 진부분공간에서에만 강한 연속성이 성립함을 규명한다.

ABSTRACT

We study the strong continuity of weighted composition semigroups of the form $T_tf=φ_t'\left(f\circφ_t ight)$ in several spaces of analytic functions. First we give a general result on separable spaces and use it to prove that these semigroups are always strongly continuous in the Hardy and Bergman spaces. Then we focus on two non-separable family of spaces, the mixed norm and the weighted Banach spaces. We characterize the maximal subspace in which a semigroup of analytic functions induces a strongly continuous semigroup of weighted composition operators depending on its Denjoy-Wolff point, via the study of an integral-type operator.

연구 동기 및 목표

• 해석 함수 군에 의해 유도된 가중 컴포지션 연산자 군이 다양한 해석 함수 공간에서 언제 강한 연속성이 되는지 규명하는 것.
• 비분리 공간(예: $H_v^\infty$)에서 이러한 군이 강한 연속성을 가지는 최대 닫힌 부분공간을 특정하는 것.
• 딘조-울로프 점이 강한 연속성에 대한 최대 부분공간의 구조를 결정하는 데 미치는 영향을 분석하는 것.
• 혼합 노름 및 가중 바나흐 공간에서 관련된 적분형 연산자의 유계성과 컴act성 기준을 설정하는 것.
• 강한 연속성의 관점에서 분리 가능 공간과 비분리 가능 공간 간의 차이를 명확히 하는 것.

제안 방법

• 분리 가능 바나흐 공간의 해석 함수에서 강한 연속성에 대한 일반 기준을 사용하여 하디 및 베르그만 공간에서의 강한 연속성을 증명한다.
• 비분리 공간 $X$에 대해 최대 부분공간 $[\varphi_t', X] = \{ f \in X : \lim_{t \to 0^+} \| \varphi_t' (f \circ \varphi_t) - f \|_X = 0 \}$을 정의한다.
• 혼합 노름 및 가중 바나흐 공간 $H_v^\infty$에 대해 군의 생성자와 관련된 적분형 연산자의 유계성과 컴팩턴스를 통해 $[\varphi_t', X]$를 특성화한다.
• 코엔히스 함수와 무한소 생성자 $G(z) = \lim_{t \to 0^+} \frac{\varphi_t(z) - z}{t}$를 활용하여 기하학적 함수 이론과 연산자 이론적 성질을 연결한다.
• 생성자 표현에서 $G(z) = (\bar{b}z - 1)(z - b)P(z)$ 및 $\text{Re}\,P \geq 0$ 형태의 표현을 사용하여 딘조-울로프 점 $b \in \overline{\mathbb{D}}$를 분석한다.
• 쌍대성과 약한 컴팩턴스 논증을 활용하여, 특히 $ (H_v^0)^{**} = H_v^\infty $를 이용해 곱셈 연산자의 컴팩턴스와 약한 컴팩턴스를 연결한다.

실험 결과

연구 질문

• RQ1 해석 함수 군에 의해 유도된 가중 컴포지션 연산자 군이 하디 공간 및 베르그만 공간에서 언제 강한 연속성이 되는가?
• RQ2 비분리 공간(예: $H_v^\infty$)에서 주어진 해석 함수 군이 강한 연속성을 가지는 최대 부분공간은 무엇인가?
• RQ3 해석 함수 군의 딘조-울로프 점이 강한 연속성에 대한 최대 부분공간의 구조에 어떻게 영향을 미치는가?
• RQ4 혼합 노름 및 가중 바나흐 공간에서 군과 관련된 적분형 연산자의 유계성과 컴팩턴스에 대한 필수 및 필요조건은 무엇인가?
• RQ5 비정규 가중치를 가진 $H_v^\infty$에서 비자명한 강한 연속성 가진 가중 컴포지션 연산자 군이 존재할 수 있는가?

주요 결과

• 해석 함수 군에 의해 유도된 모든 가중 컴포지션 연산자 군은 하디 공간 $H^p$와 베르그만 공간 $A^p$에서 강한 연속성을 가진다.
• 비분리 가중 바나흐 공간 $H_v^\infty$에서는 비자명한 군이 강한 연속성을 가지는 가중 컴포지션 연산자 군을 유도하지 못하며, 즉 $[\varphi_t', H_v^\infty] \subsetneq H_v^\infty$이다.
• 비정규 가중치를 가진 $H_v^\infty$에서 강한 연속성이 전체 공간 $H_v^0$에서 성립하는 것은 $1/P \in H_0(\infty, \infty, 1)$이어야 하고, 이때 $P$는 생성자 표현에서의 양의 실수부 함수이다.
• 딘조-울로프 점 $b \in \mathbb{T}$이면, 최대 부분공간 $[\varphi_t', H_v^\infty]$는 $H_v^0$를 진부분으로 포함하므로, 강한 연속성이 $H_v^0$에서 실패한다.
• $H_v^\infty$에서 곱셈 연산자 $W_g$의 유계성은 $g \in H(\infty, \infty, 1)$과 동치이며, 컴팩턴스는 $g \in H_0(\infty, \infty, 1)$과 동치이다.
• $b \in \mathbb{D}$이면, $H_v^0 = [\varphi_t', H_v^\infty]$이 되는 것은 $1/P \in H_0(\infty, \infty, 1)$이어야 하며, 이는 부분공간의 일치가 $1/P$의 경계 근처에서의 감쇠와 연결됨을 보여준다.