[論文レビュー] Canonical Quantization and Impenetrable Barriers

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

Quantum Mechanics and Applications被引用数 19

ひとこと要約

この論文は、無限井戸内の量子系における正準量子化のパラドックスを解消する。無限井戸内での運動量演算子は、自己随伴性とユニタリ時間発展を保つために、区間 $[a,b]$ ではなく、全実数直線上で定義されなければならない。著者らは、$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).

研究の動機と目的

• 不透光な障壁を有する系における、正準量子化と空間的に閉じ込められた量子力学的ダイナミクスの不一致を解消すること。
• Dirichlet境界条件を課した $L^2([a,b])$ に制限された際、自己随伴運動量演算子が存在しないというパラドックスに取り組むこと。
• 粒子が閉じ込められても、物理的意味を持つ正準演算子 $X$ と $P$ が、全ヒルベルト空間 $L^2(\mathbb{R})$ を保持することで、依然として成立することを示すこと。
• 運動量演算子 $-i\hbar d/dx$ の定義域を井戸の外へ拡張することで、閉じ込められた粒子に対する一貫した運動量表現およびフーリエ変換フレームワークを確立すること。
• 閉じ込められた系における物理的に有効な運動量およびエネルギー演算子を定義する際の、自己随伴拡張と欠損指数の役割を明確にすること。

提案手法

• 無限井戸を、$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}$ 全体で有効であることを示す。
• $[a,b]$ 上での $-i d/dx$ の自己随伴拡張を、境界条件 $f(a) = e^{i\alpha}f(b)$ を用いて構成し、$\alpha \in [0, 2\pi)$ でパrameter化する。
• ハミルトニアン $H = -\hbar^2/2m \, d^2/dx^2$ は $L^2(\mathbb{R})$ 上で本質的に自己随伴であるが、閉じ込められた領域に拡張する際には注意深く取り扱う必要があることを示す。

実験結果

リサーチクエスチョン

• RQ1 なぜ標準的な正準量子化手順では、無限井戸内の粒子に対して一貫した運動量演算子を生成できないのか？
• RQ2 $L^2([a,b])$ にDirichlet境界条件を課した際、微分表現 $-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)$ でパrameter化される、$f \in AC([a,b])$ かつ $f(a) = e^{i\alpha}f(b)$ を満たす関数の領域を持つ、運動量演算子 $P_\alpha = -i\hbar d/dx$ は、自己随伴拡張の1パラメータ族を形成する。
• 無限井戸内ではハミルトニアン $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$ は固有関数への射影である。これにより、井戸内での運動量の離散スペクトルが確認される。