経路積分のソースを表示

{{量子力学}}
'''経路積分'''（けいろせきぶん）は、[[リチャード・P・ファインマン]]が考案した[[量子力学]]の理論手法。'''ファインマンの経路積分'''とも呼ばれる。

== 概要 ==
[[ファイル: Three_paths_from_A_to_B.png|thumbnail|250px|''t''<sub>0</sub> で同時に A 点を出発した粒子が、別の ''t''<sub>1</sub> で同時に B 点に到達する無数の経路のうちの 3 つを示している。]]
[[古典力学]]（古典系）では、ある質点の運動の様子（運動の経路）は初期状態を決めてしまえば後は[[運動方程式]]を解くことによって一意的に定まる。一方、量子系では量子的な不確定さ（[[量子ゆらぎ]]）が存在するため、古典系のような一意的な経路の決定はできない。

量子系で[[素粒子]]などの運動の様子を求める方法はいくつか存在するが、その一つとして'''経路積分'''による方法がある。

経路積分の発想では、始点と終点を結ぶ経路は無数にかつ大域的に分布している。それら無数の経路の合成（計算的な意味での合成）が求める結果となる。

経路積分法によって求めた測定値の確率分布は、通常の演算子形式で求めた確率分布と一致する。よって演算子形式と経路積分法は等価な理論である。

演算子形式（[[エルヴィン・シュレーディンガー|シュレーディンガー]]による[[波動力学]]や[[ヴェルナー・ハイゼンベルク|ハイゼンベルク]]の[[行列力学]]）では、系の時間発展は運動方程式（例えば[[シュレーディンガー方程式]]）を解くことで求まるが、経路積分では運動の経路に着目して、経路全体に対する大域的な視点で[[量子力学]]上の問題を扱う。ファインマンは、[[ポール・ディラック]]の論文にあった「時刻 ''t'' と ''t'' + Δ''t''（Δ''t'' は微小とする）の 2 状態間の[[遷移]]の振幅が、当該する系の[[ラグランジアン]]の指数関数に対応する」という記述に着想を得て、この手法を考え出した。ファインマン自身は、この手法を使って[[液体ヘリウム]]の極低温での[[ロトン]]の[[励起]]の問題などを理論的に扱った。

