[論文レビュー] Adjoints of rationally induced composition operators

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

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$ の逆写像 $\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 有理的誘導合成作用素の随伴作用素が、重み付き合成作用素のコンパクト摂動であるための条件は何か？
• 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)$ は強外部正則性を満たすため、その随伴作用素は重み付き合成作用素のコンパクト摂動である。