[논문 리뷰] Complex symmetric composition operators with automorphic symbols

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

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) $ 상에서 복소 대칭인 모든 가역 합성 연산자의 분류를 완성하기 위해.
• 단위 원판 내부에 고정점 $ a \in D \setminus \{0\} $를 가진 순서 3의 타원형 자기동형사상 $ \varphi $에 대해, $ C_\varphi $가 복소 대칭이 될 수 없다는 것을 보여주기 위해.
• 단위 원판의 자기동형사상이 복소 대칭 합성 연산자를 유도하는 조건을 완전히 특성화하기 위해.

제안 방법

• 어떤 코너주션 $ C $에 대해 $ C_\varphi $가 $ C $-대칭이라고 가정하고, $ C_\varphi $와 그 수반 연산자의 스펙트럼 성질을 이용해 결과를 도출한다.
• $ C_\varphi $와 $ C_\varphi^* $의 고유공간을 분석하며, $ C $가 $ \ker(C_\varphi - \lambda) $를 $ \ker(C_\varphi^* - \overline{\lambda}) $로 보낸다는 사실을 활용한다.
• 고유벡터 $ e_1 $와 그 코너주션 이미지 $ h_1 = Ce_1 $와 관련된 특정 벡터 $ f $를 구성하고, $ h_1 - \overline{a}h_0 $를 $ \varphi_a^{3j+1} $에 대한 멱급수로 표현한다.
• $ \varphi_a $, $ \rho = \overline{a}^3 $, 그리고 $ \varphi_a^3 $의 유리함수를 포함하는 $ h_1 - \overline{a}h_0 $의 닫힌 표현식을 유도하며, 이에 따라 $ f = \frac{1-|a|^6}{1-|a|^4} \cdot \frac{1 - \overline{a}^3 \varphi_a^3}{(1 - \rho \varphi_a^3)^2} $를 얻는다.
• 벡터 $ f $의 노름을 두 가지 방식으로 계산한다: $ 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 $에 대한 전개와 비교하여 $ (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 $는 복소 대칭이 아니다.
• 복소 대칭을 가정할 경우 모순이 발생한다: 등장성 불변성과 직접적인 $ L^2 $-노름 계산을 통해 유도된 벡터 $ f $의 노름이 $ |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에 대한 열린 문제도 해결되었다.