困ります、ファインマンさん！ シュレディンガー方程式の符号が違っています．

$$
§ 7.7 THE HAMILTONIAN は,「時間のズレに対する遷移要素の1次変化からシュレディンガー方程式およびハミルトニアン $H$ の表現が得られる」ことを述べている．しかし, 最後の結果であるシュレディンガー方程式の符号が違っている！．結果式が違うのだから, その導出過程の何処かが間違っているはずである．そこで, この節の文章全体を, 正しい符号となるように修正して (式への補足や図も加えて) 示しておくことにする．

---

7-7 ハミルトニアン(THE HAMILTONIAN)

これまで導いてきた事柄を用いると, ハミルトニアンに対する遷移振幅を書き下すことは非常に容易であるように思われる．運動量の2乗に対する遷移振幅を求め, それを $2m$ で割り算する．そしてポテンシャルに対する遷移振幅を加えるのである．このやり方をするならば, 時刻 $t_k$ に於けるハミルトニアン自体は次のように書くことが出来るだろう：

一方, 演算子の形式ではハミルトニアンの遷移要素は次である：

ハミルトニアンに対する遷移振幅を定義するこの方法は, 完全に正しい結果を与えるけれども, 多少不自然なものである．なぜなら, これはハミルトニアンと時間の間の重要な関係を表現していないからである．従って, 次にこの遷移要素に対する別の定義を考える．それは, 時間をズラせたときに起こる状態変化を調べることに基づいた定義方法である．この方法では, $S$ の形が与えられさえすれば, それがどんなに複雑であっても $H_k$ を定義することが可能である．
このことを調べるために, ちょうど経路積分を定義したときのように時間軸を無限小の区間に分割する．しかしここでは, 時間を同じ長さの区間に分割することは必要でないことに注意しておこう．明らかに, 同じ区間に分割することは全く必要ないのである．時間をどんな時刻 $t_i$ に分割しようとも満足できるものである．極限操作は, 最大の時間間隔 $t_{i+1}-t_i$ をゼロに収束させることによって表現される．
単純化のために, 考える系は 1 粒子の 1 次元運動から構成されているとしよう．その作用は次の和で表現される：

ただし,

この式中の積分は $(x_i,t_i)$ と $(x_{i+1},t_{i+1})$ の間の古典的経路について行う．ここでの1次元の例では, 十分よい近似で次のように書くことが出来る：

時刻 $t_i$ の $x_i$ についての積分に伴う規格化定数は, 前に用いたものと同じである．すなわち,

時間のズレに対する状態の変化と $H$ との関係をこれから調べる．時空(space-time)のある領域 $R$ に於いて定義される状態 $\psi (t)$ を考える．同じ時刻 $t$ に別の領域 $R_{\delta }$ で定義される状態 ${\psi }_{\delta }(t)$ を想像しよう．そして領域 $R_{\delta }$ は領域 $R$ と全く同じであるが, 時間が $\delta$ だけ早い, すなわち「丸ごと過去の方へ時間 $\delta$ だけ移されていることだけが異なる」と仮定するのである． $R_{\delta }$ において系を準備するのに要する装置は全て $R$ に於いて系を準備する装置と同じであって, 違いは前者が「時間が $\delta$ だけ早く操作されたこと」である．もしラグランジアン $L$ が時間に陽に依存する場合には $L$ もずらす必要がある．すなわち, 状態 ${\psi }_{\delta }$ は状態 $\psi$ に対する $L$ から得られるのだが， $L_{\delta }$ を書く場合には「時間変数だけは $t+\delta$ とする」のである．
状態 ${\psi }_{\delta }$ は $\psi$ とどのように違って来るだろうか?． どのような測定をする場合でも, 系がある固定した領域 $R^{\prime }$ に見出される確率は, 元の領域が $R$ であったか $R_{\delta }$ であったかによって違ってくる．時刻 $t_k$ に於いて,　それ以前の時間を $\delta$ だけシフトするとき,　遷移要素　$⟨\chi |1|\psi ⟩$ はどれくらい変化するかを考えてみよう．この時間シフトの影響は，「$i\le k$ の場合には $t_i$ の全ての値を $\delta$ だけ減少させ， $i>k$ の場合には全ての $t_i$ をそのままにして置く」と見做せばよい．
この時点で読者が先の事を考えたならば, 困難が待ち受けているように見えるであろう．明らかに, 我々の意図するのは, 全ての無限小時間間隔が減少して結局はゼロとなるような極限をとることである．しかしながら, このままのやり方では,　少なくとも 1 つの時間間隔 $\mathrm{\Delta }{t}_k=t_{k+1}-t_k$ が下限を持つので, 無限に小さくすることが出来ない (時刻 $t_{k+1}$ はそのままだが $t_k$ 以前は一様に $-\delta$ だけズレるので， $\epsilon \to 0$ としても $\mathrm{\Delta }{t}_k=\epsilon +\delta \to \delta$ となり $\delta$ より小さくはならないから!?)． この困難は, 時間のズレ $\delta$ 自身が時間の関数であると仮定することで解決することが出来る． 時間のズレ $\delta$ として「$t=t_k$ より前から滑らかに始まり $t=t_k$ の後で滑らかに止まるようなもの」を思い描くことが出来る．このとき時間変分 $\delta$ を固定して， $\mathrm{\Delta }{t}_k=t_{k+1}-t_k$ も含め全ての時間間隔を滑らかにゼロにする．そして $\delta$ をゼロに収束させることにより, この時間のズレの1次の効果を調べるのである．このより厳密な手続きによって得られる結果は, 本質的には本節の例で用いている手続きによる結果と同じものになる．

