[논문 리뷰] Uniqueness of the group Fourier transform on certain nilpotent Lie groups

Arup Chattopadhyay, Deb Kumar Giri외 1명|arXiv (Cornell University)|2016. 07. 13.

Mathematical Analysis and Transform Methods참고 문헌 20인용 수 3

한 줄 요약

이 논문은 히젠버그 운동군과 단계 2 노름 임의의 리 군에서의 군 푸리에 변환의 유일성 결과를 확립한다: 유한한 지지집합을 가진 적분 가능 함수의 푸리에 변환이 유한한 질량을 가질 경우, 그 함수는 식별적으로 0이어야 한다. 이 결과는 표현 이론과 $ L^2 $-공간 위의 연산자 스펙트럼 분석을 통해 비아벨 노름 임의의 군으로 벤디클즈 유형의 불확실성 원리가 일반화된다.

ABSTRACT

In this article, we prove that if the group Fourier transform of certain integrable functions on the Heisenberg motion group (or step two nilpotent Lie groups) is of finite rank, then the function is identically zero. These results can be thought as an analogue to the Benedicks theorem that dealt with the uniqueness of the Fourier transform of integrable functions on the Euclidean spaces.

연구 동기 및 목표

• 비아벨 노름 임의의 리 군, 특히 히젠버그 운동군으로 벤디클즈 유형의 불확실성 원리를 확장한다.
• 이러한 군에서 컴팩트 지지 또는 유한 지지를 가진 적분 가능 함수의 군 푸리에 변환이 언제 식별적으로 0이 되는지 조사한다.
• 푸리에 변환이 유한한 질량을 가질 조건을 특성화하고, 원래 함수의 소멸과 연결한다.
• 표현과 관련된 $ L^2 $-공간 위의 유한질량 연산자로서 푸리에 변환의 스펙트럼 구조를 탐색한다.
• 유클리드 군 및 히젠버그 군 설정에서의 결과를 조화 분석과 메타플레틱 표현을 통해 더 일반적인 단계 2 노름 임의의 리 군으로 일반화한다.

제안 방법

• 히젠버그 군 $ \mathbb{H}^n $ 의 기저 단위 유니터리 표현 $ \pi_\lambda $ 를 $ \lambda \in \mathbb{R}^* $ 로 매개변수화하기 위해 스톤-폰 노이만 정리를 사용한다.
• 메타플레틱 표현 $ \mu_\lambda(k) $ 를 사용하여 $ K = U(n) $-행동이 $ L^2(\mathbb{R}^n) $ 위에서 상호연결 연산자를 묘사하고, 이는 히젠버그 운동군 $ G = \mathbb{H}^n \ltimes U(n) $ 에서의 분석을 가능하게 한다.
• 군 푸리에 변환을 $ \hat{f}(\omega) = W_\omega(f^\omega) $ 로 정의하며, 여기서 $ W_\omega $ 는 $ L^2(\eta_\omega) $ 위의 왜곡된 콘볼루션 연산자이고, $ f^\omega $ 의 스펙트럼 성질과 관련된다.
• 스펙트럼 정리를 적용하여 $ W_\omega(\bar{\tau}) $ 를 유한 개의 질량 1 사영 연산자의 합으로 분해함으로써, 유한한 질량이면 $ f^\omega = 0 $ 이라는 것을 보인다.
• 플랑커렐 정리와 특수 헬름홀츠 함수 $ \phi_{\alpha\beta}^\lambda $ 의 성질을 사용하여 $ L^2 $-노름과 지지 조건을 분석한다.
• 연산자 $ T(\phi,\psi)(v) $ 와 $ W_\omega $ 의 관계를 활용하여, $ W_\omega(\bar{\tau}) $ 가 유한한 질량을 가질 경우 $ \tau \equiv 0 $ 이 되도록 하는 적분 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 히젠버그 운동군에서 컴팩트 지지 또는 유한 지지를 가진 적분 가능 함수의 군 푸리에 변환이 언제 식별적으로 0이 되는가?
• RQ2 단계 2 노름 임의의 군의 맥락에서 군 푸리에 변환의 유한질량 성질을 사용하여 유일성 결과를 도출할 수 있는가?
• RQ3 군 $ G = \mathbb{H}^n \ltimes U(n) $ 에서 푸리에 변환의 스펙트럼 구조는 원래 함수의 지지 및 소멸과 어떻게 관련되는가?
• RQ4 유한한 질량을 가진 푸리에 변환을 가진 비자명한 적분 가능 함수가 단계 2 노름 임의의 리 군에 존재하는가?
• RQ5 메타플레틱 표현은 히젠버그 군에서의 불확실성 원리를 히젠버그 운동군으로 확장하는 데 어떤 역할을 하는가?

주요 결과

• $ f \in L^1 \cap L^2(G) $ 가 $ \Sigma \subset \mathfrak{b} $ 에서 지지되고, 그 군 푸리에 변환 $ \hat{f}(\omega) = W_\omega(f^\omega) $ 가 유한한 질량을 가질 경우, $ f = 0 $ 이다.
• $ f^\omega \in L^1 \cap L^2(\mathfrak{b}) $ 가 유한한 지지집합을 가지며, $ W_\omega(f^\omega) $ 가 유한한 질량을 가질 경우, $ f^\omega = 0 $ 이며, 이는 $ f = 0 $ 을 의미한다.
• $ W_\omega(f^\omega) $ 가 질량 1일 경우, $ W_\omega(\bar{\tau}) $ 를 통한 분석은 $ \tau \equiv 0 $ 으로 이어지며, 이는 $ f^\omega = 0 $ 이며 소멸 결과를 증명한다.
• $ W_\omega(f^\omega) $ 의 유한질량 조건은 $ \tau_y(x) $ 의 적분 표현에서 커널 $ K_y(\xi) $ 가 유한히 지지된다는 것을 강제하며, 이는 모든 $ y $ 에 대해 $ \tau_y \equiv 0 $ 이라는 결과를 낳는다.
• $ W_\omega(\bar{\tau}) $ 의 스펙트럼 분해가 유한 개의 질량 1 연산자의 합으로 표현되므로, $ \tau $ 는 $ T(h_j, h_j) $ 의 유한한 합이 되며, 지지집합의 유한성은 $ h_j $ 가 0이 되도록 강제한다.
• 플랑커렐 정리에 의해, $ W_\omega(f^\omega) $ 가 유한한 질량을 가지며 $ f^\omega $ 가 유한히 지지된 경우 $ \|f\|_{L^2}^2 = 0 $ 이므로 $ f = 0 $ 이다.