練習 †
解くべき方程式として、1粒子のシュレーディンガー方程式
(X3-10)
を考える。
特に、
として、容易に解けるポテンシャル
に扱いの難しい
が加わった効果を考えよう。
このとき、
(X3-11)
と見なせば、この問題を (X3-1) と同様に Green 関数を用いて解くことができる。
すなわち、
(X3-12)
を満たす斉次方程式の解
(
のみの時の波動関数)と、
(X3-13)
を満たす Green 関数を用いて、方程式の解を
(X3-14)
と表せる。
ただこの式が (X3-9) と大きく異なるのは、
右辺にも求めたい
が入っていることである。
すなわち、(X3-9) は解ではなく、未だ
の「方程式」である。
を求めるにはこの方程式を解かなければならない。
形式的には、(X3-14) の右辺の
に (X3-14)
自体を繰り返し代入して、
(X3-15)
のように解を書ける。
-
が小さいときには
の次数で打ち切ることで近似解を求められそう
-
が大きくても、級数をうまく足せる場合には正確な値を求められるかも?
今の場合 †
http://wyvern.phys.s.u-tokyo.ac.jp/f/lecture/corrcondmat/dyson.pdf を発見して気付いたことには、
今の場合には1粒子のシュレーディンガー方程式ではなく、第2量子化後の Heisenberg 方程式を元にする必要がある。忘れてた(汗)
その形は (8.21) で見たように
である。§9-1 あたりまでを念頭に、ハミルトニアン演算子を
として不純物散乱ポテンシャル、静電ポテンシャル、それ以外に分けて書けば、(8.29A)、(8.106)、(9.1) より
などとなる。
各成分について
の交換関係を調べると・・・
(8.24) より
(8.30A) より
同様に
が成り立てば、
などが分かる。
#あれ、
のハイゼンベルグ表示とシュレーディンガー表示との区別をちゃんとしてないけれど大丈夫だろうか?
すなわち、電子・電子相互作用が無い場合、
となって、整理すると解くべき方程式は
であり、符号を除いて上記1粒子のシュレーディンガー方程式に帰着する。
電子・電子相互作用について †
電子・電子相互作用を組み入れる場合には上記リンク先のように、
の形のポテンシャルを追加で考えれば良い。
の交換関係は、
括弧内を略記して、生成・消滅演算子の交換関係
に注意しながら変形すると、
したがって、
相互作用が対称性を満たせば
を使って、
と表せる。
電子・電子相互作用を入れた場合、
である。
ここから Dyson 方程式を導出する方法はまだ理解できていないのだけれど、
教科書で 8-10 あたりを読むためには必要なさそうなのでしばらくそのままにして進んでみる。
Green 関数の性質 †
以下、1電子のシュレーディンガー方程式の式で色々考えてしまったのだけれど、
第2量子化後の式でもほぼ同じになりそうなので・・・
ちょっとノーテーションがおかしいけれどとりあえずそのまま放置します。
因果律 †
Green 関数が
にしか値を持たないことが「因果律」に相当する。
Green 関数が
にしか値を持たなければ、時刻の積分を
以下の時間範囲に限定できて、
(X3-16)
これは「 "現在の" 波動関数は "過去の" 波動関数と "過去の" ポテンシャルにのみ依存する」という主張に対応する。
しかしよく知られるように、シュレーディンガー方程式を始めとする物理学の基礎方程式には、
時間の矢の指し示す方向に関する情報は含まれておらず、時間の反転に対して対称である。
もし Green 関数に因果律が現われることがあるとすれば、
それは Green 関数の取り方に任意性があるためで、
時間に対する境界条件を満たすように Green
関数を選ぶと、ある場合には因果律が現われてくる、
と言う話なのだと思う。
Green 関数が r や t の相対値で表される意味 †
元のポテンシャル
が
や
を顕わに含んでいなければ、
(X3-17)
のように、Green 関数は座標の相対値で表されることになる。
これは、得られる解が新たに導入する
の絶対座標や絶対時刻に依存しないという意味だから物理的には当然。
すなわち、元の系が空間、時間に対する並進対称性を持つ場合、
を導入する時刻や位置を一定値ずらしたなら、
同じだけずれた解が得られるべき。
このように相対座標や相対時刻で表されたグリーン関数を教科書のようにフーリエ変換すると、
(X3-18)
のようにフーリエ成分の非対角項がゼロとなる。
教科書ではこのことを「エネルギーや運動量が保存する」と言っているのだけれど、
何のエネルギー、何の運動量が何と何との間で保存する話をしているのか、
今ひとつ理解できていない。
→ 元のハミルトニアンに
や
が顕わに現われないことと、
粒子の運動のエネルギーや運動量が常に保存することとが一対一に対応する???
→ いわゆる解析力学の対称性の話からすれば、時間や空間座標の並進対称性が
全エネルギーや全運動量の保存則と関連していることになるのだけれど、
そういう話・・・になっているのかどうか、ちょっと真意が分からない
(X3-19)
そして、特に「エネルギーや運動量が保存される場合」には、
(X3-20)
となる。
だから、対角成分しか残らないときにも
が必ずしも
や
だけに依存していると言うわけではない。
グリーン関数の k, k' を始状態・終状態と参照する意味 †
元の微分方程式 (X3-10) を解くいう意味に於いては、Green 関数の
および
成分というのは (X3-19) で用いるような意味しか持たない。
しかし、教科書ではファインマン図等を書きながら、
あたかも
や
が始状態・終状態であり、
その間で散乱を受ける(何が?)といった参照の仕方が見受けられる。
このような呼び方・見方はどういった意味で行われているのか・・・まだ理解できていない。
- どっちが始状態でどっちが終状態か、という議論に意味があるのか?
→ Green 関数は必ずしも時間反転に対して対称ではないが・・・
- 始状態、終状態とは「何の」状態か?
それともこれは何らかのアナロジーで、単に式の形が別の問題の式と似ているとか、
そういう話なのだろうか?
たとえば、(X3-15) の積分変数の名前を付け替えると、
のようにまとめることができて、このとき
である。
に含まれる各項は、時刻
位置
における波動関数値
が追加のポテンシャル
と
の各点で
回の相互作用をして時刻
位置
における波動関数値
に与える影響を表していると見なすことができる。
もっとも
は上記の意味での Green 関数「ではない」。
すなわち (X3-12) を満たさない。
Green 関数が含む情報 †
上の議論から、Green 関数(の一般解)には
に関する斉次方程式の情報しか含まれないことになる。
だから、Green 関数(の一般解)を導くのに熱統計平均などの概念を用いる必要はないはず。
しかし、教科書では Green 関数の導出に初期時刻における熱平衡状態の存在を仮定しており、
また、結果導かれた Green 関数に因果律(時間の矢の方向の情報)が含まれている。
加えて、Green 関数に
の4種類があることも重要。
たとえば、上記のように解を求める際には、このうちどれを使えば良いのだろうか?
という疑問が当然持ち上がる。
このあたり、Green 関数には演算子の性質の他に「境界条件」の情報が含まれているのではないかと想像している。
物理学の基本方程式となる微分方程式が時刻の反転に対して対称であっても、
実世界には明らかに「時間の矢」が存在している。
これは恐らく現実的な解を得るためには境界条件(時刻無限大でエントロピーが最大化する?)
を含めて考えなければならないと言うこと。
そのような境界条件を満たす Green 関数を導くのに上記の4つの Green 関数が役立つということじゃないか・・・と。
まったく想像の域を出ないのだけど。
Green 関数に含まれる t0 †
教科書では Green 関数の導出に特別な時刻
を用いた。
これは系の初期状態が与えられる時刻である。
Green 関数に
における状態が含まれるのは、
これも上で述べた「境界条件」と同様の話なのだろうか?
4つの Green 関数 + 2 †
- retarded = 遅延
-
でしか値を持たず因果律を満たしている
- advanced = 先進
-
でしか値を持たず反因果律(?)を満たしている
- time order = 時間順序
-
と
と両方に値を持つ
- anti time order = 逆時間順序
-
と
と両方に値を持つ
- lesser
-
経路順序 Green 関数ではあるが、実時間上では Green 関数にはならない
- greater
-
経路順序 Green 関数ではあるが、実時間上では Green 関数にはならない
注) 経路順序の Dyson 方程式を実時間に射影すると Dyson 方程式にならない理由は
であっても
となる可能性があるため、
なところにある。
より、
と置けば、任意の係数
に対して
となって、
は Dyson 方程式を満たす。
つまり、
にはこれだけの任意性があると言うこと。
→ 他にはないことを検証していないので、恐らくもっと他にも自由度はあるのかも
上記のように Green 関数を使ってシュレーディンガー方程式を解くという問題を考えれば、
これらの係数も系に合わせて正しく決定してやらなければ解を得られないことになる。
には
の情報(初期条件)が含まれているが、
には含まれていない。実のところ、
は元の方程式の「時間発展の情報のみ」しか含んでいない by 佐野先生。
9 章で電荷密度、電流密度を求めるには
を調べているので、そちらには初期状態の情報が入ってきているはず。