Proof of Momentum Operator as Hermitian: Step-by-Step Guide

  • Context: Graduate 
  • Thread starter Thread starter aaaa202
  • Start date Start date
  • Tags Tags
    Momentum Operator
Click For Summary
SUMMARY

The discussion focuses on the proof that the momentum operator \( p = \frac{\hbar}{i} \frac{\partial}{\partial x} \) is Hermitian. Participants clarify the application of integration by parts and the fundamental theorem of calculus to derive the Hermitian property. The key expression discussed is \(\int_{-\infty}^\infty \Psi^\ast(x,t) p \Psi(x,t) dx\), where the boundary terms vanish due to the wave function \(|\Psi(x)| \to 0\) as \(x \to \pm \infty\). This ensures that the momentum operator is indeed Hermitian under the appropriate conditions.

PREREQUISITES
  • Understanding of quantum mechanics and wave functions
  • Familiarity with Hermitian operators in quantum mechanics
  • Knowledge of integration by parts and the fundamental theorem of calculus
  • Basic proficiency in complex functions and their properties
NEXT STEPS
  • Study the properties of Hermitian operators in quantum mechanics
  • Learn about the implications of wave function behavior at infinity
  • Explore integration techniques, specifically integration by parts
  • Investigate the role of the fundamental theorem of calculus in physics
USEFUL FOR

Students and professionals in quantum mechanics, physicists interested in operator theory, and anyone looking to deepen their understanding of the mathematical foundations of quantum operators.

aaaa202
Messages
1,144
Reaction score
2
Now, I know this has been discussed a few times, but I still don't get the proof of how p is a hermitian operator, so I thought someone might be able to help me. So i got this to start off with:
<br /> \int_{-\infty}^\infty \Psi^\ast(x,t) (\frac{\hbar}{i} \frac{\partial}{\partial x}) \Psi(x,t) dx
Which when using the integration by parts for me yields:
<br /> [\frac{\hbar}{i}\Psi^\ast(x,t)\Psi(x,t)]^\infty_{-\infty}- \int_{-\infty}^\infty \Psi(x,t) (\frac{\hbar}{i} \frac{\partial}{\partial x}) \Psi^\ast(x,t) dx
Now everyone else gets this in front of the integral:
\frac{\hbar}{i} [\Psi^\ast(x,t)\Psi(x,t)]^\infty_{-\infty}
And i don't understand how. Do the bars with the limits represent an integral, or what do they represent? I'm not that good at maths so could someone step for step show how they get to there?
And if the bars represent and integral, why does it disappear as the wave functions tends to plus or minus inf? I thought a wave function integrated over the entire space had to yield 1.
 
Last edited:
Physics news on Phys.org
There is a typo here. The bar with the limits should appear also in the first term of the second line -- this is shorthand for saying, "I've solved the indefinite integral, it remains to evaluate it at these limits."
 
aaaa202 said:
Now everyone else gets this in front of the integral:
\frac{\hbar}{i} [\Psi^\ast(x,t)\Psi(x,t)]^\infty_{-\infty}
And i don't understand how. Do the bars with the limits represent an integral, or what do they represent? I'm not that good at maths so could someone step for step show how they get to there?
They're using the fundamental theorem of calculus: If F'=f, then

\int_a^b f(x)dx=[F(x)]_a^b=F(b)-F(a)

The last equality shows how the bracket notation is defined.

The expression you're integrating is of the form f(x)g'(x), which can be rewritten using the product rule (for derivatives): f(x)g'(x)=(fg)'(x)-f'(x)g(x). The fundamental theorem of calculus is easy to apply to the first term on the right.

aaaa202 said:
And if the bars represent and integral, why does it disappear as the wave functions tends to plus or minus inf? I thought a wave function integrated over the entire space had to yield 1.
You're supposed to use that |ψ(x)|→0 as x→±∞. (This actually isn't true for all ψ in L2(ℝ), but your teacher may not even be aware of that. I think it's true for all wavefunctions of physical interest though).
 
Last edited:
Okay, call me stupid, but I just can't get it to work:
Using product rule we obtain (as you said):
∫f(x)g’(x) dx = ∫(f(x)g(x))’ – f ’(x)g(x) dx = ∫(f(x)g(x))’ - ∫f ’(x)g(x) = f(x)g(x) – f ’(x)G(x) - ∫f ’’(x)G(x) dx
I'm assuming that ∫(f(x)g(x)'dx = f(x)f(x) right?
Tell me where I'm wrong please : (
 
You're supposed to start out like this:

\int_a^b f(x)g&#039;(x)dx=\int_a^b((fg)&#039;(x)-f&#039;(x)g(x))dx=[f(x)g(x)]_a^b-\int_a^b f&#039;(x)g(x)

=f(b)g(b)-f(a)g(a)-\int_a^b f&#039;(x)g(x)

...and then conclude that since your functions satisfy f(a)=g(a)=f(b)=g(b)=0, you have

\int_a^b f(x)g&#039;(x)dx=-\int_a^b f&#039;(x)g(x)

At this point, you're supposed to stop trying to integrate stuff and instead think about what your result means.
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 24 ·
Replies
24
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 59 ·
2
Replies
59
Views
5K
  • · Replies 56 ·
2
Replies
56
Views
5K
  • · Replies 12 ·
Replies
12
Views
5K