Quantization of a classical system (e.g. the case of a billard)

There has been already several questions asking for an introduction to quantum mechanics for a mathematician, but this ons is slightly different, and more restrictive. I know (some) quantum mechanics, but I'd like to find a reference which explains, in a way as clear and systematic as possible, how we pass from a classical system (in the hamiltonian formulation, with a phase space $X$, and an Hamiltonian function $H$ on it) to the corresponding quantum system, with an Hilbert space $V$ and an Hamiltonian operator $\hat H$ on it.

If the reference is precise and rigorous mathematically, that's a plus (ideally it would even define a functor $(X,H) \mapsto (V,\hat{H})$ of the adequate categories); if the reference gives a lot of physical intuition, that's also a plus.

I ask this question because I am trying to understant Quantum Unique Ergodicity, in particular the classical example of Billard. In this example $B$ is a closed region of the plane with a smooth boundary, and $X=B \times S^{1}$, the second factor corresponding to the velocity vector. The Hamiltonian in the inside of $X$ corresponds to free motion, but it has to be defined somehow on the boundary so that it corresponds to the ball reflecting on the boundary in the standard way (I am not sure how exactly). Then I am told that the quantic version of this system is a $V$ which is the space of function on $B$ which vanishes on the boundary, and I'd like to understand why, and $\tilde H$ is the laplacian (that I more or less understand). If anyone has an explanation for that example, that would be great.

EDIT: Thanks to all for your five answers. Each of them taught me something valuable, and collectively they taught me I knew much less about Quantum Mechanics that I thought.

SECOND EDIT: Since answers keep arriving, let me add something: When I said I was "told" that quantization of a Billard B is the space of functions on B vanishing at the boundary, it is true but I also read it there, page 161. Now that I realize that my question was too vast and too difficult (for me to understand fully the answer), I'd like to precise it by asking: when people working in Quantum Theory quantizes a classical physical system (like in the article quoted above), what specific method do they use? Or are they just math people happy with any quantum system having some analogy with the classical one and leading to a mathematically interesting problem?

-
|Wave function|^2 is probability. It vanishes outside region by your requrement. That is why "vanishing". About Laplacian it seems you know it. +1 but I am not sure I understand your problem. –  Alexander Chervov Jan 25 '13 at 17:02
Dear Alexander, thanks for your comment. Okay, I understand that if the wave function is continuous on $\mathbb R^2$ with support on the billard $B$, it must vanish on its boundary. But I am not sure why the wave function should be defined on $\R^2$ instead of just on $B$, and even while it should be continuous. In other words, there is a physical hypothesis in our classical billiard setting, that our ball bounces on the boundary $\delta B$ of the billiard by making an inward angle at a point $b \in \delta B$ with the tangent of $\delta B$ at $b$ equal to the outward angle... –  Joël Jan 26 '13 at 0:44
...What is not clear to me is how this hypothesis get translated in the quantum setting... I was told that the corresponding quantum system is the space $V$ of function on $B$ vanishing on $\delta B$, and the Hamiltonian is the Laplacian. But how does that translate the hypothesis about bouncing? If we assume a weird bouncing where the the inward angle is said twice the outward angle, what would be the attached quantum system? –  Joël Jan 26 '13 at 0:47
You might want to change "quantification" in the title to "quantization." –  Ben Crowell Jan 26 '13 at 16:28
"I'd like to precise it by asking: when people working in Quantum Theory quantizes a classical physical system (like in the article quoted above),..." Here depends on what do you mean by "system". Usually it is Poisson manifold and function "f" on it, BUT let us look more closer: what kind of manifold - compact/not, boundary/ corners. Do we have some choice of the coordinates on it ? Simples situation is R^2n with canonical coordinates p,q. So if functions is f=p^2+q^2 you quantize it to \hat p^2 + \hat q ^2 - NO problems –  Alexander Chervov Jan 29 '13 at 14:29

There have been many attempts to develop a mathematical theory of quantisation, a functor that produces a quantum system for a given classical (Hamiltonian) system. Ideally, one would like to replace classical observables (functions on phase space) by quantum observables (operators on a Hilbert space) such that the commutator bracket of the quantum observable agrees, to first order in the Planck constant, with the Poisson bracket of the corresponding classical observables. Such a functor doesn't exist, there are various theorems that show that in general this is not possible.

http://en.wikipedia.org/wiki/Geometric_quantization

http://arxiv.org/abs/dg-ga/9703010

http://arxiv.org/abs/quant-ph/0601176

