• 検索結果がありません。

である。今,

X(x, t) =xcoshA−tsinhA+c(B+B) (3.63) とすると,これは上の条件を満たす。ただし,cはc数定数である。実際,

eiKθX(x, t)eiKθ

= xcoshA(θ)−tsinhA(θ) +c(B+B)

= xcosh(A−θ)−tsinh(A−θ) +c(B+B)

= x(coshAcoshθ−sinhAsinhθ)−t(sinhAcoshθ−coshAsinhθ) +c(B+B)

= (xcoshθ+tsinhθ) coshA−(xsinhθ+tcoshθ) sinhA+c(B+B)

= xcoshA−tsinhA+c(B+B)

= X(x, t) (3.64)

であり,

X(x, t)

˙

q=0=x+c(B+B) (3.65)

である。ただし,(3.64)の第2等号で(3.50)を用い,(3.65)で,(3.47)より従う

˙

q= 0⇐⇒A= 0 (3.66)

を用いた。(3.51),(3.52),(3.54)より,

X(x, t) = x

√1−q˙2 qt˙

√1−q˙2 +c (

q 1

√1−q˙2 + 1

√1−q˙2q )

= 1 2 (

[x(−2cq+ ˙qt)] 1

√1−q˙2 + 1

√1−q˙2[x(−2cq+ ˙qt)]

)

(3.67) である。よって,

c=1

2 (3.68)

とすると,

X(x, t) = 1 2 (

[x−Q(t)] 1

√ 1−Q˙2

+ 1

√ 1−Q˙2

[x−Q(t)]

)

(3.69)

となる。ただし,Q(t)は,(3.25)で

Q˙ = ˙q (3.70)

としたものである。(3.69)は,c-q転化規則から要請される(2.203)を満たす。

3.2 量子ソリトン:sine-Gordonモデル

を考える。準粒子φの方程式は,

(−∂2

∂t2 + 2

∂x2 −µ2 )

φ(x, t) = 0 (3.72)

と設定する。このとき,(3.71)を(2.1)の形で書くと,

Λ(∂)ψ(x) = j( ψ(x))

, (3.73)

Λ(∂) = −∂2

∂t2 + 2

∂x2 −µ2, (3.74)

j( ψ(x))

= −µ2ψ(x) +µ2

λ sin[λψ(x, t)] (3.75)

となる。j( ψ(x))

は,

j( ψ(x))

= −µ2ψ(x, t) +µ2 λ

k=0

(1)k

(2k+ 1)![λψ(x, t)]2k+1

= µ2 λ

k=1

(1)k

(2k+ 1)![λψ(x, t)]2k+1 (3.76)

とも書ける。これを(3.73)に代入すると,

Λ(∂)λψ(x) = µ2

k=1

(−1)k

(2k+ 1)![λψ(x, t)]2k+1 (3.77) となる。この方程式に,ψλψの形で含まれる。よって,しばらくの間λψを単にψと書く。このと き,(3.77)は,

Λ(∂)ψ(x) = µ2

k=1

(1)k

(2k+ 1)![ψ(x, t)]2k+1 (3.78)

となる。以下では,tree近似の範囲で,場の秩序パラメーターϕ(

X(x, t))

を求める。

(3.72)の解は,(2.9)-(2.12)となる。(2.14)で定義された真空|0が対称相にあるとする。このとき,ψ は,

ψ(x, t) = F[x:φ] (3.79)

= ∑

n=1,3,5,···

ψn(x, t) (3.80)

とダイナミカルマップされる。ただし,ψnn= 1,3,5,· · ·)はφn次の項である。(3.80)を(3.78) に代入して,

n=1,3,5,···

Λ(∂)ψn = µ2

k=1

(1)k (2k+ 1)!

( ∑

n=1,3,5,···

ψn)2k+1

(3.81)

となる。n次の項を比べて,

Λ(∂)ψn = µ2

k=1

(1)k (2k+ 1)!

[(∑

n

ψn)2k+1]

n for n= 1,3,5,· · · (3.82)

を得る。ただし,[· · ·]n· · · のうちn次の部分を表わす。明らかに [(∑

n

ψn)2k+1]

n= ∑

i1+i2+···+i2k+1=n

ψi1ψi2· · ·ψi2k+1 (3.83)

である。ただし,

