[论文解读] Quantization of classical integrable systems. Part II: quantization of functions on Poisson manifolds

Massimo Marino, N. N. Nekhoroshev|arXiv (Cornell University)|Jan 26, 2010

Nonlinear Waves and Solitons参考文献 7被引用 4

一句话总结

本文在泊松流形上通过对称化算子量子化，建立了构造准可积量子系统的充分条件。结果表明，当经典可积系统由在泊松括号下构成有限维李代数的函数构建时——尤其是正则坐标中的线性或二次多项式——对称化能保持对易关系，从而实现无需 $α\to 0$ 极限的精确量子化。

ABSTRACT

In a previous work we have introduced the concept of quasi-integrable quantum system. In the present one we determine sufficient conditions under which, given an integrable classical system, it is possible to construct a quasi-integrable quantum system by means of a quantization procedure based on the symmetrized product of operators. This procedure will be applied to concrete classes of integrable systems in two following papers.

研究动机与目标

• 建立数学条件，以确定在泊松流形上的经典可积系统何时可通过算子对称化实现精确量子化。
• 将准可积量子系统的概念扩展到经典首次积分是有限个函数集合的多项式，且这些函数在泊松括号下构成李代数的情形。
• 通过确保量子算子的对易子与经典函数的泊松括号相匹配，提供一种无需渐近 $α\to 0$ 近似的方法，实现精确量子化。
• 通过允许算子代数中出现非线性对易关系，将量子化推广至线性和二次算子之外的范围。
• 通过引入交换子代数和算子上的函数演算，处理涉及非多项式函数（如指数函数）的物理系统。

提出的方法

• 在算子的结合代数中定义对称乘积 $\mathcal{A} \diamond \mathcal{B} = \frac{1}{2}(\mathcal{A}\mathcal{B} + \mathcal{B}\mathcal{A})$，以推广经典函数的乘积。
• 通过算子对称化，建立经典函数 $P(B)$ 与非交换多项式 $P^{\text{sym}}(\hat{B})$ 之间的对应关系，保持线性运算。
• 对集合 $B = (B_1, \dots, B_l)$ 施加条件，使得 $\{B_i, B_j\} = c_{ij}$（常数结构常数）或更一般地 $\{B_i, B_j\} = c_{ij}(D)$，以确保代数在泊松括号下有限维且封闭。
• 证明：若经典首次积分 $F_j = P_j(B)$ 是 $B$ 的线性或二次多项式，则其对称化量子化 $\hat{F}_j = P_j^{\text{sym}}(\hat{B})$ 满足 $[\hat{F}_i, \hat{F}_j] = \widehat{\{F_i, F_j\}}$，且无 $\hbar$-依赖修正。
• 引入准可积性概念：若一组算子的符号构成经典可积系统，且中心算子的符号主部也是中心的，则称该组算子为准可积的。
• 引入对交换子集 $\tilde{\mathcal{B}}^i \subseteq \mathcal{B}$ 的函数演算，通过定义 $f(\tilde{\mathcal{B}}^i)$ 为彼此对易且与兼容的 $\mathcal{B}_j$ 对易的算子，处理非多项式函数（如 $f(x)$，$\exp(ip)$）。

实验结果

研究问题

• RQ1 在泊松流形上，经典函数的对称化量子化在何种条件下能保持泊松括号的代数结构作为对易子？
• RQ2 当经典可积系统具有首次积分 $F_j = P_j(B)$ 时，其在何种条件下可精确量子化为一个准可积量子系统？
• RQ3 由 $B$ 生成的李代数的结构常数 $c_{ij}$ 在确保对称化量子化的一致性中起何种作用？
• RQ4 在对称化框架内，如何一致地对非多项式函数（如指数函数或解析函数）进行量子化？
• RQ5 在何种情况下，算子的对称乘积能精确重现量子化函数的对易子，而无需 $\hbar$-依赖修正？

主要发现

• 若经典首次积分 $F_j = P_j(B)$ 是 $B$ 的线性多项式，且 $B$ 生成具有常数结构常数 $c_{ij}$ 的有限维李代数，则其对称化量子化 $\hat{F}_j = P_j^{\text{sym}}(\hat{B})$ 所构成的量子系统满足 $[\hat{F}_i, \hat{F}_j] = \widehat{\{F_i, F_j\}}$，且精确成立。
• 当 $\{B_i, B_j\} = c_{ij}$（常数）时，二次多项式 $P_j(B)$ 足够保持对称化下的对易关系，从而将适用范围扩展至线性系统之外。
• 该构造是精确的：只要 $\{A, B\} = C$，就有 $[\hat{A}, \hat{B}] = \hat{C}$，且无 $\hbar \to 0$ 近似，意味着该量子化不是渐近的，而是精确的。
• 当 $B$ 为 $\mathbb{R}^{2n}$ 上的正则坐标 $(p, x)$ 时，$p$ 和 $x$ 的任意多项式对称化量子化均产生一个量子算子，其对易子与经典泊松括号精确匹配。
• 若存在子集 $\tilde{\mathcal{B}}^i \subseteq \mathcal{B}$ 使得 $f(\tilde{\mathcal{B}}^i)$ 可定义为彼此对易且与兼容 $\mathcal{B}_j$ 对易的算子，则可对非多项式函数 $f$（如 $\exp(ip)$ 或 $f(x)$）进行量子化。
• 推论 4.6 将该方法扩展至 $P_j(B)$ 的系数为另一组变量 $D$ 的函数的情形，前提是 $c_{ij}(D)$ 是 $D$ 的函数，且对称化尊重算子代数结构。