Fourier Series/Identity Function over Minus Pi to Pi/Proof 2
Jump to navigation
Jump to search
Theorem
For $x \in \openint {-\pi} \pi$:
- $\ds x = 2 \sum_{n \mathop = 1}^\infty \frac {\paren {-1}^{n + 1} } n \sin n x$
Proof
By Fourier Series for Identity Function over Symmetric Range, the function $f: \openint {-\lambda} \lambda \to \R$ defined as:
- $\forall x \in \openint {-\lambda} \lambda: \map f x = x$
has a Fourier series:
- $\map f x \sim \dfrac {2 \lambda} \pi \ds \sum_{n \mathop = 1}^\infty \frac {\paren {-1}^{n + 1} } n \sin \frac {n \pi x} \lambda$
Substituting for $\lambda = \pi$ gives:
- $\ds x = 2 \sum_{n \mathop = 1}^\infty \frac {\paren {-1}^{n + 1} } n \sin n x$
as required.
$\blacksquare$