Proving that an operator is not Hermitian

  • Context: Graduate 
  • Thread starter Thread starter McLaren Rulez
  • Start date Start date
  • Tags Tags
    Hermitian Operator
Click For Summary

Discussion Overview

The discussion revolves around the properties of the radial momentum operator in quantum mechanics, specifically addressing whether it is Hermitian. Participants explore the transition from classical to quantum mechanical expressions and the implications of operator definitions.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants suggest that the radial momentum operator is defined as an average of two expressions to ensure Hermiticity, questioning the non-Hermitian nature of the classical analogue.
  • Others argue that there is no unique mathematical law for translating classical expressions to quantum mechanics, emphasizing the need for context in defining operators.
  • A participant mentions a postulate regarding the creation of quantum operators from classical analogues, raising the question of its universal validity in non-relativistic quantum mechanics.
  • Another participant references a no-go theorem by Groenwold & van Hove, indicating that symmetrization techniques are often used to address issues with quantization.
  • One participant expresses a desire to demonstrate the non-Hermitian nature of the operator using integrals in the position basis, indicating challenges in proving Hermiticity.
  • A later reply provides a reformulation involving wave functions and integration by parts, suggesting that an extra term arises that violates Hermiticity.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the Hermiticity of the radial momentum operator, with multiple competing views and ongoing questions about the translation of classical to quantum operators.

Contextual Notes

Participants highlight limitations in the translation process from classical to quantum mechanics, including the dependence on specific physical situations and unresolved mathematical steps regarding Hermiticity.

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.
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 22 ·
Replies
22
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 7 ·
Replies
7
Views
996
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 27 ·
Replies
27
Views
4K
  • · Replies 3 ·
Replies
3
Views
9K