Retarded propagator . time-independent Hamiltonian
Set
context | H … Hilbert space |
context | H∈Observable(H) |
definiendum | P:R×R→L(H,H) |
definiendum | P(t,s):=exp(i(t−s)1ℏH) |
Discussion
Let N≡dim(V) and let i,j,k,n range from 1 to N. Let {|En⟩} as well as {|Qn⟩} be two orthonormal sets of basis vectors where in particular H|En⟩=En|En⟩. Fix a number m∈N and let Δt≡1mΔ(t−s).
With the representation of the identity operator as sum of projections, e.g. 1=∑i|Qi⟩⟨Qi|, we find
exp(iΔt1ℏH)=
=∑Ni0=1∑Nj=1∑Ni1=1|Qi0⟩⟨Qi0|exp(iΔt1ℏH)|Ej⟩⟨Ej|Qi1⟩⟨Qi1|
=∑Ni0,i1=1|Qi0⟩(∑Nj=1eiΔt1ℏEj⟨Qi0|Ej⟩⟨Ej|Qi1⟩)⟨Qi1|
Example
Remark: This is an example where H actually has a continuous spectrum.
The heat equation
∂∂tψ(t,Q)=Hψ(t,Q), t>0
with H=−κ∇2 has the solution ψ(t,Q)=eHψ(0,Q), but how to evaluate this expression of arbitrarily high powers of a differential operator? Now the H-eigenfuctions coincides with the momentum eigenfunctions and we have Ep=−κp2 and ⟨Q|p⟩=1(2π)3/2eip⋅Q. Therefore sum (integral) in brackets above becomes
1(2π)3∫R3e−κp2+i(Q0−Q1)d3p=(4πt−1/2)3e−14κt(Q0−Q1)2≡K(Q0,t,Q1,0)
which is the Fourier transform of the Gaussian curve. The evaluation is explained in magic Gaussian integral. This is called the heat kernel and now
ψ(t,Q)=∫R3K(Q,t,q,0)ψ(0,q)d3q,
which solves the equation.
If the operator H is a sum of a differential operator Dq and a potential Uq, then finding the eigenvalue is tricky. However, since for small times Δt we have eΔt(Dq+U(q))=eΔtDqeΔtU(q)+O(Δt), we can just use another set of eigenfunctions to compute the kernels KΔt and try to pass to a complete one K. In the next discussion section, we are going to work out such a time discretization in theory.
Discussion
Back to the general calculation. To express the sum over energy states in terms of two real quantities, we write the whole term (∑…) in polar form as ei1ℏΔSi0i1Δμi0i1. Note that mΔ, Δμ and ΔS depend on the discretization Δt.
Via successive multiplications and by using ⟨Qi|Qi⟩=δi,j we find
exp(i(t−s)1ℏH)
=exp(iΔt1ℏH)mΔ
=∑Ni0,imΔ=1|Qi0⟩(∑Ni1,i2,…,imΔ−1=1ei1ℏ∑mΔk=1ΔSik−1ik∏mk=1Δμik−1ik)⟨QimΔ|
Note that if Q|Qn⟩=qn|Qn⟩, then the above implies
⟨Qiout|P(s,t)|Qiout⟩=δi0iinδimiout∑Ni1,i2,…,imΔ−1=1ei1ℏ∑mΔk=1ΔSik−1ik∏mk=1Δμik−1ik
where we use the Einstein summation convention for the two deltas. Or also (with all indices dropped for readability)
\left\langle Q_{\text{out}}\right|\,P(s,t)\,Q^3\,P(t,\tau)\,Q\,P(\tau,\sigma)\,\left|Q_{\text{out}} \right\rangle =\ " \sum q^3\,q\,\mathrm{e}^{i\frac{1}{\hbar}\Delta S}\prod\Delta\mu"
To define the continuum limit of this expression is a difficult task. In quantum field theory, an explicit expression for the \lim_{\Delta t\to 0}\sum_{k=1}^{m_\Delta}\Delta S_{i_{k-1}i_{k}} is taken as a starting point and identified with the action corresponding to the Hamiltonian H. The measure, in essence given by the product \prod_{k=1}^m\Delta\mu_{i_{k-1}i_{k}}, is generally ill-defined.