# A question from Ticcati's red QFT textbook.

+ 4 like - 0 dislike
157 views

From Ticcati's textbook, he asks to show that from the axioms of position operator we get that: $$\text{e}^{-ia\cdot P} |x\rangle = |x+a\rangle$$

where the axioms are: $$X=X^{\dagger}$$

If $\Delta_a$ is a space translation, then $U(\Delta_a)^{\dagger} X U(\Delta_a) = X + a$, where $U$ is the representation of a unitary operator, we know that $\text{e}^{ia\cdot P} X \text{e}^{-ia\cdot P} = X + a$.

If $R$ is a space rotation then $U(R)^{\dagger} X U(R) = RX$.

Here's what I tried so far to do with this:

$$\text{e}^{ia\cdot P} X \text{e}^{-ia\cdot P}|x+a\rangle =(X+a) |x+a\rangle = (x+a) |x+a\rangle$$

$$X|y\rangle:=X \text{e}^{-ia\cdot P}|x+a\rangle = (x+a)\text{e}^{-ia\cdot P}|x+a\rangle=(x+a) |y\rangle$$

Now I want to show somehow that $|y\rangle=|x+2a\rangle$, but I don't see how, any hints?

This post has been migrated from (A51.SE)
retagged Apr 19, 2014
Just act by $X$ on $e^{-iaP}|x\rangle$: $Xe^{-iaP}|x\rangle=e^{-iaP}(X+a)|x\rangle=e^{-iaP}(x+a)|x\rangle=(x+a)e^{-iaP}|x\rangle$. I.e. $e^{-iaP}|x\rangle$ is an eigenvector with eigenvalue $x+a$.

This post has been migrated from (A51.SE)
Ah, that's what I did, I wasn't sure it was right cause I thought to myself that this eigenvalue could belong to another eigenvector, but now I see that it doesn't matter as long as it belongs to $|x+a>$. Foolish me...

This post has been migrated from (A51.SE)
You should post this as an answer so it can be accepted.

This post has been migrated from (A51.SE)

+ 4 like - 0 dislike

As requested, reposting the comment.

Assuming one knows what an eigenvector for a continuous spectrum is (I don't), the solution is straightforward. Act by $X$ on $e^{-iaP}|x\rangle$: $$Xe^{-iaP}|x\rangle=e^{-iaP}(X+a)|x\rangle=e^{-iaP}(x+a)|x\rangle=(x+a)e^{-iaP}|x\rangle,$$ i.e. $e^{-iaP}|x\rangle$ is an eigenvector of $X$ with eigenvalue $x+a$. One of the axioms you are missing should state that the spectrum of $X$ is simple, which then implies that $e^{-iaP}|x\rangle\sim|x+a\rangle$. Normalization of $|x\rangle$ gives an equality.

Perhaps, this can be made precise using the machinery of Gelfand triples which I am unfamiliar with.

However, stating the condition of the simplicity of the continuous spectrum does not require anything fancy. The spectral theorem (for unbounded self-adjoint operators) allows us to view $X$ as a multiplication operator by a function $f:M\rightarrow\mathbf{R}$ on $L^2(M,\mu)$. The requisite condition is that $f$ is injective. Note, that it is automatically surjective unless $M$ is empty.

This post has been migrated from (A51.SE)
answered Dec 10, 2011 by (1,120 points)

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar$ysicsOv$\varnothing$rflowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.