I'm curious whether I can find the overlap $\langle q | p \rangle$ knowing only the following:

  1. $|q\rangle$ is an eigenvector of an operator $Q$ with eigenvalue $q$.
  2. $|p\rangle$ is an eigenvector of an operator $P$ with eigenvalue $p$.
  3. $Q$ and $P$ are Hermitian.
  4. $[Q,P] = i \hbar$.

I'm asking because books and references I've looked in tend to assume that $Q$ is a differential operator when viewed in the $P$-basis, then show that it satisfies the commutation relation. (I haven't read one yet that proves that the form given for $Q$ is the only possible one.) I've heard, though, that we can work purely from the hypothesis of the commutation relation and prove the properties of $Q$ and $P$ from it.

  • 3
    $\begingroup$ Maybe this helps a bit? $\endgroup$ – Fabian Oct 28 '12 at 10:45

Those things are surely not enough to find the inner product $\langle q|p\rangle$ uniquely. For example, starting with the conventional $Q,P$, you may redefine them by a canonical transformation, for example by $$ Q\to Q'=Q, \quad P\to P'= P + Q^3 $$ Then $P', Q'$ obey all the four conditions in the same way as $P,Q$. They also have eigenstates and $|p'\rangle$ states are something else than $|p\rangle$. In fact, eigenstates with a large eigenvalue $P'$ are close to $Q$ eigenstates because $Q^3$ easily dominates. The inner product – which is nothing else than the wave function of the $P'$ eigenstate written in the $Q$ representation – will end up being different. It will be a complicated solution of the equation for $\psi$ saying that it's a $P+Q^3$ eigenstate.

The conditions you wrote can only tell you that $$\langle q | PQ | p \rangle = \langle q | QP | p \rangle - i\hbar \langle q | p \rangle = (qp - i\hbar )\langle q | p \rangle $$ so they're only enough to say how $Q$ acts on the $p$ eigenstates and vice versa, in this combination. But the inner product itself isn't related to itself in any sense, so it can't be determined.

Let me mention that even if you imposed additional conditions that would say that $P$ and $Q$ are physically what they should be – e.g. that they scale properly under the scaling of $Q,P$ – the inner product would still be undetermined because at least the phase of the $|p\rangle$ and $|q\rangle$ eigenstates is arbitrary. In fact, even the "absolute value part of the" normalization is a matter of conventions that could be modified.

More generally, and I would say that this point is often overlooked, many properties of "wave functions" similar to your inner products are intermediate, convention- and representation-dependent quantities that don't have a direct physical impact (i.e. direct link with observable quantities). It's really the properties of observables such as the four conditions that you described that may be considered objective facts.

  • $\begingroup$ I don't understand then what is the extra condition required in order to determine $<p|q>$. Is it that $p$ generates position-translations? $\endgroup$ – QuantumEyedea Dec 8 '17 at 6:23
  • $\begingroup$ I obviously used all conditions. Yes, the commutator between X and P is what says that P generates translations of X. I have used that condition as well so I don't understand how a person who has read my answer could "then" misunderstand why the condition is needed to determine the overlap. $\endgroup$ – Luboš Motl Dec 23 '17 at 13:25
  • $\begingroup$ Your first sentence says that the four assumptions given in OP's post are not enough to uniquely determine $<p|q>$. What I meant by my question is what is the extra information you need to get $<p|q> = \frac{e^{i\phi}}{\sqrt{2\pi\hbar}} e^{ipx}$, up to some phase? In your post you mention something about $Q$ and $P$ must scale in a certain way. $\endgroup$ – QuantumEyedea Dec 24 '17 at 5:20
  • $\begingroup$ The extra information you need is the commutator of P,Q and I think that my answer explains where this information is used and why. If you don't believe me that two observables P,Q with a general commutator don't have to have plane-wave eigenstates relatively to each other, I can easily find as many counterexamples as you want. $\endgroup$ – Luboš Motl Dec 26 '17 at 17:59

I) Here we will work in the Heisenberg picture with time-dependent self-adjoint operators $\hat{Q}(t)$ and $\hat{P}(t)$ that satisfy the canonical equal-time commutation relation

