MTH165 – Mathematics for Engineers

Fourier Series and
Periodic Functions

Unit VI
Course Code: MTH165
Course Title: Mathematics for Engineers
Credits: 3 – 1 – 0 – 4
Weightage: ATT 5 | CA 25 | MTT 20 | ETT 50

Course Outcome CO6

Understand the concepts of Fourier series and determine Fourier expansions of periodic functions over full and half-range intervals.

📑 Table of Contents

IOrientation – Periodic Functions and Fourier's Idea3
IIDirichlet's Conditions and Convergence4
IIIFourier Series over \( (0, 2\pi) \) and \( (-\pi, \pi) \)5
IVFourier Series over Arbitrary Interval \( (0, 2l) \) and \( (-l, l) \)8
VEven and Odd Function Simplifications11
VIHalf-Range Sine and Cosine Series13
VIIParseval's Identity and Applications16
Comprehensive Summary Table & Formula Sheet18
Exam Tips & Practice Questions19
Solutions, References & CO Mapping21
How to use these notes: Each section contains theory, formulas, worked examples, and exam-focused tips. Use the summary table at the end for quick revision before exams.

I. Orientation – Periodic Functions and Fourier's Idea

1.1 What is a Periodic Function?

A function \( f(x) \) is periodic with period \( T > 0 \) if:

\[ \boxed{f(x + T) = f(x) \quad \text{for all } x} \]

The smallest positive value of \( T \) is called the fundamental period.

Examples

1.2 Fourier's Revolutionary Idea

Joseph Fourier (1807) discovered that any reasonably well-behaved periodic function can be expressed as an infinite sum of sines and cosines. This is the foundation of Fourier analysis and has enormous applications in signal processing, heat conduction, vibration analysis, and electrical engineering.

\[ \boxed{f(x) = a_0 + \sum_{n=1}^{\infty}\left(a_n \cos\frac{n\pi x}{l} + b_n \sin\frac{n\pi x}{l}\right)} \]

1.3 Why Fourier Series?

1.4 Orthogonality Relations

The trigonometric functions satisfy these key orthogonality relations over \( (0, 2\pi) \) or \( (-\pi, \pi) \):

\[ \int_0^{2\pi} \cos mx \cos nx\,dx = \begin{cases} 0 & m \neq n \\ \pi & m = n \neq 0 \\ 2\pi & m = n = 0 \end{cases} \] \[ \int_0^{2\pi} \sin mx \sin nx\,dx = \begin{cases} 0 & m \neq n \\ \pi & m = n \end{cases} \] \[ \int_0^{2\pi} \sin mx \cos nx\,dx = 0 \quad \text{for all } m, n \]
Exam Tip: The orthogonality relations are the reason the Fourier coefficients have the specific integral formulas. Understanding them helps you remember the coefficient formulas.

II. Dirichlet's Conditions and Convergence

2.1 Dirichlet's Conditions

A function \( f(x) \) defined on \( (a, b) \) can be expanded as a Fourier series if it satisfies Dirichlet's conditions:

  1. \( f(x) \) is well-defined and single-valued in \( (a, b) \), except possibly at a finite number of points.
  2. \( f(x) \) has a finite number of discontinuities in \( (a, b) \).
  3. \( f(x) \) has a finite number of maxima and minima in \( (a, b) \).
  4. \( f(x) \) is piecewise continuous and has finite left- and right-hand derivatives at each point.

2.2 Convergence at Points of Discontinuity

At a point of discontinuity \( x = c \), the Fourier series converges to the average of the left-hand and right-hand limits:

\[ \boxed{\frac{f(c^-) + f(c^+)}{2}} \]

where \( f(c^-) \) = limit from left, \( f(c^+) \) = limit from right.

Example

If \( f(x) = x \) on \( (-\pi, \pi) \), then at \( x = \pi \) (a discontinuity in the periodic extension), the Fourier series converges to:

\[ \frac{f(\pi^-) + f(\pi^+)}{2} = \frac{\pi + (-\pi)}{2} = 0 \]

2.3 Physical Interpretation

The Fourier series represents the function as a superposition of sinusoidal oscillations of different frequencies. Convergence at discontinuity reflects the "Gibbs phenomenon", where the partial sums overshoot the function near jumps.
Exam Tip: Always verify Dirichlet's conditions before writing a Fourier expansion. Mention the convergence value at discontinuities when asked.

III. Fourier Series over \( (0, 2\pi) \) and \( (-\pi, \pi) \)

3.1 Fourier Series over \( (0, 2\pi) \)

If \( f(x) \) is periodic with period \( 2\pi \) and defined on \( (0, 2\pi) \):

\[ \boxed{f(x) = a_0 + \sum_{n=1}^{\infty}(a_n \cos nx + b_n \sin nx)} \]

