School.com
Transcript of School.com
-
8/11/2019 School.com
1/37
-
8/11/2019 School.com
2/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Convolution
Fourier Convolution
OutlineReview linear imaging modelInstrument response function vs Point spread function
Convolution integrals
Fourier Convolution
Reciprocal space and the Modulation transfer function
Optical transfer function
Examples of convolutions
Fourier filtering
Deconvolution
Example from imaging lab Optimal inverse filters and noise
school.edhole.com
http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
3/37
-
8/11/2019 School.com
4/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Space Invariance
Now in addition to every point being mapped independently onto the detector,
imaging that the form of the mapping does not vary over space (is independent of
r0). Such a mapping is called isoplantic. For this case the instrument response
function is not conditional.
The Point Spread Function (PSF) is a spatially invariant approximation of the IRF.
IRF(x,y |x0,y0 ) PSF(x x0,y y0 )
school.edhole.com
http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
5/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Space Invariance
Since the Point Spread Function describes the same blurring over the entire sample,
The image may be described as a convolution,
or,
IRF(x,y |x0,y
0) PSF(x x
0,y y
0)
E(x,y)
I(x0,y0 )PSF(x x0,y y0 )dx0dy0
Image(x,y) Object(x,y)PSF(x,y) nois
school.edhole.com
http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
6/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Convolution Integrals
Letslook at some examples of convolution integrals,
So there are four steps in calculating a convolution integral:
#1. Fold h(x)about the line x=0
#2. Displace h(x)by x#3. Multiply h(x-x)* g(x)
#4. Integrate
f(x) g(x) h(x)
g(x')h(x x' )dx'
school.edhole.com
http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
7/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Convolution Integrals
Consider the following two functions:
#1. Fold h(x)about the line x=0
#2. Displace h(x)by x x
school.edhole.com
http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
8/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Convolution Integrals
school.edhole.com
http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
9/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Convolution Integrals
Consider the following two functions:
school.edhole.com
http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
10/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Convolution Integrals
school.edhole.com
http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
11/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Some Properties of the Convolution
commutative:
associative:
multiple convolutions can be carried out in any order.
distributive:
fgg f
f (g h) (fg) h
f (g h) fg f h
school.edhole.com
http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
12/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Recall that we defined the convolution integral as,
One of the most central results of Fourier Theory is the convolution
theorem (also called the Wiener-Khitchine theorem.
where,
Convolution Integral
f g f(x)g(x'x)dx
fg F(k) G(k)
f(x)F(k)
g(x) G(k)
school.edhole.com
http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
13/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Convolution Theorem
In other words, convolution in real space is equivalent to
multiplication in reciprocal space.
fg F(k)G(k)
school.edhole.com
http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
14/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Convolution Integral Example
We saw previously that the convolution of two top-hat functions
(with the same widths) is a triangle function. Given this, what is
the Fourier transform of the triangle function?
-3 -2 -1 1 2 3
5
10
15
=
-3 -2 -1 1 2 3
5
10
15
?
school.edhole.com
http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
15/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Proof of the Convolution Theorem
The inverse FT of f(x) is,
and the FT of the shifted g(x), that is g(x-x)
fg f(x)g(x'x)dx
f(x) 1
2
F(k)eikx
dk
g(x'x) 1
2 G(k' )eik'(x'x)dk'
school.edhole.com
http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
16/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Proof of the Convolution Theorem
So we can rewrite the convolution integral,
as,
change the order of integration and extract a delta function,
fg f(x)g(x'x)dx
fg1
42 dx F(k)e
ikxdk
G(k' )eik'(x'x)dk'
fg
1
2 dkF(k) dk'G(k')eik'x' 1
2 eix(kk')
dx
(kk')
school.edhole.com
http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
17/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Proof of the Convolution Theorem
or,
Integration over the delta function selects out the k=k value.
fg1
2
dkF(k) dk'G(k')eik'x' 1
2
eix(kk')
dx
(kk')
fg1
2 dkF(k) dk'G(k')eik'x'(k k')
fg 12
dkF(k)G(k)eikx'
school.edhole.com
http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
18/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Proof of the Convolution Theorem
This is written as an inverse Fourier transformation. A Fourier
transform of both sides yields the desired result.
fg1
2
dkF(k)G(k)eikx'
fg F(k) G(k)
school.edhole.com
http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
19/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Fourier Convolution
school.edhole.comschool.edhole.com
http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
20/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Reciprocal Space
real space reciprocal space
-
8/11/2019 School.com
21/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Filtering
We can change the information content in the image by manipulating
the information in reciprocal space.
Weighting function in k-space.
school.edhole.com
http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
22/37
-
8/11/2019 School.com
23/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Modulation transfer function
i(x,y) o(x,y) PSF(x,y) noise
I(kx ,ky ) O(kx ,ky ) MTF(kx ,ky ) noise
E(x,y)
I(x,y)S (x x0 )(y y0 ) dxdydx0dy0
E(x,y)
I(x,y)IRF(x,y |x0,y0 )dxdydx0dy0
school.edhole.com
http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/http://school.edhole.com/ -
8/11/2019 School.com
24/37
22.058 - lecture 4, Convolution and
Fourier Convolution
Optics with lens Input bit mapped image
sharp = Import @"sharp . bmp" D;
Shallow @InputForm @sharp DD
Graphics@Raster@>D, Rule@>DD
s = sharp @@1 , 1 DD;
Dimens ions @s D
8480, 640