[논문 리뷰] On the Annihilation of Thin Sets

Tomer Amit, Alexander Olevskiı̆|arXiv (Cornell University)|2017. 11. 11.

Spectral Theory in Mathematical Physics참고 문헌 4인용 수 3

한 줄 요약

이 논문은 실수 집합 $ S \subset \mathbb{R} $ 가 유한 측도를 가지며 주기적인 간격을 가지며, $ Q \subset \mathbb{R} $ 가 밀도가 0인 경우, 쌍 $ (S, Q) $ 는 약한 소멸성을 가진다 — 즉, $ L^2 $ 함수 중에서 $ S $ 에 지지된 것이면서 그 푸리에 변환이 $ Q $ 에 지지된 비자명한 함수는 존재하지 않는다. 그러나 일반적으로 강한 소멸성은 성립하지 않으며, 이러한 성질이 성립하지 않는 반례가 제시된다.

ABSTRACT

One says that a pair of sets $(S,Q)$ in $\mathbb{R}$ is 'annihilating' if no function can be concentrated on $S$ while having its Fourier transform concentrated on $Q$. One uses to distinguish between weak and strong annihilation types. It is well known that if both sets $S$ and $Q$ are of finite measure then they are strongly annihilating. In this paper we prove that if $S$ is a set of finite measure with periodic gaps, and $Q$ is a set of density zero, then weak annihilation holds. On the other hand a counter-example is constructed, showing that strong annihilation, in general, does not.

연구 동기 및 목표

• 유한 측도를 가지며 주기적인 간격을 가지는 집합 $ S $ 와 밀도가 0인 집합 $ Q $ 를 가진 쌍 $ (S, Q) $ 의 소멸 성질을 조사하는 것.
• 이러한 쌍이 약한 소멸성 또는 강한 소멸성을 만족하는지, 유한 측도를 가지는 집합에 대해 알려진 결과들과 대비하여 판단하는 것.
• 이러한 조건 하에서 강한 소멸성이 일반적으로 성립하지 않음을 보여주는 반례를 구성하는 것.
• 대칭적이거나 유계 스펙트럼 설정을 초월하여 조화 분석에서의 불확실성 원리에 대한 이해를 확장하는 것.

제안 방법

• 푸리에 역변환에 의한 $ L^2(S) $ 의 상으로 정의된 팔레이-위너 공간 $ \mathrm{PW}_S $ 의 프레임워크를 사용한다.
• 함수가 어떤 집합 $ \Lambda $ 에서 0이면 식별적으로 0이 되는 유일성 집합(US) 개념을 $ \mathrm{PW}_S $ 에 적용한다.
• 문헌 [OU11] 의 보조정리 1 을 활용하여, $ \{a_j\} $ 가 $[0,1]$ 에서 조밀한 집합인 경우, 이들의 이동된 집합 $ Z_j + a_j $ 의 합집합으로서 $ \mathrm{PW}_S $ 에 대한 유일성 집합을 구성한다.
• Beurling-Malliavin 정리(정리 B) 를 활용하여, $ L^1 $ 기반 푸리에 공간에 대해 특정 정수 집합이 유일성 집합임을 보장한다.
• 주기적인 간격을 가지며 측도가 작은 집합 $ S_n $ 에 지지된 함수들의 수열 $ f_n \in \mathrm{PW}_{S_n} $ 를 구성하여, $ \|f_n\|_{L^2(Q_n^c)} \leq \frac{1}{n}\|f_n\|_{L^2} $ 를 만족시키는 조건을 확보한다.
• 이러한 함수들을 서로소 합집합을 통해 전역적인 쌍 $ (S, Q) $ 로 조합하여, $ Q $ 는 밀도가 0이며 $ S $ 는 주기적인 간격과 유한 측도를 가지도록 보장한다.

실험 결과

연구 질문

• RQ1 유한 측도를 가지며 주기적인 간격을 가지는 집합 $ S $ 와 밀도가 0인 집합 $ Q $ 를 가진 쌍 $ (S, Q) $ 가 약한 소멸성을 만족하는 조건은 무엇인가?
• RQ2 $ Q $ 가 무한 측도를 가질 수 있더라도, $ S $ 가 주기적인 간격을 가진다면 약한 소멸성 성질을 확립할 수 있는가?
• RQ3 동일한 조건 하에서 강한 소멸성이 유지되는가, 아니면 반례를 구성할 수 있는가?
• RQ4 $ S $ 의 주기적인 간격과 $ Q $ 의 밀도 0 조건이 소멸 성질에 어떻게 상호작용하는가?
• RQ5 구성된 반례는 [SVW98] 의 $ \epsilon $-희박성 개념에 따라 $ \epsilon $-희박하게 만들 수 있는가? 즉, 원점으로부터의 거리에 따라 간격 크기를 조절하여 $ |Q \cap [x - \rho(x), x + \rho(x)]| \leq 2\epsilon \rho(x) $ 조건을 만족시키는가?

주요 결과

• 집합 $ S $ 가 유한 측도를 가지며 주기적인 간격을 가지며, $ Q $ 가 밀도가 0이라면, 쌍 $ (S, Q) $ 는 약한 소멸성을 가진다: $ S $ 에 지지된 비자명한 $ L^2 $ 함수는 존재하지 않으며, 그 푸리에 변환은 $ Q $ 에 지지된다.
• 반례가 구성되었으며, 이는 $ S $ 가 유한 측도를 가지며 주기적인 간격을 가지며 $ Q $ 가 밀도가 0이지만, $ (S, Q) $ 가 강한 소멸성을 가지지 않는 경우를 보여준다.
• 반례는 $ \|f_n\|_{L^2(Q_n^c)} \leq \frac{1}{n}\|f_n\|_{L^2} $ 를 만족하는 함수 수열 $ f_n \in \mathrm{PW}_{S_n} $ 를 사용하여, 강한 소멸성에서의 균일한 $ L^2 $-노름 제어 실패를 보여준다.
• 반례에서의 집합 $ Q $ 는 임의의 $ \epsilon > 0 $ 에 대해 $ \epsilon $-희박하게 만들 수 있으며, $ |x| \to \infty $ 가 되면서 희박성이 향상된다. 이는 $ |Q \cap [x - \rho(x), x + \rho(x)]| \leq 2\epsilon \rho(x) $ 조건을 만족한다.
• 구성 과정은 $ S = \bigcup_n S_n $ 가 유한 측도와 주기적인 간격을 가지며, $ Q = \bigcup_n (Q_n + 2N) $ 는 밀도가 0임을 보장한다.
• 증명은 Beurling-Malliavin 정리와 Fejér 핵을 활용하여 $ f_n $ 의 $ L^2 $-노름을 $ Q_n $ 에 국소화하면서, $ Q_n $ 외부의 노름을 제어하는 데 의존한다.