[논문 리뷰] Generalized Krein algebras and asymptotics of Toeplitz determinants

Alexei Yu. Karlovich, Karlovich, Alexei외 1명|ArXiv.org|2006. 12. 18.

Spectral Theory in Mathematical Physics참고 문헌 19인용 수 5

한 줄 요약

이 논문은 일반화된 Krein 대수 $K_{p,q}^{\beta,\beta}$의 이론을 $0 < \lambda = 1/p + 1/q = \alpha + \beta < 1$ 영역으로 확장하여, 이들이 바나흐 대수로서의 구조를 갖는 것을 증명하고, 블록 토플리츠 행렬식에 대한 游근 공식 유도에 응용한다. 주요 기여는 이러한 대수에 속하는 기호에 대해 새로운 버전의 Szegő-Widom 극한 정리 증명으로, 이는 Wiener-Hopf 분해와 허켈 연산자의 슈텐-폰 뉴먼 클래스 추정을 통해 이루어진다.

ABSTRACT

We give a survey on generalized Krein algebras $K_{p,q}^{α,β}$ and their applications to Toeplitz determinants. Our methods originated in a paper by Mark Krein of 1966, where he showed that $K_{2,2}^{1/2,1/2}$ is a Banach algebra. Subsequently, Widom proved the strong Szegő limit theorem for block Toeplitz determinants with symbols in $(K_{2,2}^{1/2,1/2})_{N imes N}$ and later two of the authors studied symbols in the generalized Krein algebras $(K_{p,q}^{α,β})_{N imes N}$, where $λ:=1/p+1/q=α+β$ and $λ=1$. We here extend these results to $0

연구 동기 및 목표

• 고전적 Krein 대수 $K_{2,2}^{1/2,1/2}$를 $\lambda = \alpha + \beta < 1$ 조건을 만족하는 더 넓은 클래스 $K_{p,q}^{\alpha,\beta}$로 일반화한다.
• 적절한 연산자 노름 하에서 이러한 일반화된 대수가 바나흐 대수임을 확립한다.
• 블록 토플리츠 행렬식에 대한 강력한 Szegő-Widom 극한 정리를 $0 < \lambda < 1$ 조건을 만족하는 $K_{p,q}^{\alpha,\beta}$에 속하는 기호로 확장한다.
• 이 대수들 내에서 Wiener-Hopf 분해를 통해 토플리츠 연산자의 프레드홀름성과 가역성에 충분한 조건을 제공한다.
• 일반화된 대수 설정 하에서 허켈 연산자 곱의 슈텐-폰 뉴먼 클래스 소속성을 분석한다.

제안 방법

• 허켈 연산자 $H(a)$와 $H(\widetilde{a})$가 슈텐-폰 뉴먼 클래스 $\mathcal{C}_p(H^2)$ 및 $\mathcal{C}_q(H^2)$에 속하는 것으로 정의된 $L^\infty(\mathbb{T})$의 부분대수로서 일반화된 Krein 대수 $K_{p,q}^{\alpha,\beta}$를 정의한다.
• 바나흐 대수의 구조를 보장하기 위해 $L^\infty$-노름과 허켈 연산자 슈텐 노름을 조합한 노름을 대수에 부여한다.
• 리에즈 프로젝션과 플립 연산자 $J$를 사용하여 $PM(a)QJ$ 및 $JQM(a)P$를 각각 통해 허켈 연산자 $H(a)$와 $H(\widetilde{a})$를 정의한다.
• 토플리츠 연산자 $T(a)$의 프레드홀름 성질을 증명함으로써 $a \in GK_{N\times N}$이면 $a$가 $C+H^\infty$와 $C+\overline{H^\infty}$에서 가역임과 동치임을 보인다.
• $K_{N\times N}$에서의 Wiener-Hopf 분해를 적용하여 $a = u_- d u_+$로 분해하며, $u_\pm \in G(K_\pm)_{N\times N}$이 되도록 하고, 프레드홀름 조건 하에서 $d=1$임을 보장한다.
• 보간법과 로렌츠 공간 추정(정리 4.9를 통해)을 사용하여 곱 $H(\widetilde{c})H(b)$가 $\mathcal{C}_r(H^2)$에 속함을 보이고, 이는 $1/r = 1/p + 1/q$임을 보여 최종적인 점근적 결과를 도출한다.

실험 결과

연구 질문

• RQ1 블록 토플리츠 행렬식에 대한 강력한 Szegő-Widom 극한 정리는 $\lambda = \alpha + \beta < 1$ 조건을 만족하는 일반화된 Krein 대수에 속하는 기호로 확장될 수 있는가?
• RQ2 $p,q,\alpha,\beta$에 대한 어떤 조건에서 일반화된 Krein 대수 $K_{p,q}^{\alpha,\beta}$가 정의된 노름 하에서 바나흐 대수인가?
• RQ3 허켈 연산자 $H(a)$와 $H(\widetilde{a})$의 슈텐-폰 뉴먼 클래스 성질은 $K_{N\times N}$에서의 $a$의 Wiener-Hopf 분해와 어떻게 관련이 있는가?
• RQ4 $b,c \in K_{p,q}^{\alpha,\beta}$일 때 곱 $H(\widetilde{c})H(b)$의 정확한 슈텐 클래스 소속성은 무엇이며, 이는 $\lambda = 1/p + 1/q$에 어떻게 의존하는가?
• RQ5 블록 토플리츠 연산자 $T(a)$의 프레드홀름성은 $\lambda < 1$ 조건에서 일반화된 Krein 대수 $K_{N\times N}$에서의 $a$의 가역성과 동치인가?

주요 결과

• $\lambda = \alpha + \beta < 1$ 조건을 만족하는 일반화된 Krein 대수 $K_{p,q}^{\alpha,\beta}$는 노름 $\|a\| = \|a\|_{L^\infty} + \|H(\widetilde{a})\|_{\mathcal{C}_p} + \|H(a)\|_{\mathcal{C}_q}$ 하에서 바나흐 대수이며, 이는 Krein의 원래 결과($p=q=2$인 경우)를 확장한다.
• $a \in K_{p,q}^{\alpha,\beta}$이면, $a$가 $K_{N\times N}$에서 가역임은 $C+H^\infty$와 $C+\overline{H^\infty}$에서의 가역성과 동치이며, 이는 $T(a)$의 프레드홀름 성질을 보장한다.
• $b,c \in K_{p,q}^{\alpha,\beta}$이고 $\lambda = \alpha + \beta \in (0,1)$일 때, 허켈 연산자 곱 $H(\widetilde{c})H(b)$와 $H(b)H(\widetilde{c})$는 슈텐-폰 뉴먼 클래스 $\mathcal{C}_r(H^2)$에 속하며, 이때 $1/r = 1/p + 1/q$이다.
• 블록 토플리츠 행렬식에 대한 강력한 Szegő-Widom 극한 정리는 $\lambda < 1$ 조건을 만족하는 $K_{N\times N}$에 속하는 기호에 대해 성립하며, 주어진 조건 하에서 행렬식은 $\exp\left(\sum_{k=1}^N \sum_{j=1}^\infty \frac{1}{j} \operatorname{tr}(\widehat{a}_j \widehat{a}_{-j}) \right)$로 점근적으로 수렴한다.
• Wiener-Hopf 분해 $a = u_- d u_+$가 $K_{N\times N}$에서 성립하면 프레드홀름 조건 하에서 $d=1$이며, 분해 요소 $u_\pm$는 $K_\pm$에서 가역이므로 정규화된 행렬식 공식 (1.13)이 성립한다.