I'm really confused by the definition and uses of operators in quantum mechanics. Usually we say that the state of a system is described by some vector |ψ⟩ in a Hilbert space H, and then we define operators acting on said vector, for example ˆp:H→H. But often I read things like ˆpψ(x)=−iℏ∂∂xψ(x)
I don't understand. ψ(x)=⟨x|ψ⟩ is a function in L2 or some other space, not the same Hilbert space as |ψ⟩. More precisely ψ(x)=⟨x|ψ⟩ is an element of the field associated with H for fixed x, I don't understand how can we apply ˆp to this object.
How should I interpret this?
EDIT: I just realized that my question is a duplicate of this one, I must say that the "related" section is a much better search engine than the search engine. I have a question about ACuriousMind's answer. He writes that one can define a map Ket:L2(R,C)→H1D,ψ↦|ψ⟩:=∫∞−∞ψ(x)|x⟩dx
But I don't really understand how ∫∞−∞ψ(x)|x⟩dx
Answer
If we you want to know a rigorous formulation of quantum mechanics, please check the first chapter of the book Dirac Kets, Gamow Vectors and Gelfand Tripletes--The Rigged Hilbert Space formulation of Quantum Mechanics by A.Bohm and M.Gadella. This is a huge topic and cannot be answered in a few lines. I list some important facts below.
Complete system of commuting operators
{Ak}, k=1,2,⋯,N is a system of commuting operators on rigged Hilbert space Φ⊂H⊂ΦX iff
- [Ai,Ak]=0 for all i,k=1,⋯,N
- ∑A2k is essentially self adjoint
{Ak} is a complete commuting system if there exists a vector ϕ∈Φ such that {Aϕ|A runs out the algebra generated by {Ak}} spans H.
An antilinear functional F on Φ is a generalized eigenvector for the system Ak if for any k=1,⋯,N (Ak)XF=λ(k)F
Nuclear Spectral Theorem
Let {Ak}, k=1,2,⋯,N be a complete system of commuting essentially τΦ-continuous operators on the rigged Hilbert space Φ⊂H⊂ΦX. Then, there exists a set of generalized eigenvectors |λ(1),⋯,λ(N)⟩∈ΦX
Comments
Roughly speaking, the equivalence of the L2(R,C) and H is guaranteed by the fact that X is a system of commuting operators on rigged Hilbert space. The demanded rigged Hilbert space should be constructed from the original Hilbert space if the algebra of operators are given. The notation of |ψ⟩=∫dx⟨x|ψ⟩|x⟩ holds in the sense of performing inner product and is guaranteed by the nuclear spectrum theorem.
The whole construction is very complicated and subtle, and needs a lot of concepts of modern function analysis. Again, please check the book I recommended if you are really interested in this topic.
No comments:
Post a Comment