4.3量子力學三體相容算符的共同本征態(1 / 1)

|χ,ρ1,ρ2〉=χ|χ,ρ1,ρ2〉.(4.49)

同樣根據式(4.11)與式(4.12)的基本思想,有

|χ,ρ1,ρ2〉〈χ,ρ1,ρ2|

=1π3∫∏3i=1dxidpiδρ1-p1μ1-p2μ2

δρ2-p1μ2-p3μ3?

δ[χ-(μ1x1+μ2x2+μ3x3)]?

∶exp

-∑3j=1(xj-X^j)2+(pj-P^j)2∶

=1π3br2μ1μ2μ3λ∶

exp-1λ[μ1μ2ρ2-(μ2P^1-μ1P^2)]2-

1λμ1μ3ρ3-(μ3P^1-μ1P^3)2-

1λ[χ-(μ1X^1+μ2X^2+μ3X^3)]2-

1λ[μ2μ3(ρ3-ρ2)-(μ3P^2-μ2P^3)]2∶,

(4.50)

式中:λ≡μ21+μ22+μ23.根據|000〉〈000|=∶exp-∑3i=1aiai∶,對式(4.50)的右邊進行分拆,就有

|χ,ρ1,ρ2〉

=μ1μ2μ3λπ3br4exp-12λ[(μ21+μ23)μ22ρ22+

(μ21+μ22)μ23ρ23-2μ22μ23ρ2ρ3]-

χ22λ+2χ2∑3j=1μjaj+i2μ2ρ2λ[μ1μ2a1+

μ2μ3a3-(μ21+μ23)a2]+

∑3j=112-μ2jλa2j+

i2μ3ρ3λ[μ1μ3a1+μ2μ3a2-

(μ21+μ22)a3]-

2λ∑3j<k=1μjμkaj

ak|000〉,(4.51)

這與文獻[70]結果是完全一致的.同樣有完備性

∫dρ1dρ2dχ

|χ,ρ1,ρ2〉〈χ,ρ1,ρ2|=1.(4.52)

這樣,利用Wigner算符的廣義Radon變換能夠很方便地導出文獻[71~73]中的多模連續變量的糾纏態表象,並知道它們是完備的。

|χ,ρ1,ρ2〉=χ|χ,ρ1,ρ2〉.(4.49)

同樣根據式(4.11)與式(4.12)的基本思想,有

|χ,ρ1,ρ2〉〈χ,ρ1,ρ2|

=1π3∫∏3i=1dxidpiδρ1-p1μ1-p2μ2

δρ2-p1μ2-p3μ3?

δ[χ-(μ1x1+μ2x2+μ3x3)]?

∶exp

-∑3j=1(xj-X^j)2+(pj-P^j)2∶

=1π3br2μ1μ2μ3λ∶

exp-1λ[μ1μ2ρ2-(μ2P^1-μ1P^2)]2-

1λμ1μ3ρ3-(μ3P^1-μ1P^3)2-

1λ[χ-(μ1X^1+μ2X^2+μ3X^3)]2-

1λ[μ2μ3(ρ3-ρ2)-(μ3P^2-μ2P^3)]2∶,

(4.50)

式中:λ≡μ21+μ22+μ23.根據|000〉〈000|=∶exp-∑3i=1aiai∶,對式(4.50)的右邊進行分拆,就有

|χ,ρ1,ρ2〉

=μ1μ2μ3λπ3br4exp-12λ[(μ21+μ23)μ22ρ22+

(μ21+μ22)μ23ρ23-2μ22μ23ρ2ρ3]-

χ22λ+2χ2∑3j=1μjaj+i2μ2ρ2λ[μ1μ2a1+

μ2μ3a3-(μ21+μ23)a2]+

∑3j=112-μ2jλa2j+

i2μ3ρ3λ[μ1μ3a1+μ2μ3a2-

(μ21+μ22)a3]-

2λ∑3j<k=1μjμkaj

ak|000〉,(4.51)

這與文獻[70]結果是完全一致的.同樣有完備性

∫dρ1dρ2dχ

|χ,ρ1,ρ2〉〈χ,ρ1,ρ2|=1.(4.52)

這樣,利用Wigner算符的廣義Radon變換能夠很方便地導出文獻[71~73]中的多模連續變量的糾纏態表象,並知道它們是完備的。