-
Thanks for your answer. But that's absolutely terrible!! So the way one describes quantically a physical system is just anyone's guess ?? –  Joël Jan 26 '13 at 0:49
Uwe , I would think deformation quantizatjom is generally accetred, but there is question on uniqueness and other unsolved issues –  Alexander Chervov Jan 26 '13 at 12:05
@Uwe , no-go from the first paper is not physically meaningful, they insists on Poisson bracket exactly goes I to commutator which is not true even for canonical quantization of R^2. Deformation quantization does coincide with canonical in R^n and does not have such problems. –  Alexander Chervov Jan 26 '13 at 12:34
Non-uniqueness in deformation quantization seems to me that no one proved YET, that obtained algebras are isomorphic for different choices of formality morphism. I might be wrong of course. –  Alexander Chervov Jan 26 '13 at 12:39
@Uwe If you are a physicist then the "right" quantization is determined by comparison to experiment. –  Jeff Harvey Jan 27 '13 at 14:53
-

As to the bulk of your question, which I take to be a reference request for mathematical accounts of quantum mechanics, I am partial to the book Quantum Mechanics for Mathematicians by L. Takhtajan.

Be sure to look over the MathOverflow thread Where does a math person go to learn quantum mechanics?, as it contains many good references.

-

Let me add some comments. I think the question has many faces: 1) general principles of correspondence classical to quantum world 2) quite a concrete question about boundary conditions for quantization of billiards.

About (1) I have written something in Quantum mechanics basics I can add more, but not sure it is appropriate...

So Joel asks " But I am not sure why the wave function should be defined on R^2 instead of just on B, and even while it should be continuous."

Yes, I think from physical point of view it should be defined on R^2 and should be continuous, let me explain some arguments which come to my mind.

How can you confine a particle to restricted billiard region "B" in practice ? What physical experiment you keep in mind ?

The answer is the following - let us create a potential barrier with very high energy U(x) = U_0 - outside "B" and U(x) = 0 inside "B". Well, actually I think such discontinuous potential barrier is not practical, but we can smooth as much as we want.

Classical particle with energy < U_0 cannot go outside the barrier, but quantum particle can make tunneling inside barrier with exponentially decaying wave function.

Now we just want to consider the limit U_0 -> infinity. That would correspond to confining quantum particle to the region "B", again in practice there are NO infinities, so always small probability for particle to be outside region B, but as mathematical abstraction it is Okay to take U_0 = inf.

So now we come to mathematically well-formulated questions :

Consider smooth potentials U_n(x) which approximate U(x), where U(x) =inf in R^2\B and U(x) = 0, inside B. Consider the wave functions Psi(x) which is solution of the corresponding problem (Laplace + U_n(x) ) \Psi_n(x) = \Lambda Psi_n(x)

0) Is it true the limit \Psi (x) does not depend on approximating sequence U_n(x) ?

1) Is it true that limit Psi_n (x) is continuouos ?

2) Is it true that Psi_n(x) = 0 outside B (including the boundary) ?

I hope the answer is YES, on both questions, but I am not sure I know the arguments.

It is better to start with these question on R^1 not R^2 - this is done in any quantum mechanics textbook, I am sorry I a little forget the details.

-

Joël asked in a comment that amplified on the original question: "What is not clear to me is how this hypothesis get translated in the quantum setting... I was told that the corresponding quantum system is the space V of function on B vanishing on δB, and the Hamiltonian is the Laplacian. But how does that translate the hypothesis about bouncing? If we assume a weird bouncing where the the inward angle is said twice the outward angle, what would be the attached quantum system?"

A basic requirement for any method of quantization is that it should recover the classical behavior in the limit $h\rightarrow0$. As a first example, let's take the standard classical billiard-ball system, with equal angles of incidence and reflection $\theta_r=\theta_i$, and do our quantization using the path integral method. In the limit $h\rightarrow0$, you get complete interference for all paths except for the one of extremal length, which is the one that has equal angles of incidence and reflection.

Now let's consider your system with $\theta_r=\theta_i/2$. The time-evolution of this system doesn't preserve volume in phase space, so by Liouville's theorem it can't be described by a Hamiltonian. Typically a quantization method starts from a Hamiltonian description, so that's a problem. Physically, the rule $\theta_r=\theta_i/2$ lacks time-reversal symmetry, so under quantization, I suppose the wave equation would have to have a first derivative with respect to time in it. I think what this example shows is that quantization methods are like a set of tools that are made to be used for different purposes. Only certain kinds of classical systems have quantized counterparts that are of interest, and each quantization method is a tool that was only designed to be used on certain classes of systems of interest. As another example, the quantization methods used for the electromagnetic field fail when applied to gravitational fields.

