[논문 리뷰] Canonical Quantization and Impenetrable Barriers

Piotr Garbaczewski, W. Karwowski|arXiv (Cornell University)|2003. 10. 14.

Quantum Mechanics and Applications인용 수 19

한 줄 요약

이 논문은 무한 우물 내에서의 캐논ical 양자화의 역설을 해결하기 위해, 무한 우물 내에서 운동량 연산자를 정의할 때 전체 실수선에서 정의되어야만 자기수반성과 단위(unitary) 진동을 유지할 수 있음을 보여준다. 무한 우물을 $L^2(\mathbb{R})$에서 정의된 전역 운동량 연산자의 제한으로 간주함으로써, 저자들은 표준 운동량 표현과 푸리에 변환이 여전히 유효하다는 것을 입증하며, 스펙트럼 성질과 불확정성 원리에서 발생하는 모순을 해결한다.

ABSTRACT

We address an apparent conflict between the traditional canonical quantization framework of quantum theory and the spatially restricted quantum dynamics, when the translation invariance of the otherwise free quantum system is broken by boundary conditions. By invoking an exemplary case of a particle in an infinite well, we analyze spectral problems for related, confined and global, observables. In particular, we show how one can make sense of various operators pertaining to trapped particles by not ignoring the rest of the real line (e.g., that space which is never occupied by the particle in question).

연구 동기 및 목표

• 고립된 경계를 가진 시스템에서 캐논ical 양자화와 공간적으로 제한된 양자 역학 간의 모순을 해결하기 위해.
• Dirichlet 경계 조건이 적용된 $L^2([a,b])$에 제한되었을 때 자기수반 운동량 연산자가 존재하지 않는다는 역설을 다루기 위해.
• 입자가 제한된 상태에서도 물리적 의미를 갖는 캐논ical 연산자 $X$와 $P$가 유지될 수 있음을 보여주기 위해, 전체 힐버트 공간 $L^2(\mathbb{R})$를 유지한다.
• 운동량 연산자의 정의역을 우물 외부로 확장함으로써, 갇힌 입자를 위한 일관된 운동량 표현과 푸리에 변환 프레임워크를 수립하기 위해.
• 제한된 시스템에서 물리적으로 타당한 운동량 및 에너지 연산자를 정의하는 데에 있어서 자기수반 확장과 열화 지수의 역할을 명확히 하기 위해.

제안 방법

• 무한 우물을 $L^2(\mathbb{R})$에서 정의된 전역 운동량 연산자 $P = -i\hbar d/dx$의 제한으로 분석함으로써, $L^2([a,b])$에서가 아니라.
• 대칭 연산자의 자기수반 확장을 다루는 이론을 적용하여, 열화 지수 $(n,n)$를 사용해 가능한 운동량 연산자를 분류함.
• 스펙트럼 정리를 적용하여 $\exp(-iP^2 t)$와 같은 운동량 연산자의 함수를 정의함으로써, 단위 시간 진동을 보장함.
• 푸리에 변환 $\phi(p,t) = \frac{1}{\sqrt{2\pi\hbar}} \int_{-\infty}^{\infty} e^{-ipx/\hbar} \psi(x,t) dx$를 통해 운동량 표현을 정의함. 이는 $\mathbb{R}$ 전역에서 유효함.
• 경계 조건 $f(a) = e^{i\alpha}f(b)$를 통해 $[a,b]$에서 $-i d/dx$의 자기수반 확장을 구성함. 이는 $\alpha \in [0, 2\pi)$로 매개변수화됨.
• 해밀토니안 $H = -\hbar^2/2m \, d^2/dx^2$가 $L^2(\mathbb{R})$에서 본질적으로 자기수반임을 보여주며, 제한된 영역으로의 확장을 신중히 다룸.

실험 결과

연구 질문

• RQ1 왜 표준 캐논ical 양자화 절차는 무한 우물 내 입자에 대해 일관된 운동량 연산자를 도출하지 못하는가?
• RQ2 Dirichlet 경계 조건이 적용된 $L^2([a,b])$에서 미분 표현식 $-i\hbar d/dx$를 사용하여 자기수반 운동량 연산자를 정의할 수 있는가?
• RQ3 입자가 $[a,b]$에 제한된 상태에서 운동량 연산자를 정의할 때 전체 실수선 $\mathbb{R}$의 역할은 무엇인가?
• RQ4 유한 구간에 제한된 파동함수에 대해 푸리에 변환과 운동량 표현을 어떻게 일관되게 적용할 수 있는가?
• RQ5 투명하지 않은 경계에 의해 제한된 입자에서 해밀토니안과 그 스펙트럼 성질의 올바른 해석은 무엇인가?

주요 결과

• Dirichlet 경계 조건이 적용된 $L^2([a,b])$에서 $-i\hbar d/dx$의 자기수반 확장이 존재하지 않으며, 이는 구간에 제한되었을 때 열화 지수가 비대칭이기 때문이다.
• $\alpha \in [0, 2\pi)$로 매개변수화된 $P_\alpha = -i\hbar d/dx$의 도메인이 $\{f \in AC([a,b]) \mid f(a) = e^{i\alpha}f(b)\}$인 경우, 자기수반 확장의 일차원 가중족을 형성한다.
• 무한 우물 내에서 해밀토니안 $H = -\hbar^2/2m \, d^2/dx^2$는 이산 스펙트럼을 갖지만, 적절히 확장되지 않은 한 $L^2([a,b])$에서 자기수반성이 성립하지 않는다.
• 파동함수 $\psi(x,t)$가 $[a,b]$에 지지된 경우, 운동량 연산자가 $L^2(\mathbb{R})$에서 정의되어 있으면, 푸리에 변환 $\phi(p,t) = \frac{1}{\sqrt{2\pi\hbar}} \int_{-\infty}^{\infty} e^{-ipx/\hbar} \psi(x,t) dx$는 여전히 유효하고 단위 연산자이다.
• $L^2([0,\pi])$에서 각 자기수반 확장 $H_{\alpha}$에 대해 시간 진동 연산자 $\exp(-iH_{\alpha}t)$는 유계이고 단위 연산자이며, 일관된 양자 역학을 보장한다.
• 스펙트럼 정리를 통해 $P_\alpha = \sum_{n=-\infty}^{\infty} (2n + \alpha/\pi) Q_n^\alpha$의 구성이 가능하며, 여기서 $Q_n^\alpha$는 고유함수에 대한 사영 연산자이다. 이는 우물 내에서 운동량의 이산 스펙트럼을 확인한다.