5.1 The Series and Its Coefficients
Definition 5.1.1. A Fourier series associated with a function \(f(x)\) is a series of the form \begin {equation} f(x) \cong \frac {a_0}{2} + \sum ^{\infty }_{n = 1} \left [a_n \cos nx + b_n \sin nx\right ] \end {equation} where \begin {equation} a_n = \frac {1}{\pi }\int ^{\pi }_{-\pi } f(x)\, \cos nx\, \hspace {0.3cm}\text {,}\,\hspace {0.3cm} b_n = \frac {1}{\pi }\int ^{\pi }_{-\pi } f(x)\, \sin nx\, dx \end {equation} are called the Fourier coefficients of \(f(x)\). We assume that \(f(x)\) is Riemann integrable.
A given series may converge to \(f(x)\) or the may diverge. It may converge to some other value or it may diverge.
Theorem 5.1.2 (Derivation of the Fourier Coefficient). If the trigonometric series,
- (i).
- (ii).
- Is uniformly convergent to \(f(x)\) on \([-\pi , \pi ]\) then the \(a_n\) and \(b_n\) are given by 6.2
Proof. To find \(a_n\), multiply both sides of (i) by \(\cos nx\) and integrate over \([-\pi , \pi ]\). Since the series converges uniformly, we can integrate term by term. We have \[f(x) \, \cos nx = \frac {a_0}{2}\cos nx + \sum _{k = 1}^{\infty }\left [a_k \cos kx\, \cos nx + b_k \sin kx \cos nx\right ]\] \[\int _{-\pi }^{\pi }f(x)\, \cos nx\, dx = \frac {a_0}{2}\int _{-\pi }^{\pi }\cos nx \, dx + \sum _{k=1}^{\infty }a_k\int _{-\pi }^{\pi }\cos kx\, \cos nx \, dx + \sum _{k = 1}^{\infty }b_k\int _{-\pi }^{\pi }\sin kx\, \cos nx\, dx.\] But \[\int _{-\pi }^{\pi }\cos nx\, dx= 0, \hspace {0.3cm} n = 1,\, 2, \, 3, \, \cdots \cdots \] \begin {align*} \int _{-\pi }^{\pi }\sin kx \cos nx\, dx & = \frac {1}{2}\int _{-\pi }^{\pi }\left [\sin [(k+n)x] + \sin [(k -n)x]\right ]\, dx\\ \int ^{\pi }_{-\pi }\cos kx \cos nx\, dx & = \frac {1}{2}\int _{-\pi }^{\pi }\left [\cos [(k+n)x] + \cos [(k-n)x]\right ]\, dx = \begin {cases} 0, & k\neq n\\ \pi , & k = n\geq 1\\ \end {cases} \end {align*}
Thus \[a_n = \frac {1}{\pi }\int _{-\pi }^{\pi }f(x)\, \cos nx\, dx.\] For \(n=0\), we get \(\int _{-\pi }^{\pi }f(x)\, dx = 2a_0\pi \), so that \[a_0 = \frac {1}{\pi }\int _{-\pi }^{\pi } f(x)\, dx.\] □
Questions on this section
Stuck on something here? Ask below and it stays attached to this topic.