[논문 리뷰] The Cramer-Wold theorem on quadratic surfaces and Heisenberg uniqueness pairs

Karlheinz Gröchenig, Philippe Jaming|arXiv (Cornell University)|2016. 08. 24.

Mathematical Analysis and Transform Methods참고 문헌 10인용 수 8

한 줄 요약

이 논문은 일반적인 위치에 있는 이차 초평면과 두 개의 초평면의 합집합이 ℝᵈ에서 허이젠베르크 고유성 쌍을 이룬다는 것을 입증한다. 이는 이차 초평면에 지지된 유계 측도가 두 일반적인 초평면에서의 푸리에 변환이 0이면 고유하게 결정된다는 것을 의미한다. 이는 고전적 캄러-월드 정리의 새로운 놀라운 버전을 제공하며, 이러한 측도를 고유하게 결정하기 위해 밀도가 있는 투영 집합이 아닌 단지 두 개의 일반적인 초평면만으로도 충분하다는 것을 보여준다.

ABSTRACT

Two measurable sets $S, \\Lambda \\subseteq \\mathcal{R}^d$ form a Heisenberg uniqueness pair, if every bounded measure $\\mu$ with support in S whose Fourier transform vanishes on {\\Lambda} must be zero. We show that a quadratic hypersurface and the union of two hyperplanes in general position form a Heisenberg uniqueness pair in $\\mathcal{R}^d$. As a corollary we obtain a new, surprising version of the classical Cram\\'er-Wold theorem: a bounded measure supported on a quadratic hypersurface is uniquely determined by its projections onto two generic hyperplanes (whereas an arbitrary measure requires the knowledge of a dense set of projections). We also give an application to the unique continuation of eigenfunctions of second-order PDEs with constant coefficients .

연구 동기 및 목표

• 이차 초평면에 지지된 유계 측도가 그 푸리에 변환의 영점 집합에 의해 언제 고유하게 결정되는지 조사하는 것.
• 고전적 캄러-월드 정리를 확장하여, 밀도가 있는 투영 집합이 아닌 단지 두 개의 일반적인 초평면만으로도 이차 표면에 지지된 측도를 고유하게 결정할 수 있음을 보여주는 것.
• ℝᵈ에서 이차 초평면과 초평면의 합집합을 포함하는 허이젠베르크 고유성 쌍을 군론적 기법과 조화 분석 기법을 사용하여 특성화하는 것.
• 코xe터 군과 반사 대칭을 통해 초평면의 기하학과 표면 측도의 푸리에 변환의 구조 사이의 연결 고리를 설정하는 것.

제안 방법

• 측도 μ ∈ ℳ(S)가 집합 Λ에서의 푸리에 변환이 0이면 자명하다는 조건인 허이젠베르크 고유성 쌍 개념을 활용한다.
• 아핀 불변성 성질(Inv1 및 Inv2)을 적용하여 문제를 표준 이차 초평면과 원점을 통과하는 초평면 등의 표준 형태로 축소한다.
• 직교 초평면에 대한 반사 대칭과 그들로 생성된 코xe터 군의 작용을 이용하여 푸리에 변환의 절댓값의 불변성을 분석한다.
• 반사로 생성된 코xe터 군이 무한할 경우, 군에 의해 초평면의 궤도가 밀도가 있으며, 푸리에 변환이 한 초평면에서 0이면 반드시 식별적으로 0이 되도록 강제한다는 사실을 이용한다.
• 푸리에 변환이 밀도 있는 집합에서 0이고 연속적이면 전 구역에서 0이 된다는 원리를 적용하여, 이는 측도가 0임을 의미한다.
• 측도의 지지집합과 그 푸리에 변환의 영점 집합 사이의 이중성 관계를 활용하여 대칭성과 밀도 논증을 통해 고유성 결과를 도출한다.

실험 결과

연구 질문

• RQ1 d ≥ 2인 ℝᵈ에서 이차 초평면 S와 두 초평면의 합집합 Λ에 대해, (S, Λ)가 허이젠베르크 고유성 쌍을 이룰 수 있는 기하학적 조건은 무엇인가?
• RQ2 고전적 캄러-월드 정리는 밀도가 있는 투영 집합이 아닌, 단지 두 개의 일반적인 초평면만으로도 이차 표면에 지지된 유계 측도를 고유하게 결정할 수 있는가?
• RQ3 초평면에 대한 반사로 생성된 코xe터 군이 이중 표면 측도의 푸리에 변환이 0이 되지만 측도가 0이 아닌지를 결정하는 데 어떤 역할을 하는가?
• RQ4 푸리에 변환의 절댓값이 반사에 대해 불변일 때, 이는 측도의 구조와 이차 표면 위의 지지집합과 어떻게 관련이 있는가?
• RQ5 d ≥ 3인 고차원에서 유한한 코xe터 군이 여전히 원점을 통과하는 여러 초평면에서 푸리에 변환이 0이 되는 비자명한 측도를 허용할 수 있는가?

주요 결과

• ℝᵈ에 있는 이차 초평면 S와 일반적인 위치에 있는 두 개의 초평면의 합집합은 허이젠베르크 고유성 쌍을 이룬다. 즉, 이 두 초평면에서 푸리에 변환이 0이 되는 S에 지지된 유계 측도는 반드시 0이어야 한다.
• 이 결과는 캄러-월드 정리의 새로운 강력한 형태를 의미한다: 이차 표면에 지지된 유계 측도는 밀도가 있는 투영 집합이 아닌, 단지 두 개의 일반적인 초평면으로의 투영만으로도 고유하게 결정된다.
• 허이젠베르크 고유성 쌍 성질은 반사로 생성된 코xe터 군이 무한할 때에만 성립하며, 이는 군론적 특성화를 제공한다.
• 코xe터 군이 유한할 경우, 반사 대칭에 대해 불변이며 초평면에서 푸리에 변환이 0이 되는 비자명한 측도를 구구한 구면에 대해 구성할 수 있으며, 이는 고유성 쌍 조건을 위반한다.
• 이전의 ℝ²에서의 쌍곡선에 대한 결과를 고차원으로 일반화하였으며, 아핀 불변성 덕분에 구, 쌍곡면, 포물면 등에 적용 가능하다.
• 무한한 코xe터 군에 의한 반사 대칭과 조밀한 궤도를 이용한 증명 기법은 대칭 표면 위의 허이젠베르크 고유성 쌍을 분석하는 통합적 프레임워크를 제공한다.