1 Half-range Fourier series

So far we have shown how to represent given periodic functions by Fourier series. We now consider a slight variation on this theme which will be useful in HELM booklet  25 on solving Partial Differential Equations.

Suppose that instead of specifying a periodic function we begin with a function f ( t ) defined only over a limited range of values of t , say 0 < t < π . Suppose further that we wish to represent this function, over 0 < t < π , by a Fourier series. (This situation may seem a little artificial at this point, but this is precisely the situation that will arise in solving differential equations.)

To be specific, suppose we define   f ( t ) = t 2 0 < t < π

Figure 21

No alt text was set. Please request alt text from the person who provided you with this resource.

We shall consider the interval 0 < t < π to be half a period of a 2 π periodic function. We must therefore define f ( t ) for π < t < 0 to complete the specification.

Task!

Complete the definition of the above function f ( t ) = t 2 , 0 < t < π

by defining it over π < t < 0 such that the resulting functions will have a Fourier series containing

  1. only cosine terms,
  2. only sine terms,
  3. both cosine and sine terms.
  1. We must complete the definition so as to have an even periodic function:

    f ( t ) = t 2 , π < t < 0

    No alt text was set. Please request alt text from the person who provided you with this resource.

  2. We must complete the definition so as to have an odd periodic function:

    f ( t ) = t 2 , π < t < 0

    No alt text was set. Please request alt text from the person who provided you with this resource.

  3. We may define f ( t ) in any way we please (other than 1. and 2. above). For example we might define f ( t ) = 0 over π < t < 0 :

    No alt text was set. Please request alt text from the person who provided you with this resource.

The point is that all three periodic functions f 1 ( t ) , f 2 ( t ) , f 3 ( t ) will give rise to a different Fourier series but all will represent the function f ( t ) = t 2 over 0 < t < π . Fourier series obtained by extending functions in this sort of way are often referred to as half-range series.

Normally, in applications, we require either a Fourier Cosine series (so we would complete a definition as in (i) above to obtain an even periodic function) or a Fourier Sine series (for which, as in (ii) above, we need an odd periodic function.)

The above considerations apply equally well for a function defined over any interval.

Example 3

Obtain the half range Fourier Sine series to represent f ( t ) = t 2 0 < t < 3.

Solution

We first extend f ( t ) as an odd periodic function F ( t ) of period 6 : f ( t ) = t 2 , 3 < t < 0

Figure 22

No alt text was set. Please request alt text from the person who provided you with this resource.

We now evaluate the Fourier series of F ( t ) by standard techniques but take advantage of the symmetry and put a n = 0 , n = 0 , 1 , 2 , .

Using the results for the Fourier Sine coefficients for period T from HELM booklet  23.2 subsection 5,

b n = 2 T T 2 T 2 F ( t ) sin 2 n π t T d t ,

we put T = 6 and, since the integrand is even (a product of 2 odd functions), we can write

b n = 2 3 0 3 F ( t ) sin 2 n π t 6 d t = 2 3 0 3 t 2 sin n π t 3 d t .

(Note that we always integrate over the originally defined range, in this case 0 < t < 3 .)

We now have to integrate by parts (twice!)

b n = 2 3 3 t 2 n π cos n π t 3 0 3 + 2 3 n π 0 3 t cos n π t 3 d t = 2 3 27 n π cos n π + 6 n π 3 n π t sin n π t 3 0 3 6 n π 3 n π 0 3 sin n π t 3 d t = 2 3 27 n π cos n π 18 n 2 π 2 3 n π cos n π t 3 0 3 = 2 3 27 n π cos n π + 54 n 3 π 3 cos n π 1 = 18 n π n = 2 , 4 , 6 , 18 n π 72 n 3 π 3 n = 1 , 3 , 5 ,

So the required Fourier Sine series is

F ( t ) = 18 1 π 4 π 3 sin π t 3 18 2 π sin 2 π t 3 + 18 1 3 π 4 27 π 3 sin ( π t )

Task!

Obtain a half-range Fourier Cosine series to represent the function

f ( t ) = 4 t 0 < t < 4.

No alt text was set. Please request alt text from the person who provided you with this resource.

First complete the definition to obtain an even periodic function F ( t ) of period 8. Sketch F ( t ) :

No alt text was set. Please request alt text from the person who provided you with this resource.

Now formulate the integral from which the Fourier coefficients a n can be calculated:

We have with T = 8

a n = 2 8 4 4 F ( t ) cos 2 n π t 8 d t

Utilising the fact that the integrand here is even we get

a n = 1 2 0 4 ( 4 t ) cos n π t 4 d t

Now integrate by parts to obtain a n and also obtain a 0 :

Using integration by parts we obtain for n = 1 , 2 , 3 ,

a n = 1 2 ( 4 t ) 4 n π sin n π t 4 0 4 + 4 n π 0 4 sin n π t 4 d t = 1 2 4 n π 4 n π cos n π t 4 0 4 = 8 n 2 π 2 cos ( n π ) + 1 i.e. a n = 0 n = 2 , 4 , 6 , 16 n 2 π 2 n = 1 , 3 , 5 ,

Also a 0 = 1 2 0 4 ( 4 t ) d t = 4 . So the constant term is a 0 2 = 2 .

Now write down the required Fourier series:

We get 2 + 16 π 2 cos π t 4 + 1 9 cos 3 π t 4 + 1 25 cos 5 π t 4 +

Note that the form of the Fourier series (a constant of 2 together with odd harmonic cosine terms) could be predicted if, in the sketch of F ( t ) , we imagine raising the t -axis by 2 units i.e. writing

F ( t ) = 2 + G ( t )

Figure 23

No alt text was set. Please request alt text from the person who provided you with this resource.

Clearly G ( t ) possesses half-period symmetry

G ( t + 4 ) = G ( t )

and hence its Fourier series must contain only odd harmonics.

Exercises

Obtain the half-range Fourier series specified for each of the following functions:

  1. f ( t ) = 1 0 t π (sine series)
  2. f ( t ) = t 0 t 1 (sine series)
    1. f ( t ) = e 2 t 0 t 1 (cosine series)
    2. f ( t ) = e 2 t 0 t π (sine series)
    1. f ( t ) = sin t 0 t π (cosine series)
    2. f ( t ) = sin t 0 t π (sine series)
  1. 4 π sin t + 1 3 sin 3 t + 1 5 sin 5 t + &ctdot;
  2. 2 π { sin π t 1 2 sin 2 π t + 1 3 sin 3 π t &ctdot; }
    1. e 2 1 2 + n = 1 4 4 + n 2 π 2 { e 2 cos ( n π ) 1 } cos n π t
    2. n = 1 2 n π 4 + n 2 π 2 { 1 e 2 cos ( n π ) } sin n π t
    1. 2 π + n = 2 1 π 1 1 n ( 1 cos ( 1 n ) π ) + 1 1 + n ( 1 cos ( 1 + n ) π ) cos n t
    2. sin t itself (!)