17.2 格罗内沃尔德-范霍夫不可行定理
概念链接 · 机器稿中出现的术语;来源角色尚未核验: 李代数 · 李代数表示
如果人们想要量子化相空间上次数大于二的多项式函数,很快就会清楚,“算符排序歧义”问题是一个重要问题。涉及以不同方式排列 和 算符的不同规定,会导致同一函数 得到不同的 ,并对应物理上不同的可观测量(尽管这些差异涉及 与 的对易子,因此是 中的高阶项
当物理学家最初试图寻找一种一致的方案,以产生一个对应于相空间上次数大于二次的多项式函数的算符 时,他们发现,不可能以与该关系一致的方式做到这一点
对于次数大于二次的多项式。无论人们设计出何种方法来量子化更高次数的多项式,它都只能使该关系在 的最低阶上得到满足,并且会存在更高阶的修正,而这些修正取决于所选择的量子化方案。等价地说,只有对于次数不超过二次的多项式所构成的六维李代数,薛定谔表示才给出一个李代数表示,并且这不能一致地延拓为相空间上函数的一个更大子代数的表示。这一问题由以下不可行定理精确表述:
定理(Groenewold-van Hove)
不存在从 上的多项式到 上的自伴算符的映射 ,满足
和
对于 上函数的任意李子代数,只要次数小于或等于二的多项式子代数为其真子代数。
证明。详细证明见[8]的5.4节、[26]的4.4节或[37]的第16章。概要地说,证明首先表明,取三次多项式的泊松括号会得到更高阶的多项式,并且进一步地,对于三次及三次以上,将不存在有界次数的多项式的有限维子代数。定理的假设迫使三次项中某些特定的算符排序选择。随后利用同一个四次多项式作为泊松括号有两种不同表达式这一事实,在四次项中得到矛盾:
来源与版本
正文:中文 · 机器译稿 · 待校对
核对状态:机器译稿 · 待校对
原书 PDF · 印刷页 197、198、199、200、201、202、203
来源版本:2025-10-20
来源 PDF SHA-256:5a1941b2443b54d5db3d055f1e5ba390429b7a728475258017aaac87ee85a837
OCR 来源 SHA-256:fa515c86806c0f33a46ffd47703578d161b4e948c69dd5f91749aa84c3ea8911
译稿产物 SHA-256:82b78332e26814104015d60e1475935b933945bb9031299192d19b7adbb7a053
机翻模型:deepseek-v4.1-flash