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