Orthonormality of Fourier functions

  • Thread starter Thread starter NanakiXIII
  • Start date Start date
  • Tags Tags
    Fourier Functions
AI Thread Summary
The discussion centers on the orthonormality of Fourier functions in the context of Fourier expansions. It highlights that while the coefficients derived from the Fourier series appear to be projections, they include a factor of two, complicating the orthonormality of sine and cosine functions. Redefining the inner product allows for the orthonormality of these functions, although the constant function requires special treatment. The exponential form of the Fourier series maintains orthonormality without these complications, attributed to the nature of Euler's identities. Ultimately, the conversation emphasizes the importance of proper normalization in the context of Fourier analysis.
NanakiXIII
Messages
391
Reaction score
0
Looking at a Fourier expansion,

f(x) = a_0 + a_1 \cos{x} + b_1 \sin{x} + a_2 \cos{2 x} + b_2 \sin{2 x} + ...,

I would expect the coefficients to be the projections of f(x) on the different Fourier functions, which should form an orthonormal basis. This doesn't seem to be the case, though. The formulae for the coefficients say

a_0 = \frac{1}{2 \pi} \int_{-\pi}^{\pi} f(x) 1 dx;

a_n = \frac{1}{2 \pi} \int_{-\pi}^{\pi} f(x) 2 \cos{n x} dx;

b_n = \frac{1}{2 \pi} \int_{-\pi}^{\pi} f(x) 2 \sin{n x} dx.

Now, assuming that the inner product is defined as

<f,g> = \frac{1}{2 \pi} \int_{-\pi}^{\pi} f(x) g(x) dx,

these coefficients are not simply the projections, since the sines and cosines get a factor two. Further more, these sines and cosines do not form an orthonormal set. So what exactly is going on? Are my assumptions about the nature of the coefficients or about the expected orthonormality of the functions wrong?

I also noticed that if you use the exponential form of the Fourier series, all the functions are perfectly orthonormal and the coefficients are indeed the projections on these functions. Perhaps something happens when changing from exponential form to sine and cosine form?
 
Mathematics news on Phys.org
So Redefine the inner product to be:

<f,g>=\frac{1}{\pi}\int^{\pi}_{-\pi}f(x)g(x)dx

And then the sines and cosines will be orthonormal to each other ( the constant function will need refactoring, it's the only function that doesn't blend nicely into the set).

Convention gives the next sum:

f(x) -> \frac{a_{0}}{2}+\sum^{\infty}_{n=1}a_{n}cos(nx)+b_{n}sin(nx)

Where

a_{0}=\frac{1}{\pi}\int^{\pi}_{-\pi}f(x)dx
a_{n}=\frac{1}{\pi}\int^{\pi}_{-\pi}f(x)cos(nx)dx
b_{n}=\frac{1}{\pi}\int^{\pi}_{-\pi}f(x)sin(nx)dxI must add that dealing with orthonormallity is quite artificial. You can always normalize every function given an inner product (assuming of course, it is of the integral form). The center of the Fourier Series (and Sturm-Liouville comes in too) Theorem is the orthogonality.

P.S. About your last paragraph regarding the exponential basis. Yes, there is this 1/2 factor when considering Euler's Identities:

sin(x)=\frac{1}{2i}(e^{ix}-e^{-ix})
cos(x)=\frac{1}{2}(e^{ix}+e^{-ix})

Perhaps this is what causes the orthonormality of the exponentials with the 1/(2pi) inner product.
 
I hadn't though of it. You can of course absorb a factor 2 into a_0 to make your functions orthonormal. Thanks.
 
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Back
Top