Path integral formulation

[WiFO215]

I'm not quite satisfied by the derivation I've found in Sakurai (Modern Quantum Mechanics) and was trying to 'derive' it myself. I'd like some help to seal the deal. I've described below what I've done. Please tell me where to go from there.

I know the solution to the Schrodinger equation can be given in terms of a unitary operator,

\left| \psi(t) \right\rangle = U(t,t_{0})\left| \psi(t_{0}) \right\rangle

\left\langle x \left| \psi(t) \right\rangle = \left\langle x \right| U(t,t_{0})\left| \psi(t_{0}) \rangle

which describes time evolution.

I know that I can introduce intermediary time intervals, thus splitting the above term

\langle x \left| \psi(t) \right\rangle = \int dx_{0} \left\langle x \right| U(t,t_{0}) \left| x_{0} \rangle \left\langle x_{0} \right| \psi(t_{0}) \rangle

I here consider

\left\langle x \right| U(t,t_{0}) \right| x_{0} \rangle = \left\langle x,t \right| x_{0},t_{0} \rangle

as the Green's function of this operation.

Now, splitting the interval between x and x_{0} by introducing n points x_{1}, \dots , x_{n} such that

\left\langle x,t \right| x_{0},t_{0} \rangle = \int dx_{1} \int dx_{2} \dots \int dx_{n} \left\langle x_{1},t_{1} \right| x_{0},t_{0} \rangle \left\langle x_{2},t_{2} \right| x_{1},t_{1} \rangle \dots \left\langle x,t \right| x_{n},t_{n} \rangle

So far so good. Now comes the crunch. How does everyone seem to get

exp(\frac{-iS}{\hbar})

as the integrand as they let

n \rightarrow \infty .

[peteratcam]

You'll need to use the known form of the time-evolution operator at some point to get the Hamiltonian to appear. The point of the large number of time steps is that you can use a linear approximation for time evolution in each timestep.
Or see chap3 here for example: http://www.tcm.phy.cam.ac.uk/~bds10/tp3.html

[WiFO215]

I see. Suppose for simplicity's sake, I substitute the time evolution operator with some time independent Hamiltonian \hat{H}.

U = exp(\frac{-\hat{H}t}{\hbar})

For some very small time interval, say \epsilon

U = exp(\frac{-i\hat{H}\epsilon}{\hbar})

From here, we use \delta \hat{S} = \hat{H}\epsilon?

so exp(\frac{-i\delta \hat{S} }{\hbar}) = exp(\frac{-i\hat{H}}{\hbar})

Something like that? Now each of these exponentials, when multiplied, adds up the \delta S in the exponent to give you S over the entire path?

[peteratcam]

I think it's more subtle than that. The action in the Hamiltonian formulation is
S = \int p\dot q - H(p,q) and the first step you should arrive at is a phase-space path integral, with integrals over momentum and position. To reach the Lagrangian formulation, which is an integral over all classical paths in configuration space, you'll need to integrate out the quadratic momentum terms. You might consider splitting the Hamiltonian into a kinetic and potential part.

[WiFO215]

I just used the fact that
\frac{\delta S}{\delta t} = H

So we get, for really small \delta t
\delta S = H\delta t