Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
MA201(2017):PDE
Fourier Transform
Its importance stems from its ability to handle a large variety of problems.
The choice is suggested by the type of region and the type of the boundary
conditions.
MA201(2017):PDE
Integral Transform
The integral transform of a function F (t) is defined by
Z b
I{F (t)} = K (, )F ( )d.
a
Here the values of a and b can be finite or infinite and K (, ) is called the
kernel of the transform.
MA201(2017):PDE
Complex Fourier Transform R
Let f be a piecewise continuous function such that R |f (x)| dx < (denote
as f L1 (R)).
Recall the following representation for f (t):
Z Z
1 it
f (t) = e f ( )e i d d,
2
2
r Z
Fc {f (t)} = gc () = f ( ) cos d. (3)
0
2
r Z
f (t) = Fc1 {gc ()} = gc () cos t d. (4)
0
It is obvious that this transform pair exists for even f (t) only.
MA201(2017):PDE
Fourier sine transform
Recalling the following representation for f (t):
Z Z
2
f (t) = f ( ) sin sin t d d,
0 0
2
r Z
Fs {f (t)} = gs () = f ( ) sin d. (5)
0
2
r Z
f (t) = Fs1 {gs ()} = gs () sin t d. (6)
0
It is obvious that this transform pair exists for odd f (t) only.
MA201(2017):PDE
Some Properties of Fourier transform
Linear Property:
If F{f1 (t)} = g1 (), F{f2 (t)} = g2 (), then
Theorem I:
If F{f (t)} = g (), then
F{f (t a)} = e ia g ()
Proof:
By definition,
Z
1
F{f (t a)} = e i f ( a)d
2
Z
1
= e i(+a) f ()d, by taking a =
2
= e ia g ()
1
F{f (at)} = g (/a)
a
Proof:
By definition,
Z
1
F{f (at)} = e i f (a )d
2
Z
1
= e i(/a) f ()d/a, by taking a =
2
1
= g (/a)
a
Proof:
By definition,
Z
1
F{e iat f (t)} = e i e ia f ( )d
2
Z
1
= e i(a) f ( )d
2
= g ( a)
MA201(2017):PDE
Some Properties of Fourier transform
Theorem III:
If F{f (t)} = g (), f (t) is continuously differentiable and f (t) 0 as
|t| , then
F{f 0 (t)} = ig ().
Proof:
By definition,
Z
1
F{f 0 (t)} = e i f 0 ( )d
2
Z
1
= {[f ( )e i ] + i e i f ( )d }
2
= ig ().
F{f (t)} = g ()
Z
1
= f ( )e i d
2
Z 0 Z
1
= e (ai) d + e (a+i) d
2 0
1 2a
= .
2 a2 + 2
MA201(2017):PDE
Convolution
Definition:
The convolution of two functions f1 (t) and f2 (t), < t < , is defined as
Z Z
1 1
f1 (t)f2 (t) = f1 ( )f2 (t ) d = f1 (t)f2 () d = f2 (t)f1 (t),
2 2
provided the integral exists for each t.
MA201(2017):PDE
Convolution: Some algebraic properties
Property I (Commutative):
f1 f2 = f2 f1
Property II (Associative):
f1 (f2 f3 ) = (f1 f2 ) f3
MA201(2017):PDE
Convolution
Convolution Theorem
Theorem
If h(t) is the response obtained by convolving the function f1 (t) with f2 (t),
then
F{h(t)} = F{f1 f2 } = F{f1 (t)}F{f2 (t)}.
In other words,
we can say that the Fourier transform of the convolution of f1 (t) and f2 (t) is
the product of the Fourier transforms of f1 (t) and f2 (t).
Recall: The convolution of two functions f1 (t) and f2 (t), < t < ,
is defined as
Z
1
f1 (t) f2 (t) = f1 ( )f2 (t ) d.
2
MA201(2017):PDE
Convolution
Proof: By definition
Z
1
F{h(t)} = F{f1 f2 } = (f1 (t) f2 (t))e it dt
2
Z Z
1
= f1 ( )f2 (t ) d e it dt
2
Z Z
1
= f1 ( ) f2 (t )e it dt d.
2
Z Z
1
F{h(t)} = F{f1 f2 } = f1 ( ) f2 ()e i(+ ) d d
2
Z Z
1 1
= f1 ( )e i d f2 ()e i d
2 2
= F{f1 }F{f2 }.
0, < t 0,
f1 (t) =
ae at , 0 < t < , a > 0
0, < t 1,
f2 (t) = 1, 1 < t 1,
0, 1 < t < .
Find the output time function h(t) by convolving f1 (t) with f2 (t).
MA201(2017):PDE
Convolution
Solution:
F{f1 (t)} = g1 ()
Z
1
= f1 (t)e it dt
2
Z
1
= ae at e it dt
2 0
a e (a+i)t
=
2 (a + i) 0
a
= .
2(a + i)
F{f2 (t)} = g2 ()
Z
1
= f2 (t)e it dt
2
Z 1
1
= e it dt
2 1
1
1 e (i)t
=
2 i
1
1 e i e i
=
2 i
r
2 sin
= .
MA201(2017):PDE
Convolution
Therefore
1 a sin
F{f1 (t)}F{f2 (t)} =
(a + i)
Hence
1 a sin
h(t) = F 1 [F{f1 (t)}F{f2 (t)}] = F 1
(a + i)
MA201(2017):PDE
Application of Fourier Transform to PDEs
Fourier transform:
The Fourier transform of a function U(x, t) with respect to x is defined as
Z
1
F{U(x, t)} = e ix U(x, t) dx = U(, t). (7)
2
Z
1
U(x, t) = F 1 {U(, t)} = e ix U(, t) d.
2
F U(x, t) = i U(, t),
x
2
F 2
U(x, t) = (i)2 U(, t),
x
d
F U(x, t) = U(, t),
t dt
2 2
d
F 2
U(x, t) = U(, t).
t dt 2
MA201(2017):PDE
Application of Fourier Transform to PDEs
Result I:
F U(x, t) = i U(, t). (8)
x
Proof:
Z
1 U
F U(x, t) = e ix dx
x 2 x
Z
1 ix
= [e U(x, t)]
+ i e ix U(x, t)dx
2
= i U(, t).
Result II:
2
F U(x, t) = (i)2 U(, t). (9)
x 2
Proof:
Z
2 2U
1
F U(x, t) = e ix 2 dx
x 2 2 x
Z
1 U U
= [e ix ] + i e ix dx
2 x x
Z
1
= i([e ix U(x, t)]
+ i e ix U(x, t)dx)
2
= (i)2 U(, t).
MA201(2017):PDE
Application of Fourier Transform to PDEs
Result III:
d
F U(x, t) = U(, t). (10)
t dt
Proof:
Z
1 U
F U(x, t) = e ix dx
t 2 t
Z
1
= e ix U(x, t)dx
2 t
Z
1 d
= e ix U(x, t)dx
2 dt
d
= U(, t).
dt
Proceeding in a similar manner as above, Result 4 as given below can be
obtained:
2 d2
F U(x, t) = 2 U(, t). (11)
t 2 dt
MA201(2017):PDE
Application of Fourier Transform to PDEs
Example A:
An infinitely long string extending in < x < under uniform tension is
displaced into the curve y = f (x) and let go from rest with velocity g (x). To
find the displacement U(x, t) at any point at any subsequent time.
Solution:
The boundary value problem is
2U 2
2 U
= c , < x < , t > 0, (12)
t 2 x 2
U(x, 0) = f (x) (initial displacement), (13)
U
(x, 0) = g (x) (initial velocity). (14)
t
d2
U(, t) = c 2 2 U(, t), (15)
dt 2
MA201(2017):PDE
Application of Fourier Transform to PDEs
(15) can be written in standard form as
d2
U(, t) + c 2 2 U(, t) = 0. (16)
dt 2
On solving, we get
where f() and g (), are, respectively the Fourier transform of f (x) and g (x).
Using the initial conditions, A() and B() can be obtained as:
MA201(2017):PDE
Application of Fourier Transform to PDEs
Now
1
U(, t) = f() cos(ct) + g () sin(ct). (20)
c
Z
1 1
U(x, t) = f () cos(ct) + g () sin(ct) e ix d. (21)
2 c
Formula (21) gives us the solution of the wave boundary value problem in the
form of an integral involving the Fourier transform of the initial displacement
and velocity.
MA201(2017):PDE
Application of Fourier Transform to PDEs
We summarize the Fourier transform method as follows:
Step 2: Solve the ordinary differential equation and find U(, t).
MA201(2017):PDE
Application of Fourier Transform to PDEs
Example B:
Consider the heat conduction in an infinite rod with thermal diffusivity with
initial temperature distribution f (x). To find the temperature distribution
U(x, t) at any point at any subsequent time.
Solution:
The boundary value problem is
U 2U
= 2 , < x < , t > 0, (22)
t x
U(x, 0) = f (x) (initial temperature distribution). (23)
MA201(2017):PDE