Hermitian operators

  • Thread starter T-7
  • Start date
  • #1
T-7
64
0

Homework Statement



Show that if [tex]\Omega[/tex] is an hermitian operator, and [tex]\varphi[/tex] and [tex]\psi[/tex] are (acceptable) wavefunctions, then then

[tex]\int \phi^{*} \Omega \psi dz = \int \psi (\Omega \phi)^{*} dz[/tex]

Homework Equations



Consider the wave function [tex]\Psi = \phi + \lambda\psi[/tex]

The Attempt at a Solution



In my solution, I eventually arrive at

[tex]\int \Psi^{*} \Omega \Psi dz = \int \phi^{*} \Omega \phi dz + \lambda\lambda^{*}\int \psi^{*} \Omega \psi dz + \lambda\int \psi^{*} \Omega \phi + \lambda^{*}\int \phi^{*} \Omega \psi [/tex]

The first two terms on the right, I conclude, are real. (I deduce this because they are both essentially expectation measurements on their respective functions; if the functions are legitimate wave functions, and if the operator is Hermitian, then the result must be real). Likewise for the term on the left, which is a superposition of these two wavefunctions.

This leaves the last two terms. I'm guessing the next step is to compare real and imaginary parts of both sides -- which implies these two are also real, since there isn't anything imaginary on the left.

Now the answer would drop out nicely if I equated the conjugate of the fourth term on the right with the third term on the right, but I'm not totally clear on how that step would be justified (I presume this is the thing to do, though). Could someone make the logic of that move very explicit for me. (I'm probably just being obtuse).

Cheers.
 

Answers and Replies

  • #2
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
which implies these two are also real, since there isn't anything imaginary on the left.
No; it implies their sum is real.


Could someone make the logic of that move very explicit for me. (I'm probably just being obtuse).
[tex]
\left(\int f(x) + i g(x) \, dx\right)^* =
\left( \left( \int f(x) \, dx \right) + i \left(\int g(x) \, dx \right) \right)^* = \ldots[/tex]


You could also do it by looking at Riemann sums.
 
Last edited:
  • #3
dextercioby
Science Advisor
Homework Helper
Insights Author
13,077
645
If [itex] \Omega \subset \Omega^{\dagger} [/itex], then [itex] \forall \psi\in D_{\Omega} \ , \ \Omega\psi=\Omega^{\dagger} \psi[/itex]. Now consider the abstract expression [itex] \langle\phi,\Omega\psi\rangle [/itex] for some [itex] \phi,\psi\in D_{\Omega} [/itex]. Translate it into [itex]L^{2}\left(\mathbb{R},dx\right) [/itex] language. Then translate the folowing formula associated with the definition of the adjoint: if the adjoint exists, then [itex] \forall\phi\in D_{\Omega^{\dagger}}, \forall \psi\in D_{\Omega} ,\langle \phi, \Omega\psi\rangle =\langle \Omega^{\dagger}\phi, \psi\rangle [/itex] also in the same language. Then use the hermiticity of the operator and you're there.
 
  • #4
cks
165
0
Using bra-ket notation,

[tex]\int \phi^{*} \Omega \psi dz = \int \psi (\Omega \phi)^{*} dz[/tex]

Since omega is hermitian, then omega=omega^(dagger)
<phi|omega|psi>=<phi|omega^(dagger)|psi>=<omega phi|psi>
 
  • #5
T-7
64
0
Thanks very much folks. :smile:
 

Related Threads on Hermitian operators

  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
6
Views
1K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
9
Views
9K
  • Last Post
Replies
5
Views
3K
  • Last Post
Replies
15
Views
2K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
4
Views
648
Top