4
$\begingroup$

I have some troubles understanding Hilbert representations for (eg) the standard free quantum particle

On the one hand, we can represent Heisenberg algebra [Xi,Pj]= i delta ij on the space of square integrable functions on, say, R^3, with the X operator represented as multiplication and P operator as i times the gradient. On the other hand, we also represent the Galilean Lie group on the same Hilbert space

So my question is : is that obvious that these two representations are "compatible"? Are they any constraints that one may derive by asking that the Hilbert must be the representation of both Lie Heisenberg Lie algebra + Galilean Lie algebra (in particular because P is both the momentum in [X,P] = i, and the generator of translations of the galilean group)?

For instance, I could choose to represent QM on a finite interval; then it would break translation invariance. So which come first? Do we build the Hilbert as a representation of Heisenberg, and then impose some symmetry, or construct the Hilbert space as a representation of symmetry group and then define X via [X,P]= i ?

Thanks for any help!

EDIT : More specifically. At the algebra level, we can define the generators of the Galilean Lie group and their commutators; H for time translation, P for space translation, G for galilean boosts, and L for rotations. Then we might define a position operator X = -G/m + t P/m; and we get [X,P] = -[G,P]/m, which is zero unless we add a central charge to the galilean group (the mass), in which case we somehow derive [X,P]=i

The other way around, we have some "god given" X and P with [X,P]=i, we choose X to represent space, and then construct the generators P for translations, L= X wedge P, G = t P - m X, H=P^2/2m and we get the Lie algebra of (extended) galilean group (with the mass as a central charge).

In both cases, this seems to me insufficent, for the choice of the Hilbert space on which these operators must act has not been specified, and non trivial stuff may appear on finite intervals or semi-infinite intervals

$\endgroup$
  • $\begingroup$ I am not an expert on this, but a general take would be to go with representation of Heisenberg. But in case there are symmetries involved in a physical problem, one look at the other from the beginning itself. I think it should be addressed from the point of view of the physical problem and its symmetries. $\endgroup$ – user35952 Apr 16 '15 at 14:44
3
$\begingroup$

The unitary representation of Galileian group already includes a representation of Weyl-Heisenberg group. The boost generator $K$ and the generator of translations $P$ satisfy $[K,P]= imI$ where $m$ is the mass of the system. Therefore, the subgroup whose generators are $m^{-1}K, P, I$ is the wanted unitary representation of Weyl-Heisenberg group. As a matter of fact $X:= m^{-1}K$ is the position observable (the position of the center of mass for a composite system).

If you deal with QM in a finite interval, there is no (strongly continuous) representation of Weyl-Heisenberg group. This is because, due to Stone-von Neumann theorem, these representations can only be constructed along the whole real line. In practice, looking at the representation of Lie algebra, the formal operator $P$ on a segment is not (essentially) self-adjoint or, it is but on a domain where $[X,P]= iI$ does not hold.

$\endgroup$
  • $\begingroup$ In fact I'm wondering what happens to symetry if we have [x,p]=i f(p). In that case, it must also be taken into account that the representation of x and p is non trivial $\endgroup$ – Jip Apr 16 '15 at 16:58
  • $\begingroup$ @Jip Why not accept this answer? It is both correct and precise. In the case of finite or semi-finite intervals, the Galilean symmetry does not hold, hence there are no reason to have the corresponding Hilbert space carry a representation of the corresponding group. Likewise for the Heisenberg group: translations, say, outside of the finite interval are not physical and their generators should not be included in the dynamical algebra of your system (of which the Hilbert space supports a representation by definition). $\endgroup$ – G. Bergeron Jun 9 '18 at 3:24

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.