[论文解读] Coherent states and Chebyshev polynomials

V. V. Borzov, E. V. Damaskinsky|ArXiv.org|Jul 18, 2003

Quantum Mechanics and Non-Hermitian Physics参考文献 5被引用 10

一句话总结

本文通过利用正交多项式递推关系导出的广义振子代数，为切比雪夫振子——即基于第一类和第二类切比雪夫多项式的量子系统——引入了Barut-Girardello相干态。相干态作为湮灭算符的本征态被构造，并利用生成函数以封闭形式表达，其收敛域为 |z| < 1/√2，且其恒等分解涉及在圆盘边界上的δ函数测度。

ABSTRACT

We define the coherent states for the oscillator-like systems, connected with the Chebyshev polynomials $T_n(x)$ and $U_n(x)$ of the 1-st and 2-nd kind.

研究动机与目标

• 将相干态理论扩展至基于第一类和第二类切比雪夫多项式的量子系统。
• 通过Barut-Girardello方法定义相干态，将其视为与切比雪夫权函数相关联的希尔伯特空间中湮灭算符的本征态。
• 通过递推关系和升降算符，建立切比雪夫振子代数的数学结构。
• 推导相干态的显式解析表达式，并验证其标准性质，包括归一化和恒等分解。
• 识别在构造Perelomov型相干态时的技术挑战，原因在于缺乏解耦公式，未来工作将在此方向展开。

提出的方法

• 定义具有权函数 h₁(x) = 1/√(1−x²) 和 h₂(x) = √(1−x²) 的希尔伯特空间 L²([-1,1])，分别对应第一类和第二类切比雪夫多项式。
• 利用递推关系 Tₙ₊₁(x) = 2xTₙ(x) − Tₙ₋₁(x) 和 Uₙ₊₁(x) = 2xUₙ(x) − Uₙ₋₁(x) 定义位置算符 Xⱼ，并通过微分算符导出动量算符 Pⱼ。
• 构造创生与湮灭算符 aⱼ± = (1/√2)(Xⱼ ± iPⱼ) 及满足形变对易关系的数算符 Nⱼ。
• 定义算符 B(Nⱼ)，使得 B(Nⱼ)Ψₙ⁽ʲ⁾ = bₙ₋₁²Ψₙ⁽ʲ⁾，从而得到形变的海森堡代数，满足 [aⱼ⁻, aⱼ⁺] = 2(B(Nⱼ+Iⱼ) − B(NⱯ))。
• 通过代数反演公式，将湮灭与创生算符表示为微分算符 A = (1−x²)d/dx 和位置算符的函数。
• 利用生成函数 ∑ rⁿTₙ(x) = (1−rx)/(1−2rx+r²)，将相干态表示为 |z⟩₁ = 𝒩⁻¹∑ₙ zⁿ√2ⁿ⁺¹Tₙ(x)，其中归一化因子 𝒩² = 1/(1−2|z|²)，适用于 |z| < 1/√2。

实验结果

研究问题

• RQ1 如何为基于第一类和第二类切比雪夫多项式的量子系统一致地定义相干态？
• RQ2 从切比雪夫多项式导出的振子类系统的代数结构是什么？它如何推广标准谐振子代数？
• RQ3 能否为切比雪夫振子显式构造Barut-Girardello相干态，并以封闭形式表达？
• RQ4 这些相干态的收敛域和归一化行为如何？
• RQ5 在为该系统构造Perelomov型相干态时存在哪些技术障碍？为何需要解耦公式？

主要发现

• 在 ℋ₁ 中，切比雪夫振子的Barut-Girardello相干态为 |z⟩₁ = √(1−2|z|²) (1−√2zx)/(1−2√2zx+2z²)，适用于 |z| < 1/√2。
• 归一化因子为 𝒩² = 1/(1−2|z|²)，确保在 |z| < 1/√2 的圆盘内状态为平方可积。
• 相干态在 |z| < 1/√2 的圆盘上构成一个解析函数的Bargmann型空间中的全纯表示。
• 恒等分解在边界 |z| = 1/√2 上的测度下成立，该测度以δ函数形式表示。
• 切比雪夫振子哈密顿量 Hⱼ = Xⱼ² + Pⱼ² 的能级谱为 λ₀ = 1/2 且 λₙ = 1（当 n ≥ 1 时）。
• 由于缺乏解耦公式，Perelomov型相干态的构造仍存在技术挑战，该工作有待未来发表。