[논문 리뷰] Fourier bases and a distance problem of Erd\H os

Alex Iosevich, Nets Hawk Katz외 1명|ArXiv.org|2001. 04. 08.

Mathematical Analysis and Transform Methods참고 문헌 13인용 수 5

한 줄 요약

이 논문은 $ d \geq 2 $ 차원에서 단위 구의 애핀 변환에 대해 조화적이지 않은 지수 함수의 직교 기저가 존재하지 않음을 증명한다. 이를 위해 $ \mathbb{R}^d $ 내의 $ n $ 개의 점들 사이의 최소 거리 수에 관한 조합론적 결과를 사용한다. 핵심 기여는 거리의 증가율과 베셀 함수의 영점 수의 대비에서 유도된 모순으로, 이는 푸글레데의 스펙트럴 세트 추측의 특수한 케이스를 해결한다.

ABSTRACT

We prove that no ball admits a non-harmonic orthogonal basis of exponentials. We use a combinatorial result, originally studied by Erd\H os, which says that the number of distances determined by $n$ points in ${\Bbb R}^d$ is at least $C_d n^{\frac{1}{d}+ε_d}$, $ε_d>0$.

연구 동기 및 목표

• 단위 구가 조화적이지 않은 지수 함수의 직교 기저를 가질 수 없음을 보여줌으로써 푸글레데의 스펙트럴 세트 추측의 특수한 케이스를 해결하는 것.
• 구의 스펙트럼에 대한 기하학적 및 해석적 제약 조건이 알려진 조합론적 최소 거리 수 하한과 모순됨을 보여주는 것.
• 구와 달리 이러한 기저를 허용하는 입방체와의 대조를 통해 스펙트럴 세트에 대한 이해를 확장하는 것.
• 구의 특성 함수의 푸리에 변환의 영점 집합이 볼록 대칭 도메인(예: 입방체)의 경우보다 스펙트럼의 가능성을 더 엄격히 제약한다는 것을 확립하는 것.

제안 방법

• 스펙트럼 정리의 응용을 통해 $ L^2(B_d) $ 상에서 가환하는 자기수반 연산자를 정의함으로써, 푸리에 기저의 존재성과 도함수 연산자의 가환성 간의 연관성을 설정하는 것.
• 에르되시 및 다른 이들의 결과를 적용하여 $ g_d(n) \geq C_d n^{1/d + \epsilon_d} $ 를 증명함으로써 $ \mathbb{R}^d $ 내의 $ n $ 개의 점들 사이의 서로 다른 거리의 수를 하한으로 제한하는 것.
• 스펙트럼 $ \Lambda $ 에 대해 $ \#\{\Lambda \cap B_d(R)\} \approx R^d $ 라는 점근적 밀도를 증명함. 이는 영점 이외의 점들에서 푸리에 변환이 0이 아니라는 사실을 이용한다.
• 구의 특성 함수의 푸리에 변환의 영점 집합 분석, $ \widehat{\chi}_{B_d}(\xi) = |\xi|^{d/2} J_{d/2}(2\pi|\xi|) $ 를 통해 $ \Lambda \times \Lambda $ 내의 서로 다른 거리의 수를 제한하는 것.
• 조합론에서의 서로 다른 거리의 수에 대한 하한과 분석에서의 베셀 함수의 영점 수에 대한 상한을 비교함으로써 모순을 도출하는 것.
• $ \Lambda - \Lambda \subseteq Z_{B_d} \cup \{0\} $ 라는 사실을 이용하여 스펙트럼의 구조를 제약하는 것. 여기서 $ Z_{B_d} $ 는 $ \widehat{\chi}_{B_d} $ 의 영점 집합이다.

실험 결과

연구 질문

• RQ1 차원 $ \mathbb{R}^d $, $ d \geq 2 $ 에서 단위 구는 조화적이지 않은 지수 함수의 직교 기저를 가질 수 있는가?
• RQ2 실수 $ \mathbb{R}^d $ 내의 $ n $ 개의 점들 사이의 서로 다른 거리 수에 대한 조합론적 하한을 이용하여 구의 스펙트럼 존재를 배제할 수 있는가?
• RQ3 구의 특성 함수의 푸리에 변환의 영점 집합은 잠재적 스펙트럼의 구조를 어떻게 제약하는가?
• RQ4 구가 스펙트럴 세트가 아니라는 실패는 푸글레데의 추측, 즉 스펙트럴 세트는 정확히 이동으로써 $ \mathbb{R}^d $ 를 테일링하는 도메인임을 지지하는 데 어느 정도 기여하는가?
• RQ5 도메인의 경계의 곡률과 그 스펙트럴 성질 사이의 관계는 무엇인가?

주요 결과

• 차원 $ \mathbb{R}^d $, $ d \geq 2 $ 에서 단위 구 $ B_d $ 는 조화적이지 않은 지수 함수의 직교 기저를 가질 수 없다.
• 모든 스펙트럼 $ \Lambda $ 는 $ \#\{\Lambda \cap B_d(R)\} \approx R^d $ 를 만족하며, 이는 볼의 체적 성장과 일치하는 밀도를 나타낸다.
• 모든 $ \Lambda \cap B_d(R) $ 내의 서로 다른 거리의 수는 $ C R^{3d/(3d-2)} $ 이하로 하한이 제시되며, 이는 $ R $ 에 대해 선형보다 빠르게 증가한다.
• 동시에 서로 다른 거리의 수는 $ [-R, R] $ 내에서 베셀 함수 $ J_{d/2} $ 의 영점 수 이하로 제한되며, 이는 $ \lesssim R $ 이다. 이는 큰 $ R $ 에서 모순을 일으킨다.
• 이 모순은 $ d \geq 2 $ 에서 $ R^{3d/(3d-2)} > R $ 이기 때문에 발생하며, 이는 영점 수의 상한을 위반한다.
• 결과적으로 이러한 스펙트럼 $ \Lambda $ 는 존재할 수 없으며, 따라서 $ B_d $ 는 스펙트럴 세트가 아님을 증명한다.