Definition of Fourier Series and Typical Examples

Baron Jean Baptiste Joseph Fourier (1768 1830) introducedthe idea that any periodic function can be represented by a series of sines and cosines which are harmonically related.

To consider this idea in more detail, we should introduce some definitions and common terms.

Basic Definitions

A function f (x) is said to have period P if f (x + P) = f (x) for all x. Let the function f (x) has period 2. In this cas is enough to consider behavior of the function on the interval [, ]. 1. Suppose that the function f (x) with period 2 is absolutely integrable on [, ] so that the following socalledDirichlet integral is finite:

2. Suppose also that the function f (x) is a single valued, piecewise continuous (must have a finite number of jump discontinuities), and piecewise monotonic (must have a finite number of maxima and minima). If the conditions 1 and 2 are satisfied, the Fourier series for the function f (x) exists and converges to the given function (see also Convergence of Fourier Series about convergence conditions.) At a discontinuity x0, the Fouries Series converges to

The Fourier series of the function f (x) is given by

where the Fourier coefficients a0, an, and bn are defined by the integrals

Sometimes alternative forms of the Fourier series are used. Replacing an and bn by the new

variables dn and n or dn andn, where

we can write:

Fourier Series of Even and Odd Functions

The Fourier series expansion of an even function f (x) with the period of 2 does not involve the terms with sines hasthe form:

where the Fourier coefficients are given by the formulas

Accordingly, the Fourier series expansion of an odd 2-periodic function f (x) consists of sine terms only and has form:

where the coefficients bn are

Below we consider expansions of 2-periodic functions into their Fourier series, supposing that these expansions exist and are convergent.
Example 1

Let the function f (x) be 2-periodic and suppose that it is presented by the Fourier series:

Calculate the coefficients a0, an, and bn.

Solution.

To define an, we integrate the Fourier series on the interval [, ]:

For all n > 0,

Therefore, all the terms on the right of the summation sign are zero, so we obtain

In order to find the coefficients an at m > 0, we multiply both sides of the Fourier series by cos mx and integrate t by term:

The first term on the right side is zero. Then, using the well-known trigonometric identities, we have

if m n. In case when m = n, we can write:

Thus,

Similarly, multiplying the Fourier series by sin mx and integrating term by term, we obtain the expression for bm:

Rewriting the formulas for an, bn, we can write the final expressions for the Fourier coefficients:

Example 2

Find the Fourier series for the square 2-periodic wave defined on the interval [, ]:

Solution.

First we calculate the constant a0:

Find now the Fourier coefficients for n 0:

Since

, we can write:

Thus, the Fourier series for the square wave is

We can easily find the first few terms of the series. By setting, for example, n = 5, we get

The graph of the function and the Fourier series expansion for n = 10 is shown in Figure 1.

Fig.1, n = 10 Example 3

Fig.2, n = 5, n = 10

Find the Fourier series for the sawtooth wave defined on the interval [, ] and having period 2.
Solution.

Calculate the Fourier coefficients for the sawtooth wave. Since this function is odd (Figure 2), then a0 = an = 0. Findthe coefficients bn:

To calculate the latter integral we use integration by parts formula:

Let

. Then

so the integral becomes

Substituting

and

for all integer values of n, we obtain

Thus, the Fourier series expansion of the sawtooth wave is (Figure 2 above)

Example 4

Let f (x) be a 2-periodic function such that wave.

Solution.

for

. Find the Fourier series for the parabolic

Since this function is even, the coefficients bn = 0. Then

Apply integration by parts twice to find:

Since

and

for integer n, we have

Then the Fourier series expansion for the parabolic wave is (Figure 3)

Fig.3, n = 2, n = 5 Example 5

Fig.4, n = 1, n = 2

Find the Fourier series for the triangle wave

defined on the interval [, ].

Solution.

The constant a0 is

Determine the coefficients an:

Integrating by parts, we can write

Then

The values of sin nx at x = 0 or x = are zero. Therefore,

When n = 2k, then . When n = 2k + 1, then Since the function f (x) is even, the Fourier coefficients bn are zero. Therefore, the complete Fourier expansion fo triangle wave (see Figure 4 above) is

Example 6

Find the Fourier series for the function

defined on the interval [, ].

Solution.

First we find the constant a0:

Now we calculate the coefficients an:

Notice that

Since cos (n 1) = (1)n 1, we get the following expression for the coefficients an:

It's seen that an = 0 for odd n. For even n, when n = 2k (k = 1,2,3,...), we have

