inverse problems 4: the mathematics of ct scanners

49
History and Background Mathematical Model Inverting the Radon Transform Inverse Problems 4: The Mathematics of CT Scanners Kurt Bryan April 28, 2011 Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Upload: vodiep

Post on 14-Feb-2017

218 views

Category:

Documents


3 download

TRANSCRIPT

Page 1: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Inverse Problems 4: The Mathematics of CTScanners

Kurt Bryan

April 28, 2011

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 2: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

1 History and Background

2 Mathematical ModelAttenuation of x-raysGeometryThe Radon Transform and Sinogram

3 Inverting the Radon TransformUnfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 3: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

First CT Scanners

First practical scanners built in the late 1960’s.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 4: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

First CT Scanners

Images took hours to process/render, and were crude:

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 5: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Modern CT Scanners

Modern scanners are fast and high-resolution:

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 6: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

The Mathematics

The mathematics underlying the model for a CT scanner is mucholder.

Based on the Radon (and Fourier) transforms, dating backthe early 20th century (and farther).

Most of it is easy enough to do in a Calc 2 class!

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 7: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

The Mathematics

The mathematics underlying the model for a CT scanner is mucholder.

Based on the Radon (and Fourier) transforms, dating backthe early 20th century (and farther).

Most of it is easy enough to do in a Calc 2 class!

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 8: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Attenuation of x-raysGeometryThe Radon Transform and Sinogram

Mathematical Model

We fire x-rays through a body at many angles and offsets, measurebeam attenuation (output/input intensity):

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 9: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Attenuation of x-raysGeometryThe Radon Transform and Sinogram

Attenuation of x-rays

Suppose L(s), a ≤ s ≤ b parameterizes a line with respect toarc length.

Let I (s) be the intensity of the x-ray along L, with I (a) = Ia(known input intensity).

We suppose the x-ray beam is attenuated according to

I ′(s) = −λ(L(s))I (s)

as it passes through the body. The function λ is called theattenuation coefficient. We want to find λ.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 10: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Attenuation of x-raysGeometryThe Radon Transform and Sinogram

Attenuation of x-rays

Suppose L(s), a ≤ s ≤ b parameterizes a line with respect toarc length.

Let I (s) be the intensity of the x-ray along L, with I (a) = Ia(known input intensity).

We suppose the x-ray beam is attenuated according to

I ′(s) = −λ(L(s))I (s)

as it passes through the body. The function λ is called theattenuation coefficient. We want to find λ.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 11: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Attenuation of x-raysGeometryThe Radon Transform and Sinogram

Attenuation of x-rays

Suppose L(s), a ≤ s ≤ b parameterizes a line with respect toarc length.

Let I (s) be the intensity of the x-ray along L, with I (a) = Ia(known input intensity).

We suppose the x-ray beam is attenuated according to

I ′(s) = −λ(L(s))I (s)

as it passes through the body. The function λ is called theattenuation coefficient. We want to find λ.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 12: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Attenuation of x-raysGeometryThe Radon Transform and Sinogram

Attenuation of x-rays

I ′(s) = −λ(L(s))I (s) with I (a) = Ia known.

We measure the output I (b).

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 13: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Attenuation of x-raysGeometryThe Radon Transform and Sinogram

Solving the Attenuation DE

The DE I ′(s) = −λ(L(s))I (s) with I (a) = Ia is easy to solve viaseparation of variables. We find

I (s) = Ia exp

(−∫ s

aλ(L(t)) dt

).

If we know (measure) I (b) then we can compute∫ b

aλ(L(t)) dt = − ln(I (b)/I (a)).

We can find the integral on the left, for any line through the body.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 14: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Attenuation of x-raysGeometryThe Radon Transform and Sinogram

Solving the Attenuation DE

The DE I ′(s) = −λ(L(s))I (s) with I (a) = Ia is easy to solve viaseparation of variables. We find

I (s) = Ia exp

(−∫ s

aλ(L(t)) dt

).

If we know (measure) I (b) then we can compute∫ b

aλ(L(t)) dt = − ln(I (b)/I (a)).

We can find the integral on the left, for any line through the body.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 15: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Attenuation of x-raysGeometryThe Radon Transform and Sinogram

Attenuation Example

Some line integrals:

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 16: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Attenuation of x-raysGeometryThe Radon Transform and Sinogram

Geometry and Notation

Suppose L(s) = p + sn⊥, where

