6.3: Common Fourier Series
- Page ID
- 22874
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Introduction
Once one has obtained a solid understanding of the fundamentals of Fourier series analysis and the General Derivation of the Fourier Coefficients, it is useful to have an understanding of the common signals used in Fourier Series Signal Approximation.
Deriving the Fourier Coefficients
Consider a square wave \(f(x)\) of length 1. Over the range [0,1), this can be written as
\[ x(t)=\left\{\begin{array}{ll}
1 & t \leq \frac{1}{2} \\
-1 & t>\frac{1}{2}
\end{array}\right.. \nonumber \]

Real Even Signals
Given that the square wave is a real and even signal,
- \(f(t)=f(−t)\) EVEN
- \(f(t)=f^*(t)\) REAL
therefore,
- \(c_n=c_{−n}\) EVEN
- \(c_n=c_n^*\) REAL
Consider this mathematical question intuitively: Can a discontinuous function, like the square wave, be expressed as a sum, even an infinite one, of continuous signals? One should at least be suspicious, and in fact, it can't be thus expressed.
The extraneous peaks in the square wave's Fourier series never disappear; they are termed Gibb's phenomenon after the American physicist Josiah Willard Gibbs. They occur whenever the signal is discontinuous, and will always be present whenever the signal has jumps.
Deriving the Fourier Coefficients for Other Signals
The Square wave is the standard example, but other important signals are also useful to analyze, and these are included here.
Constant Waveform
This signal is relatively self-explanatory: the time-varying portion of the Fourier Coefficient is taken out, and we are left simply with a constant function over all time.
\[x(t) = 1 \nonumber \]
Sinusoid Waveform
With this signal, only a specific frequency of time-varying Coefficient is chosen (given that the Fourier Series equation includes a sine wave, this is intuitive), and all others are filtered out, and this single time-varying coefficient will exactly match the desired signal.
\[ x(t) = \sin(\pi t) \nonumber \]
Triangle Waveform
\[x(t)=\left\{\begin{array}{cc}
t & t \leq 1 / 4 \\
2-4 t & 1 / 4 \leq t \leq 3 / 4 \\
-7 / 4+4 t & 3 / 4 \leq t \leq 1
\end{array}\right. \nonumber \]
This is a more complex form of signal approximation to the square wave. Because of the Symmetry Properties of the Fourier Series, the triangle wave is a real and odd signal, as opposed to the real and even square wave signal. This means that
- \(f(t) = -f(-t)\) ODD
- \(f(t) = f^*(t)\) REAL
therefore,
- \(c_n = -c_{-n}\)
- \(c_n = -c_n^*\) IMAGINARY

Sawtooth Waveform
\[x(t)=t- \operatorname{Floor}(t) \nonumber \]
Because of the Symmetry Properties of the Fourier Series, the sawtooth wave can be defined as a real and odd signal, as opposed to the real and even square wave signal. This has important implications for the Fourier Coefficients.

Summary
To summarize, a great deal of variety exists among the common Fourier Transforms. A summary table is provided here with the essential information.
Description | Time Domain Signal for \(t \in[0,1)\) | Frequency Domain Signal |
---|---|---|
Constant Waveform | \(x(t)=1\) | \(c_{k}=\left\{\begin{array}{ll} 1 & k=0 \\ 0 & k \neq 0 \end{array}\right.\) |
Sinusoid Waveform | \(x(t)=\sin (\pi t)\) | \(c_{k}=\left\{\begin{array}{cc} 1 / 2 & k=\pm 1 \\ 0 & k \neq\pm 1 \end{array}\right.\) |
Square Waveform | \(x(t)=\left\{\begin{array}{cc} 1 & t \leq 1 / 2 \\ -1 & t>1 / 2 \end{array}\right.\) |
\(c_{k}=\left\{\begin{array}{cc} 4 / \pi k & \text { k odd } \\ 0 & \text { k even } \end{array}\right.\) |
Triangle Waveform | \(x(t)=\left\{\begin{array}{rl} t & t \leq 1 / 2 \\ 1-t & t>1 / 2 \end{array}\right.\) |
\(c_{k}=\left\{\begin{array}{cc} -8 \sin (\mathrm{k} \pi) / 2) /(\pi k)^{2} & \text { k odd } \\ 0 & \text { k even } \end{array}\right.\) |
Sawtooth Waveform | \(x(t) = t/2\) | \(c_{k}=\left\{\begin{array}{cc} 0.5 & k=0 \\ -1 / \pi k & k \neq 0 \end{array}\right.\) |