Let's say I know the position space wavefunctions of the 1d harmonic oscillator ##\psi_n(x)## corresponding to the state ##| n \rangle## are known. I want to write ##\psi_m(x + a)##, for fixed ##m = 1,2,...##, in terms of all of the ##\psi_n(x)##. I know \begin{align*}
\psi_n(x+a) = \langle x |...