== 発想 ==
ファインマンは[[ディラック]]の著書<ref>[[#dirac|Dirac (1983)]] V.The Equations Of Motion Ş32 P.128</ref>中の
{{Indent|
<math>\exp \left\{ i\int_{t_a}^{t_b} L(t) \,dt /\hbar \right\}
 = \exp\{ iS(t_b,t_a) /\hbar \}</math>
}}
は量子力学の <math> \langle q_{t_b} \mid q_{t_a} \rangle </math> に対応する、という指摘に興味をそそられたと言われている。

具体的な経路積分の発想は、[[二重スリット実験]]と関連する。二重スリット実験ではスリットの数は 二つであるが、これを無限個に拡張した考え方が経路積分である。

スリットの数が二つなら、経路は二つである。スリットの数が無限個なら、経路の数は無限個である。スリットの数が無限個になるという状況は、スリットの刻まれた衝立が存在しない空間、つまり障害物のない空間を意味する。従って、真空中では経路が無限個であると考えられる。

そのアイデアを数式で定式化したのがファインマンである。

== 経路の干渉 ==
[[二重スリット実験]]のように、少し条件が複雑になれば最終的な結論は変化し、古典力学の結論と一致するとは限らなくなる。

二重スリット実験ではスリットが二つあり、途中点が二つある。古典力学では単に経路の足し算があるだけで、ピークが二つ観測されるはずであるが、これは実験事実と異なる。一方、経路積分では経路の干渉を計算すると、縞模様の干渉縞ができる（これは、実験事実と一致する）。二重スリット実験の結果（干渉縞）は古典力学の理論では解釈できないが、経路積分の手法で考えれば妥当な説明を得ることができる。

== 詳細説明 ==
経路とは、位置を時刻 t の関数として表した <math>q(t)</math> のことを指す。

時刻 t<sub>A</sub> に位置 q<sub>A</sub> を出発し、時刻 t<sub>B</sub> に位置 q<sub>B</sub> に到達する粒子の運動を考える。
系の古典的ラグランジアンを <math>L(q,\dot{q})</math> とすると、その作用は
{{Indent|
<math>S[A,B]
 = \int_{t_A}^{t_B} L (q, \dot{q}, t) dt </math>
}}
で表される。
ファインマンは状態 A から状態 B に遷移する量子力学的な確率振幅は、 A から B へ行くすべての取りうる経路からの寄与についての和をとった
{{Indent|
<math>K_{A \to B} = \int_A^B \mathcal{D}q\, e^{ (i/\hbar)S[A,B]}</math>
}}
として表せることを見出した。
ここで、形式的な積分 <math>\int \mathcal{D}q</math> は、時間を
{{Indent|
<math>\Delta t=(t_B-t_A)/N,~t_{j+1}=t_j+\Delta t,~
t_0=t_A,~t_N=t_B,~q_j = q(t_j)</math>
}}
と分割し、多重積分の極限
{{Indent|
<math>\int\mathcal{D}q = \lim_{N\rightarrow \infty}
 \frac{1}{C} \prod_{j=1}^{N-1} \int dq_j </math>
}}
で与えられるものである。
C は極限を収束させる為の規格化因子で、ラグランジアンが
{{Indent|
<math>L(q,\dot{q}) = \frac{m}{2}\dot{q}^2 -V(q,t)</math>
}}
で表されるときは、
{{Indent|
<math>C = \left( \frac{2\pi i\hbar\Delta t}{m} \right)^{N/2}</math>
}}
となる。

ファインマン自身は、この関係式を古典力学と量子力学を関係付ける基礎原理としてとらえ、量子化を与える新たな手法として提案した('''経路積分量子化''')。

なお、<math> \hbar \to 0</math> とすると、古典力学の問題に帰着する。もう少し詳しくいえば、マクロスコピックな系ならば、量子力学は古典力学に帰着するはずであるから、経路積分ではすべての経路を足し挙げているところが、古典的経路に積分が集中するはずである。このメカニズムは経路が互いに干渉することによる。具体的には、上記の式の被積分関数は系の[[作用積分]]を偏角にもつ絶対値 1 の複素数だけれども、一般の経路では作用積分の経路の依存性が大きいため、被積分関数が激しく振動して相殺してしまう。その相殺がおこらない経路とはすなわち作用積分が停留する点で、それはまさに[[最小作用の原理]]より古典的な経路である。

== 具体例 1 ==
1 + 1 次元時空 (''x'', ''t'') を考える。粒子の質量を ''m''（粒子は古典的なものではなく量子力学的なものとする）、粒子の感じるポテンシャル場を ''V''(''x'') とし、始点を A、終点を B とする。これに関しての[[作用積分]]（''S''[''x''(''t'')] とする）は、

{{Indent|<math> S[x(t)] = \int_{t_{\rm A}}^{t_{\rm B}} \left[ {1 \over 2}m \left( {dx \over {dt}} \right)^2 - V(x) \right] dt </math>}}

となり、A → B における確率振幅は、

{{Indent|<math> K_{\rm A \to B} = \int_{-\infty}^{\infty} dx_1 \int_{-\infty}^{\infty} dx_2 \cdots \int_{-\infty}^{\infty} dx_{N - 1} e^{ { i \over {\hbar}} S[x(t)] } </math>}}

となる。上式右辺の多重積分部分は、時間の経過 ''t''<sub>A</sub> → ''t''<sub>B</sub> を ''N'' 等分したものである（厳密には、''N'' → ∞ と無限の多重積分となる）。つまり時間を離散化して、粒子の運動の経路を細かく分けた微小な直線として、それらすべてをサンプルとした和（つまり経路に対する積分）を行っている。

== 具体例 2 ==
[[第一原理分子動力学法]]では、電子状態部分と原子の構造の最適化を同時に行う。通常、原子部分は電子よりずっと重いので古典的に扱うが、水素のような非常に軽い原子の動力学（挙動や安定位置）を扱う場合、その量子的効果が無視できなくなる。電子部分はシュレーディンガー方程式を出発点とする従来の方法で扱えるが、水素原子核（＝[[陽子]]）部分を量子力学的に扱うには、経路積分の手法を用いるのが有効である。これに対応する手法として、[[第一原理経路積分分子動力学法]]がある。

== 数学的な問題点 ==
物理的に定式化されたが、数学的な基盤は未だ構成されていない。特に、経路積分における[[測度]]は定数倍のスケールは無視できるものであるが、そのような測度は[[関数解析]]や[[ルベーグ積分]]論によって定義されていないものであるため、大きな問題となっている。


== 脚注 ==
<references/>

== 参考文献 ==
; 論文
* R. P. Feynman "Space-Time Approach to Non-Relativistic Quantum Mechanics" Rev. Mod. Phys. '''20''' (1948) 367. [http://br.geocities.com/ciencia_traduzida/originais/feynman_arquivos/feynman1.pdf PDF]
* R. P. Feynman "Space-Time Approach to Quantum Electrodynamics" Phys. Rev. 76, (1949) pp.769-89 [http://geocities.yahoo.com.br/ciencia_traduzida/originais/feynman_arquivos/feynman2.pdf PDF]
; 書籍
* {{Cite book|和書
|author=P. A. M. Dirac
|title=The Principles of QUANTUM MECHANICS
|publisher=みすず書房
|year=1963
|isbn=4-622-02512-4
|ref=dirac
}}
* {{Cite book|和書
|author=ファインマン, ヒッブス
|title=量子力学と経路積分
|publisher=みすず書房
|year=1995
|isbn=4-622-04100-6
}}
* {{Cite book|和書
|author=J.J.Sakurai , San Fu Tuan
|title=現代の量子力学(上)
|publisher=吉岡書店
|year=2009
|isbn=978-4-8427-0222-3
}}

== 関連項目 ==
* [[ファインマン-カッツの公式]]
* [[二重スリット実験]]
* [[重ね合わせ]]
* [[シュレーディンガーの猫]]
* [[コペンハーゲン解釈]]
* [[エヴェレットの多世界解釈|エヴェレット解釈]]

== 外部リンク ==
* {{Spedia|Path_integral|Path integral}}

{{DEFAULTSORT:けいろせきふん}}
[[Category:量子力学]]
[[Category:積分法]]