$$\tag{1} [\hat{Q}(t),\hat{P}(t)]~=~ i\hbar~{\bf 1}, $$

and two complete sets of instantaneous eigenstates$^1$ $\mid q,t \rangle $ and $\mid p,t \rangle $, which satisfy

$$\tag{2} \hat{Q}(t)\mid q,t \rangle ~=~q\mid q,t \rangle, \qquad \hat{P}(t)\mid p,t \rangle ~=~p\mid p,t \rangle , $$

$$\tag{3} \langle q,t \mid q^{\prime},t \rangle~=~\delta(q-q^{\prime}), \qquad \langle p,t \mid p^{\prime},t \rangle~=~\delta(p-p^{\prime}),$$

$$\tag{4}\int_{\mathbb{R}} \!dq~ \mid q,t \rangle\langle q,t \mid~=~{\bf 1}, \qquad \int_{\mathbb{R}} \!dp~ \mid p,t \rangle\langle p,t \mid~=~{\bf 1}, $$

II) We would like to give an argument$^2$ that the sought-for overlap is of the form

$$\tag{5} \langle p,t \mid q,t \rangle~=~\frac{f(q,t)g(p,t)}{\sqrt{2\pi\hbar}}\exp\left(\frac{pq}{i\hbar}\right), $$ where $f$ and $g$ are two phase factors $|f|=|g|=1$.

In other words, we can define new instantaneous eigenstates

$$\tag{6} \mid q,t )~:=~\frac{1}{f(q,t)} \mid q,t \rangle \qquad\text{and} \qquad \mid p,t )~:=~g(p,t) \mid p,t \rangle , $$

such that the overlap takes a standard form

$$\tag{7} ( p,t \mid q,t )~=~\frac{1}{\sqrt{2\pi\hbar}}\exp\left(\frac{pq}{i\hbar}\right). $$

The square roots in eqs. (5) and (7) are due to standard normalization factors in Fourier analysis.

III) Sketched proof: Since everything here will refer the same instant $t$, let us not write $t$ explicitly from now on. Define for convenience an anti-selfadjoint operator

$$\tag{8} \hat{D}~:=~\frac{\hat{P}}{i\hbar}, $$

so that eq. (1) becomes

$$\tag{9} [\hat{Q},\hat{D}]~=~ {\bf 1} , $$


$$\tag{10} [\hat{Q},e^{a\hat{D}}]~=~ae^{a\hat{D}} , $$

where $a$ is a real number. It follows from (10) that the state $e^{a\hat{D}}\mid q \rangle $ must be proportional to $\mid q+a \rangle$, i.e. there exists a function $f(q,q+a)$ of two arguments such that

$$\tag{11} e^{a\hat{D}}\mid q \rangle ~=~f(q,q+a)\mid q+a \rangle.$$

Since $e^{a\hat{D}}$ is an unitary operator, the function $f(q,q+a)$ must be a phase factor $|f(q,q+a)|=1$. Or one can use that

$$\delta(q-q^{\prime})~\stackrel{(3)}{=}~ \langle q \mid e^{-a\hat{D}}e^{a\hat{D}}\mid q^{\prime} \rangle ~\stackrel{(11)}{=}~\overline{f(q,q+a)}f(q^{\prime},q^{\prime}+a) \langle q+a \mid q^{\prime}+a \rangle $$ $$\tag{12} ~\stackrel{(3)}{=}~ |f(q,q+a)|^2\delta(q-q^{\prime}). $$

From the fact that

$$\tag{13} e^{a\hat{D}} e^{b\hat{D}}~=~ e^{(a+b)\hat{D}},$$

we deduce from repeated use of eq. (11) that

$$\tag{14} f(q,q+b)f(q+b,q+a+b)~=~f(q,q+a+b). $$

