| Quantum Mechanics for Engineers 5.53 alpha |
|
© Leon van Dommelen |
|
D.17 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: