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

Discussion Overview

The discussion revolves around the proof of the momentum operator being Hermitian in quantum mechanics. Participants are exploring the mathematical steps involved in the proof, particularly focusing on integration by parts and the application of the fundamental theorem of calculus.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant presents an integral involving the momentum operator and seeks clarification on the limits and the notation used in the proof.
  • Another participant points out a typo in the notation and explains that the limits represent evaluation of an indefinite integral.
  • A different participant elaborates on the fundamental theorem of calculus and the product rule, attempting to clarify the integration process.
  • Concerns are raised about the behavior of wave functions at infinity, with one participant noting that while it is generally expected that wave functions vanish at infinity, this may not hold for all functions in the relevant space.
  • One participant expresses confusion about the integration steps and seeks correction on their understanding of the product rule and integration process.
  • Another participant provides a clearer formulation of the integration process, emphasizing the importance of understanding the implications of the results rather than just performing the integration.

Areas of Agreement / Disagreement

Participants express varying levels of understanding regarding the integration process and the behavior of wave functions. There is no consensus on the clarity of the proof or the correctness of the integration steps, indicating that multiple views and uncertainties remain in the discussion.

Contextual Notes

Limitations include potential misunderstandings of the notation and the assumptions about wave functions at infinity. The discussion does not resolve these issues, leaving them open for further exploration.

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 4 ·
Replies
4
Views
609
  • · 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 2 ·
Replies
2
Views
355
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
947
  • · Replies 24 ·
Replies
24
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K