I find myself often puzzled with the different definitions one gives to "semiclassical limits" in the context of quantum mechanics, in other words limits that eventually turn quantum mechanics into classical mechanics.
In a hand-wavy manner
- Classical or semiclassical limit corresponds to the limit of taking $\hbar \to 0.$
- Often when talking about the correspondence principle, the semiclassical limit is obtained in the limit of large quantum numbers (large orbits and energies).
More precisely
- Exemplary source of confusion: One way to show why $\hbar \to 0$ describes a classical limit, is as follows:
Take the $1D$ Schrödinger equation for a particle of mass $m$ in a potential $V(\vec x)$:
\begin{equation} i\hbar \frac{\partial}{\partial t}\psi(\vec x,t) = \left[-\frac{-\hbar^2}{2m}\vec \nabla^2+V(\vec x)\right]\psi(\vec x,t) \end{equation}
By inserting $\psi(\vec x,t)=e^{iS(\vec x,t)/\hbar}$ in the Schrödinger equation above, and simplifying for $\psi$, we obtain:
$$ -\frac{\partial S}{\partial t}=\frac{1}{2m}(\vec\nabla S)^2-\frac{i\hbar}{2m}(\vec \nabla^2S)+V $$ Now taking $\hbar \to 0$, the above just becomes the classically well known Hamilton-Jacobi equation, where $S$ describes Hamilton's principal function or the action:
$$ -\frac{\partial S}{\partial t}=\frac{1}{2m}(\vec\nabla S)^2+V $$ Using such result, then we can use an $\hbar$ expansion of $S$ in the second equation. Unfortunately I fail to see why reaching the Hamilton-Jacobi equation necessarily implies a classical behavior!
Alternatively one talks about classical limits of QM by saying: When Planck's quantum $\hbar$ becomes very small compared with values of the Lagrangian action integral (Feynman's path integral formalism). I probably shouldn't ask this (since the discussion is rather vague here), but is there any neat way of demonstrating the above idea mathematically? (e.g. by showing whether such limit necessarily leads to quantum decoherence and hence the classical trajectories become dominant.)
Finally, are the two statements of $\hbar \to 0$ and taking the limit of high quantum numbers somehow equivalent? (i.e. a reformulation of one another?)
Of course any other ways (whether physical or mathematical) of thinking about and understanding semiclassical limits of quantum mechanics are also welcomed as answer.