[논문 리뷰] Uncertainty principles for orthonormal bases

Philippe Jaming|arXiv (Cornell University)|2006. 06. 16.

Mathematical Analysis and Transform Methods참고 문헌 18인용 수 7

한 줄 요약

이 논문은 조화해석학에서의 불확실성 원리에 대한 종합적인 서베이를 제시하며, 정규직교 기저와 그들의 시간-주파수 국소화에 초점을 맞춘다. 연구는 정규직교 기저의 함수들과 그들의 푸리에 변환의 분산이 헤르미트 기저의 것보다 적어도 같은 속도로 증가함을 입증하며, 샤피로의 미출간 결과를 정량적으로 개선한다. 또한 벤디크스의 불확실성 원리가 슈뢰딩거 방정식의 해에서 에너지 소산과 연결됨을 밝힌다.

ABSTRACT

In this survey, we present various forms of the uncertainty principle (Hardy, Heisenberg, Benedicks). We further give a new interpretation of the uncertainty principles as a statement about the time-frequency localization of elements of an orthonormal basis, which improves previous unpublished results of H. Shapiro. Finally, we show that Benedicks' result implies that solutions of the Shrödinger equation have some (appearently unnoticed) energy dissipation property.

연구 동기 및 목표

• 불확실성 원리의 다양한 표현, 즉 하디, 하이젠베르크, 벤디크스 정리 등을 통합하고 확장하기 위해.
• 정규직교 기저의 시간-주파수 국소화를 정량적으로 특성화하여, H. 샤피로의 미출간 결과를 개선하기 위해.
• 벤디크스의 불확실성 원리가 초기 자료가 컴팩트하게 지지된 슈뢰딩거 방정식의 해에 대해 비자명한 에너지 소산 성질을 유도함을 보여주기 위해.
• 자유 열 방정식과 슈뢰딩거 방정식의 해를 통해 고전적 불확실성 원리를 재구성하여, 새로운 역학적 해석을 드러내기 위해.

제안 방법

• 헤르미트 연산자의 스펙트럼 이론을 사용하여 하이젠베르크의 불확실성 원리를 증명하고 개선하며, 헤르미트 함수가 시간-주파수 분산을 최소화함을 보여준다.
• 헤르미트 연산자의 스펙트럼 분해를 적용하여 임의의 정규직교 기저에 대해 분산의 곱에 대한 하한을 유도한다.
• 상호작용 쌍과 강력한 상호작용 쌍 이론을 활용하여 유한 측도를 가진 집합 외부에서의 $ L^2 $-노름을 제어한다.
• 자유 열 방정식과 슈뢰딩거 방정식의 해를 통해 불확실성 원리를 재구성하며, 푸리에 승수 표현을 사용한다.
• 에너지 농축과 국소 불확실성에 관한 델사르트, 랜다우, 슬레판의 결과를 적용하여 $ L^2 $-함수에 의해 지배되는 정규직교 수열의 원소 수를 유계화한다.
• 하디의 정리와 데마주그의 증명 기법을 사용하여 붕괴 속도를 분석하고 가우시안과 유사한 붕괴를 보이는 함수를 특성화한다.

실험 결과

연구 질문

• RQ1 정규직교 기저의 함수들의 분산은 시간-주파수 국소화 측면에서 헤르미트 기저의 것과 어떻게 비교되는가?
• RQ2 정규직교 기저에 대해 분산의 최소 가능한 증가율은 무엇이며, 이는 불확실성 원리와 어떻게 관련되는가?
• RQ3 벤디크스의 불확실성 원리는 슈뢰딩거 방정식의 해에서 역학적 에너지 소산 성질을 유도하는 데 사용될 수 있는가?
• RQ4 어떤 조건에서 정규직교 수열이 단일 $ L^2 $-함수에 점별로 지배될 수 있으며, 그러한 함수는 최대 몇 개인가?
• RQ5 불확실성 원리는 열 방정식과 슈뢰딩거 방정식의 해의 진화 과정에서 어떻게 나타나는가?

주요 결과

• 임의의 $ L^2({\mathbb{R}}) $ 내 정규직교 기저의 분산은 헤르미트 기저의 것보다 적어도 같은 속도로 증가하며, 등호는 오직 헤르미트 기저일 때만 성립한다.
• 정규직교 수열 $ (f_k) $가 어떤 $ g \in L^2({\mathbb{R}}) $에 대해 거의 모든 곳에서 $ |f_k(x)| \leq g(x) $를 만족하면, 수열은 유한하며 $ \#I \leq 3^{8(20C/\sqrt{2p-1})^{4/(2p-1)}} $ 이다. 여기서 $ C = \|g\|_{L^p} $이다.
• 모든 $ p > 3/2 $ 에 대해 이러한 함수의 수는 $ 4(800C^2/(2p-1))^{2/(2p-3)} $ 이하이며, $ 1 < p \leq 3/2 $ 에서는 $ 32(20C)^{2/(2p-3)} $ 이하이다.
• 유한 측도를 가진 집합에 지지된 초기 자료를 가진 슈뢰딩거 방정식의 해는 어떤 유한 측도 집합 외부에서도 에너지를 소산시키며, 이는 벤디크스 정리의 결과이다.
• $ \widehat{v_0} $ 가 $ [-a,a] $ 에 지지되어 있으면, $ \|v(\cdot,t)\|_{L^2(\mathbb{R} \setminus S)} \geq D(S,[-a,a]) e^{-\pi a^2 t} \|v_0\|_{L^2} $ 를 만족하며, 이는 지속적인 에너지 확산을 보여준다.
• 강력한 상호작용 쌍 $ (S,\Sigma) $ 에 대해, 해의 $ L^2 $-노름은 $ S $ 외부에서 $ D(S,\Sigma) \|v_0\|_{L^2} $ 이하로 제한되며, 이는 유한 시간 내의 국소화가 불가능함을 의미한다.