1.

FOURIER SERIES (1)

Jean-Baptiste Joseph Fourier (1768-1830)

Fourier was obsessed

with the physics of
heat and developed
the Fourier series and
transform to model
heat-flow problems.
Theorie analytique de
la chaleur (Analytic
Theory of Heat) (Paris,
1822)
History
Motivasi yang mendasari deret Fourier pada awalnya adalah ketika
Joseph-Louis Fourier (1768-1830) menelaah tentang aliran kalor
pada batang logam (satu-dimensi) yang dinyatakan dalam persamaan
difusi kalor :
 u 1 u
2
 (h.1)
x 2 K t
dengan u  u ( x, t ) adalah suhu, K  0 yang bergantung sifat bahan
Syarat batas : u (0, t )  u ( L, t )  0; syarat awal : u ( x, 0)  F ( x)
Untuk memperoleh solusi persamaan digunakan metode separasi variabel
u ( x, t )  f ( x) g (t ) (h.2)
Diperoleh dua persamaan terpisah, masing-masing fungsi x dan fungsi t
d2 f
2
  f ( x)  0 (h.3)
dx
dg (1.4)
  Kg (t )  0
dt
Solusi untuk persamaan g (t )
g (t )  c1e  K t ,   0, K  0 (h.5)

Solusi untuk f ( x)
f ( x)  c2 sin  x  c3 cos  x (h.6)

Sehingga solusi persamaan (h.1)

u ( x, t )  (c2 sin  x  c3 cos  x)c1e  K t (h.7)
Pada solusi u ( x, t ) ini nilai  dan c tidak diketahui. Konstanta-2 tersebut dapat
diperoleh dari syarat batas yang diberikan, yaitu :
u (0, t )  0  u ( L, t ) (h.8)

yang berarti :
f (0) g (t )  0  f ( L) g (t ) (h.9)
untuk semua t  0. Oleh karena g (t )  0 maka yang harus dipenuhi adalah
f (0)  0 dan f ( L)  0 (h.10)

Untuk x  0  0  f (0)  c2 sin(  0)  c3 cos(  0)  c3  0

sehingga : f ( x)  c2 sin(  x) (h.11)
Untuk x  L  f ( L)  c2 sin(  L)  0
agar ada solusi tidak nol, maka harus dipenuhi : sin(  L)  0   L  n
n 2 2
  2  n (h.12)
L
sehingga solusi untuk f bergantung pada n

f n ( x)  c2 sin( n x) (h.13)

dengan n adalah bilangan bulat n  1, 2,3, 4,......

n  nilai eigen
f n ( x) secara umum adalah solusi dari persamaan Sturm-Liouville

f "( x)  n f ( x)  0, f (0)  0  f ( L) (h.14)

f n ( x)  fungsi eigen
Gunakan f n ( x) tersebut, maka
 n x   ( Kn2 2t / L2 )
un ( x, t )  c2 sin  e (h.15)
 L 

Untuk setiap nilai n fungsi2 un ( x, t ) semua memenuhi persamaan

(h.1) dengan syarat batas di atas
Bagaimana dengan syarat awal : u ( x, 0)  f ( x)

Untuk mengatasi masalah syarat awal ini Fourier mengusulkan dipilih lebih
dahulu bentuk u ( x, t ) berbentuk kombinasi linear dari un  :
 N N
 n x   ( Kn2 2t / L2 )
u ( x, t )   bnun ( x, t )   bn sin  e (h.16)
n 1 n 1  L 
yang juga memenuhi persamaan (h.1), dengan syarat batas di atas.
Dengan demikian bn harus ditentukan.
Fungsi yang baru u ( x, t ) juga solusi persamaan konduksi termal asalkan
memenuhi syarat batas : u (0, t )  u ( L, t )  0  bn harus ditentukan
Apabila f ( x) pada dasarnya adalah sebarang, maka dapat dipilih suatu
deret tak hingga berbentuk

 n x 
