[논문 리뷰] Hermite expansions and Hardy's theorem

M. K. Vemuri|ArXiv.org|2008. 01. 15.

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

한 줄 요약

이 논문은 푸리에 변환의 크기가 큰 분산을 가진 가우시안에 의해 지배되는 함수들의 헤르mite 계수에 대해 날카운 지수 감소 추정을 수립하며, 이 감소율을 하르디의 정리와 연결한다. 바르그만 변환에 대해 프라그멘-린델뢰프 원리를 적용하고 멜러의 공식을 사용하여 양자 조화 진동자에 대한 국소화 결과를 도출하며, 복소해석학을 사용하지 않고도 하르디의 정리를 약한 PDE 기반 국소화 원리로부터 유도할 수 있음을 보여준다.

ABSTRACT

Assuming that both a function and its Fourier transform are dominated by a Gaussian of large variance, it is shown that the Hermite coefficients of the function decay exponentially. A sharp estimate for the rate of exponential decay is obtained in terms of the variance, and in the limiting case (when the variance becomes so small that the Gaussian is its own Fourier transform), Hardy's theorem on Fourier transform pairs is obtained. A quantitative result on the confinement of particle-like states of a quantum harmonic oscillator is obtained. A stronger form of the result is conjectured. Further, it is shown how Hardy's theorem may be derived from a weak version of confinement without using complex analysis.

연구 동기 및 목표

• 함수와 그 푸리에 변환에 대해 가우시안 점근적 상한이 주어질 때, 헤르mite 계수의 지수 감소율에 대한 정량적 추정을 수립하는 것.
• 하르디의 정리에서 푸리에 변환 쌍에 대해 복소해석학을 사용하지 않고도 슈뢰딩거 방정식 프레임워크에서 약한 국소화 원리로부터 유도할 수 있음을 보여주는 것.
• 메타플렉틱 표현, $K$-형태(헤르mite 함수)와 하르디의 정리 유도 사이의 표현 이론적 연결 고리를 제공하는 것.
• 조화 진동자 슈뢰딩거 방정식의 해에 대해 더 강력한 형태의 국소화 결과를 추측하는 것.
• 바르그만 변환이 헤르mite 전개 분석과 프라그멘-린델뢰프 원리를 통한 감소 추정 유도에 적합한 도구임을 보여주는 것.

제안 방법

• 스chr"odinger 표현과 Fock 표현 사이의 유니터리 상호연결자로서 바르그만 변환을 사용하여, 헤르mite 전개 분석을 해석적 함수를 통해 가능하게 한다.
• 함수 $f$와 $\hat{f}$에 대해 가우시안 감소 조건이 만족될 때, 해석적 바르그만 변환 $Uf(w)$에 대해 프라그멘-린델뢰프 원리를 적용하여 점근적 상한을 도출한다.
• 멜러의 공식을 사용하여 지수 가중치 하에서 헤르mite 함수의 $L^2$-노름을 $\mu = \frac{1-a}{1+a}$를 포함하는 생성함수와 연결한다.
• 중앙 이항계수에 대한 조합적 추정을 이용하여 $\|\varphi_k\|_a$의 하한을 도출하고, 이로부터 헤르mite 계수의 감소 추정을 이끌어낸다.
• 조화 진동자 슈뢰딩거 방정식의 해에 대해 '약한 국소화' 개념을 도입하여 $\|\psi_t\|_{\tanh \beta}$를 $\|\psi_0\|_{\tanh(N\beta)}$로 유계화한다.
• 약한 국소화 결과를 사용하여 복소해석학을 피한 PDE 방법으로 하르디의 정리를 도출하며, 선수리의 질문에 대해 복소해석학을 피한 대체 증명에 대한 답을 제시한다.

실험 결과

연구 질문

• RQ1 함수와 그 푸리에 변환에 대해 분산 $a^{-1}$을 가진 가우시안에 의해 지배될 때, $a \in (0,1)$에 대해 헤르mite 계수의 날카운 지수 감소율은 무엇인가?
• RQ2 복소해석학을 사용하지 않고도 조화 진동자에 대한 PDE 기반 국소화 원리로부터 하르디의 정리를 도출할 수 있는가?
• RQ3 바르그만 변환은 가우시안 상한 조건 하에서 헤르mite 계수의 감소 추정 유도에 어떻게 기여하는가?
• RQ4 메타플렉틱 표현, $K$-형태(헤르mite 함수)와 하르디의 정리에서의 $E(a)$의 구조 사이의 관계는 무엇인가?
• RQ5 $a < 1$에 대해 $E(a)$에 속하는 함수의 더 날카운 특성화를 암시하는 더 강력한 형태의 국소화 결과가 존재하는가?

주요 결과

• 모든 $a \in (0,1)$에 대해, $|f(x)| \leq C e^{-a x^2/2}$ 및 $|\hat{f}(\xi)| \leq C e^{-a \xi^2/2}$를 만족하는 함수 $f$의 헤르mite 계수는 다음의 지수 감소를 보인다: $|\langle f, \varphi_k \rangle| \leq C \sqrt{\frac{2\pi k!}{1+a}} \left(\frac{e}{k}\right)^{k/2} \left(\frac{1-a}{1+a}\right)^{k/4}$.
• 한계 경우 $a \to 1^-$에서 감소율은 하르디의 정리의 날카운 경계에 수렴하며, $E(1) = \mathbb{C} g_1$를 복원한다.
• 조화 진동자 슈뢰딩거 방정식에 대한 국소화 결과는 $\|\psi_0\|_{\tanh(N\beta)} < \infty$이면, 모든 $t$에 대해 $\|\psi_t\|_{\tanh \beta} \leq K \|\psi_0\|_{\tanh(N\beta)}$를 만족하는 어떤 $K$가 존재함을 의미한다.
• 약한 국소화 추정에서 $|\langle \psi_0, \varphi_k \rangle| \leq C k e^{\beta((N-1)/2 - k)}$가 유도되며, 이는 $\psi_0$가 헤르mite 함수의 유한한 선형 조합이어야 함을 강제한다.
• $\psi_0 \in E(1)$ 이며, 헤르mite 함수의 유한한 선형 조합이므로, 그것은 가우시안이어야 하며, 따라서 하르디의 정리의 전체 결론을 복원한다.
• 논문은 $a < 1$에 대해 $E(a)$에 속하는 함수의 더 날카운 특성화를 암시하는 더 강력한 국소화 결과를 추측한다.