Feynman の要請:各経路の振幅は
AI 生成・木下が未勉強
量子力学の様々な構成方法 第3部 第1章 §3.1.3 ★★★ 経路積分の構成の公理そのもの。すべての経路が同じ大きさで寄与し、位相だけが作用で決まる
前節で、量子力学の振幅は「すべての経路の振幅の和」の形に書けることを見た。残るのは、1本の経路 にどんな複素数を割り当てるかである。Feynman はこれを次の2つの要請で決めた(R. P. Feynman (1948), Rev. Mod. Phys. 20, 367)。
定義 3.1.1(Feynman の要請)
- (I) 粒子の経路が時空のある領域に入っているかを理想的な測定で調べるとき、肯定の答えが出る確率は、その領域に入る各経路からの複素数の寄与の和の、絶対値の2乗である。
- (II) どの経路も寄与の大きさは同じで、位相はその経路に沿った古典の作用 を で割ったものである。
要請 (I) は前節の規則を経路の言葉で言い直したもので、新しいのは要請 (II) である。古典力学では作用は停留値をとる1本の経路を選ぶための道具だったが、ここでは作用が経路ごとの位相を与える量に変わる。古典の経路は特別扱いされず、ほかのどの経路とも同じ大きさの重みで和に入る。
時間を区切った形
要請 (II) を式 (3.1.8) に入れる。 の粒子について、隣り合う時刻の間を直線で結んだ折れ線の経路の作用を
とおくと、伝播関数は
になる。右端は左の極限の略記で、 を経路積分の測度と呼ぶ。前因子 は、極限が存在して意味のある値になるように選んだ定数で、どの経路にも共通である(次節で自由粒子から決める)。
を区間の左端で評価するか中点で評価するかの違いは、 が滑らかなら で結果に残らない。これは第3部第2章で基準から式 (3.1.12) を導くときに確かめる。
Feynman 自身が述べているように、作用を位相に置く考えは Dirac が先に示していた。Dirac は、短い時間 の遷移振幅 が に「対応する」ことを指摘した(P. A. M. Dirac (1933), Phys. Z. Sowjetunion 3, 64)。Feynman は、この対応を等式として要請に置き、それだけで量子力学を組み立て直した。
ほかの巻では
解析力学から様々な理論分野を組み立てる 第4部第8章(解析力学から様々な理論分野を組み立てる 第4部第8章)は、同じ式 (3.1.12) を正準量子化から出発して導き、運動量の Gauss 積分が Legendre 変換の逆になることを示している。そちらは「解析力学の量子版」として、この巻は「同じ量子力学の別の出発点」として読む。
作用から de Broglie の位相差が出る
要請 (II) が前節の de Broglie の関係を含むことを、二重スリットで確かめる。力の働かない粒子が、時刻 にスリット(位置 )を出て検出面の に着くとする。飛行時間を とすると直線の経路の作用は である(進行方向の運動の作用は2本の経路で共通なので省く)。スリット 1 を 、スリット 2 を とすると、作用の差は
になる。進行方向の速さを 、検出面までの距離を とすると である。これを入れると大きさは ()になり、式 (3.1.3) の位相差と一致する。
de Broglie の波長は、要請 (II) のもとで作用の差から出てくる量である。各スリットの経路を直線の1本で代表させてよい理由は、次の小節の停留の議論と 3.1.5節の厳密な計算で示す。
古典の経路が選ばれる理由
要請 (II) では古典の経路も特別扱いされないので、日常の物体が古典の経路をたどることは説明が要る。作用が に比べて大きい系では、経路を少しずらすだけで位相 が大きく変わり、隣り合う経路の寄与は符号の違う複素数として打ち消し合う。打ち消しが起こらないのは、経路をずらしても作用が1次では変わらない経路、すなわち を満たす古典の経路の近くだけである。この議論を停留位相の方法として式で示すのは第3部第4章で、そこで Hamilton–Jacobi 方程式と WKB 近似へつなげる。
例題 3.1.3 回り道の経路の位相 ★★
オリジナル力の働かない質量 の粒子が、時刻 に を出て時刻 に に戻る。古典の経路は (その場に留まる)で、作用は である。これと比べるため、時刻 に まで行って戻る折れ線の経路を考える。
- (1) 折れ線の経路の作用を求めよ。
- (2) 古典の経路との位相差が になる を、電子()と質量 の微粒子について、 で求めよ。
解答
(1) 前半と後半はそれぞれ時間 で距離 を等速で進むので、速さは である。作用は運動エネルギーの時間積分で、
となる。
(2) 位相差 から である。電子では
で、 も横にずれた経路が古典の経路と同程度の位相で和に入る。 の微粒子では になり、原子核の大きさよりはるかに小さいずれで位相が 回る。微粒子では古典の経路から測れるほど離れた経路はすべて打ち消し合い、古典の経路だけが残る。
近似の裏付け
型 B(極限) | 小さいもの (古典の作用が に比べて大きい) | 証明 条件付き(有限次元の積分では孤立した非退化の停留点について証明済み。経路積分そのものでは、 が十分滑らかで2階以上の導関数が有界なら、短い時間で時間分割の極限と半古典の展開〔第2項まで・剰余の評価つき〕が証明済み:D. Fujiwara (2017), Rigorous Time Slicing Approach to Feynman Path Integrals, Springer。無限次元の Fresnel 積分としての停留位相は S. Albeverio, R. Høegh-Krohn (1977), Invent. Math. 40, 59–106。長い時間・一般の は未確認) | 行き先 近似の数理 第7章
木下の勉強ステータス
木下はまだこの記事を勉強していません。
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com
← AI生成教科書『虎の巻』の記事一覧へ