Skip to content

The Van Vleck determinant is the classical stability determinant that supplies the leading prefactor in the semiclassical propagator. It measures how a narrow bundle of nearby classical trajectories launched from one endpoint spreads or focuses at the other endpoint. Multidimensional WKB Preview gives the corresponding local ray-tube transport picture; for the broader stationary-phase and action-scaling mechanism, see Semiclassical Limit.

For a classical trajectory γ\gamma from (qa,ta)(q_a,t_a) to (qb,tb)(q_b,t_b), let

Sγ(qb,tb;qa,ta)=∫tatbL(qγ,q˙γ,t) dtS_\gamma(q_b,t_b;q_a,t_a) = \int_{t_a}^{t_b} L(q_\gamma,\dot q_\gamma,t)\,dt

be Hamilton’s principal function. The Van Vleck determinant is

Dγ=det⁡(−∂2Sγ∂qb ∂qa).D_\gamma = \det\left( - \frac{\partial^2S_\gamma} {\partial q_b\,\partial q_a} \right).

The corresponding semiclassical propagator has prefactor

(12πiℏ)d/2∣Dγ∣1/2.\left( \frac{1}{2\pi i\hbar} \right)^{d/2} \lvert D_\gamma\rvert^{1/2}.

The determinant is the multidimensional generalization of the 1/p(x)1/\sqrt{p(x)} WKB amplitude factor: both express conservation of probability flux along families of classical trajectories.

Required background. The semiclassical propagator fixes the Cartesian kernel measure and phase convention.

Endpoint derivatives and matrix orientation

Section titled “Endpoint derivatives and matrix orientation”

Hamilton’s principal function generates the endpoint momenta:

pb=∂Sγ∂qb,pa=−∂Sγ∂qa.p_b = \frac{\partial S_\gamma}{\partial q_b}, \qquad p_a = - \frac{\partial S_\gamma}{\partial q_a}.

Differentiating the second relation with respect to qbq_b gives

∂pa,j∂qb,i=−∂2Sγ∂qb,i∂qa,j.\frac{\partial p_{a,j}}{\partial q_{b,i}} =-\frac{\partial^2S_\gamma}{\partial q_{b,i}\partial q_{a,j}}.

With row indices labeling output components, these two matrices are transposes; their determinants agree. Thus

Dγ=det⁡(∂pa∂qb),D_\gamma = \det\left( \frac{\partial p_a}{\partial q_b} \right),

with qaq_a, tat_a, and tbt_b held fixed. This form makes clear that the determinant relates final position resolution to initial momentum resolution.

Fix qaq_a and vary the initial momentum pap_a. The classical equations of motion define a map

pa⟼qb(qa,pa;T),T=tb−ta.p_a \longmapsto q_b(q_a,p_a;T), \qquad T=t_b-t_a.

Let

B=∂qb∂paB = \frac{\partial q_b}{\partial p_a}

be the block of the classical stability matrix that maps initial momentum perturbations into final position perturbations. Where this block is invertible,

∣Dγ∣=∣det⁡B∣−1.\lvert D_\gamma\rvert = \lvert \det B \rvert^{-1}.

If a small range of initial momenta maps to a large range of final positions, the trajectory density at qbq_b is low and the prefactor is small. If trajectories focus, det⁡B\det B becomes small and the prefactor grows.

A caustic occurs when the map from initial momentum to final position becomes singular:

det⁡B=0.\det B=0.

Equivalently, the Van Vleck determinant diverges in the isolated-trajectory formula. The divergence signals failure of this isolated-trajectory chart. A generic fold needs a uniform approximation. At an exact oscillator focus the kernel itself is distributional: K(xb,π/ω;xa,0)=−iδ(xb+xa)K(x_b,\pi/\omega;x_a,0)=-i\delta(x_b+x_a). Regular evolved wavefunctions remain well defined after the kernel is integrated against the initial state.

Crossing a caustic also changes the phase of the square root in the prefactor. The Maslov Index records this phase change.

For a free particle in dd dimensions over time T>0T>0,

