Monday, 23 February 2015

Operator in quantum mechanics


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:HH. But often I read things like ˆpψ(x)=ixψ(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)|xdx


But I don't really understand how ψ(x)|xdx

is defined. How can one take an integral of a ket? The integral is a functional in L2, not whatever space |x is in.



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




  1. [Ai,Ak]=0 for all i,k=1,,N

  2. 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

The set of numbers λ=(λ(1),,λ(N)) are called generalized eigenvalues Fλ=|λ(1),,λ(N).


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

(Ak)X|λ(1),,λ(N)=λ(k)|λ(1),,λ(N)
λ(k)Λ(k)= spectrum of Ak
such that for every ϕΦ and some uniquely defined measure μ on Λ=Λ(1)××Λ(N), (ψ|ϕ)=Λdμ(λ)ψ|λ(1),,λ(N)λ(1),,λ(N)|ϕ
.


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 |ψ=dxx|ψ|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

Understanding Stagnation point in pitot fluid

What is stagnation point in fluid mechanics. At the open end of the pitot tube the velocity of the fluid becomes zero.But that should result...