[논문 리뷰] Tempered distributions with discrete support and spectrum

Serhii Favorov|arXiv (Cornell University)|2018. 01. 25.

Advanced Topology and Set Theory참고 문헌 9인용 수 6

한 줄 요약

이 논문은 계수의 감쇠 조건과 거의 주기성 추론을 사용하여, 이산적 지지집합과 이산적 푸리에 변환 스펙트럼을 갖는 온화한 분포가 유한 개의 전순위 격자 코스에 대한 합집합인 순수 결정 구조를 가져야 하는 충분조건을 확립한다. 분포와 그 푸리에 변환의 계수에 대한 성장 조건을 분석함으로써, 지지집합이 격자에 대한 코스의 유한 합집합인 순수 결정이 되는 조건을 규명한다. 이는 측정에 대한 기존 결과를 분포의 더 넓은 클래스로 일반화한다.

ABSTRACT

We investigate properties of tempered distributions with discrete or countable supports such that their Fourier transforms are distributions with discrete or countable supports as well. We find sufficient conditions for support of the distribution to be a finite union of translations of a full-rank lattice.

연구 동기 및 목표

• 지지집합과 푸리에 변환 스펙트럼이 이산적 또는 가чёт한 집합인 온화한 분포를 특성화하는 것.
• 비정규 결정과 측정에 대한 기존 결과를 더 넓은 온화한 분포의 클래스로 확장하는 것.
• 이러한 분포가 전순위 격자의 유한 개의 코스에 대한 합집합이 되도록 보장하는 충분조건을 규명하는 것.
• 계수 감쇠, 거의 주기성, 지지집합의 결정적 구조 사이의 연결 고리를 설정하는 것.

제안 방법

• 분포를 이산 점에서의 딜라 함수의 유한 차수 도함수로 표현: $ f = \sum_{\lambda \in \Lambda} \sum_{\|k\| \leq m} p_{\lambda,k} D^k \delta_\lambda $.
• 푸리에 변환 $ \hat{f} $ 도 이산적 지지집합을 가지며 계수 $ q_{\gamma,j} $ 를 사용해 유사하게 표현한다고 가정.
• 계수에 대한 $ L^2 $-유형 성장 경계를 사용: $ \kappa_f(\lambda) = O(|\lambda|^m) $ as $ |\lambda| \to \infty $, 이는 온화함과 감쇠를 보장한다.
• 거의 주기성 이론 적용: 계수 성장이 다항식일 경우 이러한 분포가 거의 주기적임을 보여준다.
• 버블 함수와의 커플링을 통해 거의 주기적 근사값을 구성함으로써, 딜라 콤 $ \delta_\Lambda $ 의 거의 주기성을 이끌어낸다.
• 기존의 거의 주기 측정 이론을 활용하여, 상대적으로 조밀한 차이를 갖는 이산 집합은 순수 결정이어야 한다는 결론을 이끌어낸다.

실험 결과

연구 질문

• RQ1 이산적 지지집합과 이산적 푸리에 변환 스펙트럼을 갖는 온화한 분포가 반드시 순수 결정이 되는 조건은 무엇인가?
• RQ2 측정에 대한 고전적 결과(균일 이산 지지집합과 스펙트럼이 순수 결정의 구조를 유도함)가 계수의 다항식 유계 조건을 갖는 분포로 확장될 수 있는가?
• RQ3 분포 계수의 감쇠율은 분포의 거의 주기성과 관련된 딜라 콤의 거의 주기성과 어떻게 관련되는가?
• RQ4 지지집합과 스펙트럼의 균일 이산성은 격자 기반의 결정적 구조를 보장하는 데 어떤 역할을 하는가?
• RQ5 분포와 그 푸리에 변환에 대한 계수 성장 조건이 지지집합을 전순위 격자의 유한 개의 코스에 대한 합집합으로 강제할 수 있는가?

주요 결과

• 온화한 분포 $ f $ 가 이산적 지지집합 $ \Lambda $ 과 이산적 스펙트럼 $ \Gamma $ 를 갖는 푸리에 변환 $ \hat{f} $ 를 가지며, 계수에 대해 $ \kappa_f(\lambda) = O(|\lambda|^m) $ 라면, $ \Lambda $ 는 전순위 격자에 대해 순수 결정이다.
• 분포 $ f $ 가 거의 주기적이고 계수 성장이 다항식일 경우, 딜라 콤 $ \delta_\Lambda = \sum_{\lambda \in \Lambda} \delta_\lambda $ 는 거의 주기적이다.
• 만약 $ f $ 와 $ \hat{f} $ 가 모두 거의 주기적이고 이산적 지지집합을 가지며 계수 성장이 다항식이라면, 두 지지집합은 각각 쌍대 격자에 대해 순수 결정이다.
• 측정에 대한 정리 2를 분포로 일반화한 결과: 계수 감쇠와 거의 주기성이 결정적 구조를 유도한다.
• 지지집합과 스펙트럼의 균일 이산성에 더하여 다항식 계수 성장 조건이 성립하면, 지지집합은 전순위 격자의 유한 개의 코스에 대한 합집합이 된다.
• 증명은 버블 함수와의 커플링을 통한 거의 주기적 근사값의 구성과 이러한 연산에 대한 거의 주기성의 안정성에 기반한다.