These notes are based on Gunther Uhlmann’s lectures for MATH 581 taught at the University of Washington in Autumn 2009.
An index to all of the notes is available here.
Now that we’ve sketched the basic facts about the X-Ray transform, let’s look at it from a different perspective. When we developed the theory of the Radon transform, we made extensive use of the Fourier Slice Theorem — something we did not mention at all for the X-Ray transform. We also notice that our inversion formula looked different from the one we developed for .
In this post we will see that these differences are superficial. We will find the analog for the Fourier Slice Theorem and use it to redevelop our X-Ray transform results, mimicking our theory of the Radon transform.
1. The Fourier Slice Theorem
When analyzing the Radon Transform, we noticed that the “wave functions” used to define the Fourier Transform are constant on hyperplanes, so the Fourier Transform of a function could be represented as a phase-weighted sum of integrals over these constant hyperplanes, i.e. as a weighted integral of the Radon Transform of the function. Specifically
This was the Fourier Slice Theorem. If the waves are constant over hyperplanes, they are certainly constant over lines, so we can find a similar formula for the X-Ray Transform. There are many ways we can foliate a hyperplane into a family of parallel lines, so we should expect to get many formulas. This is exactly what happens. (I try to give a bit more intuition in a separate post.)
Given , select an arbitrary orthogonal unit vector . Then
As varies over and varies over , varies over and is standard Lebesgue measure. In this case, notice that because so
As promised, this gives us a different formula for each choice of . Let’s summarize the result in a theorem
Theorem 1 (Fourier Slice Theorem for the X-Ray Transform) For all and with
For the Radon transform, the slice theorem immediately allowed us to prove that the Radon Transform intertwines (powers of) the Laplacian on with on . We can do the same thing for the X-Ray transform.
Theorem 2 (Intertwining) For and
Where is defined by .
The condition that insures that the operator is defined by an absolutely convergent integral on .
Proof: The proof is exactly the same as it was for the Radon Transform. We use the slice Theorem for :
We can do the same thing for the transpose.
Theorem 3 (Intertwining) For and
Proof: As often happens with dual results, the proof is just a formal manuipulation. First note that is its own transpose:
A similar argument works for on , so we can write
This result immediately lets us rewrite the inversion formula in a style that looks more like our original Radon inversion formula
Theorem 4 (X-Ray Inversion II) For all
(A pdf version of these notes is available here.)