機能を利用しています。最新のバージョンのブラウザではむしろ多くの利便性を享受するために有効にしておくことの方が推奨されています。有効にして美しい数式表示をお楽しみください。発散してしまうのか今回の話はタイトル詐欺です。[次の記事へ]予定変更のお知らせさて、前回に引き続いて電磁場やスピノル場についても伝播関数を計算していこうと思ったのだが、伝播関数を求めて一体何の役に立つのかという説明がまだなので、それほど興味が持てていないかもしれない。スカラー場の伝播関数を求めることには成功しているのだから、以前に途中で放り出した話の続きを話す準備はもうできていることになるわけだ。先にそちらの話を片付けてしまった方がすっきりして良いだろう。伝播関数をどのように使うつもりなのかという実例を見る機会にもなる。いう話をしてしまおう。「実スカラー場の摂動計算2」という記事の最後で、次の形までは計算できていたのだった。\)については、前回の記事によって次のように書けることが分かったのだった。\)をちゃんと区別するために添字を付けておくことにしよう。\]伝播関数の積分は、もうこれ以上は実行できそうにないのだった。実行できるのなら、前回の記事で計算をもっと先まで進めることができていただろう。いうわけで、それ以外の方法でこの式を先へ進めることを考えないといけない。これで伝播関数の中身を積分してやれば何か違ったところへたどり着けるのではないだろうか。\)をうまくまとめる形に整理してみよう。\)でくくり直したのである。このようにしてみると、最後の行の多数の指数関数の部分と同じ形になっていることに気付く。そちらと一緒にしてしまった方がいいのではないかという気がしてくる。\]ややこしくなってきてしまったが、頑張ってまとめよう。\)に関する部分とに分かれてくれた。それぞれの変数で積分を実行することができるだろう。次の式のような計算が可能になる。\]このカッコ内の積分の一つ一つはどれも「デルタ関数の積分表示」であるから、デルタ関数に書き換えてやることが出来る。成分であって、一つ一つのデルタ関数が「エネルギーと運動量」に関する条件を表している。あるべきだと主張しているようである。要するに「エネルギー保存則」と「運動量保存則」である。正負のどちらが流入でどちらが流出を表すという一貫した規則は残念ながら式からは失われてしまっている。デルタ関数に直す前の段階ではあまりそこまで意識していなかったせいであって、それよりも式をすっきり表すことを重視してしまった。計算結果を得る上では、そのようなこだわりは重要ではない。それでも念の為、丁寧に説明しておくことにしよう。\)に付く符号が負になるように、デルタ関数の中身の符号を丸ごと逆転させるべきであろう。番目のデルタ関数の中身の符号を逆にすればいいのである。\)の前に付いている符号がそれぞれの頂点では逆符号になるので、運動量やエネルギーが一方の頂点から他方の頂点へと流れたと解釈できて辻褄が合う。\)自体は正の値も負の値も取り得るので、どちらからどちらへ流れたのかと判断できるようなものはない。これからあらゆる範囲で積分するのだから、どちらの流れも起こると言って良さそうだ。表現するために存在していたということになる。解釈をしてみる頂点から頂点へとエネルギーや運動量を運んでいるものの正体は何だろうか?それは内線で表される何かである。外線は初期状態や終状態の粒子として観測されるが、内線は反応の途中にだけ存在しており、実際に観測されることがない。観測はされないが、理論上は外線に対応する粒子と同じように生成消滅演算子で表されているので、場の励起状態なのであろう。それで、通常の粒子と同じように内線に対応する粒子も存在すると考えていいだろうということで「仮想粒子」と呼ぶのである。粒子として認めてもいい何かであろうというわけである。「仮想粒子は確率のゆらぎの中で常に生成と消滅を繰り返しており、ごく短時間に限ってはエネルギー保存則を満たさなくてもいい」と説明されることがあるが、上の計算内容を見る限り、どの瞬間も完全にエネルギー保存則を満たしている。これはどういうことかと言うと、「粒子が一時的に現れて実際に古典的なビリヤードゲームをしている」というイメージでこの反応過程を考えようとするのは無理があり、そもそもその解釈だとエネルギー的に説明が付かない、という話なのである。いう古典的なイメージのようなことは実際には起きていないと考えるのがより正しい理解である。一般向けに分かりやすく説明しようとして編み出された方便なのであろう。昔の科学者たちが頑張って解釈をしようとしたときのイメージの一つが、一般向け解説書で語り継がれてしまっているのである。存在確率の揺らぎによって一時的に時空からエネルギーの借金をしても構わないなどという説明は、現代ではあまり適切ではない。\)で表されていたが、これを全時間、全空間で積分したのだった。これがどういうことかと言うと、始点としてあらゆる時間のあらゆる地点を想定し、さらに終点についてもあらゆる時間、あらゆる地点を想定した上での、全ての組み合わせについて、仮想粒子のやり取りをシミュレーションして合計したようなイメージである。「伝播関数」という呼び名の由来はそんなところだろう。イメージはイメージに過ぎない。古典的な意味での粒子が実際に時間を掛けて飛んでいったわけではない。そもそも、なぜ全時空を想定して計算しているかといえば、素粒子の反応はごく一瞬で、かつ、ごく狭い領域で起こるけれども、それは素粒子にとっては十分に長い時間であり、十分に広い空間で起きたと考えられるので、無限大の範囲で考えても計算上はほとんど違いが出ないだろうという見立てが成り立つからである。点間の時間や距離が無限大と言えるほどに長くなると指数関数の肩の数値が極端に大きくなる。ついて積分するときに平均化されやすく、打ち消されてしまって、短時間、短距離で起きる状況と比較して効果が小さくなってしまう。それで、ほとんど無視しても良いと言えるようになるわけである。このように理論を正当化できるし、無限の範囲で積分した方が計算が楽なのでそうしているのである。人間にとっての短時間や短距離だけ、実際に仮想粒子が移動したのかと言うと、そういうわけでもない。実際に計算した内容は、そのような状況を仮定した場合に生じ得る確率の波の振幅の合計である。自然界は、実際に粒子を移動させることなく、あたかもそういうことが起きた場合の確率の波を一瞬にして計算して、その結果を現実に反映させるようなことを行っているかのようである。式のような形で表されることになったのである。通りあることが反映されており、それによって移動を許されるエネルギーや運動量に違いがあるからである。この後で、全エネルギーや全運動量の範囲で積分することによって、許された全ての経路の確率情報を合算することになる。\)の値は唯一つに定まるであろう。\)が一緒に入っていなければ、それぞれの値を定めることができたであろう。\)が一緒に入っている。\)の値を連続的にさまざまに変えた無限の重ね合わせが考えられるのである。式のカッコ内の最初の一つだけを取り出して、積分結果がどうなるかを見てみよう。\)に関する積分をまずは実行してやる。\]でなければならないというだけであり、これ自体はただの初期状態と終状態のエネルギーと運動量の保存則を意味していて、矛盾を起こすわけでもなく、なんら問題はない。式の続きは次のようになる。\)を含んでいないので今後の計算には関係してこない。取り除いて変形を続けよう。\)に添え字を付ける必要もないので、見やすさを重視して外しておいた。\)としてまとめておいた。元ベクトルであるのでそうするわけにもいかない。式の積分は発散するらしいのである。式のどの項を使っても同じ形になるのであり、全部を合わせてみたところで発散することに変わりないだろう。近頃、記事が長すぎてスマホで読むのがつらいという感想をもらうことが増えたので、次回に続くということにして一旦休憩を入れることにしよう。一回の話で終われると思ったのに、こんなに面倒くさいとはなぁ......。