n =< cos(θ), sin(θ) > dictates line normal vector, θ ∈ [0, π).

p = rn, r ∈ (−1, 1) is “offset” from the origin.

Note −√

1− r 2 < s <√

1− r 2.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 17: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Attenuation of x-raysGeometryThe Radon Transform and Sinogram

The Radon Transform

In summary, by firing x-rays through the body, we can compute theintegral

d(r , θ) =

∫ √1−r2

−√

1−r2

λ(L(s)) ds

for 0 ≤ θ < π,−1 < r < 1.

The quantity d(r , θ) is called the “Radon Transform” of λ.

Is this enough to determine λ? How?

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 18: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Attenuation of x-raysGeometryThe Radon Transform and Sinogram

The Radon Transform

In summary, by firing x-rays through the body, we can compute theintegral

d(r , θ) =

∫ √1−r2

−√

1−r2

λ(L(s)) ds

for 0 ≤ θ < π,−1 < r < 1.

The quantity d(r , θ) is called the “Radon Transform” of λ.

Is this enough to determine λ? How?

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 19: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Attenuation of x-raysGeometryThe Radon Transform and Sinogram

The Sinogram

CT target and its sinogram:

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 20: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Attenuation of x-raysGeometryThe Radon Transform and Sinogram

The Sinogram

CT target and its sinogram:

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 21: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Attenuation of x-raysGeometryThe Radon Transform and Sinogram

The Sinogram

CT target and its sinogram:

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 22: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Intuition

Observation: Every x-ray through a high attenuation region willyield a large line integral.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 23: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Intuition Quantified

For any fixed point (x0, y0) in the body, the line L(s) with normalat angle θ is given non-parametrically by

x cos(θ) + y sin(θ) = r

with r = x0 cos(θ) + y0 sin(θ):

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 24: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Intuition Quantified

Each point on the curve r = x0 cos(θ) + y0 sin(θ) in the sinogramcorresponds to a line through (x0, y0) in the target.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 25: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Intuition Quantified

The average value of the Radon transform d(θ, r) over all linesthrough (x0, y0) is then

λ̃(x0, y0) =

∫ π

0d(θ, x0 cos(θ) + y0 sin(θ)) dθ.

This is called the backprojection of d(θ, r).

Maybe λ̃ will look like λ.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 26: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Intuition Quantified

The average value of the Radon transform d(θ, r) over all linesthrough (x0, y0) is then

λ̃(x0, y0) =

∫ π

0d(θ, x0 cos(θ) + y0 sin(θ)) dθ.

This is called the backprojection of d(θ, r).

Maybe λ̃ will look like λ.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 27: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Unfiltered Backprojection Example 1

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 28: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Unfiltered Backprojection Example 2

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 29: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Unfiltered Backprojection Example 3

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 30: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Unfiltered Backprojection is Blurry

Straight backprojection (“unfiltered” backprojection) givesslightly blurry reconstructions.

Unfiltered backprojection is only an approximate inverse forthe Radon transform.

There’s another step needed to compute the true inverse (andget sharper images).

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 31: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Unfiltered Backprojection is Blurry

Straight backprojection (“unfiltered” backprojection) givesslightly blurry reconstructions.

Unfiltered backprojection is only an approximate inverse forthe Radon transform.

There’s another step needed to compute the true inverse (andget sharper images).

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 32: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Unfiltered Backprojection is Blurry

Straight backprojection (“unfiltered” backprojection) givesslightly blurry reconstructions.

Unfiltered backprojection is only an approximate inverse forthe Radon transform.

There’s another step needed to compute the true inverse (andget sharper images).

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 33: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Filtered Backprojection

If d(θ, r) is the “raw” sinogram, first construct d̃(θ, r) byexpanding into a Fourier series1 with respect to r :

d(θ, r) =∞∑

k=−∞cke iπkr with ck =

∫ 1

−1d(θ, r)e−iπkr dr ,

then

set

d̃(θ, r)∞∑

k=−∞|k |cke iπkr .

In signal processing terms, we apply a high-pass “ramp” filter to d ,in the r variable. Finally, backproject.

1in the continuous case, a Fourier integral transformKurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 34: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Filtered Backprojection

If d(θ, r) is the “raw” sinogram, first construct d̃(θ, r) byexpanding into a Fourier series1 with respect to r :

d(θ, r) =∞∑

k=−∞cke iπkr with ck =

∫ 1

−1d(θ, r)e−iπkr dr ,