f ( x)   bn sin   (h.17)
n 1  L 
deret ini konvergen menuju f ( x) untuk kebanyakan x dalam [0, L].
Jika deret tak hingga ini dapat diperoleh, maka deret ini merupakan
representasi dari f ( x), dan kemudian disebut sebagai deret Fourier

Solusi problem konduksi termal dapat diperoleh secara analitik berupa

deret tak hingga :

 n x   ( n2 2 Kt / L2 ) (h.18)
u ( x, t )   bn sin  e
n 1  L 
dengan bn adalah koefisien deret Fourier
Catatan :
Jabaran di atas sebagian besar belum diajarkan pada kuliah sebelumnya, sehingga tidak dituntut untuk memahami
secara detail, namun sekedar memberikan gambaran tentang motivasi Joseph Fourier ketika berusaha
menyelesaikan problem konduksi termal yang berujung pada deret Fourier.
1.1 Introduction
Complicated functions may be expressed as power series such as

1 (n)
Taylor series : f ( x)   f ( a)( x  a) n (1.1)
n 0 n !

However, this is not the only way, a function may be represented as a series of
sine and cosine terms. Such a representation is called a Fourier series.

Unlike Taylor series, a Fourier series can describe functions that are not
everywhere continuous and/or differentiable.

Fourier series may be used to represent some functions for which a Taylor series
expansion is not possible.
There are also other advantages in using trigonometrical terms. They are easy to
differentiate and integrate, their moduli are easily taken and each term contains
only one characteristic frequency.

Fourier series are often used to represent the response of a system to a periodic
input, and this response often depends directly on the frequency content of the
input.

Fourier series are used in a wide variety of such physical situations : the
vibrations of a finite string, the scattering of light by a diffraction grating , the
transmission of an input signal by an electronic circuit, etc
The Dirichlet Conditions
The particular conditions that a function f(x) must fulfil in order that it may be
expanded as a Fourier series are known as the Dirichlet conditions, and may be
summarised by the following four points:

(i) the function must be periodic;

(ii) it must be single-valued and continuous, except possibly at a finite number

of finite discontinuities;

(iii) it must have only a finite number of maxima and minima within one period;

(iv) the integral over one period of |f(x)| must converge.

Fungsi Periodik
Fungsi f(t) disebut fungsi periodik jika ada konstanta T > 0 sehingga :

f (t T )  f (t ) (1.2)

untuk setiap t dalam domain definisi f(t). T disebut periode fungsi f(t).
Jika T adalah periode f(t) maka 2T, 3T, 4T,........ juga periode dari f(t) :

f ( t )  f ( t  T )  f ( t  2T )  f ( t  3T )  ..... (1.3)

f ( t )  f ( t  T )  f ( t  2T )  .... (1.4)
Jika f(t) integrabel pada tiap interval dengan panjang T, maka f(t) juga integrabel
pada setiap selang dengan panjang sama dan nilai integralnya adalah sama

a T b T
 f ( t )dt   f ( t )dt (1.5)
a b

Catatan : integral = luas “di bawah” kurva

1.2 Deret Fourier Trigonometri

Deret Fourier adalah uraian fungsi periodik f (t) dalam suku-suku penjumlahan
tak hingga fungsi sinus dan cosinus, yang merupakan perluasan/bentuk umum
dari persamaan (h.17) seperti yang diusulkan oleh Fourier (di sini dipilih dengan
variabel bebas t).

a0 
f (t )    ( an cos nt  bn sin nt ) (1.7)
2 n 1

dengan catatan deret tersebut konvergen dan jumlahnya = f(t)

Setiap fungsi periodik dapat dijabarkan sebagai penjumlahan fungsi bernilai

konstan, cosinus dan sinus :
a0
f (t )   (a1 cos t  b1 sin t )  (a2 cos 2t  b2 sin 2t )  ........ (1.8)
2
Contoh : fungsi periodic berikut

f(t) Periodic Function a0

2

=
t

a1 cos t b1 sin t

+ +

a2 cos 2t b2 sin 2t

+ + + …
 a0 
f (t )    ( an cos nt  bn sin nt )
2 n 1
T Ta T 
 f ( t )dt  o dt 
 2  
  an cos nt  bn sin nt dt
