[논문 리뷰] Factorization theory for a class of Toeplitz + Hankel operators

Estelle Basor, Torsten Ehrhardt|ArXiv.org|2002. 04. 02.

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

한 줄 요약

이 논문은 하드리 하우스 $H^p(\mathbb{T})$ 위에서 토플리츠 + 한켈 연산자 $M(\phi) = T(\phi) + H(\phi)$에 대한 인수분해 이론을 수립하며, $M(\phi)$가 가역임과 동치로 생성 함수 $\phi$가 지수 0을 가진 특정 일반화된 비대칭 인수분해를 가짐을 증명한다. 이 이론은 이전의 클래식한 위너-호프 인수분해를 이 연산자 군에 확장하며, 복소수 지수와 점프 불연속성을 포함하는 새로운 종류의 인수분해를 도입하며, 가역성에 대한 정확한 조건을 실수부 지수에 대해 제시한다.

ABSTRACT

In this paper we study operators of the form $M(ϕ)=T(ϕ)+H(ϕ)$ where $T(ϕ)$ and $H(ϕ)$ are the Toeplitz and Hankel operators acting on $H^p(\T)$ with generating function $ϕ\in L^\iy(\T)$. It turns out that $M(ϕ)$ is invertible if and only if the function $ϕ$ admits a certain kind of generalized factorization.

연구 동기 및 목표

• 하드리 하우스 $H^p(\mathbb{T})$ 위에서 $1 < p < \infty$ 인 $M(\phi) = T(\phi) + H(\phi)$ 형식의 연산자에 대한 인수분해 이론을 개발하는 것.
• 생성 함수 $\phi \in L^\infty(\mathbb{T})$에 대한 새로운 유형의 일반화된 인수분해를 통해 $M(\phi)$의 가역성을 특성화하는 것.
• 토플리츠 연산자에 대한 고전적 프레드홀름 이론을 더 복잡한 토플리츠 + 한켈 연산자 경우로 확장하는 것.
• 특히 점프 불연속성이 유한 개 존재하는 함수에 대해, 가역성을 보장하는 인수분해의 매개수에 대한 정확한 조건을 규명하는 것.

제안 방법

• 복소수 지수 $\beta^+, \beta^-, \beta_r^+, \beta_r^-$ 및 영이 아닌 연속 함수 $b$를 포함하는 $\phi \in L^\infty(\mathbb{T})$에 대한 새로운 일반화된 비대칭 인수분해의 클래스를 도입하고 정의하는 것.
• 특정 대칭성 및 해석성 조건 하에서 항등식 $M(\phi\psi) = M(\phi)M(\psi) + H(\phi)M(\widetilde{\psi} - \psi)$를 이용해 가역성 기준을 도출하는 것.
• 생성 함수 $\phi$가 지수 $\varkappa = 0$인 약한 비대칭 인수분해를 가질 경우 $M(\phi)$가 프레드홀름 연산자이자 지수 0임을 증명하며, 이러한 인수분해의 유일성을 활용하는 것.
• $\phi = b \psi$로 표현 가능하고 $\psi$가 지수 $\varkappa = 0$인 인수분해를 가지며 $b$의 위닝 수가 0이면 $M(\phi)$가 가역임을 증명하는 것.
• 리에즈 프로젝션과 플립 연산자 $J$를 사용하여 $M(\phi)$를 $PL(\phi)(I + J)P$로 표현함으로써 노름 추정과 연산자 이론적 분석을 가능하게 하는 것.
• 가중 $L^p$ 공간 이론과 $A_p$-유형 조건을 적용하여, 특히 점프 불연속성이 존재하는 함수에 대해 가역성에 필요한 충분한 조건을 도출하는 것.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $\phi \in L^\infty(\mathbb{T})$ 에 대해 연산자 $M(\phi) = T(\phi) + H(\phi)$ 가 $H^p(\mathbb{T})$ 위에서 가역적인가?
• RQ2 가역성의 특성화에 기여하는 $\phi$의 일반화된 인수분해의 유형은 무엇이며, 고전적 위너-호프 인수분해와 어떻게 다를까?
• RQ3 인수분해에 포함된 복소수 지수 $\beta^+, \beta^-, \beta_r^+, \beta_r^-$ 의 실수부가 $M(\phi)$ 의 가역성에 어떤 영향을 미치는가?
• RQ4 외부 인수 $b$ 의 위닝 수가 $M(\phi)$ 의 가역성에 어떤 역할을 하는가?
• RQ5 함수 $\phi$ 가 점 $\pm1$ 과 $t_r, t_r^{-1}$ 에서의 스펙트럼 행동에 대한 조건을 사용하여 $M(\phi)$ 의 가역성을 특성화할 수 있는가?

주요 결과

• 연산자 $M(\phi)$ 는 $H^p(\mathbb{T})$ 위에서 가역이 되기 위한 필요충분조건으로, $\phi = b \cdot t_{\beta^+} t_{\beta^-} \prod_{r=1}^R t_{\beta_r^+} t_{\beta_r^-}$ 의 형태를 가진 일반화된 비대칭 인수분해를 가지며, 이때 $b$ 는 연속적이며 영이 아니며 위닝 수가 0이어야 한다.
• 가역성은 지수의 실수부에 대한 정확한 범위 조건에 의해 특성화되며, 다음과 같다: $-1/q < \operatorname{Re}(\beta_r^+ + \beta_r^-) < 1/p$, $-1/2 - 1/2q < \operatorname{Re}(\beta^+) < 1/2p$, $-1/2q < \operatorname{Re}(\beta^-) < 1/2 + 1/2p$.
• 만약 $M(\phi)$ 가 가역이라면, $\phi$ 는 지수 $\varkappa = 0$ 인 약한 비대칭 인수분해를 가져야 하며, 이 인수분해는 제3.1조의 의미에서 유일하다.
• $M(\phi)$ 의 프레드홀름 지수가 0이 되는 것은 지수 $\varkappa = 0$ 인 인수분해가 존재할 때이며, 이는 제시된 조건 하에서 $M(\phi)$ 의 가역성과 동치이다.
• $b$ 는 위닝 수가 0이어야 하며, 이는 가역성에 필수적인 조건이며, 지수 공식과 $H(b)$ 의 컴팩트성에 의해 입증된다.
• 증명은 분해 $M(\phi) = M(b)M(\psi) + H(b)M(\widetilde{\psi} - \psi)$ 에 기반하며, 두 번째 항은 컴팩트하고 $M(b)$ 는 $b$ 의 위닝 수 조건으로 인해 지수 0의 프레드홀름 연산자이다.