[논문 리뷰] On theorems of Chernoff and Ingham on the Heisenberg group

Sayan Bagchi, Pritam Ganguly외 2명|arXiv (Cornell University)|2020. 09. 29.

Mathematical Analysis and Transform Methods참고 문헌 24인용 수 6

한 줄 요약

이 논문은 히젠베르크 군 위의 서브라플라시안에 대해 초르너프의 정리의 유사체를 수립하고, 이를 통해 연산자 값 푸리에 변환에 대한 잉하임의 불확실성 원리의 한 형태를 증명한다. 핵심 결과는 감소하는 함수 Θ(λ)에 대한 적분 조건을 통해 컴팩트 지지 함수의 푸리에 변환의 최적 감쇠 속도를 특성화하는 것으로, 히젠베르크 군의 비아벨 군 설정으로 고전 결과를 확장하며 헤르mite 반군 추정과 스펙트럼 이론을 사용한다.

ABSTRACT

We prove an analogue of Chernoff's theorem for the sublaplacian on the Heisenberg group and use it prove a version of Ingham's theorem for the Fourier transform on the same group.

연구 동기 및 목표

• 히젠베르크 군 위의 서브라플라시안에 대해 초르너프의 정리를 확장하여 스펙트럼 분석을 위한 함수 해석학적 프레임워크를 제공한다.
• 히젠베르크 군에서 연산자 값 푸리에 변환에 대한 잉하임의 불확실성 원리의 한 형태를 수립하고, 컴팩트 지지 함수의 푸리에 변환의 감쇠를 특성화한다.
• 푸리에 변환의 감쇠를 헤르mite 반군 $ e^{-aH(\lambda)} $를 사용하여 측정하며, 일정한 감쇠를 함수 $ \Theta(\lambda) $에 의해 지배되는 가변 감쇠로 대체한다.
• 만약 $ \int_1^\infty \Theta(t)t^{-1}dt < \infty $ 이면, 비자명한 컴팩트 지지 함수가 존재하여 그 푸리에 변환의 감쇠가 $ \|\widehat{f}(\lambda)\|_{HS} \leq C|\lambda|^{n/2}e^{-|\lambda|\Theta(|\lambda|)} $ 를 만족함을 증명한다.
• 반대로, 적분이 발산하면 어떤 열린 집합에서 $ f $ 가 0이면 $ f \equiv 0 $ 이어야 하며, 이는 조건의 날카로움을 보여준다.

제안 방법

• 서브라플라시안에 대해 초르너프의 정리를 히젠베르크 군에 적용하기 위해 일차 파라미터 반군을 구성하고 그 스펙트럼 성질을 분석한다.
• 푸리에 변환의 감쇠를 모델링하기 위해 헤르mite 반군 $ e^{-aH(\lambda)} $ 를 사용하며, 여기서 $ H(\lambda) = -\Delta_{\mathbb{R}^n} + \lambda^2|x|^2 $ 이다.
• 스펙트럼 이론과 확대 기법을 적용한다: $ \delta_r F(z,t) = F(rz, r^2 t) $ 를 정의하고, 변환 법칙 $ \widehat{\delta_r F}(\lambda) = r^{-(2n+2)} d_r \circ \widehat{F}(r^{-2}\lambda) \circ d_r^{-1} $ 를 유도한다.
• 근사 항등원의 가중치를 구성한다: $ F_\varepsilon(x) = \varepsilon^{-(2n+2)} \delta_\varepsilon^{-1} F(x) $ 이며, $ \widehat{F}_\varepsilon(\lambda)^* \widehat{F}_\varepsilon(\lambda) \leq C e^{-2\Psi_r(\sqrt{H(\lambda)})\sqrt{H(\lambda)}} $ 를 만족한다. 여기서 $ \Psi_r(y) = \frac{1}{r}\Psi(y/r) $ 이다.
• 반지름 함수의 구조와 유니터리 작용 $ R_\sigma $ 를 사용하여 서브라플라시안의 정의역 안에 밀도를 이루는 함수의 집합을 생성하며, 이로 인해 집합 $ V = \{ R_\sigma \circ \delta_r (f * F_\varepsilon) \} $ 가 밀도 조건과 0이 아닌 조건을 만족함을 보장한다.
• 스펙트럼 감쇠와 준해석성 사이의 연결을 위해 $ \sum_{m=1}^\infty \| \mathcal{L}^m(f * F_\varepsilon) \|_{L^2}^{-1/(2m)} = \infty $ 라는 조건을 사용한다.

실험 결과

연구 질문

• RQ1 초르너프의 정리는 히젠베르크 군 위의 서브라플라시안으로 확장될 수 있는가? 이는 본질적으로 자기수반성의 정의역을 특성화하는 데 기여한다.
• RQ2 히젠베르크 군 위의 컴팩트 지지 함수의 푸리에 변환에 대한 최적 감쇠 속도는 무엇인가?
• RQ3 푸리에 변환의 감쇠가 $ \int_1^\infty \Theta(t)t^{-1}dt < \infty $ 를 만족하는 함수 $ \Theta(\lambda) $ 와 어떻게 관련이 있는가?
• RQ4 어떤 조건에서 열린 집합에서 함수가 0이면 그것이 식별적으로 0이 되는가? 이는 푸리에 변환의 감쇠 조건에 의해 결정된다.
• RQ5 헤르mite 반군은 히젠베르크 군에서 연산자 값 설정의 푸리에 변환 감쇠를 모델링하고 특성화하는 데 사용될 수 있는가?

주요 결과

• 히젠베르크 군 위의 서브라플라시안에 대해 초르너프의 정리의 유사체가 수립되었으며, 시리즈 $ \sum_{m=1}^\infty \| \mathcal{L}^m(f * F_\varepsilon) \|_{L^2}^{-1/(2m)} $ 의 발산을 통해 본질적 자기수반성의 스펙트럼 기준을 제공한다.
• 만약 $ \int_1^\infty \Theta(t)t^{-1}dt < \infty $ 이면, $ \mathbb{H}^n $ 위에 비자명한 연속적 컴팩트 지지 함수 $ f $ 가 존재하여 $ \|\widehat{f}(\lambda)\|_{HS} \leq C|\lambda|^{n/2}e^{-|\lambda|\Theta(|\lambda|)} $ 를 만족한다.
• 반대로, 만약 적분이 발산하면, 푸리에 변환 감쇠가 $ \|\widehat{f}(\lambda)\|_{HS} \leq C|\lambda|^{n/2}e^{-|\lambda|\Theta(|\lambda|)} $ 를 만족하는 모든 함수 $ f $ 는 어떤 열린 집합에서 0이면 반드시 식별적으로 0이어야 한다.
• 감쇠 조건은 날카롭다: 적분의 발산 조건은 함수의 지지집합에서 전체 군으로의 확장의 유일성에 필수적이고 충분하다.
• 증명은 회전 $ R_\sigma $, 확대 $ \delta_r $, 근사 항등원 $ F_\varepsilon $ 를 사용하여 $ D_{St}(A) $ 내에 조밀한 함수 집합 $ V \subset D_{St}(A) $ 를 구성함으로써 이루어지며, 이는 선형 생성 집합이 조밀하고 본질적 자기수반성과 모순됨을 보장한다.
• 헤르mite 반군 $ e^{-aH(\lambda)} $ 의 사용은 감쇠를 스펙트럼 함수의 관점에서 측정할 수 있게 하며, 일정한 감쇠를 함수 $ \Theta(\lambda) $ 에 의해 지배되는 가변 감쇠로 대체함으로써 고전적인 불확실성 원리를 일반화한다.