[论文解读] Canonical Quantization and Impenetrable Barriers

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

Quantum Mechanics and Applications被引用 19

一句话总结

本文通过证明无限势阱中动量算符必须在全实轴上定义而非仅在区间上，解决了束缚量子系统中正则量子化的悖论，从而保持自伴性与幺正演化。通过将无限势阱视为 $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).

研究动机与目标

• 解决正则量子化与具有不可穿透势垒的局域量子动力学之间的不一致问题。
• 解决当限制在 $L^2([a,b])$ 且具有狄利克雷边界条件时，不存在自伴动量算符的悖论。
• 通过保留全希尔伯特空间 $L^2(\mathbb{R})$，证明即使粒子被束缚，正则算符 $X$ 和 $P$ 的物理意义依然成立。
• 通过将 $-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}$ 上有效。
• 通过边界条件 $f(a) = e^{i\alpha}f(b)$ 构造 $-i d/dx$ 在 $[a,b]$ 上的自伴扩张，参数化为 $\alpha \in [0, 2\pi)$。
• 证明哈密顿量 $H = -\hbar^2/2m \, d^2/dx^2$ 在 $L^2(\mathbb{R})$ 上是本质自伴的，但在受限区域需谨慎扩展。

实验结果

研究问题

• RQ1 为何标准正则量子化程序无法为无限势阱中的粒子产生一致的动量算符？
• RQ2 能否使用微分表达式 $-i\hbar d/dx$ 在 $L^2([a,b])$ 上，通过狄利克雷边界条件定义自伴动量算符？
• RQ3 全实线 $\mathbb{R}$ 在定义被限制在 $[a,b]$ 的粒子的动量算符中起什么作用？
• RQ4 如何一致地将傅里叶变换与动量表象应用于定义在有限区间上的波函数？
• RQ5 当粒子被不可穿透势垒限制时，哈密顿量及其谱性质的正确解释是什么？

主要发现

• 在 $L^2([a,b])$ 上，若限制在区间内，由于亏指数不相等，$-i\hbar d/dx$ 不存在自伴扩张。
• 动量算符 $P_\alpha = -i\hbar d/dx$，其定义域为 $\{f \in AC([a,b]) \mid f(a) = e^{i\alpha}f(b)\}$，构成一个以 $\alpha \in [0, 2\pi)$ 参数化的自伴扩张一维族。
• 哈密顿量 $H = -\hbar^2/2m \, d^2/dx^2$ 在无限势阱中具有离散谱，但其标准微分表达式在 $L^2([a,b])$ 上并非自伴，除非经过适当扩展。
• 当波函数 $\psi(x,t)$ 支撑于 $[a,b]$ 时，傅里叶变换 $\phi(p,t) = \frac{1}{\sqrt{2\pi\hbar}} \int_{-\infty}^{\infty} e^{-ipx/\hbar} \psi(x,t) dx$ 依然有效且幺正，前提是动量算符在 $L^2(\mathbb{R})$ 上定义。
• 对每个自伴扩张 $H_{\alpha}$，时间演化算符 $\exp(-iH_{\alpha}t)$ 在 $L^2([0,\pi])$ 上有界且幺正，确保了量子动力学的一致性。
• 谱定理允许构造 $P_\alpha = \sum_{n=-\infty}^{\infty} (2n + \alpha/\pi) Q_n^\alpha$，其中 $Q_n^\alpha$ 为到本征函数的投影，确认了势阱中动量的离散谱。