[논문 리뷰] Generalized Volterra operators mapping between Banach spaces of analytic functions

Ted Eklund, Mikael Lindström외 3명|arXiv (Cornell University)|2018. 03. 08.

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

한 줄 요약

이 논문은 단위 원판 위의 해석 함수들의 바나흐 공간 간에 작용하는 일반화된 볼테라 연산자 $ T_g^\varphi $ 의 유계성과 컴팩턴스를 특성화한다. 특히 $ H^\infty_{v_\alpha} \to H^\infty $ 에서 단일함수 $ g $ 와 표준 체중 $ v_\alpha $, $ 0 \leq \alpha < 1 $ 인 경우를 중심으로 다룬다. 주요 결과는 $ (g \circ \varphi)' $ 의 성장과 체중 감쇠를 포함하는 날카운 조건을 제시하며, 많은 경우에서 약한 컴팩턴스와 컴팩턴스가 동치임을 보여준다.

ABSTRACT

We characterize boundedness and compactness of the classical Volterra operator $T_g \\colon H_{v_{\\alpha}}^{\\infty} \ o H^{\\infty}$ induced by a univalent function $g$ for standard weights $v_{\\alpha}$ with $0 \\leq \\alpha &lt; 1$, partly answering an open problem posed by A. Anderson, M. Jovovic and W. Smith. We also study boundedness, compactness and weak compactness of the generalized Volterra operator $T_g^{\\varphi}$ mapping between Banach spaces of analytic functions on the unit disc satisfying certain general conditions.

연구 동기 및 목표

• 고전적 볼테라 연산자 $ T_g \colon H^\infty_{v_\alpha} \to H^\infty $ 의 유계성과 컴팩턴스에 관한 열린 문제를 해결하는 것.
• 일반적인 해석 함수들의 바나흐 공간 간에 작용하는 일반화된 볼테라 연산자 $ T_g^\varphi $ 로 분석을 확장하는 것.
• 체중에 대한 일반 조건 하에서 $ T_g^\varphi $ 가 $ H^\infty_v $ 나 $ \mathcal{B}^\infty_v $ 에 작용할 때 컴팩턴스와 약한 컴팩턴스가 동치가 되는 조건을 확립하는 것.
• 도메인 공간 $ \mathcal{X} $ 에 구조적 가정이 있을 때, $ T_g^\varphi $ 의 연산자 노름과 본질적 노름을 $ \mathcal{X} $ 에서 $ H^\infty_v $ 와 $ \mathcal{B}^\infty_v $ 로 추정하는 것.

제안 방법

• 일반화된 볼테라 연산자 $ T_g^\varphi(f)(z) = \int_0^{\varphi(z)} f(\xi) g'(\xi) \, d\xi $ 를 정의하여, $ \varphi(z) = z $ 일 때 고전적 $ T_g $ 를 일반화한다.
• Dixmier-Ng 정리를 활용하여 함수 공간의 전치 공간을 식별하고, 이중 공간을 통한 약한 컴팩턴스 특성화에 기능 분석 도구를 적용한다.
• 평가 함수 $ \delta_z(f) = f(z) $ 와 도메인 공간 $ \mathcal{X} $ 에 대한 조건 (I)–(V) 를 사용하여 $ T_r $ 의 컴팩턴스와 곱셈 연산자의 유계성을 확보한다.
• 노름 추정을 위해 부등식 $ \|T_g^\varphi\| \lesssim \sup_{z \in \mathbb{D}} (1 - |z|) |(g \circ \varphi)'(z)| \frac{w(z)}{v(\varphi(z))} $ 를 유도하며, 연산자 행동과 체중 및 도함수 성장 간의 연관성을 연결한다.
• Alaoglu 정리와 Grothendieck 공간 성질을 적용하여, $ T_g^\varphi \colon H^\infty_v \to H^0_w $ 의 약한 컴팩턴스가 수반 연산자의 약한 컴팩턴스를 유도함으로써 동치 결과를 도출한다.
• 표준 임bedding $ Q \colon H_w^\infty \to \widehat{H_w^\infty} $ 와 관계 $ Q^{-1} \circ (T_g^\varphi)^{**} \circ \Lambda = T_g^\varphi $ 를 사용하여, 공간 간에 컴팩턴스 성질을 이전한다.

