HOME ＞ 場の量子論 ＞ 経路積分 ＞ 汎関数積分で表した位相空間での経路積分(1自由度)
【前ページ】 【次ページ】
本ページでは…
本ページでは、位置と運動量を連続変数と捉えることで、位相空間での経路積分表示(1自由度)を汎関数積分の形で求める。
前ページまで…
前ページでは、ファインマン核\(K(q_{\scriptsize{\text{F}}}, t_{\scriptsize{\text{F}}};q_{\scriptsize{\text{I}}}, t_{\scriptsize{\text{I}}})\)から出発し、位相空間での経路積分表示(1自由度)を求めた。
\begin{align*} &K(q_{\scriptsize{\text{F}}}, t_{\scriptsize{\text{F}}};q_{\scriptsize{\text{I}}}, t_{\scriptsize{\text{I}}}) \\&=\lim_{N\rightarrow\infty}\int dq_{\scriptsize{1}}\cdots dq_{\scriptsize{N-1}}\ \\&\ \ \ ×{}_{\scriptsize{\text{H}}}\langle q_{\scriptsize{\text{F }}}, t_{\scriptsize{\text{F }}}\vert q_{\scriptsize{N-1}}, t_{\scriptsize{N-1}}\rangle_{\scriptsize{\text{H}}} \\&\ \ \ ×{}_{\scriptsize{\text{H}}}\langle q_{\scriptsize{N-1}}, t_{\scriptsize{N-1}}\vert q_{\scriptsize{N-2}}, t_{\scriptsize{N-2}}\rangle_{\scriptsize{\text{H}}} \\&\ \ \ \cdots{}_{\scriptsize{\text{H}}}\langle q_{\scriptsize{n}}, t_{\scriptsize{n}}\vert q_{\scriptsize{n-1}}, t_{\scriptsize{n-1}}\rangle_{\scriptsize{\text{H}}}\cdots \\&\ \ \ × {}_{\scriptsize{\text{H}}}\langle q_{\scriptsize{2}}, t_{\scriptsize{2}}\vert q_{\scriptsize{1}}, t_{\scriptsize{1}}\rangle_{\scriptsize{\text{H}}} \\&\ \ \ ×{}_{\scriptsize{\text{H}}}\langle q_{\scriptsize{1}}, t_{\scriptsize{1}}\vert q_{\scriptsize{\text{I }}}, t_{\scriptsize{\text{I }}}\rangle_{\scriptsize{\text{H }}} \\&=\lim_{N\rightarrow\infty}\left(\prod^{N-1}_{n=1}\int dq_{n}\right)\left(\prod^{N}_{n=1}\int \frac{dp_n}{2\pi\hbar}\right) \\&\ \ \ ×\exp\left[\frac{i}{\hbar}\sum^{N}_{n=1}\varDelta t\left\{p_{\scriptsize{n}}\left(\frac{q_{\scriptsize{n}}-q_{\scriptsize{n-1}}}{\varDelta t}\right)-H(q_{\scriptsize{n}},p_{\scriptsize{n}})\right\}\right] \tag{1}\end{align*}
内容
汎関数積分とは
汎関数積分とは、被積分関数部分が汎関数であり、積分変数が関数の形をしている積分のことをいう。
汎関数積分で表した位相空間での経路積分表示
前回求めた(\(1\))では、\(N\rightarrow\infty\)の極限をとっていることから汎関数積分の形で表すこともできる。このとき、次の変換を行なう。
\begin{align*} q_{\scriptsize n}=q(t_{\scriptsize n})&\rightarrow q(t)\tag{2} \\p_{\scriptsize n}=p(t_{\scriptsize n})&\rightarrow p(t)\tag{3} \\\sum_{n=1}^{N}\varDelta t&\rightarrow\int^{t_{\scriptsize{\text{F}}}}_{t_{\scriptsize{\text{I}}}} dt \tag{4}\\\frac{q_{\scriptsize n}-q_{\scriptsize {n-1}}}{\varDelta t}=\frac{q(t_{\scriptsize n})-q(t_{\scriptsize {n-1}})}{\varDelta t}&\rightarrow\frac{dq(t)}{dt}=\dot q(t)\tag{5}\end{align*}
\begin{align*}&\left(\prod^{N-1}_{n=1}\int dq_{\scriptsize{n}}\right)\left(\prod^{N}_{n=1}\int \frac{dp_{\scriptsize{n}}}{2\pi\hbar}\right)\\=&\left(\prod^{N-1}_{n=1}\int dq(t_{\scriptsize{n}})\right)\left(\prod^{N}_{n=1}\int \frac{dp(t_{\scriptsize{n}})}{2\pi\hbar}\right)\\&\rightarrow \int\mathcal{D}p(t)\int_{\substack{{}_{q(t_{\scriptsize{\text{I}}})=q_{\scriptsize{\text{I}}}}\\{}_{q(t_{\scriptsize{\text{F}}})=q_{\scriptsize{\text{F}}}}}} \mathcal{D}q(t)\tag{6}\end{align*}
式(\(2\))および式(\(3\))において、位置\(q_{\scriptsize n}\)や運動量\(q_{\scriptsize n}\)は積分変数だが、時刻を表す添字\(n\)が付いている。また、\(N\rightarrow\infty\)の極限をとると、時刻を表す添字\(n\)および時間\(t_{\scriptsize n}\)は連続変数になるため、位置\(q_{\scriptsize n}\)と運動量\(p_{\scriptsize n}\)は時間\(t\)の関数と見なすことができる。また、式(\(4\))では総和を積分表示にしており、式(\(5\))では微分表示を用いた。
最後に、式(\(2\))から式(\(5\))の変換によって、被積分関数に含まれる位置\(q_{\scriptsize n}\)や運動量\(p_{\scriptsize n}\)は単なる変数ではなくなり、\(q(t)\)や\(p(t)\)のように関数の形になってしまった。また、\(N\rightarrow\infty\)の極限をとることによって、積分変数である\(\prod dq_{\scriptsize n}\)や\(\prod dp_{\scriptsize n}\)も連続変数となってしまった。そこで、式(\(6\))のように、積分変数を関数として表記する。今回のように積分変数が関数の場合、\(d\)ではなく\(\mathcal D\)を用いる。また、運動量\(p(t)\)の積分範囲はあらゆる関数形だが、位置\(q(t)\)の積分範囲は\(q(t_{\scriptsize{\text{I}}})=q_{\scriptsize{\text{I}}}\)と\(q(t_{\scriptsize{\text{F}}})=q_{\scriptsize{\text{F}}}\)の条件を満たす関数形になる。※※※
式(\(2\))から式(\(6\))の変換を、式(\(1\))の位相空間での経路積分表示(１自由度)に行なうと、
\begin{align*} &K(q_{\scriptsize{\text{F}}}, t_{\scriptsize{\text{F}}};q_{\scriptsize{\text{I}}}, t_{\scriptsize{\text{I}}}) \\&=\lim_{N\rightarrow\infty}\left(\prod^{N-1}_{n=1}\int dq_{\scriptsize{n}}\right)\left(\prod^{N}_{n=1}\int \frac{dp_{\scriptsize{n}}}{2\pi\hbar}\right) \\&\ \ \ ×\exp\left[\frac{i}{\hbar}\sum^{N}_{n=1}\varDelta t\left\{p_{\scriptsize{n}}\left(\frac{q_{\scriptsize{n}}-q_{\scriptsize{n-1}}}{\varDelta t}\right)-H(q_{\scriptsize{n}},p_{\scriptsize{n}})\right\}\right] \\&=\int\mathcal{D}p(t)\int_{\substack{{}_{q(t_{\scriptsize{\text{I}}})=q_{\scriptsize{\text{I}}}}\\{}_{q(t_{\scriptsize{\text{F}}})=q_{\scriptsize{\text{F}}}}}} \mathcal{D}q(t)\ \exp\left[\frac{i}{\hbar}\int^{t_{\scriptsize{\text{F}}}}_{t_{\scriptsize{\text{I}}}} dt\left\{p(t)\dot{q}(t)-H(q(t),p(t))\right\}\right]\tag{7} \end{align*}
となる。2番目の等号では、被積分関数部分は座標\(q(t)\)と運動量\(p(t)\)の関数の形から値が決まるため、被積分関数部分は汎関数であり、関数を積分変数として汎関数を積分しているため汎関数積分である。よって、式(7)が汎関数積分で表した位相空間での経路積分表示(1自由度)である。
式(\(7\))を解釈してみる。1番目の等号では、各時刻\(t_{\scriptsize{n}}\)における位置\(q_{\scriptsize{n}}\)および運動量\(p_{\scriptsize{n}}\)を積分変数として、時刻\(t_{\scriptsize{\text{I}}}\)から時刻\(t_{\scriptsize{\text{F}}}\)の間であらゆる位置\(q_{\scriptsize{n}}\)および運動量\(p_{\scriptsize{n}}\)で積分している。一方、2番目の等号では、 時間\(t\)の関数である座標\(q(t)\)または運動量\(p(t)\)を積分変数として、あらゆる関数形で積分している(ただし、位置\(q(t)\)の積分範囲は\(q(t_{\scriptsize{\text{I}}})=q_{\scriptsize{\text{I}}}\)と\(q(t_{\scriptsize{\text{F}}})=q_{\scriptsize{\text{F}}}\)の条件を満たす)。以上から分かるように、等号でも結ばれているため当然の結果であるが、1番目の等号でも2番目の等号でも同じ作業を意味している。
次ページから⋯
次ページでは、位相空間での経路積分表示(1自由度)に具体的なハミルトニアンを代入し、フレネル積分を行なうことにより、配位空間での経路積分表示(1自由度)を求める。
【前ページ】 【次ページ】
HOME ＞ 場の量子論 ＞ 経路積分 ＞ 汎関数積分で表した位相空間での経路積分(1自由度)
