Processing math: 91%

Retarded propagator . time-independent Hamiltonian

Set

context H … Hilbert space
context HObservable(H)
definiendum P:R×RL(H,H)
definiendum P(t,s):=exp(i(ts)1H)

Discussion

Let Ndim(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 mN and let Δt1mΔ(ts).

With the representation of the identity operator as sum of projections, e.g. 1=i|QiQi|, we find

exp(iΔt1H)=

=Ni0=1Nj=1Ni1=1|Qi0Qi0|exp(iΔt1H)|EjEj|Qi1Qi1|

=Ni0,i1=1|Qi0(Nj=1eiΔt1EjQi0|EjEj|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/2eipQ. Therefore sum (integral) in brackets above becomes

1(2π)3R3eκp2+i(Q0Q1)d3p=(4πt1/2)3e14κt(Q0Q1)2K(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(ts)1H)

=exp(iΔt1H)mΔ

=Ni0,imΔ=1|Qi0(Ni1,i2,,imΔ1=1ei1mΔk=1ΔSik1ikmk=1Δμik1ik)QimΔ|

Note that if Q|Qn=qn|Qn, then the above implies

Qiout|P(s,t)|Qiout=δi0iinδimioutNi1,i2,,imΔ1=1ei1mΔk=1ΔSik1ikmk=1Δμik1ik

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.


Context

Requirements

Link to graph
Log In
Improvements of the human condition