時間のズレの効果を調べることに立ち戻ってみると, 式 (7-115) で定義された作用は $i\le k$ の場合の作用 $S[x_{i+1},t_{i+1};x_i,t_i]$ は $t_{i+1}$ と $t_i$ が共に同じだけ変化する限り変化することはない．しかし $i=k$ の作用 $S[x_{k+1},t_{k+1};x_k,t_k]$ だけは $S[x_{k+1},t_{k+1};x_k,t_k-\delta ]$ に変わる．更に $x_k$
についての積分に伴う定数 $A$ も変化し次となる：

式 (7-2) を用いて遷移要素を定義する．経路積分が作用 $S$ と規格化定数 $A$ の両方に依存する(両方とも時間移動によって変化する)ことを考慮すると, 遷移要素の $\delta$ について1次の変化を次のように表わすことが出来る：

ただし,　第2項は $A$ の変化から由来している．

【 補足 1 】 **********************************************************************************************
遷移要素の変化量はその経路積分部分の変化量に依ると考える．その経路積分の変化は, 本文中にあるように $\mathrm{\Delta }{t}_k=t_{k+1}-t_k$ の部分の作用 $S_k$ に於いて生じるだけである．そこではその規格化定数 $A_k$ も変化するのであった．$S_k$ の変化を考える時には $L_{\delta }$ に於いて $t_k$ が $d{t}_k=\delta$ だけ変化するとすべきであるから, 核 $K_k=(1/A_k)e^{i{S}_k/\hslash }$ の変化量は次のように書ける：
$$\begin{array}{rl}d{K}_k& =\frac{\partial K_k}{\partial A_k}\frac{\partial A_k}{\partial t_k}d{t}_k+\frac{\partial K_k}{\partial S_k}\frac{\partial S_k}{\partial t_k}d{t}_k=-\frac{1}{A_k^2}{e}^{i{S}_k/\hslash }\frac{\partial A_k}{\partial t_k}d{t}_k+\frac{1}{A_k}\frac{i}{\hslash }{e}^{i{S}_k/\hslash }\frac{\partial S_k}{\partial t_k}d{t}_k\end{array}$$
このとき， $A_k={[2\pi \hslash i(t_{k+1}-t_k)/m]}^{1/2}$ だから,
$$\begin{array}{rl}-\frac{1}{A_k^2}\frac{\partial A_k}{\partial t_k}& =-{\left[\frac{2\pi \hslash i(t_{k+1}-t_k)}{m}\right]}^{-1}\times \frac{1}{2}{\left[\frac{2\pi \hslash i(t_{k+1}-t_k)}{m}\right]}^{-1/2}\times \left(\frac{-2\pi i\hslash }{m}\right)\\ & =\frac{m}{2\pi \hslash i(t_{k+1}-t_k)}\times \frac{2\pi i\hslash }{m}\times \frac{1}{2}\frac{1}{A_k}=\frac{1}{2(t_{k+1}-t_k)}\frac{1}{A_k}\end{array}$$
よって $d{t}_k=-\delta$ として,
$$\begin{array}{rl}d{K}_k& =d{t}_k(-\frac{1}{A_k^2}\frac{\partial A_k}{\partial t_k}{e}^{i{S}_k/\hslash }+\frac{i}{\hslash }\frac{1}{A_k}{e}^{i{S}_k/\hslash }\frac{\partial S_k}{\partial t_k})\\ & =-\delta (\frac{1}{2(t_{k+1}-t_k)}\frac{1}{A_k}+\frac{i}{\hslash }\frac{1}{A_k}\frac{\partial S_k}{\partial t_k})e^{i{S}_k/\hslash }\\ & =-\delta \frac{1}{A_k}{e}^{i{S}_k/\hslash }[\frac{i}{\hslash }\frac{\partial S_k}{\partial t_k}+\frac{1}{2(t_{k+1}-t_k)}]=-\frac{i\delta }{\hslash }{K}_k[\frac{\partial S_k}{\partial t_k}+\frac{\hslash }{2i(t_{k+1}-t_k)}]\end{array}$$
すると振幅 $K(b,a)$ の変化量は式(2-33)に於いて $K_k$ だけが上式だけ変化したものだから,
$$\begin{array}{rl}dK(b,a)& =\int \cdots \int d{x}_{1}d{x}_2\cdots d{x}_{N-1}K(b,N-1)K(N-1,N-2)\cdots dK(k+1,k)\cdots K(1,a)\\ & =-\frac{i\delta }{\hslash }\int \cdots \int d{x}_{1}d{x}_2\cdots d{x}_{N-1}K(b,N-1)\cdots K(k+1,k)[\frac{\partial S_k}{\partial t_k}+\frac{\hslash }{2i(t_{k+1}-t_k)}]\cdots K(1,a)\\ & =-\frac{i\delta }{\hslash }\int \cdots \int d{x}_{1}d{x}_2\cdots d{x}_{N-1}K(b,N-1)\cdots K(k+1,k)\cdots K(1,a)[\frac{\partial S_k}{\partial t_k}+\frac{\hslash }{2i(t_{k+1}-t_k)}]\end{array}$$
従って,再び式 (2-33)を用いれば,