실험 결과

연구 질문

• RQ1 단일함수 $ g $ 에 대해 어떤 조건이 $ 0 \leq \alpha < 1 $ 인 경우 고전적 볼테라 연산자 $ T_g \colon H^\infty_{v_\alpha} \to H^\infty $ 가 유계적이거나 컴팩트가 되게 하는가?
• RQ2 일반적인 바나흐 공간 $ \mathcal{X} $ 의 해석 함수에 대해 $ T_g^\varphi \colon \mathcal{X} \to H^\infty_v $ 가 유계적이거나 컴팩트이거나 약한 컴팩트가 되는 조건은 무엇인가?
• RQ3 어떤 조건에서 $ T_g^\varphi $ 가 $ H^\infty_v $ 나 $ \mathcal{B}^\infty_v $ 에 작용할 때 컴팩턴스와 약한 컴팩턴스가 일치하며, $ g \circ \varphi $ 가 경계 근처에서의 행동은 어떤 역할을 하는가?
• RQ4 체중 함수 $ v $, $ w $ 와 도함수 $ (g \circ \varphi)' $ 에 대해 $ T_g^\varphi $ 의 연산자 노름과 본질적 노름을 어떻게 추정할 수 있는가?
• RQ5 $ T_g^\varphi \colon H^\infty_v \to H^\infty_w $ 의 컴팩턴스와 $ |\varphi(z)| \to 1 $ 일 때 $ (1 - |z|) |(g \circ \varphi)'(z)| \frac{w(z)}{v(\varphi(z))} $ 가 0으로 수렴하는 것 사이의 관계는 무엇인가?

주요 결과

• 단일함수 $ g $ 와 $ 0 \leq \alpha < 1 $ 인 경우, 연산자 $ T_g \colon H^\infty_{v_\alpha} \to H^\infty $ 는 $ \sup_{z \in \mathbb{D}} (1 - |z|) |g'(z)| (1 - |z|)^\alpha < \infty $ 이면 유계적이며, 이 값이 $ |z| \to 1 $ 일 때 0으로 수렴하면 컴팩트하다.
• 정상 체중 $ v, w $ 를 가진 $ T_g^\varphi \colon H^\infty_v \to H^\infty_w $ 에서 컴팩턴스는 $ \lim_{|\varphi(z)| \to 1} (1 - |z|) |(g \circ \varphi)'(z)| \frac{w(z)}{v(\varphi(z))} = 0 $ 과 동치이다.
• 체중 $ v $ 가 그 관련 체중 $ \widetilde{v} $ 와 등가일 경우, $ T_g^\varphi \colon H^\infty_v \to H^\infty_w $ 나 $ H^\infty_v \to H^0_w $ 에서 약한 컴팩턴스와 컴팩턴스가 동치이다.
• $ T_g^\varphi \colon \widetilde{\mathcal{B}}_v^\infty \to \widetilde{\mathcal{B}}_w^\infty $ 에서 컴팩턴스는 $ \lim_{|\varphi(z)| \to 1} (1 - |z|) |(g \circ \varphi)'(z)| \frac{w(z)}{v(\varphi(z))} = 0 $ 과 $ g \circ \varphi \in \widetilde{\mathcal{B}}_w^0 $ 이면 동치이다.
• $ \mathcal{X} \to H^\infty_v $ 에서 $ T_g^\varphi $ 의 노름은 $ \|T_g^\varphi\| \lesssim \sup_{z \in \mathbb{D}} (1 - |z|) |(g \circ \varphi)'(z)| \frac{w(z)}{v(\varphi(z))} $ 를 만족하며, 표준 가정 하에 상수의 상한 내에서 등호가 성립한다.
• $ T_g^\varphi \colon H^\infty_v \to H^\infty_w $ 에서 $ v $ 가 $ \widetilde{v} $ 와 등가일 경우, $ H^\infty $ 의 Grothendieck 성질과 쌍대 볼록체 위의 약한* 위상의 분리 가능성을 고려하여 약한 컴팩턴스가 컴팩턴스와 동치이다.