- #106
- 24,488
- 15,031
I think what you mean is the following. Let's write the time-evolution operator in a more general form, assuming a general initial time ##t_0## rather than setting ##t_0=0##. Then we havefriend said:##{\psi _0}(x')## is supposed to be the initial wave-function at ##t=0##, or ##t_0##. But it occurs to me that in some circumstances, other events from a previous time could have lead to ##{\psi _0}(x')##. In that case we could just as easily write ##{\psi _0}(x')\,\, = \,\,\int_\mathbb{R} {dx''U({t_0},x',x'')} {\psi _{00}}(x'')##, where ##{\psi _{00}}(x'')## is the wave function from a previous time and ##U({t_0},x',x'')## propagates it from that previous time to ##t_0##. I have to wonder if perhaps this idea can be iterated back further in time yet again. And where can we say those iterations must stop. Must they stop where the iterated initial wave function begins to look like another one of those ##< {x_j}|{e^{ - iH\varepsilon /\hbar }}|{x_i} >## that are introduced by inserting the resolution of identity in yet another propagator as we iterate this process?
I suppose in some circumstances where ##{\psi}(t,x)## oscillates one possibility could be that the ##{\psi _{00}}(x'')## at some time earlier than ##t_0## might be the same as some time after ##t_0##. But as I understand it, a particle will start from an infinitesimal point (at least conceptually), in which case doesn't that mean it would start from some |x> ?
$$U(t,x;t_0,x')=\langle x|\exp(-\mathrm{i} \hat{H}(t-t_0)|x' \rangle.$$
Since ##\hat{H}## is time-independent we have for ##t<t_1<t_0##
$$\int_{\mathbb{R}} \mathrm{d} x'' U(t,x;t_1,x'') U(t_1,x'';t_0,x') = \int_{\mathbb{R}} \mathrm{d} x'' \langle x|\exp(-\mathrm{i} \hat{H} (t-t_1)|x'' \rangle \langle x''|\exp(-\mathrm{i} \hat{H}(t_1-t_0))|x' \rangle.$$
Now using the completeness relation for the integral over ##x''## and
$$\exp(-\mathrm{i} \hat{H}(t-t_1)) \exp(-\mathrm{i} \hat{H}(t_1-t_0)=\exp(-\mathrm{i} \hat{H}(t-t_0)),$$
where the last step is allowed, because ##\hat{H}## is time-independent and commutes with itself, so that we can use the naive factorization rule for exponential function,
we find
$$\int_{\mathbb{R}} \mathrm{d} x'' U(t,x;t_1,x'') U(t_1,x'';t_0,x') = \langle x|\exp(-\mathrm{i} \hat{H}(t-t_0))|x' \rangle=U(t,x;t_0,x').$$