19
Image Processing Fourier Transform Slide 1

Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

  • Upload
    hakhue

  • View
    223

  • Download
    1

Embed Size (px)

Citation preview

Page 1: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing

Fourier Transform

Slide 1

Page 2: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

Function Spaces

2

Images are not vectors. Images are mappings: Moreover, images are functions (continuous domain): However, functions can be seen as vectors as well: → Images are not vectors, they are more, but they are vectors too

Vector

Function

Domain

Mapping

Space

Scalar product

Length

Page 3: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

Base in vector spaces

3

Task: decompose a vector into its “components” in a base with the base vectors and coefficients Properties of base vectors: 1. Vectors should span the space → decomposition exists for all 2. Vectors should be independent (no vector can be represented

as a linear combination of ) → decomposition is unique

Special case – orthonormal base: • All are orthogonal to each other, i.e. for all • All have the same length (=1), i.e. →

Page 4: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

Base in function spaces

4

The space has infinite dimension → • Infinite number of base functions , i.e. , replaces • A continuous function The task is to decompose a given function into the base ones: Orthonormal base means: • orthogonal • normalized

Then

Page 5: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

Fourier Series

5

Space: all periodic functions with the period , i.e. Base functions: and Properties: 1. Orthonormal

2. Span the function space (Jean Baptiste Joseph Fourier, 1822)

Page 6: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

Fourier Series

6

Decomposition: with

Page 7: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

Fourier Series

7

Page 8: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

Complex numbers

8

Euler’s Formula: Decomposition: Coefficients:

Page 9: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

General functions

9

Arbitrary periodic functions – transition Arbitrary non-periodic functions – limit 1. Coefficients become continuous 2. The sequence becomes a complex function of a real-

valued argument

The summands are “not interesting” by themselves, but rather: • amplitude-spectrum and

• phase-spectrum

Page 10: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

2D Discrete Fourier Transform

10

Two primary arguments: and Two frequencies: horizontal and vertical Transform: Inverse:

Page 11: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

2D Discrete Fourier Transform

11

Convolution masks for different frequencies

Page 12: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

Amplitude-spectrums

12

Images Fourier Transforms

Page 13: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

Amplitude vs. Phase

13

Page 14: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

Example – Directions

14

Page 15: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

Example – Directions

15

Page 16: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

: operator (Fourier Transform) : the image of a function in the frequency space Proof: … analogously

Convolution Theorem

16

Page 17: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

Convolution Theorem

17

Corollary 1: a convolution can be performed in the frequency space by Time complexity: Fourier Transform can be done with Component-by-component multiplication: → all together instead of by the direct implementation Corollary 2: each filter has its spectral characteristics in the frequency space. 1. It is possible to analyze filter characteristics 2. It is possible to design filters with the necessary properties

Page 18: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

Convolution Theorem

18

Some filters and their spectrums

Page 19: Image Processing - TU Dresdends24/lehre/bvme_ss_2013/ip_05_fourier.pdf · Image Processing: Fourier Transform Base in function spaces 4 The space has infinite dimension → • Infinite

Image Processing: Fourier Transform

Further themes:

19

Image say “where” but not “what”. Spectrums say “what” but not “where”. Windowed Fourier Transform – spectrums for (small) windows at each position. Cosine Transform (1D, discrete, DCT-II – JPEG): Wavelet Transform:

− a “mother function”, e.g. Complex Mexican hat wavelet