Fourier Basis functions question

Click For Summary

Discussion Overview

The discussion revolves around the properties of Fourier basis functions, particularly in the context of the continuous Fourier Transform defined on finite intervals versus the whole real line. Participants explore concepts of orthonormality, integrability, and the implications of extending the Fourier basis to L²(ℝ).

Discussion Character

  • Technical explanation
  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • One participant states that the continuous Fourier Transform is defined on a finite interval, allowing the basis functions to be orthonormal for L²([-\pi, \pi]).
  • Another participant expresses confusion regarding the properties of the Fourier basis when considering the whole real line, specifically mentioning that the 2-norm of the basis functions diverges and they are not square integrable.
  • Questions are raised about whether the basis functions can be considered orthogonal but not orthonormal in the context of L²(ℝ).
  • There is a query about the space spanned by the Fourier basis functions when the bounds of integration are extended to (-∞, +∞).
  • A participant suggests that it may not be possible to define a basis in this case but considers the possibility of expanding functions in an unnormalized basis.

Areas of Agreement / Disagreement

Participants express differing views on the properties of the Fourier basis functions when transitioning from a finite interval to the entire real line. There is no consensus on whether an orthonormal basis can be defined for L²(ℝ) using Fourier basis functions.

Contextual Notes

Limitations include the divergence of the 2-norm and the lack of square integrability of the basis functions when considering the entire real line, which affects the definition of orthonormality.

mnb96
Messages
711
Reaction score
5
Hi,
the continuous Fourier Transform is often defined on a finite interval, usually [-\pi,\pi]:

\hat{f_k} = \frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)e^{-ikx}dx

If I understood correctly, this allows the basis functions to be defined so that they have norm=1, and they form an orthonormal basis for L^2([-\pi,\pi]).
Now, I get confused when one tries to compute the FT of a function f in the whole \mathcal{R} because:

1) The 2-norm of the basis functions goes to +\infty
2) They are not square integrable
3) Should I conclude that the basis-functions are orthogonal but NOT orthonormal?
4) If (1,2,3) are correct, then what is the space spanned by the basis-functions?
5) Is it possible to define an orthonormal basis for L^2(\mathcal{R}) with Fourier basis ?
 
Last edited:
Physics news on Phys.org
I'm not familiar with a 2-norm but the basis is normalised "in my book" like so:

\int_{-\pi}^{\pi}\phi_{k}^{*}\phi_{k}dx = \frac{1}{2\pi}\int_{-\pi}^{\pi}e^{+ikx}e^{-ikx}dx = \frac{1}{2\pi}\int_{-\pi}^{\pi}dx = 1

---
 
Last edited by a moderator:
Maybe I used an incorrect term, but indeed, you proved that the squared norm of the basis-functions are always 1.
The important points of my question (1,2,3,4,5) arise when the bounds of the integral are not anymore [-\pi,\pi] but they become (-\infty,+\infty)

Basically, I wanted you to consider:
\int_{-\infty}^{+\infty}\phi_{k}^{*}\phi_{k}dx
and then, answer those questions.
 
I see what you mean now. In this case, I think you cannot define the basis.
But maybe there is a way to expand functions in an unnormalised basis.

---
 
Last edited by a moderator:

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 0 ·
Replies
0
Views
704
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K