Professional Documents
Culture Documents
MATHS(Hons),Second YEAR
October 5, 2021
Such representation of the function f, called the Fourier theorem, was first
derived by the French mathematician AugustineR Louis Cauchy (17891857)
∞
sometime between 1822 and 1823 . F (u) = a1 −∞ f (x)e ±ibxu dx;
R∞
f (x) = a2 −∞ F (u)e mbxu du;
have
2 2
R R
R |x(t)| dt = R |X (f )| df
which means that the total energy in a signal across all time is equal
to the total energy in the transform across all frequencies. Thus, the
transform is energy preserving.
have
2 2
R R
R |x(t)| dt = R |X (f )| df
which means that the total energy in a signal across all time is equal
to the total energy in the transform across all frequencies. Thus, the
transform is energy preserving.
3 Convolutions in the time domain are equivalent to multiplications in
the frequency domain, i.e., given two signals x(t) and y(t), then if
z(t) = x(t) ∗ y (t)
where * denotes convolution, then the Fourier transform of z(t) is
merely
MATHS(Hons),Second YEAR (MOTILAL NEHRU COLLEGE)
FOURIER TRANSFORM October 5, 2021 8 / 84
Z (f ) = X (f )Y (f )
For discrete signals, with the development of efficient FFT algorithms,
almost always, it is faster to implement a convolution operation in the
frequency domain than in the time domain.
4. Similar to the convolution operation, cross-correlations are also easily
implemented in the frequency domain as Z(f)=X(f)Y(f), where
denotes complex conjugate.
WHAT IS FOURIER
TRANSFORM ?
EQUATIONS
1
Inverse of Fourier Transform
Z ∞
F −1 {G (f )} = g (t) = G (f )e i2πft df
−∞
1
FOURIER SYNTHESIS- It refers to as frequency domain representation which
combines the contribution of all the different frequencies to recover the original function
of time
MATHS(Hons),Second YEAR (MOTILAL NEHRU COLLEGE)
FOURIER TRANSFORM October 5, 2021 14 / 84
INTRODUCTION TO FOURIER TRANSFORM
Example-1 Example-2
PROPERTY I
Z ∞ Z ∞
F{c1 g (t) + c2 h(t)} = c1 g (t)e i2πft dt + c2 h(t)e i2πft dt
−∞ −∞
Z ∞ Z ∞
= c1 g (t)e i2πft dt + c2 h(t)e i2πft dt
−∞ −∞
= c1 G (f ) + c2 H(f )
Hence,
Z ∞ Z ∞
F{c1 g (t) + c2 h(t)} = c1 g (t)e i2πft dt + c2 h(t)e i2πft dt
−∞ −∞
Z ∞ Z ∞
= c1 g (t)e i2πft dt + c2 h(t)e i2πft dt
−∞ −∞
= c1 G (f ) + c2 H(f )
Hence,
PROPERTY II
1
F and F 1 correspond to the Forward and Inverse Fourier transforms
MATHS(Hons),Second YEAR (MOTILAL NEHRU COLLEGE)
FOURIER TRANSFORM October 5, 2021 28 / 84
PROPERTIES OF FOURIER TRANSFORM
PROOF:
Z ∞
F (ω) = f (tt0 )e jωt dt
−∞
Put τ = t − t0
Z ∞
F (ω) = f (τ )e j(τ +t0 ) dt
∞
Z ∞
jωt0
=e f (τ )e jωτ dτ
∞
= F (ω)ejωt0
PROPERTY III
PROOF :
R∞
F (ω) = −∞ f (at)e jωt dt
Put τ = at
If a > 0
Z ∞
1
F(f (at)) = f (τ )e jωaτ dτ = F (ωa)
−∞ a
If a < 0
Z ∞
MATHS(Hons),Second YEAR (MOTILAL NEHRU COLLEGE) jωaτ
FOURIER TRANSFORM
1 October 5, 2021 31 / 84
PROPERTIES OF FOURIER TRANSFORM
Therefore,
1
F(f (at)) = F (ωa)
|a|
PROPERTY IV
PROPERTY V
PROOF:
Z ∞ Z ∞
F (g (t)) = f1 (τ )f2 (tτ )dτ e jωt dt
Z−∞
∞
−∞
Z ∞
= f1 (t) f2 (t)e jωt dtdτ
−∞ −∞
Z ∞
= f1 (τ )F2 (ω)e jτ dτ
−∞
= F1 (ω)F2 (ω)
PROPERTY VI
PROPERTY VII
f (t) ←→ F (ω)
e jω0 t f (t) ←→ F (0)
PROOF:
Z ∞
F (ω) = f (t)e jω0 t e jωt dt
Z−∞
∞
= f (t)e j(ω−ω0 t dt
−∞
= F (ω − ω0 )
PROPERTY VIII
f (t) ←→ F (ω)
(t) ←→ 2πf (ω)
Z ∞
Replace t with ω and ω with t in, F (ω) = f (t)e jωt dt
−∞
Z ∞
F (t) = f (ω)e jtω dω But the inverse Fourier transform of a given FT
−∞
f (ω) is Z
∞
g (t) = 21 f (ω)e jωt dω
−∞
Therefore, F (t) = 2πF ∞ (f (ω)
or
F (t) ←→ 2πf (ω)
Example: δ(t) ←→ 1
1 ←→ 2πδ(ω)
PROPERTY IX
PARSEVAL’S THEOREM
PROPERTY X
If x(t) ←→ X (ω)
Then Time reversal property states that x(t) ←→ X (−ω)
The integral
R ∞ for the fourier transform:
F (k) = −∞ f (x)e −2πikx dx
can be studied for complex values of its argument k.Depending on the
properties of F,it might converge to a complex analytic function for all
values k = σ + iT .
The integral
R ∞ for the fourier transform:
F (k) = −∞ f (x)e −2πikx dx
can be studied for complex values of its argument k.Depending on the
properties of F,it might converge to a complex analytic function for all
values k = σ + iT .
The Paley Wiener theorem says that f is smooth and compactly supported
iff F (σ + iT ) is a holomorphic function for which there exists a constant
a > 0 such that for any integer n ≥ 0,
|k n F (k)| ≤ Ce a|T | for some constant C.
This can be expressed by saying that F is an entire function which is
rapidly decreasing in σ and of exponential growth in T.
The space of such functions of a complex variable is called the
Paley-Wiener space...
The fourier transform F(k) is related to the Laplace transform F(s) which
is also used for the solution of differential equations and the analysis of
filters.
The fourier transform F(k) is related to the Laplace transform F(s) which
is also used for the solution of differential equations and the analysis of
filters.
For example:If f(t) is of exponential growth,that is ,
|f (t)| < Ce a|t|
for some Rconstants C,a ≥ 0,then
∞
F (iT ) = −∞ e 2πTt f (t) dt,
convergent for all 2πT < −a ,is the two - sided Laplace transform of f.The
more usualR ∞ version of the laplace transform is
F (s) = 0 f (t)e −st dt.
If f is also casual,then F (iT ) = F (−2πT ).
The fourier transform F(k) is related to the Laplace transform F(s) which
is also used for the solution of differential equations and the analysis of
filters.
For example:If f(t) is of exponential growth,that is ,
|f (t)| < Ce a|t|
for some Rconstants C,a ≥ 0,then
∞
F (iT ) = −∞ e 2πTt f (t) dt,
convergent for all 2πT < −a ,is the two - sided Laplace transform of f.The
more usualR ∞ version of the laplace transform is
F (s) = 0 f (t)e −st dt.
If f is also casual,then F (iT ) = F (−2πT ).
Thus, extending the fourier transform to the complex domain means it
includes the Laplace transform as a special case but with the change of
variable s = 2πik .
If
R∞ f has no poles for a ≤ T ≤ b ,then
−∞ F (σ + ia)e 2πikt dσ
R∞
= −∞ F (σ + ib)e 2πikt dσ
by Cauchy’ s integral theorem.
If
R∞ f has no poles for a ≤ T ≤ b ,then
−∞ F (σ + ia)e 2πikt dσ
R∞
= −∞ F (σ + ib)e 2πikt dσ
by Cauchy’ s integral theorem. Therefore,the Fourier inversion formula can
use integration along different lines,parallel to the real axis.
Theorem: If f (t) = 0 for t < 0,and |f (t)| < Ce a|t| for some constants
C,a > 0,then
R∞
f (t) = −∞ F (σ + it)e 2πikt dσ ,
a
for any T < − 2π .
If
R∞ f has no poles for a ≤ T ≤ b ,then
−∞ F (σ + ia)e 2πikt dσ
R∞
= −∞ F (σ + ib)e 2πikt dσ
by Cauchy’ s integral theorem. Therefore,the Fourier inversion formula can
use integration along different lines,parallel to the real axis.
Theorem: If f (t) = 0 for t < 0,and |f (t)| < Ce a|t| for some constants
C,a > 0,then
R∞
f (t) = −∞ F (σ + it)e 2πikt dσ ,
a
for any T < − 2π .
This theorem implies the Mellin inversion formula for the Laplace
transformation,
R b+i∞
1 st
f (t) = 2πi b−i∞ F (s)e ds
for any b > a,where F (s) is the Laplace Transform of f (t).
ψ(ξ) = arg(fˆ(ξ))
is the phase (see arg function).
Split the factorRevenly between the fourier transform and its inverse,
F (ω) = (2π)1 n/2 R n f (x)e −iωx dx
The inverse transform:
f (x) = (2π)1 n/2 R n F (ω)e iωx dω....
R
ON Lp SPACE
ON L1 SPACE
Z ∞
F (k) = f (x)e −2πikx dx
−∞
ON Lp SPACE
ON L1 SPACE
Z ∞
F (k) = f (x)e −2πikx dx
Z −∞
∞
f (x) = F (k)e 2πikx dk
−∞
ON Lp SPACE
ON L1 SPACE
Z ∞
F (k) = f (x)e −2πikx dx
Z −∞
∞
f (x) = F (k)e 2πikx dk
−∞
Remark
They never stated the Fourier transform on function spaces like L1(R) but
still use it. Anyway, to be consistent in what I do I thought I keep their
notation and also introduce the Fourier transform on L1 R
BOUNDED OPERATOR
TRANSFORM OF RECT FUNCTION
ON Lp SPACE
ON L1 SPACE
Z ∞
F (k) = f (x)e −2πikx dx
Z −∞
∞
f (x) = F (k)e 2πikx dk
−∞
Remark
They never stated the Fourier transform on function spaces like L1(R) but
still use it. Anyway, to be consistent in what I do I thought I keep their
notation and also introduce the Fourier transform on L1 R
BOUNDED OPERATOR
TRANSFORM OF RECT FUNCTION
RIEMANN - LEBESGUE LEMMA
MATHS(Hons),Second YEAR (MOTILAL NEHRU COLLEGE)
FOURIER TRANSFORM October 5, 2021 60 / 84
FOURIER TRANSFORM ON FUNCTION SPACE
ON Lp SPACE
ON L1 SPACE
Z ∞
F (k) = f (x)e −2πikx dx
Z −∞
∞
f (x) = F (k)e 2πikx dk
−∞
Remark
They never stated the Fourier transform on function spaces like L1(R) but
still use it. Anyway, to be consistent in what I do I thought I keep their
notation and also introduce the Fourier transform on L1 R
BOUNDED OPERATOR
TRANSFORM OF RECT FUNCTION
RIEMANN - LEBESGUE LEMMA
MATHS(Hons),Second YEAR (MOTILAL NEHRU COLLEGE)
FOURIER TRANSFORM October 5, 2021 60 / 84
ON L2
PLANCHEREL THEOREM
PLANCHEREL THEOREM
IMPROPER INTEGRAL
PLANCHEREL THEOREM
IMPROPER INTEGRAL
UNITARY OPERATOR
PLANCHEREL THEOREM
IMPROPER INTEGRAL
UNITARY OPERATOR
R∞
F(x) = limR → ∞[ G(k) e −2πikx dk]
−∞
Remark
”A more precise formulation is that if a function is in both L1(R) and
L2(R), then its Fourier transform is inL2(R), and the Fourier transform
map is an isometry with respect to the L2 norm. This implies that the
Fourier transform map restricted to L2(R)L1(R) has a unique extension to
a linear isometric map , sometimes called the Plancherel transform.”
2
v = e −x (pv ) x1 )
And more, how I can prove that this is a tempered distribution? What
exactly means pv? I know that is a tempered distribution, so by multiplying
an object for such term I should have a tempered distribution :).
1
? R ∞ φ(t)
t , φ = −∞ t dt,
1
R ∞ φ(t)
t , φ = p.v. −∞ t dt,
To compute the Fourier transform, note that v(x) is an odd function, so
the transform is also an odd function, thus the cos component is zero, and
the sin component
R∞ can be computed as an
ordinary function:
2
F[v ] = −∞ x1 e −x i sin wx dx = iπ erf w2 .
GENERALIZED FUNCTIONS
2
v = e −x (pv ) x1 )
And more, how I can prove that this is a tempered distribution? What
exactly means pv? I know that is a tempered distribution, so by multiplying
an object for such term I should have a tempered distribution :).
1
? R ∞ φ(t)
t , φ = −∞ t dt,
1
R ∞ φ(t)
t , φ = p.v. −∞ t dt,
To compute the Fourier transform, note that v(x) is an odd function, so
the transform is also an odd function, thus the cos component is zero, and
the sin component
R∞ can be computed as an
ordinary function:
2
F[v ] = −∞ x1 e −x i sin wx dx = iπ erf w2 .
GENERALIZED FUNCTIONS
SCHWARTZ FUNCTIONS
2
v = e −x (pv ) x1 )
And more, how I can prove that this is a tempered distribution? What
exactly means pv? I know that is a tempered distribution, so by multiplying
an object for such term I should have a tempered distribution :).
1
? R ∞ φ(t)
t , φ = −∞ t dt,
1
R ∞ φ(t)
t , φ = p.v. −∞ t dt,
To compute the Fourier transform, note that v(x) is an odd function, so
the transform is also an odd function, thus the cos component is zero, and
the sin component
R∞ can be computed as an
ordinary function:
2
F[v ] = −∞ x1 e −x i sin wx dx = iπ erf w2 .
GENERALIZED FUNCTIONS
SCHWARTZ FUNCTIONS
FOURIER-STIELTJES TRANSFORM
FOURIER-STIELTJES TRANSFORM
For a non-negative integer-valued random variable X with P(X = j) = pj ,
we define the
Xprobability
P∞ generating function of (the distribution of) X by
PX (s) := E s = j=0 pj s . j
n P∞ o
D(G) = {pj } ∈ RN : pj > 0, p
j=0 j = 1 .
Now, D(G) is not a vector space as it is not closed under addition. The
most structure I have been able to find is that D(g) is that it is the
-convex hull of the standard basis en
FOURIER-STIELTJES TRANSFORM
For a non-negative integer-valued random variable X with P(X = j) = pj ,
we define the
Xprobability
P∞ generating function of (the distribution of) X by
PX (s) := E s = j=0 pj s . j
n P∞ o
D(G) = {pj } ∈ RN : pj > 0, p
j=0 j = 1 .
Now, D(G) is not a vector space as it is not closed under addition. The
most structure I have been able to find is that D(g) is that it is the
-convex hull of the standard basis en
For contrast, the characteristic function of (the distribution
R itx of) X is
well-defined as the Fourier-Stieltjes transform FX 7→ R e dFX (x)
Figure: prism
[1]Bailey, David H.Swarztrauber, Paul N.(1994)A fast method for numerical evaluation of
continuous Fourier and Laplace transform ,SIAM Journal on Scientific
Computing,15(5):1105-1110,CiteSeerX 10.1.1.1271534
http://thefouriertransform.com/links.php