then set

d̃(θ, r)∞∑

k=−∞|k |cke iπkr .

In signal processing terms, we apply a high-pass “ramp” filter to d ,in the r variable. Finally, backproject.

1in the continuous case, a Fourier integral transformKurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 35: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Filtered Backprojection Example 1

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 36: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Filtered Backprojection Example 2

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 37: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Filtered Backprojection Example 3

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 38: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

The Radial Case

Suppose λ depends only distance from the origin, soλ = λ(

√x2 + y 2):

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 39: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

The Radial Case

In this case it’s easy to see that the Radon transform depends onlyon r , not θ. For a line at distance r from the origin

d(r) =

∫ √1−r2

−√

1−r2

λ(√

r 2 + s2) ds = 2

∫ √1−r2

0λ(√

r 2 + s2) ds.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 40: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

The Radial Case

In summary, if we are given the function d(r) for 0 ≤ r ≤ 1

d(r) = 2

∫ √1−r2

0λ(√

r 2 + s2) ds

can we find the function λ?

With a couple change of variables, this integral equation can bemassaged into a “well-known” integral equation.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 41: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

The Radial Case

In summary, if we are given the function d(r) for 0 ≤ r ≤ 1

d(r) = 2

∫ √1−r2

0λ(√

r 2 + s2) ds

can we find the function λ?

With a couple change of variables, this integral equation can bemassaged into a “well-known” integral equation.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 42: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

The Radial Case

Start with

d(r) = 2

∫ √1−r2

0λ(√

r 2 + s2) ds.

Make u-substitution u =√

r 2 + s2, (so s =√

u2 − r 2, andds = u du/

√u2 − r 2), obtain

d(r) = 2

∫ 1

r

uλ(u)√u2 − r 2

du.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 43: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

The Radial Case

Start with

d(r) = 2

∫ √1−r2

0λ(√

r 2 + s2) ds.

Make u-substitution u =√

r 2 + s2, (so s =√

u2 − r 2, andds = u du/

√u2 − r 2), obtain

d(r) = 2

∫ 1

r

uλ(u)√u2 − r 2

du.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 44: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

The Radial Case

Rewrite as

d(r) = 2

∫ 1

r

uλ(u)√u2 − r 2

du

= 2

∫ 1

r

uλ(u)√(1− r 2)− (1− u2)

du.

Define z = 1− r 2 (so r =√

1− z), substitute t = 1− u2 (sou =√

1− t, du = − 12√

1−t dt) to find

d(√

1− z) =

∫ z

0

λ(√

1− t)√z − t

dt.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 45: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

The Radial Case

Rewrite as

d(r) = 2

∫ 1

r

uλ(u)√u2 − r 2

du

= 2

∫ 1

r

uλ(u)√(1− r 2)− (1− u2)

du.

Define z = 1− r 2 (so r =√

1− z), substitute t = 1− u2 (sou =√

1− t, du = − 12√

1−t dt) to find

d(√

1− z) =

∫ z

0

λ(√

1− t)√z − t

dt.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 46: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

The Radial Case

In

d(√

1− z) =

∫ z

0

λ(√

1− t)√z − t

dt

define g(z) = d(√

1− z) and φ(t) = λ(√

1− t). We obtain∫ z

0

φ(t)√z − t

dt = g(z)

known as Abel’s equation. It has a closed-form solution!

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 47: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

The Radial Case Solution

The solution to ∫ z

0

φ(t)√z − t

dt = g(z)

is

φ(t) =1

π

d

dt

(∫ t

0

g(w) dw√t − w

).

(Recall g(w) = d(√

1− w)). We solve for φ(t) and recoverλ(r) = φ(1− r 2).

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 48: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Radial Example

Suppose d(r) =√

1−r2

3 (14 + 4r 2). Then

g(z) = d(√

1− z) =

√z

3(18− 4z)

and

φ(t) =1

π

d

dt

(∫ t

0

g(w) dw√t − w

)= 3− t.

Finallyλ(r) = φ(1− r 2) = 2 + r 2.

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners

Page 49: Inverse Problems 4: The Mathematics of CT Scanners

History and BackgroundMathematical Model

Inverting the Radon Transform

Unfiltered BackprojectionFiltered BackprojectionAn Easy Special Case

Notes URL

www.rose-hulman.edu/˜bryan/invprobs.html

Kurt Bryan Inverse Problems 4: The Mathematics of CT Scanners