Register to reply 
How to prove that d^2/dx^2 is a hermitian operator? 
Share this thread: 
#1
Jun106, 01:04 PM

P: 22

would anyone mind showing me, for example, how to prove that d^2/dx^2 is a hermitian operator? i've tried to work it out from two different books; they both prove that the momentum operator is hermitian, but when i try to apply the same thing to the operator d^2/dx^2 i get lost pretty quick. thanks in advance.
also, does anyone know a book on QM written from a not so mathematical perspective? right now i don't really care for rigorous mathematical proof, i just want to know how to do things and why i am doing them. all this stuff about operators seems very arbitrary (i know that its not, but thats how it appears with my current level of understanding). right now my QM course just seems like i'm learning random mathematical proofs. like someone trying to learn newtonian mechanics without knowing what a body is. 


#2
Jun106, 01:24 PM

P: 124

An operator A is Hermitian (or self adjoint) if
[tex]\langle\psi A\phi\rangle =(\langle\phi A\psi\rangle )^*[/tex] I.e. in one dimension, as is relevant to you, [tex]\int\psi^* A\phi dx=\left(\int\phi^* A\psi dx\right)^*[/tex] So just integrate it by parts a couple of times and impose boundary conditions to [itex]\phi[/itex] and [itex]\psi[/itex] so that they vanish at the limits of integration. If the equality holds then your your differential operator will be self adjoint, which it will for your operator. The boundary conditions then mean that the domain upon which A is Hermitian is that subspace of vectors that obey the boundary conditions. If something is Hermitian then it means that I can swap between acting on the left and right in an inner product if the vectors in the inner product have the right boundary conditions, as above. In actual physical terms Hermitian operators correspond to observables, i.e. information we get from experiment or by measurement. The choice of Hermitian operators is because their eigenvalues are real, and this fits best with our experience of physical things having real quantities associated with them, sometimes their nondegenerate eigenstates being orthogonal can be useful. 


#3
Jun106, 01:35 PM

P: 22

thanks, that was simpler than i thought. i was only integrating by parts once.



#4
Jun106, 01:57 PM

P: 124

How to prove that d^2/dx^2 is a hermitian operator?
What book are you using?



#5
Jun106, 04:03 PM

P: 1,235

Maybe you could enjoy to proof that the square of an hermitian operator is hermitian too.
And some generalisations ... 


#6
Jun206, 05:46 AM

P: 22




#7
Jun1306, 10:54 AM

P: 35

I have been thinking about putting up something about the (mathematical) requirement in Quantum Mechanics that physical observables be represented in the formalism by Hermitian operators. I understand that Hermiticity guarantees the realvaluedness of the eigenvalues (hence the measured quantities corresponding to these eigenvalues), and the conservation of probabilities (or unitary evolution). However, I believe that realvaluedness is not a necessity, and that this supposed requirement restricts the number of Hamiltonians that we could normally work with. For example, we only need the Hamiltonian to be PTsymmetric, and with welldefined boundary conditions, we can easily show that the eigenvalues are real and the evolution unitary.
I believe that a PTsymmetric Hamiltonian is more a physical requirement as compared to what appears to be a purely mathematical Hermiticity requirement. Now, this has been known for some time, but never have I been told in my undergraduate QM courses that we can forego Hermiticity (I guess the lecturer had his reservations about it, but then I don't see any problem with it). Has anybody heard about it before? Paper: Must a Hamiltonian be Hermitian? Bender, Carl M., Brody, Dorje C., and Jones, Hugh F. By the way, I'm reading Penrose's "The Road to Reality", where Penrose tells us about his similar reservations about Hermiticity (page 539, Jonathan Cape Edition). I quote: "In my opinion, this Hermitian requirement on an observable Q is an unreasonably strong requirement, since complex numbers are frequently used in classical physics, such as for the Riemann sphere representation of the celestial sphere, and in many standard discussions of the harmonic oscillator, etc." According to him, an "essential requirement of an observable is that its eigenvectors, corresponding to distinct eigenvalues, are orthogonal to one another". Maybe some people have the chance here to talk about this to their lecturers or friends... 


#8
Jun1306, 07:31 PM

P: 89

This could be wrong..............
Anyway using the bra ket notation: Let's label the second order derivative operator as [tex]D^2[/tex]. It will operate on an arbitrary ket [tex]\leftf\rangle[/tex] and produce the ket [tex]\left\frac{d^2f}{dx^2}\rangle[/tex]. So: [tex] D^2f\rangle = \left\frac{d^2f}{dx^2}\rangle[/tex] Now finding the projection of both sides along the position eigenkets: [tex] \langle xD^2f\rangle = \langle x\frac{d^2f}{dx^2}\rangle[/tex] The right hand side is simply: [tex]\frac{d^2f}{dx^2}[/tex] So: [tex] \langle xD^2f\rangle = \frac{d^2f}{dx^2}[/tex] I'll now introduce the dummy ket [tex]\leftx'\rangle[/tex] to sum over and using the resolution of identity: [tex]\int \langle xD^2x'\rangle \langle x'f\rangle dx'= \frac{d^2f}{dx^2}[/tex] Using the fact that [tex]\langle x'f\rangle = f(x')[/tex] We get: [tex]\int \langle xD^2x'\rangle f(x') dx'= \frac{d^2f}{dx^2}[/tex] Knowing the properties of the dirac equation we see from the above that: [tex]\langle xD^2x'\rangle = D^2_{xx'} = \delta(xx')\delta(xx')\frac{d^2}{dx'^2}[/tex] So now we have the components of the operator: [tex]D^2_{xx'} = \delta(xx')\delta(xx')\frac{d^2}{dx'^2}[/tex] Taking the complex conjugate: [tex]D^2_{xx'}^{*} = \delta(xx')\delta(xx')\frac{d^2}{dx'^2}[/tex] And now taking the transpose: [tex]D^2_{x'x}^{*} = D^2_{xx'}^{\dagger} = \delta(x'x)\delta(x'x)\frac{d^2}{dx'^2} = \delta(xx')\delta(xx')\frac{d^2}{dx'^2} = \delta(xx')\delta(xx')\frac{d^2}{dx'^2}[/tex] Which is the same as [tex]D^2_{xx'}[/tex] So [tex]D^2_{xx'} = D^2_{xx'}^{\dagger}[/tex] then [tex]D^2 = D^2^{\dagger}[/tex] Which is the definition of Hermitian. 


#9
Jun1506, 05:30 PM

Sci Advisor
P: 1,082

Quite sometime ago, Tulio Regge spearheaded research that was based on complex angular momenta  basically by analytic continuation of standard associated legendre function expsions, as was done much earlier by Arnold Sommerfeld in connection with computing radiation patterns of grounded antenna on a "reflecting earth", So called Regge poles are a staple of particle physics  this stuff is very complicated, but I imagine Google and Wikopedia can shed some light. Also, one could argue that the socalled Wick rotation involves a formally nonhermitian Hamiltonian operator. Also, look up the Optical potential in scattering theory.
In general, what would you really do with nonHermitian operators, particularly with the awkward boundary values that an happen ? Regards, Reilly Atkinson 


Register to reply 
Related Discussions  
Ladder Operator/hermiticity  Quantum Physics  5  
Question about the hermiticity of the momentum operator  Quantum Physics  4  
Kets, bras, hermiticity etc.  Quantum Physics  5 