Proving that an operator is not Hermitian

  • Context: Graduate 
  • Thread starter Thread starter McLaren Rulez
  • Start date Start date
  • Tags Tags
    Hermitian Operator
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
5 replies · 5K views
McLaren Rulez
Messages
289
Reaction score
3
When defining the radial momentum operator, we don't use the classical analogue which would be [itex]\underline{x}[/itex].[itex]\underline{p}/r[/itex] where [itex]\underline{x}[/itex] and [itex]\underline{p}[/itex] are operators.

Instead we choose [itex]1/2(\underline{x}[/itex].[itex]\underline{p}/r+\underline{p}[/itex].[itex]\underline{x}/r)[/itex].

If it is because the former expression is not Hermitian (which is what I think), can someone help me prove it? If it is something else, then may I know why we choose this strange "averaged" expression?

Thank you.
 
Physics news on Phys.org
It depends on what you want to do with this special "radial momentum operator". There's no general unique mathematical law to translate expressions from classical to quantum mechanics. Thus, you need to specify the physical situation, in which you need an operator expression.

For sure [itex]\vec{x} \cdot \vec{p}[/itex], is not Hermitean since

[tex](\vec{x} \cdot \vec{p})^{\dagger}=\vec{p} \cdot \vec{x}=\delta_{jk} p_j x_k<br /> =\delta_{jk} ([p_j,x_k]+x_k p_j)=\delta_{jk} (-\mathrm{i}) \delta_{jk} +\vec{x} \cdot \vec{p}=-3 \mathrm{i}+\vec{x} \cdot \vec{p} \neq \vec{x} \cdot \vec{p}.[/tex]
 
vanhees71 said:
There's no general unique mathematical law to translate expressions from classical to quantum mechanics.

What about the postulate that says position representations of QM operators can be created from their CM analogues by substituting [itex]\hat{q}[/itex] for q and [itex]\frac{\hbar}{i}\frac{\partial}{\partial{q}}[/itex] for pq?

Perhaps that is not a "unique mathematical law", but isn't it universally valid for non-relativistic QM?

Note: this is a specialization of the more general postulate that QM operators must satisfy the commutation relations [itex]\left[q,p_{q'}\right]=i\hbar\delta_{q,q'}[/itex] and [itex]\left[q,q'\right]=\left[p_q,p_{q'}\right]=0[/itex].
 
SpectraCat said:
What about the postulate that says position representations of QM operators can be created from their CM analogues by substituting [itex]\hat{q}[/itex] for q and [itex]\frac{\hbar}{i}\frac{\partial}{\partial{q}}[/itex] for pq?

Perhaps that is not a "unique mathematical law", but isn't it universally valid for non-relativistic QM?

There's a no-go theorem of Groenwold & van Hove which says that this can't be done
uniquely for arbitrary operators (i.e., involving arbitrary powers of q , p).
Symmetrization wrt q,p is one the techniques commonly used to bypass this
inconvenience.

For more on Groenwold & van Hove and obstructions to quantization,
try these papers by Gotay:

math-ph/9809011 and math-ph/9809015
 
vanhees71 said:
It depends on what you want to do with this special "radial momentum operator". There's no general unique mathematical law to translate expressions from classical to quantum mechanics. Thus, you need to specify the physical situation, in which you need an operator expression.

For sure [itex]\vec{x} \cdot \vec{p}[/itex], is not Hermitean since

[tex](\vec{x} \cdot \vec{p})^{\dagger}=\vec{p} \cdot \vec{x}=\delta_{jk} p_j x_k<br /> =\delta_{jk} ([p_j,x_k]+x_k p_j)=\delta_{jk} (-\mathrm{i}) \delta_{jk} +\vec{x} \cdot \vec{p}=-3 \mathrm{i}+\vec{x} \cdot \vec{p} \neq \vec{x} \cdot \vec{p}.[/tex]

Thank you for the explanation, I can see that its very obviously not Hermitian. Would it be possible to show this non Hermitian-ness in the x basis as an integral? I'm having a fair bit of trouble when it comes to proving whether an operator is Hermitian. Thank you once again.
 
In the position representation you have

[tex]\hat{\vec{p}}=-\mathrm{i} \vec{\nabla}, \quad \hat{\vec{x}}=\vec{x}.[/tex]

Now you take to arbitrary wave functions [itex]\psi_{j} \in \mathrm{L}^2(\mathbb{R}^3), \quad j \in \{1,2\}[/itex] and reformulate

[tex]\int_{\mathbb{R}^3} \mathrm{d}^3 \vec{x} \; \psi_1^{*}(\vec{x}) \left [\hat{\vec{x}} \cdot \hat{\vec{p}} \; \psi_2(\vec{x}) \right][/tex]

such that the operator acts on [itex]\psi_1^{*}[/itex] (integration by parts!). Then you'll also see that there's the extra term which violates hermitizity.