Fourier Coefficients (Euler's Formulas):

\[ \boxed{a_0 = \frac{1}{2\pi}\int_0^{2\pi} f(x)\,dx} \] \[ \boxed{a_n = \frac{1}{\pi}\int_0^{2\pi} f(x)\cos nx\,dx} \] \[ \boxed{b_n = \frac{1}{\pi}\int_0^{2\pi} f(x)\sin nx\,dx} \]

where \( n = 1, 2, 3, \ldots \)

3.2 Fourier Series over \( (-\pi, \pi) \)

If \( f(x) \) is periodic with period \( 2\pi \) and defined on \( (-\pi, \pi) \):

\[ \boxed{f(x) = a_0 + \sum_{n=1}^{\infty}(a_n \cos nx + b_n \sin nx)} \]

Fourier Coefficients:

\[ \boxed{a_0 = \frac{1}{2\pi}\int_{-\pi}^{\pi} f(x)\,dx} \] \[ \boxed{a_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\cos nx\,dx} \] \[ \boxed{b_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\sin nx\,dx} \]
Important Note: The integrals can be evaluated over any complete period (e.g., \( 0 \) to \( 2\pi \), \( -\pi \) to \( \pi \), or \( c \) to \( c + 2\pi \)). Choose the interval that makes the integration easiest.

3.3 Useful Integration Formulas

IntegralResult
\( \displaystyle\int_0^{2\pi} \cos nx\,dx \)\( 0 \)
\( \displaystyle\int_0^{2\pi} \sin nx\,dx \)\( 0 \)
\( \displaystyle\int_0^{2\pi} x\cos nx\,dx \)\( 0 \)
\( \displaystyle\int_0^{2\pi} x\sin nx\,dx \)\( -\dfrac{2\pi}{n} \)
\( \displaystyle\int_0^{2\pi} x^2\cos nx\,dx \)\( \dfrac{4\pi}{n^2} \)
\( \displaystyle\int_0^{2\pi} x^2\sin nx\,dx \)\( -\dfrac{4\pi^2}{n} \)

3.4 Worked Examples over \( (0, 2\pi) \)

Example 1: Linear Function

Problem: Find the Fourier series of \( f(x) = x \) on \( (0, 2\pi) \).

Solution:

Step 1: \( a_0 \)

\[ a_0 = \frac{1}{2\pi}\int_0^{2\pi} x\,dx = \frac{1}{2\pi}\cdot\frac{(2\pi)^2}{2} = \pi \]

Step 2: \( a_n \)

\[ a_n = \frac{1}{\pi}\int_0^{2\pi} x\cos nx\,dx \]

Using integration by parts: \( u = x \), \( dv = \cos nx\,dx \):

\[ = \frac{1}{\pi}\left[\frac{x\sin nx}{n} + \frac{\cos nx}{n^2}\right]_0^{2\pi} = \frac{1}{\pi}\left[0 + \frac{1 - 1}{n^2}\right] = 0 \]

Step 3: \( b_n \)

\[ b_n = \frac{1}{\pi}\int_0^{2\pi} x\sin nx\,dx \] \[ = \frac{1}{\pi}\left[-\frac{x\cos nx}{n} + \frac{\sin nx}{n^2}\right]_0^{2\pi} = \frac{1}{\pi}\left[-\frac{2\pi}{n}\right] = -\frac{2}{n} \]

Step 4: Fourier Series

\[ \boxed{x = \pi - 2\sum_{n=1}^{\infty}\frac{\sin nx}{n} = \pi - 2\left(\sin x + \frac{\sin 2x}{2} + \frac{\sin 3x}{3} + \cdots\right)} \]
Example 2: Quadratic Function

Problem: Find the Fourier series of \( f(x) = x^2 \) on \( (-\pi, \pi) \).

Solution:

Step 1: \( a_0 \) (\( f \) is even, so integrals simplify)

\[ a_0 = \frac{1}{2\pi}\int_{-\pi}^{\pi} x^2\,dx = \frac{1}{\pi}\int_0^{\pi} x^2\,dx = \frac{1}{\pi}\cdot\frac{\pi^3}{3} = \frac{\pi^2}{3} \]

Step 2: \( a_n \) (even function)

\[ a_n = \frac{1}{\pi}\int_{-\pi}^{\pi} x^2\cos nx\,dx = \frac{2}{\pi}\int_0^{\pi} x^2\cos nx\,dx \]

Using integration by parts twice:

\[ = \frac{2}{\pi}\left[\frac{2x\cos nx}{n^2} + \frac{(n^2 x^2 - 2)\sin nx}{n^3}\right]_0^{\pi} = \frac{4(-1)^n}{n^2} \]

Step 3: \( b_n = 0 \) (odd integrand × even function = odd, integrates to 0)

Step 4: Fourier Series

\[ \boxed{x^2 = \frac{\pi^2}{3} + 4\sum_{n=1}^{\infty}\frac{(-1)^n}{n^2}\cos nx} \] \[ = \frac{\pi^2}{3} - 4\left(\cos x - \frac{\cos 2x}{2^2} + \frac{\cos 3x}{3^2} - \cdots\right) \]
Example 3: Piecewise Function

Problem: Find the Fourier series of \( f(x) = \begin{cases} 0 & -\pi < x < 0 \\ x & 0 < x < \pi \end{cases} \)

Solution:

Step 1: \( a_0 \)

\[ a_0 = \frac{1}{2\pi}\int_{-\pi}^{0} 0\,dx + \frac{1}{2\pi}\int_0^{\pi} x\,dx = \frac{1}{2\pi}\cdot\frac{\pi^2}{2} = \frac{\pi}{4} \]

Step 2: \( a_n \)

\[ a_n = \frac{1}{\pi}\int_0^{\pi} x\cos nx\,dx = \frac{1}{\pi}\left[\frac{x\sin nx}{n} + \frac{\cos nx}{n^2}\right]_0^{\pi} = \frac{(-1)^n - 1}{\pi n^2} \]

So \( a_n = \begin{cases} 0 & n \text{ even} \\ -\dfrac{2}{\pi n^2} & n \text{ odd} \end{cases} \)

Step 3: \( b_n \)

\[ b_n = \frac{1}{\pi}\int_0^{\pi} x\sin nx\,dx = \frac{1}{\pi}\left[-\frac{x\cos nx}{n} + \frac{\sin nx}{n^2}\right]_0^{\pi} = -\frac{(-1)^n}{n} = \frac{(-1)^{n+1}}{n} \]

Step 4: Fourier Series

\[ f(x) = \frac{\pi}{4} - \frac{2}{\pi}\sum_{\substack{n=1\\n \text{ odd}}}^{\infty}\frac{\cos nx}{n^2} + \sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{n}\sin nx \]
Exam Tip: Always identify if the function is even or odd before computing coefficients. This can save a lot of calculation time.

IV. Fourier Series over Arbitrary Interval \( (0, 2l) \) and \( (-l, l) \)

4.1 Fourier Series over \( (0, 2l) \)

For a function with period \( 2l \) defined on \( (0, 2l) \):

\[ \boxed{f(x) = a_0 + \sum_{n=1}^{\infty}\left(a_n \cos\frac{n\pi x}{l} + b_n \sin\frac{n\pi x}{l}\right)} \]

Fourier Coefficients:

\[ \boxed{a_0 = \frac{1}{2l}\int_0^{2l} f(x)\,dx} \] \[ \boxed{a_n = \frac{1}{l}\int_0^{2l} f(x)\cos\frac{n\pi x}{l}\,dx} \] \[ \boxed{b_n = \frac{1}{l}\int_0^{2l} f(x)\sin\frac{n\pi x}{l}\,dx} \]

4.2 Fourier Series over \( (-l, l) \)

\[ \boxed{f(x) = a_0 + \sum_{n=1}^{\infty}\left(a_n \cos\frac{n\pi x}{l} + b_n \sin\frac{n\pi x}{l}\right)} \]

Fourier Coefficients:

\[ \boxed{a_0 = \frac{1}{2l}\int_{-l}^{l} f(x)\,dx} \] \[ \boxed{a_n = \frac{1}{l}\int_{-l}^{l} f(x)\cos\frac{n\pi x}{l}\,dx} \] \[ \boxed{b_n = \frac{1}{l}\int_{-l}^{l} f(x)\sin\frac{n\pi x}{l}\,dx} \]
Special Cases

4.3 Worked Examples

Example 1: Over \( (0, 2l) \)

Problem: Find the Fourier series of \( f(x) = x \) on \( (0, 2l) \).

Solution:

Step 1: \( a_0 \)

\[ a_0 = \frac{1}{2l}\int_0^{2l} x\,dx = \frac{1}{2l}\cdot\frac{(2l)^2}{2} = l \]

Step 2: \( a_n \)

\[ a_n = \frac{1}{l}\int_0^{2l} x\cos\frac{n\pi x}{l}\,dx \]

Using integration by parts with \( u = x \), \( dv = \cos\frac{n\pi x}{l}\,dx \):

\[ = \frac{1}{l}\left[\frac{l x\sin(n\pi x/l)}{n\pi} + \frac{l^2\cos(n\pi x/l)}{n^2\pi^2}\right]_0^{2l} = \frac{1}{l}\cdot\frac{l^2(1 - 1)}{n^2\pi^2} = 0 \]

Step 3: \( b_n \)

\[ b_n = \frac{1}{l}\int_0^{2l} x\sin\frac{n\pi x}{l}\,dx \] \[ = \frac{1}{l}\left[-\frac{l x\cos(n\pi x/l)}{n\pi} + \frac{l^2\sin(n\pi x/l)}{n^2\pi^2}\right]_0^{2l} = \frac{1}{l}\left[-\frac{2l^2}{n\pi}\right] = -\frac{2l}{n\pi} \]

Step 4: Fourier Series

\[ \boxed{x = l - \frac{2l}{\pi}\sum_{n=1}^{\infty}\frac{1}{n}\sin\frac{n\pi x}{l}} \]
Example 2: Over \( (-l, l) \) — Even Function

Problem: Find the Fourier series of \( f(x) = x^2 \) on \( (-l, l) \).

Solution:

Since \( f \) is even, \( b_n = 0 \).

Step 1: \( a_0 \)

\[ a_0 = \frac{1}{2l}\int_{-l}^{l} x^2\,dx = \frac{1}{l}\int_0^{l} x^2\,dx = \frac{l^2}{3} \]

Step 2: \( a_n \)

\[ a_n = \frac{2}{l}\int_0^{l} x^2\cos\frac{n\pi x}{l}\,dx \]

Using integration by parts twice:

\[ a_n = \frac{4l^2(-1)^n}{n^2\pi^2} \]

Step 3: Fourier Series

\[ \boxed{x^2 = \frac{l^2}{3} + \frac{4l^2}{\pi^2}\sum_{n=1}^{\infty}\frac{(-1)^n}{n^2}\cos\frac{n\pi x}{l}} \]
Example 3: Over \( (-\pi, \pi) \) — Odd Function

Problem: Find the Fourier series of \( f(x) = x \) on \( (-\pi, \pi) \).

Solution:

Since \( f \) is odd, \( a_0 = 0 \), \( a_n = 0 \).

\( b_n \):

\[ b_n = \frac{2}{\pi}\int_0^{\pi} x\sin nx\,dx = \frac{2}{\pi}\left[-\frac{x\cos nx}{n} + \frac{\sin nx}{n^2}\right]_0^{\pi} = \frac{2(-1)^{n+1}}{n} \]

Fourier Series:

\[ \boxed{x = 2\sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{n}\sin nx = 2\left(\sin x - \frac{\sin 2x}{2} + \frac{\sin 3x}{3} - \cdots\right)} \]
Exam Tip: When \( l = \pi \), the formula \( \frac{n\pi x}{l} \) becomes \( nx \). Remember this pattern — it's the most common case in exams.

V. Even and Odd Function Simplifications

5.1 Definitions

TypeConditionExamples
Even\( f(-x) = f(x) \)\( x^2 \), \( \cos x \), \( |x| \)
Odd\( f(-x) = -f(x) \)\( x \), \( x^3 \), \( \sin x \)

5.2 Fourier Series for Even Functions

If \( f(x) \) is even on \( (-l, l) \):

\[ \boxed{f(x) = a_0 + \sum_{n=1}^{\infty} a_n \cos\frac{n\pi x}{l}} \]

(Only cosine terms — cosine series)

\[ a_0 = \frac{1}{l}\int_0^{l} f(x)\,dx, \quad a_n = \frac{2}{l}\int_0^{l} f(x)\cos\frac{n\pi x}{l}\,dx, \quad b_n = 0 \]

5.3 Fourier Series for Odd Functions

If \( f(x) \) is odd on \( (-l, l) \):

\[ \boxed{f(x) = \sum_{n=1}^{\infty} b_n \sin\frac{n\pi x}{l}} \]

(Only sine terms — sine series)

\[ b_n = \frac{2}{l}\int_0^{l} f(x)\sin\frac{n\pi x}{l}\,dx, \quad a_0 = a_n = 0 \]

5.4 Summary Table

Function Type\( a_0 \)\( a_n \)\( b_n \)Series Form
Even\( \frac{1}{l}\int_0^l f\,dx \)\( \frac{2}{l}\int_0^l f\cos\frac{n\pi x}{l}\,dx \)0Cosine only
Odd00\( \frac{2}{l}\int_0^l f\sin\frac{n\pi x}{l}\,dx \)Sine only
General\( \frac{1}{2l}\int_{-l}^l f\,dx \)\( \frac{1}{l}\int_{-l}^l f\cos\frac{n\pi x}{l}\,dx \)\( \frac{1}{l}\int_{-l}^l f\sin\frac{n\pi x}{l}\,dx \)Both

5.5 Worked Examples

Example 1: Even Function

Problem: Find the Fourier series of \( f(x) = x^2 \) on \( (-\pi, \pi) \) using even symmetry.

Solution:

\( f \) is even → \( b_n = 0 \)

\[ a_0 = \frac{1}{\pi}\int_0^{\pi} x^2\,dx = \frac{\pi^2}{3} \] \[ a_n = \frac{2}{\pi}\int_0^{\pi} x^2\cos nx\,dx = \frac{4(-1)^n}{n^2} \] \[ \boxed{x^2 = \frac{\pi^2}{3} + 4\sum_{n=1}^{\infty}\frac{(-1)^n}{n^2}\cos nx} \]
Example 2: Odd Function

Problem: Find the Fourier series of \( f(x) = x^3 \) on \( (-\pi, \pi) \).

Solution:

\( f \) is odd → \( a_0 = 0 \), \( a_n = 0 \)

\[ b_n = \frac{2}{\pi}\int_0^{\pi} x^3\sin nx\,dx \]

Using integration by parts three times:

\[ = \frac{2}{\pi}\left[-\frac{\pi^3\cos n\pi}{n} + \frac{3\pi^2\sin n\pi}{n^2} + \frac{6\pi\cos n\pi}{n^3} - \frac{6\sin n\pi}{n^4}\right]_0^{\pi} \] \[ = \frac{2}{\pi}\left[\frac{(-1)^{n+1}\pi^3}{n} + \frac{6\pi(-1)^n}{n^3}\right] = 2(-1)^{n+1}\pi^2\left(\frac{1}{n} - \frac{6}{n^3\pi^2}\right) \]

So the Fourier series is \( x^3 = \sum_{n=1}^{\infty} b_n \sin nx \).

Example 3: Neither Even nor Odd

Problem: Find the Fourier series of \( f(x) = e^x \) on \( (-\pi, \pi) \).

Solution:

Since \( f \) is neither even nor odd, both \( a_n \) and \( b_n \) are non-zero.

\[ a_0 = \frac{1}{2\pi}\int_{-\pi}^{\pi} e^x\,dx = \frac{e^{\pi} - e^{-\pi}}{2\pi} = \frac{\sinh\pi}{\pi} \] \[ a_n = \frac{1}{\pi}\int_{-\pi}^{\pi} e^x\cos nx\,dx = \frac{(-1)^n(e^{\pi} - e^{-\pi})}{\pi(1 + n^2)} = \frac{2(-1)^n\sinh\pi}{\pi(1+n^2)} \] \[ b_n = \frac{1}{\pi}\int_{-\pi}^{\pi} e^x\sin nx\,dx = \frac{(-1)^{n+1}n(e^{\pi} - e^{-\pi})}{\pi(1+n^2)} = \frac{2(-1)^{n+1}n\sinh\pi}{\pi(1+n^2)} \]

Therefore:

\[ e^x = \frac{\sinh\pi}{\pi} + \frac{2\sinh\pi}{\pi}\sum_{n=1}^{\infty}\frac{(-1)^n(\cos nx - n\sin nx)}{1+n^2} \]
Exam Tip: Always check even/odd symmetry first. This can reduce a long calculation to a very short one.

VI. Half-Range Sine and Cosine Series

6.1 Concept of Half-Range Expansion

When a function \( f(x) \) is defined only on \( (0, l) \), we can extend it to \( (-l, l) \) in two ways:

6.2 Half-Range Cosine Series

If \( f(x) \) is defined on \( (0, l) \) and extended as an even function:

\[ \boxed{f(x) = a_0 + \sum_{n=1}^{\infty} a_n \cos\frac{n\pi x}{l}} \]
\[ \boxed{a_0 = \frac{1}{l}\int_0^{l} f(x)\,dx} \] \[ \boxed{a_n = \frac{2}{l}\int_0^{l} f(x)\cos\frac{n\pi x}{l}\,dx} \]

6.3 Half-Range Sine Series

If \( f(x) \) is defined on \( (0, l) \) and extended as an odd function:

\[ \boxed{f(x) = \sum_{n=1}^{\infty} b_n \sin\frac{n\pi x}{l}} \]
\[ \boxed{b_n = \frac{2}{l}\int_0^{l} f(x)\sin\frac{n\pi x}{l}\,dx} \]

6.4 Worked Examples

Example 1: Half-Range Cosine Series

Problem: Find the half-range cosine series of \( f(x) = x \) on \( (0, \pi) \).

Solution:

Step 1: \( a_0 \)

\[ a_0 = \frac{1}{\pi}\int_0^{\pi} x\,dx = \frac{\pi}{2} \]

Step 2: \( a_n \)

\[ a_n = \frac{2}{\pi}\int_0^{\pi} x\cos nx\,dx = \frac{2}{\pi}\left[\frac{x\sin nx}{n} + \frac{\cos nx}{n^2}\right]_0^{\pi} = \frac{2[(-1)^n - 1]}{\pi n^2} \]

So \( a_n = \begin{cases} 0 & n \text{ even} \\ -\dfrac{4}{\pi n^2} & n \text{ odd} \end{cases} \)

Step 3: Series

\[ \boxed{x = \frac{\pi}{2} - \frac{4}{\pi}\sum_{\substack{n=1\\n\text{ odd}}}^{\infty}\frac{\cos nx}{n^2}} \] \[ = \frac{\pi}{2} - \frac{4}{\pi}\left(\cos x + \frac{\cos 3x}{3^2} + \frac{\cos 5x}{5^2} + \cdots\right) \]
Example 2: Half-Range Sine Series

Problem: Find the half-range sine series of \( f(x) = x \) on \( (0, \pi) \).

Solution:

\[ b_n = \frac{2}{\pi}\int_0^{\pi} x\sin nx\,dx = \frac{2}{\pi}\left[-\frac{x\cos nx}{n} + \frac{\sin nx}{n^2}\right]_0^{\pi} = -\frac{2\cos n\pi}{n} = \frac{2(-1)^{n+1}}{n} \]

Series:

\[ \boxed{x = 2\sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{n}\sin nx = 2\left(\sin x - \frac{\sin 2x}{2} + \frac{\sin 3x}{3} - \cdots\right)} \]
Example 3: Constant Function — Sine Series

Problem: Find the half-range sine series of \( f(x) = 1 \) on \( (0, \pi) \).

Solution:

\[ b_n = \frac{2}{\pi}\int_0^{\pi} \sin nx\,dx = \frac{2}{\pi}\left[-\frac{\cos nx}{n}\right]_0^{\pi} = \frac{2(1 - (-1)^n)}{\pi n} \]

So \( b_n = \begin{cases} 0 & n \text{ even} \\ \dfrac{4}{\pi n} & n \text{ odd} \end{cases} \)

Series:

\[ \boxed{1 = \frac{4}{\pi}\sum_{\substack{n=1\\n\text{ odd}}}^{\infty}\frac{\sin nx}{n} = \frac{4}{\pi}\left(\sin x + \frac{\sin 3x}{3} + \frac{\sin 5x}{5} + \cdots\right)} \]

This is a classic result: \( 1 = \dfrac{4}{\pi}\left(\sin x + \dfrac{\sin 3x}{3} + \dfrac{\sin 5x}{5} + \cdots\right) \) for \( 0 < x < \pi \).

Example 4: Half-Range Series over \( (0, l) \)

Problem: Find the half-range cosine series of \( f(x) = x \) on \( (0, l) \).

Solution:

Even extension → cosine series.

\[ a_0 = \frac{1}{l}\int_0^l x\,dx = \frac{l}{2} \] \[ a_n = \frac{2}{l}\int_0^l x\cos\frac{n\pi x}{l}\,dx = \frac{2}{l}\left[\frac{lx\sin(n\pi x/l)}{n\pi} + \frac{l^2\cos(n\pi x/l)}{n^2\pi^2}\right]_0^l \] \[ = \frac{2l[(-1)^n - 1]}{n^2\pi^2} = \begin{cases} 0 & n \text{ even} \\ -\dfrac{4l}{n^2\pi^2} & n \text{ odd} \end{cases} \]

Series:

\[ \boxed{x = \frac{l}{2} - \frac{4l}{\pi^2}\sum_{\substack{n=1\\n\text{ odd}}}^{\infty}\frac{1}{n^2}\cos\frac{n\pi x}{l}} \]
Exam Tip: Half-range expansions are crucial in engineering — they represent the same function on \( (0, l) \) but with different periodic extensions. Choose the extension that matches your physical problem's symmetry.

VII. Parseval's Identity and Applications

7.1 Parseval's Identity

Parseval's identity relates the integral of the square of a function to the sum of the squares of its Fourier coefficients. It's essentially the conservation of energy in the frequency domain.

Parseval's Identity (for \( (-\pi, \pi) \))
\[ \boxed{\frac{1}{\pi}\int_{-\pi}^{\pi} [f(x)]^2\,dx = 2a_0^2 + \sum_{n=1}^{\infty}(a_n^2 + b_n^2)} \]
Parseval's Identity (for general interval \( (-l, l) \))
\[ \boxed{\frac{1}{l}\int_{-l}^{l} [f(x)]^2\,dx = 2a_0^2 + \sum_{n=1}^{\infty}(a_n^2 + b_n^2)} \]

7.2 Applications of Parseval's Identity

7.3 Worked Examples

Example 1: Evaluating \( \sum 1/n^2 \)

Problem: Using the Fourier series \( x^2 = \dfrac{\pi^2}{3} + 4\sum_{n=1}^{\infty}\dfrac{(-1)^n}{n^2}\cos nx \) on \( (-\pi, \pi) \), evaluate \( \sum_{n=1}^{\infty}\dfrac{1}{n^2} \).

Solution:

Here \( a_0 = \dfrac{\pi^2}{3} \), \( a_n = \dfrac{4(-1)^n}{n^2} \), \( b_n = 0 \).

By Parseval's identity:

\[ \frac{1}{\pi}\int_{-\pi}^{\pi} x^4\,dx = 2\left(\frac{\pi^2}{3}\right)^2 + \sum_{n=1}^{\infty}\frac{16}{n^4} \]

LHS: \( \dfrac{1}{\pi}\cdot\dfrac{2\pi^5}{5} = \dfrac{2\pi^4}{5} \)

So: \( \dfrac{2\pi^4}{5} = \dfrac{2\pi^4}{9} + 16\sum \dfrac{1}{n^4} \)

\[ 16\sum\frac{1}{n^4} = \frac{2\pi^4}{5} - \frac{2\pi^4}{9} = 2\pi^4\cdot\frac{4}{45} = \frac{8\pi^4}{45} \] \[ \boxed{\sum_{n=1}^{\infty}\frac{1}{n^4} = \frac{\pi^4}{90}} \]
Example 2: Evaluating \( \sum 1/n^2 \) using \( x \)

Problem: Using \( x = 2\sum_{n=1}^{\infty}\dfrac{(-1)^{n+1}}{n}\sin nx \) on \( (-\pi, \pi) \), evaluate \( \sum_{n=1}^{\infty}\dfrac{1}{n^2} \).

Solution:

Here \( a_0 = 0 \), \( a_n = 0 \), \( b_n = \dfrac{2(-1)^{n+1}}{n} \).

\[ \frac{1}{\pi}\int_{-\pi}^{\pi} x^2\,dx = \sum_{n=1}^{\infty}\frac{4}{n^2} \]

LHS: \( \dfrac{1}{\pi}\cdot\dfrac{2\pi^3}{3} = \dfrac{2\pi^2}{3} \)

\[ \frac{2\pi^2}{3} = 4\sum\frac{1}{n^2} \implies \boxed{\sum_{n=1}^{\infty}\frac{1}{n^2} = \frac{\pi^2}{6}} \]
Example 3: Physical Interpretation

Problem: If \( f(x) \) represents a periodic voltage signal, interpret Parseval's identity physically.

Solution:

For an electrical signal \( V(t) \), the quantity \( \frac{1}{T}\int_0^T V^2\,dt \) is the mean square voltage. Parseval's identity states that this equals the sum of the mean squares of the harmonic components:

\[ \frac{1}{T}\int_0^T V^2\,dt = 2a_0^2 + \sum_{n=1}^{\infty}(a_n^2 + b_n^2) \]

This is the power conservation principle: the total power in a signal equals the sum of powers in its harmonic components.

7.4 Applications of Fourier Series in Engineering

FieldApplication
Signal ProcessingDecomposing signals into frequency components; filtering, modulation, compression (MP3, JPEG)
Heat ConductionSolving the heat equation with periodic boundary conditions
Vibration AnalysisModal analysis of mechanical structures; resonance
Electrical EngineeringAnalyzing AC circuits; harmonic distortion
Communication SystemsBandwidth analysis, Fourier transform, spectrum
Image Processing2D Fourier transform for image filtering
Quantum MechanicsWave function decomposition
AcousticsSound spectrum analysis
Exam Tip: Parseval's identity is often used to evaluate infinite series. Remember: LHS uses the square of the function, RHS uses squares of coefficients.

📊 Comprehensive Summary Table

TopicKey Formula / Concept
Periodic Function\( f(x + T) = f(x) \)
Fourier Series (Period 2π)\( f(x) = a_0 + \sum(a_n\cos nx + b_n\sin nx) \)
\( a_0 \) on \( (0, 2\pi) \)\( \dfrac{1}{2\pi}\int_0^{2\pi} f(x)\,dx \)
\( a_n \) on \( (0, 2\pi) \)\( \dfrac{1}{\pi}\int_0^{2\pi} f(x)\cos nx\,dx \)
\( b_n \) on \( (0, 2\pi) \)\( \dfrac{1}{\pi}\int_0^{2\pi} f(x)\sin nx\,dx \)
Fourier Series (Period 2l)\( f(x) = a_0 + \sum\!\left(a_n\cos\frac{n\pi x}{l} + b_n\sin\frac{n\pi x}{l}\right) \)
\( a_0 \) on \( (-l, l) \)\( \dfrac{1}{2l}\int_{-l}^{l} f(x)\,dx \)
\( a_n \) on \( (-l, l) \)\( \dfrac{1}{l}\int_{-l}^{l} f(x)\cos\frac{n\pi x}{l}\,dx \)
\( b_n \) on \( (-l, l) \)\( \dfrac{1}{l}\int_{-l}^{l} f(x)\sin\frac{n\pi x}{l}\,dx \)
Even Function\( b_n = 0 \), only cosine terms
Odd Function\( a_0 = a_n = 0 \), only sine terms
Half-Range Cosine\( a_0 = \dfrac{1}{l}\int_0^l f\,dx \), \( a_n = \dfrac{2}{l}\int_0^l f\cos\frac{n\pi x}{l}\,dx \)
Half-Range Sine\( b_n = \dfrac{2}{l}\int_0^l f\sin\frac{n\pi x}{l}\,dx \)
DiscontinuitySeries converges to \( \dfrac{f(c^-) + f(c^+)}{2} \)
Parseval's Identity\( \dfrac{1}{l}\int_{-l}^l f^2\,dx = 2a_0^2 + \sum(a_n^2 + b_n^2) \)

📐 Common Fourier Series Expansions (Memorize)

FunctionFourier SeriesInterval
\( x \)\( 2\sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{n}\sin nx \)\( (-\pi, \pi) \)
\( x \)\( \pi - 2\sum_{n=1}^{\infty}\frac{\sin nx}{n} \)\( (0, 2\pi) \)
\( x^2 \)\( \frac{\pi^2}{3} + 4\sum_{n=1}^{\infty}\frac{(-1)^n}{n^2}\cos nx \)\( (-\pi, \pi) \)
\( x^2 \)\( \frac{4\pi^2}{3} + 4\sum_{n=1}^{\infty}\frac{\cos nx}{n^2} \)\( (0, 2\pi) \)
\( |x| \)\( \frac{\pi}{2} - \frac{4}{\pi}\sum_{\substack{n\text{ odd}}}\frac{\cos nx}{n^2} \)\( (-\pi, \pi) \)
\( 1 \)\( \frac{4}{\pi}\sum_{\substack{n\text{ odd}}}\frac{\sin nx}{n} \)\( (0, \pi) \)

🎯 Exam-Focused Tips

  1. Always check even/odd symmetry first — it eliminates half the work.
  2. Verify Dirichlet's conditions before writing the Fourier expansion.
  3. Memorize the Euler formulas for \( a_0, a_n, b_n \) for both \( (0, 2\pi) \) and \( (-l, l) \) intervals.
  4. Remember the argument \( \frac{n\pi x}{l} \) — do not confuse with \( nx \).
  5. At discontinuities, state the convergence value \( \frac{f(c^-) + f(c^+)}{2} \).
  6. For half-range series, choose even extension for cosine series, odd for sine series.
  7. Parseval's identity is the key to evaluating \( \sum 1/n^2 \), \( \sum 1/n^4 \), etc.
  8. Use standard integral tables for \( \int x\cos nx \), \( \int x\sin nx \), etc.
  9. Check convergence at endpoints and discontinuities.
  10. Practice standard expansions — many problems are variations of these.

📝 Practice Questions

Q1 Full Range

Find the Fourier series of \( f(x) = x \) on \( (0, 2\pi) \).

Q2 Even Function

Find the Fourier series of \( f(x) = x^2 \) on \( (-\pi, \pi) \).

Q3 Arbitrary Interval

Find the Fourier series of \( f(x) = x \) on \( (0, 2l) \).

Q4 Piecewise

Find the Fourier series of \( f(x) = \begin{cases} -k & -\pi < x < 0 \\ k & 0 < x < \pi \end{cases} \)

Q5 Half-Range Cosine

Find the half-range cosine series of \( f(x) = x \) on \( (0, \pi) \).

Q6 Half-Range Sine

Find the half-range sine series of \( f(x) = 1 \) on \( (0, \pi) \).

Q7 Parseval

Using Parseval's identity on the Fourier series of \( x^2 \) on \( (-\pi, \pi) \), find \( \sum_{n=1}^{\infty}\dfrac{1}{n^4} \).

Q8 Convergence

State the value to which the Fourier series of \( f(x) = x \) on \( (-\pi, \pi) \) converges at \( x = \pi \).

✅ Practice Question Solutions

Solution Q1

Already worked out in Section III, Example 1:

\[ x = \pi - 2\sum_{n=1}^{\infty}\frac{\sin nx}{n} \]
Solution Q2

Already worked out in Section III, Example 2:

\[ x^2 = \frac{\pi^2}{3} + 4\sum_{n=1}^{\infty}\frac{(-1)^n}{n^2}\cos nx \]
Solution Q3

Already worked out in Section IV, Example 1:

\[ x = l - \frac{2l}{\pi}\sum_{n=1}^{\infty}\frac{1}{n}\sin\frac{n\pi x}{l} \]
Solution Q4

\( f \) is odd → \( a_0 = a_n = 0 \)

\[ b_n = \frac{2}{\pi}\int_0^{\pi} k\sin nx\,dx = \frac{2k}{\pi}\left[-\frac{\cos nx}{n}\right]_0^{\pi} = \frac{2k(1 - (-1)^n)}{\pi n} \]

So \( b_n = \begin{cases} 0 & n \text{ even} \\ \dfrac{4k}{\pi n} & n \text{ odd} \end{cases} \)

\[ \boxed{f(x) = \frac{4k}{\pi}\left(\sin x + \frac{\sin 3x}{3} + \frac{\sin 5x}{5} + \cdots\right)} \]
Solution Q5

Already worked out in Section VI, Example 1:

\[ x = \frac{\pi}{2} - \frac{4}{\pi}\left(\cos x + \frac{\cos 3x}{3^2} + \frac{\cos 5x}{5^2} + \cdots\right) \]
Solution Q6

Already worked out in Section VI, Example 3:

\[ 1 = \frac{4}{\pi}\left(\sin x + \frac{\sin 3x}{3} + \frac{\sin 5x}{5} + \cdots\right) \]
Solution Q7

For \( x^2 = \dfrac{\pi^2}{3} + 4\sum_{n=1}^{\infty}\dfrac{(-1)^n}{n^2}\cos nx \):

\( a_0 = \dfrac{\pi^2}{3} \), \( a_n = \dfrac{4(-1)^n}{n^2} \), \( b_n = 0 \)

By Parseval's identity:

\[ \frac{1}{\pi}\int_{-\pi}^{\pi} x^4\,dx = 2\left(\frac{\pi^2}{3}\right)^2 + \sum_{n=1}^{\infty}\frac{16}{n^4} \] \[ \frac{2\pi^4}{5} = \frac{2\pi^4}{9} + 16\sum\frac{1}{n^4} \] \[ 16\sum\frac{1}{n^4} = \frac{2\pi^4}{5} - \frac{2\pi^4}{9} = \frac{8\pi^4}{45} \] \[ \boxed{\sum_{n=1}^{\infty}\frac{1}{n^4} = \frac{\pi^4}{90}} \]
Solution Q8

At \( x = \pi \), the periodic extension of \( f(x) = x \) has a jump from \( \pi^- \) to \( -\pi^+ \).

\[ \text{Convergence value} = \frac{f(\pi^-) + f(\pi^+)}{2} = \frac{\pi + (-\pi)}{2} = \boxed{0} \]

📚 Textbook References

ReferenceBook
T-1Advanced Engineering Mathematics – R.K. Jain, S.R.K. Iyengar (Narosa Publishing House)
R-1Higher Engineering Mathematics – B.S. Grewal (Khanna Publishers)
R-2Mathematics Textbook for Class XII Part I – NCERT
R-3Mathematics Textbook for Class XII Part II – NCERT
OR-1https://ncert.nic.in/textbook.php?lemh1=5-6
OR-2https://ncert.nic.in/textbook.php?lemh2=1-7

🏆 Key Takeaways

  1. Fourier series decomposes any reasonably well-behaved periodic function into sines and cosines.
  2. Dirichlet's conditions guarantee convergence of the Fourier series.
  3. At discontinuities, the series converges to the average of the one-sided limits.
  4. Even functions → cosine series only; odd functions → sine series only.
  5. Half-range expansions use even/odd extensions of functions defined on \( (0, l) \).
  6. The interval \( (0, 2l) \) uses argument \( \frac{n\pi x}{l} \) instead of \( nx \).
  7. Parseval's identity connects energy in time domain to energy in frequency domain.
  8. Fourier series are fundamental to signal processing, PDEs, and vibration analysis.
  9. Memorize standard expansions — they appear frequently in exams.
  10. Always verify convergence at endpoints and discontinuities.

🎯 Course Outcome CO6 Mapping

After studying this unit, students should be able to:

CO6 ComponentsCovered in Section
Understand periodic functionsI
Apply Dirichlet's conditionsII
Find Fourier series over \( (0, 2\pi) \)III
Find Fourier series over \( (-l, l) \)IV
Use even/odd symmetryV
Find half-range sine/cosine seriesVI
Apply Parseval's identityVII

⭐ End of Unit VI Notes ⭐

Fourier Series and Periodic Functions

MTH165 – Mathematics for Engineers

Complete • Exam-Ready • Full Marks Guaranteed