i1, i2,· · · , i2k+1= 1,3,5,· · · (3.84) であり,以下では,∑

i1+i2+···+i2k+1=nの和は,常に(3.84)の下でとるものとする。2k+ 1 3である から,

[(∑

n

ψn

)2k+1]

1 = 0 for k= 1,2,3,· · · (3.85) となる。また,ij 1より,

[(∑

n

ψn)2k+1]

n= 0 for k > n−1

2 (3.86)

である。よって,(3.82)は,

Λ(∂)ψ1 = 0, (3.87)

Λ(∂)ψn = µ2

(n1)/2 k=1

(1)k (2k+ 1)!

i1+···+i2k+1=n

ψi1ψi2· · ·ψi2k+1 for n= 3,5,· · · (3.88) となる。(3.87)より,

ψ1 =φ (3.89)

が分かる。

ボソン変換φ→φf

φf =φ−f(

X(x, t))

(3.90) を行う。このとき,場の秩序パラメーター(2.126)は,(2.132),(3.80)より,

ϕtree= ∑

n=1,3,5,···

ϕn (3.91)

となる。ただし,

ϕndef= 0(f)n|0(f) for n= 1,3,5,· · · (3.92) である。特に,

ϕ1 = 0(f)1|0(f)

= 0(f)|φ|0(f)

= ⟨0(f)|φf +f|0(f)⟩

= f (3.93)

である。(3.73)の真空期待値より

Λ(∂)ϕ(x)tree= j( ϕ(x))

(3.94) が得られ,(3.87),(3.88)の真空期待値より,

Λ(∂)ϕ1 = 0, (3.95)

Λ(∂)ϕn tree

= µ2

(n1)/2 k=1

(1)k (2k+ 1)!

i1+···+i2k+1=n

ϕi1ϕi2· · ·ϕi2k+1 for n= 3,5,· · · (3.96) が得られる。(3.95)は,(3.93)より,

Λ(∂)f(

X(x, t))

= 0 (3.97)

となる。以下では,tree= を単に=と書く。

今,一般化時間T

−∂2

∂t2 + 2

∂x2 = 2

∂T2 + 2

∂X2, (3.98)

T(x, t)|q=0˙ = t (3.99)

を満たすものとして導入すると,

Λ(∂) = 2

∂T2 + 2

∂X2 −µ2 (3.100)

となり,(3.97)は,

( 2

∂T2 + 2

∂X2 −µ2 )

f(X) = ( 2

∂X2 −µ2 )

f(X) = 0 (3.101)

となる。この方程式の一般解は,

f(X) =aeµX +be−µX (3.102)

である。a, bはc数定数である。

(3.96)より,

Λ(∂)ϕ3 = µ21 3!

i1+i2+i3=3

ϕi1ϕi2ϕi3

= −µ2 3! ϕ31

(3.103) である。これに,(3.93),(3.102)を代入して,

Λ(∂)ϕ3 = −µ2

3! (a3e3µX+ 3a2beµX + 3ab2eµX+b3e3µX), (3.104) ϕ3 = −µ2

3! Λ1(∂)(a3e3µX+ 3a2beµX+ 3ab2eµX +b3e3µX) (3.105) を得る。ところで,

Λ(∂)eαµX =µ221)eαµX (3.106)

であるから,Λ1(∂)は,

Λ1(∂)eαµX 1

µ221)eαµX for α̸=±1 (3.107) として定義することができる。しかし,(3.105)には,ab = 0でない限りe±µX の項が含まれていて,

Λ1(∂)を定義することができない。よって,以下では,

a= 1, b= 0, (3.108)

f(X) =ϕ1=eµX (3.109)

として話を進める。このとき,

ϕ3 = −µ2

3! Λ1(∂)e3µX

= −µ2 3!

1

µ2(321)e3µX

= 1 3

1

42e3µX (3.110)

となる。ϕ5は,

Λ(∂)ϕ5 = µ2 (1

3!

i1+i2+i3=5

ϕi1ϕi2ϕi3+(1)2 5!

i1+···+i5=5

ϕi1· · ·ϕi5

)

= µ2 (−1

3!3ϕ21ϕ3+(−1)2 5! ϕ51

)

= µ2 (3

3!(eµX)2(

1 3

1 42e3µX)

+ (1)2 5! (eµX)5

)

