[논문 리뷰] Polya sequences, Toeplitz kernels and gap theorems

Mishko Mitkovski, Alexei Poltoratski|ArXiv.org|2009. 03. 26.

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

한 줄 요약

이 논문은 토플리츠 커널과 드 브랑지 공간을 연결함으로써, 지정된 실수열에서 임의의 제로 지수 유형을 가진 정칙 함수가 상수일 경우에만 존재하는 Pólya 수열—분리된 실수열—을 특성화하여 Pólya-Levinson 문제를 해결한다. 핵심 결과는 어떤 수열이 Pólya 수열이 아닐 조건이, 점의 밀도가 0으로 수렴하는 긴 간격의 긴 수열이 존재할 때임을 보여주며, 복소해석학과 푸리에 해석학 분야에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

A separated sequence $Λ$ on the real line is called a Polya sequence if any entire function of zero exponential type bounded on $Λ$ is constant. In this paper we solve the problem by Polya and Levinson that asks for a description of Polya sets. We also show that the Polya-Levinson problem is equivalent to a version of the so-called Beurling gap problem on Fourier transforms of measures. The solution is obtained via a recently developed approach based on the use of Toeplitz kernels and de Branges spaces of entire functions.

연구 동기 및 목표

• Pólya 수열—분리된 실수열에서 유계 제로 지수 유형 정칙 함수가 반드시 상수여야 하는 조건—을 특성화하는 오랜 동안 미해결이었던 문제를 해결하기 위해.
• Pólya-Levinson 문제와 푸리에 변환의 측도가 간격에서 0이 되는 조건과 관련된 Beurling 갭 문제의 한 형태 사이의 동치성을 확립하기 위해.
• 실수선 위의 집합의 긴 보완과 짧은 보완 개념을 사용하여 Pólya 수열의 완전한 특성화를 제공하기 위해.
• de Branges와 Beurling의 결과를 토플리츠 커널 이론과 드 브랑지 정칙 함수 공간을 사용하여 확장하고 통합하기 위해.
• Pólya-Levinson 조건이 특정 토플리츠 연산자 문제에 비자명한 해가 존재하지 않음을 보여주는 것과 동치임을 보여주기 위해.

제안 방법

• 제로 지수 유형 함수가 수열에서 유계일 경우의 구조를 분석하기 위해 정칙 함수의 de Branges 공간 이론을 활용한다.
• Pólya-Levinson 문제를 하드비 하프플레인 $ H^2(\mathbb{C}_+) $ 위에서 토플리츠 연산자의 단사성과 연결하기 위해 토플리츠 커널 이론을 적용한다.
• 수열 $ \Lambda $의 상한 밀도 $ D_*(\Lambda) $ 개념을 사용하여, 특정 드 브랑지 공간 내 비자명한 함수의 존재와 관련지어 분석한다.
• 스미르노프-네바린나 클래스 $ N^+(\mathbb{C}_+) $의 함수의 내부-외부 인수분해, 특히 특수 내부 함수 $ S(z) = e^{iz} $ 를 다루며.
• 내부 함수의 분석을 위해 거의 감소하는 함수의 개념을 적용하고, $ S(z) $ 와의 상호작용을 통해 네바린나 수세기 함수가 0이 아님을 보여준다.
• Pólya-Levinson 조건과 $ N[\bar{\Theta}S^{2c}] \neq 0 $ 를 모든 $ c > 0 $ 에 대해 만족하는 것 사이의 동치성을 확립한다. 여기서 $ \Theta $ 는 $ \{ \Theta = 1 \} = \Lambda $ 를 만족하는 매끄러운 내부 함수이다.

실험 결과

연구 질문

• RQ1 분리된 실수열에서 유계 제로 지수 유형 정칙 함수가 반드시 상수여야 하는 Pólya 수열의 완전한 특성화는 무엇인가?
• RQ2 Pólya-Levinson 문제와 푸리에 변환의 측도가 간격에서 0이 되는 조건과 관련된 Beurling 갭 문제 사이의 관계는 무엇인가?
• RQ3 Levinson와 de Branges의 고전적 충분조건을 Pólya 수열에 대해 必要 및 충분조건으로 정밀화할 수 있는가?
• RQ4 긴 간격에서 수열의 밀도가 얼마나 Pólya 수열 여부를 결정하는가?
• RQ5 토플리츠 커널과 드 브랑지 공간은 복소해석학과 조화해석학의 이러한 고전 문제를 해결하는 데 어떤 역할을 하는가?

주요 결과

• 분리된 수열 $ \Lambda \subset \mathbb{R} $ 이 Pólya 수열이 아닐 조건은, 수열 $ \{I_n\} $ 이 존재하여 $ \frac{\#(\Lambda \cap I_n)}{|I_n|} \to 0 $ 이 되는 긴 간격이 존재할 때이며, 이는 완전한 특성화를 제공한다.
• Pólya-Levinson 문제는 Beurling 갭 문제의 한 형태와 동치이다: $ \Lambda $ 에 지지된 비자명한 유계 측도의 푸리에 변환이 양의 길이 간격에서 0이 되는 것이 존재할 조건은 $ \Lambda $ 가 Pólya 수열이 아닐 때이다.
• 이 논문은 일반적인 닫힌 집합에 대해 Beurling의 갭 정리를 개선하며, 닫힌 집합 $ X \subset \mathbb{R} $ 의 보완이 길다면, $ X $ 에 지지된 비자명한 유계 측도가 푸리에 변환을 간격에서 0으로 만들 수 없다는 것을 보여준다. 이 조건은 그러한 측도의 존재에 대해 필수적이고 충분한 조건이다.
• 수열 $ \Lambda $ 의 상한 밀도 $ D_*(\Lambda) $ 는 다음을 만족한다: $ D_*(\Lambda) = \frac{1}{2\pi} \sup \{ a \geq 0 : \text{매끄러운 내부 함수 } \Theta \text{가 존재하여 } \{\Theta = 1\} \subset \Lambda \text{ 이고 } N[\bar{\Theta} S^{a - \epsilon}] \neq 0 \text{ 를 모든 } \epsilon > 0 \text{ 에 대해 만족} \} $, 이는 밀도와 스펙트럼 성질을 연결한다.
• 수열 $ \Lambda $ 에서 비자명한 제로 지수 유형 정칙 함수가 존재하는 것과, 수열 $ \Lambda $ 에 대한 수세기 측도 $ \mu $ 에 대해, 모든 함수가 제로 유형을 가지는 짧은 드 브랑지 공간 $ B_E $ 가 $ L^2(\mu) $ 에 등장하는 등장이 일어나는 것 사이의 동치성을 보여준다.
• 증명은 $ N[\bar{\Theta} S^{2c}] = 0 $ 이 모든 $ c > 0 $ 에 대해 성립하면, 해당 드 브랑지 공간의 모든 함수가 $ \Lambda $ 에서 유계임을 보여주며, 이는 $ \Lambda $ 가 Pólya 수열이 아니라는 것을 의미한다. 이로써 이중성 관계가 완성된다.