0 0 0 n 1
T  T
ao
  dt   an   cos nt  bn sin nt dt
0
2 n 1 0
T  T  T
ao
  dt   an   cos ntdt dt   bn  sin ntdt dt
2 n 1 n 1
(1.9)
0 0 0

= 0
T T T = 0
a0 a0 a0

0
f (t )dt   dt   dt  T
0
2 2 0 2
(1.10)

2T
ao   f ( t )dt (1.11)
T0
 T T T 

 a cos nt  bn sin nt  cos(kt )dt

ao

0
f ( t ) cos( kt )dt   cos( kt )dt 
0 2 0 n 1
n

T T  T

 a  cos(nt ) cos(kt )dt 

ao

0
f (t ) cos(kt )dt   cos(kt )dt 
2 0 n 1
n
0
 T

= 0   bn  sin(nt ) cos(kt )dt

n 1 0
Gunakan identitas :

cos a cos b  cos (a  b)  cos (a  b)

1
2

sin a cos b  sin(a  b)  sin(a  b)

1
2
sin a sin b   cos (a  b)  cos (a  b)
1
2
 T  T
1

n 1
an  cos(nt ) cos(kt )dt   an  [cos(nt  kt )  cos(nt  kt )]dt
n 1 2
0 0

 T

 ( 2 )  (1)dt  ( 2 )T ; n  k
T 1 1
1
0 2 [cos(nt  kt )  cos(nt  kt )]dt   0
0 ; nk

1
 T  nk (1.13)
2
 T  T

 n
b
n 1
sin( n t ) cos( k  t ) dt   n  2 sin(nt  kt )  sin(nt  kt ) dt  0
b
n 1
1

0 0


1  T 
T
T
 f (t ) cos(kt )dt  
0 n 1
 2 T  nk  an  2   nk an  2 ak
n 1
(1.14)
Catatan :
1 0 0 0 0
0 1 0 0 0 

 nk  0 0 1 0 0 Delta Kronecker
 
.. .. .. .. .. 
0 0 0 0 1 


n 1
nk an  1k a1   2 k a2   3k a3  .....


Contoh : jika k  1  
n 1
a  11a1   21a2   31a3   41a4  .......
n1 n

 (1)a1  (0)a2  (0)a3  (0)a4  .......  a1




n 1
nk an  ak
 
1  T 
T
T
 f (t ) cos(kt )dt   an  T  nk    an nk  ak
0 n 1 2  2 n 1 2
T
2
ak   f (t ) cos(kt )dt
T 0

k  index dummy  k  n
T
2
an   f (t ) cos(nt )dt (1.15)
T 0
Dengan cara yang sama dapat dibuktikan
T
2
bn   f (t ) sin(nt )dt (1.16)
T 0
 a0 
f (t )    (an cos nt  bn sin nt )
2 n 1
2
where    Fundamental frequency
T
T
2
a0   f (t )dt
T 0
T
2
an   f (t ) cos ntdt
T 0
T
2
bn   f (t ) sin ntdt
T 0 T /2

*we can also use the integrals limit 

T / 2
Fourier Series in x variable

We have discussed Fourier series formula in t variable with period of T and angular
frequency 

a0  2
f (t )    (an cos nt  bn sin nt ) 
2 n 1 T

This series can be changed, for instance from t (time) to x (space) variable
t x
2 2
  p (L = period in x (space)) (1.16)
T L

f(x)
a0
2
  a n cos 2 nx  b sin 2 nx 
L n L
(1.17)

n1
 

a sin(npx)
a0
f(x)  n cos (npx)  bn (1.18)
2
n 1
x0  L x0  L x0  L

 
2

2 2 (1.19)
a0  f ( x )dx an  f ( x ) cos(npx)dx bn  f ( x ) sin(npx)dx
L L L
x0 x0 x0

If we choose L  2  p  1
a0 
f ( x )    an cos (nx)  bn sin(nx) (1.20)
2 n1
1 1 1
a0   f ( x)dx an   f ( x) cos nxdx bn   f ( x) sin nxdx (1.21)
     