Setting $q=0$ in eq. (14) yields

$$\tag{15} f(b,a+b)~=~\frac{f(0,a+b)}{f(0,b)} \qquad \Leftrightarrow \qquad f(q,q+a)~=~\frac{f(0,q+a)}{f(0,q)}. $$

Hence let us define

$$\tag{16} \mid q ) ~:=~f(0,q) \mid q \rangle , $$

so that eq. (11) becomes

$$\tag{17} e^{a\hat{D}}\mid q ) ~\stackrel{(11,15,16)}{=}~\mid q+a ).$$

In other words, we may identify$^3$ the operator $\hat{D}$ with the differentiation operator $\frac{\partial}{\partial q}$.

$$\tag{18} \exp\left(\frac{ap}{i\hbar}\right)\langle p \mid q) ~\stackrel{(8)}{=}~ \langle p \mid e^{a\hat{D}}\mid q )~\stackrel{(17)}{=}~ \langle p \mid q+a ),$$

or in the limit $a\to 0$,

$$\tag{19} \frac{p}{i\hbar}\langle p \mid q) ~=~ \langle p \mid \hat{D}\mid q ) ~=~ \langle p \mid \frac{\partial}{\partial q} \mid q ) ~=~\frac{\partial}{\partial q} \langle p \mid q ).$$

From the ODE (19) in $q$, we deduce that

$$\tag{20} \langle p \mid q) ~=~g(p)\exp\left(\frac{pq}{i\hbar}\right), $$

where $g(p)$ is an integration constant that can depend on the parameter $p$. It is not hard to see that

$$\tag{21} |g(p)|~=~\frac{1}{\sqrt{2\pi\hbar}}.$$

Use e.g. that

