Orthogonality of Stationary States

Click For Summary
SUMMARY

The discussion centers on proving the orthogonality of stationary eigenstates for a particle in an infinite square well, defined by the potential \( V = 0 \) for \( 0 \leq x \leq L \). The stationary eigenstates are expressed as \( \phi_n (x) = \sqrt{\frac{2}{L}} \sin \frac{n \pi}{L}x \). The integral \( \int^{\infty}_{\infty} dx \phi^*_m \phi_n \) evaluates to zero for \( m \neq n \) using trigonometric identities, confirming mutual orthogonality. A critical point raised is the need to handle the case when \( m = n \) separately to avoid division by zero.

PREREQUISITES
  • Understanding of quantum mechanics concepts, specifically infinite square wells.
  • Familiarity with eigenstates and eigenvalues in quantum systems.
  • Knowledge of trigonometric identities, particularly for sine functions.
  • Ability to perform definite integrals involving trigonometric functions.
NEXT STEPS
  • Study the derivation of eigenstates for the infinite square well in quantum mechanics.
  • Learn about the properties of orthogonal functions in Hilbert spaces.
  • Explore the implications of orthogonality in quantum mechanics, particularly in measurement theory.
  • Investigate the mathematical treatment of limits and continuity in integrals, especially in cases of indeterminate forms.
USEFUL FOR

Students of quantum mechanics, physicists studying wave functions, and educators looking to clarify concepts of orthogonality in quantum systems.

BOAS
Messages
546
Reaction score
19

Homework Statement



I'm going back through some homework as revision, and came across this problem. It was marked as correct, but now I'm thinking it's unconvincing...

For a particle in an infinite square well, with ##V = 0 , 0 \leq x \leq L##, prove that the stationary eigenstates are mutually orthogonal.

##\int^{\infty}_{\infty} dx \phi^*_m \phi_n = \delta_{m,n}##

Homework Equations

The Attempt at a Solution



The stationary eigenstates are given by ##\phi_n (x) = \sqrt{\frac{2}{L}} \sin \frac{n \pi}{L}x##, and since the complex conjugate of a real function is just itself,

##\int^{\infty}_{\infty} dx \phi^*_m \phi_n = \frac{2}{L} \int^L_0 \sin \frac{m \pi }{L}x \sin \frac{n \pi}{L}x##.

Using the identity that ##\sin u \sin v = \frac{1}{2} [\cos (u-v) - \cos (u+v)]##

##\frac{2}{L} \int^L_0 \sin \frac{m \pi }{L}x \sin \frac{n \pi}{L}x = \frac{1}{L} \int^L_0 dx [\cos (\frac{(m-n)\pi}{L}x) - \cos (\frac{(m+n)\pi}{L}x)]##

Evaluating this I find that

##\int^{\infty}_{\infty} dx \phi^*_m \phi_n = \frac{1}{\pi} [\frac{\sin ((m-n)\pi)}{m - n} - \frac{\sin ((m+n)\pi)}{m+n}]##

Here I just said that this is zero for ##m \neq n##

The arguments of the sine functions are zero, regardless of whether or not ##m = n##, so what's missing here?
 
Physics news on Phys.org
BOAS said:

Homework Statement



I'm going back through some homework as revision, and came across this problem. It was marked as correct, but now I'm thinking it's unconvincing...

For a particle in an infinite square well, with ##V = 0 , 0 \leq x \leq L##, prove that the stationary eigenstates are mutually orthogonal.

##\int^{\infty}_{\infty} dx \phi^*_m \phi_n = \delta_{m,n}##

Homework Equations

The Attempt at a Solution



The stationary eigenstates are given by ##\phi_n (x) = \sqrt{\frac{2}{L}} \sin \frac{n \pi}{L}x##, and since the complex conjugate of a real function is just itself,

##\int^{\infty}_{\infty} dx \phi^*_m \phi_n = \frac{2}{L} \int^L_0 \sin \frac{m \pi }{L}x \sin \frac{n \pi}{L}x##.

Using the identity that ##\sin u \sin v = \frac{1}{2} [\cos (u-v) - \cos (u+v)]##

##\frac{2}{L} \int^L_0 \sin \frac{m \pi }{L}x \sin \frac{n \pi}{L}x = \frac{1}{L} \int^L_0 dx [\cos (\frac{(m-n)\pi}{L}x) - \cos (\frac{(m+n)\pi}{L}x)]##

Evaluating this I find that

##\int^{\infty}_{\infty} dx \phi^*_m \phi_n = \frac{1}{\pi} [\frac{\sin ((m-n)\pi)}{m - n} - \frac{\sin ((m+n)\pi)}{m+n}]##

Here I just said that this is zero for ##m \neq n##

The arguments of the sine functions are zero, regardless of whether or not ##m = n##, so what's missing here?
When ##m=n##, you can't divide by ##m-n##, as you do in your computation.

Do the integral for ##m=n## separately.
 
Samy_A said:
When ##m=n##, you can't divide by ##m-n##, as you do in your computation.

Do the integral for ##m=n## separately.
Samy_A said:
When ##m=n##, you can't divide by ##m-n##, as you do in your computation.

Do the integral for ##m=n## separately.

Ah, I see.

For the case ##m = n## i'll have an integral of ##sin^2 (\frac{n \pi}{L} x)##

Thank you
 

Similar threads

Replies
28
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
18
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
7
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
8
Views
1K
  • · Replies 11 ·
Replies
11
Views
974