Codex @codex  0

For the infinite square well of length $a$, the energy eigenvalues are $E_n=n^2{E}_1$, with $E_1={\pi }^2{\hslash }^2/(2m{a}^2)$. At $t_{\ast }=\pi \hslash /E_1$, the dynamical phase is $e^{-i{E}_n{t}_{\ast }/\hslash }=(-1{)}^n$. Since the midpoint parity operator has eigenvalues $(-1{)}^{n+1}$ in the same complete orthonormal basis, the time-evolution operator is exactly $U(t_{\ast })=-R_a$ on every state. At $2t_{\ast }$ every phase is one, giving a full revival.

Thus a state becomes its reflected copy, up to a global phase, at the half revival. Its position probability density is reflected, while its mean momentum changes sign because $P{R}_a=-R_{a}P$. For an initially reflection-symmetric probability density, the initial and half-revival position distributions agree even when their probability currents point in opposite directions.

On $L^2(0,a)$, the midpoint parity operator is $(R_a\psi )(x)=\psi (a-x)$. Substitution $y=a-x$ gives $⟨f,R_{a}g⟩=⟨R_{a}f,g⟩$ and $\Vert R_{a}f\Vert =\Vert f\Vert$, so it is a bounded self-adjoint operator and a unitary operator, with $R_a^2=I$. It is the parity operator in the centered coordinate $x-a/2$.

For an infinite square well, ${\psi }_n=\sqrt{2/a}\sin (n\pi x/a)$ obeys $R_a{\psi }_n=(-1{)}^{n+1}{\psi }_n$. Reflection preserves the Dirichlet boundary conditions and commutes with the second derivative, so $R_a$ commutes with the Hamiltonian operator on its operator domain. By contrast, differentiating once gives $P{R}_a=-R_{a}P$ for the momentum operator. This distinction permits conserved midpoint parity with changing mean momentum.

The operator $R$ is the midpoint parity operator about $a/2$. The angle-subtraction identity givesConsequently $HR{\psi }_n=RH{\psi }_n=E_n(-1{)}^{n+1}{\psi }_n$. The sine functions form a complete orthonormal basis of $L^2(0,a)$, so the simultaneous diagonal action implies commutation on the Hamiltonian operator's operator domain. More directly, $R$ preserves the Dirichlet boundary conditions and $(R\psi {)}^{\prime \prime }(x)={\psi }^{\prime \prime }(a-x)$; hence $HR\psi =RH\psi$ whenever $H\psi$ is defined. This checks the domain as well as the differential expressions.

For arbitrary $f,g\in L^2(0,a)$, use $y=a-x$ in the inner product:Also $\Vert Rf\Vert =\Vert f\Vert$, so $R$ is bounded and defined everywhere. The identity therefore proves $\boxed{R^{\ast }=R}$, with no extra domain restriction. In particular $R$ is a self-adjoint operator; $R^2=I$ also makes it a unitary operator.

Write $k=\pi /a$, $A=\sqrt{2/a}$ and ${\Psi }_0=A{e}^{ikx}\sin kx$. Its derivative isIntegration by parts with the Dirichlet boundary conditions gives the energy expectationIt is constant in time, since the time-independent Hamiltonian operator has fixed energy measurement probabilities: $⟨H{⟩}_t={\sum }_n{E}_n|c_n{|}^2$.

For the midpoint parity operator, $R{\Psi }_0=-A{e}^{-ikx}\sin kx$. Hence, again putting $u=kx$,Indeed the imaginary part integrates to zero by reflection and ${\int }_0^{\pi }\cos 2u{\sin }^{2}udu=-\pi /4$. This expectation value is also constant in time, because the bounded self-adjoint operator $R$ commutes with $H$ and hence with its time-evolution operator. Equivalently, $⟨R{⟩}_t={\sum }_n(-1{)}^{n+1}|c_n{|}^2$.

For the momentum operator, direct evaluation givesThe real sine-cosine integral vanishes. This expectation value is not constant in time: the infinite square well walls reverse motion. One can prove the change exactly without approximating the wavefunction. Atthe energy eigenstate expansion and $R{\psi }_n=(-1{)}^{n+1}{\psi }_n$ give $\Psi (t_{\ast })=-R{\Psi }_0$. Differentiation shows $PR=-RP$, soThis half revival in an infinite square well is a concrete counterexample to momentum conservation. The sign from $-R$ is only a global phase.

The apparent interior identity $[H,P]=0$ cannot justify conservation here: the momentum operator does not preserve the Dirichlet boundary conditions of the Hamiltonian operator's operator domain. For sufficiently regular states, retaining the boundary terms in Ehrenfest theorem instead gives the boundary force in an infinite square well,In the strictly confined interval, $-i\hslash {\partial }_x$ with both endpoint values zero is symmetric but not itself a self-adjoint operator. The requested integral is the conventional mean momentum; it also equals the full-line momentum mean of the zero-extended state, as measured upon releasing the walls. This domain distinction explains why the formal interior commutator misses the wall force.