Position and Momentum Operators

Unit
Messages
181
Reaction score
0
I would just like some clarification and some assertion that I've got the right idea. Please correct everything I say!

For any observable A over a finite-dimensional vector space with orthonormal basis kets \{|a_i\rangle\}_{i=1}^n we can write
A = IAI = \left(\sum_{i=1}^n |a_i\rangle\langle a_i|\right) A \left(\sum_{j=1}^n |a_j\rangle\langle a_j|\right) = \sum_{i=1}^n |a_i\rangle\langle a_i| \sum_{j=1}^n A|a_j\rangle\langle a_j| = \sum_{i=1}^n \sum_{j=1}^n |a_i\rangle\langle a_i|A|a_j\rangle\langle a_j| = \sum_{i,j} |a_i\rangle\langle a_j| \: \langle a_i|A|a_j\rangle \; \; (1)
and we say that \langle a_i|A|a_j\rangle is the coordinate representation of A.

My professor commonly talks about the coordinate representation of the momentum and position operators. I know these live in an infinite-dimensional vector space. Is this a Hilbert space? A rigged Hilbert space?

We know that \hat{X} acts on vectors |x\rangle such that \hat{X}|x\rangle = x|x\rangle. Why can we write the following? What does it mean?
\int_{-\infty}^{\infty} dx \; x \;|x\rangle\langle x| \; \; (2)
For an arbitrary operator A in this infinite-dimensional space, (suppressing the bounds of integration and writing x' to denote another variable and not the derivative of x),
A = IAI = \left(\int dx' \; |x'\rangle\langle x'|\right) A \left(\int dx \; |x\rangle\langle x|\right) = \int\int dx' dx \; |x'\rangle\langle x'|A|x\rangle\langle x| = \int\int dx' dx \; |x'\rangle\langle x| \; \langle x'|A|x\rangle \; \; (3)
This is analogous to the finite-dimensional case in the sense that the coordinate representation of A is given by \langle x'|A|x\rangle.

Now if A = \hat{X} then \langle x'|\hat{X}|x\rangle = \langle x'|x|x\rangle = x \langle x'|x\rangle = x \delta(x' - x), and with this, (3) simplifies into (2) (by the sifting property of the Dirac delta function).

I don't know how to formally proceed if A = \hat{P} because it seems a little bit more tricky. Can anybody help there? Also, why do most textbooks avoid this integration business and simply state that \hat{X} = x and \hat{P} = -i\hbar \frac{\partial}{\partial x}?

Thanks!
 
Physics news on Phys.org
Unit said:
I would just like some clarification and some assertion that I've got the right idea. Please correct everything I say!

For any observable A over a finite-dimensional vector space with orthonormal basis kets \{|a_i\rangle\}_{i=1}^n we can write
A = IAI = \left(\sum_{i=1}^n |a_i\rangle\langle a_i|\right) A \left(\sum_{j=1}^n |a_j\rangle\langle a_j|\right) = \sum_{i=1}^n |a_i\rangle\langle a_i| \sum_{j=1}^n A|a_j\rangle\langle a_j| = \sum_{i=1}^n \sum_{j=1}^n |a_i\rangle\langle a_i|A|a_j\rangle\langle a_j| = \sum_{i,j} |a_i\rangle\langle a_j| \: \langle a_i|A|a_j\rangle \; \; (1)
and we say that \langle a_i|A|a_j\rangle is the coordinate representation of A.
I would just call those numbers the components (or matrix elements) of A in the basis \{|a_i\rangle\}_{i=1}^n. See post #3 here (the part before the quote) if you need to refresh your memory about the relationship between linear operators and matrices.

Unit said:
My professor commonly talks about the coordinate representation of the momentum and position operators. I know these live in an infinite-dimensional vector space. Is this a Hilbert space? A rigged Hilbert space?
The position and momentum operators are linear maps. Their codomains are Hilbert spaces (the same one actually). Their domains are dense subsets of that Hilbert space. They don't have any eigenvectors, so to make sense of what you wrote as \hat X|x\rangle=x|x\rangle, you would have to replace the Hibert space with a rigged Hilbert space.

Unit said:
We know that \hat{X} acts on vectors |x\rangle such that \hat{X}|x\rangle = x|x\rangle. Why can we write the following? What does it mean?
\int_{-\infty}^{\infty} dx \; x \;|x\rangle\langle x| \; \; (2)
This will be a disappointing answer, but I don't think there's a complete answer that can be understood by a typical physics student that covers less than 200 pages. I still don't get it myself. It's been one of my long term goals for a long time. I think the short article http://www.math.neu.edu/~king_chris/GenEf.pdf by Mustafa Kesir proves it, but it relies on the spectral theorem for not necessarily bounded normal operators on a Hilbert space, which is extremely hard. You need to be good at topology, measure theory and functional analysis before you can even begin to study its proof.

I need to go and do something else for a while, so I don't have time to think about the rest of it right now.
 
Last edited by a moderator:
Unit said:
[...]

I don't know how to formally proceed if A = \hat{P} because it seems a little bit more tricky. Can anybody help there? Also, why do most textbooks avoid this integration business and simply state that \hat{X} = x and \hat{P} = -i\hbar \frac{\partial}{\partial x}?[...]

That's just that: formally proceed, since most books do so. Indeed, to make full sense of is formally written in most books starting with Dirac's text of 1930, you need to understand, jokingly, be fluent in speaking functional analysis, or better, be one of the PhD students of Arno Böhm.

So <most textbooks> use formal manipulations of vectors and distributions, simply because it's usually beyond the reader's interest to know the maths behind it. It's an identical situation with Feynman's path integrals. 99.9% of textbook readers don't CARE why they work and 99% of textbook authors don't KNOW why they work, if they ever work at all...
 
Unit said:
My professor commonly talks about the coordinate representation of the
momentum and position operators. I know these live in an infinite-dimensional
vector space. Is this a Hilbert space? A rigged Hilbert space?
Rigged Hilbert space. (Although people sometimes try to work with an ordinary
Hilbert space on which these operators are only densely defined.)

We know that \hat{X} acts on vectors |x\rangle such
that \hat{X}|x\rangle = x|x\rangle. Why can we write the
following? What does it mean?
\int_{-\infty}^{\infty} dx \; x \;|x\rangle\langle x| \; \; (2)
Its meaning is very similar to your eqn (1). Since your a_i are (I presume) eigenvalues associated with A, what happens if you evaluate your eq(1) one step further?
I think this happens:
<br /> \def\&lt;{\langle}<br /> \def\&gt;{\rangle}<br /> A ~=~ \dots ~=~ \sum_{i,j} |a_i\&gt; \&lt; a_j| ~ \&lt;a_j| A |a_i\&gt;<br /> ~=~ \sum_{i,j} |a_i\&gt; \&lt; a_j| ~ a_i \delta_{ij}<br /> ~=~ \sum_i |a_i\&gt; \&lt; a_i| ~ a_i <br />
Get it?

I don't know how to formally proceed if A = \hat{P} because it
seems a little bit more tricky. Can anybody help there? Also, why do most
textbooks avoid this integration business and simply state that \hat{X}<br /> = x and \hat{P} = -i\hbar \frac{\partial}{\partial x}?

They don't really "avoid this integration business". Those operators are used because they satisfy the canonical commutation relations between position and momentum when represented as operators on a space of functions. (Strictly speaking, it's a space of generalized functions.)

