Completeness of orthonormal functions

  • Context: Graduate 
  • Thread starter Thread starter Karthiksrao
  • Start date Start date
  • Tags Tags
    Functions
Click For Summary
SUMMARY

The discussion centers on the completeness of orthonormal functions in function spaces, specifically referencing the condition for completeness expressed as ∑_{n=1}^∞ U_n^*(x') U_n(x) = δ(x'−x). The user seeks an intuitive understanding of why the summation at two distinct points must equal zero for orthonormal functions to span the entire space. Additionally, they inquire about analogous concepts in vector spaces to enhance comprehension. The referenced material includes a theorem from MIT's mathematics department.

PREREQUISITES
  • Understanding of orthonormal functions
  • Familiarity with Dirac delta function
  • Basic knowledge of function spaces
  • Concepts of vector spaces and their properties
NEXT STEPS
  • Study the properties of orthonormal functions in Hilbert spaces
  • Explore the implications of the Dirac delta function in quantum mechanics
  • Learn about the relationship between function spaces and vector spaces
  • Review the theorem on orthonormal functions from the provided MIT resource
USEFUL FOR

Mathematicians, physicists, and students in advanced mathematics or quantum mechanics who are looking to deepen their understanding of orthonormal functions and their applications in various fields.

Karthiksrao
Messages
66
Reaction score
0
In many areas (say, electrodynamics) we come across expansions of any function in terms of a series of orthonormal functions that span the space. Now the condition for completeness of a set of orthonormal functions in that space is given by

\sum_{n=1}^\infty U_n^*(x') U_n(x) = \delta(x'-x)

where x and x' are two points in the function space.

I am not able to understand intuitively what this is due to.

Why should the summation for the functions at two different points go to zero ? Why would the orthogonal functions not span the entire space if the summation does not go to zero ?

Finally, is there a corresponding relation in vector space ? That will probably give me a better understanding of what is happening, if we extend it to function space..

Thanks a ton!
 
Physics news on Phys.org

Similar threads

  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 15 ·
Replies
15
Views
5K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 43 ·
2
Replies
43
Views
8K
  • · Replies 40 ·
2
Replies
40
Views
5K