Other answers have discussed the fact that quantization is not a turn-key process. To make this more concrete, I think it's helpful to consider the simplest example I know that is of actual physical interest, which is an electron in an externally applied electromagnetic field. There you get the Aharonov-Bohm effect, which is a nontrivial nonclassical effect that would be hard to anticipate.

-
What means "you get complete interference for all paths except..."? PS link does not work. Psps I think problems with "non turn-key"are often exaggerated .. –  Alexander Chervov Jan 26 '13 at 18:53
Thanks for your comments. I've fixed the WP link and added a link to an explanation of how the classical limit is recovered from the path integral formalism. –  Ben Crowell Jan 26 '13 at 20:15
Let me copy this comment here: @Ben quantizing gravity (and more generally field theory) has problem of renormalization. This problem is specific to field theory not quantum mechanics. –  Alexander Chervov Jan 27 '13 at 13:34
@Alexander Chervov: I agree with your comment, but I don't see your point. Quantum field theory is one type of quantum mechanics. –  Ben Crowell Jan 27 '13 at 19:41
I should also point out that lack of renormalizability is not the only obstacle to quantizing GR. There are many others, such as nonunitarity, and the differing treatment of time in GR (where it's a coordinate, just like position) and quantum mechanics (where it's a parameter, not an operator like position). –  Ben Crowell Jan 27 '13 at 19:44

As the non-uniques of a quantization scheme was already brought up, I will add a nice resource which gives a broad overview of different techniques:

Quantization Methods: A Guide for Physicists and Analysts, arXiv:math-ph/0405065

For geometric quantization the standard textbook account is Woodhouse: Geometric Quantization.

-
MO discussion on textbooks on geometric quantization mathoverflow.net/questions/104034/… –  Alexander Chervov Jan 27 '13 at 5:19
About non-uniqueness - hopefully all reasonable approaches give the same... See MO-question: mathoverflow.net/questions/119991/… –  Alexander Chervov Jan 27 '13 at 13:32

Apparently you have been told that the Laplacian with homogeneous Dirichlet boundary conditions is the quantization of the classical billard on the unit sphere bundle over $B$. That is not the only possibility. If the Dirichlet conditions are replaced by Neumann (or Robin) boundary conditions, the corresponding classical Hamilton system is the same billard.

The correspondence between quantum and classical systems typically arises by taking the semi-classical limit which, in a quantum mechanical setting, consists of letting Planck's "constant" tend to zero. Given that quantum mechanics is more fundamental than classical mechanics, why should one even hope to be generally able to go from classical to quantum, or to have a quantization functor? The non-existence of a quantization functor has already been pointed out in an answer, which maybe refers to the Groenewold-van Hove Theorem.

-
I don't understand your remark about boundary conditions. With Neumann boundary conditions, won't the classical limit be one in which the ball's motion is not confined to the table? –  Ben Crowell Jan 27 '13 at 15:37
I look at the question from the perspective of microlocal analysis. There theorems on propagation of singularities relate a wave equation with its corresponding "classical" Hamilton system: Wavefront sets propagate along rays. For boundary problems of the standard wave equation on $B$ (times the time axis) the rays are the billards reflected at the boundary according to the usual laws of geometric optics. The rays are the same if Dirichlet or if Neumann boundary conditions are used; amplitudes do behave differently on reflection however. –  Sönke Hansen Jan 27 '13 at 17:54
What is physical quantum mechanics sense of Neuman conditions? For Dirichlet I think it is infinite potential wall as I tried to argue in my answer. –  Alexander Chervov Jan 27 '13 at 18:37
Boundary conditions asides (other people are much more competent than me), I like what you say that one should not expect a functor from classical to quantum systems. However, I remember when I was learning Quantum Mechanics as a student, I was told something like "classical mechanics has a double role w.r.t quantum mechanics: as a limit case but also as a foundation: indeed, to compute the Hamiltonian operator, one first needs to compute the Hamiltonian function in the classical setting and then quantize it". Is this description false ? Obsolete ? –  Joël Jan 27 '13 at 19:16
I see no reason at all why one needs to have a classical Hamiltonian as a starting point for the description of an intrinsically quantum system. The logical map is quantum --> classical in physics, not the other way around since the world is fundamentally described by quantum mechanics and classical behavior only arises in a limit. Classical systems do play a more fundamental role in defining measurement in quantum mechanics, but that is a different and more complicated can of worms. –  Jeff Harvey Jan 27 '13 at 19:39