交互作用Fock空間l2(Γ,{λn})上的梯度算子和散度算子

趙丹丹,周玉蘭

(1.西北師范大學知行學院,甘肅 蘭州 730070;2.西北師范大學數學與統計學院,甘肅 蘭州 730070)

1 引言

2 預備知識

在文章中,用σm 表示σ{m},用σ∪m表示σ∪{m}.

引理 2.1[7]設L2(M,μ)和L2(N,ν)是可分的測度空間,則存在唯一的同構關系

使得f?g與f(x)g(y)對應.特別地,當L2(N,ν)為可分的Hilbert空間H 時,有

使得f?h與f(x)h對應.

其中 n≥1.由交互因子的定義可知,若λn(x1,···,xn)=0,則

λn+1(x1,···,xn,xn+1)=0,n ≥1.

定義 2.2[6]設 l2(Γ(n)),n=0,1,2,···是 Hilbert空間,則

關于內積

緊接著給出交互作用Fock空間l2(Γ,{λn})上增生算子和湮滅算子的定義.

注[6]:(1)1{x1,··,xn}(m)表示示性函數,即

其中n≥1.

(2)在n粒子空間中,湮滅算子把元素變到(n+1)-粒子空間中,而增生算子把元素變到(n?1)-粒子空間中.

(4)l2(Γ,{λn})上的點態增生、湮滅算子在相同位置具有反交換關系,在不同位置具有交換關系,即

其中 I是 l2(Γ,{λn})中的恒等算子.

由于該空間中交互因子的限制,在

和 Γ(n)之間存在雙射.若 σ ={x1,···,xn} ∈ Γ(n),任取 f?n(x1,···,xn)∈ l2(Γ(n)),記

根據文獻[8],定義該交互作用Fock空間上的計數算子.

根據文獻[5]中積分算子J在Bernoulli泛函空間中的作用,有

命題2.1 設

注:當σ={x1,···,xn} ∈ Γ(n),記 Fm(x1,···,xn)=Fm(σ)=F(σ,m). 則上述空間中的內積可表示為

命題2.2 設

3 主要結果

首先,給出交互作用Fock空間l2(Γ,{λn})中梯度算子和散度算子的定義.

下面定理得到l2(Γ,{λn})上梯度算子的性質.

注:(1)根據上述定理證明,有

(2)梯度算子?不是全空間的線性算子,而是稠定的線性閉算子.

接下來,給出散度算子的定義.

由梯度算子和散度算子的定義,恰好得到散度算子是梯度算子的共軛算子.

定理 3.2 梯度算子?和散度算子δ互為共軛算子,即

結合文獻[9]和定理3.1和定理3.2,有

下面討論梯度算子和散度算子與計數算子之間的關系.記δ??為梯度算子?和散度算子δ的復合.

定理 3.3 任取 f?n∈ l2(Γ(n),{λn}),則 δ??(f?n)=N(f?n).

得到 δ??(f?n)=n(f?n),結合定義 2.4,N(f?n)=nf?n,故 δ??(f?n)=N(f?n).

從上述定理中可以看到,在交互作用Fock空間的n-粒子空間l2(Γ(n),{λn})中,梯度算子、散度算子所構成的復合算子δ??與計數算子相等.將δ??作用在l2(Γ,{λn}),有

注:δ??是l2(Γ,{λn})上的稠定的線性閉算子.

最后,根據交互作用Fock空間中增生、湮滅、計數算子間的關系,討論增生、湮滅算子族與δ??的關系.

結合計數算子的定義,有

4 總結

l2()是實值平方可和函數構成的 Hilbert空間,文章基于 l2()的交互作用Fock空間l2(Γ,{λn}),定義離散條件下梯度、散度算子并研究其性質,得到