In quantum mechanics, Ehrenfest's theorem states that $\langle p_x\rangle = m \frac{d}{dt}\langle x\rangle$. My question is, does there exist a similar relationship between $\langle L_z\rangle$, the expectation value of the z-component of the orbital angular momentum operator, and the time derivative of $\langle\theta\rangle$, the expectation value of the position operator $\hat{\theta}$ in spherical coordinates?

If not, is there any way to relate $\langle L_z\rangle$ to the time derivatives of expectation values of one or more operators? For instance if you knew what $\langle x\rangle$, $\langle y\rangle$, $\langle z\rangle$, $\langle p_x\rangle$, $\langle p_y\rangle$, and $\langle p_z\rangle$ are as a function of time, would that give you enough information to determine $\langle L_z\rangle$?

And are the answers to these questions affected at all by whether the particle has spin or not? By the way, this question was inspired by the comment section of this answer.

  • $\begingroup$ See my answer to your preceding question. $\endgroup$ – David Herrero Martí Nov 6 '16 at 19:12
  • $\begingroup$ I would also add that you are interested in a fundamental relation, that is, something unrelated to a particular approximation or system, and therefore necessarily stemming from the full Hamiltonian of a system (for example, the full Hamiltonian of quantum electrodynamics for electron+photon systems), or from using some (to me unknown) trick. $\endgroup$ – glS Nov 6 '16 at 19:37
  • $\begingroup$ @glS Well, I'm not talking about quantum field theory here, just nonrelativistic quantum mechanics. $\endgroup$ – Keshav Srinivasan Nov 6 '16 at 19:42
  • $\begingroup$ @DavidHerreroMarti Well, your answer was about spin, and it was about a specific system. My question here is about orbital angular momentum and arbitrary systems. $\endgroup$ – Keshav Srinivasan Nov 6 '16 at 19:48
  • 1
    $\begingroup$ @KeshavSrinivasan A bit of personal research effort would go a long way here: The first paper that turns up on googling "Ehrenfest theorem angular momentum" is physics.drexel.edu/~bob/Manuscripts/Ehrenfest.pdf. See Sec. 3.6, pg.5, it deals precisely with angular momentum and spin. $\endgroup$ – udrv Nov 7 '16 at 2:56

Thanks to @udrv, I found the answer in this journal paper. Let's work in cylindrical coordinates $(r,\theta,z)$. Let $\cos\hat{\theta}$ and $\sin\hat{\theta}$ be defined by Taylor series, and let $\hat{L}_z = m\hat{r}^2 \hat{\omega}_z$. Then we can write the result in two forms:

$$\frac{d}{dt}\langle \cos\hat{\theta} \rangle = \langle -\frac{1}{2}(\hat{\omega}_z \sin\hat{\theta}+ \sin\hat{\theta}\hat{\omega}_z))\rangle$$

$$\frac{d}{dt}\langle \sin\hat{\theta} \rangle = \langle\frac{1}{2}(\hat{\omega}_z \cos\hat{\theta}+ \cos\hat{\theta}\hat{\omega}_z))\rangle$$

The reason why why we can't simply use the operator $\hat{\theta}$ is that $\hat{L}_z$ is only a Hermitian operator if its domain is restricted to periodic functions, and $\hat{\theta}$ maps periodic functions to non-periodic functions. So if we want to keep things within the domain of $L_z$ we need to work with an operator $f(\hat{\theta})$ where $f$ is a periodic function. And the simplest periodic functions which make $f(\hat{\theta})$ a Hermitian operator are sine and cosine. (It needs to be Hermitian if we want our Ehrenfest result to be between observable quantities.)

EDIT: The paper also provides a more general result for arbitrary periodic functions $f$ with period $2\pi$:

$$\frac{d}{dt}\langle f(\hat{\theta}) \rangle = \langle \frac{1}{2}(\hat{\omega}_z f'(\hat{\theta})+ f'(\hat{\theta})\hat{\omega}_z)\rangle$$

where again $f(\hat{\theta})$ and $f'(\hat{\theta})$ are defined via Taylor series.

Note that while this formula is true for all such functions $f$, in order it to be a result between observable quantities $f(\hat{\theta})$ needs to be a Hermitian operator. I posted a question here to find out what functions $f$ make $f(\hat{\theta})$ Hermitian.

| cite | improve this answer | |
  • $\begingroup$ They are indeed the simplest such functions, but that means relatively little. If you can extend this to an arbitrary $\cos(n\theta)$, then you have a complete set and you're in business. Otherwise, this is nice but incomplete. $\endgroup$ – Emilio Pisanty Nov 12 '16 at 18:11
  • $\begingroup$ @EmilioPisanty If you're trying to get an equation for general functions $f$, the paper provides such a result. I just edited my question to include it. $\endgroup$ – Keshav Srinivasan Nov 13 '16 at 0:38

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.