[論文レビュー] Complex symmetric composition operators with automorphic symbols

Yong-Xin Gao, Ze‐Hua Zhou|ArXiv.org|Jul 16, 2016

Holomorphic and Operator Theory参考文献 6被引用数 4

ひとこと要約

本稿は、ハーディー空間 $ H^2(D) $ 上の非回転的3次楕円自己同型による合成作用素 $ C_{\varphi} $ が複素対称でないことを証明することで、未解決問題を解決している。スペクトル解析と共役作用素の不変性を用いて、仮想の共役作用素下での固有ベクトルのノルムに矛盾を導出し、回転と2次楕円自己同型のみが複素対称な合成作用素を生成することを結論づけている。

ABSTRACT

In this paper we show that a composition operator $C_φ$ cannot be complex symmetric on Hardy-Hilbert space $H^2(D)$ when $φ$ is an elliptic automorphism of order $3$ and not a rotation. This completes the project of finding all invertible composition operators which are complex symmetric $H^2(D)$.

研究の動機と目的

• ボーダンとヌールが提起した、$ H^2(D) $ 上の3次楕円自己同型によって誘導される合成作用素の複素対称性に関する未解決問題を解決すること。
• 2次および $ \geq 4 $ 次の結果に基づき、$ H^2(D) $ 上で複素対称となるすべての可逆合成作用素を完全に分類すること。
• 単位円板 $ D \setminus \{0\} $ 内の固定点 $ a $ を持つ3次楕円自己同型 $ \varphi $ に対して、$ C_\varphi $ が複素対称であるのは $ \varphi $ が回転である場合に限ることを示すこと。
• $ H^2(D) $ 上で複素対称な合成作用素を誘導する自己同型の完全な特徴付けを確立すること。

提案手法

• ある共役作用素 $ C $ に対して $ C_\varphi $ が $ C $-対称であると仮定し、$ C_\varphi $ 及びその随伴作用素のスペクトル性質を用いて帰結を導出する。
• $ C_\varphi $ と $ C_\varphi^* $ の固有空間を分析し、$ C $ が $ \ker(C_\varphi - \lambda) $ を $ \ker(C_\varphi^* - \overline{\lambda}) $ に写すことを利用する。
• 固有ベクトル $ e_1 $ に関連する特定のベクトル $ f $ を構成し、その共役像 $ h_1 = Ce_1 $ を用いて、$ h_1 - \overline{a}h_0 $ を $ \varphi_a^{3j+1} $ のべき級数で表現する。
• $ \varphi_a $, $ \rho = \overline{a}^3 $, および $ \varphi_a^3 $ の有理関数を含む閉形式の式を導出し、$ f = \frac{1-|a|^6}{1-|a|^4} \cdot \frac{1 - \overline{a}^3 \varphi_a^3}{(1 - \rho \varphi_a^3)^2} $ を得る。
• $ f $ のノルムを2通りの方法で計算する：$ L^2 $ 内積による方法と、$ C $ の等長性による方法。両者を等置すると矛盾が生じる。
• $ ||f||^2 = (1 - |a|^4)^2 ||e_1 - \overline{a}e_0||^2 $ という恒等式を用い、これは $ (1 - |a|^4)(1 + |a|^2)^2 $ に簡略化され、$ \beta_1, \beta_2, \beta_3 $ の展開による $ ||f||^2 $ の表現と比較することで、$ (1 + 2|a|^2 - 2|a|^4 - |a|^6)(1 + |a|^2)^2 $ を得る。

実験結果

リサーチクエスチョン

• RQ1 $ \varphi $ が3次楕円自己同型であり、回転でない場合、$ H^2(D) $ 上で合成作用素 $ C_\varphi $ は複素対称か？
• RQ2 3次非回転的楕円自己同型は、$ H^2(D) $ 上で複素対称な合成作用素を誘導できるか？
• RQ3 単位円板の自己同型 $ \varphi $ のうち、$ C_\varphi $ が $ H^2(D) $ 上で複素対称となる完全な集合は何か？
• RQ4 3次自己同型の $ C_\varphi $ のスペクトル構造は、$ C_\varphi = C C_\varphi^* C $ を満たす共役作用素 $ C $ の存在を許容するか？

主な発見

• 非回転的3次楕円自己同型によって誘導される合成作用素 $ C_\varphi $ は、$ H^2(D) $ 上で複素対称でない。
• 複素対称性を仮定した場合に矛盾が生じる：構成されたベクトル $ f $ のノルムを共役作用素の不変性と直接的な $ L^2 $-ノルム計算の両方で計算すると、$ |a|^2 + |a|^4 = 2 $ が得られ、これは $ a \in D $ に対して不可能である。
• ノルムの計算により、$ C $ の等長性から $ ||f||^2 = (1 - |a|^4)(1 + |a|^2)^2 $ が得られ、関数の展開から $ ||f||^2 = (1 + 2|a|^2 - 2|a|^4 - |a|^6)(1 + |a|^2)^2 $ が得られ、両者は矛盾する。
• この矛盾により、非回転的3次自己同型に対してはそのような共役作用素 $ C $ は存在しないことが確認される。
• 主な結果は、$ C_\varphi $ が $ H^2(D) $ 上で複素対称であるための必要十分条件は、$ \varphi $ が回転または2次楕円自己同型であることに他ならないことである。
• これにより、$ H^2(D) $ 上で複素対称となるすべての可逆合成作用素の分類が完成し、3次の場合の未解決問題が解決された。