Do momentum and kinetic energy operators always commute for a free particle?

Click For Summary
SUMMARY

The discussion centers on the commutation of momentum and kinetic energy operators for free particles and particles in an infinite square well. For free particles, the wave function serves as an eigenfunction for both operators, indicating that they commute with the Hamiltonian due to conserved momentum. However, in the case of a particle in an infinite square well, defining a momentum operator is complex and requires careful consideration of the Hilbert space, as unbounded operators are not defined on the entire space. The Rigged Hilbert Space framework is essential for understanding these nuances.

PREREQUISITES
  • Quantum mechanics fundamentals
  • Understanding of operators in Hilbert spaces
  • Knowledge of eigenfunctions and eigenvalues
  • Familiarity with Rigged Hilbert Space theory
NEXT STEPS
  • Study the properties of unbounded operators in quantum mechanics
  • Learn about self-adjoint extensions using von Neumann deficiency indices
  • Explore the implications of boundary conditions on momentum operators
  • Investigate the Rigged Hilbert Space framework in detail
USEFUL FOR

Students of quantum mechanics, physicists researching operator theory, and anyone interested in the mathematical foundations of quantum systems.

fricke
Messages
38
Reaction score
3
For particle in the box wave function, it is the eigenfunction of kinetic energy operator but not the eigenfunction of momentum operator. So, do these two operators commute? (or it has nothing to do with commutator stuff?)

How about for free particle? For free particle, the wave function is eigenfunction of both kinetic energy operator and momentum operator. So, does it mean these two operators do not commute?
 
Physics news on Phys.org
There's no momentum operator for a particle in a infinite square well. So it doesn't even make sense to ask the question whether momentum operator and Hamiltonian commute or not :-).

For the free particle, the momentum operators all commute with the Hamiltonian since the momentum of a free particle is conserved.
 
  • Like
Likes   Reactions: bhobba, fricke and PWiz
vanhees71 said:
There's no momentum operator for a particle in a infinite square well.
There is. You couldn't define the hamiltonian without a momentum operator and you wouldn't have an uncertainty from [X,P]=ih1.
 
  • Like
Likes   Reactions: atyy
cpsinkule said:
There is. You couldn't define the hamiltonian without a momentum operator and you wouldn't have an uncertainty from [X,P]=ih1.
Careful! This is a harder issue than it seems. The difficulty is defining a momentum operator for the inf-sq-well case in such a way that it is well-defined on the entire Hilbert space of that problem. This has been discussed at length in older threads. Hmm, now I'll have to go hunting to find one of them... :oldfrown:
 
  • Like
Likes   Reactions: vanhees71 and bhobba
strangerep said:
Careful! This is a harder issue than it seems.

Indeed - its this Rigged Hilbert Space stuff which requires care.

The following examines it in the case of the square well:
http://arxiv.org/pdf/quant-ph/0110165v1.pdf

As can be seen its not exactly trivial.

Thanks
Bill
 
strangerep said:
Careful! This is a harder issue than it seems. The difficulty is defining a momentum operator for the inf-sq-well case in such a way that it is well-defined on the entire Hilbert space of that problem. This has been discussed at length in older threads. Hmm, now I'll have to go hunting to find one of them... :oldfrown:
Unbounded operators are never defined on the entire Hilbert space. It's true that the momentum operator on ##L^2([a,b])## works differently, though. One starts with a dense domain such that ##p=-\mathrm i\partial_x## is symmetric. Such a domain can be found easily by restricting to continuously differentiable functions that vanish at the boundary. One can then study self-adjoint extensions using the von Neumann deficiency indices method. One finds that there are infinitely many self-adjoint extensions ##p_U##, labeled by ##U(1)## matrices (the deficiency spaces are 1-dimensional). They correspond to all possible choices of boundary conditions that keep the operator symmetric. Moreover, ##[x,p_U]=\mathrm i##, so each ##p_U## consitutes a possible momentum operator. Depending on the physical situation, one of these ##p_U## will be appropriate. Often, we choose Dirichlet boundary conditions or periodic boundary conditions for example.

However, there is a physically relevant example, where no self-adjoint extensions exist: ##L^2([0,\infty))##. So there is no momentum operator conjugate to the radial coordinate ##r##.
 
Last edited:
  • Like
Likes   Reactions: atyy and aleazk

Similar threads

  • · Replies 12 ·
Replies
12
Views
843
Replies
18
Views
2K
  • · Replies 33 ·
2
Replies
33
Views
4K
  • · Replies 75 ·
3
Replies
75
Views
5K
  • · Replies 22 ·
Replies
22
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 14 ·
Replies
14
Views
7K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K