[논문 리뷰] Spectral theory of multiplication operators on Hardy-Sobolev spaces

Guangfu Cao, Li He외 1명|arXiv (Cornell University)|2017. 09. 07.

Holomorphic and Operator Theory참고 문헌 7인용 수 5

한 줄 요약

이 논문은 복소수 $ \mathbb{C}^n $ 내 단위 구내에서의 하드리-소볼레프 공간 $ H^2_\beta $ 위에서의 곱셈 연산자에 대한 스펙트럼과 본질적 스펙트럼을 규명한다. 스펙트럼은 $ \varphi(\mathbb{B}_n) $의 폐포이며, 본질적 스펙트럼은 $ r \in (0,1) $ 에 대해 $ \varphi(\mathbb{B}_n \setminus r\mathbb{B}_n) $ 의 폐포들의 교차이다. 또한 프레드홀름 이론을 발전시켜 $ n > 1 $ 일 때 프레드홀름 지표가 항상 0이 되며, 1차원에서는 회전수에 의해 결정됨을 증명한다.

ABSTRACT

For a pointwise multiplier $φ$ of the Hardy-Sobolev space $H^2_β$ on the open unit ball $\bn$ in $\cn$, we study spectral properties of the multiplication operator $M_φ: H^2_β o H^2_β$. In particular, we compute the spectrum and essential spectrum of $M_φ$ and develop the Fredholm theory for these operators.

연구 동기 및 목표

• 하드리-소볼레프 공간 $ H^2_\beta $ 에서의 곱셈 연산자 $ M_\varphi $ 의 스펙트럼과 본질적 스펙트럼을 특성화하는 것.
• 이 연산자에 대한 프레드홀름 이론을 발전시키며, $ M_\varphi $ 가 프레드홀름이 되는 조건과 그 지표를 계산하는 것.
• 도르리-아르베손 공간과 디리클레 공간 등에서 표준 기법이 실패하는 유도 기반 노름을 가진 경우에 비틀림된 스펙트럼 행동을 해결하는 것.
• 공간 정의에 영향을 주는 반경 방향 도함수 $ R^\beta $ 의 역할과 이가 다중화자 이론 및 스펙트럼 성질에 미치는 영향을 명확히 하는 것.

제안 방법

• 다음과 같은 내적 $ \langle f,g \rangle_\beta = f(0)\overline{g(0)} + \langle R^\beta f, R^\beta g \rangle_{H^2} $ 을 갖는, $ \beta $-번째 반경 도함수가 고전 하드리 공간 $ H^2 $ 에 속하는 정칙 함수들의 공간으로서 $ H^2_\beta $ 를 정의한다.
• 함수의 동차 성분 $ f_k $ 를 사용하여 분수 반경 도함수 $ R^\beta f = \sum_{k=1}^\infty k^\beta f_k(z) $ 를 정의하고, 이를 통해 노름과 내적을 설정한다.
• 닫힌 그래프 정리에 의해 $ \varphi \in \mathcal{M}_\beta $ 이면 $ M_\varphi $ 가 유계임을 증명한다.
• 모든 $ \lambda $ 에 대해 $ |\lambda - \varphi| \geq \delta > 0 $ 를 만족할 때 $ 1/(\lambda - \varphi) $ 가 다중화자임을 이용하여 $ M\varphi $ 의 스펙트럼이 $ \overline{\varphi(\mathbb{B}_n)} $ 라는 것을 증명한다.
• 경계 근처에서 $ R^\beta \psi $ 가 소멸하는 조건과 근사 기법을 사용하여, 본질적 스펙트럼을 $ \bigcap_{0<r<1} \overline{\varphi(\mathbb{B}_n \setminus r\mathbb{B}_n)} $ 로 유도한다.
• 베르그만 및 하드리 공간 이론의 결과와 $ R^\beta \psi $ 의 $ L^2 $-노름에 대한 추정을 결합하여 수렴을 제어하고, 특정 적분이 극한에서 소멸됨을 증명한다.

실험 결과

연구 질문

• RQ1 하드리-소볼레프 공간 $ H^2_\beta $ 에서의 곱셈 연산자 $ M_\varphi $ 의 스펙트럼은 무엇인가?
• RQ2 본질적 스펙트럼은 무엇이며, 높은 차원에서 스펙트럼과 어떻게 다를까?
• RQ3 $ M_\varphi $ 가 프레드홀름이 되는 조건은 무엇이며, 그 프레드홀름 지표는 무엇인가?
• RQ4 왜 스펙트럼 결과가 $ H^2_\beta $ 에서 비틀림된가? 특히 함수 자체가 아닌 도함수에 의존하는 노름 때문인가?
• RQ5 차원 $ n > 1 $ 에서 프레드홀름 지표는 어떻게 행동하며, 왜 그 값이 0이 되는가?

주요 결과

• 하드리-소볼레프 공간 $ H^2_\beta $ 에서 $ M_\varphi $ 의 스펙트럼은 복소 평면 내에서 $ \varphi(\mathbb{B}_n) $ 의 폐포이다.
• 본질적 스펙트럼은 $ \bigcap_{0<r<1} \overline{\varphi(\mathbb{B}_n \setminus r\mathbb{B}_n)} $ 이며, 경계 근처의 행동을 반영한다.
• $ n > 1 $ 일 때, 본질적 스펙트럼은 스펙트럼과 일치하므로 $ \sigma_e(M_\varphi) = \overline{\varphi(\mathbb{B}_n)} $ 가 되며, 이는 순수하게 고차원 현상이다.
• $ M_\varphi $ 가 프레드홀름이 되는 것은, 어떤 $ r \in (0,1) $ 과 $ \delta > 0 $ 가 존재하여 모든 $ |z| \geq r $ 에 대해 $ |\varphi(z)| \geq \delta $ 를 만족할 때이다.
• $ n > 1 $ 일 때, $ M_\varphi $ 가 프레드홀름이면 그 프레드홀름 지표는 항상 0이다.
• $ n = 1 $ 일 때, $ M_\varphi $ 의 프레드홀름 지표는 $ t $ 가 단위 원을 한 바퀴 돈 동안 $ \varphi(re^{it}) $ 가 영을 둘러싸는 회전수와 같다.