$$ \delta(p-p^{\prime})~\stackrel{(3,4)}{=}~ \int_{\mathbb{R}} \!dq~ \langle p \mid q)(q \mid p^{\prime} \rangle ~\stackrel{(20)}{=}~\overline{g(p)}g(p^{\prime}) \int_{\mathbb{R}} \!dq~\exp\left(\frac{(p-p^{\prime})q}{i\hbar}\right)$$ $$\tag{22}~=~2\pi\hbar|g(p)|^2\delta(p-p^{\prime}). $$


$^1$ Instantaneous eigenstates are often introduced in textbooks of quantum mechanics to derive the path-integral formalism from the operator formalism in the simplest cases, see e.g. J.J. Sakurai, Modern Quantum Mechanics, Section 2.5. Note that the instantaneous eigenstates $\mid q,t \rangle $ and $\mid p,t \rangle $ are time-independent states (as they should be in the Heisenberg picture).

$^2$ Here we will only work at the physical level of rigor, ignoring various mathematical subtleties connected with unbounded operators. Also we ignore any topological aspects of the canonical phase space, such as, e.g., if the position $q$ would be a periodic variable.

$^3$ Note that the $q$-representation of the momentum operator $\hat{P}=i\hbar\frac{\partial}{\partial q}$ in the Heisenberg picture has the opposite sign of what it has in the Schrödinger picture.

  • $\begingroup$ Standard conventions for Schrödinger & Heisenberg pictures: $\quad$ TDSE: $\quad \hat{H}|\psi(t)\rangle_S ~=~ i\hbar d_t|\psi(t)\rangle_S.$ $\quad |\psi(t)\rangle_S ~=~ \hat{U}(t)|\psi\rangle_H.$ $\quad \hat{U}(t)~:=~\exp\left(-\frac{i}{\hbar}\hat{H}t\right).$ $\quad \hat{A}_H(t)~=~\hat{U}(t)^{-1} \hat{A}_S\hat{U}(t).$ $\quad$ HEOM: $\quad d_t\hat{A}_H(t)~=~\frac{i}{\hbar} [\hat{H},\hat{A}_H(t)]+ \partial_t\hat{A}_H(t).$ $\quad$ Heisenberg instantaneous eigenstate: $\quad \hat{A}_H(t)|A,t\rangle_H ~=~A|A,t\rangle_H.$ $\quad |A,t\rangle_H~=~\hat{U}(t)^{-1}|A,0\rangle_H.$ $\endgroup$ – Qmechanic Nov 8 '18 at 10:26
  • $\begingroup$ $\quad \hat{A}_I(t)~=~\hat{U}_0(t)^{-1} \hat{A}_S\hat{U}_0(t)$. Coleman p. 72, 77. Descriptor state: $$\quad\underbrace{|\psi_0(t)\rangle_S}_{\text{evolves with }\hat{H}_0}~=~\underbrace{|\psi_0(t)\rangle_S^{\rm in}}_{\text{evolves with }\hat{H}}\text{ for }t\to -\infty.$$ $$\quad|\psi_0(t)\rangle_S~=~|\psi_0(t)\rangle_S^{\rm out}\text{ for }t\to \infty.$$ $S$, $H$ & $I$ pictures agree at $t=0$. $\quad\hat{U}_I(t)~=~\hat{U}_0(t)^{-1}\hat{U}(t)$. Here $U_0(t)$ and $U(t)$ are in the Schrödinger picture. $\endgroup$ – Qmechanic Jul 14 '19 at 12:53
  • $\begingroup$ $\quad\hat{U}_I(t_f,t_i)~=~\hat{U}_I(t_f)\hat{U}_I(t_i)^{-1}~=~\hat{U}_0(t_f)^{-1}\hat{U}(t_f)\hat{U}(t_i)^{-1}\hat{U}_0(t_i)$. $\quad\hat{U}_I(t_f,t_i)~=~T \exp\left(-\frac{i}{\hbar}\int_{t_i}^{t_f}\! dt~\hat{V}_I(t)\right)$ for $t_f\geq t_i$. $\endgroup$ – Qmechanic Jul 19 '19 at 11:10
  • $\begingroup$ Gell-Mann and Low theorem: $\quad\hat{H}:=\hat{H}_0+e^{\epsilon(\theta-|t|)}\hat{V}$. $\quad \int_{t_i}^{t_f}\!dt~(\hat{H}_0+e^{\epsilon(\theta+\sigma t)}\hat{V})~=~\int_{t_i+\sigma\theta}^{t_f+\sigma\theta}\!dt^{\prime}~(\hat{H}_0+e^{\epsilon \sigma t^{\prime}}\hat{V})$. $\quad\sigma=\pm 1$. $\quad \sigma\partial_{\theta}~=~\partial_{t_f}+\partial_{t_i}$. $\quad i\hbar\sigma\partial_{\theta}\hat{U}(t_f,t_i)~=~\hat{H}(t_f)\hat{U}(t_f,t_i)-\hat{U}(t_f,t_i)\hat{H}(t_i)$. $\endgroup$ – Qmechanic Jul 19 '19 at 14:56
  • $\begingroup$ $\quad i\hbar\sigma\partial_{\theta}\hat{U}_I(t_f,t_i)~=~\hat{H}_I(t_f)\hat{U}_I(t_f,t_i)-\hat{U}_I(t_f,t_i)\hat{H}_I(t_i)$. $\quad{\cal N} |\Psi^-\rangle~:=~ \hat{U}_I(0,-\infty)|\Psi_0\rangle_H~=~\hat{U}_I(0,-\infty)|\Psi_0(0)\rangle_S~=~\hat{U}_I(0,-\infty)\hat{U}_0(-\infty)^{-1}|\Psi_0(-\infty)\rangle_S~=~\hat{U}(0,-\infty)|\Psi_0(-\infty)\rangle_S$. $\quad {\cal N}~:=~{}_H\langle\Psi_0|\hat{U}_I(0,-\infty)|\Psi_0\rangle_H$. $\endgroup$ – Qmechanic Jul 20 '19 at 12:23

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.