Friday, 16 August 2019

Hermiticity of Momentum Operator (matrix) Represented in Position Basis


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|pp|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|xx|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|xx|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 ndimensional 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=ppμν=pμν


Now, if q is the position operator for the xaxis and p the operator of the xcomponent of the linear momentum in the qbasis, that is with respect to the complete set of the eigenstates of q, then
p=idqdq 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 qppq=iI 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 qbasis. 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 xaxes, let x1=1,x2=2,,xn=n. The space of states is the ndimensional Hilbert space Cn so it's reasonable to take as eigenstates of the position operator the n state vectors

(eμ)ν=δμνthat is : e1=[1000]e2=[0100]en=[000n] and since the operator q has eigenvalues 1,2,,n it is represented by the diagonal matrix q=[1nnnnn2nnnnnnnnnnnnnnnn] expressed via the Kronecker δ qμν=μδμν In (07) the Einstein's convention for repeated indices is not valid.


A general state f is a ndimensional 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=[1f(1)2f(2)nf(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 xaxis 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=[nnnnabnnnnabnnRnnabnnnnabnnnn+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 xcq(xr,xc)=abxrabababab[nnnnabnnnnabnnnnnnnn] 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=δ(xrxc)xr,xcR where δ(x) the Dirac δfunction.


The position operator q is represented by the improper matrix q(xr,xc)=xrδ(xrxc) 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δ(xcxr)=xrδ(xrxc)=q(xr,xc) Note that the identity operator I is represented by I(xr,xc)=δ(xrxc) A general state f is a function f(x) of the xcoordinate 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δ(xrxc)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 (qppq)f=iIf+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δ(xru)(+p(u,xc)f(xc)dxc)du+p(xr,v)(+vδ(vxc)f(xc)dxc)dv=i+δ(xrxc)f(xc)dxcxr+p(xr,xc)f(xc)dxc+p(xr,xc)xcf(xc)dxc=i+δ(xrxc)f(xc)dxc+[(xrxc)p(xr,xc)iδ(xrxc)]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

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