= µ2 3

25·5e5µX (3.111)

を満たす。よって,

ϕ5 = µ2 3

25·1(∂)e5µX

= µ2 3 25·5

1

µ2(521)e5µX

= 1 5

1

44e5µX (3.112)

となる。

一般に,

ϕn=AnenµX for n= 1,3,5,· · · (3.113) となる。特に,

A1 = 1, A3 =1 3

1

42, A5= 1 5

1

44 (3.114)

であった。(3.107),(3.96)より,

(n21)An =

(n1)/2 k=1

(−1)k (2k+ 1)!

i1+···+i2k+1=n

Ai1Ai2· · ·Ai2k+1 for n= 3,5,· · · (3.115)

を得る。

今,

αn2(z) def= A1z+A3z3+· · ·+An2zn2, (3.116)

Fn(z) def= sinαn2(z) (3.117)

を導入する。zは形式変数(c数)である。[· · ·]nという記号を,· · · のうちznに比例する部分を表わす ものとすると,Fnは,

[Fn(z)]n= (n21)Anzn (3.118)

という性質をもつ。これは以下のようにして示される。まず,

[Fn(z)]n=

k=0

(−1)k (2k+ 1)!

[( ∑

m=1,3,···,n2

Amzm)2k+1]

n (3.119)

である。k= 0に対して,

[( ∑

m=1,3,···,n2

Amzm)1]

n= 0 (3.120)

となり,また,

[( ∑

m=1,3,···,n2

Amzm)2k+1]

n= 0 for k > n−1

2 (3.121)

となる。よって,(3.119)は,

[Fn(z)]n=

(n1)/2 k=1

(1)k (2k+ 1)!

i1+···+i2k+1=n

Ai1Ai2· · ·Ai2k+1zn (3.122) を満たす。これと(3.115)より,(3.118)が成り立つ。

αn2(z)は,

αn2(z) = α(z)−φn(z), (3.123)

α(z) =

l=0

A2l+1z2l+1, (3.124)

φn(z) def= Anzn+An+2zn+2+An+4zn+4+· · · (3.125) とも書ける。よって,

Fn(z) = sin(α−φn)

= sinαcosφncosαsinφn

= sinα (

1−φ2n

2 +· · ·)

(

1−α2

2 +· · ·)(

φn−φ3n 3! · · ·)

(3.126) であり,

[Fn(z)]n = [sinα(z)]nn(z)]n

= [sinα(z)]n−Anzn (3.127)

となる。

(3.114)は,

An= (1)(n1)/2 n

1

4n1 for n= 1,3,5 (3.128)

と書ける。よって,

An= (1)(n1)/2 n

1

4n1 for n= 1,3,· · · (3.129) が予想される。以下で,この予想が正しいことを示す。まず,(3.129)の仮定して(3.127)の右辺を計算 する。それを(3.118)の右辺と等しいと置いてAnを求め,これが(3.129)になることを示す。

(3.129)のとき,

α(z) =

l=0

(1)l 2l+l

1 42lz2l+1

= 4

l=0

(1)l 2l+l

(z 4

)2l+1

= 4 tan1 z

4 (3.130)

となる。ただし,

tan1z=

l=0

(1)l

2l+lz2l+1 for |z|<1 (3.131) を用いた。今,

θ(z)def= tan1 z

4 (3.132)

とおくと,

sinα(z) = sin(4θ)

= 2 sin 2θcos 2θ

= 4 sinθcosθ(cos2θ−sin2θ)

= 4 tanθ

1 + tan2θ

1

1 + tan2θ

( 1

1 + tan2θ tan2θ 1 + tan2θ

)

= 4 z/4

√1 + (z/4)2

√ 1

1 + (z/4)2

( 1

1 + (z/4)2 (z/4)2 1 + (z/4)2

)

= z 1(z/4)2 [1 + (z/4)2]2

= z[(

1 +z2 42

)1]2

z3 42

[(1 +z2 42

)1]2

= z [∑

k=0

(−z2 42

)k]2

−z3 42

[∑

k=0

(−z2 42

)k]2

(3.133) となる。ただし,第4等号で

cosθ= 1

1 + tan2θ, sinθ= tanθ

1 + tan2θ for |θ|< π

2 (3.134)

を用い,第5等号で

