Definition of Fourier Series and Typical Examples
Definition of Fourier Series and Typical Examples
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
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
we can write:
The Fourier series expansion of an even function f (x) with the period of 2 does not involve the terms with sines hasthe form:
Accordingly, the Fourier series expansion of an odd 2-periodic function f (x) consists of sine terms only and has form:
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:
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
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.
Since
, we can write:
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:
Let
. Then
Substituting
and
Thus, the Fourier series expansion of the sawtooth wave is (Figure 2 above)
Example 4
for
Since
and
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
The constant a0 is
Then
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
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
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
(These results are obvious since this function is odd.) Calculate the coefficients bn:
The graph of the function and the Fourier series expansion for n = 10 are shown in Figure 6 above.
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:
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
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:
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
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
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.