[논문 리뷰] Non-harmonic cones are Heisenberg uniqueness pairs for the Fourier transform on $\mathbb R^n$

R. K. Srivastava|arXiv (Cornell University)|2015. 07. 08.

Numerical methods in inverse problems참고 문헌 21인용 수 9

한 줄 요약

이 논문은 ℝⁿ 안의 원뿔이 어떤 동차 조화다항식의 영점 집합에 완전히 포함되어 있지 않은 한, 푸리에 변환에 대해 히젠베르크 고유성 쌍(HUP)임을 증명한다. 구면 조화다항식, 베셀 함수, 그리고 팡크-헤케 항등식을 사용하여, 이러한 원뿔 위에 지지된 유한 보렐 측도가 집합 Λ에서 푸리에 변환이 0이 되면 그 측도는 반드시 0이어야 한다고 증명한다. 이는 기존 결과를 비조화적 원뿔과 2-구면상의 지오데식 원에까지 확장한다.

ABSTRACT

In this article, we prove that a cone is a Heisenberg uniqueness pair corresponding to sphere as long as the cone does not completely recline on the level surface of any homogeneous harmonic polynomial on $\mathbb R^n.$ We derive that $\left(S^2, ext{ paraboloid} ight)$ and $\left(S^2, ext{ geodesic of } S_r(o) ight)$ are Heisenberg uniqueness pairs for a class of certain symmetric finite Borel measures in $\mathbb R^3.$ Further, we correlate the problem of Heisenberg uniqueness pairs to the sets of injectivity for the spherical mean operator.

연구 동기 및 목표

• ℝⁿ 안의 원뿔이 푸리에 변환에 대해 히젠베르크 고유성 쌍(HUP)이 되는 조건을 규명하는 것.
• 조화적 또는 대칭적인 표면을 넘어서 일반적인 비조화적 원뿔로 HUP 프레임워크를 확장하는 것.
• 원뿔 위에 지지된 측도의 고유성을 결정하는 데 있어 구면 조화다항식과 베셀 함수의 역할을 조사하는 것.
• HUP 문제와 구면 평균 연산자의 단사성 사이의 관계를 연결하는 것.
• 회전 및 불변성과 같은 군 작용이 고차원에서 HUP에 미치는 영향을 탐구하는 것.

제안 방법

• 측도를 구면 조화다항식으로 분해하고, 팡크-헤케 항등식을 적용하여 푸리에 변환과 베셀 함수를 연결하는 것.
• 구면 조화다항식의 직교성과 베셀 함수의 성질을 이용하여 푸리에 변환의 소멸 조건을 유도하는 것.
• 원뿔 위 표면 측도의 푸리에 변환 행동을 각도 변수와 반경 파라미터에 대한 적분을 통해 분석하는 것.
• L² 공간에서 베셀 함수 노름의 극한을 적용하여 모든 푸리에 계수들이 소멸해야 한다는 결론을 이끌어내는 것.
• 베셀 함수가 최대 가чёт수의 영점만을 가진다는 사실을 이용하여 계수 함수가 식별적으로 0이 되어야 한다는 결론을 내리는 것.
• 회전 및 선형 변환에 대한 불변성 원리를 적용하여 ℝ³의 결과를 ℝⁿ으로 일반화하는 것.

실험 결과

연구 질문

• RQ1 ℝⁿ 안의 원뿔이 어떤 조건에서 푸리에 변환에 대해 유한 보렐 측도에 대해 히젠베르크 고유성 쌍이 되는가?
• RQ2 베셀 함수와 레지오드 함수의 영점은 원뿔 또는 지오데식 원 위에 지지된 측도의 고유성에 어떤 영향을 미치는가?
• RQ3 히젠베르크 고유성 쌍 성질이 어떤 동차 조화다항식의 등치수준 집합에 포함되지 않는 원뿔로도 확장될 수 있는가?
• RQ4 히젠베르크 고유성 문제와 구면 평균 연산자의 단사성 사이의 관계는 무엇인가?
• RQ5 SO(n) 및 그 부분군의 군 작용, 예를 들어 대칭 표면에서 HUP의 구조에 어떤 영향을 미치는가?

주요 결과

• 원뿔 C ⊂ ℝⁿ은 어떤 동차 조화다항식의 영점 집합에 포함되어 있지 않다면, 단위 구면 Sⁿ⁻¹에 대해 히젠베르크 고유성 쌍이다.
• 쌍 (S², 포물면)은 ℝ³ 내에서 대칭적인 유한 보렐 측도의 한 클래스에 대해 히젠베르크 고유성 쌍이다.
• 쌍 (S², 중심 o에서 반지름 r인 지오데식 원)은 모든 l ∈ ℤ₊에 대해 J_{(l+1)/2}(R) ≠ 0 이고, r/R가 어떤 관련 레지오드 함수의 영점이 아니면 HUP이다.
• 원뿔 위에 지지된 측도에 대해, 푸리에 변환이 집합 Λ에서 0이면, 원뿔이 어떤 동차 조화다항식의 등치수준 집합에 포함되어 있지 않은 한 측도는 0이어야 한다.
• 결과는 고차원으로 확장되며, 구면 조화다항식 분해와 베셀 함수 분석을 통해 증명 구조가 유지된다.
• HUP 성질은 회전과 이동에 대해 불변이며, 푸리에 변환의 쌍대성에 의해 선형 변환에 대해서도 불변이다.