Sfree=m∣qb−qa∣22T.S_{\mathrm{free}} = \frac{m\lvert q_b-q_a\rvert^2}{2T}.

Therefore

−∂2Sfree∂qb ∂qa=mTId,- \frac{\partial^2S_{\mathrm{free}}} {\partial q_b\,\partial q_a} = \frac{m}{T}I_d,

and

Dfree=(mT)d.D_{\mathrm{free}} = \left( \frac{m}{T} \right)^d.

The prefactor becomes

(m2πiℏT)d/2,\left( \frac{m}{2\pi i\hbar T} \right)^{d/2},

which is the exact free-particle normalization.

For a one-dimensional harmonic oscillator over time TT with sin⁡ωT≠0\sin\omega T\ne0, the classical action is

Sosc=mω2sin⁡ωT[(qb2+qa2)cos⁡ωT−2qaqb].S_{\mathrm{osc}} = \frac{m\omega}{2\sin\omega T} \left[ (q_b^2+q_a^2)\cos\omega T - 2q_aq_b \right].

The mixed second derivative gives

−∂2Sosc∂qb ∂qa=mωsin⁡ωT.- \frac{\partial^2S_{\mathrm{osc}}} {\partial q_b\,\partial q_a} = \frac{m\omega}{\sin\omega T}.

Thus

∣Dosc∣1/2=∣mωsin⁡ωT∣1/2.\lvert D_{\mathrm{osc}}\rvert^{1/2} = \left\lvert \frac{m\omega}{\sin\omega T} \right\rvert^{1/2}.

The determinant diverges when

sin⁡ωT=0,\sin\omega T=0,

which is exactly when oscillator trajectories refocus. These are caustic times, and the Maslov phase must be updated as they are crossed.

The linearized classical flow can be written as

(δqbδpb)=(ABCDcl)(δqaδpa).\begin{pmatrix} \delta q_b\\ \delta p_b \end{pmatrix} = \begin{pmatrix} A & B\\ C & D_{\mathrm{cl}} \end{pmatrix} \begin{pmatrix} \delta q_a\\ \delta p_a \end{pmatrix}.

The Van Vleck determinant is controlled by the BB block when qaq_a and TT are fixed:

∣Dγ∣=∣det⁡B∣−1.\lvert D_\gamma\rvert = \lvert\det B\rvert^{-1}.

The full classical flow matrix is symplectic and has determinant one, even when its BB block is singular. The symbol DclD_{\mathrm{cl}} for its lower-right block is unrelated to the scalar Van Vleck determinant DγD_\gamma.

  1. For the inverted oscillator V=−mΩ2x2/2V=-m\Omega^2x^2/2, compute B=∂xb/∂paB=\partial x_b/\partial p_a at fixed xax_a. Does exponential instability produce a real positive-time caustic?
Solution

Classical motion gives

xb=xacosh⁡ΩT+pamΩsinh⁡ΩT,B=sinh⁡ΩTmΩ.x_b=x_a\cosh\Omega T+\frac{p_a}{m\Omega}\sinh\Omega T, \qquad B=\frac{\sinh\Omega T}{m\Omega}.

Thus D=mΩ/sinh⁡ΩTD=m\Omega/\sinh\Omega T and the prefactor decays as e−ΩT/2e^{-\Omega T/2} at long positive times. There is no positive-time zero of BB. Instability causes spreading here; it is not synonymous with focusing.

  1. Check the free-particle composition law for the determinant in one dimension, using a stationary integral over an intermediate position at times T1,T2>0T_1,T_2>0.
Solution

The combined phase has second derivative m/T1+m/T2m/T_1+m/T_2 with respect to the intermediate position. Its Gaussian integration factor has magnitude [2πℏ/(m/T1+m/T2)]1/2[2\pi\hbar/(m/T_1+m/T_2)]^{1/2}. Multiplying the two kernel prefactors yields [m/(2πℏ(T1+T2))]1/2[m/(2\pi\hbar(T_1+T_2))]^{1/2}, exactly the prefactor for the total time. The Gaussian phase likewise supplies the correct e−iπ/4e^{-i\pi/4} rather than two independent copies of it.