| Quantum Mechanics for Engineers 4.2 alpha |
|
© Leon van Dommelen |
|
A.18 Inner product for the expectation value
To see that
works for getting the
expectation value, just write
out in terms of the
eigenfunctions
of
:
Now by the definition of eigenfunctions
for
every
, so you get
Since eigenfunctions are orthonormal:
So, multiplying out produces the desired result: