Parallel between Fourier Series and orthogonal projections

Question

My professor made an analogy between Fourier series and orthogonal projections and I was hoping someone could explain that someone more. Basically, as I understand it:

$$ a_n = \frac1L \int_L^L f(x)cos(\frac { n\pi x}{L}) dx <---> c_1= \frac {v\cdot b_i}{b_i \cdot b_i} $$

Where $ \frac 1L $ can be thought of as the normalizing the projection, and the integrand is the inner product (equivalent to the dot product on the right side).

Am I understanding this correctly, and can someone elucidate this for me?

Answer 1

He is referring to the inner product induced by the space of square-integrable functions $L^2 [-L, L]$.

$$a_n = \frac{ \left <f(x), \cos \left ( \frac{n \pi x}{L} \right )\right >}{ \left < \cos \left ( \frac{n \pi x}{L} \right ),\cos \left ( \frac{m \pi x}{L} \right )\right >} = \frac{ \int_{-L}^{L} f(x) \cos \left ( \frac{n \pi x}{L} \right ) dx }{ \int_{-L}^{L} \cos \left ( \frac{n \pi x}{L} \right ) \cos \left ( \frac{m \pi x}{L} \right ) dx }.$$

where $\left < \cos \left ( \frac{n \pi x}{L} \right ),\cos \left ( \frac{m \pi x}{L} \right )\right > = \left\{\begin{matrix} 1& \text{if} \;n = m \neq 0\\ 0& \text{if} \;n \neq m \end{matrix}\right. $

Answer 2

You are understanding it correctly. The time domain and the frequency domain are two different bases for a vector space. Both are orthogonal and can be orthonormal if you want. The functions are vectors in that space. The FFT is the transformation between these two bases. Because the vector space is infinite dimensional, you have to worry about convergence, but if the functions are nice enough it works out.