よって最終的に, 遷移要素の $\delta$ の1次の変化量は次となる：
$$\begin{array}{rl}d⟨\chi |1|\psi ⟩& =⟨\chi |1|{\psi }_{\delta }⟩-⟨\chi |1|\psi ⟩=\int d{x}_b\int d{x}_a{\chi }^{\ast }(x_b)dK(b,a)\psi (x_a)\\ & =-\frac{i\delta }{\hslash }\int d{x}_b\int d{x}_a{\chi }^{\ast }(x_b)\int \mathcal{D}x(t)[\frac{\partial S_k}{\partial t_k}+\frac{\hslash }{2i(t_{k+1}-t_k)}]e^{iS[b,a]/\hslash }\psi (x_a)\\ & =-\frac{i\delta }{\hslash }⟨\chi |\frac{\partial S_k}{\partial t_k}+\frac{\hslash }{2i(t_{k+1}-t_k)}|\psi ⟩\end{array}$$
*********************************************************************************************************

我々は, 量子力学のハミルトニアンに対応する汎関数を次のように定義したい：

右辺の第1項は古典的ハミルトニアンの定義である．第2項は量子力学的定義に於いて必要な項であり, 時間間隔 $t_{k+1}-t_k$ がゼロになるとき， $H_k$ が有限となるようにするためのものである．この最後の項は, 時間移動 $\delta$ による規格化因子 $A$ の変化からの帰結(consequence)である．
この結果を, 式 (7-116) に示されている具体的な1次元の例に適用して見よう．すると演算子 $H_k$ は, 次のように書くことが出来る：

2番目の式は, 式 (7-54) で $\epsilon =t_{k+1}-t_k$ とした結果に基づいている．このように, 速度の積を2つの相続く速度の積で表わすと, 一見異質な項 ${\displaystyle \frac{\hslash }{2i(t_{k+1}-t_k)}}$ を避けることが出来るのである!．

【 補足 2 】 **********************************************************************************************
( i ) 式 (7-120)の右辺にある $t_k$ による偏微分は, 微小時間 $\epsilon =t_{k+1}-t_k$ で割り算するという意味になる．従って, 式 (7-116) の両辺を $(t_{i+1}-t_i)$ で割り算すると, 次式を得る：

( ii ) 式 (7-121) は, 次が言えるからである． 式 (7-54) に於いて $\epsilon =t_{k+1}-t_k$ とすると,
$$\begin{array}{rl}& ⟨\frac{m}{2}\left(\frac{x_{k+1}-x_k}{\epsilon }\right)\left(\frac{x_k-x_{k-1}}{\epsilon }\right)⟩=⟨\frac{m}{2}{\left(\frac{x_{k+1}-x_k}{\epsilon }\right)}^2⟩+\frac{\hslash }{2i\epsilon }⟨1⟩\\ & \Rightarrow ⟨\frac{m}{2}\left(\frac{x_{k+1}-x_k}{t_{k+1}-t_k}\right)\left(\frac{x_k-x_{k-1}}{t_k-t_{k-1}}\right)⟩-\frac{\hslash }{2i(t_{k+1}-t_k)}⟨1⟩=⟨\frac{m}{2}{\left(\frac{x_{k+1}-x_k}{t_{k+1}-t_k}\right)}^2⟩\end{array}$$
*********************************************************************************************************

