Is the differential in the momentum operator commutative?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 2K views
Zacarias Nason
Messages
67
Reaction score
4
As it says; I was looking over some provided solutions to a problem set I was given and noticed that, in finding the expectation value for the momentum operator of a given wavefunction, the following (constants/irrelevant stuff taken out) happened in the integrand:

[tex]\int_{-\infty}^{\infty}\gamma(x)(\hat{p}(\gamma(x))dx = \int_{-\infty}^{\infty}\gamma(x)\frac{\hbar}{i}\frac{\partial}{\partial x}\bigg(\gamma(x)\bigg)dx= \frac{\hbar}{i}\int_{-\infty}^{\infty}\frac{\partial}{\partial(x)}\bigg(\gamma^2(x)\bigg)dx[/tex]

Are we allowed to commute functions of the same dependency on variables into the momentum operator if the momentum operator's differential is w.r.t. that same variable or something? How does this work?
 
Physics news on Phys.org
I just noticed that before you mentioned, and I can't figure out where it's coming from. There's now a factor of two in the denominator of a constant now outside the integral; I'm guessing some other operation was done that I didn't notice?

(To be clear, the factor of two wasn't there, and now it is after that function is moved into the differential operator(?). It wasn't there prior, so it had to have come from some operation.)

What you're left with, before the change I noted, is the integrand in this form:

[tex]\gamma(x) \frac{d}{dx}\bigg(\gamma(x)\bigg)dx[/tex]
 
It's just the chain rule, consider
$$
\frac{\partial}{\partial x} \gamma^2(x) = \frac{\partial \gamma^2(x)}{\partial \gamma(x)} \frac{\partial \gamma(x)}{\partial x}.
$$
 
  • Like
Likes   Reactions: Zacarias Nason
Yes, a moderator can put the two in your OP. Yes, the derivative operator used in quantum mechanics has the same commutation properties as the derivative operator from multidimensional real calculus, namely the Leibniz property.
 
  • Like
Likes   Reactions: Zacarias Nason
Ah, thanks to both of you!