Example 1

Determine the Fourier series representation of the following waveform.

Solution
First, determine the period & describe the one period of the function:

1, 0  t  1
f (t )   f (t  2)  f (t )
0, 1  t  2

Then, obtain the coefficients a0, an and bn: T=2

 T 2 1 2
2 2
a0   f (t )dt   f (t )dt   1dt   0dt  1  0  1
T 0 20 0 1
b
Or, since  f (t )dt is the total area below graph y  f (t ) over the interval
a

[a,b], hence
2  Area below graph  2
T
2
a0   f (t )dt       (1 1)  1
T 0 T  over [0, T ]  2

 sin n t  sin n
2 1 2 1
2
an   f (t ) cos ntdt   1cos n tdt   0dt    
T 0 0 1  n  0 n

Notice that n is integer which leads sin n  0, since : sin   sin 2  ....  0

Therefore : an  0
 2
2
bn   f (t ) sin ntdt
T 0
 cos nt  1  cos n
1 2 1

  1sin ntdt   0dt    

0 1  n  0 n

Notice that
cos   cos 3  cos 5    1
cos 2  cos 4  cos 6    1
or
cos n  (1) n

1  (1) n 2 / n , n odd
Therefore, bn  
n  0 , n even
Finally,
a0 
f (t )    (an cos nt  bn sin nt )
2 n 1
1  1  (1) n 
   sin nt
2 n 1  n 
1 2 2 2
  sin t  sin 3t  sin 5t  
2  3 5

Some helpful identities

sin( x)   sin x cos( x)  cos x

For n integers,
sin n  0 cos n  (1) n
sin 2n  0 cos 2n  1
• The sum of the Fourier series terms can evolve (progress) into the original waveform

1 2 2 2
f (t )   sin t  sin 3t  sin 5t  
2  3 5
 It can be demonstrated that the sum will lead to the square wave:
(a) (b)

2
sin t 2 2
 sin t  sin 3t
 3
(c)
(d)

2 2 2
sin t  sin 3t  sin 5t 2 2 2 2
 3 5 sin t  sin 3t  sin 5t  sin 7t
 3 5 7
 (e)
2 2 2 2 2
sin t  sin 3t  sin 5t  sin 7t  sin 9t
 3 5 7 9

(f)

1 2 2 2
 sin t  sin 3t    sin 23t
2  3 23
Suplementary :
The sum of other wave, the Fourier series terms can evolve (progress)
into the original waveform
Example 2

 
1 
0
1
a0 
 

f ( x)dx    0dx   1dx   1
   0 
 
1 
0
1
an 
 
 f ( x) cos nxdx    (0) cos nxdx   1cos nxdx 
   0 

11
sin nx 0  0 ; n  0


 n
  
1 
0
1
bn 
 

f ( x) sin nxdx    (0) sin nxdx   1sin nxdx 
   0 
 
1 1   cos nx  1
  sin nxdx      
 ( 1) n
 1
 0   n 0 n

0, n  even

 2
 n , n  odd

1 2  sin x sin 3 x sin 5 x 

f ( x)       .....
2  1 3 5 
Example 3
0 ;  2  x  1
f ( x)  k ; 1  x  1 L4
0 ; 1 x  2 f(x)

-2 -1 1 2
2 1
2 1
a0   f ( x)dx   kdx  k
4 2 2 1

2n x 2n x
2 1
2 2
an  
L 2
f ( x ) cos
L
dx  
4 1
k cos
4
dx

n x n
1
1 2k
  k cos dx  sin
2 1 2 n 2
 an  0 ; n  even
2k
an  ; n  1,5,9,......
n
2k
an   ; n  3, 7,11,.....
n

2n x 2n x
2 1
2 2
bn   f ( x)sin dx   k sin dx 
L 2 L 4 1 4

n x
1
1
  k sin dx 0
2 1 2
k 2k  1 1 
f ( x)    cos( x / 2)  cos(3 x / 2)  cos(5 x / 2)  .......
2  3 5