次に状態関数 $\psi (t)$ の1次変化を考える．$\psi (t_{\delta })$ は $\psi (t)$ を $-\delta$ だけ平行移動したものであるから, それを $\psi (t_{\delta })$ と表すならば次式が得られる：
$$\begin{array}{}\text{(7-122)}& \psi (t_{\delta })=\psi (t+\delta )=\psi (t)+\delta \frac{\partial \psi }{\partial t}\end{array}$$
この式は， 2つの領域 $R,R_{\delta }$ で定義される状態関数 $\psi$ を結び付けるものである．従って, 式 (7-119), 式 (7-120) そして式 (7-121) を組み合わせることにより, 演算子をシュレディンガー方程式にそして経路積分へと結び付ける関係サイクルは閉じられるのである：

これは, 再び Schrödinger 方程式に戻ることになる：

$$\begin{array}{}\text{(7-124)}& -\frac{\hslash }{i}\frac{\partial \psi }{\partial t}=H\psi \end{array}$$
作用がどんな複雑な場合でも, そのハミルトニアン(すなわちエネルギーに相当する汎関数) の表現は「時刻 $t$ より前の全ての時刻を $-\delta$ だけ移動させたときの遷移要素 $⟨\chi |1|\psi ⟩$ の1次の変化を求め, その変化を ${\displaystyle -\delta \frac{i}{\hslash }⟨\chi |H(t)|\psi ⟩}$ と書くこと」により見出すことが可能である．

【 補足 3 】 **********************************************************************************************
( i ) 式 (7-122) は, 関数 $f(t)$ を $t$ 軸の方向に $-a$ だけ平行移動した関数が $f(t+a)$ となることを用いればよいのである． 前回のブログ記事で扱ったファインマンの論文:「Space-Time Approach to Non-Relativistic Quantum Mechanics」にも, 次のように書かれている：

The wave function ${\psi }_{\delta }(x,t)$ represents, of course, the same state as $\psi (x,t)$ will be after time $\delta$, i.e., $\psi (x,t+\delta )$.

しかしながら, この式 (7-122) の部分の文章は原書と校訂版で次のような記述になっている：

Using the relation $t_{\delta }=t-\delta$ for all values of $t<t_k$, we have

$$\begin{array}{}\text{(7-122)}& \psi (t)=\psi (t_{\delta })+\delta \frac{\partial \psi }{\partial t}={\psi }_{\delta }+\delta \frac{\partial \psi }{\partial t}\end{array}$$

connecting the function $\psi$ defined in the two regions $R$ and $R_{\delta }$.

しかし, それでは下の (ii) のような議論が成り立たず, 式 (7-123) は得られないようである．なので, 自己流に修正してしまってあるので注意する!．

( ii ) 式 (7-122) より ${\displaystyle \delta \frac{\partial \psi }{\partial t}=\psi (t_{\delta })-\psi (t)}$ であり $\delta$ は微小な定数であった．従って, この遷移要素は次となる：

これに式 (7-119) 及び式 (7-120) を代入すると,
$$\begin{array}{rl}\delta ⟨\chi |1|\frac{\partial \psi }{\partial t}⟩& =⟨\chi |1|{\psi }_{\delta }⟩-⟨\chi |1|\psi ⟩=-\frac{i\delta }{\hslash }⟨\chi |\frac{\partial S_k}{\partial t_k}+\frac{\hslash }{2i(t_{k+1}-t_k)}|\psi ⟩\\ & =-\delta \frac{i}{\hslash }⟨\chi |H_k|\psi ⟩\\ \Rightarrow ⟨\chi |1|\frac{\partial \psi }{\partial t}⟩& =⟨\chi |\frac{\partial }{\partial t}|\psi ⟩=-\frac{i}{\hslash }⟨\chi |H_k|\psi ⟩=⟨\chi |\frac{1}{i\hslash }{H}_k|\psi ⟩=⟨\chi |1|\frac{1}{i\hslash }{H}_k\psi ⟩\end{array}$$
従って, 式 (7-124) に相当した式を得る：

*********************************************************************************************************