Best Fourier Integral and Transform With PDF
Best Fourier Integral and Transform With PDF
Best Fourier Integral and Transform With PDF
It 7.1 Introduction 51
Objectives ,
7.'2 Fourier Integral 52
b 7.3 Fourier Transforms 59
Properties of Fourier Transforms
Finite Fourier Transforms
7.4 Applications of Fourier Transforms to Boundary Value Problems 79
7.5 Summary 88
7.6 Solutions/Answers 90
Appendix 100
7.1 INTRODUCTION
You know from your knowledge of Real Analysis course that Fourier series are
powerful tools in treating various problems involving periodic functions (ref. MMT-
004). Fourier series are used to represent a function f defined on a finite interval such
as. [-L, L] or [ 0, L] . When f and f ' are piecewise continuous on such an interval, a
Fourier series represents the function on the interval and converges to a periodic
extension of f outside the interval. However, in many practical problems, the
functions involved are non-periodic for which Fourier series representations are not
1 possible. A suitable representation for non-periodic h c t i o n s can be obtained by
considering the limiting fonn of Fourier series when the fundamental period is made
infinite. In such cases, the Fourier series becomes a Fourier integral. Using
symmetry, Fourier integral can conveniently be expressed as a pair of formulas the
first giving the Fourier transform and the second giving its inverse. Like Laplace
transform, the Fourier integrals and transforms which we shall be discussing in this
unit, are useful in solving initial boundary value problems arising in science and
engineering, for example, conduction of heat, wave propagation, theory of
communication etc.
To begin with, in Sec.7.2, we have derived the Fourier integral representation of a
function f(x) defined qver .the interval - oo < x < a . We have also given the Fourier
cosine and sine integral re6esentation of f (x) ,when f (x) is even and odd function
b re~pectively.Complex form of Fourier integral representation is also given in this
section. In Sec.7.3, we have represented the Fourier integral representation of a
function f (x) as a pair of formu'ms, the first giving the Fourier transform of f (x) and
the second giving the inverse of that transform. We have also obtained the Fourier
transforms and their inverses for a number of functions amhiiscussed a number of
useful properties admitted by the Fourier transform in this section. AppEcatians of
Fourier transforms to boundary value p~oblemsare discussed in Sec.7.4. An
Appendix is attached at the end of the unit which gives a table of Fourier transforms of
the commonly used functions for ready reference.
Objectives
After studying this unit you should be able to
obtain the Fourier integral representation of a given non-periodic function over
the given interval;
obtain the Fourier transform and the inverse of that transform for a given
function over the given interval;
use various properties of Fourier transforms to obtain the Fourier transforms and
their inverses in various applications;
select the appropriate Fourier transform to be employed for the solution of a
given boundary value problem;
obtain the solution of a given boundary value problem using appropriate Fourier
transform.
Partial Differentlal
Equations 7.2 FOURIER INTEGRAL
We shall now derive, a means of representing certain kinds of non-periodic functions
that are defined oneither an infinite interval ] - a,a[or, semi-infinite interval
10, a[.
Let us consider f (x) having the following properties.
1) f(x) is piecewise continuous on every finite interval.
2 ) f(x) is absolutely integrable on the interval -m < x <m .that is. 7 if(x)ldx
-w
converges.
3') at every x on the real line, f(x) has left and right hand derivatives.
Consider the Fourier series representation of f(x) on the interval - L < x i!L. We
have
where. a, =-
L
1
5 f(t)dt, a,, =-L 1
f ( t ) c o s ( y t)dt
-L -L
nlr
Note that -L
in Eqn.(l) are the frequencies - spatial or temporal, depending on
whether x is a space variable or time.
nn . R
If we let a n=-, Aa = an+, -a, =-, then ~ ~ n : (becomes
l)
L L
We now expand the interval - L < x < L by lettlng L +a, . Since L -+ a,implies -
Aa + 0, the limit of Eqn.(2) has the fonn of a Riemann sum of a definite integral, i.e.
4,
of the form lim F(an ) Aa ,which i s suggestive of the definition of the integral
Aa-sO
n=l
I F(a) d a . Thus if I If (x) /dxconverges, the limit of the first term in Egn.(2) is
m m
0 -OD
zero and by the definition of the integral as the limit of the sum, Eqn.(2) becomes
The result given in Eqn.(3) is called the Fourier integral of f(x) or Fourier integral
representation of f(x) on the interval - a, < x < a. You may notice that the basic
structure of the Fourier integral is analogous to that of a Fourier series. We can sum
up as follows: , ,
The Fourier Integral of a function f(x) defined on the interval - oo < x < a, is given
1
by
Fourier Transform
1
7c
I ) a x + ~ ( asin
f(x) = - [ ~ ( acos ) axIda (4) Method
0
w
-w
Eqn.(4) is called the Fourier integral formula for the function f(x) .
b
Sufficient conditions under which a Fourier integral converges to f(x) are similar to,
but are slightly more restrictive than, the conditions for a Fourier series. We state here
without proof, the following convergence theorem.
Theorem 1: Let f(x) be a piecewise continuous function on every finite interval and
absolutely integrable on - oo < x < co . Then the Fourier integral of f (x) on the
interval converges to f(x) at a point of continuity. At a point of discontinuity, the
Fourier integral will converge to the average
f(x+) + f(x-)
2
where f(x+)and f (x-) denote the limit of f (x) at x from the right and left,
respectively.
I Cosine a n d Sine Integrals
t When f(x) is an even function on the interval - co < x < oo ,then the product
f(x) cos a x is also an even'function, whereas f(x) sin a x is an odd function. Using
L
the property of definite integral, we obtain B(a) = 0 and so Eqn.(4) becomes
where in the above equation we have again used the property of definite integrals to
write
-w 0
Similarly, when f(x) is an odd function on the interval - oo < x < oo , the products
f (x) cos a x and f (x) sin a x are odd and even functions respectively. Therefore
A(a) = 0 and
f ix) =l]
II [ t ( t ) ,in at dt) sin a x d a
0
We summarize:
The Fourier integral of an even function on the interval ]oo,oo[ is the cosine integral
2
I
f(x) = - ~ ( acos
rt
) ax d a
0, x>2
Solution: The graph of the function is shown in Fig. 1. It satisfies the hypothesis of
Theorem-1 . Hence from Eqns.(S) and (6), we have
m
0 2
I f (x) cos a x dx + I f (x) cos a x dx + I f (x) cos a x dx
m
sin 2 a
dx=-
'2 sin a
-- ; IT ( C O S ~ C O+Ssinasinax)da
~X
0
The above Fourier integral representation can be used to evaluate integrals. For
example at x = 1 , it follows from Theorem-1 that integral (I 1 ) converges to f(l) ,that
is,
-
X
j
2 sina
-da
a
= f(i)
0
The above result is worthy of special note since it cannot be obtained in the usual
manner as the integral (sin x ) / x does not possess an anti-derivative that is an
elementary function.
- ~ - ~ ~ .
Example 2: Find the Fourier integral representation of the function Fourler Tnnsform
Method
1, Ixl<a
f (x) =
0 , lxl>a
Solution: The graph of the given function is shown in Fig.2. Clearly, the given
function f(x) is an even function. We represent f(x) by the Fourier cosine integral
(7). From Eqn.(8), we obtain,
I
00
= j c o s a x dx =
sinax
T I :=a.
sinaa
0
2
and thus. f(x)=- f sin a a cos a x d a
k
or, A(a) =
k2 +,a2
Therefore, the cosine integral of f (x) is
2k " cos a x
f (x) = e-" = - da .
n oI k 2 + a 2
Example 4: Find the Fourier cosine integral representation for the function
Partiai Dkfferential Solution: Using Eqn.(8), we obtain
Equations
I
m
-a
- sin a a
+ 2a cos a a --2 sin a a
2
I
f (x) = - ~ ( acos
X
) a xda
0
[I';
xo a + a
- -)
a sin a a 2a cos a a 2 sin a a
a 3 cos a x d a
X
Comparing the above equation with the giyen equation, we get x = a, -g(a) = e-",
2
f (x) = A(x) .
I
m
2 e -,cos a x dx =
m
)
cos a x dx = - - (using Example 3
Therefore, A(a) = -
0
X X
0
2 l +1a (
w"hk=l)
Solution: To prove the result consider right hand side which defines the function
1:
-cosx , ) x 1 < x / 2
f (x) = 2
I X ( >XI2
Here f (x) is an even function of x defined in the interval - 03 < x < 03 and since the
integral on the left hand side involves cosine terms, it indicates that we are required tr
find the Fourier cosine representation of f(x) .
Thus from Eqn.(8), we have
I
0 0
0
Therefore, we have
-COSX, ) x ~ S R / ~
=I]
n jf(t)cosa (t-x)dtda
0 -m
=l
2n
nf(t)cosa (t - x ) d t d a
-m -m
m m
=-
1 J J f(tl (ela([-x) + e-la(t-x) )dt d a .
2n
0 -m
To combine the two terms on the right hand side of Eqn.(l3), let us change the dummy
integration variable from a to -a In the first. Thus
0 0
17
-m -a,
= 1
2n
-m -m
f(t)e""('-"~d~da + -
2n
"I
0 -m
f(t)e-"(""'dtda
Partial Differentlpl
Equations
-m L -m J
The integral in Eqn.(l4) can be expressed as
-m
m
Eqns.(l5) and (16) give the complex form of Fourier integral representation. We
now take up an example to illustrate its application
Example 7: Find the complex fonn of Fourier integral representation for the
function
1x1, - n < x < n
f(x) =
0 , elsewhere.
Solution: We have
m n
C ( a ) = I f ( ~ ) e - ' ~ ~ dJ x~=x l e - ~ ~ ~ d ~
Therefore,
1" 1
f (x) = - +cos
n a
1 n u - n a sin n a - 1] eiaxd a
sinx, - 2 1 x 5 0
cosx. 0 < x 1 2
0 , lx1>2
E2) Represent the following function by an appropriate cosine or sine integral
( 0 , x<-1
sinx, O S x S x sinhx, O < x < 3 Fourier Transform
C) f(x) = d) f(x)= Method
0 x>X: 0 , x > 3
E6) For the following functions, find the complex form of the Fourier integral
representation
(0, - a , < x < - 1
0
00
where, C ( a ) = I
m
j
f(x) = F(a) H(a,x) d a (1 8)
c
called the inversion integral or inverse transform, the functions K and H being the
kernels of transforms (17) and (18), respectively.
Thus, rather than thinking of Eqn.(l5) as the Fourier integral of f(x) and Eqn.(l6) as
giving the Fourier coefkcients C ( a ) , we can think of Eqns.(l5) and (16) as a
transform pair. Eqn.(l6) defines the Fourier transform C ( a ) of the given function
f (x) and Eqn.(l5) is the inversion formula, as putting C ( a ) in it and integrating we
get back f (x) . It is standard to use the notation F(a) in place of C ( a ) for the
transform.
-a
and the inverse Fourier transform is defined as
! F - ' [ ~ ( a )2n~ =
j Fl( a ) e h d a = f ( x ) (20)
-m
Thus, the Fourier transform and inversion formula together amounts simply to the
I
Fourier integral representation, expressed in complex exponential form. The
1 conditions imposed'on f(x) are the same as in Theorem-1 .
When the function f(x) defined in the interval - oo < x < oo is an even function, then
from Fourier cosine integral, we have
If we write
m
F , [ ~ ( x ) I =[ r ( x ) ~ ~ s a ~ d x = F , ( a )
0
"C
f (x) = -
If we write
X 0
j j f (t) sin a t dt 1
sin a x da
m
b
Fs[ f (x) ] = f (x) sin a x dx = Fs ( a )
0
We call F, ( a ) the Fourier sine transform of f(x) , while f(x) is the inverse Fourier
sine transform of F, ( a ) .
We summarise:
The Fourier Cosine transform of even function f(x) on the interval -a, < x < oo
is defined as
w
F, 1f(x) 1 = F, (a)= j f(x) cos a x dx
0
The Fourier sine transform of odd function f (x) on the interval - oo < x < m is
('
defined as \
00
We now illustrate the calculation of the transform F(a) of f(x) and its inverse
through the following examples.
iaa - -iaa
2 sin a a , a;cO
-- =-
ia a
or a = 0 , we obtain F ( a ) = 2a .
The graphs of f(x) and F(a) for a = 3 are shown in Fig.3 and Fig.4 respectively.
Partla1 Differentl~l
Equations
0 , x20
e-ax, x 2 0 , a > o .
Solution: We have
=
m
-m 0
ante [
lim e -(a+ia)x ]= lim e-ax[cos a x - i sin a x ] = 0 .
x+m A -*a
1
Hence -and. f(x) = e-ax"uo(x)where uo(x) is the unit step funciion, form a
a+ia
transform pair.
1
Therefore, +
[ e-" u, (x)] =
a + ia
-
i
2
1 - x , IxISl
f (x) =
0 , Ixl>l
i and hence evaluate
I
f (x) =
0i 1-x2, -1SxSl
Ixl>l 9
This shows that f(-x) = f(x) i.e. f(x) is an even function in the interval
- co < x < co . Hence by result (23), the Fourier cosine transform of f(x) is
rn
F C [ f ( ~ ) lI=f ( x ) c o s a x d x = i m
I
( I - X ~ ) C O S ~+ X 0.cosaxdx
~X
= 2 ( ~ i na - a cos a
a3
By using inverse transform [result (24) 1, we have
1
f(x) = z b ( s i n a - a c o s a cos a x d a
7C
0
a'
=2](sina )
- a c o s q cos a x d a
X
0
a3
The result (27) can be expressed as
;
;cos a c o s a x d a = - f ( x ) =
j
0
(sin a
1
1 X
4
0
i
Fc[ f(x)] = If(x)cos a x dx = cos x cosax dx + O.cos a x dx
0 a
I
Partlal Differential
Equations
sin ( a + I) x
+ sin ( a - l)x
a-1
-
Solution: Using result (26), inverse sine transform of F, ( a ) is given by
2"
f(x)=- I ~ , ( a ) s i n a x d a=-
2 1 -,,sin a x d a = -2 I(x)
x II I-e
a x
0 0
I a xd a .
O0
0
a
IF(x)= I - -sin
e-au [Using the rule of differentiation
Now, axda
a ax under the integral sign]
0
m
= e-" cosax d a
0
=-
a2+x
a
(-a cos a x + x sin a x )
:I
a' + x' '
Integrating, we have
a
I ( x ) = I----?dx + A = tan-'L+ A
a' + x - a
Putting x = 0 , we get I(x)],=, = A
But we have
~(x)I,-o = o
X
therefore, A = 0and I (x) = tan-' - .
a
Hence, we obtain
sin a a
Example 14: Find the function f(x) , whose Fourier cosine transform is - .
a
sin a a
Solution: Given that F, ( a ) = - a
and we are required to find f(x) . Using result
(24), we get
R
j
f(x) =? F, (a)cosan d a = - cos a x d a
I I
1, 01a<1
f(x)sinaxdx= 2 , l < a < 2
Solution: Since sin a x is present in the given integral, we use result (25) and write
co 1, 01a<1
F,(a)= j f ( x ) s i n a x d x =
o 0, a 2 2
Now to find f (x) we use result (26) and obtain the inverse Fourier sine transform.
Thus we have,
I tan-' Ias i n x dx
w
E 10) Find the Fourier cosine transform of the function f (x) = e-' and .hence show that
m
COS mx
dx=-e
= -m
.
2
0
w
1-a, O1a1l
E 12) Solve the integral equation
I f (x) cos a x dx
0
=
0 , a > l
and hence
m
sin2 z dz rr
show that =-
z2 2 '
0
I
f(x)= 1-x,
0
1
-<x<l
2
, x>l
I f (x) sin a x dx
m
=
a
a2+k2'
0
The Fourier transform admits a number of useful properties which we shall discuss
now. Our discussion will parallel our analogous discussion for the Laplace transform,
given in Unit 6.
7.3.1 Properties o f Fourier Transforms
We will assume without reiteration conditions given in Theorem-1 .
Linearity property: If 7 [ f (x)] = F(a) and 7 [g(x)] = G(a) and a and b are any
..
scalars then
!F[af(x)+bg(x)l =a!Flf(x)l+b!Flg(x)l= a ~ ( a ) + b ~ ( a ) (28)
where, F -' [F(a)] is f(x) and F - ' [ ~ ( a ) ]is g(x)
Fourter Trmdorm
Method
F[f(x-a)] = lf(x-a)e-"'dx
=
w
f (x)
[
elax + e-iax
)e-iaxdx
-m -m
1
+ a) + F(a - a) ]
= -[F(a
2
Similarly, result (33) can be proved.
-0-
Note: If Fs[f(x)] = F, ( a ) and Fc[f (x)] = F, (a)and a is any real number, then
-1
7; [f (x) sin ax] = [F, ( a - a) - F, ( a + a) ]
2
i
Partial Differential 1
Equations Fc[f (x) cos ax] = -[Fc ( a + a ) + F, ( a - a)]
2
Convolution Theorem
Definition: The convolution of the functions f(x) and g(x) is denoted by f(x)*g(x)
and is defined by
m
Theorem 2: The Fourier transform of the convolution of f (x) and g(x) is equal to the
prhduct of the Fourier transforms of f(x) and g(x) . In symbols,
Proof: We have
=
-m
-m
L -a,
-m
J
~ f ( ~ ) [ ] ~ ( ~ - t ) e - ' dt1
~~dx [changing the order of integration]
-t =u
[ ]
Putting x
dr = du
x -t -tm and 1 f '" (x) 1 dx converges for each j = 0, I,.. .,n , then
Proof: Let us prove result (41) by ~nduction.First observe that (41) holds for n = 0 ,
by definition. We need to establish that if it holds for n = k ,then it also holds for
n = k + 1 . Intepating by parts, we get
m
r [ f ( k + o ( ~=) ] f(*+')(x)e-laXdx
-/
-0.)
Fourler Tnnsform
Metbod
-0-
~ ' ( a =) 4
da
>(x)
-m
m
e-jaxdx= I -[fdda
-m
(x) e-lax] dx
[
Differentiationunder
the integral sign. I
=-i f[xf(x)]e-""dx =-ig[xf(x)]
-a
= (-i)' =
-a
Using induction result (43) can be proved easily. From result (43), we have
-'[F'" = (-i)" xnf(x)
(a)] (44)
-0-
(45)
-0-
Fourier transform of the Dirac-delta function: In Unit 6, we have shown that the
Laplace transform of the Dirac-delta function is one, i.e. 1[6(x)] = 1 . We also proved
there the filtering property of Dirac-delta functions as
If
m
1 1- e - i ~ "
= lim -
k+ok[ L
ia
1=1 -I
Fourier s h e and cosine transform of derivatives: Let f(x) and f '(x) be continuous
on the interval [O,ao[ and f "(x) is piecewise continuous on every finite interval. If all
the three functions are abso)utely integrable on [ 0, ao [ ,then
!, [f (x)] + a f(0)
7, [f "(x)] = -a '!FC [f (x)] - f '(0) and !Fa[f '(x)] = -aZF (5 1)
= -a2FC[f(x)]-ff(0)=-a2~,(a)-fr(0) (52)
Similarly,
00
rS[fn(x)l= J fa(x)sin a x dx
0
m
=[fl(x)sinax - a f ( x ) c o s a x ] ~-a2jf(x)sinaxdx
0
=-a2~s[f(~)]+af(0)=-a2~s(a)+af(O) (53)
In the same way it can be verified that
FcIf'(x)l= aF,(a)- f(0) (54)
and 7, [f'(x) 1 = -aF, (a) (55)
Fourier Transform of partial derivatives: Let F(a, t) be the Fourier transform of the
function u(x, t) with respect to variable x ,then
00
In general, we have
I[$]= (ia)" rfu(x,t)l= (ia). ~(a,t)
d d
=--~[u(x,t)]=-F(a,t)
dt dt
Hence,
Note: that here we have written the total derivative, since fF[u(x, t)] depends only on
t and not on x .
In the same way it can be established that if F, (a, t) and F, (a, t) be the Fourier sine
au
and cosine transform of u(x, t) with respect to x ,then for u and - -t 0 as x -+oo ,
&
we have
and
We are leaving the proofs of the above results for you to do them yourself. Before
illustrating the properties discussed above we make the following remark.
Partial Ulfferentlal Remark: You may notice here that most of the properties (28), (29), (30), (31), (38),
Equations
(39), (40), (41) and (47) correspond to the analogous properties of the Laplace
transform. Properties (28) and (29) are identical to the corresponding properties of the
Laplace transform. The derivative property (41) IS similar to the property
but does not include any boundary values analogous to the initlal conditions
f (0), . ..,f ("-"(0) in Eqn.(63), because the boundaries are at x = fa,,and it is
assumed that f(x), f '(x), ...,f ("-" (x) all tend to zero as x -+ +_a
. The convolution
properties (39) and (40) are identical to the corresponding ones for the Laplace
transform, but keep in mind that the Fourier and Laplace convolutions are not quite the
same. In contrast with the Fourier convolution (38), the Laplace convolution was
defined as
Thus, we have
Fourier Trnnsform
Example 18: Find f [f (x)], where f (x) = x e4"' Method
Solution: We have -
&-4x2)=$e-a1/16
(see Example 10)
Solutlon: We have
I-[
-' 1
a 2+ I
.
+ -'{L}
1+ i a
= H(x) e-'
Graphs of H(T - X)and H(r) both for x > 0 and x < 0 are shown in Fig.5.
Example 23: Using the formulas for derivatives find the Fourier cosine and sine
transform of
f(x)=e-ax , x l O , a>O.
Solution: Given f (x) = e-"" , we have f '(x) = -ae-ax and f "(x) = a 'e-'" . If
FC[f(x)] = Fc( a ) , then we have
FC[f "(x)] = Fc[a e-" ] = a 2 FC[e-"' ] = a FC(a)
also, FC[f "(x)] = -a2FC(a)- f '(0) = -a2FC(a) + a [using Eqn.(S I)]
El 7) Using the table given in the Appendix, or otherwise, evaluate the following
El 8) Given F(a) find the inverse function f (x) ,where 3[f(x)] = F(a) .
a) e-"Ia' , a > 0 b) H ( a + a ) - H ( a - a ) (a>O).
E19) Using the convolution theorem find the inverse of the following functions
1
a) , k>O b) , k>O.
(ia + k)2 (ia + k)3
v
-* Partla1 Differential E20) Using Fourier transform, find the solution of the following differential
Equations equations
!6jl a) y ' + 3 y = ~ ( x ) e - 2 x, --m<x<-m
ti b) y R + 3 y ' + 2 y = 6 ( x - 3 ) .
t.
In many applications, we have to deal with problems defined on finite intervals. In
such cases we define the finite Fourier sine and cosine transforms.
7.3.2 Finite Fourier Transforms
The finite Fourier sine and cosine transforms are obtained from the Fourier sine and
cosine series.
Finite Fourier Cosine Transform: You know that if a function f(x) is defined in the
interval 0 Ix < L and is piecewise continuous then half range cosine series of f(x) is
given by - -
a
f(x)=L+
2 n=,
"
xancos-
nxx
L
L i
where, a, = - f(x) dx and a, = - f(x)cos-dx
0
L i
0
nxx
L
The finite Fourier cosine transform of f(x) is defined as
L
nxx
J
Fc(n) = f(x) coo -dx
L
0
where n is a non-negative integer.
The function f (x) is then called the inverse finite Fourier cosine transform of
Fc(n) and is given by
1 2 " nxx
f(x)=-FC(0)+-x Fc(n) cos-
L L t,=, L
on substituting Eqns.(69) and (70) in Eqn.(65) we obtain result(68) for inverse finite
Fourier cosine transform.
Finite Fourier Sine Transform: If a piecewise continuous function f(x) is defined
in the interval 0 S x 5 L ,then half range sine series is given by
f(x) = 2
n=l
b,, sinl
nxx
L. *i0
nxx
where, b,, = - f(x) sin-dx
L
.
n2n2
.. C, [f "(x)] = -- F,(n) - fl(0) + (-l)"fl(L)
L~
Similarly, using the definition of finite Fourier sine transform it can be proved that
n2n2 nn nn
S , [f '(x)] = -- F, (n) + -f(O) - -(-1)" f(L)
L~ L L
Example 24: Find the finite Fourier sine and cosine transforms of the following
function
kx , o_<x_<x/2
f (x) =
k(x-x), x12lxln
= k[ x( s-
ly)-[ --cosnx'l]n" [
+ k (n-x)
(siy)
- -(-I) [c;~)]'
-
nz / 0 n/Z
\
x s i n n n l 2 cosnnI2 cosnx nsinnxI2
= k[(- + + cosnnI2
2 n nz h2 2 n n2
--
n2
-1
Hence the finite Fourier casine transform is
n2
and Fc(0) = -
kn
4
For finding finite Fourier sine transform we use result (73) and obtain
L X
nnx
F,(n)= Jf(x)sin-dx= Jf(x)sinnxdx
L
0 0
=-[
1 sin(n-k)x
2 n-k
- sin(n+k)x
n+k I'
= 0 , if n # k [as (n - k ) , (n + k ) are integers]
When n-=k ,the first term of the above expression becomes indeterminate. We
evaluate F,(n) directly by putting n = k . Thus,
cos 2nn / 3 Fourler Transform
Example 26: Find f(x) , if Fc(n) = ------ where, 0 < x I. 1 . Method
(2n + 1)2
Solution: Since finite Fourier cosine transform is given, we use result (68) to find
the inverse. Thus
cC . nlra
b) F,(n)=-sin- and Fc(0)=ac,where 0 1 x ~ ~
nn C
)I
Fourier transform method has become a powerful tool in diverse fields of science and
engineering. It can provide a means of solving equations that describe dynamic
responses to electricity, heat or light and can also identify the regular contributions to
. a fluctuating signal, useful in making sense of observations in astronomy, medicine
and chemistry. Founer transforms become indispensable in the numerical calculations
needed to deslgn electrical circuits, to analyse mechanical vibrations, and to study
wave propagation. They are widely used to solve problems involving semi-infinite or
totally infinite range of the variables. In the next section, we deal with some
applications of Fourier transforms to diffusion, wave and Laplace equations.
Partial Differential We use the following notations for different types of Fourier transform and
Equations
corresponding inverse transform
For the interval - a,< x < oo :We use infinite Fourier transform
m
-
and corresponding inverse transform is given by
1
u(x.t)=- Jii(a,t)eiaxd a
2X
(79)
-00
For the interval 0 < x < a, : We use Fourier sine or cosine transforms depending
upon the boundary conditions of the problem.
Fourier sine transform:
m
0
For the interval 0 < x < L :We use finite Fourier sine or cosine transforms depending
upon the boundary conditions of the problem.
Finite Fourier sine transform:
L
nnx
FS[u(x.t)=Gs(n,t)=Ju(x,t)sin-dxL
---
0
(ii) u(x,O)=f(x).
Solution: Since the interval is -a < x < a, , we use infinite Fourier transform.
Talung the infinite Fourier transform with respect to x of both sides of the gven pde,
we have
Let ii(a, t) be the infinite Fourier transform of u(x, t) , we then have from result (78)
-u (a,t) = mJ u(x, t)e-iaxdx
Similarly, F I$] =
ax2
dx = -a2ii(a, t) [by result (58)] (90)
--
- 1 ( (( l l - i a u , a eiax d a
Using result
m
1 n
e-aa' cos 2 b a d a = -
2
Feb2"
a
with a=ktand b=-
X-U
2
,we have
vu
Remark: The conditions -+ 0 as x -P f a, represents that temperature u(x, t)
ax
must be bounded. This condition can also be expressed as (u(x, t) ( < M .
We now take up an example on heat-flow in semi-infinite bar.
Example 28: Determine the distribution of temperature in the semi-infinite medium
x 2 0 , when the end x = 0 is maintained at zero temperature and the initial
distribution of temperature is f(x) .
Solution: Let u(x, t) be the temperature at any point x at any time t , we have to
solve the heat flow equation
Taking Fourier sine transform with respect to x of both sides of the given partial
differential equation, we have
1 and %[T]=~;;isinaxdx
azu azu
0
= -a2iis(a, t) (95)
I
Fs[u(x,O)] = us ( a , 0) = u ( x , ~ ) s i na x d x
0
= I f (x) sin a x dx
w
= Fs ( a )
Putting t = 0 in Eqn.(96) and using Eqn.(97) we obtain
-
us (a,O) = A = Fs ( a )
The solution (96) thus reduces to
-
us ( a , t) = ~ ~ ( a ) e - ' ~ " ~ '
and its inverse Fourier sine transform yields,
U(X,t) =?b F , a ) e - c 2 a 2 'sin a x d a
7t
u -X U +X
- = v in the first integral and -= v in the second integral) as
2c4 2cJ;
Partial Differential
Equations
Wave Equation
Wave motion that occurs in nature, viz sound waves, surface waves, transverse waves
of an infinite string, and of mechanical systems are governed by the wave equation.
We now illustrate the application of Fourier transform to wave equation.
Example 29: Find the solution of the wave equation
-=c -
at? ax'
subject to the conditions
(i) y(0, t) = y(x, t) = 0
(ii) y(x, 0) = f (x)
Solution: Since the boundary conditions are y(0, t) = y(x, t) = 0 , we take finite
Fourier sine transform with respect to x of both sides of the given equation. We get
0
y(x, t)sin nx dx
Solution of Eqn.(98) is
-
y, (n, t) = A(n)cos cnt + B(n) sin cnt
Now taking the finite Fourier sine transform of conditions (ii) and (iii), we get
-1
dt ,=o
= g(x) sin nx dx = Fs [gin) ] (101 j
Hence, on substituting the above values of A(n) and B(n) in Eqn.(99), we obtain
- 1
y, (n, t) = F, [f (n)]cos cnt + -F, [g(n)]sin cnt
cn
Taking inverse Fourier transform, we have
2 " 1
y(x. t ) = - [Fs[f (n)]cos cnt + -F, [g(n)] sin cnt] sin nx
X ,,=I cn
using results (100) and (IOl), we have
.(x, t) ==
'
= ,111
[{I flU)sinnu du]coscnt + 6.i g(u)sin nu du]sin cnt]sin nx
(ii)
av
- = 0 for y = 0 , for all x
4,
(iii) v(x, 1) = f(x)
Taking Fourier cosine transform with respect to x of both the sides of the given
equation, we have
01
Hence we obtain
d'v,
--
,
or, a-v, =0
dy
whose solution is given by
v, ( a , y) = C , cosh a y + C 2 sinh a y
T o find C , and C, we take Fourier cosine transform of given conditions (ii) and (iii)
I v(x,l)cosaxdx= ~ f ( x ) c o s a x d x
m 00
v,(a,l)=
0' 0
Therefore, from Eqn.(l08), we have
Fourier Transform
Method
1, O < x < l
(a) when f (x) =
0, x>l
sin a x sin a
sin a
:. C, =
a cosh a
sin a cosh a y
Hence v, ( a , y) =
a cosh a
Taking inverse Fourier cosine transform we obtain
v(x,y)=-
rr
I
2 rn sin a cosh a y
acosha
cos a x d a
0
cosh a x
and v,(a.y) =
(1 + a 2 ) c o s h a
Taking inverse Fourier cosine transform, we obtain
2=
V(X.y) = - I cosh a x
rr ( l + a ' ) c o s h a
cos a x d a (1 10)
0
Remark: You may be wondering whether the integrals like the one in Eqn.(l09) or
(1 10) can be evaluated. In most cases the answer is no. One way of finding a specific
value. say, of the temperature v(1,l) in Eqn.(l10) is to resort to the numerical
integration.
You may now try the following exercises.
E23) The initial temperature along the length of an infinite bar is given by
E26) Show that the solution of Laplace equation v2v = 0 for v inside the semi-
infinitestrip x > O , O < y < b , s u c h t h a t v = f ( x ) when y = O , O < x < a , ; v = O
.when y = b , O < x < a , and v = O when x = 0 , O < y < b isgivenby
sinh(b - y)a .
sln a x sin a u du d a .
0 0
Before we end the discussion in this unit we would like to make the following remark.
Remark: We have seen that the Fourier transform and the corresponding inversion
formula are actually just a restatement of the Fourier integral representation of a non-
periodic function defined on - a, < x < co . We have also seen that the Fourier
transform methodology is analogous, and in some aspects identical, to the Laplace
transform methodology discussed in Unit 6. Given that similarity, the important
question arises, as to which of the two transform methods to use in a given differential
equation application. The general guideline is as follows:
The Laplace transform is tailored to initial-value problems on a semi-infinite
interval 0 < t < co .
The Fourier transform is tailored to boundary-value problems on an infinite
interval - co < x < co .
The independent variables are usually t (time) and x (linear dimension) but not
always. Further, there does exist Laplace transform defined on an infinite interval, the
Laplace transform can sometimes be used for boundary-value problems on finite
intervals, and the Fourier transform can be adapted to boundary-value problems on a
semi-infinite interval 0 < x < co or, a finite interval 0 < x < L . But the guideline given
above provides the general rule of thumb for selecting one transform or the other.
We now end this unit by giving a summary of what we have covered in it.
7.5 SUMMARY
In this unit we have covered the following points.
1. The Fourier integral ,
lrn
f (x) = - [A ( a ) cos a x + B ( a ) sin a x ] d a
X
0
m
2. When the function f(x) is an even function, expression for f(x) in 1) above
becomes a cosine integral and when f(x) is odd it reduces to a sine integral.
3. The complex form of Fourier integral representation of a function f(x)
defined over the interval ] - a,co [ is given by
-m
m
where, C ( a ) = 1f(x) e-"" dx
-0)
4. Integral transforms occur in transform pairs: the transform itself and the
inversion integral.
Some of the transforms and their inverses are as follows:
m
a
1
I
Inverse Fourier transform: g-' {F(a)) = - ~ ( a ) e " " d a= f(x)
2x
m
-
m
Fourier sine transform: Fs[f (x)] = J f (x) sin a x dx = F, ( a )
0
a
2"
I
Inverse Fourier sine transform: F;' [F, (a)] = - F, ( a ) sin a x d a = f(x)
x
0
-
I
Fourier cosine transform: gc[f (x)] = f (x) cos a x dx = F, ( a )
0
a Inverse Fourier cosine transform:
2"
I
gc-' [F, (a)] = - Fc( a ) cos a n d a = f (x)
x
0
5. If g [f(x)] = F(a) and F[g(x)] = G(a) and a and b are arbitrary scalars ,then
F [a f(x) + b g(x)l= a F [f(x)l+ b F [g(x)l= a ~ ( a+)b ~ ( a )
a [f(x - a)] = e-la"(a)
1
F [f(x)cosax] = -[F(a + a) + F(a - a)]
2
I : [1
f - = iaf[u(x, t)] = iaF(a t)
f 2
1 = -azf [u (', t)] = -az F(a, t),
au
and --+ 0 as x -+ am.
ax
1
1
El) a) f (x) = - [A(a) cos a x + B(a) sin ax] d a
n
8 0
1=
1
f (x) = - [A(a) cos a x + B(a) sin ax] d a
n
1
A(a) =- -+ -{cos2(a + 1) + sin 2(a + I)]
2 az-1 a + l
1
+ -{sin
a-1
2(a - 1) - cos 2(a - 1))
I
B(a) = [A
2 az-1
- -{sin
a+l
1 2(a + 1) + cos 2(a + l)j
1
+ -{sin
a -1
2(a - 1) - cos 2(a - I)}
I Fourler Transform
Method
c) f(x)=-
2"
n
-2 I
[1+ cos an]
a 2-1
cos a x d a
0
1 E3) a) Consider the right hand side, which defines the function
f(x) = t e - " cos x, x > o
Since the integral
- on the left hand side is from 0 to oo and involves sin a x ,
F we take Fourier sine representation of f (x)
0
We have, B (a)= n
-e -u
coo u sin a u du
2
f(x)=-
2
n
7 --
0
n a3
2 a4+4
sin a x d a =
OD
0
a3sin a x
a 4+ 4
da
representation of f (x) .
- o<x<n
b) Consider the function f(x) = 2 '
0 , x>n 1"
,and take the Fourier sine
n 1- cosan
=-[
2 a ]
Using Eqn.(9), we get
Partlal Dlfferentlal m
Equations sin a x d a .
=0 l T a n
E6) f (x) ) =
k-ia
a) C(a) =
k2+a2
4 2a
c) C(a) =- cos a a sinh 2a + -sin a a cosh 2a
4+a2 4 +a2
2ni
d) C ( a ) = ,
n -a2
sin 2 a
e a x , x<O
E8) We have f (x) =
e-ax, x>O
= +1 - - 1 - 2a
a-ia a+ia a2+a2
The inverse transform is given by F -' [ a 2 2ta2] =e-al"l.
E9) Taking the Fourier sine transform of the given function, we obtain
m e-ax
a
(-a cos a x + a sin a x )
a2+ a 2 a 2+ a 2
:. I(a) = I a*a+ a , d a + a
A = tan-' - + A
a
I tan-' -sin
w
X
:. x dx = Ee-. is the required solution.
a 2
-
cos a x n -,
da=-f(x)=-e
2 - 2
Putting x = m in above equation, we have
Hence, I
w
0
cos TTlX
-dx
1+x2
= -e
7C -m
2
E l 1) a) The given integral is the Fourier sine transform of f(x) . Its inverse
Fourier transform is obtained as
= f(' -;:
'), is the required solution.
Partial Differential
1-a, Olall
Equations E 12) We have Fc( a ) =
I f (u) cos a u du
0
=
0 , a l l
The inverse Fourier cosine transform of Fc ( a ) is given by
(Putting u = 22 )
2 sin ax
E14) f ( x ) = '
nxz
= a [ u ( ~ , t ) ] ~ . ~ - ausinaxdx
'~ f: u+O as x + m )
0
(entry 17)
(entry 4)
Fourier Transform
Method
1 x
b) With c = 3 , a = 1 , f(x)=- in entry 13 and F(a) = -e-Ji" ,we have
x2+ 2 JZ
(entries 1.4)
1
= 2[H(x + 1) - H(x - I)] - (entries 9,7)
d
m
+ (entries 15 ,I)
(X+u2 +1 (x-1)2 +1
(entries 2 , 3 )
sin ax
b) f(x) =- .
IIX
E19)a) [ 1
i a + k12 ] = I -(ia
'[ ]
+ k) (ia + k) = "-"H(~)]* [e-"H(x)]
-m
1
E20) a) F(a) = , y(x) = e-2x(1 - e-!' ) H(x)
[(2 f ia) (3 + ia)]
e-3ia
b)- F(a) = , Y ( ~=)[e-("-" - e-2(x-3)]~(x
- 3).
[(2 + i a ) (1 + ia)]
Partial Differential L
Equations E21) a) We have Fc(n) = J f(x)-
0
cos nxx
L
dx=
i
0
(ex-x )-
cosnxx
e
dx
.:L=e and f ( x ) = e x - x 2
e sinnxx
F,(o) =
0
Hence finite Fourier cosine transform of f(x) is
- e3 e
Fc(n)=-(cosnx+e) and Fc(0)=-.
n2x2 6
(
nxx
Now Fs(n)= J (ex-x )sin-&
P
[.: L = e and f ( x ) = e x - x 2 ]
2c3
=- (e - cos nx) is the finite Fourier sine transform of f(x)
n3x3
\ 2 x
d) Fc(n) = -, Fc(0) = -
m2 3
1 nxa nxx
b) f(x)=-+- -sin -cos -
e
27 e-a2,[sin (I + x) a + sin (1 - x) a
I
=
x a
0 da
which is the required solution.
E24) Taking Fourier sine transform of both sides of the given pde, we obtain
1
LO
2 1 -cosa -a2t .
and u(x, t) = - e stn a x d a , is the required solution.
x 0
a
E25) Taking finite Fourier sine transfop of given pde with L = 4 , we obtain
idu . nxx
at 4 dt
0
nnx
u(x,t)sin-dx
4
=-
dii,
dt
Pnrtlal Differentlai
Equations -
-
cosy)
E[(~
4
-1
4 4
-nn . nnx
u(-sln4 -)dx]
4
-*
-j 16
0
0
nnx
0
~ ( ~ , t ) s i n - d x =-
4
-n 2n2 -
16 us
dii -kn2n2 -
.. S-
- us
' dt 16
\
The soldion of this ode is written as
- -
-kn2n2
us(n,t)=Ae l6 (1 15)
-kn2n2
t nlcx
e l6 sin-
4
To find C, and C2,take Fourier sine transform of conditions (i) and (ii)
I
m
C, = f(u) sinaudu
0
Putting y = b in Eqn.(ll7) and using Eqn.(l19), we obtain
Fourier Transform
cosh a b
c 2 -- -c,-=-- Method
sinh a b cOSh ab
sinh a b f (u) sin a u du
0
x rg
coshab .
:. v, ( a , y) = cosh a y f (u) sin a u du - -slnh a y f (u) sin a u du
I sinh a b
u 0
I f ( u ) s i n a u s ~ nsinhh(b -a y)b a du
x
=
0
V(X,y) =-
2=
7t
I
0 0
f(u)rin a u
sinh(b-y)a .
sinh a b
s ~ anx du d a ,
X -=la\
-e
a /
1
a+ia.
1
H(-x)eax (Re a >0)
a-ia
2a
a 2+ a 2
e-""l sin
(-il :)
x I + - (a > 0)
2 sin a a
a
-iaa
f (ax + b) (a > 0)
-e
a
'(a)
-i(bx l a ) (a > 0, b real)