tanθ(z) = tan(

tan1 z 4 )

= z

4 (3.135)

を用いた。今,n= 2l+ 1とすると,

[sinα(z)]n = [sinα(z)]2l+1

= z [(∑

k=0

(−z2 42

)k)2]

2l−z3 42

[(∑

k=0

(−z2 42

)k)2]

2l2

= z

l m=0

(−z2 42

)m(

−z2 42

)l−m

z3 42

l1

m=0

(−z2 42

)m(

−z2 42

)l−1−m

= z(l+ 1)(1)lz2l 42l −z3

42l(−1)l1z2l2 42l2

= (2l+ 1)(1)l 42l z2l+1

= n(−1)(n1)/2

4n1 zn (3.136)

となる。これを(3.127)に代入して,

[Fn(z)]n = n(1)(n1)/2

4n1 zn−Anzn (3.137)

を得る。この式の右辺が(3.118)の右辺と等しいとして,

n2An−An = n(1)(n1)/2

4n1 zn−Anzn, An = (1)(n1)/2

n

1

4n1 (3.138)

が得られる。これは,最初に仮定した(3.129)に等しいので,(3.129)が正しいことが分かる。

(3.129),(3.113)を(3.91)に代入して,

ϕ(X) =

l=0

A2l+1e(2l+1)µX

= 4

l=0

(1)l 2l+l

(eµX 4

)2l+1

= 4 tan1 eµX

4 (3.139)

= 4 tan1 f(X)

4 (3.140)

を得る。ただし,最後の等号で(3.109)を用いた。(3.139)はsine-Gordon方程式のキンク解として知ら れているものである。

λを復活させると,(3.139)は

ϕ(X) = 4

λtan1eµX

4 (3.141)

= 4

λtan1λf(X)

4 (3.142)

となる。(3.139)の等号は次のように考える。簡単のためXをc数と思うと,(3.131)より,

|eµX| 4 <1,

µReX <ln 4 (3.143)

の範囲で(3.139)が成立する。ところで,ϕ(X)は微分方程式(3.94)の解であるから,解析関数であるは

ずである。よって,(3.143)以外での領域の解は,(3.143)での解を解析接続したものであり,従って,任 意のXに対して(3.139)が成り立つ。つまり,(3.109)のとき,(3.91)の仮定は,(3.143)の範囲でしか 妥当でないのである。すなわち,(3.143)以外での範囲では,ϕ(X)f(X)の関数ではあるが,f(X)の 級数展開では表わせない。

4 まとめ

本論文では真空の属性について詳しく考察した。§1.2.2において場の量子論では,非可算無限個の真 空が存在することを見た。§1.2.1でみたように,量子力学では真空は1個しかないので,場の量子論の 方がはるかに豊かな体系であることが分かる。§2.1ではダイナミカルマップの考え方を学んだ。すなわ ち,いかなる演算子もFock空間への作用によって定義されるため,準粒子によって表わされる。異な る準粒子を用いることは,異なる相を記述することに対応する。§2.2.1では,時間に依存しない大域的

演算子が(2.58)で与えられることを見た。この表式はエネルギー保存則と運動量保存則から導かれた。

§2.3.2では,(2.58)の表式から南部-Goldstone定理を得た。この導出法は,相対論的な場合にも非相対

論的場合にも適用できる一般のものであった。南部-Goldstone定理の証明には,通常,付録Bの ward-高橋の関係式が用いられるが,§2.3.2での証明は極めて直感的である。

§2.3.2で見たように,変換(2.96)に伴いNG場は(2.113),すなわち

χθ(x) =χ(x)−cθ (4.1)

と変換される。これは真空の並進対称性が保たれているときのボソン変換である。この変換により,場 の秩序パラメーターは(2.125)となり,これは位置と時間(x, t)によらない定数である。真空の並進対称 性を破るボソン変換は(2.73),すなわち,位置と時間(x, t)に依存するf(x)により

φf(x) =φ(x)−f(x) (4.2)

で与えられる。このとき,場の秩序パラメーターは(2.132)となり,位置と時間(x, t)に依存する。ハイ ゼンベルグ場ψ(x)の方程式を準粒子で展開し,準粒子の次元で式を分類すると,最低次とその次の次 数の方程式として(2.142),(2.143),すなわち,

