3

The page on Ehrenfest theorem in Wikipedia(https://en.wikipedia.org/wiki/Ehrenfest_theorem) says-

Although, at first glance, it might appear that the Ehrenfest theorem is saying that the quantum mechanical expectation values obey Newton’s classical equations of motion, this is not actually the case. If the pair ${\displaystyle (\langle x\rangle ,\langle p\rangle )}{\displaystyle (\langle x\rangle ,\langle p\rangle )}$ were to satisfy Newton's second law, the right-hand side of the second equation would have to be

${\displaystyle -V'\left(\left\langle x\right\rangle \right),}$ which is typically not the same as ${\displaystyle -\left\langle V'(x)\right\rangle}$

I consulted the paper mentioned in the reference, but that explains more of when these two are equal,or cases where equivalence of Ehrenfest theorem and Newton's law fails, and other more sophisticated things.

I understand that those two are not the same,but I think ${\displaystyle -\left\langle V'(x)\right\rangle}$" gives the value of force and not the other one${\displaystyle -V'\left(\left\langle x\right\rangle \right),}$because, we must take the derivative of potential energy and then take the expectation value.Why should taking the expectation of position and then calculating the derivative of potential at that "average" position should give us the value of force but not the other expression(${\displaystyle -\left\langle V'(x)\right\rangle}$)?

Roger V.
  • 68,984
Manas Dogra
  • 1,108

3 Answers3

3

The Newton's equation of motion in potential $V(x)$ are: $$ \dot{x}=\frac{p}{m},\dot{p}=-\frac{dV(x)}{dx} $$ or simply $$m\ddot{x}=-\frac{dV(x)}{dx}=F(x),$$ where $F(x)= -\frac{dV(x)}{dx}$ is called (conservative) force.

If we deal with a quantum mechanical particle, its momentum and position are related via Heisenberg uncertainty relation, which means that the joint equations of $x,p$, known simultaneously to arbitrary precision, such as the Newton equations, are meaningless. However, the correspondence principle suggests that, if we were dealing with a narrow wave packet, we would still expect write the Newton equations for the averages of position and momentum, so that classical mechanics emerges smoothly from the quantum one: $$ \frac{d}{dt}\langle x\rangle=\frac{\langle p\rangle}{m}, \frac{d}{dt}\langle x\rangle=-\frac{dV(\langle x\rangle)}{dx} $$

Ehrenfest theorem is the first step in this direction. Indeed, for Hamiltonian $$H=\frac{p^2}{2m}+V(x)$$ we could write Heisenberg equations of motion (formally identical to Newton's equations), and average them, obtaining $$ \frac{d}{dt}\langle x\rangle=\frac{\langle p\rangle}{m}, \frac{d}{dt}\langle x\rangle=-\langle \frac{dV(x)}{dx}\rangle. $$ If we were dealing with a Harmonic oscillator, $V(x)=\frac{m\omega^2x^2}{2}$ this would be the end of the story, even without assumption about the narrow wave packet: $$ \frac{d}{dt}\langle x\rangle=\frac{\langle p\rangle}{m}, \frac{d}{dt}\langle x\rangle=-m\omega^2\langle x\rangle. $$

For a general case we need to do some more work. Let us assume for simplicity, that at the time moment of interest the distribution of $x$ is a Gaussian wave packet: $$ w(x)=|\psi(x)|^2=\frac{1}{\sqrt{2\pi\sigma^2}}e^{-\frac{(x-\mu)^2}{2\sigma^2}}, $$ where, of course, $\mu=\langle x\rangle$. We can now try to evaluate the average of the force: $$ \langle F(x)\rangle = -\langle \frac{dV(x)}{dx}\rangle=\int dx w(x) F(x)=\\ \langle \sum_{n=0}^\infty F^{(n)}(\mu)(x-\mu)^n\rangle= \sum_{n=0}^\infty F^{(n)}(\mu)\langle (x-\mu)^n\rangle= F(\mu) + \sum_{n=1}^\infty F^{(n)}(\mu)\langle (x-\mu)^n\rangle $$ We note that the averages $\langle (x-\mu)^n\rangle$ for odd $n$ vanish due to the symmetry of the integral, whereas the even ones are easily calculated: $$ \langle (x-\mu)^{2n}\rangle = \sqrt{\pi}(\pi\sigma^2)^n(2n+1)!!, $$ (where $(2n +1)!!=1\cdot 3\cdot 5\cdot...\cdot(2n+1)$)
We thus have $$ \langle F(x)\rangle= F(\mu) + \sum_{n=1}^\infty F^{(2n)}(\mu)\sqrt{\pi}(\pi\sigma^2)^n(2n+1)!! $$ Provided that the potential/force changes slowly, compared to the size of the wave packet, i.e., $$ \left|\frac{d^{2n}}{d\mu^{2n}}F(\mu)\right|\sigma^2\ll \frac{1}{(2n+1)!!},$$ we can neglect all the terms except the first, and we have approximately $$ \langle F(x)\rangle= F(\langle x\rangle).$$ This condition is quite easy to satisfy for any finite power potential, like $V(x)=kx^{2n}$, whereas for some potentials the condition breaks for high $n$, due to the rapid growth of the factorial. One can still argue that for a sufficiently narrow packet the dynamics remains nearly classical for long periods of time.

Roger V.
  • 68,984
2

Your reference is not saying that either one or the other is "correct" as a definition of force. What they are saying is that, as a matter of mathematical equivalence, one expression will lead to mean values of x and p that behave in the same way as classical x and p (because they obey the same equations), whereas the other expression does not.

Ehrenfest's theorem says what it says irrespective of whether the terminology of "force" is brought in. What that theorem tells us is that mean values of x and p behave in ways that are reminiscent of, but not exactly the same as, classical x and p.

Andrew Steane
  • 65,285
0

I don't think it particularly important that the classical potential is not exactly equal to the expectation of the quantum potential in all cases. Classical potential is defined in the first instance by integrating force. To derive the force from the potential is circular. Really we have two slightly different potentials, because the classical notion of a force does not apply well in the quantum domain.

A more general and correct derivation of Newton’s second law is possible by first proving conservation of momentum from particle interactions, since N2 & N3 are together equivalent to conservation of momentum together with a definition of classical force, bearing in mind that classical forces don't sit well in quantum theory and are replaced with particle interactions (although the word force is still used). Conservation of momentum appears from the derivation of Feynman rules from the interaction density in qed, and field theories generally.