Show that set is an orthonormal set in PC(0,l)

  • #1
Shackleford
1,666
2
Show that set [tex] \{ (2/l)^{1/2} sin(n-1/2)(\pi x/l)\}^\infty_1 [/tex] is an orthonormal set in PC(0,l).
Of course, I need to show that [tex] <\phi_m, \phi_n> = \delta_{mn} [/tex]
[tex] <\phi_m, \phi_n> = (2/l) \int_0^l sin(m-1/2)(\pi x/l) sin(n-1/2)(\pi x/l)\, dx
\\ = 1/l \int_0^l cos(m-n)(\pi x/l) cos(m+n+1)(\pi x/l)\, dx
\\ = \left( \frac 1 l \right) \frac {l} {\pi(m-n)} sin(m-n)(\pi x/l) \Big|_0^l - \left( \frac 1 l \right) \frac {l} {\pi(m-n)} sin(m+n+1)(\pi x/l)\ \Big|_0^l
\\ = \frac {1} {\pi(m-n)} sin(m-n)(\pi x/l) \Big|_0^l - \frac {1} {\pi(m-n)} sin(m+n+1)(\pi x/l)\ \Big|_0^l
[/tex]

I used the trig identity:
[tex] 2 sin \theta sin \psi = cos(\theta - \psi) - cos(\theta + \psi)[/tex]
 

Answers and Replies

  • #2
mathman
Science Advisor
8,065
542
What is your question? The expression you have (you should check it out) = 0 for ##m\ne n## and =1 for ##m=n##.
 
  • #3
Shackleford
1,666
2
What is your question? The expression you have (you should check it out) = 0 for ##m\ne n## and =1 for ##m=n##.

Thanks for the reply. When I looked at it, I could swear it's zero in both cases. Let me check again.
 
  • #4
Shackleford
1,666
2
[tex]
\\ = \frac {1} {\pi(m-n)} sin(m-n)(\pi x/l) \Big|_0^l - \frac {1} {\pi(m-n)} sin(m+n+1)(\pi x/l)\ \Big|_0^l
[/tex]

When you evaluate at x = l and x = 0, the argument for sine is either zero or a multiple of pi. When m = n, there's an indeterminate form in the common term.
 
  • #5
mathman
Science Advisor
8,065
542
When m=n, I suggest you don't use the cos identity, but use the original form, where the integral is ##2/l\int_0^lsin^2((m-1/2)(\pi x/l))dx##.

I think you have some errors in the derivation. You have the product of cos terms, rather than the difference, although this seems to have been corrected for the next line. When you integrated the cos (m+n+!)...) term, you divided by m-n.
 

Suggested for: Show that set is an orthonormal set in PC(0,l)

  • Last Post
Replies
18
Views
504
Replies
6
Views
778
  • Last Post
Replies
12
Views
907
  • Last Post
Replies
32
Views
1K
  • Last Post
Replies
7
Views
473
Replies
4
Views
342
Replies
16
Views
740
Replies
2
Views
611
Replies
2
Views
2K
  • Last Post
Replies
8
Views
570
Top