Show \hat{O}^2 is Hermitian Given \hat{O} is Hermitian

[latentcorpse]

If \hat{O} is hermitian, show that \hat{O}^2 is hermitian.

we have <\psi|\hat{O}^2|\psi>^* = <\psi|\hat{O}\hat{O}|\phi>^*=<\phi|\hat{O}^{\dagger} \hat{O}^{\dagger}|\psi>=<\phi|\hat{O}\hat{O}|\psi>=<\phi|\hat{O}^2|\psi>
which works (hopefully)!

to do this in integral notation is the following ok:

\left(\int \psi^* \hat{O} \hat{O} \phi dx \right)^* = \int \left(\hat{O}\hat{O} \phi \right)^* \psi dx = \int \phi^* \hat{O} \hat{O} \psi dx
?

 

[dextercioby]

What does 'hermitean' mean ?

Let \mathcal{H} be a (complex) separable Hilbert space and \mbox{O} : \mathcal{D}(O) \longleftarrow \mathcal{H} a densely defined linear operator. Symmetry/hermiticity of this operator means that

\forall \varphi, \psi \in \mathcal{D}(O)

\langle O\varphi, \psi\rangle = \langle\varphi, O\psi\rangle.

What does the hermiticity of the squared operator mean and what extra (restraining) assumptions do you need to make ?

 

[latentcorpse]

hey. can you explain in simpler terms...

i haven't covered hilbert spaces or densely defined linear operators.

im basically working with the knowledge of definition of hermitian conjugate:
<\psi|\hat{O}|\phi>^*=<\phi|\hat{O}^{\dagger}|\psi> and that \hat{O} is hermitian iff \hat{O}=\hat{O}^{\dagger}

 

[millitiz]

To make his words simplier, it is basically as following:
if a operator A is Hermitean, for all \Psi, \Phi
< \Psil A \Phi > = <A \Psil \Phi >

Proceed from here. I think this is enough to solve the proof

 

[latentcorpse]

two questions:
why is your definition of hermitian operator different from mine (i seem to have an extra "line" between my operators and my kets?
also is my attempt at a proof in post 1 wrong?

 

[millitiz]

I don't think that your statement is "wrong." It is more like you are stating it in a different way, and I didn't quite get your notation.
For instance, what is your "dagger" sign mean here? And your * sign meant to be complex conjugate?
I study in the US, and we, at least my school, use totally different notations from yours.

However, the integration part looks kinda right to me. Please clarify if I am right. I can follow up to you apply to complex conjugate to OO \Phi, and of course complex conjugate apply to each individual "thing."
And since O = O*, therefore you get the second equality.
So I assume that you are taught that if O is hermition, then < \Phi lO \Phi > = < \Phi lO \Phi >*?
I think this is a valid statement (at least this is consistent to what I was taught). It is just that we are not taught in this particular language.

 

[latentcorpse]

dagger is hermtian conjugate.

i don't get why you don't have a line on either side of your operator?

 

[kaksmet]

I believe it is only a notation difference and if my memory does not fail me... In "Dirac notation" one uses the two lines and as long as one is dealing with hermitian operators we do not need to care if they are acting to the left or right (and hence don't need to specify if they belong to the ket or the bra) which makes the dirac notation convenient.
The notation with the operator in either the ket or bra tells us that it is acting to the left/right, i.e. on the bra or ket.

Hope that can make things a bit clearer.

 

[latentcorpse]

ok thanks. as for my working in post 1 then, does that proof look ok?