I read that the momentum operator, ˆP should be Hermitian (some would say by QM postulate). That makes perfect sense when it is represented in the momentum (p) basis: ˆP=∫∞−∞p|p⟩⟨p|dp, which certainly is Hermitian. ("p" is momentum eigenvalue)
However, please see the following link \href{url}{http://www.phas.ubc.ca/~raussen/Phys500/Assignments/SolutionHW2.pdf}
It states that the momentum operator, in the position (x) basis, is ˆP=−iℏ∫∞−∞∂/∂x|x⟩⟨x|dx. That does not seem Hermitian, as the diagonal contains complex values.
Further, sometimes the momentum operator is used in the interaction Hamiltonian (ˆHint), such as ˆHint=kAˆP (where A is a variable of one system, ˆP is the momentum operator of the other, and k is a coupling constant. That could make ˆHint non-Hermitian, if the momentum operator is represented in the position basis (I also read that the Hamiltonian should be Hermitian, except in special cases, such as radioactive decay.)
Could someone please clarify how ˆP=−iℏ∫∞−∞∂/∂x|x⟩⟨x|dx makes sense along with the statement that ˆP and ˆH should be Hermitian?
Answer
The following is a copy-paste from Dirac(1)
This gives ⟨ϕdqdq|q′⟩=−dϕ(q′)dq′, showing that ⟨ϕdqdq=−⟨dϕdq. Thus d/dq operating to the left on the conjugate complex of a wave function has the meaning of minus differentiation with respect to q.
And two paragraphs later
The conjugate complex of the linear operator d/dq can be evaluated by noting that the conjugate imaginary of d/dq.ψ⟩ or dψ/dq⟩ is ⟨d__ψ/dq, or −⟨__ψd/dq from (016). Thus the conjugate complex of d/dq is −d/dq, so d/dq is a pure imaginary linear operator.
(1) The Principles of Quantum Mechanics, P.A.M.Dirac, 4th edition 1967- §22. Schröndiger's representation.
ADDENDUM
Let p an operator in a finite n−dimensional Hilbert space represented by the finite n×n matrix pμν. The hermitian conjugate operator p† is represented by the matrix p†μν, the hermitian conjugate of pμν which is produced by transposing and complex conjugating p†μν=__pνμ The operator p is hermitian if its matrix pμν is hermitian p†=p⟸⟹p†μν=pμν
Now, if q is the position operator for the x−axis and p the operator of the x−component of the linear momentum in the q−basis, that is with respect to the complete set of the eigenstates of q, then
p=−iℏdqdq If we want to check the hermiticity of this momentum operator by transposing and complex conjugating the elements of a matrix then equation (03) is not convenient, as it is, since it's far away from being an equation between matrices.
In the following we'll see a matrix representation of (03) by which we'll prove the hermiticity of p exactly by transposing and complex conjugating of the elements of a matrix. This is achieved by the basic quantum-mechanical equation qp−pq=iℏI and the Dirac δ−function. It is known that there don't exist matrices qμν,pμν,Iμν representations of q,p,I satisfying equation (04) with μ,ν taking values from a finite or even countable set of values (any effort to succeed this would convince us). So these matrices must be of infinite uncountable dimensions.
Now, our first step would be to find a representation for the operator q since we must express the momentum operator p in the q−basis. This problem is equivalent to the determination of the eigenstates of q.
Before examine the infinite continuous case we'll try to build an example for a finite discrete case and see the correspondence. So, suppose that a particle could be only on a finite set of points on the x−axes, let x1=1,x2=2,⋯,xn=n. The space of states is the n−dimensional Hilbert space Cn so it's reasonable to take as eigenstates of the position operator the n state vectors
(eμ)ν=δμνthat is : e1=[10⋮00]e2=[01⋮00]⋯⋯⋯en=[00⋮0n] and since the operator q has eigenvalues 1,2,⋯,n it is represented by the diagonal matrix q=[1nnnnn2nnnnn⋱nnnnn⋱nnnnnn] expressed via the Kronecker δ qμν=μδμν In (07) the Einstein's convention for repeated indices is not valid.
A general state f is a n−dimensional complex vector represented with respect to the basis (05) by the one column matrix f=[f(1)f(2)⋮⋮f(n)]
Application of the q operator on f produces a new state g g=qf represented by the matrix g=[1⋅f(1)2⋅f(2)⋮⋮n⋅f(n)] that is g(μ)=∑νqμνf(ν)=∑νμδμνf(ν)=μf(μ)
Now, returning to the infinite continuous case, a particle could be at any point on the real x−axis so we expect the q to be represented in the basis of its own eigenstates by a diagonal ′improper′ matrix with all real numbers as eigenvalues on the main diagonal as below
q=[−∞nnnnabn↖nnnabnnRnnabnnn↘nabnnnn+∞ab] But the row and column indices μ,ν which take discrete values in (07) must be replaced by the indices xr,xc which take continuous values in R as shown below ⋯⋯⋯⋯⋯⋯xc⋯⋯⋯⋯⋯⋯⋯⋯↓⋯⋯q(xr,xc)=abxr⟶abababab[nnn⋮n⋯⋯⋯⋯⋯⋯⋯⋮⋯⋯⋯abnnn⋮nabnnn⋮nnnn⋮n] For notation reasons in (13) the row and column indices xr,xc are not placed as subscripts as μ,ν do in qμν but are placed in parentheses so that q(xr,xc) looks like a function of two real variables. Here the eigenstates of the position operator q that correspond to those of the finite case, see equation (05), are (exr)xc=δ(xr−xc)xr,xc∈R where δ(x) the Dirac δ−function.
The position operator q is represented by the ′improper′ matrix q(xr,xc)=xrδ(xr−xc) an expression that corresponds to equation (07) of the finite case.
The matrix (15) is hermitian due to the fact that the Dirac δ−function is real and even, that is transposing and complex conjugating q†(xr,xc)=__q(xc,xr)=xrδ(xc−xr)=xrδ(xr−xc)=q(xr,xc) Note that the identity operator I is represented by I(xr,xc)=δ(xr−xc) A general state f is a function f(x) of the x−coordinate and application of the position operator q produces an other state g expressed in matrix form as g=qf=+∞∫−∞q(xr,xc)f(xc)dxc=+∞∫−∞xrδ(xr−xc)f(xc)dxc=xrf(xr) that is g(x)=xf(x) Equations (18)-(19) correspond to (11) of the finite case where the summation ∑ν with respect to the index ν is replaced by the integral ∫dxc with respect to the real index xc.
The final step will be to find the matrix representation of the linear momentum operator p, let it be p(xr,xc). So, let a general state f, that is a function f(x). Application of the basic quantum-mechanical equation (04) on f yields (qp−pq)f=iℏIf⟹+∞∫−∞q(xr,u)(+∞∫−∞p(u,xc)f(xc)dxc)du−+∞∫−∞p(xr,v)(+∞∫−∞q(v,xc)f(xc)dxc)dv=iℏ+∞∫−∞I(xr,xc)f(xc)dxc(15),(17)===⟹+∞∫−∞xrδ(xr−u)(+∞∫−∞p(u,xc)f(xc)dxc)du−+∞∫−∞p(xr,v)(+∞∫−∞vδ(v−xc)f(xc)dxc)dv=iℏ+∞∫−∞δ(xr−xc)f(xc)dxc⟹xr+∞∫−∞p(xr,xc)f(xc)dxc−+∞∫−∞p(xr,xc)xcf(xc)dxc=iℏ+∞∫−∞δ(xr−xc)f(xc)dxc⟹+∞∫−∞[(xr−xc)p(xr,xc)−iℏδ(xr−xc)]f(xc)dxc=0 Since (20) must be valid for any state-function f(x) the expression in brackets under the integral must be identically zero, so \begin{equation} \bbox[yellow] {\:\:\:\mathrm p \left( x_{\boldsymbol{r}}, x_{\boldsymbol{c}}\right)\boldsymbol{=} i\hbar \dfrac{\delta\left( x_{\boldsymbol{r}}\!\boldsymbol{-}\!x_{\boldsymbol{c}}\right)}{\left( x_{\boldsymbol{r}}\!\boldsymbol{-}\!x_{\boldsymbol{c}}\right)}\boldsymbol{=}\boldsymbol{-}i\hbar\delta^{\,\prime}\!\left( x_{\boldsymbol{r}}\!\boldsymbol{-}\!x_{\boldsymbol{c}}\right)\boldsymbol{=} \boldsymbol{-}i\hbar \dfrac{\mathrm d\delta\left( x_{\boldsymbol{r}}\!\boldsymbol{-}\!x_{\boldsymbol{c}}\right)}{\mathrm d\left( x_{\boldsymbol{r}}\!\boldsymbol{-}\!x_{\boldsymbol{c}}\right)}\:\:\:\vphantom{\dfrac{\dfrac{a}{b}}{\dfrac{a}{b}}} } \tag{21}\label{eq21} \end{equation} where \begin{equation} \delta^{\,\prime}\!\left( x\right)\boldsymbol{=} \dfrac{\mathrm d\delta \left(x\right)}{\mathrm dx}\boldsymbol{=} \boldsymbol{-}\dfrac{\delta \left(x\right)}{x} \tag{22}\label{eq22} \end{equation} the first derivative of the \;\delta-function.
Now, the hermiticity of the momentum operator is proved by transposing and complex conjugating the matrix in \eqref{eq21}
\begin{equation} \mathrm{p}^{\boldsymbol{\dagger}}\left( x_{\boldsymbol{r}}, x_{\boldsymbol{c}}\right)\boldsymbol{=}\overset{\boldsymbol{\_\!\_}}{\mathrm{p}}\left( x_{\boldsymbol{c}}, x_{\boldsymbol{r}}\right)\boldsymbol{=} \boldsymbol{-}i\hbar \dfrac{\delta\left( x_{\boldsymbol{c}}\!\boldsymbol{-}\!x_{\boldsymbol{r}}\right)}{\left( x_{\boldsymbol{c}}\!\boldsymbol{-}\!x_{\boldsymbol{r}}\right)}\boldsymbol{=}i\hbar \dfrac{\delta\left( x_{\boldsymbol{r}}\!\boldsymbol{-}\!x_{\boldsymbol{c}}\right)}{\left( x_{\boldsymbol{r}}\!\boldsymbol{-}\!x_{\boldsymbol{c}}\right)}\boldsymbol{=}\mathrm p \left( x_{\boldsymbol{r}}, x_{\boldsymbol{c}}\right) \tag{23}\label{eq23} \end{equation} The matrix \eqref{eq21} is hermitian due to the fact that the first derivative \;\delta^{\,\prime}\!\left(x\right)\; of the Dirac \;\delta-function is real and odd and to the antihermiticity of the imaginary unit \;i.
Note also that equation \eqref{eq21} is a matrix representation of \eqref{eq03} since application of the momentum operator \;p\; on a state \;f\; yields \begin{equation} pf=\!\!\!\!\int\limits_{\boldsymbol{-\infty}}^{\boldsymbol{+\infty}}\!\!\!\!\mathrm p \left( x_{\boldsymbol{r}}, x_{\boldsymbol{c}}\right)f\left(x_{\boldsymbol{c}}\right)\mathrm dx_{\boldsymbol{c}}\boldsymbol{=}\boldsymbol{-}i\hbar\!\!\!\int\limits_{\boldsymbol{-\infty}}^{\boldsymbol{+\infty}}\!\!\!\!\delta^{\,\prime}\!\left( x_{\boldsymbol{r}}\!\boldsymbol{-}\!x_{\boldsymbol{c}}\right)f\left(x_{\boldsymbol{c}}\right)\mathrm dx_{\boldsymbol{c}}\boldsymbol{=}\boldsymbol{-}i\hbar\dfrac{\mathrm df}{\mathrm dx} \tag{24}\label{eq24} \end{equation}
No comments:
Post a Comment