I Inner product of a vector with an operator

Click For Summary
The discussion centers on the inner product defined as the integral of the product of two functions and the implications of applying an operator, specifically the differential operator. It highlights the confusion arising from the assumption that the inner product remains consistent when using the operator on a non-Hermitian function. The key point is that the differential operator is not Hermitian for all functions, particularly when boundary conditions are not met. To ensure correct application, one must identify the Hermitian conjugate of the operator and apply it to valid wave functions that vanish at the boundaries. Thus, the operator's Hermicity is contingent on the choice of function and boundary conditions.
EquationOfMotion
Messages
22
Reaction score
2
So say our inner product is defined as ##\int_a^b f^*(x)g(x) dx##, which is pretty standard. For some operator ##\hat A##, do we then have ## \langle \hat A ψ | \hat A ψ \rangle = \langle ψ | \hat A ^* \hat A | ψ \rangle = \int_a^b ψ^*(x) \hat A ^* \hat A ψ(x) dx##? This seems counter-intuitive. Say our operator is ##\frac{d}{dx}## and ##ψ(x)=x##. Then, evidently ## \langle \hat A ψ | \hat A ψ \rangle = b-a## and ## \langle ψ | \hat A ^* \hat A | ψ \rangle = 0##, which is obviously incorrect. What am I missing?
 
Physics news on Phys.org
EquationOfMotion said:
So say our inner product is defined as ##\int_a^b f^*(x)g(x) dx##, which is pretty standard. For some operator ##\hat A##, do we then have ## \langle \hat A ψ | \hat A ψ \rangle = \langle ψ | \hat A ^* \hat A | ψ \rangle = \int_a^b ψ^*(x) \hat A ^* \hat A ψ(x) dx##? This seems counter-intuitive. Say our operator is ##\frac{d}{dx}## and ##ψ(x)=x##. Then, evidently ## \langle \hat A ψ | \hat A ψ \rangle = b-a## and ## \langle ψ | \hat A ^* \hat A | ψ \rangle = 0##, which is obviously incorrect. What am I missing?
You must consider the correct brackets. ##\langle A\psi , A\psi \rangle = \int_a^b (A(\psi))^*(x)(A(\psi))(x)dx## and ##\frac{d}{dx}(\psi)=\psi## if ##\psi = \operatorname{id}##.
 
EquationOfMotion said:
So say our inner product is defined as ##\int_a^b f^*(x)g(x) dx##, which is pretty standard. For some operator ##\hat A##, do we then have ## \langle \hat A ψ | \hat A ψ \rangle = \langle ψ | \hat A ^* \hat A | ψ \rangle = \int_a^b ψ^*(x) \hat A ^* \hat A ψ(x) dx##? This seems counter-intuitive. Say our operator is ##\frac{d}{dx}## and ##ψ(x)=x##. Then, evidently ## \langle \hat A ψ | \hat A ψ \rangle = b-a## and ## \langle ψ | \hat A ^* \hat A | ψ \rangle = 0##, which is obviously incorrect. What am I missing?

Careful! The differential operator is not Hermitian on the set of all functions. Try with a valid wave-function on an interval.
 
PeroK said:
Careful! The differential operator is not Hermitian on the set of all functions. Try with a valid wave-function on an interval.
Doesn't moving around the operators in an inner product work regardless of whether or not it's Hermitian?
 
EquationOfMotion said:
Doesn't moving around the operators in an inner product work regardless of whether or not it's Hermitian?

Yes, but you have to work out what the Hermitian conjugate of your operator is. That's assuming it has one.
 
  • Like
Likes bhobba and EquationOfMotion
PeroK said:
Yes, but you have to work out what the Hermitian conjugate of your operator is. That's assuming it has one.

Ooh, so it does always work as long as you know what the Hermitian conjugate is, but you of course *need* the correct conjugate. Thanks!
 
EquationOfMotion said:
Ooh, so it does always work as long as you know what the Hermitian conjugate is, but you of course *need* the correct conjugate. Thanks!

The proof of The Hermicity of ##d/dx## involves integration by parts and taking the term evaluated on the boundary to be zero, where the range is either ##R## or a finite interval. The function ##x## does not vanish on the boundary, so the operator is only Hermitian on a suitable subset of all functions.

Technically, therefore, all valid wavefunctions must be zero on the boundary.
 
  • Like
Likes bhobba