07 - Fourier Transform
07 - Fourier Transform
| | ∞
provide a set of sufficient conditions for the existence of the Fourier Transform
.
Intuitively this result derives from the fact that, for large , the exponential oscillates
faster than any length scale present in . Thus, for large enough, is
essentially constant over each interval 2 2 1 and the integral vanishes.
Functions that do not meet the Dirichlet conditions may still have a Fourier
Transform. These include periodic functions, whose transforms consist of impulses,
and functions whose Fourier Integral only converges as a limit.
__________
REFERENCES:
= Energy Spectrum of
= phase angle
cos sin
From the above expressions we conclude that is even and is odd, i.e.
Therefore,
∗
∗
∗
Conversely, if then = real.
∗
Thus, is a necessary and sufficient condition for to be real, i.e.
∗
⟺
Lecture Notes: STRUCTURAL DYNAMICS / FALL 2011 / Page: 3
Lecturer: Prof. APOSTOLOS S. PAPAGEORGIOU
SEOUL NATIONAL UNIVERSITY
PART (07): FOURIER TRANSFORM (FOURIER INTEGRAL)
1 1 ⁄
√
Lecture Notes: STRUCTURAL DYNAMICS / FALL 2011 / Page: 4
Lecturer: Prof. APOSTOLOS S. PAPAGEORGIOU
SEOUL NATIONAL UNIVERSITY
PART (07): FOURIER TRANSFORM (FOURIER INTEGRAL)
EXAMPLE: Find the Fourier Transform of the signum function defined as:
1 0
sgn
1 0
which is not absolutely integrable and its Fourier integral does not converge.
SIMPLE THEOREMS:
The following is a list of simple theorems that can be easily derived from
the Fourier integral and its inverse; it is assumed that all functions under
consideration have Fourier integrals.
Most of these theorems are valid, in slightly modified forms, for the
Laplace Transform, the discreet classes of the Fourier
Transform and the z-transform [the z-transform is to discrete-
time signals what the Laplace Transform is to their continuous-time
counterparts].
Lecture Notes: STRUCTURAL DYNAMICS / FALL 2011 / Page: 6
Lecturer: Prof. APOSTOLOS S. PAPAGEORGIOU
SEOUL NATIONAL UNIVERSITY
PART (07): FOURIER TRANSFORM (FOURIER INTEGRAL)
LINEARITY:
Let: ↔ , ↔ , ⋯ , ↔
Then: ⋯ ↔ ⋯
where: , ,⋯, are arbitrary constants.
Proof: The theorem is self-evident and is based on the linearity of the Fourier Integral.
EXAMPLE: Find the transform of the unit step from the transforms of its even and odd
components.
1 1 1
sgn ↔
2 2
Lecture Notes: STRUCTURAL DYNAMICS / FALL 2011 / Page: 7
Lecturer: Prof. APOSTOLOS S. PAPAGEORGIOU
SEOUL NATIONAL UNIVERSITY
PART (07): FOURIER TRANSFORM (FOURIER INTEGRAL)
TIME SCALING:
Let: ↔ then ↔ | |
Thus, expansion of the time scale (or time duration) leads to compression of the
frequency scale (or bandwidth) and vice versa. This is accompanied by an
inverse scaling of the amplitude.
Proof:
The change of variable , which implies ⁄ & ⁄ , yields:
EXAMPLE:
1
1 | | sin
2 ↔ 2
1
0 | | 2
2
Lecture Notes: STRUCTURAL DYNAMICS / FALL 2011 / Page: 8
Lecturer: Prof. APOSTOLOS S. PAPAGEORGIOU
SEOUL NATIONAL UNIVERSITY
PART (07): FOURIER TRANSFORM (FOURIER INTEGRAL)
FREQUENCY SCALING:
Scaling the frequency variable by a factor has a similar effect to the scaling. Making the
substitution 1⁄ in expression ↔ | |
yields the expression:
↔
| |
which is completely symmetrical to the expression for ‘time scaling’ and, therefore, is an
expression of the duality of the Fourier Transform.
EXAMPLE:
sin
↔
Lecture Notes: STRUCTURAL DYNAMICS / FALL 2011 / Page: 9
Lecturer: Prof. APOSTOLOS S. PAPAGEORGIOU
SEOUL NATIONAL UNIVERSITY
PART (07): FOURIER TRANSFORM (FOURIER INTEGRAL)
Proof:
The above follows from:
1
2
if we write it as follows:
⁄
↔
For :
⁄
↔ √2
Lecture Notes: STRUCTURAL DYNAMICS / FALL 2011 / Page: 11
Lecturer: Prof. APOSTOLOS S. PAPAGEORGIOU
SEOUL NATIONAL UNIVERSITY
PART (07): FOURIER TRANSFORM (FOURIER INTEGRAL)
TIME SHIFTING:
Let ↔ then:
↔
i.e., if the function is shifted by a constant, , then its Fourier spectrum remains the
same, but a linear term is added to its phase angle.
Proof:
EXAMPLE:
Lecture Notes: STRUCTURAL DYNAMICS / FALL 2011 / Page: 12
Lecturer: Prof. APOSTOLOS S. PAPAGEORGIOU
SEOUL NATIONAL UNIVERSITY
PART (07): FOURIER TRANSFORM (FOURIER INTEGRAL)
FREQUENCY SHIFTING:
↔
Proof:
EXAMPLE:
1 1
↔ ⟹ ↔
2 2
Lecture Notes: STRUCTURAL DYNAMICS / FALL 2011 / Page: 13
Lecturer: Prof. APOSTOLOS S. PAPAGEORGIOU
SEOUL NATIONAL UNIVERSITY
PART (07): FOURIER TRANSFORM (FOURIER INTEGRAL)
TIME CONVOLUTION:
If ↔ & ↔
Then ∗ ≝ ↔
Proof:
Clearly,
Therefore:
EXAMPLE:
COMMENT: In the above proof it was assumed that the order of integration can be
changed. This is true if the functions & are square-integrable in the sense
| | ∞ , , i.e., & have finite energy.
Lecture Notes: STRUCTURAL DYNAMICS / FALL 2011 / Page: 14
Lecturer: Prof. APOSTOLOS S. PAPAGEORGIOU
SEOUL NATIONAL UNIVERSITY
PART (07): FOURIER TRANSFORM (FOURIER INTEGRAL)
FREQUENCY CONVOLUTION:
From the time convolution theorem and the symmetry (duality) theorem it follows
that the Fourier Transform of the product of two functions equals the
convolution ∗ of their respective derivatives divided by :
TIME DIFFERENTIATION:
Let ↔ then ↔
Proof:
1
⟹ ⟷
2
FREQUENCY DIFFERENTIATION:
Let ↔ then ⟷
Lecture Notes: STRUCTURAL DYNAMICS / FALL 2011 / Page: 16
Lecturer: Prof. APOSTOLOS S. PAPAGEORGIOU
SEOUL NATIONAL UNIVERSITY
PART (07): FOURIER TRANSFORM (FOURIER INTEGRAL)
INTEGRATION:
Let ↔ then ⟷
Proof:
We interpret the integral of as a convolution with the unit step function
, i.e.
Recall that:
1
Let:
↔
1
0
EXAMPLE:
sin
↔
sin
↔
EXAMPLE:
Let:
sin
↔ 2
2
sin
↔ 2 2
CONJUGATE FUNCTIONS:
∗ ∗
Let ↔ then ↔
∗
i.e., the Fourier Transform of the conjugate of a complex function
is given by ∗ .
Proof:
From
∗
⟹
∗
⟹
∗ ∗
⟹ ↔
Lecture Notes: STRUCTURAL DYNAMICS / FALL 2011 / Page: 20
Lecturer: Prof. APOSTOLOS S. PAPAGEORGIOU
SEOUL NATIONAL UNIVERSITY
PART (07): FOURIER TRANSFORM (FOURIER INTEGRAL)
PARSEVAL’s FORMULA:
If ↔ then:
| |
Proof:
∗ ∗
↔ ⟹ ↔
Therefore:
∗
1 ∗
| | ↔ ∗
2
i.e.
1 ∗ | |
2
1 ∗
⟹ | |
2
Therefore:
1
| |
2
If ↔ & ↔ then:
Therefore: cos ↔
and: sin ↔
1 1 1 1
↔ & ↔
2 2 2 2
1 1
↔ cos
2 2
1 1
↔ sin
2 2