How to determine the product of two Hermitian operators is Hermitian

[lonewolf219]

Let's say we have operator X that is Hermitian and we have operator P that is Hermitian. Is the following true:

[X,P]=ihbar

This is the commutator of X and P.
This particular result is known as the canonical commutation relation.
Expanding:
[X,P]=XP-PX=ihbar
This result indicates that XP\neqPX because XP-PX\neq0
Because XP\neqPX, XP is not a Hermitian operator.
Likewise, because PX\neqXP, PX is not a Hermitian operator.

So to summarize:

The commutator implies multiplication of operators
Multiplication of Hermitian operators does not always produce another Hermitian operator.
If two Hermitian operators do not commute, then their product is not Hermitian.

Any mistakes here?

 

[UltrafastPED]

The product of Hermitian operators A,B is Hermitian only if the two operators commute: AB=BA.
This follows directly from the definition of Hermitian: H*=H. Then using the properties of the conjugate transpose:

(AB)*= B*A* = BA which is not equal to AB unless they commute.

The relationship [X,P]=ihbar holds when X,P form a conjugate pair from Lagrangian mechanics - if X is the position operator, then P is the momentum operator conjugate to X.

For example, see http://en.wikipedia.org/wiki/Canonical_coordinates

 

[dextercioby]

Actually. XP=PX+const*1 tells you 3 things directly:

1. If the representation is made on a complex separable Hilbert space, this space is infinite dimensional.
2. At least one of the 2 operators is unbounded.
3. The Stone-von Neumann uniqueness theorem.

From these 3 things one can infer that when XP and PX are defined on a common dense everywhere invariant domain of L^2 (R) such as the Schwartz space S(R), X,P are essentially self-adjoint and the operators XP and PX are not even symmetric.

 

[UltrafastPED]

Actually. XP=PX+const*1 tells you 3 things directly:

1. If the representation is made on a complex separable Hilbert space, this space is infinite dimensional.
2. At least one of the 2 operators is unbounded.
3. The Stone-von Neumann uniqueness theorem.

From these 3 things one can infer that when XP and PX are defined on a common dense everywhere invariant domain of L^2 (R) such as the Schwartz space S(R), X,P are essentially self-adjoint and the operators XP and PX are not even symmetric.

I didn't understand any of that ... not how it is connected to the OP, not too clear on 1,2, 3, and not at all on the conclusions.


And I had QM as an undergrad and in graduate school ...

 

[dextercioby]

1 is a trivial result.
2 Is a result of Wintner (1947) and Wielandt (1948).
3 is a statement of Stone rigorously proved by von Neumann for the first time.

 

[George Jones]

I didn't understand any of that ... not how it is connected to the OP, not too clear on 1,2, 3, and not at all on the conclusions.


And I had QM as an undergrad and in graduate school ...

I think this, at least partially, shows the difference between North American and European programs. I also saw none of this in undergrad or grad quantum mechanics (in Canada).

I think your post #2 is the appropriate answer to the OP.

For my own interest, I took loads of pure math courses not required for my physics degrees.

Since all linear operators on finite-dimensional vector spaces are bounded, 1. follows from 2., and 2. is proved here:

Set \hbar = 1 and assume

AB - BA = iI.

Multiplying the commutation relation by B and reaaranging gives

<br /> \begin{equation*}<br /> \begin{split}<br /> AB - BA &amp;= iI \\<br /> AB^2 - BAB &amp;= iB \\<br /> AB^2 - B \left( BA + iI \right) &amp;= iB \\<br /> AB^2 - B^2 A &amp;= 2iB.<br /> \end{split}<br /> \end{equation*}<br />

By induction,

AB^n - B^n A = niB^{n-1}

for every positive integer n. Consequently,

<br /> \begin{equation*}<br /> \begin{split}<br /> n\left\| B \right\|^{n-1} &amp;=\left\| AB^n - B^n A \right\| \\<br /> &amp;\leq 2\left\| A \right\| \left\| B \right\|^n\\<br /> n &amp;\leq 2\left\| A \right\| \left\| B \right\| .<br /> \end{split}<br /> \end{equation*}<br />

Because this is true for every n, at least one of A and B must be unbounded. Say it is A. Then, by the Hellinger-Toeplitz theorem, if A is self-adjoint, the domain of physical observable A cannot be all of Hilbert space!

 

[UltrafastPED]

None of this seems relevant to the OP ... no matter how erudite it is.

 

[lonewolf219]

UltrafastPED, thanks for your post. You are right, that is more along the lines of what I was asking. Thanks also George Jones and dexter, it's interesting to hear about concepts beyond what I have studied so far