Saturday, 13 July 2019

quantum mechanics - What mathematicaly exactly is an ordering prescription?


This has allready been asked, but I still have some issues with it: It has been established in this question that the ordering prescription is not a function that maps operators to operators, but instead just a map from symbols to operators.


Does that mean, giving an ordering prescription just makes sense when you are given a function $ R \rightarrow R $, out of which you want to make an "Operator-function"? I would like to know if I understood correctly by giving an example here. Let's say $A$ is the space of all linear Operators acting on the Hilbert space. My wild guess is that the Hamiltonian then is a function $A \rightarrow A$, for example (I know this example stems from single particle QM) by


$$ H(\hat{p}, \hat{x})= \frac{(\hat{p}-f(\hat{x}))^2}{2m}.$$


Since I employ a function that is defined on real numbers (taking the square, or subtracting), the definition of $H$ is not well defined, and could yield different results (because real numbers commute, while operators don't). By fixing the ordering of the operators (for example by normal ordering), I remove any ambiguities. Is that the right way to see it?



Answer



Yes. In your example, you can rearrange the expansion of $(p-f(x))^2$ in multiple ways: \begin{align} (p-f(x))^2&=p^2+2p f(x) + f(x)^2\, ,\\ &= p^2 + f(x)^2 + p f(x) + f(x)p\, ,\\ &=p^2+f(x)^2 + \frac{1}{2}p f(x) +\frac{3}{2} f(x)p \tag{1} \end{align} etc. and even more complicated forms if you consider the series expansion of $f(x)$. For instance, imagine $f(x)=x^3$ then $$ px^3= xpx^3=x^2px $$ and so forth. All these expressions for $(p-f(x))^2$ are strictly the same when using classical variables, but produce different operators under the replacements $x\to \hat x$ and $p\to \hat p$ because of the non-commutativity of $\hat x$ and $\hat p$.


An ordering procedure would determine a unique polynomial in $\hat x$ and $\hat p$ (or in $\hat a$ and $\hat a^\dagger$) that would in turn determine a unique operator.


(Note that I've never seen something like Eq.(1) but it is possible in principle).





Edit:


Please note that for polynomials of the type $p^kf(x)$ in the classical variables $p$ and $x$ with $k\le 2$, i.e. for polynomials at most quadratic in $p$, it is possible to find an ordering of the operators so that the quantum commutators is (up to $i$'s and $\hbar$'s), the classical bracket. This ordering is distinguished although not necessarily commonly used; the procedure is inductive on the degree of $p$ and $x$ and fails when the degree of $p$ and the degree of $x$ are both strictly greater than 2.


See Chernoff, Paul R. "Mathematical obstructions to quantization." Hadronic Journal 4 (1981) for details.


No comments:

Post a Comment

Understanding Stagnation point in pitot fluid

What is stagnation point in fluid mechanics. At the open end of the pitot tube the velocity of the fluid becomes zero.But that should result...