Use the normalized eigenfunctions of the infinite square well,
The sine identity expands the initial wavefunction as
The normalization factor yields precisely these coefficients. By the Born rule, the energy measurement probabilities are for and for . Thus the energy expectation is
The two probabilities sum to one, also checking the wavefunction normalization.
A stationary state has the form
For a time-independent quantum observable , the global phases cancel in the expectation value:
It is therefore independent of time.
For the infinite square well,
The possible energy measurement results are
with respective Born rule probabilities and . Normalization gives .
At time ,
The required matrix elements are
Consequently
where the angular frequency is
Finally, , so
The specified initial state is normalized. The requested energy is , and its probability amplitude is
Thus the Born rule gives
Unitary evolution changes each energy coefficient only by a phase, so this probability remains at both and . If an energy measurement returns , the state collapses to the nondegenerate eigenstate ; a subsequent energy measurement therefore returns with probability