Wave packets and WKB theory in phase space

A practical difficulty of traditional Wentzel-Kramer-Brillouin (WKB) theory is that it suffers from non-physical infinities at caustics. A theoretical difficulty is that it does not possess any reasonable covariance or invariance properties under transformations in phase space. It turns out that the solution of one of these problems also solves the other, and leads to a version of WKB theory in phase space. The new theory is most easily implemented by using wave packets.