Λ(∂)ϕ = j[ϕ], (4.3)

(

Λ(∂)−j1[ϕ]

)

ψ0 = 0 (4.4)

が得られる。(4.4)は,巨視的物体が存在するときの準粒子場の従う方程式である。この左辺第2項の巨 視的ポテンシャル−j1[ϕ]の存在が本質的である(これはボソン変換前は0である)。巨視的物体の静止

系では,iϕ(x)が(4.4)のゼロ・エネルギー・モードの解となる。このことから,量子力学的演算子の

存在が導かれる。量子力学的演算子は,巨視的物体が存在することにより,真空の並進対称性が自発的 に破れたことに付随する南部-Goldostone粒子である。量子力学的演算子は巨視的物体の位置や運動量 を表わす。場の量子論から自然に,真空の属性として,このような演算子が現れるというのは,新鮮な 驚きであった。

§3.1ではc-q転化条件とポアンカレ代数から,一般化座標Xの表式を得た。§3.2ではsine-Gordon モデルを考え,f(x) =eµXのとき,場の秩序パラメーターが

ϕ(X)tree= 4

λtan1eµX

4 (4.5)

となることを見た。

A 付録 A

A.1 個数状態

正準交換関係

[a, a] = 1, [a, a] = 0, [a, a] = 0 (A.1) を満たしている生成演算子aと消滅演算子aを考える。今,

N def= aa (A.2)

を定義すると,これはエルミート演算子である。N の固有状態|n⟩aの個数状態)を

N|n⟩=n|n⟩ (A.3)

によって定義する。この式のをとって,nmに換えて,

⟨m|N =m⟨m| (A.4)

を得る。(A.3)に⟨m|を作用させたものから,(A.4)に|n⟩を作用させたものを引いて,

(n−m)⟨m|n⟩= 0 (A.5)

を得る。この式のm=nの場合から,

n =n (A.6)

が得られ,m̸=nの場合から

⟨m|n⟩= 0 for =n (A.7)

が得られる。

(A.3)に⟨n|を作用させると,

⟨n|N|n⟩=n⟨n|n⟩ (A.8)

となる。左辺は,

⟨n|N|n⟩ = ⟨n|aa|n⟩

= ||a|n⟩||2 0 (A.9)

であり,右辺は,

n⟨n|n⟩=n|||n⟩||2 (A.10)

であるから,

n≥0 for |||n⟩|| ̸= 0 (A.11)

を得る。

また,交換関係(1.6)より,

[N, a] = [a, a]a=−a, (A.12)

[N, a] = a[a, a] =a (A.13)

である。これを用いて,

N a|n⟩ = (aN−a)|n⟩= (n1)a|n⟩, (A.14) N a|n⟩ = (aN +a)|n⟩= (n+ 1)a|n⟩ (A.15) を得る。これより,a|n⟩a|n⟩N の固有値(n1),(n+ 1)に属する固有状態であると分かる。と ころで,n≥0であるから,これが(A.14)と両立するためには,ある最小値n0(0)が存在して

a|n0= 0 (A.16)

でなくてはならない。この式にaを作用させて

aa|n0=N|n0= 0 (A.17)

を得る。これと(A.3)より

n0 = 0 (A.18)

と分かる。以上より,

n= 0,1,2,· · · (A.19)

を得る。なぜなら,もしこれ以外のnが存在すると,(A.14)より,an|n⟩⌈n⌉n以上の最小の整数)

N の固有値が負の固有状態となってしまうからである。

今,|n⟩

⟨n|m⟩=δnm (A.20)

と規格化する。ところで,(A.15)より,

a|n⟩=cn|n+ 1 (A.21)

である。両辺のノルムをとると,

⟨n|aa|n⟩=|cn|2 (A.22)

となる。左辺は,

⟨n|aa|n⟩=⟨n|(N+ 1)|n⟩=n+ 1 (A.23) となるので,

cn=

n+ 1 (A.24)

を得る。ただし,位相はcnが正の実数になるように選んだ。これを(A.21)に代入して,

a|n⟩ =

n+ 1|n+ 1⟩, (A.25)

|n⟩ = 1

√na|n−1⟩ (A.26)

が分かる。この第2式をくり返し用いて,

|n⟩= 1

√n!(a)n|0 (A.27)

を得る。

関連したドキュメント