Try this introductory paper if you haven't already seen it:

Rafael de la Madrid,
"The role of the rigged Hilbert space in Quantum",
Available as: arXiv:quant-ph/0502053
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In her YouTube video Bell’s Theorem Experiments on Entangled Photons, Dr. Fugate shows how polarization-entangled photons violate Bell’s inequality. In this Insight, I will use quantum information theory to explain why such entangled photon-polarization qubits violate the version of Bell’s inequality due to John Clauser, Michael Horne, Abner Shimony, and Richard Holt known as the...
Not an expert in QM. AFAIK, Schrödinger's equation is quite different from the classical wave equation. The former is an equation for the dynamics of the state of a (quantum?) system, the latter is an equation for the dynamics of a (classical) degree of freedom. As a matter of fact, Schrödinger's equation is first order in time derivatives, while the classical wave equation is second order. But, AFAIK, Schrödinger's equation is a wave equation; only its interpretation makes it non-classical...
I am not sure if this falls under classical physics or quantum physics or somewhere else (so feel free to put it in the right section), but is there any micro state of the universe one can think of which if evolved under the current laws of nature, inevitably results in outcomes such as a table levitating? That example is just a random one I decided to choose but I'm really asking about any event that would seem like a "miracle" to the ordinary person (i.e. any event that doesn't seem to...
Back
Top