22.3 Bargmann-Fock 表示

概念链接 · 机器稿中出现的术语;来源角色尚未核验: 伴随算子 · 谱定理

处理算符 a 与 及其对易关系

这表明,存在一种比我们一直使用的薛定谔表示——即位置空间函数上的算符——更简单的方式来表示这些算符,而斯通-冯·诺依曼定理保证它与薛定谔表示酉等价。这种表示在文献中以许多不同的名称出现,具体取决于上下文,但所有这些名称都指同一种表示:

定义(Bargmann-Fock 表示或振子表示或全纯表示或 Segal-Shale-Weil 表示)

Bargmann-Fock(等)表示通过取状态空间 给出,其中 是全纯函数空间(满足 上的 ,且在内积中具有有限范数

其中 。空间 有时称为“福克空间”。我们定义作用在该空间上的以下两个算符:

由于

对易子是多项式上的恒等算符

人们发现

定理

Bargmann-Fock 表示具有以下性质

• 元素

对于 的范数。是正交归一的。

• 算符 a 和 是关于 上给定内积的伴随。

• 基

是完备的。

证明。上述命题的证明并不困难,其梗概如下

• 对于正交归一性,可以计算这些积分

在极坐标中。

• 为证明与是伴随算符,使用分部积分。

• 为完备性,假设对所有 有 。将 表示为厄米多项式乘以高斯函数的表达式则意味着

对于所有多项式 。计算 的傅里叶变换得到

因此 的傅里叶变换为 0,所以它本身必须为 0。或者,可以援引自伴算符 的谱定理,该定理保证其特征向量构成一个完备正交归一集合。

由于在此表示中,数算符 满足

中的单项式使数算符和能量算符对角化,因此有

对于能量为 的归一化能量本征态

注意,这里我们取状态空间 包含态 的无限线性组合,只要 Bargmann-Fock 范数有限。我们有时会希望限制到 的有限线性组合构成的子空间,我们将其记作 。这是多项式空间 ,而 是它在 Bargmann-Fock 范数下的完备化。

来源与版本

正文:中文 · 机器译稿 · 待校对

核对状态:机器译稿 · 待校对

原书 PDF · 印刷页 244、245、246、247、248、249、250、251、252、253

来源版本:2025-10-20

来源 PDF SHA-256:5a1941b2443b54d5db3d055f1e5ba390429b7a728475258017aaac87ee85a837

OCR 来源 SHA-256:461cd8acacffadb41f056f9b4158f2b227594f8538628d1a31493d321b2ecd97

译稿产物 SHA-256:4d289e2e56aa6d3efd1cb4f461c5fc8f2cbd3f3f8b99cdc8d089238617cc328a

机翻模型:deepseek-v4.1-flash