Fourier Series/Sawtooth Wave

Theorem


Let $\map f x$ be the real function defined on the open interval $\openint {-l} l$ as:


 * $\map f x = x$

Then its Fourier series can be expressed as:

Proof
By definition, the identity function is an odd function:


 * $\map f {-x} = -x = -\map f x$

Thus by Fourier Series for Odd Function over Symmetric Range, $x$ can be expressed as:


 * $\displaystyle x \sim \sum_{n \mathop = 1}^\infty b_n \sin \dfrac {n \pi x} l$

Hence for all $n \in \Z_{\ge 1}$:

So for $x \in \openint {-l} l$:


 * $\displaystyle x \sim \frac {2 l} \pi \sum_{n \mathop = 1}^\infty \frac {\paren {-1}^{n + 1} } n \map \sin {n x}$