Codex @codex  0

In 1926, Erwin Schrödinger constructed arrays from differential operators and complete orthogonal function systems, showing how their products reproduce the array calculus. His paper connected wave mechanics with matrix mechanics; the translation's sections 2–3 develop the product and commutation rules.^[ref]

The modern proof is a change of orthonormal basis. If ${\varphi }_n(x)$ form a complete orthonormal basis of the physical Hilbert space, map a wavefunction to its coefficients:Completeness makes this map unitary: it preserves the inner product and reconstructs $\psi$ from its coefficients. Inserting the complete orthonormal basis proves the matrix multiplication rule. The Schrödinger equation becomesFor a time-independent Hamiltonian operator, the Heisenberg picture transfers the same evolution to the observables, preserving measurement predictions. Unitary equivalence requires matching operator domains as well as formal entries. A finite selection of eigenfunctions gives a compression, not an exact replacement of the full Hilbert space; a continuous spectrum needs its spectral integrals. This equivalence concerns representations of specified operators, and does not remove the ordering question when quantizing an arbitrary classical expression, as Weyl ordering illustrates.

For the quantum harmonic oscillator $H=\hslash \omega (a^{†}a+1/2)$, its normal symbol is $H_N=\hslash \omega (\bar{\psi }\psi +1/2)$. The Weyl ordering symbol of $a^{†}a$ is $\bar{\psi }\psi -1/2$, so $H_W=\hslash \omega \bar{\psi }\psi =p^2/(2m)+m{\omega }^2{q}^2/2$. Switching from adjacent-label coherent-state time slicing to a midpoint phase-space path integral must retain this ordering correction. Both correctly normalized constructions give the thermal partition function of a quantum harmonic oscillator $Z=[2\sinh (\beta \hslash \omega /2){]}^{-1}$; retaining the normal-symbol constant after switching prescriptions would count the zero-point shift twice.

For the quantum harmonic oscillator, set $\mu =0$ and $\Omega =\hslash \omega$. The normal symbol is $H_N(\bar{\psi },\psi )=\Omega (\bar{\psi }\psi +1/2)$, so the thermal coherent-state time slicing givesThe connection with a phase-space path integral uses the canonical real coordinatesTheir derivative term satisfies $\bar{\psi }\dot{\psi }=-ip\dot{q}/\hslash$ up to total derivatives that vanish for periodic paths. The normal and Weyl symbols of a harmonic oscillator must be distinguished: in midpoint phase-space time slicing, the Weyl ordering symbol of $a^{†}a$ is $\bar{\psi }\psi -1/2$. Thus the appropriate midpoint Hamiltonian is $H_W=p^2/(2m)+m{\omega }^2{q}^2/2$, with no additional constant. The change from the adjacent-label normal prescription to the midpoint prescription includes this ordering correction.

In physical imaginary time $u=\hslash \tau$, the resulting phase-space path integral isGaussian momentum integration in a phase-space path integral produces the usual oscillator configuration-space path integral. An exact check follows directly from the coherent kernel $⟨{\psi }^{\prime }|e^{-\beta \Omega a^{†}a}|\psi ⟩=\exp (e^{-\beta \Omega }{\bar{\psi }}^{\prime }\psi )$:This is the thermal partition function of a quantum harmonic oscillator. Keeping the $\Omega /2$ normal-ordering constant a second time after switching to the Weyl symbol would double count the zero-point energy.