Projection-slice theorem: Information from Answers.com

In mathematics, the projection-slice theorem in two dimensions states that the results of the following two calculations are equal:

Take a two-dimensional function f(r), project it onto a (one-dimensional) line, and do a Fourier transform of that projection.
Take that same function, but do a two-dimensional Fourier transform first, and then slice it through its origin, which is parallel to the projection line.

In operator terms, if

F₁ and F₂ are the 1- and 2-dimensional Fourier transform operators mentioned above,
P₁ is the projection operator (which projects a 2-D function onto a 1-D line) and
S₁ is a slice operator (which extracts a 1-D central slice from a function),

then:

$F_1 P_1=S_1 F_2\,$

This idea can be extended to higher dimensions.

This theorem is used, for example, in the analysis of medical CAT scans where a "projection" is an x-ray image of an internal organ. The Fourier transforms of these images are seen to be slices through the Fourier transform of the 3-dimensional density of the internal organ, and these slices can be interpolated to build up a complete Fourier transform of that density. The inverse Fourier transform is then used to recover the 3-dimensional density of the object.

1 The projection-slice theorem in N dimensions
2 Proof in two dimensions
3 The FHA cycle
4 See also
5 References

The projection-slice theorem in N dimensions

In N dimensions, the projection-slice theorem states that the Fourier transform of the projection of an N-dimensional function f(r) onto an m-dimensional linear submanifold is equal to an m-dimensional slice of the N-dimensional Fourier transform of that function consisting of an m-dimensional linear submanifold through the origin in the Fourier space which is parallel to the projection submanifold. In operator terms:

$F_mP_m=S_mF_N.\,$

Proof in two dimensions

A graphical illustration of the projection slice theorem in two dimensions. f(r) and F(k) are 2-dimensional Fourier transform pairs. The projection of f(r) onto the x-axis is the integral of f(r) along lines of sight parallel to the y-axis and is labelled p(x). The slice through F(k) is on the k_x axis, which is parallel to the x axis and labelled s(k_x). The projection-slice theorem states that p(x) and s(k_x) are 1-dimensional Fourier transform pairs.

The projection-slice theorem is easily proven for the case of two dimensions. Without loss of generality, we can take the projection line to be the x-axis. If f(x, y) is a two-dimensional function, then the projection of f(x) onto the x axis is p(x) where

$p(x)=\int_{-\infty}^\infty f(x,y)\,dy.$

The Fourier transform of $f (x, y)$ is

$F(k_x,k_y)=\int_{-\infty}^\infty \int_{-\infty}^\infty f(x,y)\,e^{-2\pi i(xk_x+yk_y)}\,dxdy.$

The slice is then $s (k x)$

$s(k_x)=F(k_x,0) =\int_{-\infty}^\infty \int_{-\infty}^\infty f(x,y)\,e^{-2\pi ixk_x}\,dxdy$

$=\int_{-\infty}^\infty \left[\int_{-\infty}^\infty f(x,y)\,dy\right]\,e^{-2\pi ixk_x} dx$

$=\int_{-\infty}^\infty p(x)\,e^{-2\pi ixk_x} dx$

which is just the Fourier transform of p(x). The proof for higher dimensions is easily generalized from the above example.

The FHA cycle

If the two-dimensional function f(r) is circularly symmetric, it may be represented as f(r) where r = |r|. In this case the projection onto any projection line will be the Abel transform of f(r). The two-dimensional Fourier transform of f(r) will be a circularly symmetric function given by the zeroth order Hankel transform of f(r), which will therefore also represent any slice through the origin. The projection-slice theorem then states that the Fourier transform of the projection equals the slice or

$F_1A_1=H\,$

where A₁ represents the Abel transform operator, projecting a two-dimensional circularly symmetric function onto a one-dimensional line, F₁ represents the 1-D Fourier transform operator, and H represents the zeroth order Hankel transform operator.

References

Bracewell, R.N. (1990). "Numerical Transforms". Science 248: 697–704. doi:10.1126/science.248.4956.697. PMID 17812072.
Gaskill, Jack D. (1978). Linear Systems, Fourier Transforms, and Optics. John Wiley & Sons, New York. ISBN 0-471-29288-5.

This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)

Donate to Wikimedia

	List of Fourier analysis topics
	Tomographic reconstruction
	Slice

	What is the donkey theorem? Read answer...
	What is the midpoint theorem? Read answer...
	What is Dini's Theorem? Read answer...

	Can you paint real sliced tomatoes to make them last for a week for a project?
	You are evaluating a project for The Tiffany golf club guaranteed to correct that nasty slice You estimate the sales price of The Tiffany to be 520 per unit and sales volume to be 1380 units in?
	What is a theorem 6.3-7 in proportionality theorem?

Projection-slice theorem

Contents

The projection-slice theorem in N dimensions

Proof in two dimensions

The FHA cycle

See also

References