Calculate the coefficients bn. Start with b1:

The other coefficients bn for n > 1 are zero. Indeed,

Thus, the Fourier series of the given function is given by

Graphs of the function and its Fourier expansions for n = 2 and n = 8 are shown in Figure 5.

Fig.5, n = 2, n = 8 Example 7

Fig.6, n = 10

Find the Fourier series for the function

defined on the interval [, ].

Solution.

Compute the coefficients an:

(These results are obvious since this function is odd.) Calculate the coefficients bn:

Thus, the Fourier series expansion of the function is given by

The graph of the function and the Fourier series expansion for n = 10 are shown in Figure 6 above.

An even function can be expanded using half its range from

0 to L or L to 0 or L to 2L

That is, the range of integration is L. The Fourier series of the half range even function is given by:

f(t)=a02+n=1 an cos ntL

for n=1,2,3,... , where

a0=2LL0f(t)dt an=2LL0f(t) cos ntLdt

and bn=0.
Illustration

In the figure below, f(t)=t is sketched from t=0 to t=.

An even function means that it must be symmetrical about the f(t) axis and this is shown in the following figure by the broken line between t= and t=0.

It is then assumed that the "triangular wave form" produced is periodic with period 2 outside of this range as shown by the red dotted lines.

Example

We are given that

f(t)={ttifift<00t<
and f(t) is periodic with period 2. a) Sketch the function for 3 cycles.

b) Find the Fourier trigonometric series for f(t), using half-range series. a) Sketch:

b) Since the function is even, we have bn = 0. In this example, `L=pi`. We have: `{:(a_0,=2/Lint_0^Lf(t)dt),(,=2/piint_0^pit\ dt),(,=2/pi[t^2/2]_0^pi),(,=2/pi(pi^2)/2),(,=pi):}` To find an, we use a result from before (see Table of Common Integrals): `intt\ cos\ nt\ dt=1/n^2(cos\ nt+nt\ sin\ nt)` We have: `{: (a_n,=2/Lint_0^Lf(t)cos{:(n pi t)/L:}dt),(,=2/piint_0^pi t\ cos\ nt\ dt),(,=2/pi[1/n^2(cos\ nt+nt\ sin\ nt)]_0^pi),(,=2/(pi n^2)[(cos\ n pi+0)-(cos\ 0+0)]),(,=2/(pi n^2)[(cos\ n pi-1)]),(,=2/(pi n^2)[(-1)^n-1]):}` When n is odd, the last line gives us `-4/(pin^2`. When n is even, the last line equals `0`. For the series, we need to generate odd values for n. We need to use `(2n - 1)` for `n = 1, 2, 3,...`.

So we have: `{: (f(t),=a_0/2+sum_(n=1)^oo a_n cos{:(n pi t)/L:}),(,=pi/2-4/pi sum_(n=1)^oo(cos(2n-1)t)/((2n-1)^2)),(,=pi/2-4/pi(cos\ t+1/9cos\ 3t+1/25cos\ 5t+...)):}` Check: The graph for the first 40 terms:

An odd function can be expanded using half its range from 0 to L, i.e. the range of integration has value L. The Fourier series of the odd function is: Since ao

= 0 and an = 0, we have:

f(t)=n=1 bn sin ntL for n = 1, 2, 3, ... bn=2LL0f(t) sin ntLdt

In the figure below, f(t)

= t is sketched from t = 0 to t = , as before.

An odd function means that it is symmetrical about the origin and this is shown by the red broken lines between t = and t=0.

It is then assumed that the waveform produced is periodic of period 2 outside of this range as shown by the dotted lines.

Half-Range Expansions

In many physical problems the function

is only known over a finite interval,

say . To express as a Fourier series means that we need to extend the function to be valid over all . If we choose to extend the function periodically, with period , then we retrieve the results of Section 2.4.1. However, we could also extend the function in an even manner, as shown in Figure 2.5 to get a cosine series or as an odd function to get a sineseries.

Figure 2.5: (a) A function defined on a interval of the function onto the interval of period

, where

. (b) The even extension

is shown as a solid curve and the periodic extension , dot-dash curve.

is shown as a dot-dash curve. (c) The odd extension of the function, solid curve, and the periodic extension of period

The odd extension of will generate a Fourier series that only involves sine terms and is called the sine half-range expansion. It is given by
(2.15)

where

and

is a positive integer.

On the other hand, the even extension generates the cosine half-range expansion
(2.16)

where

and

is a positive integer.